Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: Mistral-2.0 2017-06-28 | SAT (TO) | 715 | 2400.09 | 2400.21 |
Name | Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml |
MD5SUM | ccd62f28d001d5578c14e849049b60f5 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 715 |
Best CPU time to get the best result obtained on this benchmark | 2400.09 |
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.02 c Mistral-2017-06-28 0.47/0.54 o 3512 0.47/0.54 o 3406 0.47/0.55 o 3314 0.47/0.55 o 3260 0.47/0.55 o 3213 0.47/0.56 o 3170 0.47/0.58 o 3123 0.47/0.58 o 3121 0.47/0.58 o 3073 0.47/0.59 o 3072 0.47/0.59 o 3067 0.57/0.62 o 3018 0.57/0.62 o 3014 0.57/0.62 o 2977 0.57/0.62 o 2975 0.57/0.63 o 2932 0.57/0.63 o 2928 0.57/0.63 o 2922 0.57/0.64 o 2873 0.57/0.64 o 2851 0.57/0.67 o 2847 0.57/0.67 o 2844 0.57/0.67 o 2815 0.57/0.68 o 2809 0.67/0.72 o 2800 0.67/0.75 o 2794 0.67/0.76 o 2791 0.67/0.79 o 2775 0.77/0.84 o 2738 0.77/0.84 o 2735 0.77/0.84 o 2725 0.77/0.85 o 2724 0.77/0.85 o 2704 0.77/0.85 o 2692 0.77/0.86 o 2683 0.77/0.89 o 2681 0.87/0.93 o 2656 0.87/0.93 o 2654 0.87/0.93 o 2644 0.97/1.08 o 2643 0.97/1.09 o 2641 1.66/1.78 o 2618 1.66/1.78 o 2598 1.76/1.81 o 2595 2.56/2.69 o 2545 2.56/2.69 o 2502 2.56/2.69 o 2479 2.56/2.69 o 2453 2.66/2.70 o 2451 2.66/2.70 o 2402 2.66/2.70 o 2379 2.66/2.71 o 2364 2.66/2.71 o 2363 2.66/2.71 o 2340 2.66/2.72 o 2319 2.66/2.77 o 2201 2.66/2.77 o 2194 2.76/2.84 o 2192 2.76/2.86 o 2175 2.76/2.87 o 2126 2.76/2.87 o 2117 2.76/2.88 o 2107 2.76/2.88 o 2101 2.76/2.88 o 2098 2.76/2.89 o 2071 2.86/2.92 o 2064 2.86/2.93 o 2063 2.86/2.95 o 2053 2.96/3.00 o 2051 2.96/3.02 o 2048 2.96/3.06 o 2017 2.96/3.06 o 2003 2.96/3.08 o 1964 2.96/3.08 o 1960 3.06/3.12 o 1944 3.06/3.17 o 1943 3.06/3.17 o 1932 3.06/3.19 o 1928 3.27/3.31 o 1918 3.27/3.31 o 1913 3.27/3.31 o 1885 3.27/3.32 o 1875 3.27/3.32 o 1837 3.27/3.32 o 1823 3.46/3.50 o 1820 3.46/3.51 o 1812 3.46/3.51 o 1794 3.46/3.51 o 1791 3.56/3.65 o 1790 3.56/3.65 o 1773 3.56/3.65 o 1771 4.06/4.14 o 1730 4.06/4.15 o 1723 4.06/4.15 o 1711 4.06/4.15 o 1695 4.06/4.17 o 1679 4.06/4.18 o 1669 4.06/4.18 o 1662 4.06/4.19 o 1661 4.06/4.19 o 1660 4.06/4.19 o 1659 4.16/4.25 o 1643 4.16/4.25 o 1633 4.16/4.28 o 1627 4.26/4.36 o 1614 4.26/4.37 o 1612 4.37/4.44 o 1590 4.37/4.47 o 1578 4.56/4.60 o 1570 4.56/4.69 o 1569 4.66/4.78 o 1567 4.76/4.84 o 1533 4.76/4.88 o 1531 4.86/4.97 o 1524 4.86/4.98 o 1494 5.06/5.14 o 1490 5.06/5.16 o 1485 5.06/5.16 o 1466 5.06/5.17 o 1465 5.06/5.18 o 1421 5.36/5.44 o 1367 5.36/5.44 o 1361 5.36/5.44 o 1355 5.36/5.45 o 1322 5.36/5.45 o 1302 5.36/5.46 o 1283 5.36/5.46 o 1264 5.36/5.49 o 1235 5.36/5.49 o 1233 5.66/5.70 o 1198 5.76/5.81 o 1189 5.76/5.82 o 1184 5.86/5.90 o 1166 6.46/6.54 o 1150 6.57/6.63 o 1149 6.57/6.64 o 1148 6.57/6.64 o 1144 6.67/6.75 o 1143 6.67/6.75 o 1113 6.67/6.75 o 1108 6.67/6.76 o 1101 6.67/6.76 o 1095 6.96/7.06 o 1092 6.96/7.06 o 1085 6.96/7.07 o 1060 6.96/7.07 o 1059 7.16/7.23 o 1020 7.16/7.24 o 1019 7.16/7.24 o 1018 7.26/7.37 o 993 7.46/7.52 o 987 7.56/7.60 o 983 7.56/7.62 o 946 7.56/7.68 o 934 7.77/7.89 o 933 8.06/8.16 o 926 8.87/8.99 o 918 8.96/9.01 o 883 11.36/11.42 o 879 11.86/11.94 o 872 12.86/12.98 o 871 15.37/15.42 o 870 16.66/16.75 o 865 16.76/16.81 o 863 16.76/16.88 o 860 17.56/17.64 o 855 22.26/22.30 o 843 22.26/22.31 o 842 22.26/22.31 o 833 22.26/22.32 o 827 22.36/22.40 o 819 23.16/23.26 o 818 23.26/23.39 o 816 25.85/25.96 o 809 27.15/27.21 o 808 28.15/28.24 o 799 29.95/30.09 o 767 30.05/30.14 o 761 30.86/30.97 o 760 30.86/30.98 o 759 33.15/33.28 o 758 33.95/34.08 o 757 35.35/35.48 o 753 35.35/35.49 o 752 37.05/37.15 o 742 37.65/37.71 o 740 39.85/39.94 o 738 45.35/45.46 o 731 45.35/45.46 o 727 50.66/50.79 o 726 59.85/59.98 o 725 59.85/59.98 o 724 64.56/64.67 o 722 81.37/81.44 o 721 119.46/119.56 o 719 128.66/128.76 o 715 2400.08/2400.20 s SATISFIABLE 2400.08/2400.20 v <instantiation type="solution"> 2400.08/2400.20 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> 2400.08/2400.20 v <values> 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 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 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 72 71 34 99 94 63 91 63 52 91 94 7 14 33 10 13 36 80 42 82 78 73 18 11 33 47 100 54 47 34 62 13 59 76 82 76 28 19 79 99 38 51 26 67 </values> 2400.08/2400.20 v </instantiation>
OK 715
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240894-1500648176/watcher-4240894-1500648176 -o /tmp/evaluation-result-4240894-1500648176/solver-4240894-1500648176 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500648174-9873 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 195319193 HOME/instance-4240894-1500648176.xml pid=9890 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.00 0.04 0.10 2/240 9893 /proc/meminfo: memFree=32080312/32770624 swapFree=5956/176568 [pid=9893] ppid=9890 vsize=6912 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) D 9890 9893 9841 0 -1 1077936128 168 0 2 0 0 0 0 0 20 0 1 0 84281 7077888 36 33554432000 4194304 7402444 140725627869952 140725627867192 139670092322503 0 0 4096 0 18446744072101563940 0 0 17 12 0 0 0 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 1728 36 26 784 0 40 0 [startup+0.10017 s] /proc/loadavg: 0.00 0.04 0.10 2/240 9893 /proc/meminfo: memFree=32080312/32770624 swapFree=5956/176568 [pid=9893] ppid=9890 vsize=36152 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 2911 0 3 0 6 0 0 0 20 0 1 0 84281 37019648 2685 33554432000 4194304 7402444 140725627869952 140725627859960 4731480 0 0 4096 0 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 9038 2685 677 784 0 2052 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 36152 [startup+0.20038 s] /proc/loadavg: 0.00 0.04 0.10 2/240 9893 /proc/meminfo: memFree=32080312/32770624 swapFree=5956/176568 [pid=9893] ppid=9890 vsize=38428 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 3475 0 3 0 16 1 0 0 20 0 1 0 84281 39350272 3213 33554432000 4194304 7402444 140725627869952 140725627860552 6142040 0 0 4096 0 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 9607 3213 687 784 0 2621 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 38428 [startup+0.300328 s] /proc/loadavg: 0.00 0.04 0.10 2/240 9893 /proc/meminfo: memFree=32080312/32770624 swapFree=5956/176568 [pid=9893] ppid=9890 vsize=40708 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 4084 0 3 0 26 1 0 0 20 0 1 0 84281 41684992 3807 33554432000 4194304 7402444 140725627869952 140725627860552 6057291 0 0 4096 0 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10177 3807 688 784 0 3191 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 40708 [startup+0.700332 s] /proc/loadavg: 0.00 0.04 0.10 2/240 9893 /proc/meminfo: memFree=32080312/32770624 swapFree=5956/176568 [pid=9893] ppid=9890 vsize=43652 CPUtime=0.67 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 4968 0 3 0 66 1 0 0 20 0 1 0 84281 44699648 4635 33554432000 4194304 7402444 140725627869952 140725627864968 5696140 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4635 780 784 0 3927 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 43652 [startup+1.50033 s] /proc/loadavg: 0.00 0.04 0.10 3/248 9908 /proc/meminfo: memFree=32036928/32770624 swapFree=5956/172136 [pid=9893] ppid=9890 vsize=43652 CPUtime=1.46 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 4968 0 3 0 145 1 0 0 20 0 1 0 84281 44699648 4635 33554432000 4194304 7402444 140725627869952 140725627864968 4467251 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4635 780 784 0 3927 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 43652 [startup+3.10032 s] /proc/loadavg: 0.00 0.04 0.10 3/248 9908 /proc/meminfo: memFree=32035484/32770624 swapFree=5956/172344 [pid=9893] ppid=9890 vsize=43652 CPUtime=3.06 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 7732 0 3 0 305 1 0 0 20 0 1 0 84281 44699648 4641 33554432000 4194304 7402444 140725627869952 140725627864968 4342254 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4641 786 784 0 3927 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 43652 [startup+6.30028 s] /proc/loadavg: 0.16 0.08 0.11 4/248 9908 /proc/meminfo: memFree=32035524/32770624 swapFree=5956/172344 [pid=9893] ppid=9890 vsize=43652 CPUtime=6.26 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 10506 0 3 0 625 1 0 0 20 0 1 0 84281 44699648 4641 33554432000 4194304 7402444 140725627869952 140725627864968 5750706 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4641 786 784 0 3927 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 43652 [startup+12.7003 s] /proc/loadavg: 0.31 0.11 0.12 3/248 9908 /proc/meminfo: memFree=32035396/32770624 swapFree=5956/172356 [pid=9893] ppid=9890 vsize=43652 CPUtime=12.66 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 13295 0 3 0 1265 1 0 0 20 0 1 0 84281 44699648 4641 33554432000 4194304 7402444 140725627869952 140725627864968 4465454 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4641 786 784 0 3927 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 43652 [startup+25.5004 s] /proc/loadavg: 0.68 0.20 0.15 3/248 9908 /proc/meminfo: memFree=32034932/32770624 swapFree=5956/172384 [pid=9893] ppid=9890 vsize=43652 CPUtime=25.46 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 17944 0 3 0 2545 1 0 0 20 0 1 0 84281 44699648 4642 33554432000 4194304 7402444 140725627869952 140725627864968 5327213 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4642 786 784 0 3927 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 43652 [startup+51.1004 s] /proc/loadavg: 1.13 0.34 0.20 3/248 9908 /proc/meminfo: memFree=32034540/32770624 swapFree=5956/172416 [pid=9893] ppid=9890 vsize=43652 CPUtime=51.05 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 18532 0 3 0 5104 1 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 4463889 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 43652 [startup+102.3 s] /proc/loadavg: 1.69 0.62 0.30 3/248 9912 /proc/meminfo: memFree=32034124/32770624 swapFree=5956/173264 [pid=9893] ppid=9890 vsize=43652 CPUtime=102.27 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 19131 0 3 0 10225 2 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 4463814 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 43652 [startup+162.3 s] /proc/loadavg: 1.89 0.87 0.41 3/247 9913 /proc/meminfo: memFree=32034372/32770624 swapFree=5956/173348 [pid=9893] ppid=9890 vsize=43652 CPUtime=162.26 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 19722 0 3 0 16224 2 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 4708070 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 43652 [startup+222.308 s] /proc/loadavg: 2.03 1.09 0.51 3/247 9914 /proc/meminfo: memFree=32034556/32770624 swapFree=5956/173384 [pid=9893] ppid=9890 vsize=43652 CPUtime=222.26 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 20295 0 3 0 22224 2 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 5750742 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 43652 [startup+282.3 s] /proc/loadavg: 2.14 1.29 0.61 3/247 9915 /proc/meminfo: memFree=32035172/32770624 swapFree=5956/173460 [pid=9893] ppid=9890 vsize=43652 CPUtime=282.25 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 20872 0 3 0 28223 2 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 5750756 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 43652 [startup+342.3 s] /proc/loadavg: 2.05 1.42 0.70 3/244 9916 /proc/meminfo: memFree=32035404/32770624 swapFree=5956/173512 [pid=9893] ppid=9890 vsize=43652 CPUtime=342.25 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 21450 0 3 0 34223 2 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 5327213 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 342.25 Current children cumulated vsize (KiB) 43652 [startup+402.3 s] /proc/loadavg: 2.02 1.52 0.78 3/243 9917 /proc/meminfo: memFree=32035076/32770624 swapFree=5956/173548 [pid=9893] ppid=9890 vsize=43652 CPUtime=402.24 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 22024 0 3 0 40222 2 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 5327353 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 402.24 Current children cumulated vsize (KiB) 43652 [startup+462.3 s] /proc/loadavg: 2.01 1.61 0.86 3/243 9925 /proc/meminfo: memFree=32034148/32770624 swapFree=5956/173588 [pid=9893] ppid=9890 vsize=43652 CPUtime=462.24 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 22589 0 3 0 46222 2 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 4465470 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 462.24 Current children cumulated vsize (KiB) 43652 [startup+522.3 s] /proc/loadavg: 2.00 1.68 0.93 3/243 9926 /proc/meminfo: memFree=32034216/32770624 swapFree=5956/173616 [pid=9893] ppid=9890 vsize=43652 CPUtime=522.24 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 23160 0 3 0 52222 2 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 4466976 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 522.24 Current children cumulated vsize (KiB) 43652 [startup+582.3 s] /proc/loadavg: 2.00 1.74 1.00 3/243 9927 /proc/meminfo: memFree=32034476/32770624 swapFree=5956/173656 [pid=9893] ppid=9890 vsize=43652 CPUtime=582.23 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 23726 0 3 0 58221 2 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 4463864 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 582.23 Current children cumulated vsize (KiB) 43652 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.63 3/243 9975 /proc/meminfo: memFree=32032348/32770624 swapFree=5956/174148 [pid=9893] ppid=9890 vsize=43652 CPUtime=1482.2 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 32325 0 3 0 148218 2 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 5750706 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 1482.2 Current children cumulated vsize (KiB) 43652 [startup+1542.31 s] /proc/loadavg: 2.00 2.00 1.65 3/243 9976 /proc/meminfo: memFree=32031952/32770624 swapFree=5956/174176 [pid=9893] ppid=9890 vsize=43652 CPUtime=1542.2 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 32897 0 3 0 154218 2 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 5750711 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 1542.2 Current children cumulated vsize (KiB) 43652 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.67 3/243 9977 /proc/meminfo: memFree=32032612/32770624 swapFree=5956/174212 [pid=9893] ppid=9890 vsize=43652 CPUtime=1602.19 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 33476 0 3 0 160217 2 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 4463859 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 1602.19 Current children cumulated vsize (KiB) 43652 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.69 3/244 9986 /proc/meminfo: memFree=32031804/32770624 swapFree=5956/174220 [pid=9893] ppid=9890 vsize=43652 CPUtime=1662.19 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 34050 0 3 0 166217 2 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 5695885 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 1662.19 Current children cumulated vsize (KiB) 43652 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.71 3/244 9987 /proc/meminfo: memFree=32031960/32770624 swapFree=5956/174244 [pid=9893] ppid=9890 vsize=43652 CPUtime=1722.19 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 34628 0 3 0 172217 2 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 4463864 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 1722.19 Current children cumulated vsize (KiB) 43652 [startup+1782.3 s] /proc/loadavg: 2.10 2.03 1.74 3/244 9988 /proc/meminfo: memFree=32032364/32770624 swapFree=5956/174276 [pid=9893] ppid=9890 vsize=43652 CPUtime=1782.19 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 35203 0 3 0 178217 2 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 5750706 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 1782.19 Current children cumulated vsize (KiB) 43652 [startup+1842.3 s] /proc/loadavg: 2.04 2.02 1.76 3/244 9989 /proc/meminfo: memFree=32032168/32770624 swapFree=5956/174304 [pid=9893] ppid=9890 vsize=43652 CPUtime=1842.18 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 35778 0 3 0 184216 2 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 5747583 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 1842.18 Current children cumulated vsize (KiB) 43652 [startup+1902.3 s] /proc/loadavg: 2.01 2.02 1.77 3/244 9990 /proc/meminfo: memFree=32031276/32770624 swapFree=5956/174332 [pid=9893] ppid=9890 vsize=43652 CPUtime=1902.19 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 36355 0 3 0 190216 3 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 5750489 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 1902.19 Current children cumulated vsize (KiB) 43652 [startup+1962.3 s] /proc/loadavg: 2.01 2.01 1.79 3/243 9991 /proc/meminfo: memFree=32032272/32770624 swapFree=5956/174376 [pid=9893] ppid=9890 vsize=43652 CPUtime=1962.19 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 36929 0 3 0 196216 3 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 4463905 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 1962.19 Current children cumulated vsize (KiB) 43652 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 1.80 3/243 9992 /proc/meminfo: memFree=32032108/32770624 swapFree=5956/174400 [pid=9893] ppid=9890 vsize=43652 CPUtime=2022.18 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 37493 0 3 0 202215 3 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 4747176 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 2022.18 Current children cumulated vsize (KiB) 43652 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 1.81 3/243 9993 /proc/meminfo: memFree=32031652/32770624 swapFree=5956/174432 [pid=9893] ppid=9890 vsize=43652 CPUtime=2082.19 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 37932 0 3 0 208216 3 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 4466967 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 2082.19 Current children cumulated vsize (KiB) 43652 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 1.82 3/243 9994 /proc/meminfo: memFree=32032428/32770624 swapFree=5956/174460 [pid=9893] ppid=9890 vsize=43652 CPUtime=2142.18 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 38483 0 3 0 214215 3 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 4341748 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 2142.18 Current children cumulated vsize (KiB) 43652 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 1.83 3/243 9995 /proc/meminfo: memFree=32032264/32770624 swapFree=5956/174456 [pid=9893] ppid=9890 vsize=43652 CPUtime=2202.19 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 38927 0 3 0 220216 3 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 5750725 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 2202.19 Current children cumulated vsize (KiB) 43652 [startup+2262.3 s] /proc/loadavg: 2.04 2.03 1.85 3/243 10003 /proc/meminfo: memFree=32032584/32770624 swapFree=5956/174500 [pid=9893] ppid=9890 vsize=43652 CPUtime=2262.18 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 39501 0 3 0 226215 3 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 5750448 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 2262.18 Current children cumulated vsize (KiB) 43652 [startup+2322.3 s] /proc/loadavg: 2.01 2.02 1.86 3/243 10004 /proc/meminfo: memFree=32033548/32770624 swapFree=5956/174520 [pid=9893] ppid=9890 vsize=43652 CPUtime=2322.18 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 40076 0 3 0 232215 3 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 4466927 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 2322.18 Current children cumulated vsize (KiB) 43652 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 1.87 3/243 10005 /proc/meminfo: memFree=32032576/32770624 swapFree=5956/174548 [pid=9893] ppid=9890 vsize=43652 CPUtime=2382.18 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 40651 0 3 0 238215 3 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 4465443 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 2382.18 Current children cumulated vsize (KiB) 43652 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.2 s] /proc/loadavg: 2.00 2.01 1.87 3/243 10005 /proc/meminfo: memFree=32032948/32770624 swapFree=5956/174556 [pid=9893] ppid=9890 vsize=43652 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14 /proc/9893/stat : 9893 (MistralXCSP) R 9890 9893 9841 0 -1 4202496 41220 0 3 0 240005 3 0 0 20 0 1 0 84281 44699648 4657 33554432000 4194304 7402444 140725627869952 140725627864968 4747338 0 0 4096 16386 0 0 0 17 12 0 0 1 0 0 9500608 9505824 17235968 140725627876521 140725627876670 140725627876670 140725627879369 0 /proc/9893/statm: 10913 4657 786 784 0 3927 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 43652 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 9893 sig 9 ??? kill -9893 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2400.21 CPU time (s): 2400.09 CPU user time (s): 2400.06 CPU system time (s): 0.031998 CPU usage (%): 99.9951 Max. virtual memory (cumulated for all children) (KiB): 43652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.06 system time used= 0.031998 maximum resident set size= 18652 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41259 page faults= 3 swaps= 0 block input operations= 3320 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24 involuntary context switches= 120665 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.16839 second user time and 11.8566 second system time The end
Begin job on node137 at 2017-07-21 16:42:56 IDJOB=4240894 IDBENCH=124392 IDSOLVER=2622 FILE ID=node137/4240894-1500648176 RUNJOBID= node137-1500648174-9873 PBS_JOBID= 20623283 Free space on /tmp= 62016 MiB SOLVER NAME= Mistral-2.0 2017-06-28 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n45-k6.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-4240894-1500648176/watcher-4240894-1500648176 -o /tmp/evaluation-result-4240894-1500648176/solver-4240894-1500648176 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500648174-9873 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 195319193 HOME/instance-4240894-1500648176.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= ccd62f28d001d5578c14e849049b60f5 RANDOM SEED=195319193 node137.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5332.93 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5332.93 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5332.93 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5332.93 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 32082332 kB MemAvailable: 32029164 kB Buffers: 28812 kB Cached: 228624 kB SwapCached: 0 kB Active: 127472 kB Inactive: 183164 kB Active(anon): 55908 kB Inactive(anon): 8548 kB Active(file): 71564 kB Inactive(file): 174616 kB Unevictable: 5956 kB Mlocked: 5956 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5600 kB Writeback: 0 kB AnonPages: 59416 kB Mapped: 29148 kB Shmem: 8852 kB Slab: 63852 kB SReclaimable: 32972 kB SUnreclaim: 30880 kB KernelStack: 4080 kB PageTables: 4764 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 308916 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 62004 MiB End job on node137 at 2017-07-21 17:22:56