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-20 | OPT | 123 | 189.306 | 47.9879 |
| 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 | 10.9455 |
| 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-4404063-1568990666.xml" -tl '2400s' -p 4 0.11/0.18 c Choco 3fb4b153 0.11/0.19 c [HOME/instance-4404063-1568990666.xml, -tl, 2400s, -p, 4] 0.33/0.23 c 4 solvers in parallel 0.33/0.29 c parse instance... 1.65/0.77 c solve instance... 164.01/41.61 o 136 169.59/43.03 o 135 170.79/43.36 o 125 172.32/43.75 o 124 177.08/44.94 o 123 189.02/47.96 s OPTIMUM FOUND 189.02/47.96 v <instantiation> 189.02/47.96 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> 189.02/47.97 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> 189.02/47.97 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 (4505 MiB free)
memory of node 1: 16384 MiB (4634 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404063-1568990666/watcher-4404063-1568990666 -o /var/tmp/evaluation-result-4404063-1568990666/solver-4404063-1568990666 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568990625-7232 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 651331842 HOME/instance-4404063-1568990666.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=7263, runsolver pid=7259
[startup+0.100077 s]*
/proc/loadavg: 0.47 0.91 1.20 5/229 7293
/proc/meminfo: memFree=9327796/32770624 swapFree=67021820/67108860
[pid=7263] ppid=7259 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/7263/stat : 7263 (xcsp3-exec) S 7259 7263 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475339147 115843072 364 33554432000 4194304 5098028 140723406632048 140723406630152 140133586928252 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 38072320 140723406635863 140723406636121 140723406636121 140723406639046 0
/proc/7263/statm: 28282 364 305 221 0 87 0
[pid=7266] ppid=7263 vsize=15144776 memory=28704 CPUtime=0.11 cores=0,2,4,6
/proc/7266/stat : 7266 (java) S 7263 7263 7201 0 -1 1077944320 5558 0 0 0 10 1 0 0 20 0 15 0 475339147 15508250624 7176 33554432000 4194304 4196468 140722399464528 140722399447072 140421714030327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
/proc/7266/statm: 3786194 7176 3154 1 0 3748377 0
[pid=7266/tid=7267] ppid=7263 vsize=15144776 memory=8259220870599512923 CPUtime=0.08 cores=0,2,4,6
/proc/7266/task/7267/stat : 7267 (java) R 7263 7263 7201 0 -1 4202560 3568 0 0 0 8 0 0 0 20 0 15 0 475339148 15508250624 7176 33554432000 4194304 4196468 140722399464528 140421718255136 140421714042262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7272] ppid=7263 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7272/stat : 7272 (java) S 7263 7263 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475339148 15508250624 7176 33554432000 4194304 4196468 140722399464528 140421305965456 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7273] ppid=7263 vsize=15144776 memory=140150660847232 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7273/stat : 7273 (java) S 7263 7263 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339148 15508250624 7176 33554432000 4194304 4196468 140722399464528 140421304912656 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7274] ppid=7263 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7274/stat : 7274 (java) S 7263 7263 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339148 15508250624 7176 33554432000 4194304 4196468 140722399464528 140421303860368 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7275] ppid=7263 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7275/stat : 7275 (java) S 7263 7263 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475339148 15508250624 7176 33554432000 4194304 4196468 140722399464528 140421302807568 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7277] ppid=7263 vsize=15144776 memory=140150660847232 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7277/stat : 7277 (java) S 7263 7263 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475339150 15508250624 7176 33554432000 4194304 4196468 140722399464528 140420788988016 140421714041474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7280] ppid=7263 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7280/stat : 7280 (java) S 7263 7263 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475339150 15508250624 7176 33554432000 4194304 4196468 140722399464528 140420787933984 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7281] ppid=7263 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7281/stat : 7281 (java) S 7263 7263 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475339151 15508250624 7176 33554432000 4194304 4196468 140722399464528 140420786881648 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7287] ppid=7263 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7287/stat : 7287 (java) S 7263 7263 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475339153 15508250624 7176 33554432000 4194304 4196468 140722399464528 140420785829968 140421714048923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7289] ppid=7263 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7289/stat : 7289 (java) S 7263 7263 7201 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 15 0 475339153 15508250624 7176 33554432000 4194304 4196468 140722399464528 140420784777840 140421714041474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7290] ppid=7263 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7290/stat : 7290 (java) S 7263 7263 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475339153 15508250624 7176 33554432000 4194304 4196468 140722399464528 140420783725040 140421714041474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7291] ppid=7263 vsize=15144776 memory=140150660847232 CPUtime=0.01 cores=0,2,4,6
/proc/7266/task/7291/stat : 7291 (java) R 7263 7263 7201 0 -1 4202560 287 0 0 0 1 0 0 0 20 0 15 0 475339153 15508250624 7176 33554432000 4194304 4196468 140722399464528 140420782672752 140421695270640 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7292] ppid=7263 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7292/stat : 7292 (java) S 7263 7263 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475339154 15508250624 7176 33554432000 4194304 4196468 140722399464528 140420781620192 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7293] ppid=7263 vsize=15144776 memory=140150660847232 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7293/stat : 7293 (java) S 7263 7263 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339154 15508250624 7176 33554432000 4194304 4196468 140722399464528 140420780566960 140421714041474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30160 KiB
[startup+0.210395 s]*
/proc/loadavg: 0.47 0.91 1.20 7/229 7293
/proc/meminfo: memFree=9300016/32770624 swapFree=67021820/67108860
[pid=7263] ppid=7259 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/7263/stat : 7263 (xcsp3-exec) S 7259 7263 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475339147 115843072 364 33554432000 4194304 5098028 140723406632048 140723406630152 140133586928252 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 38072320 140723406635863 140723406636121 140723406636121 140723406639046 0
/proc/7263/statm: 28282 364 305 221 0 87 0
[pid=7266] ppid=7263 vsize=15144776 memory=40600 CPUtime=0.33 cores=0,2,4,6
/proc/7266/stat : 7266 (java) S 7263 7263 7201 0 -1 1077944320 9351 0 0 0 30 3 0 0 20 0 15 0 475339147 15508250624 10150 33554432000 4194304 4196468 140722399464528 140722399447072 140421714030327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
/proc/7266/statm: 3786194 10150 3314 1 0 3748377 0
[pid=7266/tid=7267] ppid=7263 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/7266/task/7267/stat : 7267 (java) R 7263 7263 7201 0 -1 4202560 6579 0 0 0 17 2 0 0 20 0 15 0 475339148 15508250624 10150 33554432000 4194304 4196468 140722399464528 140421718262240 140421714052253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7272] ppid=7263 vsize=15144776 memory=13575 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7272/stat : 7272 (java) S 7263 7263 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475339148 15508250624 10150 33554432000 4194304 4196468 140722399464528 140421305965456 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7273] ppid=7263 vsize=15144776 memory=140150664209516 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7273/stat : 7273 (java) S 7263 7263 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339148 15508250624 10150 33554432000 4194304 4196468 140722399464528 140421304912656 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7274] ppid=7263 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7274/stat : 7274 (java) S 7263 7263 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339148 15508250624 10150 33554432000 4194304 4196468 140722399464528 140421303860368 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7275] ppid=7263 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7275/stat : 7275 (java) S 7263 7263 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475339148 15508250624 10150 33554432000 4194304 4196468 140722399464528 140421302807568 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7277] ppid=7263 vsize=15144776 memory=140150660847232 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7277/stat : 7277 (java) S 7263 7263 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475339150 15508250624 10150 33554432000 4194304 4196468 140722399464528 140420788988016 140421714041474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7280] ppid=7263 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7280/stat : 7280 (java) S 7263 7263 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475339150 15508250624 10150 33554432000 4194304 4196468 140722399464528 140420787933984 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7281] ppid=7263 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7281/stat : 7281 (java) S 7263 7263 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475339151 15508250624 10150 33554432000 4194304 4196468 140722399464528 140420786881648 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7287] ppid=7263 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7287/stat : 7287 (java) S 7263 7263 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475339153 15508250624 10150 33554432000 4194304 4196468 140722399464528 140420785829968 140421714048923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7289] ppid=7263 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7266/task/7289/stat : 7289 (java) R 7263 7263 7201 0 -1 4202560 540 0 0 0 3 0 0 0 20 0 15 0 475339153 15508250624 10150 33554432000 4194304 4196468 140722399464528 140420784777840 140421697530763 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7290] ppid=7263 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/7266/task/7290/stat : 7290 (java) R 7263 7263 7201 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 15 0 475339153 15508250624 10150 33554432000 4194304 4196468 140722399464528 140420783725040 140421714041474 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7291] ppid=7263 vsize=15144776 memory=140150660847232 CPUtime=0.07 cores=0,2,4,6
/proc/7266/task/7291/stat : 7291 (java) R 7263 7263 7201 0 -1 4202560 827 0 0 0 7 0 0 0 20 0 15 0 475339153 15508250624 10150 33554432000 4194304 4196468 140722399464528 140420782668704 140421706271717 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7292] ppid=7263 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7292/stat : 7292 (java) S 7263 7263 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475339154 15508250624 10150 33554432000 4194304 4196468 140722399464528 140420781620192 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7293] ppid=7263 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7293/stat : 7293 (java) S 7263 7263 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339154 15508250624 10150 33554432000 4194304 4196468 140722399464528 140420780566960 140421714041474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42056 KiB
[startup+0.314869 s]*
/proc/loadavg: 0.47 0.91 1.20 7/229 7293
/proc/meminfo: memFree=9286476/32770624 swapFree=67021820/67108860
[pid=7263] ppid=7259 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/7263/stat : 7263 (xcsp3-exec) S 7259 7263 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475339147 115843072 364 33554432000 4194304 5098028 140723406632048 140723406630152 140133586928252 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 38072320 140723406635863 140723406636121 140723406636121 140723406639046 0
/proc/7263/statm: 28282 364 305 221 0 87 0
[pid=7266] ppid=7263 vsize=15149032 memory=49704 CPUtime=0.53 cores=0,2,4,6
/proc/7266/stat : 7266 (java) S 7263 7263 7201 0 -1 1077944320 10757 0 0 0 49 4 0 0 20 0 15 0 475339147 15512608768 12426 33554432000 4194304 4196468 140722399464528 140722399447072 140421714030327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
/proc/7266/statm: 3787258 12426 3368 1 0 3748377 0
[pid=7266/tid=7267] ppid=7263 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/7266/task/7267/stat : 7267 (java) R 7263 7263 7201 0 -1 4202560 7723 0 0 0 27 3 0 0 20 0 15 0 475339148 15512608768 12452 33554432000 4194304 4196468 140722399464528 140421718261440 140421699723512 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7272] ppid=7263 vsize=15149032 memory=13938 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7272/stat : 7272 (java) S 7263 7263 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475339148 15512608768 12452 33554432000 4194304 4196468 140722399464528 140421305965456 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7273] ppid=7263 vsize=15149032 memory=3561506 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7273/stat : 7273 (java) S 7263 7263 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339148 15512608768 12452 33554432000 4194304 4196468 140722399464528 140421304912656 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7274] ppid=7263 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7274/stat : 7274 (java) S 7263 7263 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339148 15512608768 12452 33554432000 4194304 4196468 140722399464528 140421303860368 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7275] ppid=7263 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7275/stat : 7275 (java) S 7263 7263 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475339148 15512608768 12452 33554432000 4194304 4196468 140722399464528 140421302807568 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7277] ppid=7263 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7277/stat : 7277 (java) S 7263 7263 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475339150 15512608768 12452 33554432000 4194304 4196468 140722399464528 140420788988016 140421714041474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7280] ppid=7263 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7280/stat : 7280 (java) S 7263 7263 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475339150 15512608768 12452 33554432000 4194304 4196468 140722399464528 140420787933984 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7281] ppid=7263 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7281/stat : 7281 (java) S 7263 7263 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475339151 15512608768 12452 33554432000 4194304 4196468 140722399464528 140420786881648 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7287] ppid=7263 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7287/stat : 7287 (java) S 7263 7263 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475339153 15512608768 12452 33554432000 4194304 4196468 140722399464528 140420785829968 140421714048923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7289] ppid=7263 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/7266/task/7289/stat : 7289 (java) R 7263 7263 7201 0 -1 1077944384 569 0 0 0 4 0 0 0 20 0 15 0 475339153 15512608768 12452 33554432000 4194304 4196468 140722399464528 140420784777840 140421714041474 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7290] ppid=7263 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/7266/task/7290/stat : 7290 (java) R 7263 7263 7201 0 -1 4202560 199 0 0 0 4 0 0 0 20 0 15 0 475339153 15512608768 12452 33554432000 4194304 4196468 140722399464528 140420783725040 140421695574486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7291] ppid=7263 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/7266/task/7291/stat : 7291 (java) S 7263 7263 7201 0 -1 1077944384 972 0 0 0 12 0 0 0 20 0 15 0 475339153 15512608768 12452 33554432000 4194304 4196468 140722399464528 140420782672752 140421714041474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7292] ppid=7263 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7292/stat : 7292 (java) S 7263 7263 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475339154 15512608768 12452 33554432000 4194304 4196468 140722399464528 140420781620192 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7293] ppid=7263 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7293/stat : 7293 (java) S 7263 7263 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339154 15512608768 12452 33554432000 4194304 4196468 140722399464528 140420780566960 140421714041474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51160 KiB
[startup+0.701603 s]
/proc/loadavg: 0.47 0.91 1.20 8/229 7293
/proc/meminfo: memFree=9256948/32770624 swapFree=67021820/67108860
[pid=7263] ppid=7259 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/7263/stat : 7263 (xcsp3-exec) S 7259 7263 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475339147 115843072 364 33554432000 4194304 5098028 140723406632048 140723406630152 140133586928252 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 38072320 140723406635863 140723406636121 140723406636121 140723406639046 0
/proc/7263/statm: 28282 364 305 221 0 87 0
[pid=7266] ppid=7263 vsize=15151156 memory=91088 CPUtime=1.65 cores=0,2,4,6
/proc/7266/stat : 7266 (java) S 7263 7263 7201 0 -1 1077944320 13425 0 0 0 159 6 0 0 20 0 15 0 475339147 15514783744 22772 33554432000 4194304 4196468 140722399464528 140722399447072 140421714030327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
/proc/7266/statm: 3787789 22772 3465 1 0 3748889 0
[pid=7266/tid=7267] ppid=7263 vsize=15151156 memory=12328 CPUtime=0.67 cores=0,2,4,6
/proc/7266/task/7267/stat : 7267 (java) R 7263 7263 7201 0 -1 4202560 8644 0 0 0 63 4 0 0 20 0 15 0 475339148 15514783744 22772 33554432000 4194304 4196468 140722399464528 140421718267408 140421351009462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7272] ppid=7263 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7272/stat : 7272 (java) S 7263 7263 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475339148 15514783744 22772 33554432000 4194304 4196468 140722399464528 140421305965456 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7273] ppid=7263 vsize=15151156 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7273/stat : 7273 (java) S 7263 7263 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339148 15514783744 22772 33554432000 4194304 4196468 140722399464528 140421304912656 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7274] ppid=7263 vsize=15151156 memory=1744 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7274/stat : 7274 (java) S 7263 7263 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339148 15514783744 22772 33554432000 4194304 4196468 140722399464528 140421303860368 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7275] ppid=7263 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7275/stat : 7275 (java) S 7263 7263 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475339148 15514783744 22772 33554432000 4194304 4196468 140722399464528 140421302807568 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7277] ppid=7263 vsize=15151156 memory=1940 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7277/stat : 7277 (java) S 7263 7263 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475339150 15514783744 22772 33554432000 4194304 4196468 140722399464528 140420788988016 140421714041474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7280] ppid=7263 vsize=15151156 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7280/stat : 7280 (java) S 7263 7263 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475339150 15514783744 22772 33554432000 4194304 4196468 140722399464528 140420787933984 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7281] ppid=7263 vsize=15151156 memory=2508 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7281/stat : 7281 (java) S 7263 7263 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475339151 15514783744 22772 33554432000 4194304 4196468 140722399464528 140420786881648 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7287] ppid=7263 vsize=15151156 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7287/stat : 7287 (java) S 7263 7263 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475339153 15514783744 22772 33554432000 4194304 4196468 140722399464528 140420785829968 140421714048923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7289] ppid=7263 vsize=15151156 memory=836 CPUtime=0.28 cores=0,2,4,6
/proc/7266/task/7289/stat : 7289 (java) R 7263 7263 7201 0 -1 4202560 1046 0 0 0 28 0 0 0 20 0 15 0 475339153 15514783744 22772 33554432000 4194304 4196468 140722399464528 140420784765152 140421693747463 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7290] ppid=7263 vsize=15151156 memory=1760 CPUtime=0.26 cores=0,2,4,6
/proc/7266/task/7290/stat : 7290 (java) R 7263 7263 7201 0 -1 4202560 623 0 0 0 26 0 0 0 20 0 15 0 475339153 15514783744 22772 33554432000 4194304 4196468 140722399464528 140420783711104 140421697416911 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7291] ppid=7263 vsize=15151156 memory=111632 CPUtime=0.41 cores=0,2,4,6
/proc/7266/task/7291/stat : 7291 (java) R 7263 7263 7201 0 -1 4202560 1804 0 0 0 41 0 0 0 20 0 15 0 475339153 15514783744 22772 33554432000 4194304 4196468 140722399464528 140420782672752 140421707130174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7292] ppid=7263 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7292/stat : 7292 (java) S 7263 7263 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475339154 15514783744 22772 33554432000 4194304 4196468 140722399464528 140420781620192 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7293] ppid=7263 vsize=15151156 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7293/stat : 7293 (java) S 7263 7263 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475339154 15514783744 22772 33554432000 4194304 4196468 140722399464528 140420780566960 140421714041474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92544 KiB
[startup+1.50862 s]
/proc/loadavg: 0.47 0.91 1.20 15/237 7301
/proc/meminfo: memFree=9149492/32770624 swapFree=67021820/67108860
[pid=7263] ppid=7259 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/7263/stat : 7263 (xcsp3-exec) S 7259 7263 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475339147 115843072 364 33554432000 4194304 5098028 140723406632048 140723406630152 140133586928252 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 38072320 140723406635863 140723406636121 140723406636121 140723406639046 0
/proc/7263/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/7266/task/7293/stat : 7293 (java) S 7263 7263 7201 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 19 0 475339154 15787429888 51861 33554432000 4194304 4196468 140722399464528 140420780566960 140421714041474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7433] ppid=7263 vsize=15417412 memory=924 CPUtime=1.6 cores=0,2,4,6
/proc/7266/task/7433/stat : 7433 (java) R 7263 7263 7201 0 -1 4202560 92 0 0 0 160 0 0 0 20 0 19 0 475343642 15787429888 51861 33554432000 4194304 4196468 140722399464528 140420771585880 140421357332872 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7434] ppid=7263 vsize=15417412 memory=1940 CPUtime=1.57 cores=0,2,4,6
/proc/7266/task/7434/stat : 7434 (java) R 7263 7263 7201 0 -1 4202560 312 0 0 0 157 0 0 0 20 0 19 0 475343642 15787429888 51861 33554432000 4194304 4196468 140722399464528 140420769482792 140421359092752 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7435] ppid=7263 vsize=15417412 memory=1996 CPUtime=1.64 cores=0,2,4,6
/proc/7266/task/7435/stat : 7435 (java) R 7263 7263 7201 0 -1 4202560 67 0 0 0 164 0 0 0 20 0 19 0 475343642 15787429888 51861 33554432000 4194304 4196468 140722399464528 140420770533720 140421356732370 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7436] ppid=7263 vsize=15417412 memory=2508 CPUtime=1.64 cores=0,2,4,6
/proc/7266/task/7436/stat : 7436 (java) R 7263 7263 7201 0 -1 4202560 66 0 0 0 164 0 0 0 20 0 19 0 475343642 15787429888 51861 33554432000 4194304 4196468 140722399464528 140420768428344 140421359092874 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
Current children cumulated CPU time: 183.84 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 208900 KiB
[startup+47.4008 s]
/proc/loadavg: 4.76 1.97 1.54 12/238 7442
/proc/meminfo: memFree=8942232/32770624 swapFree=67021820/67108860
[pid=7263] ppid=7259 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/7263/stat : 7263 (xcsp3-exec) S 7259 7263 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475339147 115843072 364 33554432000 4194304 5098028 140723406632048 140723406630152 140133586928252 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 38072320 140723406635863 140723406636121 140723406636121 140723406639046 0
/proc/7263/statm: 28282 364 305 221 0 87 0
[pid=7266] ppid=7263 vsize=15417412 memory=207476 CPUtime=187.02 cores=0,2,4,6
/proc/7266/stat : 7266 (java) S 7263 7263 7201 0 -1 1077944320 50688 0 0 0 18677 25 0 0 20 0 19 0 475339147 15787429888 51869 33554432000 4194304 4196468 140722399464528 140722399447072 140421714030327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
/proc/7266/statm: 3854353 51869 3533 1 0 3815453 0
[pid=7266/tid=7267] ppid=7263 vsize=15417412 memory=8112282956445269571 CPUtime=0.78 cores=0,2,4,6
/proc/7266/task/7267/stat : 7267 (java) S 7263 7263 7201 0 -1 1077944384 8992 0 0 0 73 5 0 0 20 0 19 0 475339148 15787429888 51869 33554432000 4194304 4196468 140722399464528 140421718271104 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7272] ppid=7263 vsize=15417412 memory=15816698942982814 CPUtime=0.1 cores=0,2,4,6
/proc/7266/task/7272/stat : 7272 (java) S 7263 7263 7201 0 -1 1077944384 1162 0 0 0 9 1 0 0 20 0 19 0 475339148 15787429888 51869 33554432000 4194304 4196468 140722399464528 140421305965456 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7273] ppid=7263 vsize=15417412 memory=1480 CPUtime=0.1 cores=0,2,4,6
/proc/7266/task/7273/stat : 7273 (java) S 7263 7263 7201 0 -1 1077944384 657 0 0 0 9 1 0 0 20 0 19 0 475339148 15787429888 51869 33554432000 4194304 4196468 140722399464528 140421304912656 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7274] ppid=7263 vsize=15417412 memory=3880 CPUtime=0.11 cores=0,2,4,6
/proc/7266/task/7274/stat : 7274 (java) S 7263 7263 7201 0 -1 1077944384 425 0 0 0 9 2 0 0 20 0 19 0 475339148 15787429888 51869 33554432000 4194304 4196468 140722399464528 140421303860368 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7275] ppid=7263 vsize=15417412 memory=7712 CPUtime=0.08 cores=0,2,4,6
/proc/7266/task/7275/stat : 7275 (java) S 7263 7263 7201 0 -1 1077944384 1574 0 0 0 7 1 0 0 20 0 19 0 475339148 15787429888 51869 33554432000 4194304 4196468 140722399464528 140421302807568 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7277] ppid=7263 vsize=15417412 memory=1760 CPUtime=0.03 cores=0,2,4,6
/proc/7266/task/7277/stat : 7277 (java) S 7263 7263 7201 0 -1 1077944384 957 0 0 0 3 0 0 0 20 0 19 0 475339150 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420788988016 140421714041474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7280] ppid=7263 vsize=15417412 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7280/stat : 7280 (java) S 7263 7263 7201 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475339150 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420787934048 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7281] ppid=7263 vsize=15417412 memory=6316 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7281/stat : 7281 (java) S 7263 7263 7201 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475339151 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420786881664 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7287] ppid=7263 vsize=15417412 memory=828 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7287/stat : 7287 (java) S 7263 7263 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475339153 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420785829968 140421714048923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7289] ppid=7263 vsize=15417412 memory=1456 CPUtime=2.37 cores=0,2,4,6
/proc/7266/task/7289/stat : 7289 (java) S 7263 7263 7201 0 -1 1077944384 12009 0 0 0 234 3 0 0 20 0 19 0 475339153 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420784777840 140421714041474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7290] ppid=7263 vsize=15417412 memory=3648 CPUtime=2.2 cores=0,2,4,6
/proc/7266/task/7290/stat : 7290 (java) R 7263 7263 7201 0 -1 4202560 11072 0 0 0 219 1 0 0 20 0 19 0 475339153 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420783725336 140421698959797 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7291] ppid=7263 vsize=15417412 memory=41732 CPUtime=0.8 cores=0,2,4,6
/proc/7266/task/7291/stat : 7291 (java) S 7263 7263 7201 0 -1 1077944384 6827 0 0 0 79 1 0 0 20 0 19 0 475339153 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420782672752 140421714041474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7292] ppid=7263 vsize=15417412 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7292/stat : 7292 (java) S 7263 7263 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475339154 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420781620192 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7293] ppid=7263 vsize=15417412 memory=2084 CPUtime=0.01 cores=0,2,4,6
/proc/7266/task/7293/stat : 7293 (java) S 7263 7263 7201 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 19 0 475339154 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420780566960 140421714041474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7433] ppid=7263 vsize=15417412 memory=1456 CPUtime=2.38 cores=0,2,4,6
/proc/7266/task/7433/stat : 7433 (java) R 7263 7263 7201 0 -1 4202560 95 0 0 0 238 0 0 0 20 0 19 0 475343642 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420771585224 140421356840048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7434] ppid=7263 vsize=15417412 memory=3648 CPUtime=2.32 cores=0,2,4,6
/proc/7266/task/7434/stat : 7434 (java) R 7263 7263 7201 0 -1 4202560 325 0 0 0 232 0 0 0 20 0 19 0 475343642 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420769481480 140421354807253 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7435] ppid=7263 vsize=15417412 memory=41732 CPUtime=2.44 cores=0,2,4,6
/proc/7266/task/7435/stat : 7435 (java) R 7263 7263 7201 0 -1 4202560 70 0 0 0 244 0 0 0 20 0 19 0 475343642 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420770533584 140421357332896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7436] ppid=7263 vsize=15417412 memory=207444 CPUtime=2.44 cores=0,2,4,6
/proc/7266/task/7436/stat : 7436 (java) R 7263 7263 7201 0 -1 4202560 66 0 0 0 244 0 0 0 20 0 19 0 475343642 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420768427528 140421357990887 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
Current children cumulated CPU time: 187.02 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 208932 KiB
[startup+47.8016 s]
/proc/loadavg: 4.76 1.97 1.54 12/238 7442
/proc/meminfo: memFree=8942232/32770624 swapFree=67021820/67108860
[pid=7263] ppid=7259 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/7263/stat : 7263 (xcsp3-exec) S 7259 7263 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475339147 115843072 364 33554432000 4194304 5098028 140723406632048 140723406630152 140133586928252 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 38072320 140723406635863 140723406636121 140723406636121 140723406639046 0
/proc/7263/statm: 28282 364 305 221 0 87 0
[pid=7266] ppid=7263 vsize=15417412 memory=207476 CPUtime=188.62 cores=0,2,4,6
/proc/7266/stat : 7266 (java) S 7263 7263 7201 0 -1 1077944320 50737 0 0 0 18837 25 0 0 20 0 19 0 475339147 15787429888 51869 33554432000 4194304 4196468 140722399464528 140722399447072 140421714030327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
/proc/7266/statm: 3854353 51869 3533 1 0 3815453 0
[pid=7266/tid=7267] ppid=7263 vsize=15417412 memory=4104 CPUtime=0.78 cores=0,2,4,6
/proc/7266/task/7267/stat : 7267 (java) S 7263 7263 7201 0 -1 1077944384 8992 0 0 0 73 5 0 0 20 0 19 0 475339148 15787429888 51869 33554432000 4194304 4196468 140722399464528 140421718271104 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7272] ppid=7263 vsize=15417412 memory=1804 CPUtime=0.1 cores=0,2,4,6
/proc/7266/task/7272/stat : 7272 (java) S 7263 7263 7201 0 -1 1077944384 1162 0 0 0 9 1 0 0 20 0 19 0 475339148 15787429888 51869 33554432000 4194304 4196468 140722399464528 140421305965456 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7273] ppid=7263 vsize=15417412 memory=916 CPUtime=0.1 cores=0,2,4,6
/proc/7266/task/7273/stat : 7273 (java) S 7263 7263 7201 0 -1 1077944384 657 0 0 0 9 1 0 0 20 0 19 0 475339148 15787429888 51869 33554432000 4194304 4196468 140722399464528 140421304912656 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7274] ppid=7263 vsize=15417412 memory=500 CPUtime=0.11 cores=0,2,4,6
/proc/7266/task/7274/stat : 7274 (java) S 7263 7263 7201 0 -1 1077944384 425 0 0 0 9 2 0 0 20 0 19 0 475339148 15787429888 51869 33554432000 4194304 4196468 140722399464528 140421303860368 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7275] ppid=7263 vsize=15417412 memory=1584 CPUtime=0.08 cores=0,2,4,6
/proc/7266/task/7275/stat : 7275 (java) S 7263 7263 7201 0 -1 1077944384 1574 0 0 0 7 1 0 0 20 0 19 0 475339148 15787429888 51869 33554432000 4194304 4196468 140722399464528 140421302807568 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7277] ppid=7263 vsize=15417412 memory=1744 CPUtime=0.03 cores=0,2,4,6
/proc/7266/task/7277/stat : 7277 (java) S 7263 7263 7201 0 -1 1077944384 957 0 0 0 3 0 0 0 20 0 19 0 475339150 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420788988016 140421714041474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7280] ppid=7263 vsize=15417412 memory=924 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7280/stat : 7280 (java) S 7263 7263 7201 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475339150 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420787934048 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7281] ppid=7263 vsize=15417412 memory=1940 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7281/stat : 7281 (java) S 7263 7263 7201 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475339151 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420786881664 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7287] ppid=7263 vsize=15417412 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7287/stat : 7287 (java) S 7263 7263 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475339153 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420785829968 140421714048923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7289] ppid=7263 vsize=15417412 memory=2508 CPUtime=2.39 cores=0,2,4,6
/proc/7266/task/7289/stat : 7289 (java) S 7263 7263 7201 0 -1 1077944384 12030 0 0 0 236 3 0 0 20 0 19 0 475339153 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420784777840 140421714041474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7290] ppid=7263 vsize=15417412 memory=1532 CPUtime=2.21 cores=0,2,4,6
/proc/7266/task/7290/stat : 7290 (java) S 7263 7263 7201 0 -1 1077944384 11083 0 0 0 220 1 0 0 20 0 19 0 475339153 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420783725040 140421714041474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7291] ppid=7263 vsize=15417412 memory=836 CPUtime=0.8 cores=0,2,4,6
/proc/7266/task/7291/stat : 7291 (java) S 7263 7263 7201 0 -1 1077944384 6827 0 0 0 79 1 0 0 20 0 19 0 475339153 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420782672752 140421714041474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7292] ppid=7263 vsize=15417412 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7292/stat : 7292 (java) S 7263 7263 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475339154 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420781620192 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7293] ppid=7263 vsize=15417412 memory=111632 CPUtime=0.01 cores=0,2,4,6
/proc/7266/task/7293/stat : 7293 (java) S 7263 7263 7201 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 19 0 475339154 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420780566960 140421714041474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7433] ppid=7263 vsize=15417412 memory=804 CPUtime=2.77 cores=0,2,4,6
/proc/7266/task/7433/stat : 7433 (java) R 7263 7263 7201 0 -1 4202560 97 0 0 0 277 0 0 0 20 0 19 0 475343642 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420771585224 140421359093203 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7434] ppid=7263 vsize=15417412 memory=4104 CPUtime=2.71 cores=0,2,4,6
/proc/7266/task/7434/stat : 7434 (java) R 7263 7263 7201 0 -1 4202560 329 0 0 0 271 0 0 0 20 0 19 0 475343642 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420769481480 140421359092889 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7435] ppid=7263 vsize=15417412 memory=1804 CPUtime=2.84 cores=0,2,4,6
/proc/7266/task/7435/stat : 7435 (java) R 7263 7263 7201 0 -1 4202560 73 0 0 0 284 0 0 0 20 0 19 0 475343642 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420770533584 140421357332872 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7436] ppid=7263 vsize=15417412 memory=916 CPUtime=2.84 cores=0,2,4,6
/proc/7266/task/7436/stat : 7436 (java) R 7263 7263 7201 0 -1 4202560 74 0 0 0 284 0 0 0 20 0 19 0 475343642 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420768427528 140421357990702 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
Current children cumulated CPU time: 188.62 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 208932 KiB
[startup+47.9016 s]
/proc/loadavg: 4.76 1.97 1.54 12/238 7442
/proc/meminfo: memFree=8942232/32770624 swapFree=67021820/67108860
[pid=7263] ppid=7259 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/7263/stat : 7263 (xcsp3-exec) S 7259 7263 7201 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475339147 115843072 364 33554432000 4194304 5098028 140723406632048 140723406630152 140133586928252 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 38072320 140723406635863 140723406636121 140723406636121 140723406639046 0
/proc/7263/statm: 28282 364 305 221 0 87 0
[pid=7266] ppid=7263 vsize=15417412 memory=207476 CPUtime=189.02 cores=0,2,4,6
/proc/7266/stat : 7266 (java) S 7263 7263 7201 0 -1 1077944320 50737 0 0 0 18877 25 0 0 20 0 19 0 475339147 15787429888 51869 33554432000 4194304 4196468 140722399464528 140722399447072 140421714030327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
/proc/7266/statm: 3854353 51869 3533 1 0 3815453 0
[pid=7266/tid=7267] ppid=7263 vsize=15417412 memory=207476 CPUtime=0.78 cores=0,2,4,6
/proc/7266/task/7267/stat : 7267 (java) S 7263 7263 7201 0 -1 1077944384 8992 0 0 0 73 5 0 0 20 0 19 0 475339148 15787429888 51869 33554432000 4194304 4196468 140722399464528 140421718271104 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7272] ppid=7263 vsize=15417412 memory=207452 CPUtime=0.1 cores=0,2,4,6
/proc/7266/task/7272/stat : 7272 (java) S 7263 7263 7201 0 -1 1077944384 1162 0 0 0 9 1 0 0 20 0 19 0 475339148 15787429888 51869 33554432000 4194304 4196468 140722399464528 140421305965456 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7273] ppid=7263 vsize=15417412 memory=207476 CPUtime=0.1 cores=0,2,4,6
/proc/7266/task/7273/stat : 7273 (java) S 7263 7263 7201 0 -1 1077944384 657 0 0 0 9 1 0 0 20 0 19 0 475339148 15787429888 51869 33554432000 4194304 4196468 140722399464528 140421304912656 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7274] ppid=7263 vsize=15417412 memory=1456 CPUtime=0.11 cores=0,2,4,6
/proc/7266/task/7274/stat : 7274 (java) S 7263 7263 7201 0 -1 1077944384 425 0 0 0 9 2 0 0 20 0 19 0 475339148 15787429888 51869 33554432000 4194304 4196468 140722399464528 140421303860368 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7275] ppid=7263 vsize=15417412 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/7266/task/7275/stat : 7275 (java) S 7263 7263 7201 0 -1 1077944384 1574 0 0 0 7 1 0 0 20 0 19 0 475339148 15787429888 51869 33554432000 4194304 4196468 140722399464528 140421302807568 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7277] ppid=7263 vsize=15417412 memory=7584175160707535721 CPUtime=0.03 cores=0,2,4,6
/proc/7266/task/7277/stat : 7277 (java) S 7263 7263 7201 0 -1 1077944384 957 0 0 0 3 0 0 0 20 0 19 0 475339150 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420788988016 140421714041474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7280] ppid=7263 vsize=15417412 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7280/stat : 7280 (java) S 7263 7263 7201 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475339150 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420787934048 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7281] ppid=7263 vsize=15417412 memory=206880 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7281/stat : 7281 (java) S 7263 7263 7201 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475339151 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420786881664 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7287] ppid=7263 vsize=15417412 memory=206808 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7287/stat : 7287 (java) S 7263 7263 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475339153 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420785829968 140421714048923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7289] ppid=7263 vsize=15417412 memory=0 CPUtime=2.39 cores=0,2,4,6
/proc/7266/task/7289/stat : 7289 (java) S 7263 7263 7201 0 -1 1077944384 12030 0 0 0 236 3 0 0 20 0 19 0 475339153 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420784777840 140421714041474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7290] ppid=7263 vsize=15417412 memory=6944652177228980320 CPUtime=2.21 cores=0,2,4,6
/proc/7266/task/7290/stat : 7290 (java) S 7263 7263 7201 0 -1 1077944384 11083 0 0 0 220 1 0 0 20 0 19 0 475339153 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420783725040 140421714041474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7291] ppid=7263 vsize=15417412 memory=7100839852556323184 CPUtime=0.8 cores=0,2,4,6
/proc/7266/task/7291/stat : 7291 (java) S 7263 7263 7201 0 -1 1077944384 6827 0 0 0 79 1 0 0 20 0 19 0 475339153 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420782672752 140421714041474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7292] ppid=7263 vsize=15417412 memory=207012 CPUtime=0 cores=0,2,4,6
/proc/7266/task/7292/stat : 7292 (java) S 7263 7263 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475339154 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420781620192 140421714040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7293] ppid=7263 vsize=15417412 memory=1456 CPUtime=0.01 cores=0,2,4,6
/proc/7266/task/7293/stat : 7293 (java) S 7263 7263 7201 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 19 0 475339154 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420780566960 140421714041474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7433] ppid=7263 vsize=15417412 memory=3648 CPUtime=2.87 cores=0,2,4,6
/proc/7266/task/7433/stat : 7433 (java) R 7263 7263 7201 0 -1 4202560 97 0 0 0 287 0 0 0 20 0 19 0 475343642 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420771585224 140421357332896 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7434] ppid=7263 vsize=15417412 memory=1452 CPUtime=2.81 cores=0,2,4,6
/proc/7266/task/7434/stat : 7434 (java) R 7263 7263 7201 0 -1 4202560 329 0 0 0 281 0 0 0 20 0 19 0 475343642 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420769481480 140421359092874 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7435] ppid=7263 vsize=15417412 memory=242668 CPUtime=2.94 cores=0,2,4,6
/proc/7266/task/7435/stat : 7435 (java) R 7263 7263 7201 0 -1 4202560 73 0 0 0 294 0 0 0 20 0 19 0 475343642 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420770533584 140421357332896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
[pid=7266/tid=7436] ppid=7263 vsize=15417412 memory=1456 CPUtime=2.94 cores=0,2,4,6
/proc/7266/task/7436/stat : 7436 (java) R 7263 7263 7201 0 -1 4202560 74 0 0 0 294 0 0 0 20 0 19 0 475343642 15787429888 51869 33554432000 4194304 4196468 140722399464528 140420768427528 140421357332872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8937472 140722399470555 140722399470730 140722399470730 140722399473615 0
Current children cumulated CPU time: 189.02 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 208932 KiB
Child status: 0
Real time (s): 47.9879
CPU time (s): 189.306
CPU user time (s): 189.046
CPU system time (s): 0.259723
CPU usage (%): 394.488
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 257904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 189.046
system time used= 0.259723
maximum resident set size= 256448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51926
page faults= 0
swaps= 0
block input operations= 8
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4835
involuntary context switches= 4302
# summary of solver processes directly reported to runsolver:
# pid: 7263
# total CPU time (s): 189.306
# total CPU user time (s): 189.046
# total CPU system time (s): 0.259723
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.330202 second user time and 0.571351 second system time
The end
Begin job on node150 at 2019-09-20 16:43:46 IDJOB=4404063 IDBENCH=124135 IDSOLVER=2864 FILE ID=node150/4404063-1568990666 RUNJOBID= node150-1568990625-7232 PBS_JOBID= 21704648 Free space on /var/tmp= 13484 MiB SOLVER NAME= choco-solver 2019-09-20 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 /var/tmp/evaluation-result-4404063-1568990666/watcher-4404063-1568990666 -o /var/tmp/evaluation-result-4404063-1568990666/solver-4404063-1568990666 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568990625-7232 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 651331842 HOME/instance-4404063-1568990666.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b82332625d17a81d2c62c757de216262 RANDOM SEED=651331842 node150.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.79 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.79 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.79 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.79 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: 9359640 kB MemAvailable: 31829100 kB Buffers: 160896 kB Cached: 22212736 kB SwapCached: 7956 kB Active: 11168756 kB Inactive: 11238156 kB Active(anon): 3668 kB Inactive(anon): 71012 kB Active(file): 11165088 kB Inactive(file): 11167144 kB Unevictable: 111324 kB Mlocked: 111324 kB SwapTotal: 67108860 kB SwapFree: 67021820 kB Dirty: 52136 kB Writeback: 0 kB AnonPages: 140804 kB Mapped: 47216 kB Shmem: 32448 kB Slab: 594800 kB SReclaimable: 565688 kB SUnreclaim: 29112 kB KernelStack: 3296 kB PageTables: 6032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 511244 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /var/tmp at the end= 13432 MiB End job on node150 at 2019-09-20 16:44:34