Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-16 | OPT | 123 | 195.78 | 49.5567 |
| 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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399263-1568695094.xml" -tl '2520s' -p 4 0.11/0.19 c Choco e747e1e 0.11/0.19 c [HOME/instance-4399263-1568695094.xml, -tl, 2520s, -p, 4] 0.32/0.23 c 4 solvers in parallel 0.32/0.29 c parse instance... 1.65/0.78 c solve instance... 166.58/42.23 o 136 172.52/43.70 o 135 173.74/44.08 o 125 175.70/44.54 o 124 181.68/46.09 o 123 195.62/49.54 s OPTIMUM FOUND 195.62/49.54 v <instantiation> 195.62/49.54 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> 195.62/49.54 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> 195.62/49.54 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 (12352 MiB free)
memory of node 1: 16384 MiB (14132 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399263-1568695094/watcher-4399263-1568695094 -o /tmp/evaluation-result-4399263-1568695094/solver-4399263-1568695094 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568694401-32469 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1478126132 HOME/instance-4399263-1568695094.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3246, runsolver pid=3243
[startup+0.100094 s]*
/proc/loadavg: 7.77 7.42 4.66 6/234 3262
/proc/meminfo: memFree=27103520/32770624 swapFree=66939908/67108860
[pid=3246] ppid=3243 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3246/stat : 3246 (xcsp3-exec) S 3243 3246 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445424231 115843072 362 33554432000 4194304 5098028 140725759983360 140725759981464 140046940852860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27316224 140725759988602 140725759988845 140725759988845 140725759991754 0
/proc/3246/statm: 28282 362 304 221 0 87 0
[pid=3248] ppid=3246 vsize=15144776 memory=29728 CPUtime=0.11 cores=1,3,5,7
/proc/3248/stat : 3248 (java) S 3246 3246 32437 0 -1 1077944320 5815 0 0 0 9 2 0 0 20 0 15 0 445424231 15508250624 7432 33554432000 4194304 4196468 140727280056000 140727280038544 140233608605431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
/proc/3248/statm: 3786194 7432 3157 1 0 3748377 0
[pid=3248/tid=3249] ppid=3246 vsize=15144776 memory=7031125463459224206 CPUtime=0.08 cores=1,3,5,7
/proc/3248/task/3249/stat : 3249 (java) R 3246 3246 32437 0 -1 4202560 3731 0 0 0 7 1 0 0 20 0 15 0 445424231 15508250624 7432 33554432000 4194304 4196468 140727280056000 140233612827904 140233608617366 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3250] ppid=3246 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3250/stat : 3250 (java) S 3246 3246 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445424232 15508250624 7432 33554432000 4194304 4196468 140727280056000 140233569565840 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3251] ppid=3246 vsize=15144776 memory=140527735436928 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3251/stat : 3251 (java) S 3246 3246 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445424232 15508250624 7432 33554432000 4194304 4196468 140727280056000 140233199819792 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3252] ppid=3246 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3252/stat : 3252 (java) S 3246 3246 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445424232 15508250624 7432 33554432000 4194304 4196468 140727280056000 140233198766992 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3253] ppid=3246 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3253/stat : 3253 (java) S 3246 3246 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445424232 15508250624 7432 33554432000 4194304 4196468 140727280056000 140233197714192 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3254] ppid=3246 vsize=15144776 memory=140527735436928 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3254/stat : 3254 (java) S 3246 3246 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445424233 15508250624 7432 33554432000 4194304 4196468 140727280056000 140233178392944 140233608616578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3255] ppid=3246 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3255/stat : 3255 (java) S 3246 3246 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445424234 15508250624 7432 33554432000 4194304 4196468 140727280056000 140233177338912 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3256] ppid=3246 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3256/stat : 3256 (java) S 3246 3246 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445424234 15508250624 7432 33554432000 4194304 4196468 140727280056000 140233176286064 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3257] ppid=3246 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3257/stat : 3257 (java) S 3246 3246 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445424236 15508250624 7432 33554432000 4194304 4196468 140727280056000 140233175234384 140233608624027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3258] ppid=3246 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3258/stat : 3258 (java) S 3246 3246 32437 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 445424236 15508250624 7432 33554432000 4194304 4196468 140727280056000 140233174182768 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3259] ppid=3246 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3259/stat : 3259 (java) R 3246 3246 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445424236 15508250624 7432 33554432000 4194304 4196468 140727280056000 140233173129968 140233608616578 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3260] ppid=3246 vsize=15144776 memory=140527735436928 CPUtime=0.01 cores=1,3,5,7
/proc/3248/task/3260/stat : 3260 (java) R 3246 3246 32437 0 -1 4202560 368 0 0 0 1 0 0 0 20 0 15 0 445424236 15508250624 7432 33554432000 4194304 4196468 140727280056000 140233172077168 140233608626778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3261] ppid=3246 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3261/stat : 3261 (java) S 3246 3246 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445424237 15508250624 7432 33554432000 4194304 4196468 140727280056000 140233171024608 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3262] ppid=3246 vsize=15144776 memory=140527735436928 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3262/stat : 3262 (java) S 3246 3246 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445424238 15508250624 7432 33554432000 4194304 4196468 140727280056000 140233169971888 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31176 KiB
[startup+0.210643 s]*
/proc/loadavg: 7.77 7.42 4.66 7/234 3262
/proc/meminfo: memFree=27090912/32770624 swapFree=66939908/67108860
[pid=3246] ppid=3243 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3246/stat : 3246 (xcsp3-exec) S 3243 3246 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445424231 115843072 362 33554432000 4194304 5098028 140725759983360 140725759981464 140046940852860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27316224 140725759988602 140725759988845 140725759988845 140725759991754 0
/proc/3246/statm: 28282 362 304 221 0 87 0
[pid=3248] ppid=3246 vsize=15144776 memory=40808 CPUtime=0.32 cores=1,3,5,7
/proc/3248/stat : 3248 (java) S 3246 3246 32437 0 -1 1077944320 9457 0 0 0 28 4 0 0 20 0 15 0 445424231 15508250624 10202 33554432000 4194304 4196468 140727280056000 140727280038544 140233608605431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
/proc/3248/statm: 3786194 10202 3255 1 0 3748377 0
[pid=3248/tid=3249] ppid=3246 vsize=15144776 memory=7022364632946311227 CPUtime=0.18 cores=1,3,5,7
/proc/3248/task/3249/stat : 3249 (java) R 3246 3246 32437 0 -1 4202560 6624 0 0 0 16 2 0 0 20 0 15 0 445424231 15508250624 10216 33554432000 4194304 4196468 140727280056000 140233612837344 140233592685918 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3250] ppid=3246 vsize=15144776 memory=4294977831 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3250/stat : 3250 (java) S 3246 3246 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445424232 15508250624 10216 33554432000 4194304 4196468 140727280056000 140233569565840 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3251] ppid=3246 vsize=15144776 memory=288370903887148672 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3251/stat : 3251 (java) S 3246 3246 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445424232 15508250624 10216 33554432000 4194304 4196468 140727280056000 140233199819792 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3252] ppid=3246 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3252/stat : 3252 (java) S 3246 3246 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445424232 15508250624 10216 33554432000 4194304 4196468 140727280056000 140233198766992 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3253] ppid=3246 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3253/stat : 3253 (java) S 3246 3246 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445424232 15508250624 10216 33554432000 4194304 4196468 140727280056000 140233197714192 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3254] ppid=3246 vsize=15144776 memory=140527735436928 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3254/stat : 3254 (java) S 3246 3246 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445424233 15508250624 10216 33554432000 4194304 4196468 140727280056000 140233178392944 140233608616578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3255] ppid=3246 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3255/stat : 3255 (java) S 3246 3246 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445424234 15508250624 10216 33554432000 4194304 4196468 140727280056000 140233177338912 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3256] ppid=3246 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3256/stat : 3256 (java) S 3246 3246 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445424234 15508250624 10216 33554432000 4194304 4196468 140727280056000 140233176286064 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3257] ppid=3246 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3257/stat : 3257 (java) S 3246 3246 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445424236 15508250624 10216 33554432000 4194304 4196468 140727280056000 140233175234384 140233608624027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3258] ppid=3246 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3248/task/3258/stat : 3258 (java) S 3246 3246 32437 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 15 0 445424236 15508250624 10216 33554432000 4194304 4196468 140727280056000 140233174182768 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3259] ppid=3246 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3248/task/3259/stat : 3259 (java) S 3246 3246 32437 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 445424236 15508250624 10216 33554432000 4194304 4196468 140727280056000 140233173129968 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3260] ppid=3246 vsize=15144776 memory=140527735436928 CPUtime=0.07 cores=1,3,5,7
/proc/3248/task/3260/stat : 3260 (java) R 3246 3246 32437 0 -1 4202560 710 0 0 0 7 0 0 0 20 0 15 0 445424236 15508250624 10216 33554432000 4194304 4196468 140727280056000 140233172077168 140233608617366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3261] ppid=3246 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3261/stat : 3261 (java) S 3246 3246 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445424237 15508250624 10216 33554432000 4194304 4196468 140727280056000 140233171024608 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3262] ppid=3246 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3262/stat : 3262 (java) S 3246 3246 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445424238 15508250624 10216 33554432000 4194304 4196468 140727280056000 140233169971888 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42256 KiB
[startup+0.310682 s]*
/proc/loadavg: 7.77 7.42 4.66 7/234 3262
/proc/meminfo: memFree=27085680/32770624 swapFree=66939908/67108860
[pid=3246] ppid=3243 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3246/stat : 3246 (xcsp3-exec) S 3243 3246 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445424231 115843072 362 33554432000 4194304 5098028 140725759983360 140725759981464 140046940852860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27316224 140725759988602 140725759988845 140725759988845 140725759991754 0
/proc/3246/statm: 28282 362 304 221 0 87 0
[pid=3248] ppid=3246 vsize=15149032 memory=46908 CPUtime=0.5 cores=1,3,5,7
/proc/3248/stat : 3248 (java) S 3246 3246 32437 0 -1 1077944320 10639 0 0 0 45 5 0 0 20 0 15 0 445424231 15512608768 11727 33554432000 4194304 4196468 140727280056000 140727280038544 140233608605431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
/proc/3248/statm: 3787258 11727 3326 1 0 3748377 0
[pid=3248/tid=3249] ppid=3246 vsize=15149032 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/3248/task/3249/stat : 3249 (java) R 3246 3246 32437 0 -1 4202560 7703 0 0 0 26 3 0 0 20 0 15 0 445424231 15512608768 12303 33554432000 4194304 4196468 140727280056000 140233612837824 140233592685918 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3250] ppid=3246 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3250/stat : 3250 (java) S 3246 3246 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445424232 15512608768 12303 33554432000 4194304 4196468 140727280056000 140233569565840 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3251] ppid=3246 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3251/stat : 3251 (java) S 3246 3246 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445424232 15512608768 12303 33554432000 4194304 4196468 140727280056000 140233199819792 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3252] ppid=3246 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3252/stat : 3252 (java) S 3246 3246 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445424232 15512608768 12303 33554432000 4194304 4196468 140727280056000 140233198766992 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3253] ppid=3246 vsize=15149032 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3253/stat : 3253 (java) S 3246 3246 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445424232 15512608768 12303 33554432000 4194304 4196468 140727280056000 140233197714192 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3254] ppid=3246 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3254/stat : 3254 (java) S 3246 3246 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445424233 15512608768 12303 33554432000 4194304 4196468 140727280056000 140233178392944 140233608616578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3255] ppid=3246 vsize=15149032 memory=9122745479247552727 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3255/stat : 3255 (java) S 3246 3246 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445424234 15512608768 12303 33554432000 4194304 4196468 140727280056000 140233177338912 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3256] ppid=3246 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3256/stat : 3256 (java) S 3246 3246 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445424234 15512608768 12303 33554432000 4194304 4196468 140727280056000 140233176286064 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3257] ppid=3246 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3257/stat : 3257 (java) S 3246 3246 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445424236 15512608768 12303 33554432000 4194304 4196468 140727280056000 140233175234384 140233608624027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3258] ppid=3246 vsize=15149032 memory=6944652177228980320 CPUtime=0.03 cores=1,3,5,7
/proc/3248/task/3258/stat : 3258 (java) R 3246 3246 32437 0 -1 4202560 497 0 0 0 3 0 0 0 20 0 15 0 445424236 15512608768 12303 33554432000 4194304 4196468 140727280056000 140233174182768 140233594620409 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3259] ppid=3246 vsize=15149032 memory=-6654736624941491801 CPUtime=0.04 cores=1,3,5,7
/proc/3248/task/3259/stat : 3259 (java) S 3246 3246 32437 0 -1 1077944384 389 0 0 0 4 0 0 0 20 0 15 0 445424236 15512608768 12303 33554432000 4194304 4196468 140727280056000 140233173129968 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3260] ppid=3246 vsize=15149032 memory=5792585022635482273 CPUtime=0.12 cores=1,3,5,7
/proc/3248/task/3260/stat : 3260 (java) R 3246 3246 32437 0 -1 1077944384 783 0 0 0 12 0 0 0 20 0 15 0 445424236 15512608768 12303 33554432000 4194304 4196468 140727280056000 140233172077168 140233608616578 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3261] ppid=3246 vsize=15149032 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3261/stat : 3261 (java) S 3246 3246 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445424237 15512608768 12303 33554432000 4194304 4196468 140727280056000 140233171024608 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3262] ppid=3246 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3262/stat : 3262 (java) S 3246 3246 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445424238 15512608768 12303 33554432000 4194304 4196468 140727280056000 140233169971888 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48356 KiB
[startup+0.701728 s]
/proc/loadavg: 7.77 7.42 4.66 9/234 3262
/proc/meminfo: memFree=27071232/32770624 swapFree=66939908/67108860
[pid=3246] ppid=3243 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3246/stat : 3246 (xcsp3-exec) S 3243 3246 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445424231 115843072 362 33554432000 4194304 5098028 140725759983360 140725759981464 140046940852860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27316224 140725759988602 140725759988845 140725759988845 140725759991754 0
/proc/3246/statm: 28282 362 304 221 0 87 0
[pid=3248] ppid=3246 vsize=15151156 memory=90476 CPUtime=1.65 cores=1,3,5,7
/proc/3248/stat : 3248 (java) S 3246 3246 32437 0 -1 1077944320 14105 0 0 0 158 7 0 0 20 0 15 0 445424231 15514783744 22619 33554432000 4194304 4196468 140727280056000 140727280038544 140233608605431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
/proc/3248/statm: 3787789 22619 3464 1 0 3748889 0
[pid=3248/tid=3249] ppid=3246 vsize=15151156 memory=56 CPUtime=0.67 cores=1,3,5,7
/proc/3248/task/3249/stat : 3249 (java) R 3246 3246 32437 0 -1 4202560 9100 0 0 0 62 5 0 0 20 0 15 0 445424231 15514783744 22619 33554432000 4194304 4196468 140727280056000 140233612842704 140233248354185 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3250] ppid=3246 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3250/stat : 3250 (java) S 3246 3246 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445424232 15514783744 22619 33554432000 4194304 4196468 140727280056000 140233569565840 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3251] ppid=3246 vsize=15151156 memory=148 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3251/stat : 3251 (java) S 3246 3246 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445424232 15514783744 22619 33554432000 4194304 4196468 140727280056000 140233199819792 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3252] ppid=3246 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3252/stat : 3252 (java) S 3246 3246 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445424232 15514783744 22619 33554432000 4194304 4196468 140727280056000 140233198766992 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3253] ppid=3246 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3253/stat : 3253 (java) S 3246 3246 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445424232 15514783744 22619 33554432000 4194304 4196468 140727280056000 140233197714192 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3254] ppid=3246 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3254/stat : 3254 (java) S 3246 3246 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445424233 15514783744 22619 33554432000 4194304 4196468 140727280056000 140233178392944 140233608616578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3255] ppid=3246 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3255/stat : 3255 (java) S 3246 3246 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445424234 15514783744 22619 33554432000 4194304 4196468 140727280056000 140233177338912 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3256] ppid=3246 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3256/stat : 3256 (java) S 3246 3246 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445424234 15514783744 22619 33554432000 4194304 4196468 140727280056000 140233176286064 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3257] ppid=3246 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3257/stat : 3257 (java) S 3246 3246 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445424236 15514783744 22619 33554432000 4194304 4196468 140727280056000 140233175234384 140233608624027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3258] ppid=3246 vsize=15151156 memory=2832 CPUtime=0.28 cores=1,3,5,7
/proc/3248/task/3258/stat : 3258 (java) R 3246 3246 32437 0 -1 4202560 991 0 0 0 28 0 0 0 20 0 15 0 445424236 15514783744 22619 33554432000 4194304 4196468 140727280056000 140233174162256 140233594286129 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3259] ppid=3246 vsize=15151156 memory=668 CPUtime=0.27 cores=1,3,5,7
/proc/3248/task/3259/stat : 3259 (java) R 3246 3246 32437 0 -1 4202560 1057 0 0 0 27 0 0 0 20 0 15 0 445424236 15514783744 22619 33554432000 4194304 4196468 140727280056000 140233173115992 140233593524314 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3260] ppid=3246 vsize=15151156 memory=1256 CPUtime=0.41 cores=1,3,5,7
/proc/3248/task/3260/stat : 3260 (java) R 3246 3246 32437 0 -1 4202560 1651 0 0 0 40 1 0 0 20 0 15 0 445424236 15514783744 22619 33554432000 4194304 4196468 140727280056000 140233172074704 140233588320220 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3261] ppid=3246 vsize=15151156 memory=1076 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3261/stat : 3261 (java) S 3246 3246 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445424237 15514783744 22619 33554432000 4194304 4196468 140727280056000 140233171024608 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3262] ppid=3246 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3262/stat : 3262 (java) S 3246 3246 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445424238 15514783744 22619 33554432000 4194304 4196468 140727280056000 140233169971888 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 91924 KiB
[startup+1.50874 s]
/proc/loadavg: 7.77 7.42 4.66 14/238 3266
/proc/meminfo: memFree=26994104/32770624 swapFree=66939908/67108860
[pid=3246] ppid=3243 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3246/stat : 3246 (xcsp3-exec) S 3243 3246 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445424231 115843072 362 33554432000 4194304 5098028 140725759983360 140725759981464 140046940852860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27316224 140725759988602 140725759988845 140725759988845 140725759991754 0
/proc/3246/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/3248/task/3262/stat : 3262 (java) S 3246 3246 32437 0 -1 1077944384 711 0 0 0 0 2 0 0 20 0 19 0 445424238 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233169971888 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3286] ppid=3246 vsize=15418440 memory=2142484 CPUtime=2.7 cores=1,3,5,7
/proc/3248/task/3286/stat : 3286 (java) R 3246 3246 32437 0 -1 4202560 69 0 0 0 270 0 0 0 20 0 19 0 445428840 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233091665008 140233250607545 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3287] ppid=3246 vsize=15418440 memory=1412 CPUtime=2.68 cores=1,3,5,7
/proc/3248/task/3287/stat : 3287 (java) R 3246 3246 32437 0 -1 4202560 403 0 0 0 268 0 0 0 20 0 19 0 445428840 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233167208552 140233253178814 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3288] ppid=3246 vsize=15418440 memory=3000 CPUtime=2.66 cores=1,3,5,7
/proc/3248/task/3288/stat : 3288 (java) R 3246 3246 32437 0 -1 4202560 52 0 0 0 266 0 0 0 20 0 19 0 445428840 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233088508024 140233252962617 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3289] ppid=3246 vsize=15418440 memory=1448 CPUtime=2.7 cores=1,3,5,7
/proc/3248/task/3289/stat : 3289 (java) R 3246 3246 32437 0 -1 4202560 159 0 0 0 270 0 0 0 20 0 19 0 445428840 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233090613224 140233250607571 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
Current children cumulated CPU time: 192.83 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 212644 KiB
[startup+49.2017 s]
/proc/loadavg: 7.95 7.52 4.84 9/237 3289
/proc/meminfo: memFree=27015916/32770624 swapFree=66939908/67108860
[pid=3246] ppid=3243 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3246/stat : 3246 (xcsp3-exec) S 3243 3246 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445424231 115843072 362 33554432000 4194304 5098028 140725759983360 140725759981464 140046940852860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27316224 140725759988602 140725759988845 140725759988845 140725759991754 0
/proc/3246/statm: 28282 362 304 221 0 87 0
[pid=3248] ppid=3246 vsize=15418440 memory=211196 CPUtime=194.38 cores=1,3,5,7
/proc/3248/stat : 3248 (java) S 3246 3246 32437 0 -1 1077944320 55052 0 0 0 19413 25 0 0 20 0 19 0 445424231 15788482560 52799 33554432000 4194304 4196468 140727280056000 140727280038544 140233608605431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
/proc/3248/statm: 3854610 52799 3531 1 0 3815710 0
[pid=3248/tid=3249] ppid=3246 vsize=15418440 memory=14132268604066978 CPUtime=0.78 cores=1,3,5,7
/proc/3248/task/3249/stat : 3249 (java) S 3246 3246 32437 0 -1 1077944384 9510 0 0 0 73 5 0 0 20 0 19 0 445424231 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233612846208 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3250] ppid=3246 vsize=15418440 memory=210720 CPUtime=0.11 cores=1,3,5,7
/proc/3248/task/3250/stat : 3250 (java) S 3246 3246 32437 0 -1 1077944384 1633 0 0 0 9 2 0 0 20 0 19 0 445424232 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233569565840 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3251] ppid=3246 vsize=15418440 memory=14132268604066978 CPUtime=0.1 cores=1,3,5,7
/proc/3248/task/3251/stat : 3251 (java) S 3246 3246 32437 0 -1 1077944384 339 0 0 0 9 1 0 0 20 0 19 0 445424232 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233199819792 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3252] ppid=3246 vsize=15418440 memory=1760 CPUtime=0.1 cores=1,3,5,7
/proc/3248/task/3252/stat : 3252 (java) S 3246 3246 32437 0 -1 1077944384 391 0 0 0 9 1 0 0 20 0 19 0 445424232 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233198766992 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3253] ppid=3246 vsize=15418440 memory=111636 CPUtime=0.09 cores=1,3,5,7
/proc/3248/task/3253/stat : 3253 (java) S 3246 3246 32437 0 -1 1077944384 987 0 0 0 8 1 0 0 20 0 19 0 445424232 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233197714192 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3254] ppid=3246 vsize=15418440 memory=808 CPUtime=0.03 cores=1,3,5,7
/proc/3248/task/3254/stat : 3254 (java) S 3246 3246 32437 0 -1 1077944384 987 0 0 0 2 1 0 0 20 0 19 0 445424233 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233178392944 140233608616578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3255] ppid=3246 vsize=15418440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3255/stat : 3255 (java) S 3246 3246 32437 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 445424234 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233177338976 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3256] ppid=3246 vsize=15418440 memory=3308 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3256/stat : 3256 (java) S 3246 3246 32437 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 445424234 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233176286080 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3257] ppid=3246 vsize=15418440 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3257/stat : 3257 (java) S 3246 3246 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445424236 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233175234384 140233608624027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3258] ppid=3246 vsize=15418440 memory=2153256 CPUtime=2.41 cores=1,3,5,7
/proc/3248/task/3258/stat : 3258 (java) S 3246 3246 32437 0 -1 1077944384 10616 0 0 0 240 1 0 0 20 0 19 0 445424236 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233174182768 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3259] ppid=3246 vsize=15418440 memory=1412 CPUtime=2.84 cores=1,3,5,7
/proc/3248/task/3259/stat : 3259 (java) S 3246 3246 32437 0 -1 1077944384 16819 0 0 0 282 2 0 0 20 0 19 0 445424236 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233173129968 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3260] ppid=3246 vsize=15418440 memory=2964 CPUtime=0.84 cores=1,3,5,7
/proc/3248/task/3260/stat : 3260 (java) S 3246 3246 32437 0 -1 1077944384 6678 0 0 0 82 2 0 0 20 0 19 0 445424236 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233172077168 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3261] ppid=3246 vsize=15418440 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3261/stat : 3261 (java) S 3246 3246 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445424237 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233171024608 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3262] ppid=3246 vsize=15418440 memory=211128 CPUtime=0.02 cores=1,3,5,7
/proc/3248/task/3262/stat : 3262 (java) S 3246 3246 32437 0 -1 1077944384 711 0 0 0 0 2 0 0 20 0 19 0 445424238 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233169971888 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3286] ppid=3246 vsize=15418440 memory=2116 CPUtime=3.09 cores=1,3,5,7
/proc/3248/task/3286/stat : 3286 (java) R 3246 3246 32437 0 -1 4202560 69 0 0 0 309 0 0 0 20 0 19 0 445428840 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233091664912 140233250607524 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3287] ppid=3246 vsize=15418440 memory=520 CPUtime=3.06 cores=1,3,5,7
/proc/3248/task/3287/stat : 3287 (java) R 3246 3246 32437 0 -1 4202560 407 0 0 0 306 0 0 0 20 0 19 0 445428840 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233167208488 140233252962544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3288] ppid=3246 vsize=15418440 memory=1560 CPUtime=3.05 cores=1,3,5,7
/proc/3248/task/3288/stat : 3288 (java) R 3246 3246 32437 0 -1 4202560 52 0 0 0 305 0 0 0 20 0 19 0 445428840 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233088508120 140233251535590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3289] ppid=3246 vsize=15418440 memory=924 CPUtime=3.1 cores=1,3,5,7
/proc/3248/task/3289/stat : 3289 (java) R 3246 3246 32437 0 -1 4202560 159 0 0 0 310 0 0 0 20 0 19 0 445428840 15788482560 52799 33554432000 4194304 4196468 140727280056000 140233090612792 140727280171222 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
Current children cumulated CPU time: 194.38 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 212644 KiB
[startup+49.4017 s]
/proc/loadavg: 7.95 7.52 4.84 9/237 3289
/proc/meminfo: memFree=27015916/32770624 swapFree=66939908/67108860
[pid=3246] ppid=3243 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3246/stat : 3246 (xcsp3-exec) S 3243 3246 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445424231 115843072 362 33554432000 4194304 5098028 140725759983360 140725759981464 140046940852860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27316224 140725759988602 140725759988845 140725759988845 140725759991754 0
/proc/3246/statm: 28282 362 304 221 0 87 0
[pid=3248] ppid=3246 vsize=15418440 memory=211208 CPUtime=195.18 cores=1,3,5,7
/proc/3248/stat : 3248 (java) S 3246 3246 32437 0 -1 1077944320 55242 0 0 0 19493 25 0 0 20 0 19 0 445424231 15788482560 52802 33554432000 4194304 4196468 140727280056000 140727280038544 140233608605431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
/proc/3248/statm: 3854610 52802 3531 1 0 3815710 0
[pid=3248/tid=3249] ppid=3246 vsize=15418440 memory=210720 CPUtime=0.78 cores=1,3,5,7
/proc/3248/task/3249/stat : 3249 (java) S 3246 3246 32437 0 -1 1077944384 9510 0 0 0 73 5 0 0 20 0 19 0 445424231 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233612846208 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3250] ppid=3246 vsize=15418440 memory=1620 CPUtime=0.11 cores=1,3,5,7
/proc/3248/task/3250/stat : 3250 (java) S 3246 3246 32437 0 -1 1077944384 1633 0 0 0 9 2 0 0 20 0 19 0 445424232 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233569565840 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3251] ppid=3246 vsize=15418440 memory=4112 CPUtime=0.1 cores=1,3,5,7
/proc/3248/task/3251/stat : 3251 (java) S 3246 3246 32437 0 -1 1077944384 339 0 0 0 9 1 0 0 20 0 19 0 445424232 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233199819792 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3252] ppid=3246 vsize=15418440 memory=1808 CPUtime=0.1 cores=1,3,5,7
/proc/3248/task/3252/stat : 3252 (java) S 3246 3246 32437 0 -1 1077944384 391 0 0 0 9 1 0 0 20 0 19 0 445424232 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233198766992 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3253] ppid=3246 vsize=15418440 memory=924 CPUtime=0.09 cores=1,3,5,7
/proc/3248/task/3253/stat : 3253 (java) S 3246 3246 32437 0 -1 1077944384 987 0 0 0 8 1 0 0 20 0 19 0 445424232 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233197714192 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3254] ppid=3246 vsize=15418440 memory=3848 CPUtime=0.03 cores=1,3,5,7
/proc/3248/task/3254/stat : 3254 (java) S 3246 3246 32437 0 -1 1077944384 987 0 0 0 2 1 0 0 20 0 19 0 445424233 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233178392944 140233608616578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3255] ppid=3246 vsize=15418440 memory=2628 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3255/stat : 3255 (java) S 3246 3246 32437 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 445424234 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233177338976 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3256] ppid=3246 vsize=15418440 memory=2612 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3256/stat : 3256 (java) S 3246 3246 32437 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 445424234 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233176286080 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3257] ppid=3246 vsize=15418440 memory=6935054825532540783 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3257/stat : 3257 (java) S 3246 3246 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445424236 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233175234384 140233608624027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3258] ppid=3246 vsize=15418440 memory=0 CPUtime=2.41 cores=1,3,5,7
/proc/3248/task/3258/stat : 3258 (java) S 3246 3246 32437 0 -1 1077944384 10616 0 0 0 240 1 0 0 20 0 19 0 445424236 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233174182768 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3259] ppid=3246 vsize=15418440 memory=0 CPUtime=2.86 cores=1,3,5,7
/proc/3248/task/3259/stat : 3259 (java) S 3246 3246 32437 0 -1 1077944384 17008 0 0 0 284 2 0 0 20 0 19 0 445424236 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233173129968 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3260] ppid=3246 vsize=15418440 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/3248/task/3260/stat : 3260 (java) S 3246 3246 32437 0 -1 1077944384 6678 0 0 0 82 2 0 0 20 0 19 0 445424236 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233172077168 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3261] ppid=3246 vsize=15418440 memory=4112 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3261/stat : 3261 (java) S 3246 3246 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445424237 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233171024608 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3262] ppid=3246 vsize=15418440 memory=2241 CPUtime=0.02 cores=1,3,5,7
/proc/3248/task/3262/stat : 3262 (java) S 3246 3246 32437 0 -1 1077944384 711 0 0 0 0 2 0 0 20 0 19 0 445424238 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233169971888 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3286] ppid=3246 vsize=15418440 memory=2244 CPUtime=3.29 cores=1,3,5,7
/proc/3248/task/3286/stat : 3286 (java) R 3246 3246 32437 0 -1 4202560 69 0 0 0 329 0 0 0 20 0 19 0 445428840 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233091664912 140233251535612 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3287] ppid=3246 vsize=15418440 memory=0 CPUtime=3.26 cores=1,3,5,7
/proc/3248/task/3287/stat : 3287 (java) R 3246 3246 32437 0 -1 4202560 408 0 0 0 326 0 0 0 20 0 19 0 445428840 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233167209080 140233250607519 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3288] ppid=3246 vsize=15418440 memory=6944656592455097440 CPUtime=3.25 cores=1,3,5,7
/proc/3248/task/3288/stat : 3288 (java) R 3246 3246 32437 0 -1 4202560 52 0 0 0 325 0 0 0 20 0 19 0 445428840 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233088508120 140233252962665 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3289] ppid=3246 vsize=15418440 memory=6656426216303648864 CPUtime=3.28 cores=1,3,5,7
/proc/3248/task/3289/stat : 3289 (java) R 3246 3246 32437 0 -1 4202560 159 0 0 0 328 0 0 0 20 0 19 0 445428840 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233090612792 140233251850829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
Current children cumulated CPU time: 195.18 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 212656 KiB
[startup+49.5117 s]
/proc/loadavg: 7.95 7.52 4.84 9/237 3289
/proc/meminfo: memFree=27015916/32770624 swapFree=66939908/67108860
[pid=3246] ppid=3243 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3246/stat : 3246 (xcsp3-exec) S 3243 3246 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445424231 115843072 362 33554432000 4194304 5098028 140725759983360 140725759981464 140046940852860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27316224 140725759988602 140725759988845 140725759988845 140725759991754 0
/proc/3246/statm: 28282 362 304 221 0 87 0
[pid=3248] ppid=3246 vsize=15418440 memory=211208 CPUtime=195.62 cores=1,3,5,7
/proc/3248/stat : 3248 (java) S 3246 3246 32437 0 -1 1077944320 55242 0 0 0 19537 25 0 0 20 0 19 0 445424231 15788482560 52802 33554432000 4194304 4196468 140727280056000 140727280038544 140233608605431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
/proc/3248/statm: 3854610 52802 3531 1 0 3815710 0
[pid=3248/tid=3249] ppid=3246 vsize=15418440 memory=2257 CPUtime=0.78 cores=1,3,5,7
/proc/3248/task/3249/stat : 3249 (java) S 3246 3246 32437 0 -1 1077944384 9510 0 0 0 73 5 0 0 20 0 19 0 445424231 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233612846208 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3250] ppid=3246 vsize=15418440 memory=211120 CPUtime=0.11 cores=1,3,5,7
/proc/3248/task/3250/stat : 3250 (java) S 3246 3246 32437 0 -1 1077944384 1633 0 0 0 9 2 0 0 20 0 19 0 445424232 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233569565840 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3251] ppid=3246 vsize=15418440 memory=211124 CPUtime=0.1 cores=1,3,5,7
/proc/3248/task/3251/stat : 3251 (java) S 3246 3246 32437 0 -1 1077944384 339 0 0 0 9 1 0 0 20 0 19 0 445424232 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233199819792 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3252] ppid=3246 vsize=15418440 memory=211196 CPUtime=0.1 cores=1,3,5,7
/proc/3248/task/3252/stat : 3252 (java) S 3246 3246 32437 0 -1 1077944384 391 0 0 0 9 1 0 0 20 0 19 0 445424232 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233198766992 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3253] ppid=3246 vsize=15418440 memory=1448 CPUtime=0.09 cores=1,3,5,7
/proc/3248/task/3253/stat : 3253 (java) S 3246 3246 32437 0 -1 1077944384 987 0 0 0 8 1 0 0 20 0 19 0 445424232 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233197714192 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3254] ppid=3246 vsize=15418440 memory=8112282956445269571 CPUtime=0.03 cores=1,3,5,7
/proc/3248/task/3254/stat : 3254 (java) S 3246 3246 32437 0 -1 1077944384 987 0 0 0 2 1 0 0 20 0 19 0 445424233 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233178392944 140233608616578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3255] ppid=3246 vsize=15418440 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3255/stat : 3255 (java) S 3246 3246 32437 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 445424234 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233177338976 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3256] ppid=3246 vsize=15418440 memory=520 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3256/stat : 3256 (java) S 3246 3246 32437 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 445424234 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233176286080 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3257] ppid=3246 vsize=15418440 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3257/stat : 3257 (java) S 3246 3246 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445424236 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233175234384 140233608624027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3258] ppid=3246 vsize=15418440 memory=0 CPUtime=2.41 cores=1,3,5,7
/proc/3248/task/3258/stat : 3258 (java) S 3246 3246 32437 0 -1 1077944384 10616 0 0 0 240 1 0 0 20 0 19 0 445424236 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233174182768 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3259] ppid=3246 vsize=15418440 memory=214 CPUtime=2.86 cores=1,3,5,7
/proc/3248/task/3259/stat : 3259 (java) S 3246 3246 32437 0 -1 1077944384 17008 0 0 0 284 2 0 0 20 0 19 0 445424236 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233173129968 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3260] ppid=3246 vsize=15418440 memory=1448 CPUtime=0.84 cores=1,3,5,7
/proc/3248/task/3260/stat : 3260 (java) S 3246 3246 32437 0 -1 1077944384 6678 0 0 0 82 2 0 0 20 0 19 0 445424236 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233172077168 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3261] ppid=3246 vsize=15418440 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/3248/task/3261/stat : 3261 (java) S 3246 3246 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445424237 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233171024608 140233608615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3262] ppid=3246 vsize=15418440 memory=2066 CPUtime=0.02 cores=1,3,5,7
/proc/3248/task/3262/stat : 3262 (java) S 3246 3246 32437 0 -1 1077944384 711 0 0 0 0 2 0 0 20 0 19 0 445424238 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233169971888 140233608616578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3286] ppid=3246 vsize=15418440 memory=2070 CPUtime=3.4 cores=1,3,5,7
/proc/3248/task/3286/stat : 3286 (java) R 3246 3246 32437 0 -1 4202560 69 0 0 0 340 0 0 0 20 0 19 0 445428840 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233091664912 140233252963087 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3287] ppid=3246 vsize=15418440 memory=1448 CPUtime=3.37 cores=1,3,5,7
/proc/3248/task/3287/stat : 3287 (java) R 3246 3246 32437 0 -1 4202560 408 0 0 0 337 0 0 0 20 0 19 0 445428840 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233167209080 140233250607550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3288] ppid=3246 vsize=15418440 memory=210856 CPUtime=3.36 cores=1,3,5,7
/proc/3248/task/3288/stat : 3288 (java) R 3246 3246 32437 0 -1 4202560 52 0 0 0 336 0 0 0 20 0 19 0 445428840 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233088508120 140233252962712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
[pid=3248/tid=3289] ppid=3246 vsize=15418440 memory=14008 CPUtime=3.39 cores=1,3,5,7
/proc/3248/task/3289/stat : 3289 (java) R 3246 3246 32437 0 -1 4202560 159 0 0 0 339 0 0 0 20 0 19 0 445428840 15788482560 52802 33554432000 4194304 4196468 140727280056000 140233090612792 140233251850718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6721536 140727280063471 140727280063642 140727280063642 140727280066511 0
Current children cumulated CPU time: 195.62 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 212656 KiB
Child status: 0
Real time (s): 49.5567
CPU time (s): 195.78
CPU user time (s): 195.52
CPU system time (s): 0.259728
CPU usage (%): 395.063
Max. virtual memory (cumulated for all children) (KiB): 15531568
Max. memory (cumulated for all children) (KiB): 258940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 195.52
system time used= 0.259728
maximum resident set size= 257492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56595
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4752
involuntary context switches= 4602
# summary of solver processes directly reported to runsolver:
# pid: 3246
# total CPU time (s): 195.78
# total CPU user time (s): 195.52
# total CPU system time (s): 0.259728
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.358643 second user time and 0.61749 second system time
The end
Begin job on node119 at 2019-09-17 06:37:34 IDJOB=4399263 IDBENCH=124135 IDSOLVER=2853 FILE ID=node119/4399263-1568695094 RUNJOBID= node119-1568694401-32469 PBS_JOBID= 21703805 Free space on /tmp= 61320 MiB SOLVER NAME= choco-solver 2019-09-16 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399263-1568695094/watcher-4399263-1568695094 -o /tmp/evaluation-result-4399263-1568695094/solver-4399263-1568695094 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568694401-32469 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1478126132 HOME/instance-4399263-1568695094.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b82332625d17a81d2c62c757de216262 RANDOM SEED=1478126132 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: 27120648 kB MemAvailable: 29602016 kB Buffers: 121324 kB Cached: 2642360 kB SwapCached: 61072 kB Active: 3639828 kB Inactive: 1404572 kB Active(anon): 2219052 kB Inactive(anon): 110640 kB Active(file): 1420776 kB Inactive(file): 1293932 kB Unevictable: 107752 kB Mlocked: 107752 kB SwapTotal: 67108860 kB SwapFree: 66939908 kB Dirty: 25920 kB Writeback: 0 kB AnonPages: 2330640 kB Mapped: 61984 kB Shmem: 41008 kB Slab: 194592 kB SReclaimable: 164992 kB SUnreclaim: 29600 kB KernelStack: 3936 kB PageTables: 9836 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3155020 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2183168 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 /tmp at the end= 61292 MiB End job on node119 at 2019-09-17 06:38:23