Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 seq (2017-08-09) | SAT (TO) | 142 | 2520.04 | 2513.3101 |
| 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 | 7.4963198 |
| 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.12 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269043-1502747357.xml" -tl '2520s' -p 1 -x 0 0.14/0.35 c [HOME/instance-4269043-1502747357.xml, -tl, 2520s, -p, 1, -x, 0] 0.14/0.41 c simple solver 0.33/0.47 c parse instance... 1.00/0.77 c solve instance... 14.66/10.50 o 167 14.77/10.52 o 166 15.15/10.80 o 165 15.15/10.88 o 164 19.15/14.61 o 154 31.05/26.10 o 153 44.01/39.00 o 151 44.22/39.14 o 150 44.22/39.17 o 149 44.92/39.83 o 148 601.36/595.46 o 147 692.49/686.57 o 146 761.40/755.45 o 143 786.72/780.72 o 142 2520.02/2513.30 s SATISFIABLE 2520.02/2513.30 v <instantiation> 2520.02/2513.30 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> 2520.02/2513.30 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 0 1 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 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 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 2520.02/2513.30 v </instantiation> 2520.02/2513.30 c Unexpected resolution interruption!
OK 142
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 (15421 MiB free)
memory of node 1: 16384 MiB (14640 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269043-1502747357/watcher-4269043-1502747357 -o /tmp/evaluation-result-4269043-1502747357/solver-4269043-1502747357 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24470 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 104560699 HOME/instance-4269043-1502747357.xml
running on 4 cores: 0,2,4,6
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=9927, runsolver pid=9924
[startup+0.100148 s]*
/proc/loadavg: 2.08 2.06 2.00 2/200 9928
/proc/meminfo: memFree=30783816/32770624 swapFree=67108764/67108860
[pid=9927] ppid=9924 vsize=33976 memory=460 CPUtime=0 cores=0,2,4,6
/proc/9927/stat : 9927 (runsolver) D 9924 9927 4674 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 1 0 122242226 34791424 115 18446744073709551615 4194304 4346622 140729970282672 140729970279304 140080226726615 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6446216 6449568 20672512 140729970286647 140729970287140 140729970287140 140729970290634 0
/proc/9927/statm: 8494 115 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 460 KiB
[startup+0.209376 s]*
/proc/loadavg: 2.08 2.06 2.00 2/214 9942
/proc/meminfo: memFree=30774872/32770624 swapFree=67108764/67108860
[pid=9927] ppid=9924 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9927/stat : 9927 (xcsp3-exec) S 9924 9927 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122242226 9740288 345 18446744073709551615 4194304 5098028 140728707158912 140728707157016 139936051323516 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 39002112 140728707162489 140728707162693 140728707162693 140728707166187 0
/proc/9927/statm: 2378 345 289 221 0 87 0
[pid=9929] ppid=9927 vsize=13907304 memory=20796 CPUtime=0.05 cores=0,2,4,6
/proc/9929/stat : 9929 (java) S 9927 9927 4674 0 -1 1077944320 4580 0 0 0 4 1 0 0 20 0 14 0 122242239 14241079296 5199 18446744073709551615 4194304 4196468 140723279586288 140723279568832 140395798052599 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
/proc/9929/statm: 3476826 5199 2579 1 0 3466323 0
[pid=9929/tid=9930] ppid=9927 vsize=13907304 memory=8508281356422187169 CPUtime=0.04 cores=0,2,4,6
/proc/9929/task/9930/stat : 9930 (java) D 9927 9927 4674 0 -1 4202560 2762 0 0 0 4 0 0 0 20 0 14 0 122242239 14241079296 5199 18446744073709551615 4194304 4196468 140723279586288 140395802290080 140395798074621 0 4 1 16800974 18446744071580418449 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9931] ppid=9927 vsize=13907304 memory=4122819170707441977 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9931/stat : 9931 (java) S 9927 9927 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 122242240 14241079296 5199 18446744073709551615 4194304 4196468 140723279586288 140395717467152 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9932] ppid=9927 vsize=13907304 memory=140080229676672 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9932/stat : 9932 (java) S 9927 9927 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 122242240 14241079296 5199 18446744073709551615 4194304 4196468 140723279586288 140395716414608 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9933] ppid=9927 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9933/stat : 9933 (java) S 9927 9927 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 122242240 14241079296 5199 18446744073709551615 4194304 4196468 140723279586288 140395715361552 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9934] ppid=9927 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9934/stat : 9934 (java) S 9927 9927 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 122242240 14241079296 5199 18446744073709551615 4194304 4196468 140723279586288 140395714309008 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9935] ppid=9927 vsize=13907304 memory=140080229676672 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9935/stat : 9935 (java) S 9927 9927 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 122242241 14241079296 5199 18446744073709551615 4194304 4196468 140723279586288 140395275618544 140395798063746 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9936] ppid=9927 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9936/stat : 9936 (java) S 9927 9927 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 122242241 14241079296 5199 18446744073709551615 4194304 4196468 140723279586288 140395274564768 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9937] ppid=9927 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9937/stat : 9937 (java) S 9927 9927 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 122242242 14241079296 5199 18446744073709551615 4194304 4196468 140723279586288 140395273511664 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9938] ppid=9927 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9938/stat : 9938 (java) S 9927 9927 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 122242244 14241079296 5199 18446744073709551615 4194304 4196468 140723279586288 140395272460240 140395798071195 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9939] ppid=9927 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9939/stat : 9939 (java) S 9927 9927 4674 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 14 0 122242244 14241079296 5199 18446744073709551615 4194304 4196468 140723279586288 140395271408368 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9940] ppid=9927 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9940/stat : 9940 (java) S 9927 9927 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 122242244 14241079296 5199 18446744073709551615 4194304 4196468 140723279586288 140395270355824 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9941] ppid=9927 vsize=13907304 memory=140080229676672 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9941/stat : 9941 (java) S 9927 9927 4674 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 14 0 122242244 14241079296 5199 18446744073709551615 4194304 4196468 140723279586288 140395269302768 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9942] ppid=9927 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9942/stat : 9942 (java) S 9927 9927 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 122242244 14241079296 5199 18446744073709551615 4194304 4196468 140723279586288 140395268250464 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22176 KiB
[startup+0.315611 s]*
/proc/loadavg: 2.08 2.06 2.00 3/215 9943
/proc/meminfo: memFree=30768184/32770624 swapFree=67108764/67108860
[pid=9927] ppid=9924 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9927/stat : 9927 (xcsp3-exec) S 9924 9927 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122242226 9740288 345 18446744073709551615 4194304 5098028 140728707158912 140728707157016 139936051323516 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 39002112 140728707162489 140728707162693 140728707162693 140728707166187 0
/proc/9927/statm: 2378 345 289 221 0 87 0
[pid=9929] ppid=9927 vsize=13974352 memory=28516 CPUtime=0.14 cores=0,2,4,6
/proc/9929/stat : 9929 (java) S 9927 9927 4674 0 -1 1077944320 5536 0 0 0 13 1 0 0 20 0 15 0 122242239 14309736448 7129 18446744073709551615 4194304 4196468 140723279586288 140723279568832 140395798052599 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
/proc/9929/statm: 3493588 7129 2878 1 0 3482964 0
[pid=9929/tid=9930] ppid=9927 vsize=13974352 memory=4278483708103473607 CPUtime=0.1 cores=0,2,4,6
/proc/9929/task/9930/stat : 9930 (java) R 9927 9927 4674 0 -1 4202560 3408 0 0 0 10 0 0 0 20 0 15 0 122242239 14309736448 7261 18446744073709551615 4194304 4196468 140723279586288 140395802280712 140395798064534 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9931] ppid=9927 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9931/stat : 9931 (java) S 9927 9927 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122242240 14309736448 7261 18446744073709551615 4194304 4196468 140723279586288 140395717467152 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9932] ppid=9927 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9932/stat : 9932 (java) S 9927 9927 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122242240 14309736448 7261 18446744073709551615 4194304 4196468 140723279586288 140395716414608 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9933] ppid=9927 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9933/stat : 9933 (java) S 9927 9927 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122242240 14309736448 7261 18446744073709551615 4194304 4196468 140723279586288 140395715361552 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9934] ppid=9927 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9934/stat : 9934 (java) S 9927 9927 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122242240 14309736448 7261 18446744073709551615 4194304 4196468 140723279586288 140395714309008 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9935] ppid=9927 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9935/stat : 9935 (java) S 9927 9927 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122242241 14309736448 7261 18446744073709551615 4194304 4196468 140723279586288 140395275618544 140395798063746 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9936] ppid=9927 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9936/stat : 9936 (java) S 9927 9927 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122242241 14309736448 7261 18446744073709551615 4194304 4196468 140723279586288 140395274564768 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9937] ppid=9927 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9937/stat : 9937 (java) S 9927 9927 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122242242 14309736448 7261 18446744073709551615 4194304 4196468 140723279586288 140395273511664 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9938] ppid=9927 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9938/stat : 9938 (java) S 9927 9927 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122242244 14309736448 7261 18446744073709551615 4194304 4196468 140723279586288 140395272460240 140395798071195 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9939] ppid=9927 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9939/stat : 9939 (java) R 9927 9927 4674 0 -1 4202560 494 0 0 0 0 0 0 0 20 0 15 0 122242244 14309736448 7261 18446744073709551615 4194304 4196468 140723279586288 140395271393032 140395790341981 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9940] ppid=9927 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9940/stat : 9940 (java) S 9927 9927 4674 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 122242244 14309736448 7261 18446744073709551615 4194304 4196468 140723279586288 140395270355824 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9941] ppid=9927 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9929/task/9941/stat : 9941 (java) R 9927 9927 4674 0 -1 4202560 413 0 0 0 2 0 0 0 20 0 15 0 122242244 14309736448 7261 18446744073709551615 4194304 4196468 140723279586288 140395269298976 140395790289726 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9942] ppid=9927 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9942/stat : 9942 (java) S 9927 9927 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122242244 14309736448 7261 18446744073709551615 4194304 4196468 140723279586288 140395268250464 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9943] ppid=9927 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9943/stat : 9943 (java) S 9927 9927 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122242253 14309736448 7261 18446744073709551615 4194304 4196468 140723279586288 140395267197488 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29896 KiB
[startup+0.701532 s]
/proc/loadavg: 2.08 2.06 2.00 4/215 9943
/proc/meminfo: memFree=30749996/32770624 swapFree=67108764/67108860
[pid=9927] ppid=9924 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9927/stat : 9927 (xcsp3-exec) S 9924 9927 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122242226 9740288 345 18446744073709551615 4194304 5098028 140728707158912 140728707157016 139936051323516 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 39002112 140728707162489 140728707162693 140728707162693 140728707166187 0
/proc/9927/statm: 2378 345 289 221 0 87 0
[pid=9929] ppid=9927 vsize=13980732 memory=62020 CPUtime=1 cores=0,2,4,6
/proc/9929/stat : 9929 (java) S 9927 9927 4674 0 -1 1077944320 11711 0 0 0 96 4 0 0 20 0 15 0 122242239 14316269568 15505 18446744073709551615 4194304 4196468 140723279586288 140723279568832 140395798052599 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
/proc/9929/statm: 3495183 15505 3160 1 0 3483476 0
[pid=9929/tid=9930] ppid=9927 vsize=13980732 memory=1906697045249 CPUtime=0.48 cores=0,2,4,6
/proc/9929/task/9930/stat : 9930 (java) R 9927 9927 4674 0 -1 4202560 7987 0 0 0 45 3 0 0 20 0 15 0 122242239 14316269568 15505 18446744073709551615 4194304 4196468 140723279586288 140395802289648 140395779903658 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9931] ppid=9927 vsize=13980732 memory=11044 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9931/stat : 9931 (java) S 9927 9927 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122242240 14316269568 15505 18446744073709551615 4194304 4196468 140723279586288 140395717467152 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9932] ppid=9927 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9932/stat : 9932 (java) S 9927 9927 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122242240 14316269568 15505 18446744073709551615 4194304 4196468 140723279586288 140395716414608 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9933] ppid=9927 vsize=13980732 memory=5712 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9933/stat : 9933 (java) S 9927 9927 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122242240 14316269568 15505 18446744073709551615 4194304 4196468 140723279586288 140395715361552 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9934] ppid=9927 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9934/stat : 9934 (java) S 9927 9927 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122242240 14316269568 15505 18446744073709551615 4194304 4196468 140723279586288 140395714309008 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9935] ppid=9927 vsize=13980732 memory=984 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9935/stat : 9935 (java) S 9927 9927 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122242241 14316269568 15505 18446744073709551615 4194304 4196468 140723279586288 140395275618544 140395798063746 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9936] ppid=9927 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9936/stat : 9936 (java) S 9927 9927 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122242241 14316269568 15505 18446744073709551615 4194304 4196468 140723279586288 140395274564768 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9937] ppid=9927 vsize=13980732 memory=4572 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9937/stat : 9937 (java) S 9927 9927 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122242242 14316269568 15505 18446744073709551615 4194304 4196468 140723279586288 140395273511664 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9938] ppid=9927 vsize=13980732 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9938/stat : 9938 (java) S 9927 9927 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122242244 14316269568 15505 18446744073709551615 4194304 4196468 140723279586288 140395272460240 140395798071195 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9939] ppid=9927 vsize=13980732 memory=12304 CPUtime=0.13 cores=0,2,4,6
/proc/9929/task/9939/stat : 9939 (java) S 9927 9927 4674 0 -1 1077944384 845 0 0 0 13 0 0 0 20 0 15 0 122242244 14316269568 15505 18446744073709551615 4194304 4196468 140723279586288 140395271408368 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9940] ppid=9927 vsize=13980732 memory=1204 CPUtime=0.13 cores=0,2,4,6
/proc/9929/task/9940/stat : 9940 (java) R 9927 9927 4674 0 -1 1077944384 409 0 0 0 13 0 0 0 20 0 15 0 122242244 14316269568 15505 18446744073709551615 4194304 4196468 140723279586288 140395270355824 140395798063746 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9941] ppid=9927 vsize=13980732 memory=15880 CPUtime=0.24 cores=0,2,4,6
/proc/9929/task/9941/stat : 9941 (java) R 9927 9927 4674 0 -1 4202560 1165 0 0 0 24 0 0 0 20 0 15 0 122242244 14316269568 15505 18446744073709551615 4194304 4196468 140723279586288 140395269300560 140395776217230 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9942] ppid=9927 vsize=13980732 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9942/stat : 9942 (java) S 9927 9927 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122242244 14316269568 15505 18446744073709551615 4194304 4196468 140723279586288 140395268250464 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9943] ppid=9927 vsize=13980732 memory=35448 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9943/stat : 9943 (java) S 9927 9927 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122242253 14316269568 15505 18446744073709551615 4194304 4196468 140723279586288 140395267197488 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 63400 KiB
[startup+1.50147 s]
/proc/loadavg: 2.08 2.06 2.00 5/215 9943
/proc/meminfo: memFree=30720964/32770624 swapFree=67108764/67108860
[pid=9927] ppid=9924 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9927/stat : 9927 (xcsp3-exec) S 9924 9927 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122242226 9740288 345 18446744073709551615 4194304 5098028 140728707158912 140728707157016 139936051323516 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 39002112 140728707162489 140728707162693 140728707162693 140728707166187 0
/proc/9927/statm: 2378 345 289 221 0 87 0
[pid=9929] ppid=9927 vsize=13980732 memory=78796 CPUtime=2.91 cores=0,2,4,6
/proc/9929/stat : 9929 (java) S 9927 9927 4674 0 -1 1077944320 17874 0 0 0 285 6 0 0 20 0 15 0 122242239 14316269568 19699 18446744073709551615 4194304 4196468 140723279586288 140723279568832 140395798052599 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
/proc/9929/statm: 3495183 19699 3189 1 0 3483476 0
[pid=9929/tid=9930] ppid=9927 vsize=13980732 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/9929/task/9930/stat : 9930 (java) R 9927 9927 4674 0 -1 4202560 8942 0 0 0 124 3 0 0 20 0 15 0 122242239 14316269568 19699 18446744073709551615 4194304 4196468 140723279586288 140395802292040 140395384279040 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9931] ppid=9927 vsize=13980732 memory=7800344859672537426 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9931/stat : 9931 (java) S 9927 9927 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122242240 14316269568 19699 18446744073709551615 4194304 4196468 140723279586288 140395717467152 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9932] ppid=9927 vsize=13980732 memory=7597685161331349871 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9932/stat : 9932 (java) S 9927 9927 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122242240 14316269568 19699 18446744073709551615 4194304 4196468 140723279586288 140395716414608 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9933] ppid=9927 vsize=13980732 memory=7236547281622689387 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9933/stat : 9933 (java) S 9927 9927 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122242240 14316269568 19699 18446744073709551615 4194304 4196468 140723279586288 140395715361552 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9934] ppid=9927 vsize=13980732 memory=5789487625950810192 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9934/stat : 9934 (java) S 9927 9927 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122242240 14316269568 19699 18446744073709551615 4194304 4196468 140723279586288 140395714309008 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9935] ppid=9927 vsize=13980732 memory=280160180173408 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9935/stat : 9935 (java) S 9927 9927 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122242241 14316269568 19699 18446744073709551615 4194304 4196468 140723279586288 140395275618544 140395798063746 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9936] ppid=9927 vsize=13980732 memory=2867664706941496 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9936/stat : 9936 (java) S 9927 9927 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122242241 14316269568 19699 18446744073709551615 4194304 4196468 140723279586288 140395274564768 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9937] ppid=9927 vsize=13980732 memory=7589240929193321835 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9937/stat : 9937 (java) S 9927 9927 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122242242 14316269568 19699 18446744073709551615 4194304 4196468 140723279586288 140395273511664 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9938] ppid=9927 vsize=13980732 memory=7883944108235712103 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9938/stat : 9938 (java) S 9927 9927 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122242244 14316269568 19699 18446744073709551615 4194304 4196468 140723279586288 140395272460240 140395798071195 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9939] ppid=9927 vsize=13980732 memory=6935649255861805888 CPUtime=0.64 cores=0,2,4,6
/proc/9929/task/9939/stat : 9939 (java) R 9927 9927 4674 0 -1 4202560 3404 0 0 0 64 0 0 0 20 0 15 0 122242244 14316269568 19699 18446744073709551615 4194304 4196468 140723279586288 140395271408368 140395782950399 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9940] ppid=9927 vsize=13980732 memory=232539314 CPUtime=0.56 cores=0,2,4,6
/proc/9929/task/9940/stat : 9940 (java) S 9927 9927 4674 0 -1 1077944384 2105 0 0 0 56 0 0 0 20 0 15 0 122242244 14316269568 19699 18446744073709551615 4194304 4196468 140723279586288 140395270355824 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9941] ppid=9927 vsize=13980732 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/9929/task/9941/stat : 9941 (java) S 9927 9927 4674 0 -1 1077944384 2100 0 0 0 40 1 0 0 20 0 15 0 122242244 14316269568 19699 18446744073709551615 4194304 4196468 140723279586288 140395269302768 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9942] ppid=9927 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9942/stat : 9942 (java) S 9927 9927 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122242244 14316269568 19699 18446744073709551615 4194304 4196468 140723279586288 140395268250464 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9943] ppid=9927 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9943/stat : 9943 (java) S 9927 9927 4674 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 122242253 14316269568 19699 18446744073709551615 4194304 4196468 140723279586288 140395267197488 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 13990244 KiB
################
# More data... #
################
/proc/9929/task/9937/stat : 9937 (java) S 9927 9927 4674 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 122242242 14316269568 47610 18446744073709551615 4194304 4196468 140723279586288 140395273511664 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9938] ppid=9927 vsize=13980732 memory=190440 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9938/stat : 9938 (java) S 9927 9927 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122242244 14316269568 47610 18446744073709551615 4194304 4196468 140723279586288 140395272460240 140395798071195 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9939] ppid=9927 vsize=13980732 memory=190440 CPUtime=2.64 cores=0,2,4,6
/proc/9929/task/9939/stat : 9939 (java) S 9927 9927 4674 0 -1 1077944384 24056 0 0 0 261 3 0 0 20 0 15 0 122242244 14316269568 47610 18446744073709551615 4194304 4196468 140723279586288 140395271408368 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9940] ppid=9927 vsize=13980732 memory=1380 CPUtime=2.82 cores=0,2,4,6
/proc/9929/task/9940/stat : 9940 (java) S 9927 9927 4674 0 -1 1077944384 23780 0 0 0 280 2 0 0 20 0 15 0 122242244 14316269568 47610 18446744073709551615 4194304 4196468 140723279586288 140395270355824 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9941] ppid=9927 vsize=13980732 memory=1380 CPUtime=0.55 cores=0,2,4,6
/proc/9929/task/9941/stat : 9941 (java) S 9927 9927 4674 0 -1 1077944384 7311 0 0 0 53 2 0 0 20 0 15 0 122242244 14316269568 47610 18446744073709551615 4194304 4196468 140723279586288 140395269302768 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9942] ppid=9927 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9942/stat : 9942 (java) S 9927 9927 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122242244 14316269568 47610 18446744073709551615 4194304 4196468 140723279586288 140395268250464 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9943] ppid=9927 vsize=13980732 memory=190440 CPUtime=0.72 cores=0,2,4,6
/proc/9929/task/9943/stat : 9943 (java) S 9927 9927 4674 0 -1 1077944384 1658 0 0 0 30 42 0 0 20 0 15 0 122242253 14316269568 47610 18446744073709551615 4194304 4196468 140723279586288 140395267197488 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
Current children cumulated CPU time: 2448.98 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 191820 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/214 10289
/proc/meminfo: memFree=31293084/32770624 swapFree=67108764/67108860
[pid=9927] ppid=9924 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9927/stat : 9927 (xcsp3-exec) S 9924 9927 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122242226 9740288 345 18446744073709551615 4194304 5098028 140728707158912 140728707157016 139936051323516 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 39002112 140728707162489 140728707162693 140728707162693 140728707166187 0
/proc/9927/statm: 2378 345 289 221 0 87 0
[pid=9929] ppid=9927 vsize=13980732 memory=186336 CPUtime=2509.01 cores=0,2,4,6
/proc/9929/stat : 9929 (java) S 9927 9927 4674 0 -1 1077944320 92321 0 0 0 250856 45 0 0 20 0 15 0 122242239 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140723279568832 140395798052599 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
/proc/9929/statm: 3495183 46584 3236 1 0 3483476 0
[pid=9929/tid=9930] ppid=9927 vsize=13980732 memory=186336 CPUtime=2501.95 cores=0,2,4,6
/proc/9929/task/9930/stat : 9930 (java) R 9927 9927 4674 0 -1 4202560 21760 0 0 0 250188 7 0 0 20 0 15 0 122242239 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395802292016 140395388069855 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9931] ppid=9927 vsize=13980732 memory=186336 CPUtime=0.04 cores=0,2,4,6
/proc/9929/task/9931/stat : 9931 (java) S 9927 9927 4674 0 -1 1077944384 760 0 0 0 3 1 0 0 20 0 15 0 122242240 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395717467152 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9932] ppid=9927 vsize=13980732 memory=1380 CPUtime=0.04 cores=0,2,4,6
/proc/9929/task/9932/stat : 9932 (java) S 9927 9927 4674 0 -1 1077944384 2890 0 0 0 3 1 0 0 20 0 15 0 122242240 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395716414608 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9933] ppid=9927 vsize=13980732 memory=186336 CPUtime=0.04 cores=0,2,4,6
/proc/9929/task/9933/stat : 9933 (java) S 9927 9927 4674 0 -1 1077944384 2907 0 0 0 4 0 0 0 20 0 15 0 122242240 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395715361552 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9934] ppid=9927 vsize=13980732 memory=186336 CPUtime=0.04 cores=0,2,4,6
/proc/9929/task/9934/stat : 9934 (java) S 9927 9927 4674 0 -1 1077944384 2512 0 0 0 3 1 0 0 20 0 15 0 122242240 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395714309008 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9935] ppid=9927 vsize=13980732 memory=1380 CPUtime=0.06 cores=0,2,4,6
/proc/9929/task/9935/stat : 9935 (java) S 9927 9927 4674 0 -1 1077944384 3310 0 0 0 4 2 0 0 20 0 15 0 122242241 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395275618544 140395798063746 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9936] ppid=9927 vsize=13980732 memory=186336 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9936/stat : 9936 (java) S 9927 9927 4674 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 122242241 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395274564768 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9937] ppid=9927 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9937/stat : 9937 (java) S 9927 9927 4674 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 122242242 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395273511664 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9938] ppid=9927 vsize=13980732 memory=186336 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9938/stat : 9938 (java) S 9927 9927 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122242244 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395272460240 140395798071195 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9939] ppid=9927 vsize=13980732 memory=4148 CPUtime=2.64 cores=0,2,4,6
/proc/9929/task/9939/stat : 9939 (java) S 9927 9927 4674 0 -1 1077944384 24058 0 0 0 261 3 0 0 20 0 15 0 122242244 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395271408368 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9940] ppid=9927 vsize=13980732 memory=59500 CPUtime=2.82 cores=0,2,4,6
/proc/9929/task/9940/stat : 9940 (java) S 9927 9927 4674 0 -1 1077944384 23782 0 0 0 280 2 0 0 20 0 15 0 122242244 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395270355824 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9941] ppid=9927 vsize=13980732 memory=1380 CPUtime=0.55 cores=0,2,4,6
/proc/9929/task/9941/stat : 9941 (java) S 9927 9927 4674 0 -1 1077944384 7313 0 0 0 53 2 0 0 20 0 15 0 122242244 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395269302768 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9942] ppid=9927 vsize=13980732 memory=186336 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9942/stat : 9942 (java) S 9927 9927 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122242244 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395268250464 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9943] ppid=9927 vsize=13980732 memory=1296 CPUtime=0.74 cores=0,2,4,6
/proc/9929/task/9943/stat : 9943 (java) S 9927 9927 4674 0 -1 1077944384 1677 0 0 0 31 43 0 0 20 0 15 0 122242253 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395267197488 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
Current children cumulated CPU time: 2509.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 187716 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/215 10291
/proc/meminfo: memFree=31293068/32770624 swapFree=67108764/67108860
[pid=9927] ppid=9924 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9927/stat : 9927 (xcsp3-exec) S 9924 9927 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122242226 9740288 345 18446744073709551615 4194304 5098028 140728707158912 140728707157016 139936051323516 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 39002112 140728707162489 140728707162693 140728707162693 140728707166187 0
/proc/9927/statm: 2378 345 289 221 0 87 0
[pid=9929] ppid=9927 vsize=13980732 memory=186336 CPUtime=2520.02 cores=0,2,4,6
/proc/9929/stat : 9929 (java) S 9927 9927 4674 0 -1 1077944320 92327 0 0 0 251957 45 0 0 20 0 15 0 122242239 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140723279568832 140395798052599 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
/proc/9929/statm: 3495183 46584 3236 1 0 3483476 0
[pid=9929/tid=9930] ppid=9927 vsize=13980732 memory=186336 CPUtime=2512.95 cores=0,2,4,6
/proc/9929/task/9930/stat : 9930 (java) R 9927 9927 4674 0 -1 4202560 21764 0 0 0 251288 7 0 0 20 0 15 0 122242239 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395802292016 140395388497361 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9931] ppid=9927 vsize=13980732 memory=1380 CPUtime=0.04 cores=0,2,4,6
/proc/9929/task/9931/stat : 9931 (java) S 9927 9927 4674 0 -1 1077944384 760 0 0 0 3 1 0 0 20 0 15 0 122242240 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395717467152 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9932] ppid=9927 vsize=13980732 memory=186336 CPUtime=0.04 cores=0,2,4,6
/proc/9929/task/9932/stat : 9932 (java) S 9927 9927 4674 0 -1 1077944384 2890 0 0 0 3 1 0 0 20 0 15 0 122242240 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395716414608 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9933] ppid=9927 vsize=13980732 memory=186336 CPUtime=0.04 cores=0,2,4,6
/proc/9929/task/9933/stat : 9933 (java) S 9927 9927 4674 0 -1 1077944384 2907 0 0 0 4 0 0 0 20 0 15 0 122242240 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395715361552 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9934] ppid=9927 vsize=13980732 memory=186336 CPUtime=0.04 cores=0,2,4,6
/proc/9929/task/9934/stat : 9934 (java) S 9927 9927 4674 0 -1 1077944384 2512 0 0 0 3 1 0 0 20 0 15 0 122242240 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395714309008 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9935] ppid=9927 vsize=13980732 memory=1380 CPUtime=0.06 cores=0,2,4,6
/proc/9929/task/9935/stat : 9935 (java) S 9927 9927 4674 0 -1 1077944384 3310 0 0 0 4 2 0 0 20 0 15 0 122242241 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395275618544 140395798063746 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9936] ppid=9927 vsize=13980732 memory=186336 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9936/stat : 9936 (java) S 9927 9927 4674 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 122242241 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395274564768 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9937] ppid=9927 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9937/stat : 9937 (java) S 9927 9927 4674 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 122242242 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395273511664 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9938] ppid=9927 vsize=13980732 memory=186336 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9938/stat : 9938 (java) S 9927 9927 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122242244 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395272460240 140395798071195 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9939] ppid=9927 vsize=13980732 memory=1380 CPUtime=2.64 cores=0,2,4,6
/proc/9929/task/9939/stat : 9939 (java) S 9927 9927 4674 0 -1 1077944384 24058 0 0 0 261 3 0 0 20 0 15 0 122242244 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395271408368 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9940] ppid=9927 vsize=13980732 memory=1444 CPUtime=2.82 cores=0,2,4,6
/proc/9929/task/9940/stat : 9940 (java) S 9927 9927 4674 0 -1 1077944384 23782 0 0 0 280 2 0 0 20 0 15 0 122242244 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395270355824 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9941] ppid=9927 vsize=13980732 memory=186336 CPUtime=0.55 cores=0,2,4,6
/proc/9929/task/9941/stat : 9941 (java) S 9927 9927 4674 0 -1 1077944384 7313 0 0 0 53 2 0 0 20 0 15 0 122242244 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395269302768 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9942] ppid=9927 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9942/stat : 9942 (java) S 9927 9927 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122242244 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395268250464 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9943] ppid=9927 vsize=13980732 memory=5712 CPUtime=0.74 cores=0,2,4,6
/proc/9929/task/9943/stat : 9943 (java) S 9927 9927 4674 0 -1 1077944384 1679 0 0 0 31 43 0 0 20 0 15 0 122242253 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395267197488 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 187716 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.31 s]
# the end of solver process 9927 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001723 s, system=0.000123 s
[startup+2513.31 s]
# the end of solver process 9929 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.59 s, system=0.454214 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2513.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/215 10291
/proc/meminfo: memFree=31293068/32770624 swapFree=67108764/67108860
[pid=9927] ppid=9924 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9927/stat : 9927 (xcsp3-exec) S 9924 9927 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122242226 9740288 345 18446744073709551615 4194304 5098028 140728707158912 140728707157016 139936051323516 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 39002112 140728707162489 140728707162693 140728707162693 140728707166187 0
/proc/9927/statm: 2378 345 289 221 0 87 0
[pid=9929] ppid=9927 vsize=13980732 memory=186336 CPUtime=2520.02 cores=0,2,4,6
/proc/9929/stat : 9929 (java) S 9927 9927 4674 0 -1 1077944320 92327 0 0 0 251957 45 0 0 20 0 15 0 122242239 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140723279568832 140395798052599 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
/proc/9929/statm: 3495183 46584 3236 1 0 3483476 0
[pid=9929/tid=9930] ppid=9927 vsize=13980732 memory=186336 CPUtime=2512.95 cores=0,2,4,6
/proc/9929/task/9930/stat : 9930 (java) R 9927 9927 4674 0 -1 4202560 21764 0 0 0 251288 7 0 0 20 0 15 0 122242239 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395802292016 140395388497361 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9931] ppid=9927 vsize=13980732 memory=1380 CPUtime=0.04 cores=0,2,4,6
/proc/9929/task/9931/stat : 9931 (java) S 9927 9927 4674 0 -1 1077944384 760 0 0 0 3 1 0 0 20 0 15 0 122242240 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395717467152 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9932] ppid=9927 vsize=13980732 memory=186336 CPUtime=0.04 cores=0,2,4,6
/proc/9929/task/9932/stat : 9932 (java) S 9927 9927 4674 0 -1 1077944384 2890 0 0 0 3 1 0 0 20 0 15 0 122242240 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395716414608 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9933] ppid=9927 vsize=13980732 memory=186336 CPUtime=0.04 cores=0,2,4,6
/proc/9929/task/9933/stat : 9933 (java) S 9927 9927 4674 0 -1 1077944384 2907 0 0 0 4 0 0 0 20 0 15 0 122242240 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395715361552 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9934] ppid=9927 vsize=13980732 memory=186336 CPUtime=0.04 cores=0,2,4,6
/proc/9929/task/9934/stat : 9934 (java) S 9927 9927 4674 0 -1 1077944384 2512 0 0 0 3 1 0 0 20 0 15 0 122242240 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395714309008 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9935] ppid=9927 vsize=13980732 memory=1380 CPUtime=0.06 cores=0,2,4,6
/proc/9929/task/9935/stat : 9935 (java) S 9927 9927 4674 0 -1 1077944384 3310 0 0 0 4 2 0 0 20 0 15 0 122242241 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395275618544 140395798063746 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9936] ppid=9927 vsize=13980732 memory=186336 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9936/stat : 9936 (java) S 9927 9927 4674 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 122242241 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395274564768 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9937] ppid=9927 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9937/stat : 9937 (java) S 9927 9927 4674 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 122242242 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395273511664 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9938] ppid=9927 vsize=13980732 memory=186336 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9938/stat : 9938 (java) S 9927 9927 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122242244 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395272460240 140395798071195 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9939] ppid=9927 vsize=13980732 memory=1380 CPUtime=2.64 cores=0,2,4,6
/proc/9929/task/9939/stat : 9939 (java) S 9927 9927 4674 0 -1 1077944384 24058 0 0 0 261 3 0 0 20 0 15 0 122242244 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395271408368 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9940] ppid=9927 vsize=13980732 memory=1444 CPUtime=2.82 cores=0,2,4,6
/proc/9929/task/9940/stat : 9940 (java) S 9927 9927 4674 0 -1 1077944384 23782 0 0 0 280 2 0 0 20 0 15 0 122242244 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395270355824 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9941] ppid=9927 vsize=13980732 memory=186336 CPUtime=0.55 cores=0,2,4,6
/proc/9929/task/9941/stat : 9941 (java) S 9927 9927 4674 0 -1 1077944384 7313 0 0 0 53 2 0 0 20 0 15 0 122242244 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395269302768 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9942] ppid=9927 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/9929/task/9942/stat : 9942 (java) S 9927 9927 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122242244 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395268250464 140395798062805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
[pid=9929/tid=9943] ppid=9927 vsize=13980732 memory=5712 CPUtime=0.74 cores=0,2,4,6
/proc/9929/task/9943/stat : 9943 (java) S 9927 9927 4674 0 -1 1077944384 1679 0 0 0 31 43 0 0 20 0 15 0 122242253 14316269568 46584 18446744073709551615 4194304 4196468 140723279586288 140395267197488 140395798063746 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140723279593905 140723279594081 140723279594081 140723279597519 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 187716 KiB
Child status: 143
Real time (s): 2513.31
CPU time (s): 2520.04
CPU user time (s): 2519.59
CPU system time (s): 0.454214
CPU usage (%): 100.268
Max. virtual memory (cumulated for all children) (KiB): 13992308
Max. memory (cumulated for all children) (KiB): 239548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.59
system time used= 0.454214
maximum resident set size= 244312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93138
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57749
involuntary context switches= 3149
# summary of solver processes directly reported to runsolver:
# pid: 9927,9929
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.59
# total CPU system time (s): 0.454214
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.553 second user time and 23.7344 second system time
The end
Begin job on node134 at 2017-08-14 23:35:24 IDJOB=4269043 IDBENCH=124135 IDSOLVER=2660 FILE ID=node134/4269043-1502747357 RUNJOBID= node134-1502649032-24470 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 4.0.5 seq BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-1.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4269043-1502747357/watcher-4269043-1502747357 -o /tmp/evaluation-result-4269043-1502747357/solver-4269043-1502747357 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24470 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 104560699 HOME/instance-4269043-1502747357.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b82332625d17a81d2c62c757de216262 RANDOM SEED=104560699 node134.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.43 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.43 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.43 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.43 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: 30784164 kB MemAvailable: 31035036 kB Buffers: 265644 kB Cached: 276388 kB SwapCached: 4 kB Active: 1323148 kB Inactive: 205344 kB Active(anon): 933592 kB Inactive(anon): 94516 kB Active(file): 389556 kB Inactive(file): 110828 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108764 kB Dirty: 7984 kB Writeback: 4 kB AnonPages: 986596 kB Mapped: 71524 kB Shmem: 41564 kB Slab: 160064 kB SReclaimable: 132644 kB SUnreclaim: 27420 kB KernelStack: 3504 kB PageTables: 6892 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2270504 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 886784 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62016 MiB End job on node134 at 2017-08-15 00:17:17