Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-08-01 | SAT (TO) | 71 | 2519.56 | 2520.01 |
Name | PeacableArmies/ PeacableArmies-m1-30_c18.xml |
MD5SUM | 643e62d73285ca0df01da7486f80c5bf |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 96 |
Best CPU time to get the best result obtained on this benchmark | 2520.14 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1800 |
Number of constraints | 87321 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":1800}] |
Minimum variable degree | 89 |
Maximum variable degree | 118 |
Distribution of variable degrees | [{"degree":89,"count":116},{"degree":90,"count":116},{"degree":91,"count":108},{"degree":92,"count":108},{"degree":93,"count":100},{"degree":94,"count":100},{"degree":95,"count":92},{"degree":96,"count":92},{"degree":97,"count":84},{"degree":98,"count":84},{"degree":99,"count":76},{"degree":100,"count":76},{"degree":101,"count":68},{"degree":102,"count":68},{"degree":103,"count":60},{"degree":104,"count":60},{"degree":105,"count":52},{"degree":106,"count":52},{"degree":107,"count":44},{"degree":108,"count":44},{"degree":109,"count":36},{"degree":110,"count":36},{"degree":111,"count":28},{"degree":112,"count":28},{"degree":113,"count":20},{"degree":114,"count":20},{"degree":115,"count":12},{"degree":116,"count":12},{"degree":117,"count":4},{"degree":118,"count":4}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 1800 |
Distribution of constraint arities | [{"arity":2,"count":87320},{"arity":1800,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 87320 |
Distribution of constraint types | [{"type":"intension","count":87320},{"type":"sum","count":1}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c Mistral 01082018 56.98/57.09 o 0 57.08/57.14 o 1 57.08/57.18 o 2 57.17/57.22 o 3 57.17/57.26 o 4 57.27/57.31 o 5 57.27/57.35 o 6 57.27/57.39 o 7 57.37/57.44 o 8 57.37/57.48 o 9 57.47/57.53 o 10 57.47/57.58 o 11 57.57/57.63 o 12 57.57/57.69 o 13 57.67/57.75 o 14 57.77/57.81 o 15 63.67/63.80 o 16 63.87/63.95 o 17 63.98/64.09 o 18 64.17/64.24 o 19 64.27/64.39 o 20 64.47/64.53 o 21 64.57/64.66 o 22 64.67/64.79 o 23 64.87/64.92 o 24 64.98/65.05 o 25 65.08/65.18 o 26 65.28/65.33 o 27 65.37/65.46 o 28 65.47/65.58 o 29 65.67/65.70 o 30 65.77/65.83 o 31 65.87/65.95 o 32 65.98/66.07 o 33 66.08/66.19 o 34 66.27/66.31 o 35 66.37/66.43 o 36 66.57/66.65 o 37 75.27/75.30 o 38 75.37/75.45 o 39 75.57/75.62 o 40 75.67/75.79 o 41 75.87/76.00 o 42 76.08/76.14 o 43 76.17/76.27 o 44 76.37/76.45 o 45 82.37/82.45 o 46 83.37/83.50 o 47 99.67/99.70 o 48 99.98/100.02 o 49 100.08/100.18 o 50 100.27/100.32 o 51 100.37/100.45 o 52 100.47/100.59 o 53 102.27/102.35 o 54 103.47/103.53 o 55 104.67/104.72 o 56 105.77/105.83 o 57 132.77/132.80 o 58 132.77/132.84 o 59 191.64/191.70 o 60 191.95/192.05 o 61 192.14/192.21 o 62 193.05/193.11 o 63 193.95/194.07 o 64 194.74/194.89 o 65 196.34/196.45 o 66 197.14/197.23 o 67 198.24/198.35 o 68 199.24/199.33 o 69 210.63/210.77 o 70 231.93/232.08 o 71 2519.55/2520.01 s SATISFIABLE 2519.55/2520.01 v <instantiation type="solution"> 2519.55/2520.01 v <list> b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[0][7] b[0][8] b[0][9] b[0][10] b[0][11] b[0][12] b[0][13] b[0][14] b[0][15] b[0][16] b[0][17] b[0][18] b[0][19] b[0][20] b[0][21] b[0][22] b[0][23] b[0][24] b[0][25] b[0][26] b[0][27] b[0][28] b[0][29] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[1][7] b[1][8] b[1][9] b[1][10] b[1][11] b[1][12] b[1][13] b[1][14] b[1][15] b[1][16] b[1][17] b[1][18] b[1][19] b[1][20] b[1][21] b[1][22] b[1][23] b[1][24] b[1][25] b[1][26] b[1][27] b[1][28] b[1][29] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[2][7] b[2][8] b[2][9] b[2][10] b[2][11] b[2][12] b[2][13] b[2][14] b[2][15] b[2][16] b[2][17] b[2][18] b[2][19] b[2][20] b[2][21] b[2][22] b[2][23] b[2][24] b[2][25] b[2][26] b[2][27] b[2][28] b[2][29] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[3][7] b[3][8] b[3][9] b[3][10] b[3][11] b[3][12] b[3][13] b[3][14] b[3][15] b[3][16] b[3][17] b[3][18] b[3][19] b[3][20] b[3][21] b[3][22] b[3][23] b[3][24] b[3][25] b[3][26] b[3][27] b[3][28] b[3][29] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[4][7] b[4][8] b[4][9] b[4][10] b[4][11] b[4][12] b[4][13] b[4][14] b[4][15] b[4][16] b[4][17] b[4][18] b[4][19] b[4][20] b[4][21] b[4][22] b[4][23] b[4][24] b[4][25] b[4][26] b[4][27] b[4][28] b[4][29] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[5][7] b[5][8] b[5][9] b[5][10] b[5][11] b[5][12] b[5][13] b[5][14] b[5][15] b[5][16] b[5][17] b[5][18] b[5][19] b[5][20] b[5][21] b[5][22] b[5][23] b[5][24] b[5][25] b[5][26] b[5][27] b[5][28] b[5][29] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] b[6][7] b[6][8] b[6][9] b[6][10] b[6][11] b[6][12] b[6][13] b[6][14] b[6][15] b[6][16] b[6][17] b[6][18] b[6][19] b[6][20] b[6][21] b[6][22] b[6][23] b[6][24] b[6][25] b[6][26] b[6][27] b[6][28] b[6][29] b[7][0] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[7][6] b[7][7] b[7][8] b[7][9] b[7][10] b[7][11] b[7][12] b[7][13] b[7][14] b[7][15] b[7][16] b[7][17] b[7][18] b[7][19] b[7][20] b[7][21] b[7][22] b[7][23] b[7][24] b[7][25] b[7][26] b[7][27] b[7][28] b[7][29] b[8][0] b[8][1] b[8][2] b[8][3] b[8][4] b[8][5] b[8][6] b[8][7] b[8][8] b[8][9] b[8][10] b[8][11] b[8][12] b[8][13] b[8][14] b[8][15] b[8][16] b[8][17] b[8][18] b[8][19] b[8][20] b[8][21] b[8][22] b[8][23] b[8][24] b[8][25] b[8][26] b[8][27] b[8][28] b[8][29] b[9][0] b[9][1] b[9][2] b[9][3] b[9][4] b[9][5] b[9][6] b[9][7] b[9][8] b[9][9] b[9][10] b[9][11] b[9][12] b[9][13] b[9][14] b[9][15] b[9][16] b[9][17] b[9][18] b[9][19] b[9][20] b[9][21] b[9][22] b[9][23] b[9][24] b[9][25] b[9][26] b[9][27] b[9][28] b[9][29] b[10][0] b[10][1] b[10][2] b[10][3] b[10][4] b[10][5] b[10][6] b[10][7] b[10][8] b[10][9] b[10][10] b[10][11] b[10][12] b[10][13] b[10][14] b[10][15] b[10][16] b[10][17] b[10][18] b[10][19] b[10][20] b[10][21] b[10][22] b[10][23] b[10][24] b[10][25] b[10][26] b[10][27] b[10][28] b[10][29] b[11][0] b[11][1] b[11][2] b[11][3] b[11][4] b[11][5] b[11][6] b[11][7] b[11][8] b[11][9] b[11][10] b[11][11] b[11][12] b[11][13] b[11][14] b[11][15] b[11][16] b[11][17] b[11][18] b[11][19] b[11][20] b[11][21] b[11][22] b[11][23] b[11][24] b[11][25] b[11][26] b[11][27] b[11][28] b[11][29] b[12][0] b[12][1] b[12][2] b[12][3] b[12][4] b[12][5] b[12][6] b[12][7] b[12][8] b[12][9] b[12][10] b[12][11] b[12][12] b[12][13] b[12][14] b[12][15] b[12][16] b[12][17] b[12][18] b[12][19] b[12][20] b[12][21] b[12][22] b[12][23] b[12][24] b[12][25] b[12][26] b[12][27] b[12][28] b[12][29] b[13][0] b[13][1] b[13][2] b[13][3] b[13][4] b[13][5] b[13][6] b[13][7] b[13][8] b[13][9] b[13][10] b[13][11] b[13][12] b[13][13] b[13][14] b[13][15] b[13][16] b[13][17] b[13][18] b[13][19] b[13][20] b[13][21] b[13][22] b[13][23] b[13][24] b[13][25] b[13][26] b[13][27] b[13][28] b[13][29] b[14][0] b[14][1] b[14][2] b[14][3] b[14][4] b[14][5] b[14][6] b[14][7] b[14][8] b[14][9] b[14][10] b[14][11] b[14][12] b[14][13] b[14][14] b[14][15] b[14][16] b[14][17] b[14][18] b[14][19] b[14][20] b[14][21] b[14][22] b[14][23] b[14][24] b[14][25] b[14][26] b[14][27] b[14][28] b[14][29] b[15][0] b[15][1] b[15][2] b[15][3] b[15][4] b[15][5] b[15][6] b[15][7] b[15][8] b[15][9] b[15][10] b[15][11] b[15][12] b[15][13] b[15][14] b[15][15] b[15][16] b[15][17] b[15][18] b[15][19] b[15][20] b[15][21] b[15][22] b[15][23] b[15][24] b[15][25] b[15][26] b[15][27] b[15][28] b[15][29] b[16][0] b[16][1] b[16][2] b[16][3] b[16][4] b[16][5] b[16][6] b[16][7] b[16][8] b[16][9] b[16][10] b[16][11] b[16][12] b[16][13] b[16][14] b[16][15] b[16][16] b[16][17] b[16][18] b[16][19] b[16][20] b[16][21] b[16][22] b[16][23] b[16][24] b[16][25] b[16][26] b[16][27] b[16][28] b[16][29] b[17][0] b[17][1] b[17][2] b[17][3] b[17][4] b[17][5] b[17][6] b[17][7] b[17][8] b[17][9] b[17][10] b[17][11] b[17][12] b[17][13] b[17][14] b[17][15] b[17][16] b[17][17] b[17][18] b[17][19] b[17][20] b[17][21] b[17][22] b[17][23] b[17][24] b[17][25] b[17][26] b[17][27] b[17][28] b[17][29] b[18][0] b[18][1] b[18][2] b[18][3] b[18][4] b[18][5] b[18][6] b[18][7] b[18][8] b[18][9] b[18][10] b[18][11] b[18][12] b[18][13] b[18][14] b[18][15] b[18][16] b[18][17] b[18][18] b[18][19] b[18][20] b[18][21] b[18][22] b[18][23] b[18][24] b[18][25] b[18][26] b[18][27] b[18][28] b[18][29] b[19][0] b[19][1] b[19][2] b[19][3] b[19][4] b[19][5] b[19][6] b[19][7] b[19][8] b[19][9] b[19][10] b[19][11] b[19][12] b[19][13] b[19][14] b[19][15] b[19][16] b[19][17] b[19][18] b[19][19] b[19][20] b[19][21] b[19][22] b[19][23] b[19][24] b[19][25] b[19][26] b[19][27] b[19][28] b[19][29] b[20][0] b[20][1] b[20][2] b[20][3] b[20][4] b[20][5] b[20][6] b[20][7] b[20][8] b[20][9] b[20][10] b[20][11] b[20][12] b[20][13] b[20][14] b[20][15] b[20][16] b[20][17] b[20][18] b[20][19] b[20][20] b[20][21] b[20][22] b[20][23] b[20][24] b[20][25] b[20][26] b[20][27] b[20][28] b[20][29] b[21][0] b[21][1] b[21][2] b[21][3] b[21][4] b[21][5] b[21][6] b[21][7] b[21][8] b[21][9] b[21][10] b[21][11] b[21][12] b[21][13] b[21][14] b[21][15] b[21][16] b[21][17] b[21][18] b[21][19] b[21][20] b[21][21] b[21][22] b[21][23] b[21][24] b[21][25] b[21][26] b[21][27] b[21][28] b[21][29] b[22][0] b[22][1] b[22][2] b[22][3] b[22][4] b[22][5] b[22][6] b[22][7] b[22][8] b[22][9] b[22][10] b[22][11] b[22][12] b[22][13] b[22][14] b[22][15] b[22][16] b[22][17] b[22][18] b[22][19] b[22][20] b[22][21] b[22][22] b[22][23] b[22][24] b[22][25] b[22][26] b[22][27] b[22][28] b[22][29] b[23][0] b[23][1] b[23][2] b[23][3] b[23][4] b[23][5] b[23][6] b[23][7] b[23][8] b[23][9] b[23][10] b[23][11] b[23][12] b[23][13] b[23][14] b[23][15] b[23][16] b[23][17] b[23][18] b[23][19] b[23][20] b[23][21] b[23][22] b[23][23] b[23][24] b[23][25] b[23][26] b[23][27] b[23][28] b[23][29] b[24][0] b[24][1] b[24][2] b[24][3] b[24][4] b[24][5] b[24][6] b[24][7] b[24][8] b[24][9] b[24][10] b[24][11] b[24][12] b[24][13] b[24][14] b[24][15] b[24][16] b[24][17] b[24][18] b[24][19] b[24][20] b[24][21] b[24][22] b[24][23] b[24][24] b[24][25] b[24][26] b[24][27] b[24][28] b[24][29] b[25][0] b[25][1] b[25][2] b[25][3] b[25][4] b[25][5] b[25][6] b[25][7] b[25][8] b[25][9] b[25][10] b[25][11] b[25][12] b[25][13] b[25][14] b[25][15] b[25][16] b[25][17] b[25][18] b[25][19] b[25][20] b[25][21] b[25][22] b[25][23] b[25][24] b[25][25] b[25][26] b[25][27] b[25][28] b[25][29] b[26][0] b[26][1] b[26][2] b[26][3] b[26][4] b[26][5] b[26][6] b[26][7] b[26][8] b[26][9] b[26][10] b[26][11] b[26][12] b[26][13] b[26][14] b[26][15] b[26][16] b[26][17] b[26][18] b[26][19] b[26][20] b[26][21] b[26][22] b[26][23] b[26][24] b[26][25] b[26][26] b[26][27] b[26][28] b[26][29] b[27][0] b[27][1] b[27][2] b[27][3] b[27][4] b[27][5] b[27][6] b[27][7] b[27][8] b[27][9] b[27][10] b[27][11] b[27][12] b[27][13] b[27][14] b[27][15] b[27][16] b[27][17] b[27][18] b[27][19] b[27][20] b[27][21] b[27][22] b[27][23] b[27][24] b[27][25] b[27][26] b[27][27] b[27][28] b[27][29] b[28][0] b[28][1] b[28][2] b[28][3] b[28][4] b[28][5] b[28][6] b[28][7] b[28][8] b[28][9] b[28][10] b[28][11] b[28][12] b[28][13] b[28][14] b[28][15] b[28][16] b[28][17] b[28][18] b[28][19] b[28][20] b[28][21] b[28][22] b[28][23] b[28][24] b[28][25] b[28][26] b[28][27] b[28][28] b[28][29] b[29][0] b[29][1] b[29][2] b[29][3] b[29][4] b[29][5] b[29][6] b[29][7] b[29][8] b[29][9] b[29][10] b[29][11] b[29][12] b[29][13] b[29][14] b[29][15] b[29][16] b[29][17] b[29][18] b[29][19] b[29][20] b[29][21] b[29][22] b[29][23] b[29][24] b[29][25] b[29][26] b[29][27] b[29][28] b[29][29] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] </list> 2519.55/2520.01 v <values> 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 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 1 1 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 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 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 0 0 0 1 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 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 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 2519.55/2520.01 v </instantiation>
OK 71
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 (1398 MiB free) memory of node 1: 16384 MiB (2633 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303599-1534022496/watcher-4303599-1534022496 -o /tmp/evaluation-result-4303599-1534022496/solver-4303599-1534022496 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1533992207-26950 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 691155025 HOME/instance-4303599-1534022496.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=30046, runsolver pid=30043 Current StackSize limit: 8192 KiB [startup+0.100882 s]* /proc/loadavg: 2.00 2.01 2.05 3/187 30047 /proc/meminfo: memFree=4123884/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=31744 memory=5984 CPUtime=0.1 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 1697 0 0 0 10 0 0 0 20 0 1 0 219812805 32505856 1496 33554432000 4194304 7499544 140735820123696 140735820116936 6085410 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 7936 1496 666 807 0 927 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 31744 KiB Current children cumulated memory: 5984 KiB [startup+0.209422 s]* /proc/loadavg: 2.00 2.01 2.05 3/187 30047 /proc/meminfo: memFree=4120252/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=32860 memory=7032 CPUtime=0.2 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 2029 0 0 0 20 0 0 0 20 0 1 0 219812805 33648640 1758 33554432000 4194304 7499544 140735820123696 140735820116936 6010270 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 8215 1758 666 807 0 1206 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 32860 KiB Current children cumulated memory: 7032 KiB [startup+0.308909 s]* /proc/loadavg: 2.00 2.01 2.05 3/187 30047 /proc/meminfo: memFree=4116904/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=34164 memory=8248 CPUtime=0.3 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 2414 0 0 0 30 0 0 0 20 0 1 0 219812805 34983936 2062 33554432000 4194304 7499544 140735820123696 140735820116936 140454514605029 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 8541 2062 666 807 0 1532 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 34164 KiB Current children cumulated memory: 8248 KiB [startup+0.700229 s] /proc/loadavg: 2.00 2.01 2.05 3/187 30047 /proc/meminfo: memFree=4110252/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=38356 memory=12128 CPUtime=0.68 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 3670 0 0 0 68 0 0 0 20 0 1 0 219812805 39276544 3032 33554432000 4194304 7499544 140735820123696 140735820116936 6094489 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 9589 3032 666 807 0 2580 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 38356 KiB Current children cumulated memory: 12128 KiB [startup+1.50024 s] /proc/loadavg: 2.00 2.01 2.05 3/187 30047 /proc/meminfo: memFree=4091628/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=51320 memory=24980 CPUtime=1.48 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 6951 0 0 0 147 1 0 0 20 0 1 0 219812805 52551680 6245 33554432000 4194304 7499544 140735820123696 140735820116936 140454521394625 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 12830 6245 696 807 0 5821 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 51320 KiB Current children cumulated memory: 24980 KiB [startup+3.10938 s] /proc/loadavg: 2.00 2.01 2.05 3/187 30047 /proc/meminfo: memFree=3992548/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=98772 memory=72616 CPUtime=3.09 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 22346 0 0 0 306 3 0 0 20 0 1 0 219812805 101142528 18154 33554432000 4194304 7499544 140735820123696 140735820114696 5899441 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 24693 18154 696 807 0 17684 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 98772 KiB Current children cumulated memory: 72616 KiB [startup+6.30023 s] /proc/loadavg: 2.00 2.01 2.05 3/187 30047 /proc/meminfo: memFree=3862400/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=179192 memory=153188 CPUtime=6.29 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 44516 0 0 0 621 8 0 0 20 0 1 0 219812805 183492608 38297 33554432000 4194304 7499544 140735820123696 140735820114696 5892419 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 44798 38297 696 807 0 37789 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 179192 KiB Current children cumulated memory: 153188 KiB [startup+12.7002 s] /proc/loadavg: 2.00 2.01 2.05 3/187 30047 /proc/meminfo: memFree=3736380/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=310536 memory=284392 CPUtime=12.68 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 99170 0 0 0 1255 13 0 0 20 0 1 0 219812805 317988864 71098 33554432000 4194304 7499544 140735820123696 140735820114696 5906334 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 77634 71098 696 807 0 70625 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 310536 KiB Current children cumulated memory: 284392 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.05 3/187 30047 /proc/meminfo: memFree=3529468/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=510792 memory=484500 CPUtime=25.48 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 153264 0 0 0 2528 20 0 0 20 0 1 0 219812805 523051008 121125 33554432000 4194304 7499544 140735820123696 140735820114696 140454521396492 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 127698 121125 696 807 0 120689 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 510792 KiB Current children cumulated memory: 484500 KiB [startup+51.1094 s] /proc/loadavg: 1.95 2.00 2.04 3/187 30047 /proc/meminfo: memFree=3217092/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=817360 memory=791124 CPUtime=51.08 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 277389 0 0 0 5077 31 0 0 20 0 1 0 219812805 836976640 197781 33554432000 4194304 7499544 140735820123696 140735820114696 140454518090444 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 204340 197781 696 807 0 197331 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 817360 KiB Current children cumulated memory: 791124 KiB [startup+102.3 s] /proc/loadavg: 1.98 2.00 2.04 3/187 30048 /proc/meminfo: memFree=3167164/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841260 CPUtime=102.27 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 558161 0 0 0 10181 46 0 0 20 0 1 0 219812805 887062528 210315 33554432000 4194304 7499544 140735820123696 140735820118712 5584982 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210315 794 807 0 209559 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841260 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.04 3/187 30049 /proc/meminfo: memFree=3166184/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=162.27 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 612347 0 0 0 16179 48 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 4257895 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 30051 /proc/meminfo: memFree=3166284/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=222.23 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 762336 0 0 0 22168 55 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 4580477 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 222.23 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB [startup+282.3 s] /proc/loadavg: 2.08 2.01 2.05 3/187 30052 /proc/meminfo: memFree=3166740/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=282.19 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 835579 0 0 0 28160 59 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 4379010 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 282.19 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB [startup+342.3 s] /proc/loadavg: 2.03 2.01 2.05 3/187 30053 /proc/meminfo: memFree=3166716/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=342.16 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 936227 0 0 0 34153 63 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 4246871 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 342.16 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB [startup+402.3 s] /proc/loadavg: 2.01 2.01 2.05 3/187 30055 /proc/meminfo: memFree=3166668/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=402.12 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 992984 0 0 0 40147 65 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 4580235 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 402.12 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 30056 /proc/meminfo: memFree=3166412/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=462.07 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 1041330 0 0 0 46140 67 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 4379010 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 462.07 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB ################ # More data... # ################ /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 1721.91 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB [startup+1782.3 s] /proc/loadavg: 2.08 2.03 2.05 3/187 30100 /proc/meminfo: memFree=3165832/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=1781.9 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 1108011 0 0 0 178120 70 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 5585027 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 1781.9 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB [startup+1842.3 s] /proc/loadavg: 2.03 2.03 2.05 3/187 30101 /proc/meminfo: memFree=3165960/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=1841.9 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 1108923 0 0 0 184120 70 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 4579688 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 1841.9 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB [startup+1902.3 s] /proc/loadavg: 2.01 2.02 2.05 3/187 30115 /proc/meminfo: memFree=3164404/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=1901.89 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 1109831 0 0 0 190119 70 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 4579850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 1901.89 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 30116 /proc/meminfo: memFree=3164608/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=1961.89 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 1110700 0 0 0 196119 70 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 5604078 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 1961.89 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 30118 /proc/meminfo: memFree=3165116/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=2021.88 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 1111572 0 0 0 202118 70 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 5163897 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 2021.88 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 30119 /proc/meminfo: memFree=3165324/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=2081.88 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 1112431 0 0 0 208118 70 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 4398092 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 2081.88 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 30120 /proc/meminfo: memFree=3165024/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=2141.87 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 1113264 0 0 0 214117 70 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 5164040 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 2141.87 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 30122 /proc/meminfo: memFree=3164928/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=2201.87 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 1114100 0 0 0 220117 70 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 4579571 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 2201.87 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 30123 /proc/meminfo: memFree=3164832/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=2261.86 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 1114937 0 0 0 226116 70 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 4579571 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 2261.86 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 30132 /proc/meminfo: memFree=3164524/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=2321.86 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 1115773 0 0 0 232116 70 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 4257879 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 2321.86 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 30158 /proc/meminfo: memFree=3163284/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=2381.85 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 1116612 0 0 0 238115 70 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 4579850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 2381.85 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 30159 /proc/meminfo: memFree=3163968/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=2441.85 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 1117455 0 0 0 244115 70 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 4579850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 2441.85 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 30160 /proc/meminfo: memFree=3163760/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=2501.84 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 1118297 0 0 0 250114 70 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 5163950 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 2501.84 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.16 2.05 2.06 3/188 30221 /proc/meminfo: memFree=2867352/32770624 swapFree=67108860/67108860 [pid=30046] ppid=30043 vsize=866272 memory=841264 CPUtime=2519.55 cores=0,2,4,6 /proc/30046/stat : 30046 (MistralXCSP) R 30043 30046 26919 0 -1 4202496 1118430 0 0 0 251885 70 0 0 20 0 1 0 219812805 887062528 210316 33554432000 4194304 7499544 140735820123696 140735820118712 4579850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 27185152 140735820129390 140735820129539 140735820129539 140735820132297 0 /proc/30046/statm: 216568 210316 794 807 0 209559 0 Current children cumulated CPU time: 2519.55 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841264 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 30046 was just reported to runsolver # cumulated CPU time of all completed processes: user=2518.86 s, system=0.705937 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520.01 CPU time (s): 2519.56 CPU user time (s): 2518.86 CPU system time (s): 0.705937 CPU usage (%): 99.9822 Max. virtual memory (cumulated for all children) (KiB): 866272 Max. memory (cumulated for all children) (KiB): 841264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2518.86 system time used= 0.705937 maximum resident set size= 841284 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1118468 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 342 involuntary context switches= 3194 # summary of solver processes directly reported to runsolver: # pid: 30046 # total CPU time (s): 2519.56 # total CPU user time (s): 2518.86 # total CPU system time (s): 0.705937 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.0902 second user time and 18.3102 second system time The end
Begin job on node151 at 2018-08-11 23:21:36 IDJOB=4303599 IDBENCH=141483 IDSOLVER=2779 FILE ID=node151/4303599-1534022496 RUNJOBID= node151-1533992207-26950 PBS_JOBID= 21036947 Free space on /tmp= 40848 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m1-30_c18.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303599-1534022496/watcher-4303599-1534022496 -o /tmp/evaluation-result-4303599-1534022496/solver-4303599-1534022496 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1533992207-26950 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 691155025 HOME/instance-4303599-1534022496.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 643e62d73285ca0df01da7486f80c5bf RANDOM SEED=691155025 node151.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.87 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.87 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.87 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.87 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: 4129716 kB MemAvailable: 31780088 kB Buffers: 252832 kB Cached: 27277856 kB SwapCached: 0 kB Active: 10894828 kB Inactive: 16815496 kB Active(anon): 127080 kB Inactive(anon): 104376 kB Active(file): 10767748 kB Inactive(file): 16711120 kB Unevictable: 7836 kB Mlocked: 7836 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 9572 kB Writeback: 0 kB AnonPages: 186444 kB Mapped: 60548 kB Shmem: 49800 kB Slab: 628456 kB SReclaimable: 599964 kB SUnreclaim: 28492 kB KernelStack: 3344 kB PageTables: 5508 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 501396 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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 /tmp at the end= 40844 MiB End job on node151 at 2018-08-12 00:03:36