Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-06-15 | SAT (TO) | 8596 | 2400.02 | 2400.01 |
Name | QuadraticAssignment/ QuadraticAssignment-sko42_c18.xml |
MD5SUM | ee3f8a7d47c87a95d16b6f1492d4a345 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 8186 |
Best CPU time to get the best result obtained on this benchmark | 2520.13 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1806 |
Number of constraints | 862 |
Number of domains | 2 |
Minimum domain size | 8 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":8,"count":861},{"size":42,"count":42}] |
Minimum variable degree | 0 |
Maximum variable degree | 42 |
Distribution of variable degrees | [{"degree":0,"count":903},{"degree":2,"count":861},{"degree":42,"count":42}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 42 |
Distribution of constraint arities | [{"arity":3,"count":861},{"arity":42,"count":1}] |
Number of extensional constraints | 861 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":861},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c Mistral 16062018 0.51/0.53 o 10169 0.51/0.54 o 10138 0.51/0.54 o 10099 0.51/0.57 o 10075 0.51/0.57 o 10065 0.51/0.58 o 10062 0.60/0.63 o 10056 0.79/0.88 o 10053 1.00/1.05 o 10052 1.29/1.36 o 9991 1.29/1.38 o 9959 1.29/1.40 o 9921 1.59/1.62 o 9911 2.10/2.14 o 9843 2.19/2.20 o 9839 2.19/2.22 o 9803 2.19/2.23 o 9761 3.00/3.06 o 9735 3.00/3.08 o 9733 3.29/3.30 o 9676 3.29/3.31 o 9675 4.18/4.23 o 9660 4.18/4.25 o 9654 4.48/4.51 o 9651 4.68/4.70 o 9641 5.59/5.64 o 9597 5.59/5.65 o 9580 6.19/6.28 o 9553 7.29/7.32 o 9529 7.29/7.38 o 9512 7.49/7.57 o 9495 8.19/8.25 o 9427 8.29/8.30 o 9405 8.39/8.48 o 9396 9.79/9.84 o 9376 9.79/9.85 o 9334 10.79/10.82 o 9282 12.29/12.32 o 9240 16.48/16.51 o 9238 16.48/16.52 o 9235 16.48/16.57 o 9233 16.68/16.71 o 9230 17.09/17.19 o 9194 18.38/18.40 o 9193 22.18/22.22 o 9120 32.28/32.36 o 9111 35.48/35.56 o 9095 35.48/35.57 o 9017 36.58/36.68 o 9014 39.48/39.54 o 9006 42.78/42.85 o 9005 44.68/44.71 o 8983 44.68/44.72 o 8967 48.67/48.79 o 8963 61.47/61.56 o 8831 61.87/62.00 o 8799 65.57/65.61 o 8765 103.66/103.79 o 8759 106.07/106.16 o 8728 106.07/106.17 o 8693 311.65/311.71 o 8683 312.06/312.12 o 8681 413.55/413.65 o 8676 413.55/413.66 o 8664 413.55/413.68 o 8650 713.97/714.08 o 8648 714.76/714.82 o 8634 1253.17/1253.25 o 8632 1424.18/1424.29 o 8629 1426.99/1427.01 o 8626 1456.18/1456.28 o 8624 1667.99/1668.05 o 8622 1850.28/1850.37 o 8616 1850.48/1850.52 o 8615 1850.48/1850.52 o 8602 1857.09/1857.11 o 8598 2297.91/2297.90 o 8596 2400.02/2400.01 s SATISFIABLE 2400.02/2400.01 v <instantiation type="solution"> 2400.02/2400.01 v <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[32][0] d[32][1] d[32][2] d[32][3] d[32][4] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[33][0] d[33][1] d[33][2] d[33][3] d[33][4] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[34][0] d[34][1] d[34][2] d[34][3] d[34][4] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[35][0] d[35][1] d[35][2] d[35][3] d[35][4] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[36][0] d[36][1] d[36][2] d[36][3] d[36][4] d[36][5] d[36][6] d[36][7] d[36][8] d[36][9] d[36][10] d[36][11] d[36][12] d[36][13] d[36][14] d[36][15] d[36][16] d[36][17] d[36][18] d[36][19] d[36][20] d[36][21] d[36][22] d[36][23] d[36][24] d[36][25] d[36][26] d[36][27] d[36][28] d[36][29] d[36][30] d[36][31] d[36][32] d[36][33] d[36][34] d[36][35] d[36][36] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[37][0] d[37][1] d[37][2] d[37][3] d[37][4] d[37][5] d[37][6] d[37][7] d[37][8] d[37][9] d[37][10] d[37][11] d[37][12] d[37][13] d[37][14] d[37][15] d[37][16] d[37][17] d[37][18] d[37][19] d[37][20] d[37][21] d[37][22] d[37][23] d[37][24] d[37][25] d[37][26] d[37][27] d[37][28] d[37][29] d[37][30] d[37][31] d[37][32] d[37][33] d[37][34] d[37][35] d[37][36] d[37][37] d[37][38] d[37][39] d[37][40] d[37][41] d[38][0] d[38][1] d[38][2] d[38][3] d[38][4] d[38][5] d[38][6] d[38][7] d[38][8] d[38][9] d[38][10] d[38][11] d[38][12] d[38][13] d[38][14] d[38][15] d[38][16] d[38][17] d[38][18] d[38][19] d[38][20] d[38][21] d[38][22] d[38][23] d[38][24] d[38][25] d[38][26] d[38][27] d[38][28] d[38][29] d[38][30] d[38][31] d[38][32] d[38][33] d[38][34] d[38][35] d[38][36] d[38][37] d[38][38] d[38][39] d[38][40] d[38][41] d[39][0] d[39][1] d[39][2] d[39][3] d[39][4] d[39][5] d[39][6] d[39][7] d[39][8] d[39][9] d[39][10] d[39][11] d[39][12] d[39][13] d[39][14] d[39][15] d[39][16] d[39][17] d[39][18] d[39][19] d[39][20] d[39][21] d[39][22] d[39][23] d[39][24] d[39][25] d[39][26] d[39][27] d[39][28] d[39][29] d[39][30] d[39][31] d[39][32] d[39][33] d[39][34] d[39][35] d[39][36] d[39][37] d[39][38] d[39][39] d[39][40] d[39][41] d[40][0] d[40][1] d[40][2] d[40][3] d[40][4] d[40][5] d[40][6] d[40][7] d[40][8] d[40][9] d[40][10] d[40][11] d[40][12] d[40][13] d[40][14] d[40][15] d[40][16] d[40][17] d[40][18] d[40][19] d[40][20] d[40][21] d[40][22] d[40][23] d[40][24] d[40][25] d[40][26] d[40][27] d[40][28] d[40][29] d[40][30] d[40][31] d[40][32] d[40][33] d[40][34] d[40][35] d[40][36] d[40][37] d[40][38] d[40][39] d[40][40] d[40][41] d[41][0] d[41][1] d[41][2] d[41][3] d[41][4] d[41][5] d[41][6] d[41][7] d[41][8] d[41][9] d[41][10] d[41][11] d[41][12] d[41][13] d[41][14] d[41][15] d[41][16] d[41][17] d[41][18] d[41][19] d[41][20] d[41][21] d[41][22] d[41][23] d[41][24] d[41][25] d[41][26] d[41][27] d[41][28] d[41][29] d[41][30] d[41][31] d[41][32] d[41][33] d[41][34] d[41][35] d[41][36] d[41][37] d[41][38] d[41][39] d[41][40] d[41][41] </list> 2400.02/2400.01 v <values> 24 4 20 31 32 12 7 17 41 37 1 25 18 39 40 11 0 34 26 8 9 6 16 19 13 3 14 15 2 29 33 36 27 23 28 10 22 35 38 21 30 5 * 5 4 0 2 1 5 6 5 4 0 1 2 3 5 1 0 1 4 1 0 1 5 2 1 2 0 0 2 4 2 0 0 2 5 1 0 1 0 2 1 5 * * 2 4 2 0 1 3 5 2 5 5 5 0 5 6 4 1 5 1 0 6 2 0 0 0 2 2 1 5 2 6 0 0 1 0 2 5 2 2 0 1 * * * 5 10 0 4 0 2 10 2 4 0 4 5 0 5 0 1 2 0 6 1 3 2 5 0 2 1 5 1 5 1 0 0 0 2 0 10 0 1 0 * * * * 2 5 2 10 6 0 2 5 1 2 0 2 2 1 0 10 0 3 6 1 10 2 1 0 6 0 4 0 0 3 0 5 0 2 2 2 2 0 * * * * * 5 5 2 0 0 1 0 1 2 0 1 0 5 5 10 0 2 0 0 4 10 5 5 1 5 2 0 10 5 3 0 2 0 2 4 0 2 * * * * * * 0 0 0 1 5 5 5 1 0 1 0 2 2 4 5 2 3 6 0 5 0 0 0 0 2 1 1 1 0 2 2 5 0 5 10 0 * * * * * * * 2 3 2 0 3 0 5 1 2 6 2 2 0 1 0 0 0 0 0 2 2 0 2 0 2 2 2 5 5 0 5 0 0 2 5 * * * * * * * * 5 6 10 10 5 4 5 2 5 5 0 2 5 0 0 5 1 2 0 0 5 2 0 0 2 2 0 2 2 1 3 0 2 0 * * * * * * * * * 0 4 1 10 1 5 5 2 0 2 6 10 1 10 2 1 5 5 0 1 3 10 1 0 0 2 5 0 5 4 0 0 5 * * * * * * * * * * 0 0 10 10 0 5 10 0 2 0 1 0 0 5 1 2 5 0 10 0 10 10 2 3 2 0 1 2 2 2 0 4 * * * * * * * * * * * 3 10 0 1 0 2 3 5 0 2 0 0 0 10 0 0 1 1 5 1 5 10 0 0 1 1 10 10 1 0 1 * * * * * * * * * * * * 10 0 0 10 1 10 2 5 0 2 0 10 2 1 5 0 2 0 0 5 10 10 5 4 2 2 0 5 1 1 * * * * * * * * * * * * * 2 1 4 0 5 4 2 10 4 0 1 5 2 1 5 0 2 2 0 5 3 5 0 0 0 3 0 5 1 * * * * * * * * * * * * * * 2 1 0 1 0 10 2 1 5 4 5 3 10 0 5 5 0 5 0 2 5 0 2 0 1 2 3 5 * * * * * * * * * * * * * * * 5 0 0 1 1 0 6 5 0 4 0 5 2 2 0 1 0 0 1 0 0 0 3 0 5 0 2 * * * * * * * * * * * * * * * * 0 10 5 5 2 10 10 5 0 2 0 0 5 5 5 3 1 0 1 5 0 5 5 0 5 0 * * * * * * * * * * * * * * * * * 5 4 5 0 5 0 2 1 5 2 5 10 0 5 10 2 10 0 2 0 0 0 5 0 1 * * * * * * * * * * * * * * * * * * 3 5 5 0 5 2 10 4 5 0 0 10 2 2 0 0 5 2 5 5 2 2 2 0 * * * * * * * * * * * * * * * * * * * 0 5 1 2 10 0 0 5 0 0 2 0 0 2 0 0 0 0 2 10 2 3 2 * * * * * * * * * * * * * * * * * * * * 5 5 0 1 2 10 10 5 0 0 3 2 0 6 0 0 0 1 0 0 5 1 * * * * * * * * * * * * * * * * * * * * * 4 5 0 3 2 2 5 1 2 1 0 0 4 3 1 2 2 5 1 5 5 * * * * * * * * * * * * * * * * * * * * * * 10 5 0 0 2 5 10 0 5 0 2 2 2 10 0 0 1 4 2 0 * * * * * * * * * * * * * * * * * * * * * * * 5 5 0 6 2 1 1 3 5 1 3 5 1 0 0 0 1 5 0 * * * * * * * * * * * * * * * * * * * * * * * * 5 6 2 5 1 1 10 0 5 0 2 2 2 5 0 1 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 2 3 4 0 10 5 0 2 5 0 2 2 2 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 0 2 5 0 0 5 1 1 0 0 10 5 3 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 0 1 5 2 0 5 0 0 0 2 2 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 2 1 0 0 2 2 4 5 5 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 1 5 1 1 1 0 5 10 5 1 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 1 2 0 0 3 5 5 10 2 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 2 6 5 1 1 0 0 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 5 0 6 0 10 5 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 3 1 2 5 1 10 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 2 10 0 5 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 0 1 0 0 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 5 5 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 5 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 0 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 10 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values> 2400.02/2400.01 v </instantiation>
OK 8596
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 (5923 MiB free) memory of node 1: 16384 MiB (10605 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289393-1532195319/watcher-4289393-1532195319 -o /tmp/evaluation-result-4289393-1532195319/solver-4289393-1532195319 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532190502-25105 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 470857800 HOME/instance-4289393-1532195319.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=25674, runsolver pid=25671 [startup+0.100119 s]* /proc/loadavg: 2.16 2.06 2.04 3/187 25675 /proc/meminfo: memFree=16870932/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=88884 memory=63472 CPUtime=0.1 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 16037 0 0 0 8 2 0 0 20 0 1 0 37095101 91017216 15868 33554432000 4194304 7498468 140732201550912 140732201547912 140399200905120 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 22221 15868 696 807 0 15212 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 88884 KiB Current children cumulated memory: 63472 KiB [startup+0.209481 s]* /proc/loadavg: 2.16 2.06 2.04 3/187 25675 /proc/meminfo: memFree=16786860/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=173348 memory=147952 CPUtime=0.21 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 37146 0 0 0 17 4 0 0 20 0 1 0 37095101 177508352 36922 33554432000 4194304 7498468 140732201550912 140732201547912 140399200857061 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 43337 36922 696 807 0 36328 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 173348 KiB Current children cumulated memory: 147952 KiB [startup+0.309376 s]* /proc/loadavg: 2.16 2.06 2.04 3/187 25675 /proc/meminfo: memFree=16713080/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=240788 memory=214964 CPUtime=0.3 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 53958 0 0 0 25 5 0 0 20 0 1 0 37095101 246566912 53741 33554432000 4194304 7498468 140732201550912 140732201547912 5792303 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 60197 53741 726 807 0 53188 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 240788 KiB Current children cumulated memory: 214964 KiB [startup+0.700292 s] /proc/loadavg: 2.16 2.06 2.04 3/187 25675 /proc/meminfo: memFree=16689696/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=263344 memory=238052 CPUtime=0.69 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 58181 0 0 0 63 6 0 0 20 0 1 0 37095101 269664256 59513 33554432000 4194304 7498468 140732201550912 140732201545928 5791403 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 65836 59513 732 807 0 58827 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 263344 KiB Current children cumulated memory: 238052 KiB [startup+1.50033 s] /proc/loadavg: 2.16 2.06 2.04 3/187 25675 /proc/meminfo: memFree=16689324/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=269548 memory=244388 CPUtime=1.49 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 59735 0 0 0 142 7 0 0 20 0 1 0 37095101 276017152 61097 33554432000 4194304 7498468 140732201550912 140732201545448 4249991 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 67387 61097 740 807 0 60378 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 269548 KiB Current children cumulated memory: 244388 KiB [startup+3.10928 s] /proc/loadavg: 2.16 2.06 2.04 3/187 25675 /proc/meminfo: memFree=16679676/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=275620 memory=250448 CPUtime=3.1 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 99280 0 0 0 301 9 0 0 20 0 1 0 37095101 282234880 62612 33554432000 4194304 7498468 140732201550912 140732201545928 5791399 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 68905 62612 740 807 0 61896 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 275620 KiB Current children cumulated memory: 250448 KiB [startup+6.30029 s] /proc/loadavg: 2.15 2.06 2.04 3/187 25675 /proc/meminfo: memFree=16671968/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=279712 memory=254472 CPUtime=6.29 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 139847 0 0 0 618 11 0 0 20 0 1 0 37095101 286425088 63618 33554432000 4194304 7498468 140732201550912 140732201545448 5772318 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 69928 63618 740 807 0 62919 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 279712 KiB Current children cumulated memory: 254472 KiB [startup+12.7004 s] /proc/loadavg: 2.14 2.05 2.04 3/187 25675 /proc/meminfo: memFree=16668880/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=284068 memory=258756 CPUtime=12.69 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 179242 0 0 0 1257 12 0 0 20 0 1 0 37095101 290885632 64689 33554432000 4194304 7498468 140732201550912 140732201545928 4249984 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 71017 64689 740 807 0 64008 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 284068 KiB Current children cumulated memory: 258756 KiB [startup+25.5005 s] /proc/loadavg: 2.11 2.05 2.04 3/187 25675 /proc/meminfo: memFree=16665076/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=286972 memory=261784 CPUtime=25.48 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 226439 0 0 0 2534 14 0 0 20 0 1 0 37095101 293859328 65446 33554432000 4194304 7498468 140732201550912 140732201545928 5773815 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 71743 65446 740 807 0 64734 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 286972 KiB Current children cumulated memory: 261784 KiB [startup+51.1095 s] /proc/loadavg: 2.01 2.03 2.04 3/187 25736 /proc/meminfo: memFree=16654144/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=289876 memory=264680 CPUtime=51.08 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 285627 0 0 0 5091 17 0 0 20 0 1 0 37095101 296833024 66170 33554432000 4194304 7498468 140732201550912 140732201545928 5770712 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 72469 66170 741 807 0 65460 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 289876 KiB Current children cumulated memory: 264680 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.03 2.04 3/188 25745 /proc/meminfo: memFree=16651904/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=291328 memory=266120 CPUtime=102.26 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 309415 0 0 0 10207 19 0 0 20 0 1 0 37095101 298319872 66530 33554432000 4194304 7498468 140732201550912 140732201545448 5791406 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 72832 66530 741 807 0 65823 0 Current children cumulated CPU time: 102.26 s Current children cumulated vsize: 291328 KiB Current children cumulated memory: 266120 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.04 3/188 25746 /proc/meminfo: memFree=16649772/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=292384 memory=267176 CPUtime=162.24 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 319177 0 0 0 16205 19 0 0 20 0 1 0 37095101 299401216 66794 33554432000 4194304 7498468 140732201550912 140732201545448 4249991 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73096 66794 741 807 0 66087 0 Current children cumulated CPU time: 162.24 s Current children cumulated vsize: 292384 KiB Current children cumulated memory: 267176 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.04 3/188 25747 /proc/meminfo: memFree=16649756/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=292780 memory=267624 CPUtime=222.24 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 319550 0 0 0 22205 19 0 0 20 0 1 0 37095101 299806720 66906 33554432000 4194304 7498468 140732201550912 140732201545448 4253120 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73195 66906 741 807 0 66186 0 Current children cumulated CPU time: 222.24 s Current children cumulated vsize: 292780 KiB Current children cumulated memory: 267624 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.04 3/188 25748 /proc/meminfo: memFree=16649508/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=293044 memory=267924 CPUtime=282.25 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 320186 0 0 0 28206 19 0 0 20 0 1 0 37095101 300077056 66981 33554432000 4194304 7498468 140732201550912 140732201545448 5772318 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73261 66981 741 807 0 66252 0 Current children cumulated CPU time: 282.25 s Current children cumulated vsize: 293044 KiB Current children cumulated memory: 267924 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.04 3/188 25749 /proc/meminfo: memFree=16649268/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=293440 memory=268328 CPUtime=342.25 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 320903 0 0 0 34206 19 0 0 20 0 1 0 37095101 300482560 67082 33554432000 4194304 7498468 140732201550912 140732201545928 4253248 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73360 67082 741 807 0 66351 0 Current children cumulated CPU time: 342.25 s Current children cumulated vsize: 293440 KiB Current children cumulated memory: 268328 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.04 3/187 25751 /proc/meminfo: memFree=16649324/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=293440 memory=268328 CPUtime=402.25 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 321201 0 0 0 40206 19 0 0 20 0 1 0 37095101 300482560 67082 33554432000 4194304 7498468 140732201550912 140732201545928 4249991 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73360 67082 741 807 0 66351 0 Current children cumulated CPU time: 402.25 s Current children cumulated vsize: 293440 KiB Current children cumulated memory: 268328 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.04 3/187 25752 /proc/meminfo: memFree=16648596/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=293968 memory=268820 CPUtime=462.25 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 322081 0 0 0 46206 19 0 0 20 0 1 0 37095101 301023232 67205 33554432000 4194304 7498468 140732201550912 140732201545928 4249991 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73492 67205 741 807 0 66483 0 Current children cumulated CPU time: 462.25 s Current children cumulated vsize: 293968 KiB Current children cumulated memory: 268820 KiB ################ # More data... # ################ /proc/25674/statm: 73723 67440 741 807 0 66714 0 Current children cumulated CPU time: 1602.28 s Current children cumulated vsize: 294892 KiB Current children cumulated memory: 269760 KiB [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.04 3/187 25812 /proc/meminfo: memFree=16646484/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=294892 memory=269760 CPUtime=1662.28 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 329071 0 0 0 166208 20 0 0 20 0 1 0 37095101 301969408 67440 33554432000 4194304 7498468 140732201550912 140732201545928 5791406 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73723 67440 741 807 0 66714 0 Current children cumulated CPU time: 1662.28 s Current children cumulated vsize: 294892 KiB Current children cumulated memory: 269760 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.04 3/187 25813 /proc/meminfo: memFree=16646112/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=295156 memory=270020 CPUtime=1722.28 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 329681 0 0 0 172208 20 0 0 20 0 1 0 37095101 302239744 67505 33554432000 4194304 7498468 140732201550912 140732201545928 5772291 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73789 67505 741 807 0 66780 0 Current children cumulated CPU time: 1722.28 s Current children cumulated vsize: 295156 KiB Current children cumulated memory: 270020 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.04 3/187 25814 /proc/meminfo: memFree=16646360/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=295156 memory=270020 CPUtime=1782.28 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 329989 0 0 0 178208 20 0 0 20 0 1 0 37095101 302239744 67505 33554432000 4194304 7498468 140732201550912 140732201545928 4249991 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73789 67505 741 807 0 66780 0 Current children cumulated CPU time: 1782.28 s Current children cumulated vsize: 295156 KiB Current children cumulated memory: 270020 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.04 3/187 25815 /proc/meminfo: memFree=16646608/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=295156 memory=270020 CPUtime=1842.28 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 330269 0 0 0 184208 20 0 0 20 0 1 0 37095101 302239744 67505 33554432000 4194304 7498468 140732201550912 140732201545928 5773795 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73789 67505 741 807 0 66780 0 Current children cumulated CPU time: 1842.28 s Current children cumulated vsize: 295156 KiB Current children cumulated memory: 270020 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.04 3/188 25824 /proc/meminfo: memFree=16645880/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=295156 memory=270020 CPUtime=1902.29 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 330601 0 0 0 190209 20 0 0 20 0 1 0 37095101 302239744 67505 33554432000 4194304 7498468 140732201550912 140732201545928 5772271 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73789 67505 741 807 0 66780 0 Current children cumulated CPU time: 1902.29 s Current children cumulated vsize: 295156 KiB Current children cumulated memory: 270020 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.04 3/188 25825 /proc/meminfo: memFree=16646104/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=295156 memory=270020 CPUtime=1962.3 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 330910 0 0 0 196209 21 0 0 20 0 1 0 37095101 302239744 67505 33554432000 4194304 7498468 140732201550912 140732201545928 4249991 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73789 67505 741 807 0 66780 0 Current children cumulated CPU time: 1962.3 s Current children cumulated vsize: 295156 KiB Current children cumulated memory: 270020 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.04 3/188 25826 /proc/meminfo: memFree=16646760/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=295156 memory=270020 CPUtime=2022.3 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 331209 0 0 0 202209 21 0 0 20 0 1 0 37095101 302239744 67505 33554432000 4194304 7498468 140732201550912 140732201545928 5772318 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73789 67505 741 807 0 66780 0 Current children cumulated CPU time: 2022.3 s Current children cumulated vsize: 295156 KiB Current children cumulated memory: 270020 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.04 3/188 25827 /proc/meminfo: memFree=16646420/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=295156 memory=270020 CPUtime=2082.3 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 331511 0 0 0 208209 21 0 0 20 0 1 0 37095101 302239744 67505 33554432000 4194304 7498468 140732201550912 140732201545928 4581011 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73789 67505 741 807 0 66780 0 Current children cumulated CPU time: 2082.3 s Current children cumulated vsize: 295156 KiB Current children cumulated memory: 270020 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.04 3/188 25828 /proc/meminfo: memFree=16646048/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=295156 memory=270020 CPUtime=2142.3 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 331808 0 0 0 214209 21 0 0 20 0 1 0 37095101 302239744 67505 33554432000 4194304 7498468 140732201550912 140732201545928 5791406 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73789 67505 741 807 0 66780 0 Current children cumulated CPU time: 2142.3 s Current children cumulated vsize: 295156 KiB Current children cumulated memory: 270020 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.04 3/187 25830 /proc/meminfo: memFree=16646144/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=295156 memory=270020 CPUtime=2202.3 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 332100 0 0 0 220209 21 0 0 20 0 1 0 37095101 302239744 67505 33554432000 4194304 7498468 140732201550912 140732201545928 5791406 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73789 67505 741 807 0 66780 0 Current children cumulated CPU time: 2202.3 s Current children cumulated vsize: 295156 KiB Current children cumulated memory: 270020 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.04 3/187 25831 /proc/meminfo: memFree=16646192/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=295288 memory=270120 CPUtime=2262.3 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 332765 0 0 0 226209 21 0 0 20 0 1 0 37095101 302374912 67530 33554432000 4194304 7498468 140732201550912 140732201545448 5770753 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73822 67530 741 807 0 66813 0 Current children cumulated CPU time: 2262.3 s Current children cumulated vsize: 295288 KiB Current children cumulated memory: 270120 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.04 3/187 25832 /proc/meminfo: memFree=16646060/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=295420 memory=270196 CPUtime=2322.31 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 333073 0 0 0 232210 21 0 0 20 0 1 0 37095101 302510080 67549 33554432000 4194304 7498468 140732201550912 140732201545928 4249991 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73855 67549 741 807 0 66846 0 Current children cumulated CPU time: 2322.31 s Current children cumulated vsize: 295420 KiB Current children cumulated memory: 270196 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.04 3/187 25834 /proc/meminfo: memFree=16645796/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=295420 memory=270196 CPUtime=2382.31 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 333356 0 0 0 238210 21 0 0 20 0 1 0 37095101 302510080 67549 33554432000 4194304 7498468 140732201550912 140732201545928 5791403 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73855 67549 741 807 0 66846 0 Current children cumulated CPU time: 2382.31 s Current children cumulated vsize: 295420 KiB Current children cumulated memory: 270196 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400 s]* /proc/loadavg: 2.00 2.01 2.04 3/187 25834 /proc/meminfo: memFree=16645920/32770624 swapFree=67108860/67108860 [pid=25674] ppid=25671 vsize=295420 memory=270196 CPUtime=2400.02 cores=0,2,4,6 /proc/25674/stat : 25674 (MistralXCSP) R 25671 25674 25074 0 -1 4202496 333357 0 0 0 239981 21 0 0 20 0 1 0 37095101 302510080 67549 33554432000 4194304 7498468 140732201550912 140732201545928 4249988 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 39182336 140732201555054 140732201555203 140732201555203 140732201557961 0 /proc/25674/statm: 73855 67549 741 807 0 66846 0 Current children cumulated CPU time: 2400.02 s Current children cumulated vsize: 295420 KiB Current children cumulated memory: 270196 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.01 s] # the end of solver process 25674 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.81 s, system=0.213005 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2400.01 CPU time (s): 2400.02 CPU user time (s): 2399.81 CPU system time (s): 0.213005 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 295420 Max. memory (cumulated for all children) (KiB): 270196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.81 system time used= 0.213005 maximum resident set size= 270216 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 333395 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= 110 involuntary context switches= 697 # summary of solver processes directly reported to runsolver: # pid: 25674 # total CPU time (s): 2400.02 # total CPU user time (s): 2399.81 # total CPU system time (s): 0.213005 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.2133 second user time and 16.8252 second system time The end
Begin job on node102 at 2018-07-21 19:48:39 IDJOB=4289393 IDBENCH=141246 IDSOLVER=2741 FILE ID=node102/4289393-1532195319 RUNJOBID= node102-1532190502-25105 PBS_JOBID= 21018941 Free space on /tmp= 53240 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko42_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-4289393-1532195319/watcher-4289393-1532195319 -o /tmp/evaluation-result-4289393-1532195319/solver-4289393-1532195319 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532190502-25105 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 470857800 HOME/instance-4289393-1532195319.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ee3f8a7d47c87a95d16b6f1492d4a345 RANDOM SEED=470857800 node102.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.51 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.51 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.51 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.51 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: 16925704 kB MemAvailable: 31936772 kB Buffers: 212956 kB Cached: 14891836 kB SwapCached: 0 kB Active: 1394844 kB Inactive: 13768432 kB Active(anon): 61556 kB Inactive(anon): 16892 kB Active(file): 1333288 kB Inactive(file): 13751540 kB Unevictable: 6604 kB Mlocked: 6604 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 9120 kB Writeback: 0 kB AnonPages: 242616 kB Mapped: 36204 kB Shmem: 17036 kB Slab: 381636 kB SReclaimable: 354700 kB SUnreclaim: 26936 kB KernelStack: 3568 kB PageTables: 5232 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 344812 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 188416 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 53228 MiB End job on node102 at 2018-07-21 20:28:40