Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-08-01 | SAT (TO) | 8582 | 2519.92 | 2520.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 01082018 0.50/0.52 o 10169 0.50/0.53 o 10138 0.50/0.54 o 10099 0.50/0.56 o 10075 0.50/0.57 o 10065 0.50/0.58 o 10062 0.59/0.62 o 10056 0.79/0.88 o 10053 0.99/1.04 o 10052 1.29/1.34 o 9991 1.29/1.36 o 9959 1.29/1.38 o 9921 1.58/1.60 o 9911 2.10/2.12 o 9843 2.10/2.18 o 9839 2.29/2.35 o 9803 2.29/2.35 o 9761 3.00/3.04 o 9735 3.00/3.06 o 9733 3.19/3.28 o 9676 3.19/3.28 o 9675 4.19/4.20 o 9660 4.19/4.22 o 9654 4.39/4.48 o 9651 4.59/4.67 o 9641 5.48/5.59 o 9597 5.58/5.61 o 9580 6.18/6.25 o 9553 7.28/7.33 o 9529 7.28/7.40 o 9512 7.48/7.58 o 9495 8.18/8.27 o 9427 8.28/8.32 o 9405 8.48/8.51 o 9396 9.78/9.87 o 9376 9.78/9.88 o 9334 10.78/10.87 o 9282 12.39/12.42 o 9240 16.59/16.69 o 9238 16.69/16.70 o 9235 16.69/16.76 o 9233 16.89/16.90 o 9230 17.29/17.39 o 9194 18.58/18.64 o 9193 22.48/22.56 o 9120 32.88/32.96 o 9111 36.18/36.26 o 9095 36.18/36.27 o 9017 37.38/37.41 o 9014 40.28/40.35 o 9006 43.68/43.75 o 9005 45.58/45.66 o 8983 45.58/45.67 o 8967 49.78/49.87 o 8963 62.97/63.04 o 8831 63.37/63.49 o 8799 67.08/67.17 o 8765 106.45/106.57 o 8759 108.85/109.00 o 8728 108.95/109.01 o 8693 323.99/324.11 o 8683 324.38/324.54 o 8681 431.57/431.76 o 8676 431.57/431.77 o 8664 431.57/431.79 o 8650 743.46/743.67 o 8648 744.26/744.43 o 8634 1305.78/1305.92 o 8632 1483.78/1484.00 o 8629 1486.68/1486.84 o 8626 1517.18/1517.35 o 8624 1737.79/1738.00 o 8622 1928.59/1928.71 o 8616 1928.69/1928.86 o 8615 1928.69/1928.86 o 8602 1935.49/1935.68 o 8598 2396.10/2396.25 o 8596 2513.71/2513.83 o 8582 2519.92/2520.00 s SATISFIABLE 2519.92/2520.00 v <instantiation type="solution"> 2519.92/2520.00 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> 2519.92/2520.01 v <values> 24 4 20 31 26 12 7 17 41 37 1 25 18 39 40 11 0 34 32 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 4 1 5 6 5 4 0 1 2 3 5 1 0 1 2 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 5 0 1 3 5 2 5 5 5 0 5 6 4 1 2 1 0 6 2 0 0 0 2 2 1 5 2 6 0 0 1 0 2 5 2 2 0 1 * * * 5 1 0 4 0 2 10 2 4 0 4 5 0 5 0 10 2 0 6 1 3 2 5 0 2 1 5 1 5 1 0 0 0 2 0 10 0 1 0 * * * * 0 5 2 10 6 0 2 5 1 2 0 2 2 1 2 10 0 3 6 1 10 2 1 0 6 0 4 0 0 3 0 5 0 2 2 2 2 0 * * * * * 2 2 0 2 2 5 2 4 0 1 5 4 3 5 0 5 1 2 10 0 0 5 0 0 2 0 0 2 0 0 0 0 2 10 2 3 2 * * * * * * 0 0 0 1 5 5 5 1 0 1 0 2 5 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 5 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 2 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 0 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 0 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 1 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 0 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 1 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 2 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 0 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 1 5 2 10 10 5 0 2 0 0 5 5 5 3 1 0 1 5 0 5 5 0 5 0 * * * * * * * * * * * * * * * * * 5 0 5 0 5 0 2 1 5 2 5 10 0 5 10 2 10 0 2 0 0 0 5 0 1 * * * * * * * * * * * * * * * * * * 5 5 5 0 5 2 10 4 5 0 0 10 2 2 0 0 5 2 5 5 2 2 2 0 * * * * * * * * * * * * * * * * * * * 10 0 2 0 0 4 10 5 5 1 5 2 0 10 5 3 0 2 0 2 4 0 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> 2519.92/2520.01 v </instantiation>
OK 8582
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 (1448 MiB free) memory of node 1: 16384 MiB (268 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303698-1534008430/watcher-4303698-1534008430 -o /tmp/evaluation-result-4303698-1534008430/solver-4303698-1534008430 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1533990775-15522 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1964294250 HOME/instance-4303698-1534008430.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=17257, runsolver pid=17254 [startup+0.100656 s]* /proc/loadavg: 2.00 2.01 2.05 3/187 17258 /proc/meminfo: memFree=1702016/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=88024 memory=62420 CPUtime=0.09 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 15826 0 0 0 8 1 0 0 20 0 1 0 218406140 90136576 15605 33554432000 4194304 7499544 140724107166768 140724107158232 140037916932000 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 22006 15605 698 807 0 14997 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 88024 KiB Current children cumulated memory: 62420 KiB [startup+0.209824 s]* /proc/loadavg: 2.00 2.01 2.05 3/187 17258 /proc/meminfo: memFree=1619432/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=174072 memory=148484 CPUtime=0.2 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 37336 0 0 0 17 3 0 0 20 0 1 0 218406140 178249728 37121 33554432000 4194304 7499544 140724107166768 140724107158232 4254009 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 43518 37121 698 807 0 36509 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 174072 KiB Current children cumulated memory: 148484 KiB [startup+0.309598 s]* /proc/loadavg: 2.00 2.01 2.05 4/187 17258 /proc/meminfo: memFree=1546396/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=240632 memory=215356 CPUtime=0.3 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 54052 0 0 0 25 5 0 0 20 0 1 0 218406140 246407168 53839 33554432000 4194304 7499544 140724107166768 140724107160008 5790971 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 60158 53839 733 807 0 53149 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 240632 KiB Current children cumulated memory: 215356 KiB [startup+0.700394 s] /proc/loadavg: 1.92 2.00 2.04 3/187 17258 /proc/meminfo: memFree=1522392/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=263344 memory=238040 CPUtime=0.69 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 58189 0 0 0 63 6 0 0 20 0 1 0 218406140 269664256 59510 33554432000 4194304 7499544 140724107166768 140724107160008 5771859 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 65836 59510 740 807 0 58827 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 263344 KiB Current children cumulated memory: 238040 KiB [startup+1.50039 s] /proc/loadavg: 1.92 2.00 2.04 3/187 17258 /proc/meminfo: memFree=1522160/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=269548 memory=244376 CPUtime=1.48 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 59743 0 0 0 142 6 0 0 20 0 1 0 218406140 276017152 61094 33554432000 4194304 7499544 140724107166768 140724107161304 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 67387 61094 748 807 0 60378 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 269548 KiB Current children cumulated memory: 244376 KiB [startup+3.10981 s] /proc/loadavg: 1.92 2.00 2.04 3/187 17258 /proc/meminfo: memFree=1509440/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=275620 memory=250480 CPUtime=3.1 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 99518 0 0 0 301 9 0 0 20 0 1 0 218406140 282234880 62620 33554432000 4194304 7499544 140724107166768 140724107161784 5770216 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 68905 62620 748 807 0 61896 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 275620 KiB Current children cumulated memory: 250480 KiB [startup+6.30037 s] /proc/loadavg: 1.93 2.00 2.04 3/187 17258 /proc/meminfo: memFree=1505592/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=279712 memory=254576 CPUtime=6.28 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 140286 0 0 0 618 10 0 0 20 0 1 0 218406140 286425088 63644 33554432000 4194304 7499544 140724107166768 140724107161784 5791214 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 69928 63644 748 807 0 62919 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 279712 KiB Current children cumulated memory: 254576 KiB [startup+12.7004 s] /proc/loadavg: 1.93 2.00 2.04 3/187 17258 /proc/meminfo: memFree=1502244/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=284068 memory=258948 CPUtime=12.69 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 223745 0 0 0 1254 15 0 0 20 0 1 0 218406140 290885632 64737 33554432000 4194304 7499544 140724107166768 140724107161784 5771886 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 71017 64737 748 807 0 64008 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 284068 KiB Current children cumulated memory: 258948 KiB [startup+25.5004 s] /proc/loadavg: 1.95 2.00 2.04 3/187 17258 /proc/meminfo: memFree=1498152/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=286972 memory=261804 CPUtime=25.48 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 266767 0 0 0 2532 16 0 0 20 0 1 0 218406140 293859328 65451 33554432000 4194304 7499544 140724107166768 140724107161784 5770275 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 71743 65451 748 807 0 64734 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 286972 KiB Current children cumulated memory: 261804 KiB [startup+51.1097 s] /proc/loadavg: 1.97 2.00 2.04 3/187 17258 /proc/meminfo: memFree=1493988/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=289876 memory=264720 CPUtime=51.08 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 353501 0 0 0 5086 22 0 0 20 0 1 0 218406140 296833024 66180 33554432000 4194304 7499544 140724107166768 140724107161784 5770261 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 72469 66180 748 807 0 65460 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 289876 KiB Current children cumulated memory: 264720 KiB [startup+102.3 s] /proc/loadavg: 1.99 2.00 2.04 3/187 17260 /proc/meminfo: memFree=1491216/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=291328 memory=266148 CPUtime=102.24 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 401144 0 0 0 10198 26 0 0 20 0 1 0 218406140 298319872 66537 33554432000 4194304 7499544 140724107166768 140724107161304 4249975 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 72832 66537 748 807 0 65823 0 Current children cumulated CPU time: 102.24 s Current children cumulated vsize: 291328 KiB Current children cumulated memory: 266148 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.04 3/187 17261 /proc/meminfo: memFree=1489992/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=292384 memory=267256 CPUtime=162.21 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 426799 0 0 0 16193 28 0 0 20 0 1 0 218406140 299401216 66814 33554432000 4194304 7499544 140724107166768 140724107161304 5770305 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73096 66814 748 807 0 66087 0 Current children cumulated CPU time: 162.21 s Current children cumulated vsize: 292384 KiB Current children cumulated memory: 267256 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.04 3/188 17270 /proc/meminfo: memFree=1489068/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=292780 memory=267652 CPUtime=222.19 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 432087 0 0 0 22191 28 0 0 20 0 1 0 218406140 299806720 66913 33554432000 4194304 7499544 140724107166768 140724107161304 5790866 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73195 66913 748 807 0 66186 0 Current children cumulated CPU time: 222.19 s Current children cumulated vsize: 292780 KiB Current children cumulated memory: 267652 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.04 3/188 17271 /proc/meminfo: memFree=1489168/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=293044 memory=267952 CPUtime=282.18 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 432938 0 0 0 28190 28 0 0 20 0 1 0 218406140 300077056 66988 33554432000 4194304 7499544 140724107166768 140724107161304 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73261 66988 748 807 0 66252 0 Current children cumulated CPU time: 282.18 s Current children cumulated vsize: 293044 KiB Current children cumulated memory: 267952 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.04 3/188 17272 /proc/meminfo: memFree=1489588/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=293440 memory=268348 CPUtime=342.18 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 433933 0 0 0 34189 29 0 0 20 0 1 0 218406140 300482560 67087 33554432000 4194304 7499544 140724107166768 140724107161784 5790971 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73360 67087 748 807 0 66351 0 Current children cumulated CPU time: 342.18 s Current children cumulated vsize: 293440 KiB Current children cumulated memory: 268348 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.04 3/188 17273 /proc/meminfo: memFree=1489340/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=293440 memory=268356 CPUtime=402.17 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 434845 0 0 0 40188 29 0 0 20 0 1 0 218406140 300482560 67089 33554432000 4194304 7499544 140724107166768 140724107161784 4249975 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73360 67089 748 807 0 66351 0 Current children cumulated CPU time: 402.17 s Current children cumulated vsize: 293440 KiB Current children cumulated memory: 268356 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.04 3/188 17274 /proc/meminfo: memFree=1489216/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=293968 memory=268848 CPUtime=462.16 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 437741 0 0 0 46187 29 0 0 20 0 1 0 218406140 301023232 67212 33554432000 4194304 7499544 140724107166768 140724107161784 4249975 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73492 67212 748 807 0 66483 0 Current children cumulated CPU time: 462.16 s Current children cumulated vsize: 293968 KiB Current children cumulated memory: 268848 KiB ################ # More data... # ################ /proc/17257/statm: 73723 67447 748 807 0 66714 0 Current children cumulated CPU time: 1722.19 s Current children cumulated vsize: 294892 KiB Current children cumulated memory: 269788 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 17314 /proc/meminfo: memFree=1487648/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=295156 memory=270048 CPUtime=1782.18 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 978746 0 0 0 178169 49 0 0 20 0 1 0 218406140 302239744 67512 33554432000 4194304 7499544 140724107166768 140724107161784 5771859 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73789 67512 748 807 0 66780 0 Current children cumulated CPU time: 1782.18 s Current children cumulated vsize: 295156 KiB Current children cumulated memory: 270048 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 17315 /proc/meminfo: memFree=1488076/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=295156 memory=270048 CPUtime=1842.19 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 1003363 0 0 0 184169 50 0 0 20 0 1 0 218406140 302239744 67512 33554432000 4194304 7499544 140724107166768 140724107161784 4253250 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73789 67512 748 807 0 66780 0 Current children cumulated CPU time: 1842.19 s Current children cumulated vsize: 295156 KiB Current children cumulated memory: 270048 KiB [startup+1902.3 s] /proc/loadavg: 2.06 2.01 2.05 3/187 17317 /proc/meminfo: memFree=1487572/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=295156 memory=270048 CPUtime=1902.19 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 1027749 0 0 0 190168 51 0 0 20 0 1 0 218406140 302239744 67512 33554432000 4194304 7499544 140724107166768 140724107161784 5771824 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73789 67512 748 807 0 66780 0 Current children cumulated CPU time: 1902.19 s Current children cumulated vsize: 295156 KiB Current children cumulated memory: 270048 KiB [startup+1962.3 s] /proc/loadavg: 2.02 2.01 2.05 3/187 17318 /proc/meminfo: memFree=1487740/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=295156 memory=270048 CPUtime=1962.19 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 1052464 0 0 0 196168 51 0 0 20 0 1 0 218406140 302239744 67512 33554432000 4194304 7499544 140724107166768 140724107161784 5770339 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73789 67512 748 807 0 66780 0 Current children cumulated CPU time: 1962.19 s Current children cumulated vsize: 295156 KiB Current children cumulated memory: 270048 KiB [startup+2022.3 s] /proc/loadavg: 2.01 2.01 2.05 3/188 17327 /proc/meminfo: memFree=1487136/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=295156 memory=270048 CPUtime=2022.19 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 1076778 0 0 0 202167 52 0 0 20 0 1 0 218406140 302239744 67512 33554432000 4194304 7499544 140724107166768 140724107161784 5771859 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73789 67512 748 807 0 66780 0 Current children cumulated CPU time: 2022.19 s Current children cumulated vsize: 295156 KiB Current children cumulated memory: 270048 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/190 17352 /proc/meminfo: memFree=1486128/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=295156 memory=270048 CPUtime=2082.19 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 1101529 0 0 0 208166 53 0 0 20 0 1 0 218406140 302239744 67512 33554432000 4194304 7499544 140724107166768 140724107161784 5771888 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73789 67512 748 807 0 66780 0 Current children cumulated CPU time: 2082.19 s Current children cumulated vsize: 295156 KiB Current children cumulated memory: 270048 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/190 17353 /proc/meminfo: memFree=1487392/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=295156 memory=270048 CPUtime=2142.2 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 1126233 0 0 0 214166 54 0 0 20 0 1 0 218406140 302239744 67512 33554432000 4194304 7499544 140724107166768 140724107161784 4249975 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73789 67512 748 807 0 66780 0 Current children cumulated CPU time: 2142.2 s Current children cumulated vsize: 295156 KiB Current children cumulated memory: 270048 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/190 17354 /proc/meminfo: memFree=1487920/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=295156 memory=270048 CPUtime=2202.19 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 1150645 0 0 0 220165 54 0 0 20 0 1 0 218406140 302239744 67512 33554432000 4194304 7499544 140724107166768 140724107161784 4249975 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73789 67512 748 807 0 66780 0 Current children cumulated CPU time: 2202.19 s Current children cumulated vsize: 295156 KiB Current children cumulated memory: 270048 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/190 17355 /proc/meminfo: memFree=1487676/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=295156 memory=270048 CPUtime=2262.2 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 1175369 0 0 0 226164 56 0 0 20 0 1 0 218406140 302239744 67512 33554432000 4194304 7499544 140724107166768 140724107161784 4249975 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73789 67512 748 807 0 66780 0 Current children cumulated CPU time: 2262.2 s Current children cumulated vsize: 295156 KiB Current children cumulated memory: 270048 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 17356 /proc/meminfo: memFree=1488064/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=295156 memory=270048 CPUtime=2322.2 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 1199782 0 0 0 232163 57 0 0 20 0 1 0 218406140 302239744 67512 33554432000 4194304 7499544 140724107166768 140724107161784 4249712 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73789 67512 748 807 0 66780 0 Current children cumulated CPU time: 2322.2 s Current children cumulated vsize: 295156 KiB Current children cumulated memory: 270048 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 17357 /proc/meminfo: memFree=1488416/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=295288 memory=270212 CPUtime=2382.2 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 1224629 0 0 0 238162 58 0 0 20 0 1 0 218406140 302374912 67553 33554432000 4194304 7499544 140724107166768 140724107161304 5790974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73822 67553 748 807 0 66813 0 Current children cumulated CPU time: 2382.2 s Current children cumulated vsize: 295288 KiB Current children cumulated memory: 270212 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 17358 /proc/meminfo: memFree=1489168/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=295420 memory=270224 CPUtime=2442.2 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 1248749 0 0 0 244161 59 0 0 20 0 1 0 218406140 302510080 67556 33554432000 4194304 7499544 140724107166768 140724107161784 4249975 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73855 67556 748 807 0 66846 0 Current children cumulated CPU time: 2442.2 s Current children cumulated vsize: 295420 KiB Current children cumulated memory: 270224 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 17359 /proc/meminfo: memFree=1488552/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=295420 memory=270224 CPUtime=2502.21 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 1272854 0 0 0 250161 60 0 0 20 0 1 0 218406140 302510080 67556 33554432000 4194304 7499544 140724107166768 140724107161784 5771859 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73855 67556 748 807 0 66846 0 Current children cumulated CPU time: 2502.21 s Current children cumulated vsize: 295420 KiB Current children cumulated memory: 270224 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.01 2.05 3/183 17397 /proc/meminfo: memFree=1525120/32770624 swapFree=67108380/67108860 [pid=17257] ppid=17254 vsize=295420 memory=270228 CPUtime=2519.92 cores=1,3,5,7 /proc/17257/stat : 17257 (MistralXCSP) R 17254 17257 15490 0 -1 4202496 1279767 0 0 0 251932 60 0 0 20 0 1 0 218406140 302510080 67557 33554432000 4194304 7499544 140724107166768 140724107161784 5790974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 13287424 140724107170925 140724107171075 140724107171075 140724107173833 0 /proc/17257/statm: 73855 67557 748 807 0 66846 0 Current children cumulated CPU time: 2519.92 s Current children cumulated vsize: 295420 KiB Current children cumulated memory: 270228 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 17257 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.32 s, system=0.601992 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520.01 CPU time (s): 2519.92 CPU user time (s): 2519.32 CPU system time (s): 0.601992 CPU usage (%): 99.9965 Max. virtual memory (cumulated for all children) (KiB): 295420 Max. memory (cumulated for all children) (KiB): 270228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.32 system time used= 0.601992 maximum resident set size= 270248 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1279805 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= 108 involuntary context switches= 975 # summary of solver processes directly reported to runsolver: # pid: 17257 # total CPU time (s): 2519.92 # total CPU user time (s): 2519.32 # total CPU system time (s): 0.601992 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.31823 second user time and 19.8652 second system time The end
Begin job on node137 at 2018-08-11 19:27:10 IDJOB=4303698 IDBENCH=141246 IDSOLVER=2779 FILE ID=node137/4303698-1534008430 RUNJOBID= node137-1533990775-15522 PBS_JOBID= 21036941 Free space on /tmp= 26380 MiB SOLVER NAME= Mistral-2.0 2018-08-01 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-4303698-1534008430/watcher-4303698-1534008430 -o /tmp/evaluation-result-4303698-1534008430/solver-4303698-1534008430 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1533990775-15522 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1964294250 HOME/instance-4303698-1534008430.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ee3f8a7d47c87a95d16b6f1492d4a345 RANDOM SEED=1964294250 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 1758480 kB MemAvailable: 31867272 kB Buffers: 223796 kB Cached: 29732480 kB SwapCached: 24 kB Active: 15510700 kB Inactive: 14539052 kB Active(anon): 40252 kB Inactive(anon): 105164 kB Active(file): 15470448 kB Inactive(file): 14433888 kB Unevictable: 7432 kB Mlocked: 7432 kB SwapTotal: 67108860 kB SwapFree: 67108380 kB Dirty: 11928 kB Writeback: 0 kB AnonPages: 131288 kB Mapped: 56152 kB Shmem: 49628 kB Slab: 660820 kB SReclaimable: 632916 kB SUnreclaim: 27904 kB KernelStack: 3568 kB PageTables: 5444 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 413436 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 40960 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 26380 MiB End job on node137 at 2018-08-11 20:09:10