Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2017-07-28 | SAT (TO) | 776 | 251.925 | 252.011 |
Name | Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml |
MD5SUM | 4e8baeb7bdba194b7c2724961347fdb9 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 776 |
Best CPU time to get the best result obtained on this benchmark | 251.925 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2070 |
Number of constraints | 2024 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":45},{"size":2,"count":1980},{"size":101,"count":44}] |
Minimum variable degree | 0 |
Maximum variable degree | 87 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":45},{"degree":2,"count":88},{"degree":4,"count":1892},{"degree":87,"count":44}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 44 |
Distribution of constraint arities | [{"arity":1,"count":44},{"arity":3,"count":1892},{"arity":44,"count":88}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 44 |
Distribution of constraint types | [{"type":"intension","count":44},{"type":"sum","count":1892},{"type":"count","count":88}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.06 c 280717 0.43/0.55 o 3706 0.43/0.55 o 3680 0.43/0.55 o 3666 0.43/0.55 o 3599 0.43/0.56 o 3556 0.43/0.57 o 3550 0.53/0.69 o 3549 0.62/0.71 o 3538 0.62/0.71 o 3515 0.62/0.73 o 3513 1.03/1.15 o 3485 1.03/1.16 o 3447 1.03/1.17 o 3442 1.22/1.37 o 3390 1.52/1.61 o 3361 1.52/1.62 o 3327 1.52/1.63 o 3284 1.52/1.64 o 3275 1.52/1.67 o 3274 1.62/1.73 o 3265 1.62/1.73 o 3233 1.62/1.73 o 3202 1.62/1.74 o 3201 1.62/1.74 o 3194 1.62/1.74 o 3185 1.62/1.74 o 3171 1.62/1.75 o 3170 1.62/1.75 o 3162 1.62/1.75 o 3161 1.62/1.76 o 3128 1.62/1.76 o 3107 1.62/1.76 o 3106 1.62/1.77 o 3105 1.72/1.82 o 3100 1.72/1.82 o 3098 1.72/1.83 o 3097 1.72/1.87 o 3059 1.72/1.88 o 3056 1.82/1.91 o 3045 1.82/1.91 o 3042 1.82/1.92 o 3015 1.82/1.92 o 2987 1.82/1.93 o 2985 1.82/1.93 o 2959 1.82/1.93 o 2956 1.82/1.94 o 2952 1.82/1.95 o 2950 1.82/1.99 o 2944 1.82/1.99 o 2931 1.92/2.04 o 2926 2.22/2.34 o 2900 2.22/2.34 o 2894 2.22/2.34 o 2864 2.22/2.34 o 2863 2.22/2.35 o 2857 2.22/2.35 o 2851 2.22/2.36 o 2845 2.22/2.38 o 2843 2.32/2.40 o 2797 2.32/2.41 o 2780 2.32/2.41 o 2777 2.32/2.41 o 2751 2.32/2.41 o 2733 2.32/2.42 o 2730 2.52/2.62 o 2727 2.52/2.62 o 2702 2.52/2.63 o 2699 2.52/2.66 o 2698 2.52/2.66 o 2690 2.52/2.69 o 2679 2.62/2.70 o 2674 2.62/2.70 o 2666 2.62/2.73 o 2645 2.62/2.74 o 2644 2.62/2.76 o 2642 2.72/2.84 o 2638 2.82/2.95 o 2636 2.82/2.98 o 2622 2.82/2.98 o 2621 2.93/3.08 o 2620 2.93/3.08 o 2614 2.93/3.09 o 2606 2.93/3.09 o 2595 2.93/3.09 o 2593 2.93/3.10 o 2570 2.93/3.10 o 2568 3.03/3.13 o 2567 3.12/3.21 o 2564 3.22/3.37 o 2561 3.22/3.38 o 2560 3.32/3.42 o 2552 3.32/3.42 o 2550 3.32/3.42 o 2544 3.32/3.46 o 2540 3.42/3.53 o 2538 3.42/3.55 o 2452 3.42/3.58 o 2448 3.62/3.77 o 2438 3.62/3.77 o 2410 3.62/3.78 o 2397 3.62/3.78 o 2383 3.62/3.78 o 2345 3.62/3.79 o 2340 3.62/3.79 o 2330 3.62/3.79 o 2317 3.62/3.79 o 2294 3.72/3.80 o 2291 3.72/3.81 o 2290 3.72/3.88 o 2266 3.82/3.90 o 2257 3.82/3.94 o 2248 3.82/3.97 o 2245 3.82/3.98 o 2240 3.93/4.04 o 2226 4.03/4.11 o 2219 4.03/4.11 o 2214 4.03/4.16 o 2211 4.82/4.92 o 2209 4.82/4.92 o 2208 4.93/5.10 o 2149 4.93/5.10 o 2143 5.03/5.11 o 2138 5.03/5.13 o 2111 5.03/5.13 o 2091 5.03/5.13 o 2054 5.03/5.13 o 2048 5.03/5.16 o 2028 5.03/5.17 o 2023 5.32/5.44 o 2018 5.42/5.52 o 2017 5.42/5.53 o 2014 5.42/5.53 o 1969 5.42/5.53 o 1935 5.42/5.53 o 1902 5.42/5.54 o 1899 5.42/5.54 o 1898 5.42/5.54 o 1884 5.42/5.54 o 1855 5.42/5.55 o 1846 5.52/5.67 o 1826 5.52/5.67 o 1823 5.52/5.68 o 1815 5.52/5.68 o 1796 5.52/5.68 o 1791 5.52/5.68 o 1790 5.52/5.69 o 1784 5.62/5.73 o 1782 5.62/5.79 o 1780 6.12/6.25 o 1771 6.12/6.25 o 1750 6.12/6.25 o 1716 6.12/6.26 o 1639 6.12/6.26 o 1591 6.12/6.26 o 1560 6.22/6.30 o 1554 6.22/6.30 o 1548 6.42/6.53 o 1542 6.52/6.64 o 1532 6.52/6.66 o 1530 6.52/6.68 o 1528 6.62/6.73 o 1527 6.62/6.74 o 1521 6.62/6.74 o 1503 7.12/7.22 o 1497 7.22/7.34 o 1495 7.42/7.51 o 1445 7.52/7.64 o 1427 7.72/7.86 o 1421 7.72/7.87 o 1418 7.82/7.92 o 1414 7.82/7.94 o 1383 7.82/7.94 o 1381 7.82/7.97 o 1361 7.82/7.98 o 1329 8.12/8.22 o 1327 8.42/8.59 o 1319 8.52/8.63 o 1315 8.52/8.65 o 1311 8.72/8.84 o 1280 9.12/9.22 o 1273 9.12/9.23 o 1269 10.03/10.18 o 1267 10.12/10.20 o 1265 10.12/10.21 o 1260 10.12/10.21 o 1216 10.12/10.21 o 1213 10.12/10.24 o 1185 10.12/10.28 o 1175 10.72/10.82 o 1174 11.03/11.15 o 1147 11.03/11.17 o 1136 11.52/11.67 o 1129 11.93/12.07 o 1128 12.72/12.88 o 1127 12.82/12.96 o 1111 12.82/12.97 o 1110 12.82/12.97 o 1072 12.93/13.02 o 1051 12.93/13.06 o 1049 12.93/13.08 o 1048 12.93/13.10 o 1047 12.93/13.10 o 1044 13.42/13.51 o 990 13.72/13.81 o 986 15.32/15.40 o 975 15.72/15.80 o 969 15.82/15.95 o 963 16.42/16.52 o 932 16.42/16.52 o 931 16.42/16.58 o 927 16.62/16.73 o 926 18.03/18.14 o 925 23.81/23.96 o 918 24.21/24.30 o 915 24.21/24.31 o 903 24.21/24.38 o 898 24.61/24.79 o 867 25.61/25.78 o 860 25.71/25.87 o 855 25.81/26.00 o 850 27.11/27.22 o 849 27.31/27.48 o 847 27.81/27.93 o 828 28.71/28.82 o 827 28.92/29.07 o 826 34.51/34.64 o 825 38.81/38.95 o 822 40.81/40.90 o 818 45.41/45.54 o 814 48.41/48.58 o 804 53.81/53.99 o 800 54.61/54.76 o 799 67.80/67.99 o 797 67.80/68.00 o 796 67.91/68.06 o 794 75.01/75.19 o 791 75.70/75.83 o 789 80.30/80.47 o 788 82.01/82.19 o 786 86.10/86.25 o 785 88.30/88.46 o 784 108.80/108.91 o 782 108.90/109.05 o 781 112.70/112.89 o 780 158.90/159.08 o 779 235.70/235.89 o 778 237.80/237.92 o 777 238.40/238.59 o 776 251.91/252.00 s SATISFIABLE 251.91/252.00 v <instantiation type="solution"> 251.91/252.00 v <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] u[0] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] </list> 251.91/252.01 v <values> 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 99 19 57 100 80 87 62 27 77 22 81 99 65 80 66 78 24 56 39 79 69 9 55 36 40 79 7 20 100 26 61 63 85 37 22 52 27 22 90 25 98 35 43 </values> 251.91/252.01 v </instantiation>
OK 776
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 (14979 MiB free) memory of node 1: 16384 MiB (15319 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259349-1502649989/watcher-4259349-1502649989 -o /tmp/evaluation-result-4259349-1502649989/solver-4259349-1502649989 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502644564-1656 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 461424113 HOME/instance-4259349-1502649989.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=4218, runsolver pid=4215 Current StackSize limit: 8192 KiB [startup+0.100482 s]* /proc/loadavg: 2.24 2.06 2.07 6/194 4219 /proc/meminfo: memFree=30998208/32770624 swapFree=67108860/67108860 [pid=4218] ppid=4215 vsize=35740 memory=10180 CPUtime=0.03 cores=0,2,4,6 /proc/4218/stat : 4218 (MistralXCSP) R 4215 4218 897 0 -1 4202496 2769 0 0 0 3 0 0 0 20 0 1 0 67219555 36597760 2545 18446744073709551615 4194304 7396336 140726200380880 140726200370888 4565880 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 31567872 140726200381843 140726200381992 140726200381992 140726200385481 0 /proc/4218/statm: 8935 2545 669 782 0 1951 0 Current children cumulated CPU time: 0.03 s Current children cumulated vsize: 35740 KiB Current children cumulated memory: 10180 KiB [startup+0.209472 s]* /proc/loadavg: 2.24 2.06 2.07 2/194 4219 /proc/meminfo: memFree=30964872/32770624 swapFree=67108860/67108860 [pid=4218] ppid=4215 vsize=39116 memory=13612 CPUtime=0.14 cores=0,2,4,6 /proc/4218/stat : 4218 (MistralXCSP) R 4215 4218 897 0 -1 4202496 3625 0 0 0 14 0 0 0 20 0 1 0 67219555 40054784 3403 18446744073709551615 4194304 7396336 140726200380880 140726200371480 4565880 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 31567872 140726200381843 140726200381992 140726200381992 140726200385481 0 /proc/4218/statm: 9779 3403 681 782 0 2795 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 39116 KiB Current children cumulated memory: 13612 KiB [startup+0.360058 s]* /proc/loadavg: 2.24 2.06 2.07 6/194 4219 /proc/meminfo: memFree=30934488/32770624 swapFree=67108860/67108860 [pid=4218] ppid=4215 vsize=40832 memory=15460 CPUtime=0.29 cores=0,2,4,6 /proc/4218/stat : 4218 (MistralXCSP) R 4215 4218 897 0 -1 4202496 4128 0 0 0 29 0 0 0 20 0 1 0 67219555 41811968 3865 18446744073709551615 4194304 7396336 140726200380880 140726200371480 6217590 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 31567872 140726200381843 140726200381992 140726200381992 140726200385481 0 /proc/4218/statm: 10208 3865 738 782 0 3224 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 40832 KiB Current children cumulated memory: 15460 KiB [startup+0.700268 s] /proc/loadavg: 2.24 2.06 2.07 3/178 4219 /proc/meminfo: memFree=31068712/32770624 swapFree=67108860/67108860 [pid=4218] ppid=4215 vsize=43644 memory=18528 CPUtime=0.62 cores=0,2,4,6 /proc/4218/stat : 4218 (MistralXCSP) R 4215 4218 897 0 -1 4202496 4959 0 0 0 62 0 0 0 20 0 1 0 67219555 44691456 4632 18446744073709551615 4194304 7396336 140726200380880 140726200375576 4249727 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 31567872 140726200381843 140726200381992 140726200381992 140726200385481 0 /proc/4218/statm: 10911 4632 777 782 0 3927 0 Current children cumulated CPU time: 0.62 s Current children cumulated vsize: 43644 KiB Current children cumulated memory: 18528 KiB [startup+1.50026 s] /proc/loadavg: 2.24 2.06 2.07 2/175 4236 /proc/meminfo: memFree=31075048/32770624 swapFree=67108860/67108860 [pid=4218] ppid=4215 vsize=43644 memory=18528 CPUtime=1.42 cores=0,2,4,6 /proc/4218/stat : 4218 (MistralXCSP) R 4215 4218 897 0 -1 4202496 4959 0 0 0 142 0 0 0 20 0 1 0 67219555 44691456 4632 18446744073709551615 4194304 7396336 140726200380880 140726200375896 4249696 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 31567872 140726200381843 140726200381992 140726200381992 140726200385481 0 /proc/4218/statm: 10911 4632 777 782 0 3927 0 Current children cumulated CPU time: 1.42 s Current children cumulated vsize: 43644 KiB Current children cumulated memory: 18528 KiB [startup+3.10913 s] /proc/loadavg: 2.24 2.06 2.07 3/181 4252 /proc/meminfo: memFree=31040780/32770624 swapFree=67108860/67108860 [pid=4218] ppid=4215 vsize=43644 memory=18536 CPUtime=3.03 cores=0,2,4,6 /proc/4218/stat : 4218 (MistralXCSP) R 4215 4218 897 0 -1 4202496 7719 0 0 0 302 1 0 0 20 0 1 0 67219555 44691456 4634 18446744073709551615 4194304 7396336 140726200380880 140726200375896 5772937 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 31567872 140726200381843 140726200381992 140726200381992 140726200385481 0 /proc/4218/statm: 10911 4634 779 782 0 3927 0 Current children cumulated CPU time: 3.03 s Current children cumulated vsize: 43644 KiB Current children cumulated memory: 18536 KiB [startup+6.30023 s] /proc/loadavg: 2.22 2.06 2.07 3/181 4252 /proc/meminfo: memFree=31040492/32770624 swapFree=67108860/67108860 [pid=4218] ppid=4215 vsize=43644 memory=18536 CPUtime=6.22 cores=0,2,4,6 /proc/4218/stat : 4218 (MistralXCSP) R 4215 4218 897 0 -1 4202496 10489 0 0 0 621 1 0 0 20 0 1 0 67219555 44691456 4634 18446744073709551615 4194304 7396336 140726200380880 140726200375896 4249767 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 31567872 140726200381843 140726200381992 140726200381992 140726200385481 0 /proc/4218/statm: 10911 4634 779 782 0 3927 0 Current children cumulated CPU time: 6.22 s Current children cumulated vsize: 43644 KiB Current children cumulated memory: 18536 KiB [startup+12.7002 s] /proc/loadavg: 2.20 2.06 2.07 3/181 4252 /proc/meminfo: memFree=31040756/32770624 swapFree=67108860/67108860 [pid=4218] ppid=4215 vsize=43644 memory=18544 CPUtime=12.62 cores=0,2,4,6 /proc/4218/stat : 4218 (MistralXCSP) R 4215 4218 897 0 -1 4202496 13268 0 0 0 1261 1 0 0 20 0 1 0 67219555 44691456 4636 18446744073709551615 4194304 7396336 140726200380880 140726200375896 5165796 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 31567872 140726200381843 140726200381992 140726200381992 140726200385481 0 /proc/4218/statm: 10911 4636 781 782 0 3927 0 Current children cumulated CPU time: 12.62 s Current children cumulated vsize: 43644 KiB Current children cumulated memory: 18544 KiB [startup+25.5003 s] /proc/loadavg: 2.16 2.06 2.07 3/181 4252 /proc/meminfo: memFree=31041028/32770624 swapFree=67108860/67108860 [pid=4218] ppid=4215 vsize=43644 memory=18544 CPUtime=25.41 cores=0,2,4,6 /proc/4218/stat : 4218 (MistralXCSP) R 4215 4218 897 0 -1 4202496 18825 0 0 0 2540 1 0 0 20 0 1 0 67219555 44691456 4636 18446744073709551615 4194304 7396336 140726200380880 140726200375896 4317601 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 31567872 140726200381843 140726200381992 140726200381992 140726200385481 0 /proc/4218/statm: 10911 4636 781 782 0 3927 0 Current children cumulated CPU time: 25.41 s Current children cumulated vsize: 43644 KiB Current children cumulated memory: 18544 KiB [startup+51.1092 s] /proc/loadavg: 2.10 2.05 2.06 3/181 4252 /proc/meminfo: memFree=31040364/32770624 swapFree=67108860/67108860 [pid=4218] ppid=4215 vsize=43644 memory=18608 CPUtime=51.01 cores=0,2,4,6 /proc/4218/stat : 4218 (MistralXCSP) R 4215 4218 897 0 -1 4202496 21621 0 0 0 5100 1 0 0 20 0 1 0 67219555 44691456 4652 18446744073709551615 4194304 7396336 140726200380880 140726200375896 5771336 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 31567872 140726200381843 140726200381992 140726200381992 140726200385481 0 /proc/4218/statm: 10911 4652 781 782 0 3927 0 Current children cumulated CPU time: 51.01 s Current children cumulated vsize: 43644 KiB Current children cumulated memory: 18608 KiB [startup+102.3 s] /proc/loadavg: 2.04 2.04 2.06 3/181 4254 /proc/meminfo: memFree=31039984/32770624 swapFree=67108860/67108860 [pid=4218] ppid=4215 vsize=43644 memory=18608 CPUtime=102.2 cores=0,2,4,6 /proc/4218/stat : 4218 (MistralXCSP) R 4215 4218 897 0 -1 4202496 22293 0 0 0 10219 1 0 0 20 0 1 0 67219555 44691456 4652 18446744073709551615 4194304 7396336 140726200380880 140726200375896 4581576 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 31567872 140726200381843 140726200381992 140726200381992 140726200385481 0 /proc/4218/statm: 10911 4652 781 782 0 3927 0 Current children cumulated CPU time: 102.2 s Current children cumulated vsize: 43644 KiB Current children cumulated memory: 18608 KiB [startup+162.3 s] /proc/loadavg: 2.02 2.04 2.05 3/181 4256 /proc/meminfo: memFree=31040448/32770624 swapFree=67108860/67108860 [pid=4218] ppid=4215 vsize=43644 memory=18608 CPUtime=162.19 cores=0,2,4,6 /proc/4218/stat : 4218 (MistralXCSP) R 4215 4218 897 0 -1 4202496 22964 0 0 0 16218 1 0 0 20 0 1 0 67219555 44691456 4652 18446744073709551615 4194304 7396336 140726200380880 140726200375896 4249698 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 31567872 140726200381843 140726200381992 140726200381992 140726200385481 0 /proc/4218/statm: 10911 4652 781 782 0 3927 0 Current children cumulated CPU time: 162.19 s Current children cumulated vsize: 43644 KiB Current children cumulated memory: 18608 KiB [startup+222.3 s] /proc/loadavg: 1.97 2.02 2.05 3/181 4258 /proc/meminfo: memFree=31040096/32770624 swapFree=67108860/67108860 [pid=4218] ppid=4215 vsize=43644 memory=18608 CPUtime=222.2 cores=0,2,4,6 /proc/4218/stat : 4218 (MistralXCSP) R 4215 4218 897 0 -1 4202496 23616 0 0 0 22219 1 0 0 20 0 1 0 67219555 44691456 4652 18446744073709551615 4194304 7396336 140726200380880 140726200375896 4582464 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 31567872 140726200381843 140726200381992 140726200381992 140726200385481 0 /proc/4218/statm: 10911 4652 781 782 0 3927 0 Current children cumulated CPU time: 222.2 s Current children cumulated vsize: 43644 KiB Current children cumulated memory: 18608 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 1.98 2.01 2.05 3/181 4260 /proc/meminfo: memFree=31040172/32770624 swapFree=67108860/67108860 [pid=4218] ppid=4215 vsize=43644 memory=18608 CPUtime=251.91 cores=0,2,4,6 /proc/4218/stat : 4218 (MistralXCSP) R 4215 4218 897 0 -1 4202496 23637 0 0 0 25190 1 0 0 20 0 1 0 67219555 44691456 4652 18446744073709551615 4194304 7396336 140726200380880 140726200375896 5772915 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 31567872 140726200381843 140726200381992 140726200381992 140726200385481 0 /proc/4218/statm: 10911 4652 781 782 0 3927 0 Current children cumulated CPU time: 251.91 s Current children cumulated vsize: 43644 KiB Current children cumulated memory: 18608 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.011 s] # the end of solver process 4218 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.904 s, system=0.020999 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 252.011 CPU time (s): 251.925 CPU user time (s): 251.904 CPU system time (s): 0.020999 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 43644 Max. memory (cumulated for all children) (KiB): 18608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.904 system time used= 0.020999 maximum resident set size= 18628 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23662 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= 13 involuntary context switches= 438 # summary of solver processes directly reported to runsolver: # pid: 4218 # total CPU time (s): 251.925 # total CPU user time (s): 251.904 # total CPU system time (s): 0.020999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.921727 second user time and 1.76236 second system time The end
Begin job on node125 at 2017-08-13 20:32:23 IDJOB=4259349 IDBENCH=124419 IDSOLVER=2645 FILE ID=node125/4259349-1502649989 RUNJOBID= node125-1502644564-1656 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-07-28 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n45-k5.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-4259349-1502649989/watcher-4259349-1502649989 -o /tmp/evaluation-result-4259349-1502649989/solver-4259349-1502649989 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502644564-1656 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 461424113 HOME/instance-4259349-1502649989.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4e8baeb7bdba194b7c2724961347fdb9 RANDOM SEED=461424113 node125.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.07 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.07 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.07 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.07 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: 31028312 kB MemAvailable: 31936976 kB Buffers: 287180 kB Cached: 916772 kB SwapCached: 0 kB Active: 728712 kB Inactive: 584524 kB Active(anon): 109976 kB Inactive(anon): 33100 kB Active(file): 618736 kB Inactive(file): 551424 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5676 kB Writeback: 4 kB AnonPages: 83356 kB Mapped: 57944 kB Shmem: 33444 kB Slab: 133860 kB SReclaimable: 108680 kB SUnreclaim: 25180 kB KernelStack: 3232 kB PageTables: 5132 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1259304 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62020 MiB End job on node125 at 2017-08-13 20:36:35