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-06-14 | OPT | 123 | 206.935 | 52.3698 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml |
| MD5SUM | b82332625d17a81d2c62c757de216262 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 123 |
| Best CPU time to get the best result obtained on this benchmark | 11.5853 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3507 |
| Number of constraints | 189 |
| Number of domains | 12 |
| Minimum domain size | 2 |
| Maximum domain size | 20 |
| Distribution of domain sizes | [{"size":2,"count":334},{"size":3,"count":334},{"size":5,"count":334},{"size":8,"count":167},{"size":9,"count":167},{"size":10,"count":334},{"size":11,"count":167},{"size":12,"count":167},{"size":14,"count":668},{"size":15,"count":334},{"size":18,"count":334},{"size":20,"count":167}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":3507}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 3340 |
| Distribution of constraint arities | [{"arity":21,"count":167},{"arity":167,"count":21},{"arity":3340,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":187}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393303-1568316172.xml" -tl '2520s' -p 4 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4393303-1568316172.xml, -tl, 2520s, -p, 4] 0.34/0.22 c 4 solvers in parallel 0.34/0.28 c parse instance... 1.74/0.77 c solve instance... 151.93/38.55 o 153 176.13/44.69 o 134 177.75/45.01 o 133 178.90/45.35 o 132 185.29/46.91 o 130 186.43/47.28 o 129 187.22/47.49 o 128 189.21/47.95 o 127 191.20/48.41 o 126 191.62/48.52 o 125 193.17/48.90 o 124 194.35/49.29 o 123 206.67/52.36 s OPTIMUM FOUND 206.67/52.36 v <instantiation> 206.67/52.36 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> 206.67/52.36 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 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 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 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 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 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 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 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 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 1 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 1 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 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 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 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 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 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 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 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 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 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 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 0 0 1 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 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 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 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 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 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 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 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 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 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 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 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> 206.67/52.36 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 (11309 MiB free)
memory of node 1: 16384 MiB (15345 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393303-1568316172/watcher-4393303-1568316172 -o /tmp/evaluation-result-4393303-1568316172/solver-4393303-1568316172 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2073124081 HOME/instance-4393303-1568316172.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16944, runsolver pid=16941
[startup+0.100107 s]*
/proc/loadavg: 7.81 8.34 8.04 7/233 16960
/proc/meminfo: memFree=27279016/32770624 swapFree=66996236/67108860
[pid=16944] ppid=16941 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16944/stat : 16944 (xcsp3-exec) S 16941 16944 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407871884 115843072 363 33554432000 4194304 5098028 140723426695840 140723426693944 139765890392700 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29720576 140723426698106 140723426698349 140723426698349 140723426701258 0
/proc/16944/statm: 28282 363 304 221 0 87 0
[pid=16946] ppid=16944 vsize=15144768 memory=28948 CPUtime=0.13 cores=1,3,5,7
/proc/16946/stat : 16946 (java) S 16944 16944 14062 0 -1 1077944320 5689 0 0 0 12 1 0 0 20 0 15 0 407871885 15508242432 7237 33554432000 4194304 4196468 140727569625296 140727569607840 139727086030583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
/proc/16946/statm: 3786192 7237 3179 1 0 3748377 0
[pid=16946/tid=16947] ppid=16944 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/16946/task/16947/stat : 16947 (java) R 16944 16944 14062 0 -1 4202560 3576 0 0 0 8 1 0 0 20 0 15 0 407871885 15508242432 7237 33554432000 4194304 4196468 140727569625296 139727090269824 139727068480944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16948] ppid=16944 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16948/stat : 16948 (java) S 16944 16944 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871886 15508242432 7237 33554432000 4194304 4196468 140727569625296 139727038651280 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16949] ppid=16944 vsize=15144768 memory=139981100340864 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16949/stat : 16949 (java) S 16944 16944 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871886 15508242432 7237 33554432000 4194304 4196468 140727569625296 139727037598480 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16950] ppid=16944 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16950/stat : 16950 (java) S 16944 16944 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871886 15508242432 7237 33554432000 4194304 4196468 140727569625296 139727036546192 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16951] ppid=16944 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16951/stat : 16951 (java) S 16944 16944 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407871886 15508242432 7237 33554432000 4194304 4196468 140727569625296 139727035493392 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16952] ppid=16944 vsize=15144768 memory=139981100340864 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16952/stat : 16952 (java) S 16944 16944 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407871887 15508242432 7237 33554432000 4194304 4196468 140727569625296 139726554105968 139727086041730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16953] ppid=16944 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16953/stat : 16953 (java) S 16944 16944 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407871888 15508242432 7237 33554432000 4194304 4196468 140727569625296 139726553051936 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16954] ppid=16944 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16954/stat : 16954 (java) S 16944 16944 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407871888 15508242432 7237 33554432000 4194304 4196468 140727569625296 139726551999600 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16955] ppid=16944 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16955/stat : 16955 (java) S 16944 16944 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871890 15508242432 7237 33554432000 4194304 4196468 140727569625296 139726550947920 139727086049179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16956] ppid=16944 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16956/stat : 16956 (java) R 16944 16944 14062 0 -1 4202560 300 0 0 0 0 0 0 0 20 0 15 0 407871890 15508242432 7237 33554432000 4194304 4196468 140727569625296 139726549895888 139727086040789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16957] ppid=16944 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16957/stat : 16957 (java) R 16944 16944 14062 0 -1 4202560 161 0 0 0 0 0 0 0 20 0 15 0 407871890 15508242432 7237 33554432000 4194304 4196468 140727569625296 139726548836016 139727086042518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16958] ppid=16944 vsize=15144768 memory=139981100340864 CPUtime=0.02 cores=1,3,5,7
/proc/16946/task/16958/stat : 16958 (java) R 16944 16944 14062 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 15 0 407871890 15508242432 7237 33554432000 4194304 4196468 140727569625296 139726547789888 139727086051930 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16959] ppid=16944 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16959/stat : 16959 (java) S 16944 16944 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871890 15508242432 7237 33554432000 4194304 4196468 140727569625296 139726546738144 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16960] ppid=16944 vsize=15144768 memory=139981100340864 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16960/stat : 16960 (java) S 16944 16944 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871891 15508242432 7237 33554432000 4194304 4196468 140727569625296 139726545684912 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30400 KiB
[startup+0.210818 s]*
/proc/loadavg: 7.81 8.34 8.04 7/233 16960
/proc/meminfo: memFree=27267144/32770624 swapFree=66996236/67108860
[pid=16944] ppid=16941 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16944/stat : 16944 (xcsp3-exec) S 16941 16944 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407871884 115843072 363 33554432000 4194304 5098028 140723426695840 140723426693944 139765890392700 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29720576 140723426698106 140723426698349 140723426698349 140723426701258 0
/proc/16944/statm: 28282 363 304 221 0 87 0
[pid=16946] ppid=16944 vsize=15144768 memory=40180 CPUtime=0.34 cores=1,3,5,7
/proc/16946/stat : 16946 (java) S 16944 16944 14062 0 -1 1077944320 9285 0 0 0 31 3 0 0 20 0 15 0 407871885 15508242432 10045 33554432000 4194304 4196468 140727569625296 140727569607840 139727086030583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
/proc/16946/statm: 3786192 10045 3258 1 0 3748377 0
[pid=16946/tid=16947] ppid=16944 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/16946/task/16947/stat : 16947 (java) R 16944 16944 14062 0 -1 4202560 6561 0 0 0 17 3 0 0 20 0 15 0 407871885 15508242432 10045 33554432000 4194304 4196468 140727569625296 139727090267280 139727070111070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16948] ppid=16944 vsize=15144768 memory=2670165 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16948/stat : 16948 (java) S 16944 16944 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871886 15508242432 10045 33554432000 4194304 4196468 140727569625296 139727038651280 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16949] ppid=16944 vsize=15144768 memory=2854497 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16949/stat : 16949 (java) S 16944 16944 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871886 15508242432 10045 33554432000 4194304 4196468 140727569625296 139727037598480 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16950] ppid=16944 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16950/stat : 16950 (java) S 16944 16944 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871886 15508242432 10045 33554432000 4194304 4196468 140727569625296 139727036546192 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16951] ppid=16944 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16951/stat : 16951 (java) S 16944 16944 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407871886 15508242432 10045 33554432000 4194304 4196468 140727569625296 139727035493392 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16952] ppid=16944 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16952/stat : 16952 (java) S 16944 16944 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407871887 15508242432 10045 33554432000 4194304 4196468 140727569625296 139726554105968 139727086041730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16953] ppid=16944 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16953/stat : 16953 (java) S 16944 16944 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407871888 15508242432 10045 33554432000 4194304 4196468 140727569625296 139726553051936 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16954] ppid=16944 vsize=15144768 memory=139981100340864 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16954/stat : 16954 (java) S 16944 16944 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407871888 15508242432 10045 33554432000 4194304 4196468 140727569625296 139726551999600 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16955] ppid=16944 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16955/stat : 16955 (java) S 16944 16944 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871890 15508242432 10045 33554432000 4194304 4196468 140727569625296 139726550947920 139727086049179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16956] ppid=16944 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16946/task/16956/stat : 16956 (java) S 16944 16944 14062 0 -1 1077944384 435 0 0 0 3 0 0 0 20 0 15 0 407871890 15508242432 10045 33554432000 4194304 4196468 140727569625296 139726549895792 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16957] ppid=16944 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16946/task/16957/stat : 16957 (java) S 16944 16944 14062 0 -1 1077944384 189 0 0 0 1 0 0 0 20 0 15 0 407871890 15508242432 10045 33554432000 4194304 4196468 140727569625296 139726548842992 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16958] ppid=16944 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16946/task/16958/stat : 16958 (java) S 16944 16944 14062 0 -1 1077944384 797 0 0 0 8 0 0 0 20 0 15 0 407871890 15508242432 10045 33554432000 4194304 4196468 140727569625296 139726547790704 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16959] ppid=16944 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16959/stat : 16959 (java) S 16944 16944 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871890 15508242432 10045 33554432000 4194304 4196468 140727569625296 139726546738144 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16960] ppid=16944 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16960/stat : 16960 (java) S 16944 16944 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871891 15508242432 10045 33554432000 4194304 4196468 140727569625296 139726545684912 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41632 KiB
[startup+0.316032 s]*
/proc/loadavg: 7.81 8.34 8.04 7/233 16960
/proc/meminfo: memFree=27258632/32770624 swapFree=66996236/67108860
[pid=16944] ppid=16941 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16944/stat : 16944 (xcsp3-exec) S 16941 16944 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407871884 115843072 363 33554432000 4194304 5098028 140723426695840 140723426693944 139765890392700 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29720576 140723426698106 140723426698349 140723426698349 140723426701258 0
/proc/16944/statm: 28282 363 304 221 0 87 0
[pid=16946] ppid=16944 vsize=15149024 memory=50252 CPUtime=0.55 cores=1,3,5,7
/proc/16946/stat : 16946 (java) S 16944 16944 14062 0 -1 1077944320 10881 0 0 0 50 5 0 0 20 0 15 0 407871885 15512600576 12563 33554432000 4194304 4196468 140727569625296 140727569607840 139727086030583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
/proc/16946/statm: 3787256 12563 3342 1 0 3748377 0
[pid=16946/tid=16947] ppid=16944 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/16946/task/16947/stat : 16947 (java) R 16944 16944 14062 0 -1 4202560 7827 0 0 0 27 3 0 0 20 0 15 0 407871885 15512600576 12563 33554432000 4194304 4196468 140727569625296 139727090261696 139727070111070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16948] ppid=16944 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16948/stat : 16948 (java) S 16944 16944 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871886 15512600576 12563 33554432000 4194304 4196468 140727569625296 139727038651280 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16949] ppid=16944 vsize=15149024 memory=2856532 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16949/stat : 16949 (java) S 16944 16944 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871886 15512600576 12563 33554432000 4194304 4196468 140727569625296 139727037598480 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16950] ppid=16944 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16950/stat : 16950 (java) S 16944 16944 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871886 15512600576 12563 33554432000 4194304 4196468 140727569625296 139727036546192 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16951] ppid=16944 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16951/stat : 16951 (java) S 16944 16944 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407871886 15512600576 12563 33554432000 4194304 4196468 140727569625296 139727035493392 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16952] ppid=16944 vsize=15149024 memory=139981100340864 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16952/stat : 16952 (java) S 16944 16944 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407871887 15512600576 12563 33554432000 4194304 4196468 140727569625296 139726554105968 139727086041730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16953] ppid=16944 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16953/stat : 16953 (java) S 16944 16944 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407871888 15512600576 12563 33554432000 4194304 4196468 140727569625296 139726553051936 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16954] ppid=16944 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16954/stat : 16954 (java) S 16944 16944 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407871888 15512600576 12563 33554432000 4194304 4196468 140727569625296 139726551999600 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16955] ppid=16944 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16955/stat : 16955 (java) S 16944 16944 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871890 15512600576 12563 33554432000 4194304 4196468 140727569625296 139726550947920 139727086049179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16956] ppid=16944 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/16946/task/16956/stat : 16956 (java) S 16944 16944 14062 0 -1 1077944384 444 0 0 0 4 0 0 0 20 0 15 0 407871890 15512600576 12563 33554432000 4194304 4196468 140727569625296 139726549895792 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16957] ppid=16944 vsize=15149024 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/16946/task/16957/stat : 16957 (java) S 16944 16944 14062 0 -1 1077944384 356 0 0 0 5 0 0 0 20 0 15 0 407871890 15512600576 12563 33554432000 4194304 4196468 140727569625296 139726548842992 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16958] ppid=16944 vsize=15149024 memory=139981100340864 CPUtime=0.12 cores=1,3,5,7
/proc/16946/task/16958/stat : 16958 (java) R 16944 16944 14062 0 -1 1077944384 953 0 0 0 12 0 0 0 20 0 15 0 407871890 15512600576 12563 33554432000 4194304 4196468 140727569625296 139726547790704 139727086041730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16959] ppid=16944 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16959/stat : 16959 (java) S 16944 16944 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871890 15512600576 12563 33554432000 4194304 4196468 140727569625296 139726546738144 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16960] ppid=16944 vsize=15149024 memory=139981100340864 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16960/stat : 16960 (java) S 16944 16944 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871891 15512600576 12563 33554432000 4194304 4196468 140727569625296 139726545684912 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51704 KiB
[startup+0.706027 s]
/proc/loadavg: 7.81 8.34 8.04 8/233 16960
/proc/meminfo: memFree=27241920/32770624 swapFree=66996236/67108860
[pid=16944] ppid=16941 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16944/stat : 16944 (xcsp3-exec) S 16941 16944 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407871884 115843072 363 33554432000 4194304 5098028 140723426695840 140723426693944 139765890392700 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29720576 140723426698106 140723426698349 140723426698349 140723426701258 0
/proc/16944/statm: 28282 363 304 221 0 87 0
[pid=16946] ppid=16944 vsize=15151148 memory=96660 CPUtime=1.74 cores=1,3,5,7
/proc/16946/stat : 16946 (java) S 16944 16944 14062 0 -1 1077944320 14293 0 0 0 168 6 0 0 20 0 15 0 407871885 15514775552 24165 33554432000 4194304 4196468 140727569625296 140727569607840 139727086030583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
/proc/16946/statm: 3787787 24165 3461 1 0 3748889 0
[pid=16946/tid=16947] ppid=16944 vsize=15151148 memory=11932 CPUtime=0.68 cores=1,3,5,7
/proc/16946/task/16947/stat : 16947 (java) S 16944 16944 14062 0 -1 1077944384 9174 0 0 0 64 4 0 0 20 0 15 0 407871885 15514775552 24165 33554432000 4194304 4196468 140727569625296 139727090268832 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16948] ppid=16944 vsize=15151148 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16948/stat : 16948 (java) S 16944 16944 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871886 15514775552 24165 33554432000 4194304 4196468 140727569625296 139727038651280 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16949] ppid=16944 vsize=15151148 memory=500 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16949/stat : 16949 (java) S 16944 16944 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871886 15514775552 24165 33554432000 4194304 4196468 140727569625296 139727037598480 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16950] ppid=16944 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16950/stat : 16950 (java) S 16944 16944 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871886 15514775552 24165 33554432000 4194304 4196468 140727569625296 139727036546192 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16951] ppid=16944 vsize=15151148 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16951/stat : 16951 (java) S 16944 16944 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407871886 15514775552 24165 33554432000 4194304 4196468 140727569625296 139727035493392 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16952] ppid=16944 vsize=15151148 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16952/stat : 16952 (java) S 16944 16944 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407871887 15514775552 24165 33554432000 4194304 4196468 140727569625296 139726554105968 139727086041730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16953] ppid=16944 vsize=15151148 memory=876 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16953/stat : 16953 (java) S 16944 16944 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407871888 15514775552 24165 33554432000 4194304 4196468 140727569625296 139726553051936 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16954] ppid=16944 vsize=15151148 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16954/stat : 16954 (java) S 16944 16944 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407871888 15514775552 24165 33554432000 4194304 4196468 140727569625296 139726551999600 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16955] ppid=16944 vsize=15151148 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16955/stat : 16955 (java) S 16944 16944 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871890 15514775552 24165 33554432000 4194304 4196468 140727569625296 139726550947920 139727086049179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16956] ppid=16944 vsize=15151148 memory=7302135314614015840 CPUtime=0.31 cores=1,3,5,7
/proc/16946/task/16956/stat : 16956 (java) S 16944 16944 14062 0 -1 1077944384 1186 0 0 0 31 0 0 0 20 0 15 0 407871890 15514775552 24165 33554432000 4194304 4196468 140727569625296 139726549882576 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16957] ppid=16944 vsize=15151148 memory=6152570550421908077 CPUtime=0.29 cores=1,3,5,7
/proc/16946/task/16957/stat : 16957 (java) R 16944 16944 14062 0 -1 4202560 775 0 0 0 29 0 0 0 20 0 15 0 407871890 15514775552 24165 33554432000 4194304 4196468 140727569625296 139726548829560 139726711423097 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16958] ppid=16944 vsize=15151148 memory=7223887401239728208 CPUtime=0.42 cores=1,3,5,7
/proc/16946/task/16958/stat : 16958 (java) S 16944 16944 14062 0 -1 1077944384 1852 0 0 0 42 0 0 0 20 0 15 0 407871890 15514775552 24165 33554432000 4194304 4196468 140727569625296 139726547788496 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16959] ppid=16944 vsize=15151148 memory=7368002589315584080 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16959/stat : 16959 (java) S 16944 16944 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871890 15514775552 24165 33554432000 4194304 4196468 140727569625296 139726546738144 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16960] ppid=16944 vsize=15151148 memory=7379547564840675921 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16960/stat : 16960 (java) S 16944 16944 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871891 15514775552 24165 33554432000 4194304 4196468 140727569625296 139726545684912 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 98112 KiB
[startup+1.50097 s]
/proc/loadavg: 7.81 8.34 8.04 12/237 16964
/proc/meminfo: memFree=27179560/32770624 swapFree=66996236/67108860
[pid=16944] ppid=16941 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16944/stat : 16944 (xcsp3-exec) S 16941 16944 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407871884 115843072 363 33554432000 4194304 5098028 140723426695840 140723426693944 139765890392700 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29720576 140723426698106 140723426698349 140723426698349 140723426701258 0
/proc/16944/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/16946/task/16960/stat : 16960 (java) S 16944 16944 14062 0 -1 1077944384 888 0 0 0 0 2 0 0 20 0 19 0 407871891 15855583232 55344 33554432000 4194304 4196468 140727569625296 139726545684912 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=17012] ppid=16944 vsize=15483968 memory=2024 CPUtime=1.84 cores=1,3,5,7
/proc/16946/task/17012/stat : 17012 (java) R 16944 16944 14062 0 -1 4202560 133 0 0 0 184 0 0 0 20 0 19 0 407876814 15855583232 55344 33554432000 4194304 4196468 140727569625296 139726532500136 139726718781936 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=17013] ppid=16944 vsize=15483968 memory=6791534058613427641 CPUtime=1.87 cores=1,3,5,7
/proc/16946/task/17013/stat : 17013 (java) R 16944 16944 14062 0 -1 4202560 360 0 0 0 187 0 0 0 20 0 19 0 407876814 15855583232 55344 33554432000 4194304 4196468 140727569625296 139726533554200 139726717545854 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=17014] ppid=16944 vsize=15483968 memory=0 CPUtime=1.9 cores=1,3,5,7
/proc/16946/task/17014/stat : 17014 (java) R 16944 16944 14062 0 -1 4202560 35 0 0 0 190 0 0 0 20 0 19 0 407876814 15855583232 55344 33554432000 4194304 4196468 140727569625296 139726536711840 139726717545854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=17015] ppid=16944 vsize=15483968 memory=0 CPUtime=1.89 cores=1,3,5,7
/proc/16946/task/17015/stat : 17015 (java) R 16944 16944 14062 0 -1 4202560 128 0 0 0 189 0 0 0 20 0 19 0 407876814 15855583232 55344 33554432000 4194304 4196468 140727569625296 139726534606856 139726718624683 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
Current children cumulated CPU time: 202.31 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 222828 KiB
[startup+52.001 s]*
/proc/loadavg: 7.90 8.27 8.03 9/237 17015
/proc/meminfo: memFree=27090280/32770624 swapFree=66996236/67108860
[pid=16944] ppid=16941 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16944/stat : 16944 (xcsp3-exec) S 16941 16944 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407871884 115843072 363 33554432000 4194304 5098028 140723426695840 140723426693944 139765890392700 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29720576 140723426698106 140723426698349 140723426698349 140723426701258 0
/proc/16944/statm: 28282 363 304 221 0 87 0
[pid=16946] ppid=16944 vsize=15483968 memory=216764 CPUtime=205.51 cores=1,3,5,7
/proc/16946/stat : 16946 (java) S 16944 16944 14062 0 -1 1077944320 57969 0 0 0 20526 25 0 0 20 0 19 0 407871885 15855583232 54191 33554432000 4194304 4196468 140727569625296 140727569607840 139727086030583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
/proc/16946/statm: 3870992 54191 3531 1 0 3832094 0
[pid=16946/tid=16947] ppid=16944 vsize=15483968 memory=8317482817917895235 CPUtime=0.79 cores=1,3,5,7
/proc/16946/task/16947/stat : 16947 (java) S 16944 16944 14062 0 -1 1077944384 9661 0 0 0 75 4 0 0 20 0 19 0 407871885 15855583232 54191 33554432000 4194304 4196468 140727569625296 139727090271360 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16948] ppid=16944 vsize=15483968 memory=4126316290023845779 CPUtime=0.09 cores=1,3,5,7
/proc/16946/task/16948/stat : 16948 (java) S 16944 16944 14062 0 -1 1077944384 304 0 0 0 7 2 0 0 20 0 19 0 407871886 15855583232 54191 33554432000 4194304 4196468 140727569625296 139727038651280 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16949] ppid=16944 vsize=15483968 memory=14012 CPUtime=0.09 cores=1,3,5,7
/proc/16946/task/16949/stat : 16949 (java) S 16944 16944 14062 0 -1 1077944384 1549 0 0 0 7 2 0 0 20 0 19 0 407871886 15855583232 54191 33554432000 4194304 4196468 140727569625296 139727037598480 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16950] ppid=16944 vsize=15483968 memory=2116 CPUtime=0.09 cores=1,3,5,7
/proc/16946/task/16950/stat : 16950 (java) S 16944 16944 14062 0 -1 1077944384 1433 0 0 0 7 2 0 0 20 0 19 0 407871886 15855583232 54191 33554432000 4194304 4196468 140727569625296 139727036546192 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16951] ppid=16944 vsize=15483968 memory=8836 CPUtime=0.09 cores=1,3,5,7
/proc/16946/task/16951/stat : 16951 (java) S 16944 16944 14062 0 -1 1077944384 1759 0 0 0 7 2 0 0 20 0 19 0 407871886 15855583232 54191 33554432000 4194304 4196468 140727569625296 139727035493392 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16952] ppid=16944 vsize=15483968 memory=11932 CPUtime=0.03 cores=1,3,5,7
/proc/16946/task/16952/stat : 16952 (java) S 16944 16944 14062 0 -1 1077944384 1334 0 0 0 3 0 0 0 20 0 19 0 407871887 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726554105968 139727086041730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16953] ppid=16944 vsize=15483968 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16953/stat : 16953 (java) S 16944 16944 14062 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 407871888 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726553052000 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16954] ppid=16944 vsize=15483968 memory=500 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16954/stat : 16954 (java) S 16944 16944 14062 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 407871888 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726551999616 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16955] ppid=16944 vsize=15483968 memory=928 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16955/stat : 16955 (java) S 16944 16944 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407871890 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726550947920 139727086049179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16956] ppid=16944 vsize=15483968 memory=1528 CPUtime=2.44 cores=1,3,5,7
/proc/16946/task/16956/stat : 16956 (java) S 16944 16944 14062 0 -1 1077944384 12189 0 0 0 242 2 0 0 20 0 19 0 407871890 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726549895792 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16957] ppid=16944 vsize=15483968 memory=1448 CPUtime=2.34 cores=1,3,5,7
/proc/16946/task/16957/stat : 16957 (java) S 16944 16944 14062 0 -1 1077944384 12097 0 0 0 233 1 0 0 20 0 19 0 407871890 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726548842992 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16958] ppid=16944 vsize=15483968 memory=876 CPUtime=0.84 cores=1,3,5,7
/proc/16946/task/16958/stat : 16958 (java) S 16944 16944 14062 0 -1 1077944384 8270 0 0 0 82 2 0 0 20 0 19 0 407871890 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726547790704 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16959] ppid=16944 vsize=15483968 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16959/stat : 16959 (java) S 16944 16944 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407871890 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726546738144 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16960] ppid=16944 vsize=15483968 memory=2552 CPUtime=0.02 cores=1,3,5,7
/proc/16946/task/16960/stat : 16960 (java) S 16944 16944 14062 0 -1 1077944384 888 0 0 0 0 2 0 0 20 0 19 0 407871891 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726545684912 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=17012] ppid=16944 vsize=15483968 memory=57 CPUtime=2.65 cores=1,3,5,7
/proc/16946/task/17012/stat : 17012 (java) R 16944 16944 14062 0 -1 4202560 144 0 0 0 265 0 0 0 20 0 19 0 407876814 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726532500040 139726717545962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=17013] ppid=16944 vsize=15483968 memory=8128038100524242582 CPUtime=2.67 cores=1,3,5,7
/proc/16946/task/17013/stat : 17013 (java) R 16944 16944 14062 0 -1 4202560 371 0 0 0 267 0 0 0 20 0 19 0 407876814 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726533554392 139726717545747 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=17014] ppid=16944 vsize=15483968 memory=-6860437260722525840 CPUtime=2.7 cores=1,3,5,7
/proc/16946/task/17014/stat : 17014 (java) R 16944 16944 14062 0 -1 4202560 42 0 0 0 270 0 0 0 20 0 19 0 407876814 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726536711872 139726717545875 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=17015] ppid=16944 vsize=15483968 memory=6944656592455360569 CPUtime=2.68 cores=1,3,5,7
/proc/16946/task/17015/stat : 17015 (java) R 16944 16944 14062 0 -1 4202560 135 0 0 0 268 0 0 0 20 0 19 0 407876814 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726534609416 139726717545828 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
Current children cumulated CPU time: 205.51 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 218216 KiB
[startup+52.201 s]
/proc/loadavg: 7.90 8.27 8.03 9/237 17015
/proc/meminfo: memFree=27090280/32770624 swapFree=66996236/67108860
[pid=16944] ppid=16941 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16944/stat : 16944 (xcsp3-exec) S 16941 16944 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407871884 115843072 363 33554432000 4194304 5098028 140723426695840 140723426693944 139765890392700 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29720576 140723426698106 140723426698349 140723426698349 140723426701258 0
/proc/16944/statm: 28282 363 304 221 0 87 0
[pid=16946] ppid=16944 vsize=15483968 memory=216764 CPUtime=206.27 cores=1,3,5,7
/proc/16946/stat : 16946 (java) S 16944 16944 14062 0 -1 1077944320 57969 0 0 0 20602 25 0 0 20 0 19 0 407871885 15855583232 54191 33554432000 4194304 4196468 140727569625296 140727569607840 139727086030583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
/proc/16946/statm: 3870992 54191 3531 1 0 3832094 0
[pid=16946/tid=16947] ppid=16944 vsize=15483968 memory=-3123010188551861097 CPUtime=0.79 cores=1,3,5,7
/proc/16946/task/16947/stat : 16947 (java) S 16944 16944 14062 0 -1 1077944384 9661 0 0 0 75 4 0 0 20 0 19 0 407871885 15855583232 54191 33554432000 4194304 4196468 140727569625296 139727090271360 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16948] ppid=16944 vsize=15483968 memory=-3704326594973231466 CPUtime=0.09 cores=1,3,5,7
/proc/16946/task/16948/stat : 16948 (java) S 16944 16944 14062 0 -1 1077944384 304 0 0 0 7 2 0 0 20 0 19 0 407871886 15855583232 54191 33554432000 4194304 4196468 140727569625296 139727038651280 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16949] ppid=16944 vsize=15483968 memory=5792262852892967008 CPUtime=0.09 cores=1,3,5,7
/proc/16946/task/16949/stat : 16949 (java) S 16944 16944 14062 0 -1 1077944384 1549 0 0 0 7 2 0 0 20 0 19 0 407871886 15855583232 54191 33554432000 4194304 4196468 140727569625296 139727037598480 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16950] ppid=16944 vsize=15483968 memory=6007891317189797205 CPUtime=0.09 cores=1,3,5,7
/proc/16946/task/16950/stat : 16950 (java) S 16944 16944 14062 0 -1 1077944384 1433 0 0 0 7 2 0 0 20 0 19 0 407871886 15855583232 54191 33554432000 4194304 4196468 140727569625296 139727036546192 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16951] ppid=16944 vsize=15483968 memory=6075466223495172176 CPUtime=0.09 cores=1,3,5,7
/proc/16946/task/16951/stat : 16951 (java) S 16944 16944 14062 0 -1 1077944384 1759 0 0 0 7 2 0 0 20 0 19 0 407871886 15855583232 54191 33554432000 4194304 4196468 140727569625296 139727035493392 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16952] ppid=16944 vsize=15483968 memory=5787214926858707008 CPUtime=0.03 cores=1,3,5,7
/proc/16946/task/16952/stat : 16952 (java) S 16944 16944 14062 0 -1 1077944384 1334 0 0 0 3 0 0 0 20 0 19 0 407871887 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726554105968 139727086041730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16953] ppid=16944 vsize=15483968 memory=5787213827364970579 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16953/stat : 16953 (java) S 16944 16944 14062 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 407871888 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726553052000 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16954] ppid=16944 vsize=15483968 memory=5787495413844628048 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16954/stat : 16954 (java) S 16944 16944 14062 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 407871888 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726551999616 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16955] ppid=16944 vsize=15483968 memory=5787213827465633875 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16955/stat : 16955 (java) S 16944 16944 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407871890 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726550947920 139727086049179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16956] ppid=16944 vsize=15483968 memory=290763849282617370 CPUtime=2.44 cores=1,3,5,7
/proc/16946/task/16956/stat : 16956 (java) S 16944 16944 14062 0 -1 1077944384 12189 0 0 0 242 2 0 0 20 0 19 0 407871890 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726549895792 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16957] ppid=16944 vsize=15483968 memory=288230617509003574 CPUtime=2.34 cores=1,3,5,7
/proc/16946/task/16957/stat : 16957 (java) S 16944 16944 14062 0 -1 1077944384 12097 0 0 0 233 1 0 0 20 0 19 0 407871890 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726548842992 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16958] ppid=16944 vsize=15483968 memory=15252636593031516 CPUtime=0.84 cores=1,3,5,7
/proc/16946/task/16958/stat : 16958 (java) S 16944 16944 14062 0 -1 1077944384 8270 0 0 0 82 2 0 0 20 0 19 0 407871890 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726547790704 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16959] ppid=16944 vsize=15483968 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16959/stat : 16959 (java) S 16944 16944 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407871890 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726546738144 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16960] ppid=16944 vsize=15483968 memory=1412 CPUtime=0.02 cores=1,3,5,7
/proc/16946/task/16960/stat : 16960 (java) S 16944 16944 14062 0 -1 1077944384 888 0 0 0 0 2 0 0 20 0 19 0 407871891 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726545684912 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=17012] ppid=16944 vsize=15483968 memory=3436 CPUtime=2.84 cores=1,3,5,7
/proc/16946/task/17012/stat : 17012 (java) R 16944 16944 14062 0 -1 4202560 144 0 0 0 284 0 0 0 20 0 19 0 407876814 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726532500040 139726718781950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=17013] ppid=16944 vsize=15483968 memory=1448 CPUtime=2.86 cores=1,3,5,7
/proc/16946/task/17013/stat : 17013 (java) R 16944 16944 14062 0 -1 4202560 371 0 0 0 286 0 0 0 20 0 19 0 407876814 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726533554392 139726717545921 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=17014] ppid=16944 vsize=15483968 memory=3573404 CPUtime=2.89 cores=1,3,5,7
/proc/16946/task/17014/stat : 17014 (java) R 16944 16944 14062 0 -1 4202560 42 0 0 0 289 0 0 0 20 0 19 0 407876814 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726536711872 139726717546186 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=17015] ppid=16944 vsize=15483968 memory=1408 CPUtime=2.86 cores=1,3,5,7
/proc/16946/task/17015/stat : 17015 (java) R 16944 16944 14062 0 -1 4202560 135 0 0 0 286 0 0 0 20 0 19 0 407876814 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726534609416 139726718781930 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
Current children cumulated CPU time: 206.27 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 218216 KiB
[startup+52.301 s]
/proc/loadavg: 7.90 8.27 8.03 9/237 17015
/proc/meminfo: memFree=27090280/32770624 swapFree=66996236/67108860
[pid=16944] ppid=16941 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16944/stat : 16944 (xcsp3-exec) S 16941 16944 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407871884 115843072 363 33554432000 4194304 5098028 140723426695840 140723426693944 139765890392700 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29720576 140723426698106 140723426698349 140723426698349 140723426701258 0
/proc/16944/statm: 28282 363 304 221 0 87 0
[pid=16946] ppid=16944 vsize=15483968 memory=216764 CPUtime=206.67 cores=1,3,5,7
/proc/16946/stat : 16946 (java) S 16944 16944 14062 0 -1 1077944320 57970 0 0 0 20642 25 0 0 20 0 19 0 407871885 15855583232 54191 33554432000 4194304 4196468 140727569625296 140727569607840 139727086030583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
/proc/16946/statm: 3870992 54191 3531 1 0 3832094 0
[pid=16946/tid=16947] ppid=16944 vsize=15483968 memory=221376 CPUtime=0.79 cores=1,3,5,7
/proc/16946/task/16947/stat : 16947 (java) S 16944 16944 14062 0 -1 1077944384 9661 0 0 0 75 4 0 0 20 0 19 0 407871885 15855583232 54191 33554432000 4194304 4196468 140727569625296 139727090271360 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16948] ppid=16944 vsize=15483968 memory=216764 CPUtime=0.09 cores=1,3,5,7
/proc/16946/task/16948/stat : 16948 (java) S 16944 16944 14062 0 -1 1077944384 304 0 0 0 7 2 0 0 20 0 19 0 407871886 15855583232 54191 33554432000 4194304 4196468 140727569625296 139727038651280 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16949] ppid=16944 vsize=15483968 memory=1452 CPUtime=0.09 cores=1,3,5,7
/proc/16946/task/16949/stat : 16949 (java) S 16944 16944 14062 0 -1 1077944384 1549 0 0 0 7 2 0 0 20 0 19 0 407871886 15855583232 54191 33554432000 4194304 4196468 140727569625296 139727037598480 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16950] ppid=16944 vsize=15483968 memory=216764 CPUtime=0.09 cores=1,3,5,7
/proc/16946/task/16950/stat : 16950 (java) S 16944 16944 14062 0 -1 1077944384 1433 0 0 0 7 2 0 0 20 0 19 0 407871886 15855583232 54191 33554432000 4194304 4196468 140727569625296 139727036546192 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16951] ppid=16944 vsize=15483968 memory=1452 CPUtime=0.09 cores=1,3,5,7
/proc/16946/task/16951/stat : 16951 (java) S 16944 16944 14062 0 -1 1077944384 1759 0 0 0 7 2 0 0 20 0 19 0 407871886 15855583232 54191 33554432000 4194304 4196468 140727569625296 139727035493392 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16952] ppid=16944 vsize=15483968 memory=216764 CPUtime=0.03 cores=1,3,5,7
/proc/16946/task/16952/stat : 16952 (java) S 16944 16944 14062 0 -1 1077944384 1334 0 0 0 3 0 0 0 20 0 19 0 407871887 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726554105968 139727086041730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16953] ppid=16944 vsize=15483968 memory=220768 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16953/stat : 16953 (java) S 16944 16944 14062 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 407871888 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726553052000 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16954] ppid=16944 vsize=15483968 memory=164 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16954/stat : 16954 (java) S 16944 16944 14062 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 407871888 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726551999616 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16955] ppid=16944 vsize=15483968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16955/stat : 16955 (java) S 16944 16944 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407871890 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726550947920 139727086049179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16956] ppid=16944 vsize=15483968 memory=2832 CPUtime=2.44 cores=1,3,5,7
/proc/16946/task/16956/stat : 16956 (java) S 16944 16944 14062 0 -1 1077944384 12189 0 0 0 242 2 0 0 20 0 19 0 407871890 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726549895792 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16957] ppid=16944 vsize=15483968 memory=221116 CPUtime=2.34 cores=1,3,5,7
/proc/16946/task/16957/stat : 16957 (java) S 16944 16944 14062 0 -1 1077944384 12097 0 0 0 233 1 0 0 20 0 19 0 407871890 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726548842992 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16958] ppid=16944 vsize=15483968 memory=4137282578176515228 CPUtime=0.84 cores=1,3,5,7
/proc/16946/task/16958/stat : 16958 (java) S 16944 16944 14062 0 -1 1077944384 8270 0 0 0 82 2 0 0 20 0 19 0 407871890 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726547790704 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16959] ppid=16944 vsize=15483968 memory=6944656592455359545 CPUtime=0 cores=1,3,5,7
/proc/16946/task/16959/stat : 16959 (java) S 16944 16944 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407871890 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726546738144 139727086040789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=16960] ppid=16944 vsize=15483968 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/16946/task/16960/stat : 16960 (java) S 16944 16944 14062 0 -1 1077944384 888 0 0 0 0 2 0 0 20 0 19 0 407871891 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726545684912 139727086041730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=17012] ppid=16944 vsize=15483968 memory=1452 CPUtime=2.94 cores=1,3,5,7
/proc/16946/task/17012/stat : 17012 (java) R 16944 16944 14062 0 -1 4202560 144 0 0 0 294 0 0 0 20 0 19 0 407876814 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726532500040 139726718401116 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=17013] ppid=16944 vsize=15483968 memory=216764 CPUtime=2.96 cores=1,3,5,7
/proc/16946/task/17013/stat : 17013 (java) R 16944 16944 14062 0 -1 4202560 372 0 0 0 296 0 0 0 20 0 19 0 407876814 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726533554392 139726718781950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=17014] ppid=16944 vsize=15483968 memory=1452 CPUtime=2.99 cores=1,3,5,7
/proc/16946/task/17014/stat : 17014 (java) R 16944 16944 14062 0 -1 4202560 42 0 0 0 299 0 0 0 20 0 19 0 407876814 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726536711872 139726719926896 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
[pid=16946/tid=17015] ppid=16944 vsize=15483968 memory=220928 CPUtime=2.96 cores=1,3,5,7
/proc/16946/task/17015/stat : 17015 (java) R 16944 16944 14062 0 -1 4202560 135 0 0 0 296 0 0 0 20 0 19 0 407876814 15855583232 54191 33554432000 4194304 4196468 140727569625296 139726534609416 139726717797648 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140727569630191 140727569630362 140727569630362 140727569633231 0
Current children cumulated CPU time: 206.67 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 218216 KiB
Child status: 0
Real time (s): 52.3698
CPU time (s): 206.935
CPU user time (s): 206.666
CPU system time (s): 0.268667
CPU usage (%): 395.142
Max. virtual memory (cumulated for all children) (KiB): 15597096
Max. memory (cumulated for all children) (KiB): 253796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 206.666
system time used= 0.268667
maximum resident set size= 252344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59496
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5078
involuntary context switches= 4815
# summary of solver processes directly reported to runsolver:
# pid: 16944
# total CPU time (s): 206.935
# total CPU user time (s): 206.666
# total CPU system time (s): 0.268667
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.382782 second user time and 0.652582 second system time
The end
Begin job on node106 at 2019-09-12 20:21:35 IDJOB=4393303 IDBENCH=124135 IDSOLVER=2840 FILE ID=node106/4393303-1568316172 RUNJOBID= node106-1568309633-14094 PBS_JOBID= 21701134 Free space on /tmp= 56708 MiB SOLVER NAME= choco-solver 2019-06-14 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393303-1568316172/watcher-4393303-1568316172 -o /tmp/evaluation-result-4393303-1568316172/solver-4393303-1568316172 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2073124081 HOME/instance-4393303-1568316172.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b82332625d17a81d2c62c757de216262 RANDOM SEED=2073124081 node106.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: 27295624 kB MemAvailable: 28354988 kB Buffers: 124500 kB Cached: 1230880 kB SwapCached: 10256 kB Active: 3950728 kB Inactive: 980984 kB Active(anon): 3575216 kB Inactive(anon): 33332 kB Active(file): 375512 kB Inactive(file): 947652 kB Unevictable: 107784 kB Mlocked: 107784 kB SwapTotal: 67108860 kB SwapFree: 66996236 kB Dirty: 26016 kB Writeback: 0 kB AnonPages: 3673984 kB Mapped: 48552 kB Shmem: 23864 kB Slab: 132276 kB SReclaimable: 104072 kB SUnreclaim: 28204 kB KernelStack: 3856 kB PageTables: 12616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 5436688 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3565568 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 56684 MiB End job on node106 at 2019-09-12 20:22:28