Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-06-15 | SAT (TO) | 71 | 2400.04 | 2400.5 |
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 16062018 57.37/57.49 o 0 57.47/57.54 o 1 57.47/57.58 o 2 57.57/57.63 o 3 57.57/57.67 o 4 57.67/57.71 o 5 57.67/57.75 o 6 57.67/57.79 o 7 57.77/57.84 o 8 57.77/57.89 o 9 57.87/57.93 o 10 57.87/57.98 o 11 57.98/58.03 o 12 57.98/58.10 o 13 58.08/58.15 o 14 58.17/58.22 o 15 64.07/64.16 o 16 64.26/64.31 o 17 64.36/64.45 o 18 64.56/64.60 o 19 64.66/64.74 o 20 64.76/64.88 o 21 64.97/65.02 o 22 65.07/65.15 o 23 65.27/65.30 o 24 65.37/65.43 o 25 65.47/65.55 o 26 65.57/65.68 o 27 65.77/65.80 o 28 65.87/65.92 o 29 65.97/66.04 o 30 66.07/66.17 o 31 66.17/66.29 o 32 66.37/66.41 o 33 66.47/66.53 o 34 66.57/66.65 o 35 66.67/66.77 o 36 66.87/66.98 o 37 75.46/75.50 o 38 75.56/75.65 o 39 75.76/75.82 o 40 75.86/75.99 o 41 76.16/76.20 o 42 76.26/76.33 o 43 76.36/76.47 o 44 76.56/76.64 o 45 82.45/82.53 o 46 83.46/83.55 o 47 99.15/99.29 o 48 99.55/99.61 o 49 99.65/99.76 o 50 99.75/99.89 o 51 99.96/100.03 o 52 100.06/100.17 o 53 101.74/101.87 o 54 102.84/102.99 o 55 104.05/104.15 o 56 105.14/105.22 o 57 131.13/131.21 o 58 131.13/131.25 o 59 186.49/186.64 o 60 186.80/186.96 o 61 187.01/187.12 o 62 187.80/187.99 o 63 188.70/188.89 o 64 189.50/189.68 o 65 191.00/191.17 o 66 191.79/191.92 o 67 192.79/192.95 o 68 193.69/193.87 o 69 204.39/204.54 o 70 224.37/224.52 o 71 2400.02/2400.50 s SATISFIABLE 2400.02/2400.50 v <instantiation type="solution"> 2400.02/2400.50 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> 2400.02/2400.50 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> 2400.02/2400.50 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 (7811 MiB free) memory of node 1: 16384 MiB (14105 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289586-1532200546/watcher-4289586-1532200546 -o /tmp/evaluation-result-4289586-1532200546/solver-4289586-1532200546 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532190500-23545 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1499975044 HOME/instance-4289586-1532200546.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=25174, runsolver pid=25171 [startup+0.100108 s]* /proc/loadavg: 2.00 2.01 2.05 3/187 25175 /proc/meminfo: memFree=22440556/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=31744 memory=5972 CPUtime=0.1 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 1707 0 0 0 10 0 0 0 20 0 1 0 37617929 32505856 1493 33554432000 4194304 7498468 140723560094112 140723560091112 140446868876261 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 7936 1493 666 807 0 927 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 31744 KiB Current children cumulated memory: 5972 KiB [startup+0.209329 s]* /proc/loadavg: 2.00 2.01 2.05 3/187 25175 /proc/meminfo: memFree=22438944/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=32860 memory=7296 CPUtime=0.21 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 2046 0 0 0 21 0 0 0 20 0 1 0 37617929 33648640 1824 33554432000 4194304 7498468 140723560094112 140723560091112 140446868876261 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 8215 1824 666 807 0 1206 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 32860 KiB Current children cumulated memory: 7296 KiB [startup+0.308737 s]* /proc/loadavg: 2.00 2.01 2.05 3/187 25175 /proc/meminfo: memFree=22437828/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=34296 memory=8248 CPUtime=0.3 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 2439 0 0 0 30 0 0 0 20 0 1 0 37617929 35119104 2062 33554432000 4194304 7498468 140723560094112 140723560091112 140446868876261 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 8574 2062 666 807 0 1565 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 34296 KiB Current children cumulated memory: 8248 KiB [startup+0.700239 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25175 /proc/meminfo: memFree=22434712/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=38488 memory=12392 CPUtime=0.69 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 3716 0 0 0 68 1 0 0 20 0 1 0 37617929 39411712 3098 33554432000 4194304 7498468 140723560094112 140723560091112 5877218 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 9622 3098 666 807 0 2613 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 38488 KiB Current children cumulated memory: 12392 KiB [startup+1.50025 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25175 /proc/meminfo: memFree=22428472/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=52128 memory=25552 CPUtime=1.49 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 7040 0 0 0 148 1 0 0 20 0 1 0 37617929 53379072 6388 33554432000 4194304 7498468 140723560094112 140723560084936 140446872357632 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 13032 6388 695 807 0 6023 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 52128 KiB Current children cumulated memory: 25552 KiB [startup+3.10922 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25175 /proc/meminfo: memFree=22376032/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=99384 memory=72800 CPUtime=3.1 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 22501 0 0 0 307 3 0 0 20 0 1 0 37617929 101769216 18200 33554432000 4194304 7498468 140723560094112 140723560085032 140446872361142 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 24846 18200 695 807 0 17837 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 99384 KiB Current children cumulated memory: 72800 KiB [startup+6.30023 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25175 /proc/meminfo: memFree=22299532/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=179560 memory=152972 CPUtime=6.29 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 44551 0 0 0 622 7 0 0 20 0 1 0 37617929 183869440 38243 33554432000 4194304 7498468 140723560094112 140723560085032 140446868868844 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 44890 38243 695 807 0 37881 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 179560 KiB Current children cumulated memory: 152972 KiB [startup+12.7002 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25175 /proc/meminfo: memFree=22174420/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=310536 memory=283808 CPUtime=12.68 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 99005 0 0 0 1257 11 0 0 20 0 1 0 37617929 317988864 70952 33554432000 4194304 7498468 140723560094112 140723560085112 5902544 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 77634 70952 695 807 0 70625 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 310536 KiB Current children cumulated memory: 283808 KiB [startup+25.5002 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25175 /proc/meminfo: memFree=21967300/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=509964 memory=483124 CPUtime=25.48 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 153025 0 0 0 2530 18 0 0 20 0 1 0 37617929 522203136 120781 33554432000 4194304 7498468 140723560094112 140723560085032 4564592 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 127491 120781 695 807 0 120482 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 509964 KiB Current children cumulated memory: 483124 KiB [startup+51.1093 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25175 /proc/meminfo: memFree=21658304/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=813008 memory=786352 CPUtime=51.08 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 275220 0 0 0 5080 28 0 0 20 0 1 0 37617929 832520192 196588 33554432000 4194304 7498468 140723560094112 140723560085032 4564592 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 203252 196588 695 807 0 196243 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 813008 KiB Current children cumulated memory: 786352 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25176 /proc/meminfo: memFree=21602944/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=102.24 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 539579 0 0 0 10182 42 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 4581034 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 102.24 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25177 /proc/meminfo: memFree=21602528/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=162.21 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 595018 0 0 0 16176 45 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 5585459 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 162.21 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB [startup+222.3 s] /proc/loadavg: 1.93 2.00 2.04 3/187 25239 /proc/meminfo: memFree=21578436/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=222.17 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 663236 0 0 0 22167 50 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 4398012 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 222.17 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB [startup+282.3 s] /proc/loadavg: 1.97 2.00 2.04 3/188 25248 /proc/meminfo: memFree=21578184/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=282.14 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 733048 0 0 0 28161 53 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 5605141 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 282.14 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB [startup+342.3 s] /proc/loadavg: 1.99 2.00 2.04 3/188 25249 /proc/meminfo: memFree=21577580/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=342.11 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 785723 0 0 0 34156 55 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 4245328 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 342.11 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB [startup+402.3 s] /proc/loadavg: 2.48 2.12 2.08 3/188 25250 /proc/meminfo: memFree=21577860/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=402.08 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 823872 0 0 0 40151 57 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 4398012 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 402.08 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB [startup+462.3 s] /proc/loadavg: 2.21 2.12 2.08 3/188 25251 /proc/meminfo: memFree=21577632/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=462.05 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 844601 0 0 0 46147 58 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 4246887 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 462.05 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB ################ # More data... # ################ /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 1661.88 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25288 /proc/meminfo: memFree=21577012/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=1721.88 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 874090 0 0 0 172128 60 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 4580667 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 1721.88 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25289 /proc/meminfo: memFree=21577124/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=1781.87 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 875361 0 0 0 178127 60 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 5585459 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 1781.87 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25290 /proc/meminfo: memFree=21576868/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=1841.87 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 876622 0 0 0 184127 60 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 4246815 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 1841.87 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25291 /proc/meminfo: memFree=21576604/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=1901.86 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 877798 0 0 0 190126 60 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 4378930 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 1901.86 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25292 /proc/meminfo: memFree=21576848/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=1961.86 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 879066 0 0 0 196126 60 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 5574915 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 1961.86 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25293 /proc/meminfo: memFree=21576840/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=2021.85 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 880251 0 0 0 202125 60 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 4580282 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 2021.85 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 25302 /proc/meminfo: memFree=21576372/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=2081.85 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 881430 0 0 0 208125 60 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 4257840 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 2081.85 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25303 /proc/meminfo: memFree=21577752/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=2141.84 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 882579 0 0 0 214124 60 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 4581090 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 2141.84 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB [startup+2202.3 s] /proc/loadavg: 2.06 2.03 2.05 3/188 25305 /proc/meminfo: memFree=21576388/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=2201.84 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 883729 0 0 0 220123 61 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 5585459 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 2201.84 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB [startup+2262.3 s] /proc/loadavg: 2.02 2.02 2.05 3/188 25306 /proc/meminfo: memFree=21576268/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=2261.84 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 884884 0 0 0 226123 61 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 5585459 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 2261.84 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB [startup+2322.3 s] /proc/loadavg: 2.01 2.02 2.05 3/189 25308 /proc/meminfo: memFree=21576212/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=2321.83 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 886036 0 0 0 232122 61 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 5585442 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 2321.83 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 25310 /proc/meminfo: memFree=21576376/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=2381.83 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 887195 0 0 0 238122 61 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 4580120 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 2381.83 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.5 s] /proc/loadavg: 2.00 2.01 2.05 3/188 25310 /proc/meminfo: memFree=21576504/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=2400.02 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 887317 0 0 0 239941 61 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 4580714 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 2400.02 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.5 s] # the end of solver process 25174 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.42 s, system=0.619922 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.5 s] /proc/loadavg: 2.00 2.01 2.05 3/188 25310 /proc/meminfo: memFree=21576504/32770624 swapFree=67108860/67108860 [pid=25174] ppid=25171 vsize=866272 memory=841236 CPUtime=2400.02 cores=0,2,4,6 /proc/25174/stat : 25174 (MistralXCSP) R 25171 25174 23514 0 -1 4202496 887317 0 0 0 239941 61 0 0 20 0 1 0 37617929 887062528 210309 33554432000 4194304 7498468 140723560094112 140723560089128 4580714 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 11390976 140723560096877 140723560097027 140723560097027 140723560099785 0 /proc/25174/statm: 216568 210309 788 807 0 209559 0 Current children cumulated CPU time: 2400.02 s Current children cumulated vsize: 866272 KiB Current children cumulated memory: 841236 KiB Child status: 0 Real time (s): 2400.5 CPU time (s): 2400.04 CPU user time (s): 2399.42 CPU system time (s): 0.619922 CPU usage (%): 99.9806 Max. virtual memory (cumulated for all children) (KiB): 866272 Max. memory (cumulated for all children) (KiB): 841236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.42 system time used= 0.619922 maximum resident set size= 841256 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 887356 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= 320 involuntary context switches= 3503 # summary of solver processes directly reported to runsolver: # pid: 25174 # total CPU time (s): 2400.04 # total CPU user time (s): 2399.42 # total CPU system time (s): 0.619922 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.56016 second user time and 18.2173 second system time The end
Begin job on node150 at 2018-07-21 21:15:47 IDJOB=4289586 IDBENCH=141483 IDSOLVER=2741 FILE ID=node150/4289586-1532200546 RUNJOBID= node150-1532190500-23545 PBS_JOBID= 21018925 Free space on /tmp= 57240 MiB SOLVER NAME= Mistral-2.0 2018-06-15 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-4289586-1532200546/watcher-4289586-1532200546 -o /tmp/evaluation-result-4289586-1532200546/solver-4289586-1532200546 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532190500-23545 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1499975044 HOME/instance-4289586-1532200546.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 643e62d73285ca0df01da7486f80c5bf RANDOM SEED=1499975044 node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 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.76 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.76 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.76 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: 22443440 kB MemAvailable: 31934752 kB Buffers: 218268 kB Cached: 9486456 kB SwapCached: 0 kB Active: 1034372 kB Inactive: 8728500 kB Active(anon): 61040 kB Inactive(anon): 16868 kB Active(file): 973332 kB Inactive(file): 8711632 kB Unevictable: 7752 kB Mlocked: 7752 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 12444 kB Writeback: 0 kB AnonPages: 66016 kB Mapped: 36408 kB Shmem: 17032 kB Slab: 261440 kB SReclaimable: 234808 kB SUnreclaim: 26632 kB KernelStack: 3328 kB PageTables: 5008 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 350108 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 57232 MiB End job on node150 at 2018-07-21 21:55:47