Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-24 | SAT (TO) | 148 | 2400.07 | 2393.51 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml |
| MD5SUM | b82332625d17a81d2c62c757de216262 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 123 |
| Best CPU time to get the best result obtained on this benchmark | 10.9455 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3507 |
| Number of constraints | 189 |
| Number of domains | 12 |
| Minimum domain size | 2 |
| Maximum domain size | 20 |
| Distribution of domain sizes | [{"size":2,"count":334},{"size":3,"count":334},{"size":5,"count":334},{"size":8,"count":167},{"size":9,"count":167},{"size":10,"count":334},{"size":11,"count":167},{"size":12,"count":167},{"size":14,"count":668},{"size":15,"count":334},{"size":18,"count":334},{"size":20,"count":167}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":3507}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 3340 |
| Distribution of constraint arities | [{"arity":21,"count":167},{"arity":167,"count":21},{"arity":3340,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":187}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406463-1569397336.xml" -tl '2400s' -p 1 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4406463-1569397336.xml, -tl, 2400s, -p, 1] 0.13/0.22 c simple solver 0.35/0.28 c parse instance... 1.06/0.60 c solve instance... 1463.44/1458.36 o 166 1463.60/1458.42 o 165 1463.60/1458.47 o 164 1463.73/1458.50 o 163 1463.73/1458.54 o 162 1463.73/1458.56 o 161 1463.73/1458.57 o 160 1464.71/1459.28 o 159 1466.01/1460.35 o 158 1467.06/1461.20 o 157 1467.06/1461.23 o 156 1467.06/1461.27 o 155 1469.44/1463.54 o 154 1469.64/1463.74 o 153 1470.74/1464.84 o 152 1470.97/1465.02 o 151 1487.52/1481.40 o 150 1490.23/1484.15 o 149 2120.35/2113.93 o 148 2400.04/2393.50 s SATISFIABLE 2400.04/2393.50 v <instantiation> 2400.04/2393.50 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> 2400.04/2393.50 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 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 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 0 0 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 0 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 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 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 1 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 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 2400.04/2393.50 v </instantiation> 2400.04/2393.50 c Unexpected resolution interruption!
OK 148
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 (12202 MiB free)
memory of node 1: 16384 MiB (12340 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406463-1569397336/watcher-4406463-1569397336 -o /var/tmp/evaluation-result-4406463-1569397336/solver-4406463-1569397336 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1569396627-9003 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 13758179 HOME/instance-4406463-1569397336.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9498, runsolver pid=9495
[startup+0.100064 s]*
/proc/loadavg: 1.66 1.33 0.76 4/230 9514
/proc/meminfo: memFree=25115408/32770624 swapFree=66974612/67108860
[pid=9498] ppid=9495 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9498/stat : 9498 (xcsp3-exec) S 9495 9498 8971 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515675426 115843072 363 33554432000 4194304 5098028 140734733045824 140734733043928 140711769227900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8880128 140734733054808 140734733055065 140734733055065 140734733057990 0
/proc/9498/statm: 28282 363 304 221 0 87 0
[pid=9500] ppid=9498 vsize=15144776 memory=29368 CPUtime=0.13 cores=1,3,5,7
/proc/9500/stat : 9500 (java) S 9498 9498 8971 0 -1 1077944320 5800 0 0 0 12 1 0 0 20 0 15 0 515675426 15508250624 7342 33554432000 4194304 4196468 140734139052192 140734139034736 139911561740023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
/proc/9500/statm: 3786194 7342 3174 1 0 3748377 0
[pid=9500/tid=9501] ppid=9498 vsize=15144776 memory=8252428994737482315 CPUtime=0.08 cores=1,3,5,7
/proc/9500/task/9501/stat : 9501 (java) R 9498 9498 8971 0 -1 4202560 3706 0 0 0 8 0 0 0 20 0 15 0 515675427 15508250624 7342 33554432000 4194304 4196468 140734139052192 139911565962080 139911561751958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9502] ppid=9498 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9502/stat : 9502 (java) S 9498 9498 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515675428 15508250624 7342 33554432000 4194304 4196468 140734139052192 139911514360464 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9503] ppid=9498 vsize=15144776 memory=140605367555712 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9503/stat : 9503 (java) S 9498 9498 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515675428 15508250624 7342 33554432000 4194304 4196468 140734139052192 139911152720400 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9504] ppid=9498 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9504/stat : 9504 (java) S 9498 9498 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515675428 15508250624 7342 33554432000 4194304 4196468 140734139052192 139911151667600 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9505] ppid=9498 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9505/stat : 9505 (java) S 9498 9498 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515675428 15508250624 7342 33554432000 4194304 4196468 140734139052192 139911150614800 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9506] ppid=9498 vsize=15144776 memory=140605367555712 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9506/stat : 9506 (java) S 9498 9498 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515675429 15508250624 7342 33554432000 4194304 4196468 140734139052192 139910636878704 139911561751170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9507] ppid=9498 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9507/stat : 9507 (java) S 9498 9498 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515675429 15508250624 7342 33554432000 4194304 4196468 140734139052192 139910635824672 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9508] ppid=9498 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9508/stat : 9508 (java) S 9498 9498 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515675430 15508250624 7342 33554432000 4194304 4196468 140734139052192 139910634771824 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9509] ppid=9498 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9509/stat : 9509 (java) S 9498 9498 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515675432 15508250624 7342 33554432000 4194304 4196468 140734139052192 139910633720144 139911561758619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9510] ppid=9498 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9510/stat : 9510 (java) S 9498 9498 8971 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 515675432 15508250624 7342 33554432000 4194304 4196468 140734139052192 139910632667504 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9511] ppid=9498 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9511/stat : 9511 (java) S 9498 9498 8971 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 515675432 15508250624 7342 33554432000 4194304 4196468 140734139052192 139910631614704 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9512] ppid=9498 vsize=15144776 memory=140605367555712 CPUtime=0.02 cores=1,3,5,7
/proc/9500/task/9512/stat : 9512 (java) R 9498 9498 8971 0 -1 4202560 329 0 0 0 2 0 0 0 20 0 15 0 515675432 15508250624 7342 33554432000 4194304 4196468 140734139052192 139910630557632 139911561761370 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9513] ppid=9498 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9513/stat : 9513 (java) S 9498 9498 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515675432 15508250624 7342 33554432000 4194304 4196468 140734139052192 139910629509344 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9514] ppid=9498 vsize=15144776 memory=140605367555712 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9514/stat : 9514 (java) S 9498 9498 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515675432 15508250624 7342 33554432000 4194304 4196468 140734139052192 139910628457648 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30820 KiB
[startup+0.216479 s]*
/proc/loadavg: 1.66 1.33 0.76 4/230 9514
/proc/meminfo: memFree=25102520/32770624 swapFree=66974612/67108860
[pid=9498] ppid=9495 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9498/stat : 9498 (xcsp3-exec) S 9495 9498 8971 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515675426 115843072 363 33554432000 4194304 5098028 140734733045824 140734733043928 140711769227900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8880128 140734733054808 140734733055065 140734733055065 140734733057990 0
/proc/9498/statm: 28282 363 304 221 0 87 0
[pid=9500] ppid=9498 vsize=15149032 memory=40832 CPUtime=0.35 cores=1,3,5,7
/proc/9500/stat : 9500 (java) S 9498 9498 8971 0 -1 1077944320 9400 0 0 0 33 2 0 0 20 0 15 0 515675426 15512608768 10208 33554432000 4194304 4196468 140734139052192 140734139034736 139911561740023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
/proc/9500/statm: 3787258 10208 3309 1 0 3748377 0
[pid=9500/tid=9501] ppid=9498 vsize=15149032 memory=7883960649037381690 CPUtime=0.21 cores=1,3,5,7
/proc/9500/task/9501/stat : 9501 (java) R 9498 9498 8971 0 -1 4202560 6660 0 0 0 19 2 0 0 20 0 15 0 515675427 15512608768 10208 33554432000 4194304 4196468 140734139052192 139911565961016 139911545783653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9502] ppid=9498 vsize=15149032 memory=13657 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9502/stat : 9502 (java) S 9498 9498 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515675428 15512608768 10208 33554432000 4194304 4196468 140734139052192 139911514360464 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9503] ppid=9498 vsize=15149032 memory=140605371397517 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9503/stat : 9503 (java) S 9498 9498 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515675428 15512608768 10208 33554432000 4194304 4196468 140734139052192 139911152720400 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9504] ppid=9498 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9504/stat : 9504 (java) S 9498 9498 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515675428 15512608768 10208 33554432000 4194304 4196468 140734139052192 139911151667600 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9505] ppid=9498 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9505/stat : 9505 (java) S 9498 9498 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515675428 15512608768 10208 33554432000 4194304 4196468 140734139052192 139911150614800 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9506] ppid=9498 vsize=15149032 memory=140605367555712 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9506/stat : 9506 (java) S 9498 9498 8971 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515675429 15512608768 10208 33554432000 4194304 4196468 140734139052192 139910636878704 139911561751170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9507] ppid=9498 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9507/stat : 9507 (java) S 9498 9498 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515675429 15512608768 10208 33554432000 4194304 4196468 140734139052192 139910635824672 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9508] ppid=9498 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9508/stat : 9508 (java) S 9498 9498 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515675430 15512608768 10208 33554432000 4194304 4196468 140734139052192 139910634771824 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9509] ppid=9498 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9509/stat : 9509 (java) S 9498 9498 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515675432 15512608768 10208 33554432000 4194304 4196468 140734139052192 139910633720144 139911561758619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9510] ppid=9498 vsize=15149032 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9500/task/9510/stat : 9510 (java) S 9498 9498 8971 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 15 0 515675432 15512608768 10208 33554432000 4194304 4196468 140734139052192 139910632667504 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9511] ppid=9498 vsize=15149032 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/9500/task/9511/stat : 9511 (java) S 9498 9498 8971 0 -1 1077944384 286 0 0 0 3 0 0 0 20 0 15 0 515675432 15512608768 10208 33554432000 4194304 4196468 140734139052192 139910631614704 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9512] ppid=9498 vsize=15149032 memory=140605367555712 CPUtime=0.08 cores=1,3,5,7
/proc/9500/task/9512/stat : 9512 (java) S 9498 9498 8971 0 -1 1077944384 798 0 0 0 8 0 0 0 20 0 15 0 515675432 15512608768 10208 33554432000 4194304 4196468 140734139052192 139910630561904 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9513] ppid=9498 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9513/stat : 9513 (java) S 9498 9498 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515675432 15512608768 10208 33554432000 4194304 4196468 140734139052192 139910629509344 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9514] ppid=9498 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9514/stat : 9514 (java) S 9498 9498 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515675432 15512608768 10208 33554432000 4194304 4196468 140734139052192 139910628457648 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 42284 KiB
[startup+0.320667 s]*
/proc/loadavg: 1.66 1.33 0.76 4/230 9514
/proc/meminfo: memFree=25095372/32770624 swapFree=66974612/67108860
[pid=9498] ppid=9495 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9498/stat : 9498 (xcsp3-exec) S 9495 9498 8971 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515675426 115843072 363 33554432000 4194304 5098028 140734733045824 140734733043928 140711769227900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8880128 140734733054808 140734733055065 140734733055065 140734733057990 0
/proc/9498/statm: 28282 363 304 221 0 87 0
[pid=9500] ppid=9498 vsize=15149032 memory=50044 CPUtime=0.54 cores=1,3,5,7
/proc/9500/stat : 9500 (java) S 9498 9498 8971 0 -1 1077944320 10870 0 0 0 51 3 0 0 20 0 15 0 515675426 15512608768 12511 33554432000 4194304 4196468 140734139052192 140734139034736 139911561740023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
/proc/9500/statm: 3787258 12511 3358 1 0 3748377 0
[pid=9500/tid=9501] ppid=9498 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/9500/task/9501/stat : 9501 (java) R 9498 9498 8971 0 -1 4202560 7877 0 0 0 28 2 0 0 20 0 15 0 515675427 15512608768 12511 33554432000 4194304 4196468 140734139052192 139911565975232 139911545820510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9502] ppid=9498 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9502/stat : 9502 (java) S 9498 9498 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515675428 15512608768 12511 33554432000 4194304 4196468 140734139052192 139911514360464 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9503] ppid=9498 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9503/stat : 9503 (java) S 9498 9498 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515675428 15512608768 12511 33554432000 4194304 4196468 140734139052192 139911152720400 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9504] ppid=9498 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9504/stat : 9504 (java) S 9498 9498 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515675428 15512608768 12511 33554432000 4194304 4196468 140734139052192 139911151667600 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9505] ppid=9498 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9505/stat : 9505 (java) S 9498 9498 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515675428 15512608768 12511 33554432000 4194304 4196468 140734139052192 139911150614800 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9506] ppid=9498 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9506/stat : 9506 (java) S 9498 9498 8971 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515675429 15512608768 12511 33554432000 4194304 4196468 140734139052192 139910636878704 139911561751170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9507] ppid=9498 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9507/stat : 9507 (java) S 9498 9498 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515675429 15512608768 12511 33554432000 4194304 4196468 140734139052192 139910635824672 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9508] ppid=9498 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9508/stat : 9508 (java) S 9498 9498 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515675430 15512608768 12511 33554432000 4194304 4196468 140734139052192 139910634771824 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9509] ppid=9498 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9509/stat : 9509 (java) S 9498 9498 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515675432 15512608768 12511 33554432000 4194304 4196468 140734139052192 139910633720144 139911561758619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9510] ppid=9498 vsize=15149032 memory=-8412660965215072671 CPUtime=0.03 cores=1,3,5,7
/proc/9500/task/9510/stat : 9510 (java) S 9498 9498 8971 0 -1 1077944384 368 0 0 0 3 0 0 0 20 0 15 0 515675432 15512608768 12511 33554432000 4194304 4196468 140734139052192 139910632667504 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9511] ppid=9498 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/9500/task/9511/stat : 9511 (java) S 9498 9498 8971 0 -1 1077944384 370 0 0 0 6 0 0 0 20 0 15 0 515675432 15512608768 12511 33554432000 4194304 4196468 140734139052192 139910631614704 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9512] ppid=9498 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9500/task/9512/stat : 9512 (java) S 9498 9498 8971 0 -1 1077944384 954 0 0 0 12 0 0 0 20 0 15 0 515675432 15512608768 12511 33554432000 4194304 4196468 140734139052192 139910630561904 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9513] ppid=9498 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9513/stat : 9513 (java) S 9498 9498 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515675432 15512608768 12511 33554432000 4194304 4196468 140734139052192 139910629509344 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9514] ppid=9498 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9514/stat : 9514 (java) S 9498 9498 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515675432 15512608768 12511 33554432000 4194304 4196468 140734139052192 139910628457648 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51496 KiB
[startup+0.701704 s]
/proc/loadavg: 1.66 1.33 0.76 5/230 9514
/proc/meminfo: memFree=25078172/32770624 swapFree=66974612/67108860
[pid=9498] ppid=9495 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9498/stat : 9498 (xcsp3-exec) S 9495 9498 8971 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515675426 115843072 363 33554432000 4194304 5098028 140734733045824 140734733043928 140711769227900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8880128 140734733054808 140734733055065 140734733055065 140734733057990 0
/proc/9498/statm: 28282 363 304 221 0 87 0
[pid=9500] ppid=9498 vsize=15151156 memory=77304 CPUtime=1.65 cores=1,3,5,7
/proc/9500/stat : 9500 (java) S 9498 9498 8971 0 -1 1077944320 14012 0 0 0 161 4 0 0 20 0 15 0 515675426 15514783744 19326 33554432000 4194304 4196468 140734139052192 140734139034736 139911561740023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
/proc/9500/statm: 3787789 19326 3467 1 0 3748889 0
[pid=9500/tid=9501] ppid=9498 vsize=15151156 memory=1791873778945 CPUtime=0.67 cores=1,3,5,7
/proc/9500/task/9501/stat : 9501 (java) R 9498 9498 8971 0 -1 4202560 9183 0 0 0 64 3 0 0 20 0 15 0 515675427 15514783744 19326 33554432000 4194304 4196468 140734139052192 139911565975840 139911561751958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9502] ppid=9498 vsize=15151156 memory=33 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9502/stat : 9502 (java) S 9498 9498 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515675428 15514783744 19326 33554432000 4194304 4196468 140734139052192 139911514360464 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9503] ppid=9498 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9503/stat : 9503 (java) S 9498 9498 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515675428 15514783744 19326 33554432000 4194304 4196468 140734139052192 139911152720400 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9504] ppid=9498 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9504/stat : 9504 (java) S 9498 9498 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515675428 15514783744 19326 33554432000 4194304 4196468 140734139052192 139911151667600 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9505] ppid=9498 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9505/stat : 9505 (java) S 9498 9498 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515675428 15514783744 19326 33554432000 4194304 4196468 140734139052192 139911150614800 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9506] ppid=9498 vsize=15151156 memory=55088 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9506/stat : 9506 (java) S 9498 9498 8971 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515675429 15514783744 19326 33554432000 4194304 4196468 140734139052192 139910636878704 139911561751170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9507] ppid=9498 vsize=15151156 memory=992 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9507/stat : 9507 (java) S 9498 9498 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515675429 15514783744 19326 33554432000 4194304 4196468 140734139052192 139910635824672 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9508] ppid=9498 vsize=15151156 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9508/stat : 9508 (java) S 9498 9498 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515675430 15514783744 19326 33554432000 4194304 4196468 140734139052192 139910634771824 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9509] ppid=9498 vsize=15151156 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9509/stat : 9509 (java) S 9498 9498 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515675432 15514783744 19326 33554432000 4194304 4196468 140734139052192 139910633720144 139911561758619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9510] ppid=9498 vsize=15151156 memory=11624 CPUtime=0.29 cores=1,3,5,7
/proc/9500/task/9510/stat : 9510 (java) R 9498 9498 8971 0 -1 4202560 1020 0 0 0 29 0 0 0 20 0 15 0 515675432 15514783744 19326 33554432000 4194304 4196468 140734139052192 139910632648520 139911542126848 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9511] ppid=9498 vsize=15151156 memory=740 CPUtime=0.28 cores=1,3,5,7
/proc/9500/task/9511/stat : 9511 (java) R 9498 9498 8971 0 -1 4202560 736 0 0 0 28 0 0 0 20 0 15 0 515675432 15514783744 19326 33554432000 4194304 4196468 140734139052192 139910631606352 139911542376039 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9512] ppid=9498 vsize=15151156 memory=1056 CPUtime=0.37 cores=1,3,5,7
/proc/9500/task/9512/stat : 9512 (java) S 9498 9498 8971 0 -1 1077944384 1763 0 0 0 37 0 0 0 20 0 15 0 515675432 15514783744 19326 33554432000 4194304 4196468 140734139052192 139910630561904 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9513] ppid=9498 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9513/stat : 9513 (java) S 9498 9498 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515675432 15514783744 19326 33554432000 4194304 4196468 140734139052192 139910629509344 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9514] ppid=9498 vsize=15151156 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9514/stat : 9514 (java) S 9498 9498 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515675432 15514783744 19326 33554432000 4194304 4196468 140734139052192 139910628457648 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 78756 KiB
[startup+1.50081 s]
/proc/loadavg: 1.66 1.33 0.76 3/230 9514
/proc/meminfo: memFree=25065456/32770624 swapFree=66974612/67108860
[pid=9498] ppid=9495 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9498/stat : 9498 (xcsp3-exec) S 9495 9498 8971 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515675426 115843072 363 33554432000 4194304 5098028 140734733045824 140734733043928 140711769227900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8880128 140734733054808 140734733055065 140734733055065 140734733057990 0
/proc/9498/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/9500/task/9508/stat : 9508 (java) S 9498 9498 8971 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 15 0 515675430 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910634771840 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9509] ppid=9498 vsize=15151156 memory=178492 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9509/stat : 9509 (java) S 9498 9498 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910633720144 139911561758619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9510] ppid=9498 vsize=15151156 memory=1452 CPUtime=2.55 cores=1,3,5,7
/proc/9500/task/9510/stat : 9510 (java) S 9498 9498 8971 0 -1 1077944384 21769 0 0 0 253 2 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910632667504 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9511] ppid=9498 vsize=15151156 memory=178492 CPUtime=2.63 cores=1,3,5,7
/proc/9500/task/9511/stat : 9511 (java) S 9498 9498 8971 0 -1 1077944384 22741 0 0 0 260 3 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910631614704 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9512] ppid=9498 vsize=15151156 memory=804 CPUtime=0.61 cores=1,3,5,7
/proc/9500/task/9512/stat : 9512 (java) S 9498 9498 8971 0 -1 1077944384 8178 0 0 0 59 2 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910630561904 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9513] ppid=9498 vsize=15151156 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9513/stat : 9513 (java) S 9498 9498 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910629509344 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9514] ppid=9498 vsize=15151156 memory=1452 CPUtime=0.47 cores=1,3,5,7
/proc/9500/task/9514/stat : 9514 (java) S 9498 9498 8971 0 -1 1077944384 981 0 0 0 21 26 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910628457648 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
Current children cumulated CPU time: 2328.82 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 179944 KiB
[startup+2382.3 s]
/proc/loadavg: 1.99 1.96 1.84 3/231 9834
/proc/meminfo: memFree=24904716/32770624 swapFree=66974624/67108860
[pid=9498] ppid=9495 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9498/stat : 9498 (xcsp3-exec) S 9495 9498 8971 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515675426 115843072 363 33554432000 4194304 5098028 140734733045824 140734733043928 140711769227900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8880128 140734733054808 140734733055065 140734733055065 140734733057990 0
/proc/9498/statm: 28282 363 304 221 0 87 0
[pid=9500] ppid=9498 vsize=15151156 memory=178492 CPUtime=2388.84 cores=1,3,5,7
/proc/9500/stat : 9500 (java) S 9498 9498 8971 0 -1 1077944320 84518 0 0 0 238845 39 0 0 20 0 15 0 515675426 15514783744 44623 33554432000 4194304 4196468 140734139052192 140734139034736 139911561740023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
/proc/9500/statm: 3787789 44623 3516 1 0 3748889 0
[pid=9500/tid=9501] ppid=9498 vsize=15151156 memory=178492 CPUtime=2381.98 cores=1,3,5,7
/proc/9500/task/9501/stat : 9501 (java) R 9498 9498 8971 0 -1 4202560 18599 0 0 0 238193 5 0 0 20 0 15 0 515675427 15514783744 44623 33554432000 4194304 4196468 140734139052192 139911565979648 139911201200771 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9502] ppid=9498 vsize=15151156 memory=1452 CPUtime=0.1 cores=1,3,5,7
/proc/9500/task/9502/stat : 9502 (java) S 9498 9498 8971 0 -1 1077944384 2353 0 0 0 9 1 0 0 20 0 15 0 515675428 15514783744 44623 33554432000 4194304 4196468 140734139052192 139911514360464 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9503] ppid=9498 vsize=15151156 memory=5787220445994897765 CPUtime=0.1 cores=1,3,5,7
/proc/9500/task/9503/stat : 9503 (java) S 9498 9498 8971 0 -1 1077944384 2017 0 0 0 9 1 0 0 20 0 15 0 515675428 15514783744 44623 33554432000 4194304 4196468 140734139052192 139911152720400 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9504] ppid=9498 vsize=15151156 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/9500/task/9504/stat : 9504 (java) S 9498 9498 8971 0 -1 1077944384 2483 0 0 0 9 1 0 0 20 0 15 0 515675428 15514783744 44623 33554432000 4194304 4196468 140734139052192 139911151667600 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9505] ppid=9498 vsize=15151156 memory=2481 CPUtime=0.1 cores=1,3,5,7
/proc/9500/task/9505/stat : 9505 (java) S 9498 9498 8971 0 -1 1077944384 861 0 0 0 9 1 0 0 20 0 15 0 515675428 15514783744 44623 33554432000 4194304 4196468 140734139052192 139911150614800 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9506] ppid=9498 vsize=15151156 memory=1452 CPUtime=0.09 cores=1,3,5,7
/proc/9500/task/9506/stat : 9506 (java) S 9498 9498 8971 0 -1 1077944384 3075 0 0 0 7 2 0 0 20 0 15 0 515675429 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910636878704 139911561751170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9507] ppid=9498 vsize=15151156 memory=178492 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9507/stat : 9507 (java) S 9498 9498 8971 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 515675429 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910635824736 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9508] ppid=9498 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9508/stat : 9508 (java) S 9498 9498 8971 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 15 0 515675430 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910634771840 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9509] ppid=9498 vsize=15151156 memory=178492 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9509/stat : 9509 (java) S 9498 9498 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910633720144 139911561758619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9510] ppid=9498 vsize=15151156 memory=4486604260213485459 CPUtime=2.55 cores=1,3,5,7
/proc/9500/task/9510/stat : 9510 (java) S 9498 9498 8971 0 -1 1077944384 21769 0 0 0 253 2 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910632667504 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9511] ppid=9498 vsize=15151156 memory=178492 CPUtime=2.63 cores=1,3,5,7
/proc/9500/task/9511/stat : 9511 (java) S 9498 9498 8971 0 -1 1077944384 22741 0 0 0 260 3 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910631614704 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9512] ppid=9498 vsize=15151156 memory=1452 CPUtime=0.61 cores=1,3,5,7
/proc/9500/task/9512/stat : 9512 (java) S 9498 9498 8971 0 -1 1077944384 8178 0 0 0 59 2 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910630561904 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9513] ppid=9498 vsize=15151156 memory=178492 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9513/stat : 9513 (java) S 9498 9498 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910629509344 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9514] ppid=9498 vsize=15151156 memory=3612 CPUtime=0.48 cores=1,3,5,7
/proc/9500/task/9514/stat : 9514 (java) S 9498 9498 8971 0 -1 1077944384 985 0 0 0 21 27 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910628457648 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
Current children cumulated CPU time: 2388.84 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 179944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2393.5 s]
/proc/loadavg: 2.00 1.96 1.85 3/230 9834
/proc/meminfo: memFree=24904716/32770624 swapFree=66974624/67108860
[pid=9498] ppid=9495 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9498/stat : 9498 (xcsp3-exec) S 9495 9498 8971 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515675426 115843072 363 33554432000 4194304 5098028 140734733045824 140734733043928 140711769227900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8880128 140734733054808 140734733055065 140734733055065 140734733057990 0
/proc/9498/statm: 28282 363 304 221 0 87 0
[pid=9500] ppid=9498 vsize=15151156 memory=178492 CPUtime=2400.04 cores=1,3,5,7
/proc/9500/stat : 9500 (java) S 9498 9498 8971 0 -1 1077944320 84580 0 0 0 239965 39 0 0 20 0 15 0 515675426 15514783744 44623 33554432000 4194304 4196468 140734139052192 140734139034736 139911561740023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
/proc/9500/statm: 3787789 44623 3516 1 0 3748889 0
[pid=9500/tid=9501] ppid=9498 vsize=15151156 memory=178492 CPUtime=2393.18 cores=1,3,5,7
/proc/9500/task/9501/stat : 9501 (java) R 9498 9498 8971 0 -1 4202560 18652 0 0 0 239313 5 0 0 20 0 15 0 515675427 15514783744 44623 33554432000 4194304 4196468 140734139052192 139911565979648 139911200549030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9502] ppid=9498 vsize=15151156 memory=178492 CPUtime=0.1 cores=1,3,5,7
/proc/9500/task/9502/stat : 9502 (java) S 9498 9498 8971 0 -1 1077944384 2353 0 0 0 9 1 0 0 20 0 15 0 515675428 15514783744 44623 33554432000 4194304 4196468 140734139052192 139911514360464 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9503] ppid=9498 vsize=15151156 memory=178492 CPUtime=0.1 cores=1,3,5,7
/proc/9500/task/9503/stat : 9503 (java) S 9498 9498 8971 0 -1 1077944384 2017 0 0 0 9 1 0 0 20 0 15 0 515675428 15514783744 44623 33554432000 4194304 4196468 140734139052192 139911152720400 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9504] ppid=9498 vsize=15151156 memory=178492 CPUtime=0.1 cores=1,3,5,7
/proc/9500/task/9504/stat : 9504 (java) S 9498 9498 8971 0 -1 1077944384 2483 0 0 0 9 1 0 0 20 0 15 0 515675428 15514783744 44623 33554432000 4194304 4196468 140734139052192 139911151667600 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9505] ppid=9498 vsize=15151156 memory=178492 CPUtime=0.1 cores=1,3,5,7
/proc/9500/task/9505/stat : 9505 (java) S 9498 9498 8971 0 -1 1077944384 861 0 0 0 9 1 0 0 20 0 15 0 515675428 15514783744 44623 33554432000 4194304 4196468 140734139052192 139911150614800 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9506] ppid=9498 vsize=15151156 memory=1452 CPUtime=0.09 cores=1,3,5,7
/proc/9500/task/9506/stat : 9506 (java) S 9498 9498 8971 0 -1 1077944384 3076 0 0 0 7 2 0 0 20 0 15 0 515675429 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910636878704 139911561751170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9507] ppid=9498 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9507/stat : 9507 (java) S 9498 9498 8971 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 515675429 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910635824736 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9508] ppid=9498 vsize=15151156 memory=178492 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9508/stat : 9508 (java) S 9498 9498 8971 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 15 0 515675430 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910634771840 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9509] ppid=9498 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9509/stat : 9509 (java) S 9498 9498 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910633720144 139911561758619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9510] ppid=9498 vsize=15151156 memory=178492 CPUtime=2.55 cores=1,3,5,7
/proc/9500/task/9510/stat : 9510 (java) S 9498 9498 8971 0 -1 1077944384 21771 0 0 0 253 2 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910632667504 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9511] ppid=9498 vsize=15151156 memory=288230574492221466 CPUtime=2.63 cores=1,3,5,7
/proc/9500/task/9511/stat : 9511 (java) S 9498 9498 8971 0 -1 1077944384 22743 0 0 0 260 3 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910631614704 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9512] ppid=9498 vsize=15151156 memory=288230621803970871 CPUtime=0.61 cores=1,3,5,7
/proc/9500/task/9512/stat : 9512 (java) S 9498 9498 8971 0 -1 1077944384 8180 0 0 0 59 2 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910630561904 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9513] ppid=9498 vsize=15151156 memory=178492 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9513/stat : 9513 (java) S 9498 9498 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910629509344 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9514] ppid=9498 vsize=15151156 memory=1452 CPUtime=0.48 cores=1,3,5,7
/proc/9500/task/9514/stat : 9514 (java) S 9498 9498 8971 0 -1 1077944384 987 0 0 0 21 27 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910628457648 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 179944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2393.51 s]
# the end of solver process 9498 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001167 s, system=0.001167 s
[startup+2393.51 s]
# the end of solver process 9500 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.67 s, system=0.395215 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+2393.5 s]
/proc/loadavg: 2.00 1.96 1.85 3/230 9834
/proc/meminfo: memFree=24904716/32770624 swapFree=66974624/67108860
[pid=9498] ppid=9495 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9498/stat : 9498 (xcsp3-exec) S 9495 9498 8971 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515675426 115843072 363 33554432000 4194304 5098028 140734733045824 140734733043928 140711769227900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8880128 140734733054808 140734733055065 140734733055065 140734733057990 0
/proc/9498/statm: 28282 363 304 221 0 87 0
[pid=9500] ppid=9498 vsize=15151156 memory=178492 CPUtime=2400.04 cores=1,3,5,7
/proc/9500/stat : 9500 (java) S 9498 9498 8971 0 -1 1077944320 84580 0 0 0 239965 39 0 0 20 0 15 0 515675426 15514783744 44623 33554432000 4194304 4196468 140734139052192 140734139034736 139911561740023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
/proc/9500/statm: 3787789 44623 3516 1 0 3748889 0
[pid=9500/tid=9501] ppid=9498 vsize=15151156 memory=178492 CPUtime=2393.18 cores=1,3,5,7
/proc/9500/task/9501/stat : 9501 (java) R 9498 9498 8971 0 -1 4202560 18652 0 0 0 239313 5 0 0 20 0 15 0 515675427 15514783744 44623 33554432000 4194304 4196468 140734139052192 139911565979648 139911200549030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9502] ppid=9498 vsize=15151156 memory=178492 CPUtime=0.1 cores=1,3,5,7
/proc/9500/task/9502/stat : 9502 (java) S 9498 9498 8971 0 -1 1077944384 2353 0 0 0 9 1 0 0 20 0 15 0 515675428 15514783744 44623 33554432000 4194304 4196468 140734139052192 139911514360464 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9503] ppid=9498 vsize=15151156 memory=178492 CPUtime=0.1 cores=1,3,5,7
/proc/9500/task/9503/stat : 9503 (java) S 9498 9498 8971 0 -1 1077944384 2017 0 0 0 9 1 0 0 20 0 15 0 515675428 15514783744 44623 33554432000 4194304 4196468 140734139052192 139911152720400 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9504] ppid=9498 vsize=15151156 memory=178492 CPUtime=0.1 cores=1,3,5,7
/proc/9500/task/9504/stat : 9504 (java) S 9498 9498 8971 0 -1 1077944384 2483 0 0 0 9 1 0 0 20 0 15 0 515675428 15514783744 44623 33554432000 4194304 4196468 140734139052192 139911151667600 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9505] ppid=9498 vsize=15151156 memory=178492 CPUtime=0.1 cores=1,3,5,7
/proc/9500/task/9505/stat : 9505 (java) S 9498 9498 8971 0 -1 1077944384 861 0 0 0 9 1 0 0 20 0 15 0 515675428 15514783744 44623 33554432000 4194304 4196468 140734139052192 139911150614800 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9506] ppid=9498 vsize=15151156 memory=1452 CPUtime=0.09 cores=1,3,5,7
/proc/9500/task/9506/stat : 9506 (java) S 9498 9498 8971 0 -1 1077944384 3076 0 0 0 7 2 0 0 20 0 15 0 515675429 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910636878704 139911561751170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9507] ppid=9498 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9507/stat : 9507 (java) S 9498 9498 8971 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 515675429 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910635824736 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9508] ppid=9498 vsize=15151156 memory=178492 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9508/stat : 9508 (java) S 9498 9498 8971 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 15 0 515675430 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910634771840 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9509] ppid=9498 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9509/stat : 9509 (java) S 9498 9498 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910633720144 139911561758619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9510] ppid=9498 vsize=15151156 memory=178492 CPUtime=2.55 cores=1,3,5,7
/proc/9500/task/9510/stat : 9510 (java) S 9498 9498 8971 0 -1 1077944384 21771 0 0 0 253 2 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910632667504 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9511] ppid=9498 vsize=15151156 memory=288230574492221466 CPUtime=2.63 cores=1,3,5,7
/proc/9500/task/9511/stat : 9511 (java) S 9498 9498 8971 0 -1 1077944384 22743 0 0 0 260 3 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910631614704 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9512] ppid=9498 vsize=15151156 memory=288230621803970871 CPUtime=0.61 cores=1,3,5,7
/proc/9500/task/9512/stat : 9512 (java) S 9498 9498 8971 0 -1 1077944384 8180 0 0 0 59 2 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910630561904 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9513] ppid=9498 vsize=15151156 memory=178492 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9513/stat : 9513 (java) S 9498 9498 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910629509344 139911561750229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
[pid=9500/tid=9514] ppid=9498 vsize=15151156 memory=1452 CPUtime=0.48 cores=1,3,5,7
/proc/9500/task/9514/stat : 9514 (java) S 9498 9498 8971 0 -1 1077944384 987 0 0 0 21 27 0 0 20 0 15 0 515675432 15514783744 44623 33554432000 4194304 4196468 140734139052192 139910628457648 139911561751170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140734139057115 140734139057290 140734139057290 140734139060175 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 179944 KiB
Child status: 143
Real time (s): 2393.51
CPU time (s): 2400.07
CPU user time (s): 2399.67
CPU system time (s): 0.395215
CPU usage (%): 100.274
Max. virtual memory (cumulated for all children) (KiB): 15268148
Max. memory (cumulated for all children) (KiB): 241424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.67
system time used= 0.395215
maximum resident set size= 244068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85593
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56274
involuntary context switches= 785
# summary of solver processes directly reported to runsolver:
# pid: 9498,9500
# total CPU time (s): 2400.07
# total CPU user time (s): 2399.67
# total CPU system time (s): 0.395215
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6463 second user time and 21.8273 second system time
The end
Begin job on node117 at 2019-09-25 09:41:33 IDJOB=4406463 IDBENCH=124135 IDSOLVER=2870 FILE ID=node117/4406463-1569397336 RUNJOBID= node117-1569396627-9003 PBS_JOBID= 21705694 Free space on /var/tmp= 13488 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406463-1569397336/watcher-4406463-1569397336 -o /var/tmp/evaluation-result-4406463-1569397336/solver-4406463-1569397336 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1569396627-9003 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 13758179 HOME/instance-4406463-1569397336.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b82332625d17a81d2c62c757de216262 RANDOM SEED=13758179 node117.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.75 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.75 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.75 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.75 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: 25131936 kB MemAvailable: 31647156 kB Buffers: 140184 kB Cached: 6428364 kB SwapCached: 27764 kB Active: 3435936 kB Inactive: 3342448 kB Active(anon): 180392 kB Inactive(anon): 80884 kB Active(file): 3255544 kB Inactive(file): 3261564 kB Unevictable: 106980 kB Mlocked: 106980 kB SwapTotal: 67108860 kB SwapFree: 66974612 kB Dirty: 26056 kB Writeback: 0 kB AnonPages: 234696 kB Mapped: 68508 kB Shmem: 42948 kB Slab: 455748 kB SReclaimable: 426572 kB SUnreclaim: 29176 kB KernelStack: 4048 kB PageTables: 6832 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1402120 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 131072 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /var/tmp at the end= 13460 MiB End job on node117 at 2019-09-25 10:21:26