| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3602.11 | 3612.52 |
| Name | PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_13_shg.opb |
| MD5SUM | a008918ff26f135f427f5632a2cbbc59 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 60 |
| Best CPU time to get the best result obtained on this benchmark | 3558.02 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 15312 |
| Total number of constraints | 65280 |
| Number of constraints which are clauses | 65280 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 64 |
| Maximum length of a constraint | 92 |
| Number of terms in the objective function | 15312 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 15312 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 15312 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 2.38/2.49 c #variables 15312 #constraints 65280 19.53/19.66 c bounds - >= 0 @ 2.33922 19.53/19.66 c bounds 1184 >= 0 @ 12.4969 19.53/19.66 c bounds 1184 >= 1 @ 12.5032 19.53/19.66 c bounds 1184 >= 2 @ 12.5074 19.53/19.66 c bounds 1184 >= 3 @ 12.5115 19.53/19.66 c bounds 1184 >= 4 @ 12.5169 19.53/19.66 c bounds 1184 >= 5 @ 12.5225 19.53/19.66 c bounds 1184 >= 6 @ 12.526 19.53/19.66 c bounds 1184 >= 7 @ 12.5313 19.53/19.66 c bounds 1184 >= 8 @ 12.5367 19.53/19.66 c bounds 1184 >= 9 @ 12.5435 19.53/19.66 c bounds 1184 >= 10 @ 12.5493 19.53/19.66 c bounds 1184 >= 11 @ 12.5521 19.53/19.66 c bounds 1184 >= 12 @ 12.557 19.53/19.66 c bounds 1184 >= 13 @ 12.5633 19.53/19.66 c bounds 1184 >= 14 @ 12.5704 19.53/19.66 c bounds 1184 >= 15 @ 12.5767 19.53/19.66 c bounds 1184 >= 16 @ 12.585 19.53/19.66 c bounds 1184 >= 17 @ 12.5914 19.53/19.66 c bounds 1184 >= 18 @ 12.5974 19.53/19.66 c bounds 1184 >= 19 @ 12.6096 19.53/19.66 c bounds 1184 >= 20 @ 12.6137 19.53/19.66 c bounds 1184 >= 21 @ 12.6175 19.53/19.66 c bounds 1184 >= 22 @ 12.6269 19.53/19.66 c bounds 1184 >= 23 @ 12.642 19.53/19.66 c bounds 1184 >= 24 @ 12.6573 19.53/19.66 c bounds 1184 >= 25 @ 12.6848 19.53/19.66 c bounds 1184 >= 26 @ 12.9281 19.53/19.66 c bounds 1183 >= 26 @ 13.0317 19.53/19.66 c bounds 1182 >= 26 @ 13.0747 19.53/19.66 c bounds 1181 >= 26 @ 13.1361 19.53/19.66 c bounds 1180 >= 26 @ 13.1648 19.53/19.66 c bounds 1179 >= 26 @ 13.2393 19.53/19.66 c bounds 1178 >= 26 @ 13.255 19.53/19.66 c bounds 1177 >= 26 @ 13.2827 19.53/19.66 c bounds 1176 >= 26 @ 13.3166 19.53/19.66 c bounds 1175 >= 26 @ 13.3303 19.53/19.66 c bounds 1174 >= 26 @ 13.3392 19.53/19.66 c bounds 1173 >= 26 @ 13.3493 19.53/19.66 c bounds 1172 >= 26 @ 13.364 19.53/19.66 c bounds 1171 >= 26 @ 13.3794 19.53/19.66 c bounds 1170 >= 26 @ 13.3994 19.53/19.66 c bounds 1169 >= 26 @ 13.4171 19.53/19.66 c #Conflicts: 1000 | #Constraints: 66432 19.53/19.66 c bounds 1169 >= 27 @ 14.732 19.53/19.66 c bounds 1168 >= 27 @ 14.7972 19.53/19.66 c bounds 1167 >= 27 @ 14.8368 19.53/19.66 c bounds 1166 >= 27 @ 14.8766 19.53/19.66 c bounds 1165 >= 27 @ 14.9094 19.53/19.66 c bounds 1164 >= 27 @ 14.9504 19.53/19.66 c bounds 1163 >= 27 @ 15.0045 19.53/19.66 c bounds 1162 >= 27 @ 15.0638 19.53/19.66 c bounds 1161 >= 27 @ 15.1004 19.53/19.66 c bounds 1160 >= 27 @ 15.1279 19.53/19.66 c bounds 1159 >= 27 @ 15.1599 19.53/19.66 c bounds 1158 >= 27 @ 15.1828 19.53/19.66 c bounds 1157 >= 27 @ 15.2023 19.53/19.66 c bounds 1156 >= 27 @ 15.2174 19.53/19.66 c bounds 1155 >= 27 @ 15.2348 19.53/19.66 c bounds 1154 >= 27 @ 15.2543 19.53/19.66 c bounds 1153 >= 27 @ 15.2742 19.53/19.66 c bounds 1152 >= 27 @ 15.2982 19.53/19.66 c bounds 1151 >= 27 @ 15.3303 19.53/19.66 c bounds 1150 >= 27 @ 15.354 19.53/19.66 c bounds 1149 >= 27 @ 15.3916 19.53/19.66 c bounds 1148 >= 27 @ 15.4151 19.53/19.66 c bounds 1147 >= 27 @ 15.4376 19.53/19.66 c bounds 1146 >= 27 @ 15.4661 19.53/19.66 c bounds 1145 >= 27 @ 15.4911 19.53/19.66 c bounds 1144 >= 27 @ 15.5189 19.53/19.66 c bounds 1143 >= 27 @ 15.5539 19.53/19.66 c bounds 1142 >= 27 @ 15.5853 19.53/19.66 c bounds 1141 >= 27 @ 15.6133 19.53/19.66 c bounds 1140 >= 27 @ 15.6571 19.53/19.66 c bounds 1139 >= 27 @ 15.696 19.53/19.66 c bounds 1138 >= 27 @ 15.7246 19.53/19.66 c bounds 1137 >= 27 @ 15.7509 19.53/19.66 c bounds 1136 >= 27 @ 15.774 19.53/19.66 c bounds 1135 >= 27 @ 15.8018 19.53/19.66 c bounds 1134 >= 27 @ 15.8261 19.53/19.66 c bounds 1133 >= 27 @ 15.8472 19.53/19.66 c bounds 1132 >= 27 @ 15.8705 19.53/19.66 c bounds 1131 >= 27 @ 15.8882 19.53/19.66 c bounds 1130 >= 27 @ 15.9061 19.53/19.66 c bounds 1129 >= 27 @ 15.9283 19.53/19.66 c bounds 1128 >= 27 @ 15.9482 19.53/19.66 c bounds 1127 >= 27 @ 15.9784 19.53/19.66 c bounds 1126 >= 27 @ 16.021 19.53/19.66 c bounds 1125 >= 27 @ 16.0739 19.53/19.66 c bounds 1124 >= 27 @ 16.1016 19.53/19.66 c bounds 1123 >= 27 @ 16.1372 19.53/19.66 c bounds 1122 >= 27 @ 16.1631 19.53/19.66 c bounds 1121 >= 27 @ 16.1906 19.53/19.66 c bounds 1120 >= 27 @ 16.2157 19.53/19.66 c bounds 1119 >= 27 @ 16.2431 19.53/19.66 c bounds 1118 >= 27 @ 16.2684 19.53/19.66 c bounds 1117 >= 27 @ 16.287 19.53/19.66 c bounds 1116 >= 27 @ 16.3075 19.53/19.66 c bounds 1115 >= 27 @ 16.3274 19.53/19.66 c bounds 1114 >= 27 @ 16.3578 19.53/19.66 c bounds 1113 >= 27 @ 16.3988 19.53/19.66 c bounds 1112 >= 27 @ 16.4594 19.53/19.66 c bounds 1111 >= 27 @ 16.4906 19.53/19.66 c bounds 1110 >= 27 @ 16.5133 19.53/19.66 c bounds 1109 >= 27 @ 16.5372 19.53/19.66 c bounds 1108 >= 27 @ 16.5621 19.53/19.66 c bounds 1107 >= 27 @ 16.5868 19.53/19.66 c bounds 1106 >= 27 @ 16.6004 19.53/19.66 c bounds 1105 >= 27 @ 16.6175 19.53/19.66 c bounds 1104 >= 27 @ 16.6361 19.53/19.66 c bounds 1103 >= 27 @ 16.6536 19.53/19.66 c bounds 1102 >= 27 @ 16.6699 19.53/19.66 c bounds 1101 >= 27 @ 16.6905 19.53/19.66 c bounds 1100 >= 27 @ 16.7047 19.53/19.66 c bounds 1099 >= 27 @ 16.7233 19.53/19.66 c bounds 1098 >= 27 @ 16.7442 19.53/19.66 c bounds 1097 >= 27 @ 16.7658 19.53/19.66 c bounds 1096 >= 27 @ 16.7844 19.53/19.66 c bounds 1095 >= 27 @ 16.8042 19.53/19.66 c bounds 1094 >= 27 @ 16.8268 19.53/19.66 c bounds 1093 >= 27 @ 16.8453 19.53/19.66 c bounds 1092 >= 27 @ 16.8633 19.53/19.66 c bounds 1091 >= 27 @ 16.8786 19.53/19.66 c bounds 1090 >= 27 @ 16.8968 19.53/19.66 c bounds 1089 >= 27 @ 16.9201 19.53/19.66 c bounds 1088 >= 27 @ 16.9398 19.53/19.66 c bounds 1087 >= 27 @ 16.959 19.53/19.66 c bounds 1086 >= 27 @ 16.9744 19.53/19.66 c bounds 1085 >= 27 @ 16.989 19.53/19.66 c bounds 1084 >= 27 @ 17.0095 19.53/19.66 c bounds 1083 >= 27 @ 17.0274 19.53/19.66 c bounds 1082 >= 27 @ 17.0554 19.53/19.66 c bounds 1081 >= 27 @ 17.1057 19.53/19.66 c bounds 1080 >= 27 @ 17.1409 19.53/19.66 c bounds 1079 >= 27 @ 17.1701 19.53/19.66 c bounds 1078 >= 27 @ 17.2094 19.53/19.66 c bounds 1077 >= 27 @ 17.2388 78.38/78.69 c bounds 1076 >= 27 @ 17.2668 78.38/78.69 c bounds 1075 >= 27 @ 17.2847 78.38/78.69 c bounds 1074 >= 27 @ 17.3057 78.38/78.69 c bounds 1073 >= 27 @ 17.3192 78.38/78.69 c bounds 1072 >= 27 @ 17.3442 78.38/78.69 c bounds 1071 >= 27 @ 17.3695 78.38/78.69 c bounds 1070 >= 27 @ 17.3929 78.38/78.69 c bounds 1069 >= 27 @ 17.4206 78.38/78.69 c bounds 1068 >= 27 @ 17.4494 78.38/78.69 c bounds 1067 >= 27 @ 17.4735 78.38/78.69 c bounds 1066 >= 27 @ 17.4918 78.38/78.69 c bounds 1065 >= 27 @ 17.5174 78.38/78.69 c bounds 1064 >= 27 @ 17.5457 78.38/78.69 c bounds 1063 >= 27 @ 17.5751 78.38/78.69 c bounds 1062 >= 27 @ 17.5957 78.38/78.69 c bounds 1061 >= 27 @ 17.6257 78.38/78.69 c bounds 1060 >= 27 @ 17.6571 78.38/78.69 c bounds 1059 >= 27 @ 17.6864 78.38/78.69 c bounds 1058 >= 27 @ 17.7092 78.38/78.69 c bounds 1057 >= 27 @ 17.7363 78.38/78.69 c bounds 1056 >= 27 @ 17.7658 78.38/78.69 c bounds 1055 >= 27 @ 17.7982 78.38/78.69 c bounds 1054 >= 27 @ 17.8192 78.38/78.69 c bounds 1053 >= 27 @ 17.8415 78.38/78.69 c bounds 1052 >= 27 @ 17.8653 78.38/78.69 c bounds 1051 >= 27 @ 17.8964 78.38/78.69 c bounds 1050 >= 27 @ 17.917 78.38/78.69 c bounds 1049 >= 27 @ 17.9419 78.38/78.69 c bounds 1048 >= 27 @ 17.9645 78.38/78.69 c bounds 1047 >= 27 @ 17.9802 78.38/78.69 c bounds 1046 >= 27 @ 18.0025 78.38/78.69 c bounds 1045 >= 27 @ 18.0201 78.38/78.69 c bounds 1044 >= 27 @ 18.0617 78.38/78.69 c #Conflicts: 2000 | #Constraints: 67589 78.38/78.69 c INPROCESSING 78.38/78.69 c GARBAGE COLLECT 78.38/78.69 c bounds 1043 >= 27 @ 71.497 78.38/78.69 c bounds 1042 >= 27 @ 71.5254 78.38/78.69 c bounds 1041 >= 27 @ 71.5527 78.38/78.69 c bounds 1040 >= 27 @ 71.5823 78.38/78.69 c bounds 1039 >= 27 @ 71.609 78.38/78.69 c bounds 1038 >= 27 @ 71.6363 78.38/78.69 c bounds 1037 >= 27 @ 71.6625 78.38/78.69 c bounds 1036 >= 27 @ 71.6864 78.38/78.69 c bounds 1035 >= 27 @ 71.7182 78.38/78.69 c bounds 1034 >= 27 @ 71.7423 78.38/78.69 c bounds 1033 >= 27 @ 71.7678 78.38/78.69 c bounds 1032 >= 27 @ 71.7903 78.38/78.69 c bounds 1031 >= 27 @ 71.8068 78.38/78.69 c bounds 1030 >= 27 @ 71.82 78.38/78.69 c bounds 1029 >= 27 @ 71.8379 78.38/78.69 c bounds 1028 >= 27 @ 71.8582 78.38/78.69 c bounds 1027 >= 27 @ 71.8766 78.38/78.69 c bounds 1026 >= 27 @ 71.8966 78.38/78.69 c bounds 1025 >= 27 @ 71.9169 78.38/78.69 c bounds 1024 >= 27 @ 71.9449 78.38/78.69 c bounds 1023 >= 27 @ 71.9735 78.38/78.69 c bounds 1022 >= 27 @ 71.9928 78.38/78.69 c bounds 1021 >= 27 @ 72.012 78.38/78.69 c bounds 1020 >= 27 @ 72.0304 78.38/78.69 c bounds 1019 >= 27 @ 72.055 78.38/78.69 c bounds 1018 >= 27 @ 72.0795 78.38/78.69 c bounds 1017 >= 27 @ 72.0967 78.38/78.69 c bounds 1016 >= 27 @ 72.1151 78.38/78.69 c bounds 1015 >= 27 @ 72.1346 78.38/78.69 c bounds 1014 >= 27 @ 72.1656 78.38/78.69 c bounds 1013 >= 27 @ 72.1924 78.38/78.69 c bounds 1012 >= 27 @ 72.2219 78.38/78.69 c bounds 1011 >= 27 @ 72.2432 78.38/78.69 c bounds 1010 >= 27 @ 72.2643 78.38/78.69 c bounds 1009 >= 27 @ 72.283 78.38/78.69 c bounds 1008 >= 27 @ 72.2957 78.38/78.69 c bounds 1007 >= 27 @ 72.3119 78.38/78.69 c bounds 1006 >= 27 @ 72.3271 78.38/78.69 c bounds 1005 >= 27 @ 72.3435 78.38/78.69 c bounds 1004 >= 27 @ 72.3605 78.38/78.69 c bounds 1003 >= 27 @ 72.381 78.38/78.69 c bounds 1002 >= 27 @ 72.3964 78.38/78.69 c bounds 1001 >= 27 @ 72.4155 78.38/78.69 c bounds 1000 >= 27 @ 72.4586 78.38/78.69 c bounds 999 >= 27 @ 72.5083 78.38/78.69 c bounds 998 >= 27 @ 72.5493 78.38/78.69 c bounds 997 >= 27 @ 72.5742 78.38/78.69 c bounds 996 >= 27 @ 72.5998 78.38/78.69 c bounds 995 >= 27 @ 72.6237 78.38/78.69 c bounds 994 >= 27 @ 72.6473 78.38/78.69 c bounds 993 >= 27 @ 72.6635 78.38/78.69 c bounds 992 >= 27 @ 72.6837 78.38/78.69 c bounds 991 >= 27 @ 72.7077 78.38/78.69 c bounds 990 >= 27 @ 72.7192 78.38/78.69 c bounds 989 >= 27 @ 72.7389 78.38/78.69 c bounds 988 >= 27 @ 72.7622 78.38/78.69 c bounds 987 >= 27 @ 72.7804 78.38/78.69 c bounds 986 >= 27 @ 72.8065 78.38/78.69 c bounds 985 >= 27 @ 72.8254 78.38/78.69 c bounds 984 >= 27 @ 72.8513 78.38/78.69 c bounds 983 >= 27 @ 72.8761 78.38/78.69 c bounds 982 >= 27 @ 72.8935 78.38/78.69 c bounds 981 >= 27 @ 72.9083 78.38/78.69 c bounds 980 >= 27 @ 72.9253 78.38/78.69 c bounds 979 >= 27 @ 72.9446 78.38/78.69 c bounds 978 >= 27 @ 72.9666 78.38/78.69 c bounds 977 >= 27 @ 72.99 78.38/78.69 c bounds 976 >= 27 @ 73.0129 78.38/78.69 c bounds 975 >= 27 @ 73.0313 78.38/78.69 c bounds 974 >= 27 @ 73.0467 78.38/78.69 c bounds 973 >= 27 @ 73.0648 78.38/78.69 c bounds 972 >= 27 @ 73.0809 78.38/78.69 c bounds 971 >= 27 @ 73.0968 78.38/78.69 c bounds 970 >= 27 @ 73.1207 78.38/78.69 c bounds 969 >= 27 @ 73.1427 78.38/78.69 c bounds 968 >= 27 @ 73.1638 78.38/78.69 c bounds 967 >= 27 @ 73.1848 78.38/78.69 c bounds 966 >= 27 @ 73.1984 78.38/78.69 c bounds 965 >= 27 @ 73.2146 78.38/78.69 c bounds 964 >= 27 @ 73.2338 78.38/78.69 c bounds 963 >= 27 @ 73.2591 78.38/78.69 c bounds 962 >= 27 @ 73.2824 78.38/78.69 c bounds 961 >= 27 @ 73.2996 78.38/78.69 c bounds 960 >= 27 @ 73.3173 78.38/78.69 c bounds 959 >= 27 @ 73.3367 78.38/78.69 c bounds 958 >= 27 @ 73.36 78.38/78.69 c bounds 957 >= 27 @ 73.38 78.38/78.69 c bounds 956 >= 27 @ 73.3965 78.38/78.69 c bounds 955 >= 27 @ 73.4195 78.38/78.69 c bounds 954 >= 27 @ 73.4377 78.38/78.69 c bounds 953 >= 27 @ 73.4649 78.38/78.69 c bounds 952 >= 27 @ 73.495 78.38/78.69 c bounds 951 >= 27 @ 73.5328 78.38/78.69 c bounds 950 >= 27 @ 73.5601 78.38/78.69 c bounds 949 >= 27 @ 73.5907 78.38/78.69 c bounds 948 >= 27 @ 73.6084 78.38/78.69 c bounds 947 >= 27 @ 73.6343 78.38/78.69 c bounds 946 >= 27 @ 73.6594 78.38/78.69 c bounds 945 >= 27 @ 73.6871 78.38/78.69 c bounds 944 >= 27 @ 73.7434 78.38/78.69 c bounds 943 >= 27 @ 73.7865 78.38/78.69 c bounds 942 >= 27 @ 73.8272 78.38/78.69 c bounds 941 >= 27 @ 73.8644 91.14/91.47 c bounds 940 >= 27 @ 73.935 91.14/91.47 c bounds 939 >= 27 @ 73.9676 91.14/91.47 c bounds 938 >= 27 @ 74.2163 91.14/91.47 c bounds 937 >= 27 @ 74.2713 91.14/91.47 c bounds 936 >= 27 @ 74.315 91.14/91.47 c bounds 935 >= 27 @ 74.3877 91.14/91.47 c bounds 934 >= 27 @ 74.4201 91.14/91.47 c bounds 933 >= 27 @ 74.4501 91.14/91.47 c bounds 932 >= 27 @ 74.487 91.14/91.47 c bounds 931 >= 27 @ 74.5211 91.14/91.47 c bounds 930 >= 27 @ 74.5534 91.14/91.47 c bounds 929 >= 27 @ 74.5897 91.14/91.47 c bounds 928 >= 27 @ 74.6216 91.14/91.47 c bounds 927 >= 27 @ 74.654 91.14/91.47 c bounds 926 >= 27 @ 74.6872 91.14/91.47 c bounds 925 >= 27 @ 74.7197 91.14/91.47 c bounds 924 >= 27 @ 74.7501 91.14/91.47 c bounds 923 >= 27 @ 74.7839 91.14/91.47 c bounds 922 >= 27 @ 74.8094 91.14/91.47 c bounds 921 >= 27 @ 74.851 91.14/91.47 c bounds 920 >= 27 @ 74.897 91.14/91.47 c bounds 919 >= 27 @ 74.9298 91.14/91.47 c bounds 918 >= 27 @ 74.9568 91.14/91.47 c bounds 917 >= 27 @ 74.9829 91.14/91.47 c bounds 916 >= 27 @ 75.003 91.14/91.47 c bounds 915 >= 27 @ 75.0292 91.14/91.47 c bounds 914 >= 27 @ 75.0547 91.14/91.47 c bounds 913 >= 27 @ 75.0811 91.14/91.47 c bounds 912 >= 27 @ 75.1091 91.14/91.47 c bounds 911 >= 27 @ 75.1365 91.14/91.47 c bounds 910 >= 27 @ 75.1649 91.14/91.47 c bounds 909 >= 27 @ 75.1939 91.14/91.47 c bounds 908 >= 27 @ 75.229 91.14/91.47 c bounds 907 >= 27 @ 75.2567 91.14/91.47 c bounds 906 >= 27 @ 75.2912 91.14/91.47 c bounds 905 >= 27 @ 75.3166 91.14/91.47 c bounds 904 >= 27 @ 75.3411 91.14/91.47 c bounds 903 >= 27 @ 75.3642 91.14/91.47 c bounds 902 >= 27 @ 75.3917 91.14/91.47 c bounds 901 >= 27 @ 75.4376 91.14/91.47 c bounds 900 >= 27 @ 75.4645 91.14/91.47 c bounds 899 >= 27 @ 75.4901 91.14/91.47 c bounds 898 >= 27 @ 75.5101 91.14/91.47 c bounds 897 >= 27 @ 75.5335 91.14/91.47 c bounds 896 >= 27 @ 75.5553 91.14/91.47 c bounds 895 >= 27 @ 75.5718 91.14/91.47 c bounds 894 >= 27 @ 75.5871 91.14/91.47 c bounds 893 >= 27 @ 75.6068 91.14/91.47 c bounds 892 >= 27 @ 75.6283 91.14/91.47 c bounds 891 >= 27 @ 75.6473 91.14/91.47 c bounds 890 >= 27 @ 75.6717 91.14/91.47 c bounds 889 >= 27 @ 75.7044 91.14/91.47 c bounds 888 >= 27 @ 75.7323 91.14/91.47 c bounds 887 >= 27 @ 75.7579 91.14/91.47 c bounds 886 >= 27 @ 75.7827 91.14/91.47 c bounds 885 >= 27 @ 75.8064 91.14/91.47 c bounds 884 >= 27 @ 75.8241 91.14/91.47 c bounds 883 >= 27 @ 75.8572 91.14/91.47 c bounds 882 >= 27 @ 75.8787 91.14/91.47 c bounds 881 >= 27 @ 75.9025 91.14/91.47 c bounds 880 >= 27 @ 75.935 91.14/91.47 c bounds 879 >= 27 @ 75.9992 91.14/91.47 c bounds 878 >= 27 @ 76.1311 91.14/91.47 c bounds 877 >= 27 @ 76.2374 91.14/91.47 c bounds 876 >= 27 @ 76.3203 91.14/91.47 c bounds 875 >= 27 @ 76.3505 91.14/91.47 c bounds 874 >= 27 @ 76.3951 91.14/91.47 c bounds 873 >= 27 @ 76.4584 91.14/91.47 c bounds 872 >= 27 @ 76.498 91.14/91.47 c bounds 871 >= 27 @ 76.5415 91.14/91.47 c bounds 870 >= 27 @ 76.6409 91.14/91.47 c #Conflicts: 3000 | #Constraints: 67651 91.14/91.47 c bounds 869 >= 27 @ 78.9145 91.14/91.47 c bounds 868 >= 27 @ 79.0303 91.14/91.47 c bounds 867 >= 27 @ 79.1105 91.14/91.47 c bounds 866 >= 27 @ 79.1627 91.14/91.47 c bounds 865 >= 27 @ 79.2168 91.14/91.47 c bounds 864 >= 27 @ 79.2681 91.14/91.47 c bounds 863 >= 27 @ 79.3124 91.14/91.47 c bounds 862 >= 27 @ 79.3959 91.14/91.47 c bounds 861 >= 27 @ 79.4821 91.14/91.47 c bounds 860 >= 27 @ 79.5414 91.14/91.47 c bounds 859 >= 27 @ 79.5751 91.14/91.47 c bounds 858 >= 27 @ 79.6536 91.14/91.47 c bounds 857 >= 27 @ 79.7595 91.14/91.47 c bounds 856 >= 27 @ 79.8229 91.14/91.47 c bounds 855 >= 27 @ 79.8663 91.14/91.47 c bounds 854 >= 27 @ 79.9137 91.14/91.47 c bounds 853 >= 27 @ 79.9524 91.14/91.47 c bounds 852 >= 27 @ 80.0087 91.14/91.47 c bounds 851 >= 27 @ 80.0792 91.14/91.47 c bounds 850 >= 27 @ 80.163 91.14/91.47 c bounds 849 >= 27 @ 80.2203 91.14/91.47 c bounds 848 >= 27 @ 80.2644 91.14/91.47 c bounds 847 >= 27 @ 80.3224 91.14/91.47 c bounds 846 >= 27 @ 80.3735 91.14/91.47 c bounds 845 >= 27 @ 80.7089 91.14/91.47 c bounds 844 >= 27 @ 80.8529 91.14/91.47 c #Conflicts: 4000 | #Constraints: 68677 91.14/91.47 c INPROCESSING 91.14/91.47 c GARBAGE COLLECT 91.14/91.47 c bounds 843 >= 27 @ 83.3804 91.14/91.47 c bounds 842 >= 27 @ 83.4009 91.14/91.47 c bounds 841 >= 27 @ 83.4258 91.14/91.47 c bounds 840 >= 27 @ 83.4493 91.14/91.47 c bounds 839 >= 27 @ 83.4787 91.14/91.47 c bounds 838 >= 27 @ 83.5072 91.14/91.47 c bounds 837 >= 27 @ 83.5296 91.14/91.47 c bounds 836 >= 27 @ 83.5506 91.14/91.47 c bounds 835 >= 27 @ 83.5727 91.14/91.47 c bounds 834 >= 27 @ 83.5949 91.14/91.47 c bounds 833 >= 27 @ 83.6192 91.14/91.47 c bounds 832 >= 27 @ 83.6515 91.14/91.47 c bounds 831 >= 27 @ 83.6739 91.14/91.47 c bounds 830 >= 27 @ 83.7012 91.14/91.47 c bounds 829 >= 27 @ 83.7246 91.14/91.47 c bounds 828 >= 27 @ 83.7617 91.14/91.47 c bounds 827 >= 27 @ 83.7963 91.14/91.47 c bounds 826 >= 27 @ 83.8307 91.14/91.47 c bounds 825 >= 27 @ 83.8596 91.14/91.47 c bounds 824 >= 27 @ 83.8866 91.14/91.47 c bounds 823 >= 27 @ 83.9271 91.14/91.47 c bounds 822 >= 27 @ 83.9578 91.14/91.47 c bounds 821 >= 27 @ 83.9935 91.14/91.47 c bounds 820 >= 27 @ 84.0235 91.14/91.47 c bounds 819 >= 27 @ 84.0484 91.14/91.47 c bounds 818 >= 27 @ 84.0712 91.14/91.47 c bounds 817 >= 27 @ 84.0999 91.14/91.47 c bounds 816 >= 27 @ 84.128 91.14/91.47 c bounds 815 >= 27 @ 84.1533 91.14/91.47 c bounds 814 >= 27 @ 84.1838 91.14/91.47 c bounds 813 >= 27 @ 84.2137 91.14/91.47 c bounds 812 >= 27 @ 84.232 91.14/91.47 c bounds 811 >= 27 @ 84.2549 91.14/91.47 c bounds 810 >= 27 @ 84.2746 91.14/91.47 c bounds 809 >= 27 @ 84.2938 91.14/91.47 c bounds 808 >= 27 @ 84.3118 91.14/91.47 c bounds 807 >= 27 @ 84.334 91.14/91.47 c bounds 806 >= 27 @ 84.3481 91.14/91.47 c bounds 805 >= 27 @ 84.368 91.14/91.47 c bounds 804 >= 27 @ 84.3907 295.55/296.30 c bounds 803 >= 27 @ 84.4104 295.55/296.30 c bounds 802 >= 27 @ 84.4387 295.55/296.30 c bounds 801 >= 27 @ 84.4569 295.55/296.30 c bounds 800 >= 27 @ 84.481 295.55/296.30 c bounds 799 >= 27 @ 84.5041 295.55/296.30 c bounds 798 >= 27 @ 84.53 295.55/296.30 c bounds 797 >= 27 @ 84.5471 295.55/296.30 c bounds 796 >= 27 @ 84.5651 295.55/296.30 c bounds 795 >= 27 @ 84.5901 295.55/296.30 c bounds 794 >= 27 @ 84.6088 295.55/296.30 c bounds 793 >= 27 @ 84.6303 295.55/296.30 c bounds 792 >= 27 @ 84.6493 295.55/296.30 c bounds 791 >= 27 @ 84.6712 295.55/296.30 c bounds 790 >= 27 @ 84.6915 295.55/296.30 c bounds 789 >= 27 @ 84.7065 295.55/296.30 c bounds 788 >= 27 @ 84.7332 295.55/296.30 c bounds 787 >= 27 @ 84.7566 295.55/296.30 c bounds 786 >= 27 @ 84.7792 295.55/296.30 c bounds 785 >= 27 @ 84.8027 295.55/296.30 c bounds 784 >= 27 @ 84.8262 295.55/296.30 c bounds 783 >= 27 @ 84.8519 295.55/296.30 c bounds 782 >= 27 @ 84.8704 295.55/296.30 c bounds 781 >= 27 @ 84.8926 295.55/296.30 c bounds 780 >= 27 @ 84.9106 295.55/296.30 c bounds 779 >= 27 @ 84.9305 295.55/296.30 c bounds 778 >= 27 @ 84.9471 295.55/296.30 c bounds 777 >= 27 @ 84.962 295.55/296.30 c bounds 776 >= 27 @ 84.9803 295.55/296.30 c bounds 775 >= 27 @ 84.9998 295.55/296.30 c bounds 774 >= 27 @ 85.0238 295.55/296.30 c bounds 773 >= 27 @ 85.0489 295.55/296.30 c bounds 772 >= 27 @ 85.075 295.55/296.30 c bounds 771 >= 27 @ 85.094 295.55/296.30 c bounds 770 >= 27 @ 85.1188 295.55/296.30 c bounds 769 >= 27 @ 85.1415 295.55/296.30 c bounds 768 >= 27 @ 85.1696 295.55/296.30 c bounds 767 >= 27 @ 85.2258 295.55/296.30 c bounds 766 >= 27 @ 85.249 295.55/296.30 c bounds 765 >= 27 @ 85.2692 295.55/296.30 c bounds 764 >= 27 @ 85.2911 295.55/296.30 c bounds 763 >= 27 @ 85.3107 295.55/296.30 c bounds 762 >= 27 @ 85.338 295.55/296.30 c bounds 761 >= 27 @ 85.365 295.55/296.30 c bounds 760 >= 27 @ 85.3951 295.55/296.30 c bounds 759 >= 27 @ 85.4174 295.55/296.30 c bounds 758 >= 27 @ 85.4368 295.55/296.30 c bounds 757 >= 27 @ 85.4532 295.55/296.30 c bounds 756 >= 27 @ 85.4741 295.55/296.30 c bounds 755 >= 27 @ 85.5142 295.55/296.30 c bounds 754 >= 27 @ 85.5446 295.55/296.30 c bounds 753 >= 27 @ 85.5697 295.55/296.30 c bounds 752 >= 27 @ 85.6019 295.55/296.30 c bounds 751 >= 27 @ 85.6241 295.55/296.30 c bounds 750 >= 27 @ 85.6511 295.55/296.30 c bounds 749 >= 27 @ 85.672 295.55/296.30 c bounds 748 >= 27 @ 85.6912 295.55/296.30 c bounds 747 >= 27 @ 85.7163 295.55/296.30 c bounds 746 >= 27 @ 85.7418 295.55/296.30 c bounds 745 >= 27 @ 85.7672 295.55/296.30 c bounds 744 >= 27 @ 85.7918 295.55/296.30 c bounds 743 >= 27 @ 85.8156 295.55/296.30 c bounds 742 >= 27 @ 85.84 295.55/296.30 c bounds 741 >= 27 @ 85.8645 295.55/296.30 c bounds 740 >= 27 @ 85.8879 295.55/296.30 c bounds 739 >= 27 @ 85.9199 295.55/296.30 c bounds 738 >= 27 @ 85.9471 295.55/296.30 c bounds 737 >= 27 @ 85.975 295.55/296.30 c bounds 736 >= 27 @ 85.9999 295.55/296.30 c bounds 735 >= 27 @ 86.0208 295.55/296.30 c bounds 734 >= 27 @ 86.0397 295.55/296.30 c bounds 733 >= 27 @ 86.0636 295.55/296.30 c bounds 732 >= 27 @ 86.0883 295.55/296.30 c bounds 731 >= 27 @ 86.1137 295.55/296.30 c bounds 730 >= 27 @ 86.1324 295.55/296.30 c bounds 729 >= 27 @ 86.1517 295.55/296.30 c bounds 728 >= 27 @ 86.1709 295.55/296.30 c bounds 727 >= 27 @ 86.1929 295.55/296.30 c bounds 726 >= 27 @ 86.2146 295.55/296.30 c bounds 725 >= 27 @ 86.2348 295.55/296.30 c bounds 724 >= 27 @ 86.252 295.55/296.30 c bounds 723 >= 27 @ 86.2711 295.55/296.30 c bounds 722 >= 27 @ 86.2936 295.55/296.30 c bounds 721 >= 27 @ 86.313 295.55/296.30 c bounds 720 >= 27 @ 86.3345 295.55/296.30 c bounds 719 >= 27 @ 86.3577 295.55/296.30 c bounds 718 >= 27 @ 86.3782 295.55/296.30 c bounds 717 >= 27 @ 86.3992 295.55/296.30 c bounds 716 >= 27 @ 86.4334 295.55/296.30 c bounds 715 >= 27 @ 86.4773 295.55/296.30 c bounds 714 >= 27 @ 86.5099 295.55/296.30 c bounds 713 >= 27 @ 86.5439 295.55/296.30 c bounds 712 >= 27 @ 86.5743 295.55/296.30 c bounds 711 >= 27 @ 86.5954 295.55/296.30 c bounds 710 >= 27 @ 86.6312 295.55/296.30 c bounds 709 >= 27 @ 86.6822 295.55/296.30 c bounds 708 >= 27 @ 86.7219 295.55/296.30 c bounds 707 >= 27 @ 86.7616 295.55/296.30 c bounds 706 >= 27 @ 86.8395 295.55/296.30 c bounds 705 >= 27 @ 86.881 295.55/296.30 c bounds 704 >= 27 @ 86.9241 295.55/296.30 c bounds 703 >= 27 @ 86.9909 295.55/296.30 c bounds 702 >= 27 @ 87.0979 295.55/296.30 c bounds 701 >= 27 @ 88.4965 295.55/296.30 c bounds 700 >= 27 @ 88.587 295.55/296.30 c #Conflicts: 5000 | #Constraints: 68041 295.55/296.30 c bounds 699 >= 27 @ 92.2035 295.55/296.30 c #Conflicts: 6000 | #Constraints: 69042 295.55/296.30 c bounds 699 >= 28 @ 284.077 295.55/296.30 c bounds 698 >= 28 @ 284.143 295.55/296.30 c bounds 697 >= 28 @ 284.191 295.55/296.30 c bounds 696 >= 28 @ 284.258 295.55/296.30 c bounds 695 >= 28 @ 284.358 295.55/296.30 c bounds 694 >= 28 @ 284.448 295.55/296.30 c bounds 693 >= 28 @ 284.51 295.55/296.30 c bounds 692 >= 28 @ 284.581 295.55/296.30 c bounds 691 >= 28 @ 284.639 295.55/296.30 c bounds 690 >= 28 @ 284.696 295.55/296.30 c bounds 689 >= 28 @ 284.75 295.55/296.30 c bounds 688 >= 28 @ 284.811 295.55/296.30 c bounds 687 >= 28 @ 284.894 295.55/296.30 c bounds 686 >= 28 @ 284.985 295.55/296.30 c bounds 685 >= 28 @ 285.127 295.55/296.30 c bounds 684 >= 28 @ 285.202 295.55/296.30 c bounds 683 >= 28 @ 285.306 295.55/296.30 c bounds 682 >= 28 @ 285.445 295.55/296.30 c bounds 681 >= 28 @ 285.511 295.55/296.30 c bounds 680 >= 28 @ 285.566 295.55/296.30 c bounds 679 >= 28 @ 285.62 295.55/296.30 c bounds 678 >= 28 @ 285.668 295.55/296.30 c bounds 677 >= 28 @ 285.72 295.55/296.30 c bounds 676 >= 28 @ 285.769 295.55/296.30 c bounds 675 >= 28 @ 285.814 295.55/296.30 c bounds 674 >= 28 @ 285.859 295.55/296.30 c bounds 673 >= 28 @ 285.903 295.55/296.30 c bounds 672 >= 28 @ 285.946 295.55/296.30 c bounds 671 >= 28 @ 285.999 295.55/296.30 c bounds 670 >= 28 @ 286.059 295.55/296.30 c bounds 669 >= 28 @ 286.114 295.55/296.30 c bounds 668 >= 28 @ 286.16 295.55/296.30 c bounds 667 >= 28 @ 286.209 295.55/296.30 c bounds 666 >= 28 @ 286.251 489.09/490.36 c bounds 665 >= 28 @ 286.291 489.09/490.36 c bounds 664 >= 28 @ 286.338 489.09/490.36 c bounds 663 >= 28 @ 286.383 489.09/490.36 c bounds 662 >= 28 @ 286.45 489.09/490.36 c bounds 661 >= 28 @ 286.514 489.09/490.36 c bounds 660 >= 28 @ 286.578 489.09/490.36 c bounds 659 >= 28 @ 286.648 489.09/490.36 c bounds 658 >= 28 @ 286.712 489.09/490.36 c bounds 657 >= 28 @ 286.805 489.09/490.36 c bounds 656 >= 28 @ 286.868 489.09/490.36 c bounds 655 >= 28 @ 286.933 489.09/490.36 c bounds 654 >= 28 @ 287.001 489.09/490.36 c bounds 653 >= 28 @ 287.071 489.09/490.36 c bounds 652 >= 28 @ 287.127 489.09/490.36 c bounds 651 >= 28 @ 287.225 489.09/490.36 c bounds 650 >= 28 @ 287.802 489.09/490.36 c INPROCESSING 489.09/490.36 c GARBAGE COLLECT 489.09/490.36 c bounds 649 >= 28 @ 288.4 489.09/490.36 c #Conflicts: 7000 | #Constraints: 67908 489.09/490.36 c bounds 648 >= 28 @ 295.42 489.09/490.36 c #Conflicts: 8000 | #Constraints: 68909 489.09/490.36 c #Conflicts: 9000 | #Constraints: 69909 489.09/490.36 c INPROCESSING 489.09/490.36 c GARBAGE COLLECT 489.09/490.36 c bounds 647 >= 28 @ 474.513 489.09/490.36 c bounds 646 >= 28 @ 474.533 489.09/490.36 c bounds 645 >= 28 @ 474.55 489.09/490.36 c bounds 644 >= 28 @ 474.576 489.09/490.36 c bounds 643 >= 28 @ 474.611 489.09/490.36 c bounds 642 >= 28 @ 474.65 489.09/490.36 c bounds 641 >= 28 @ 474.706 489.09/490.36 c bounds 640 >= 28 @ 474.743 489.09/490.36 c bounds 639 >= 28 @ 474.775 489.09/490.36 c bounds 638 >= 28 @ 474.802 489.09/490.36 c bounds 637 >= 28 @ 474.836 489.09/490.36 c bounds 636 >= 28 @ 474.864 489.09/490.36 c bounds 635 >= 28 @ 474.891 489.09/490.36 c bounds 634 >= 28 @ 474.914 489.09/490.36 c bounds 633 >= 28 @ 474.94 489.09/490.36 c bounds 632 >= 28 @ 474.96 489.09/490.36 c bounds 631 >= 28 @ 474.981 489.09/490.36 c bounds 630 >= 28 @ 475.005 489.09/490.36 c bounds 629 >= 28 @ 475.024 489.09/490.36 c bounds 628 >= 28 @ 475.045 489.09/490.36 c bounds 627 >= 28 @ 475.066 489.09/490.36 c bounds 626 >= 28 @ 475.093 489.09/490.36 c bounds 625 >= 28 @ 475.112 489.09/490.36 c bounds 624 >= 28 @ 475.139 489.09/490.36 c bounds 623 >= 28 @ 475.166 489.09/490.36 c bounds 622 >= 28 @ 475.188 489.09/490.36 c bounds 621 >= 28 @ 475.207 489.09/490.36 c bounds 620 >= 28 @ 475.232 489.09/490.36 c bounds 619 >= 28 @ 475.256 489.09/490.36 c bounds 618 >= 28 @ 475.279 489.09/490.36 c bounds 617 >= 28 @ 475.303 489.09/490.36 c bounds 616 >= 28 @ 475.331 489.09/490.36 c bounds 615 >= 28 @ 475.359 489.09/490.36 c bounds 614 >= 28 @ 475.38 489.09/490.36 c bounds 613 >= 28 @ 475.405 489.09/490.36 c bounds 612 >= 28 @ 475.422 489.09/490.36 c bounds 611 >= 28 @ 475.446 489.09/490.36 c bounds 610 >= 28 @ 475.469 489.09/490.36 c bounds 609 >= 28 @ 475.494 489.09/490.36 c bounds 608 >= 28 @ 475.523 489.09/490.36 c bounds 607 >= 28 @ 475.546 489.09/490.36 c bounds 606 >= 28 @ 475.579 489.09/490.36 c bounds 605 >= 28 @ 475.602 489.09/490.36 c bounds 604 >= 28 @ 475.644 489.09/490.36 c bounds 603 >= 28 @ 475.671 489.09/490.36 c bounds 602 >= 28 @ 475.692 489.09/490.36 c bounds 601 >= 28 @ 475.714 489.09/490.36 c bounds 600 >= 28 @ 475.735 489.09/490.36 c bounds 599 >= 28 @ 475.754 489.09/490.36 c bounds 598 >= 28 @ 475.774 489.09/490.36 c bounds 597 >= 28 @ 475.799 489.09/490.36 c bounds 596 >= 28 @ 475.825 489.09/490.36 c bounds 595 >= 28 @ 475.851 489.09/490.36 c bounds 594 >= 28 @ 475.871 489.09/490.36 c bounds 593 >= 28 @ 475.892 489.09/490.36 c bounds 592 >= 28 @ 475.915 489.09/490.36 c bounds 591 >= 28 @ 475.936 489.09/490.36 c bounds 590 >= 28 @ 475.964 489.09/490.36 c bounds 589 >= 28 @ 475.985 489.09/490.36 c bounds 588 >= 28 @ 476.016 489.09/490.36 c bounds 587 >= 28 @ 476.035 489.09/490.36 c bounds 586 >= 28 @ 476.061 489.09/490.36 c bounds 585 >= 28 @ 476.081 489.09/490.36 c bounds 584 >= 28 @ 476.103 489.09/490.36 c bounds 583 >= 28 @ 476.122 489.09/490.36 c bounds 582 >= 28 @ 476.141 489.09/490.36 c bounds 581 >= 28 @ 476.174 489.09/490.36 c bounds 580 >= 28 @ 476.209 489.09/490.36 c bounds 579 >= 28 @ 476.237 489.09/490.36 c bounds 578 >= 28 @ 476.264 489.09/490.36 c bounds 577 >= 28 @ 476.289 489.09/490.36 c bounds 576 >= 28 @ 476.321 489.09/490.36 c bounds 575 >= 28 @ 476.348 489.09/490.36 c bounds 574 >= 28 @ 476.373 489.09/490.36 c bounds 573 >= 28 @ 476.395 489.09/490.36 c bounds 572 >= 28 @ 476.422 489.09/490.36 c bounds 571 >= 28 @ 476.447 489.09/490.36 c bounds 570 >= 28 @ 476.472 489.09/490.36 c bounds 569 >= 28 @ 476.497 489.09/490.36 c bounds 568 >= 28 @ 476.516 489.09/490.36 c bounds 567 >= 28 @ 476.535 489.09/490.36 c bounds 566 >= 28 @ 476.555 489.09/490.36 c bounds 565 >= 28 @ 476.581 489.09/490.36 c bounds 564 >= 28 @ 476.612 489.09/490.36 c bounds 563 >= 28 @ 476.639 489.09/490.36 c bounds 562 >= 28 @ 476.665 489.09/490.36 c bounds 561 >= 28 @ 476.687 489.09/490.36 c bounds 560 >= 28 @ 476.713 489.09/490.36 c bounds 559 >= 28 @ 476.736 489.09/490.36 c bounds 558 >= 28 @ 476.757 489.09/490.36 c bounds 557 >= 28 @ 476.775 489.09/490.36 c bounds 556 >= 28 @ 476.797 489.09/490.36 c bounds 555 >= 28 @ 476.815 489.09/490.36 c bounds 554 >= 28 @ 476.84 489.09/490.36 c bounds 553 >= 28 @ 476.86 489.09/490.36 c bounds 552 >= 28 @ 476.877 489.09/490.36 c bounds 551 >= 28 @ 476.9 489.09/490.36 c bounds 550 >= 28 @ 476.918 489.09/490.36 c bounds 549 >= 28 @ 476.941 489.09/490.36 c bounds 548 >= 28 @ 476.959 489.09/490.36 c bounds 547 >= 28 @ 476.98 489.09/490.36 c bounds 546 >= 28 @ 477.004 489.09/490.36 c bounds 545 >= 28 @ 477.025 489.09/490.36 c bounds 544 >= 28 @ 477.052 489.09/490.36 c bounds 543 >= 28 @ 477.073 489.09/490.36 c bounds 542 >= 28 @ 477.1 489.09/490.36 c bounds 541 >= 28 @ 477.119 489.09/490.36 c bounds 540 >= 28 @ 477.142 489.09/490.36 c bounds 539 >= 28 @ 477.173 489.09/490.36 c bounds 538 >= 28 @ 477.196 489.09/490.36 c bounds 537 >= 28 @ 477.219 489.09/490.36 c bounds 536 >= 28 @ 477.241 489.09/490.36 c bounds 535 >= 28 @ 477.261 489.09/490.36 c bounds 534 >= 28 @ 477.284 489.09/490.36 c bounds 533 >= 28 @ 477.303 489.09/490.36 c bounds 532 >= 28 @ 477.322 576.28/577.70 c bounds 531 >= 28 @ 477.344 576.28/577.70 c bounds 530 >= 28 @ 477.373 576.28/577.70 c bounds 529 >= 28 @ 477.397 576.28/577.70 c bounds 528 >= 28 @ 477.42 576.28/577.70 c bounds 527 >= 28 @ 477.443 576.28/577.70 c bounds 526 >= 28 @ 477.472 576.28/577.70 c bounds 525 >= 28 @ 477.493 576.28/577.70 c bounds 524 >= 28 @ 477.516 576.28/577.70 c bounds 523 >= 28 @ 477.54 576.28/577.70 c bounds 522 >= 28 @ 477.557 576.28/577.70 c bounds 521 >= 28 @ 477.579 576.28/577.70 c bounds 520 >= 28 @ 477.601 576.28/577.70 c bounds 519 >= 28 @ 477.624 576.28/577.70 c bounds 518 >= 28 @ 477.647 576.28/577.70 c bounds 517 >= 28 @ 477.67 576.28/577.70 c bounds 516 >= 28 @ 477.695 576.28/577.70 c bounds 515 >= 28 @ 477.722 576.28/577.70 c bounds 514 >= 28 @ 477.749 576.28/577.70 c bounds 513 >= 28 @ 477.772 576.28/577.70 c bounds 512 >= 28 @ 477.794 576.28/577.70 c bounds 511 >= 28 @ 477.819 576.28/577.70 c bounds 510 >= 28 @ 477.846 576.28/577.70 c bounds 509 >= 28 @ 477.892 576.28/577.70 c bounds 508 >= 28 @ 477.917 576.28/577.70 c bounds 507 >= 28 @ 477.946 576.28/577.70 c bounds 506 >= 28 @ 477.968 576.28/577.70 c bounds 505 >= 28 @ 478.001 576.28/577.70 c bounds 504 >= 28 @ 478.026 576.28/577.70 c bounds 503 >= 28 @ 478.052 576.28/577.70 c bounds 502 >= 28 @ 478.075 576.28/577.70 c bounds 501 >= 28 @ 478.092 576.28/577.70 c bounds 500 >= 28 @ 478.12 576.28/577.70 c bounds 499 >= 28 @ 478.152 576.28/577.70 c bounds 498 >= 28 @ 478.174 576.28/577.70 c bounds 497 >= 28 @ 478.211 576.28/577.70 c bounds 496 >= 28 @ 478.239 576.28/577.70 c bounds 495 >= 28 @ 478.266 576.28/577.70 c bounds 494 >= 28 @ 478.326 576.28/577.70 c bounds 493 >= 28 @ 478.365 576.28/577.70 c bounds 492 >= 28 @ 478.391 576.28/577.70 c bounds 491 >= 28 @ 478.438 576.28/577.70 c bounds 490 >= 28 @ 478.469 576.28/577.70 c bounds 489 >= 28 @ 478.497 576.28/577.70 c bounds 488 >= 28 @ 478.524 576.28/577.70 c bounds 487 >= 28 @ 478.562 576.28/577.70 c bounds 486 >= 28 @ 478.6 576.28/577.70 c bounds 485 >= 28 @ 478.679 576.28/577.70 c bounds 484 >= 28 @ 478.757 576.28/577.70 c bounds 483 >= 28 @ 478.956 576.28/577.70 c bounds 482 >= 28 @ 479.028 576.28/577.70 c bounds 481 >= 28 @ 479.093 576.28/577.70 c bounds 480 >= 28 @ 480.18 576.28/577.70 c bounds 479 >= 28 @ 480.31 576.28/577.70 c bounds 478 >= 28 @ 480.363 576.28/577.70 c bounds 477 >= 28 @ 480.446 576.28/577.70 c bounds 476 >= 28 @ 480.483 576.28/577.70 c bounds 475 >= 28 @ 480.533 576.28/577.70 c #Conflicts: 10000 | #Constraints: 68789 576.28/577.70 c bounds 474 >= 28 @ 482.896 576.28/577.70 c bounds 473 >= 28 @ 483.035 576.28/577.70 c bounds 472 >= 28 @ 483.086 576.28/577.70 c #Conflicts: 11000 | #Constraints: 69792 576.28/577.70 c bounds 471 >= 28 @ 490.145 576.28/577.70 c #Conflicts: 12000 | #Constraints: 70793 576.28/577.70 c INPROCESSING 576.28/577.70 c GARBAGE COLLECT 576.28/577.70 c bounds 470 >= 28 @ 494.466 576.28/577.70 c bounds 469 >= 28 @ 494.509 576.28/577.70 c bounds 468 >= 28 @ 494.559 576.28/577.70 c bounds 467 >= 28 @ 494.593 576.28/577.70 c bounds 466 >= 28 @ 494.639 576.28/577.70 c bounds 465 >= 28 @ 494.676 576.28/577.70 c bounds 464 >= 28 @ 494.709 576.28/577.70 c bounds 463 >= 28 @ 494.748 576.28/577.70 c bounds 462 >= 28 @ 494.793 576.28/577.70 c bounds 461 >= 28 @ 494.835 576.28/577.70 c bounds 460 >= 28 @ 494.877 576.28/577.70 c bounds 459 >= 28 @ 494.915 576.28/577.70 c bounds 458 >= 28 @ 494.95 576.28/577.70 c bounds 457 >= 28 @ 494.987 576.28/577.70 c bounds 456 >= 28 @ 495.018 576.28/577.70 c bounds 455 >= 28 @ 495.047 576.28/577.70 c bounds 454 >= 28 @ 495.073 576.28/577.70 c bounds 453 >= 28 @ 495.107 576.28/577.70 c bounds 452 >= 28 @ 495.14 576.28/577.70 c bounds 451 >= 28 @ 495.176 576.28/577.70 c bounds 450 >= 28 @ 495.211 576.28/577.70 c bounds 449 >= 28 @ 495.253 576.28/577.70 c bounds 448 >= 28 @ 495.295 576.28/577.70 c bounds 447 >= 28 @ 495.333 576.28/577.70 c bounds 446 >= 28 @ 495.367 576.28/577.70 c bounds 445 >= 28 @ 495.409 576.28/577.70 c bounds 444 >= 28 @ 495.448 576.28/577.70 c bounds 443 >= 28 @ 495.497 576.28/577.70 c bounds 442 >= 28 @ 495.667 576.28/577.70 c bounds 441 >= 28 @ 496.965 576.28/577.70 c bounds 440 >= 28 @ 499.378 576.28/577.70 c #Conflicts: 13000 | #Constraints: 69104 576.28/577.70 c bounds 439 >= 28 @ 500.118 576.28/577.70 c #Conflicts: 14000 | #Constraints: 70105 576.28/577.70 c #Conflicts: 15000 | #Constraints: 71105 576.28/577.70 c INPROCESSING 576.28/577.70 c GARBAGE COLLECT 576.28/577.71 c bounds 438 >= 28 @ 514.576 576.28/577.71 c bounds 437 >= 28 @ 514.628 576.28/577.71 c bounds 436 >= 28 @ 514.686 576.28/577.71 c bounds 435 >= 28 @ 514.741 576.28/577.71 c bounds 434 >= 28 @ 514.81 576.28/577.71 c bounds 433 >= 28 @ 514.886 576.28/577.71 c bounds 432 >= 28 @ 515.077 576.28/577.71 c bounds 431 >= 28 @ 516.121 576.28/577.71 c bounds 430 >= 28 @ 517.302 576.28/577.71 c bounds 429 >= 28 @ 517.397 576.28/577.71 c #Conflicts: 16000 | #Constraints: 69314 576.28/577.71 c #Conflicts: 17000 | #Constraints: 70314 576.28/577.71 c bounds 428 >= 28 @ 530.068 576.28/577.71 c #Conflicts: 18000 | #Constraints: 71315 576.28/577.71 c INPROCESSING 576.28/577.71 c GARBAGE COLLECT 576.28/577.71 c bounds 427 >= 28 @ 535.245 576.28/577.71 c bounds 426 >= 28 @ 535.623 576.28/577.71 c bounds 425 >= 28 @ 535.725 576.28/577.71 c bounds 424 >= 28 @ 535.789 576.28/577.71 c bounds 423 >= 28 @ 535.998 576.28/577.71 c #Conflicts: 19000 | #Constraints: 69312 576.28/577.71 c bounds 422 >= 28 @ 539.6 576.28/577.71 c bounds 421 >= 28 @ 539.751 576.28/577.71 c bounds 420 >= 28 @ 539.859 576.28/577.71 c bounds 419 >= 28 @ 540.612 576.28/577.71 c bounds 418 >= 28 @ 540.843 576.28/577.71 c bounds 417 >= 28 @ 541.072 576.28/577.71 c bounds 416 >= 28 @ 541.998 576.28/577.71 c #Conflicts: 20000 | #Constraints: 70319 576.28/577.71 c #Conflicts: 21000 | #Constraints: 71319 576.28/577.71 c INPROCESSING 1274.53/1279.01 c GARBAGE COLLECT 1274.53/1279.01 c bounds 415 >= 28 @ 560.464 1274.53/1279.01 c bounds 414 >= 28 @ 560.502 1274.53/1279.01 c bounds 413 >= 28 @ 560.533 1274.53/1279.01 c bounds 412 >= 28 @ 560.671 1274.53/1279.01 c #Conflicts: 22000 | #Constraints: 69129 1274.53/1279.01 c bounds 411 >= 28 @ 563.493 1274.53/1279.01 c #Conflicts: 23000 | #Constraints: 70135 1274.53/1279.01 c bounds 410 >= 28 @ 722.721 1274.53/1279.01 c bounds 409 >= 28 @ 725.513 1274.53/1279.01 c bounds 408 >= 28 @ 727.085 1274.53/1279.01 c bounds 407 >= 28 @ 727.502 1274.53/1279.01 c #Conflicts: 24000 | #Constraints: 71140 1274.53/1279.01 c bounds 406 >= 28 @ 728.775 1274.53/1279.01 c bounds 405 >= 28 @ 732.348 1274.53/1279.01 c bounds 404 >= 28 @ 732.516 1274.53/1279.01 c #Conflicts: 25000 | #Constraints: 72143 1274.53/1279.01 c INPROCESSING 1274.53/1279.01 c GARBAGE COLLECT 1274.53/1279.01 c bounds 403 >= 28 @ 946.532 1274.53/1279.01 c #Conflicts: 26000 | #Constraints: 69719 1274.53/1279.01 c #Conflicts: 27000 | #Constraints: 70719 1274.53/1279.01 c bounds 402 >= 28 @ 958.651 1274.53/1279.01 c bounds 401 >= 28 @ 958.802 1274.53/1279.01 c bounds 400 >= 28 @ 958.915 1274.53/1279.01 c bounds 399 >= 28 @ 959.006 1274.53/1279.01 c bounds 398 >= 28 @ 959.091 1274.53/1279.01 c bounds 397 >= 28 @ 959.173 1274.53/1279.01 c bounds 396 >= 28 @ 959.281 1274.53/1279.01 c bounds 395 >= 28 @ 959.382 1274.53/1279.01 c bounds 394 >= 28 @ 959.462 1274.53/1279.01 c bounds 393 >= 28 @ 959.597 1274.53/1279.01 c bounds 392 >= 28 @ 959.671 1274.53/1279.01 c bounds 391 >= 28 @ 959.739 1274.53/1279.01 c bounds 390 >= 28 @ 959.803 1274.53/1279.01 c bounds 389 >= 28 @ 959.857 1274.53/1279.01 c bounds 388 >= 28 @ 959.911 1274.53/1279.01 c bounds 387 >= 28 @ 959.965 1274.53/1279.01 c bounds 386 >= 28 @ 960.02 1274.53/1279.01 c bounds 385 >= 28 @ 960.089 1274.53/1279.01 c bounds 384 >= 28 @ 960.154 1274.53/1279.01 c bounds 383 >= 28 @ 960.219 1274.53/1279.01 c bounds 382 >= 28 @ 960.277 1274.53/1279.01 c bounds 381 >= 28 @ 960.337 1274.53/1279.01 c bounds 380 >= 28 @ 960.39 1274.53/1279.01 c bounds 379 >= 28 @ 960.446 1274.53/1279.01 c bounds 378 >= 28 @ 960.503 1274.53/1279.01 c bounds 377 >= 28 @ 960.559 1274.53/1279.01 c bounds 376 >= 28 @ 960.609 1274.53/1279.01 c bounds 375 >= 28 @ 960.66 1274.53/1279.01 c bounds 374 >= 28 @ 960.71 1274.53/1279.01 c bounds 373 >= 28 @ 960.761 1274.53/1279.01 c bounds 372 >= 28 @ 960.812 1274.53/1279.01 c bounds 371 >= 28 @ 960.861 1274.53/1279.01 c bounds 370 >= 28 @ 960.91 1274.53/1279.01 c bounds 369 >= 28 @ 960.959 1274.53/1279.01 c bounds 368 >= 28 @ 961.008 1274.53/1279.01 c bounds 367 >= 28 @ 961.064 1274.53/1279.01 c bounds 366 >= 28 @ 961.119 1274.53/1279.01 c bounds 365 >= 28 @ 961.168 1274.53/1279.01 c bounds 364 >= 28 @ 961.217 1274.53/1279.01 c bounds 363 >= 28 @ 961.272 1274.53/1279.01 c bounds 362 >= 28 @ 961.322 1274.53/1279.01 c bounds 361 >= 28 @ 961.377 1274.53/1279.01 c bounds 360 >= 28 @ 961.428 1274.53/1279.01 c bounds 359 >= 28 @ 961.476 1274.53/1279.01 c bounds 358 >= 28 @ 961.525 1274.53/1279.01 c bounds 357 >= 28 @ 961.575 1274.53/1279.01 c bounds 356 >= 28 @ 961.622 1274.53/1279.01 c bounds 355 >= 28 @ 961.67 1274.53/1279.01 c bounds 354 >= 28 @ 961.72 1274.53/1279.01 c bounds 353 >= 28 @ 961.77 1274.53/1279.01 c bounds 352 >= 28 @ 961.816 1274.53/1279.01 c bounds 351 >= 28 @ 961.865 1274.53/1279.01 c bounds 350 >= 28 @ 961.911 1274.53/1279.01 c bounds 349 >= 28 @ 961.955 1274.53/1279.01 c bounds 348 >= 28 @ 962.005 1274.53/1279.01 c bounds 347 >= 28 @ 962.052 1274.53/1279.01 c bounds 346 >= 28 @ 962.1 1274.53/1279.01 c bounds 345 >= 28 @ 962.15 1274.53/1279.01 c bounds 344 >= 28 @ 962.194 1274.53/1279.01 c bounds 343 >= 28 @ 962.245 1274.53/1279.01 c bounds 342 >= 28 @ 962.292 1274.53/1279.01 c bounds 341 >= 28 @ 962.343 1274.53/1279.01 c bounds 340 >= 28 @ 962.389 1274.53/1279.01 c bounds 339 >= 28 @ 962.434 1274.53/1279.01 c #Conflicts: 28000 | #Constraints: 71783 1274.53/1279.01 c #Conflicts: 29000 | #Constraints: 72783 1274.53/1279.01 c INPROCESSING 1274.53/1279.01 c GARBAGE COLLECT 1274.53/1279.01 c bounds 338 >= 28 @ 977.494 1274.53/1279.01 c bounds 337 >= 28 @ 978.004 1274.53/1279.01 c bounds 336 >= 28 @ 978.127 1274.53/1279.01 c bounds 335 >= 28 @ 978.377 1274.53/1279.01 c #Conflicts: 30000 | #Constraints: 70139 1274.53/1279.01 c bounds 334 >= 28 @ 988.608 1274.53/1279.01 c bounds 333 >= 28 @ 990.021 1274.53/1279.01 c bounds 332 >= 28 @ 990.126 1274.53/1279.01 c bounds 331 >= 28 @ 990.221 1274.53/1279.01 c bounds 330 >= 28 @ 990.392 1274.53/1279.01 c bounds 329 >= 28 @ 990.475 1274.53/1279.01 c bounds 328 >= 28 @ 990.553 1274.53/1279.01 c #Conflicts: 31000 | #Constraints: 71146 1274.53/1279.01 c #Conflicts: 32000 | #Constraints: 72146 1274.53/1279.01 c #Conflicts: 33000 | #Constraints: 73146 1274.53/1279.01 c INPROCESSING 1274.53/1279.01 c GARBAGE COLLECT 1274.53/1279.01 c #Conflicts: 34000 | #Constraints: 70326 1274.53/1279.01 c #Conflicts: 35000 | #Constraints: 71326 1274.53/1279.01 c #Conflicts: 36000 | #Constraints: 72326 1274.53/1279.01 c #Conflicts: 37000 | #Constraints: 73326 1274.53/1279.01 c INPROCESSING 1274.53/1279.01 c GARBAGE COLLECT 1274.53/1279.01 c #Conflicts: 38000 | #Constraints: 70322 1274.53/1279.01 c #Conflicts: 39000 | #Constraints: 71322 1274.53/1279.01 c #Conflicts: 40000 | #Constraints: 72322 1274.53/1279.01 c bounds 328 >= 29 @ 1211.75 1274.53/1279.01 c bounds 327 >= 29 @ 1211.85 1274.53/1279.01 c bounds 326 >= 29 @ 1211.94 1274.53/1279.01 c #Conflicts: 41000 | #Constraints: 73356 1274.53/1279.01 c bounds 325 >= 29 @ 1215.28 1274.53/1279.01 c INPROCESSING 1274.53/1279.01 c GARBAGE COLLECT 1274.53/1279.01 c #Conflicts: 42000 | #Constraints: 70146 1274.53/1279.01 c #Conflicts: 43000 | #Constraints: 71146 1274.53/1279.01 c #Conflicts: 44000 | #Constraints: 72146 1274.53/1279.01 c #Conflicts: 45000 | #Constraints: 73146 1274.53/1279.01 c #Conflicts: 46000 | #Constraints: 74146 1415.52/1420.67 c INPROCESSING 1415.52/1420.67 c GARBAGE COLLECT 1415.52/1420.67 c bounds 324 >= 29 @ 1256.87 1415.52/1420.67 c bounds 323 >= 29 @ 1256.98 1415.52/1420.67 c bounds 322 >= 29 @ 1257.05 1415.52/1420.67 c bounds 321 >= 29 @ 1257.13 1415.52/1420.67 c #Conflicts: 47000 | #Constraints: 70744 1415.52/1420.67 c #Conflicts: 48000 | #Constraints: 71744 1415.52/1420.67 c bounds 320 >= 29 @ 1264.59 1415.52/1420.67 c bounds 319 >= 29 @ 1266.59 1415.52/1420.67 c #Conflicts: 49000 | #Constraints: 72746 1415.52/1420.67 c bounds 318 >= 29 @ 1273.42 1415.52/1420.67 c bounds 317 >= 29 @ 1273.59 1415.52/1420.67 c bounds 316 >= 29 @ 1275.06 1415.52/1420.67 c #Conflicts: 50000 | #Constraints: 73749 1415.52/1420.67 c #Conflicts: 51000 | #Constraints: 74749 1415.52/1420.67 c INPROCESSING 1415.52/1420.67 c GARBAGE COLLECT 1415.52/1420.67 c #Conflicts: 52000 | #Constraints: 71140 1415.52/1420.67 c #Conflicts: 53000 | #Constraints: 72140 1415.52/1420.67 c #Conflicts: 54000 | #Constraints: 73140 1415.52/1420.67 c #Conflicts: 55000 | #Constraints: 74140 1415.52/1420.67 c #Conflicts: 56000 | #Constraints: 75140 1415.52/1420.67 c INPROCESSING 1415.52/1420.67 c GARBAGE COLLECT 1415.52/1420.67 c bounds 315 >= 29 @ 1375.33 1415.52/1420.67 c bounds 314 >= 29 @ 1375.39 1415.52/1420.67 c bounds 313 >= 29 @ 1380.87 1415.52/1420.67 c bounds 312 >= 29 @ 1381.28 1415.52/1420.67 c #Conflicts: 57000 | #Constraints: 71354 1415.52/1420.67 c bounds 311 >= 29 @ 1382.45 1415.52/1420.67 c bounds 310 >= 29 @ 1382.53 1415.52/1420.67 c bounds 309 >= 29 @ 1382.62 1415.52/1420.67 c bounds 308 >= 29 @ 1382.7 1415.52/1420.67 c bounds 307 >= 29 @ 1382.76 1415.52/1420.67 c bounds 306 >= 29 @ 1382.83 1415.52/1420.67 c bounds 305 >= 29 @ 1382.89 1415.52/1420.67 c bounds 304 >= 29 @ 1382.94 1415.52/1420.67 c bounds 303 >= 29 @ 1383 1415.52/1420.67 c bounds 302 >= 29 @ 1383.05 1415.52/1420.67 c bounds 301 >= 29 @ 1383.11 1415.52/1420.67 c bounds 300 >= 29 @ 1383.16 1415.52/1420.67 c bounds 299 >= 29 @ 1383.22 1415.52/1420.67 c bounds 298 >= 29 @ 1383.27 1415.52/1420.67 c bounds 297 >= 29 @ 1383.32 1415.52/1420.67 c bounds 296 >= 29 @ 1383.37 1415.52/1420.67 c bounds 295 >= 29 @ 1383.42 1415.52/1420.67 c bounds 294 >= 29 @ 1383.47 1415.52/1420.67 c bounds 293 >= 29 @ 1383.52 1415.52/1420.67 c bounds 292 >= 29 @ 1383.58 1415.52/1420.67 c bounds 291 >= 29 @ 1383.63 1415.52/1420.67 c bounds 290 >= 29 @ 1383.68 1415.52/1420.67 c bounds 289 >= 29 @ 1383.73 1415.52/1420.67 c bounds 288 >= 29 @ 1383.79 1415.52/1420.67 c bounds 287 >= 29 @ 1383.84 1415.52/1420.67 c bounds 286 >= 29 @ 1383.89 1415.52/1420.67 c bounds 285 >= 29 @ 1384.02 1415.52/1420.67 c bounds 284 >= 29 @ 1384.11 1415.52/1420.67 c bounds 283 >= 29 @ 1384.21 1415.52/1420.67 c bounds 282 >= 29 @ 1384.27 1415.52/1420.67 c bounds 281 >= 29 @ 1384.33 1415.52/1420.67 c bounds 280 >= 29 @ 1384.37 1415.52/1420.67 c bounds 279 >= 29 @ 1384.42 1415.52/1420.67 c bounds 278 >= 29 @ 1384.47 1415.52/1420.67 c bounds 277 >= 29 @ 1384.51 1415.52/1420.67 c bounds 276 >= 29 @ 1384.56 1415.52/1420.67 c bounds 275 >= 29 @ 1384.61 1415.52/1420.67 c bounds 274 >= 29 @ 1384.66 1415.52/1420.67 c bounds 273 >= 29 @ 1384.7 1415.52/1420.67 c bounds 272 >= 29 @ 1384.75 1415.52/1420.67 c bounds 271 >= 29 @ 1384.8 1415.52/1420.67 c bounds 270 >= 29 @ 1384.85 1415.52/1420.67 c bounds 269 >= 29 @ 1384.9 1415.52/1420.67 c bounds 268 >= 29 @ 1384.95 1415.52/1420.67 c bounds 267 >= 29 @ 1385.01 1415.52/1420.67 c bounds 266 >= 29 @ 1385.05 1415.52/1420.67 c bounds 265 >= 29 @ 1385.1 1415.52/1420.67 c bounds 264 >= 29 @ 1385.15 1415.52/1420.67 c bounds 263 >= 29 @ 1385.2 1415.52/1420.67 c bounds 262 >= 29 @ 1385.25 1415.52/1420.67 c bounds 261 >= 29 @ 1385.29 1415.52/1420.67 c bounds 260 >= 29 @ 1385.34 1415.52/1420.67 c bounds 259 >= 29 @ 1385.38 1415.52/1420.67 c bounds 258 >= 29 @ 1385.43 1415.52/1420.67 c bounds 257 >= 29 @ 1385.48 1415.52/1420.67 c bounds 256 >= 29 @ 1385.53 1415.52/1420.67 c bounds 255 >= 29 @ 1385.57 1415.52/1420.67 c bounds 254 >= 29 @ 1385.62 1415.52/1420.67 c bounds 253 >= 29 @ 1385.67 1415.52/1420.67 c bounds 252 >= 29 @ 1385.71 1415.52/1420.67 c bounds 251 >= 29 @ 1385.76 1415.52/1420.67 c bounds 250 >= 29 @ 1385.81 1415.52/1420.67 c bounds 249 >= 29 @ 1385.85 1415.52/1420.67 c bounds 248 >= 29 @ 1385.89 1415.52/1420.67 c bounds 247 >= 29 @ 1385.94 1415.52/1420.67 c bounds 246 >= 29 @ 1385.99 1415.52/1420.67 c bounds 245 >= 29 @ 1386.03 1415.52/1420.67 c bounds 244 >= 29 @ 1386.09 1415.52/1420.67 c bounds 243 >= 29 @ 1386.14 1415.52/1420.67 c bounds 242 >= 29 @ 1386.18 1415.52/1420.67 c bounds 241 >= 29 @ 1386.23 1415.52/1420.67 c bounds 240 >= 29 @ 1386.28 1415.52/1420.67 c bounds 239 >= 29 @ 1386.32 1415.52/1420.67 c bounds 238 >= 29 @ 1386.36 1415.52/1420.67 c bounds 237 >= 29 @ 1386.41 1415.52/1420.67 c bounds 236 >= 29 @ 1386.45 1415.52/1420.67 c bounds 235 >= 29 @ 1386.49 1415.52/1420.67 c bounds 234 >= 29 @ 1386.54 1415.52/1420.67 c bounds 233 >= 29 @ 1386.58 1415.52/1420.67 c bounds 232 >= 29 @ 1386.63 1415.52/1420.67 c bounds 231 >= 29 @ 1386.67 1415.52/1420.67 c bounds 230 >= 29 @ 1386.71 1415.52/1420.67 c bounds 229 >= 29 @ 1386.76 1415.52/1420.67 c bounds 228 >= 29 @ 1386.8 1415.52/1420.67 c bounds 227 >= 29 @ 1386.84 1415.52/1420.67 c bounds 226 >= 29 @ 1386.89 1415.52/1420.67 c bounds 225 >= 29 @ 1386.93 1415.52/1420.67 c bounds 224 >= 29 @ 1386.97 1415.52/1420.67 c bounds 223 >= 29 @ 1387.01 1415.52/1420.67 c bounds 222 >= 29 @ 1387.05 1415.52/1420.67 c bounds 221 >= 29 @ 1387.1 1415.52/1420.67 c bounds 220 >= 29 @ 1387.14 1415.52/1420.67 c bounds 219 >= 29 @ 1387.19 1415.52/1420.67 c bounds 218 >= 29 @ 1387.23 1415.52/1420.67 c bounds 217 >= 29 @ 1387.28 1415.52/1420.67 c bounds 216 >= 29 @ 1387.32 1415.52/1420.67 c bounds 215 >= 29 @ 1387.36 1415.52/1420.67 c bounds 214 >= 29 @ 1387.4 1415.52/1420.67 c bounds 213 >= 29 @ 1387.45 1415.52/1420.67 c bounds 212 >= 29 @ 1387.49 1415.52/1420.67 c bounds 211 >= 29 @ 1387.53 1415.52/1420.67 c bounds 210 >= 29 @ 1387.57 1415.52/1420.67 c bounds 209 >= 29 @ 1387.62 1415.52/1420.67 c bounds 208 >= 29 @ 1
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) 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: 64096 MiB (58429 MiB free)
memory of node 1: 64473 MiB (59944 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462762-1722344445/watcher-4462762-1722344445 -o /tmp/evaluation-result-4462762-1722344445/solver-4462762-1722344445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722340763-6758 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462762-1722344445 --lp-cut-gomory=0 HOME/instance-4462762-1722344445.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=9195, runsolver pid=9192
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 4.12 4.23 4.19 6/255 9196
/proc/meminfo: memFree=121210096/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=40964 memory=9508 CPUtime=0.1 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 1722 0 0 0 9 1 0 0 20 0 1 0 1041050 41947136 2377 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 10241 2377 1378 992 0 2099 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40964 KiB
Current children cumulated memory: 9508 KiB
[startup+0.210295 s]*
/proc/loadavg: 4.12 4.23 4.19 5/255 9196
/proc/meminfo: memFree=121209580/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=40964 memory=10036 CPUtime=0.2 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 1871 0 0 0 19 1 0 0 20 0 1 0 1041050 41947136 2509 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 10241 2509 1378 992 0 2099 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40964 KiB
Current children cumulated memory: 10036 KiB
[startup+0.308951 s]*
/proc/loadavg: 4.12 4.23 4.19 5/255 9196
/proc/meminfo: memFree=121206692/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=40964 memory=12348 CPUtime=0.29 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 1915 0 0 0 28 1 0 0 20 0 1 0 1041050 41947136 3087 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 10241 3087 1378 992 0 2099 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40964 KiB
Current children cumulated memory: 12348 KiB
[startup+0.700266 s]
/proc/loadavg: 4.12 4.23 4.19 6/255 9196
/proc/meminfo: memFree=121206552/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=40964 memory=12872 CPUtime=0.68 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 2076 0 0 0 65 3 0 0 20 0 1 0 1041050 41947136 3218 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 10241 3218 1378 992 0 2099 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40964 KiB
Current children cumulated memory: 12872 KiB
[startup+1.50032 s]
/proc/loadavg: 4.12 4.23 4.19 5/255 9196
/proc/meminfo: memFree=121203164/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=48104 memory=20480 CPUtime=1.48 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 3471 0 0 0 141 7 0 0 20 0 1 0 1041050 49258496 5120 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 12026 5120 1378 992 0 3884 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48104 KiB
Current children cumulated memory: 20480 KiB
[startup+3.11333 s]
/proc/loadavg: 4.11 4.23 4.19 5/255 9196
/proc/meminfo: memFree=120533180/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=406004 memory=373056 CPUtime=3.08 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 45493 0 0 0 275 33 0 0 20 0 1 0 1041050 415748096 93264 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 101501 93264 1713 992 0 93359 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 406004 KiB
Current children cumulated memory: 373056 KiB
[startup+6.3003 s]
/proc/loadavg: 4.11 4.23 4.19 5/255 9197
/proc/meminfo: memFree=120550088/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=406004 memory=373056 CPUtime=6.27 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 45535 0 0 0 593 34 0 0 20 0 1 0 1041050 415748096 93264 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 101501 93264 1713 992 0 93359 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 406004 KiB
Current children cumulated memory: 373056 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.22 4.18 5/255 9197
/proc/meminfo: memFree=120405036/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=406004 memory=373248 CPUtime=12.65 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 45693 0 0 0 1230 35 0 0 20 0 1 0 1041050 415748096 93312 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 101501 93312 1761 992 0 93359 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 406004 KiB
Current children cumulated memory: 373248 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.23 4.19 5/255 9211
/proc/meminfo: memFree=119938000/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=525280 memory=495512 CPUtime=25.42 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 56157 0 0 0 2227 315 0 0 20 0 1 0 1041050 537886720 123878 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 131320 123878 1874 992 0 123178 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 525280 KiB
Current children cumulated memory: 495512 KiB
[startup+51.1134 s]
/proc/loadavg: 4.17 4.23 4.18 5/255 9260
/proc/meminfo: memFree=121692340/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=542180 memory=511456 CPUtime=50.96 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 57787 0 0 0 4776 320 0 0 20 0 1 0 1041050 555192320 127864 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 135545 127864 1874 992 0 127403 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 542180 KiB
Current children cumulated memory: 511456 KiB
[startup+102.3 s]
/proc/loadavg: 4.31 4.25 4.19 5/255 9270
/proc/meminfo: memFree=117712880/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=831252 memory=752572 CPUtime=102.02 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 95733 0 0 0 9355 847 0 0 20 0 1 0 1041050 851202048 188143 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 207813 188143 1874 992 0 199671 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 831252 KiB
Current children cumulated memory: 752572 KiB
[startup+162.3 s]
/proc/loadavg: 4.26 4.25 4.19 5/251 9328
/proc/meminfo: memFree=114100268/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=854768 memory=774608 CPUtime=161.87 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 96763 0 0 0 15319 868 0 0 20 0 1 0 1041050 875282432 193652 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 213692 193652 1874 992 0 205550 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 854768 KiB
Current children cumulated memory: 774608 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.22 4.18 5/246 9338
/proc/meminfo: memFree=112156740/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=854768 memory=774608 CPUtime=221.72 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 96874 0 0 0 21302 870 0 0 20 0 1 0 1041050 875282432 193652 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 213692 193652 1874 992 0 205550 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 854768 KiB
Current children cumulated memory: 774608 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.19 4.17 5/244 9349
/proc/meminfo: memFree=110782048/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=854768 memory=774660 CPUtime=281.58 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 97036 0 0 0 27286 872 0 0 20 0 1 0 1041050 875282432 193665 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 213692 193665 1874 992 0 205550 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 854768 KiB
Current children cumulated memory: 774660 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.17 4.17 5/253 9370
/proc/meminfo: memFree=107430920/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=905528 memory=853360 CPUtime=341.43 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 108530 0 0 0 33117 1026 0 0 20 0 1 0 1041050 927260672 213340 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 226382 213340 1874 992 0 218240 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 905528 KiB
Current children cumulated memory: 853360 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/253 9381
/proc/meminfo: memFree=103312168/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=920628 memory=873132 CPUtime=401.3 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 108867 0 0 0 39101 1029 0 0 20 0 1 0 1041050 942723072 218283 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 230157 218283 1874 992 0 222015 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 920628 KiB
Current children cumulated memory: 873132 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/253 9393
/proc/meminfo: memFree=98719576/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=920628 memory=881628 CPUtime=461.16 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 109015 0 0 0 45085 1031 0 0 20 0 1 0 1041050 942723072 220407 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 230157 220407 1874 992 0 222015 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.17 4.25 4.24 5/255 11254
/proc/meminfo: memFree=87318736/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=3839600 memory=3119520 CPUtime=3033.52 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 340691 0 0 0 300289 3063 0 0 20 0 1 0 1041050 3931750400 779880 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 959900 779880 1890 992 0 951758 0
Current children cumulated CPU time: 3033.52 s
Current children cumulated vsize: 3839600 KiB
Current children cumulated memory: 3119520 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.21 4.23 6/255 11264
/proc/meminfo: memFree=86504488/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=3845292 memory=3125212 CPUtime=3093.36 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 341827 0 0 0 306271 3065 0 0 20 0 1 0 1041050 3937579008 781303 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 961323 781303 1890 992 0 953181 0
Current children cumulated CPU time: 3093.36 s
Current children cumulated vsize: 3845292 KiB
Current children cumulated memory: 3125212 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.21 4.22 5/249 11275
/proc/meminfo: memFree=85592788/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=3851236 memory=3142888 CPUtime=3153.18 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 344087 0 0 0 312252 3066 0 0 20 0 1 0 1041050 3943665664 785722 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 962809 785722 1890 992 0 954667 0
Current children cumulated CPU time: 3153.18 s
Current children cumulated vsize: 3851236 KiB
Current children cumulated memory: 3142888 KiB
[startup+3222.3 s]
/proc/loadavg: 4.33 4.23 4.23 5/248 11286
/proc/meminfo: memFree=84401696/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=3851236 memory=3142888 CPUtime=3213.01 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 344543 0 0 0 318235 3066 0 0 20 0 1 0 1041050 3943665664 785722 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 962809 785722 1890 992 0 954667 0
Current children cumulated CPU time: 3213.01 s
Current children cumulated vsize: 3851236 KiB
Current children cumulated memory: 3142888 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.20 4.22 5/250 11681
/proc/meminfo: memFree=83555200/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=3856260 memory=3151692 CPUtime=3272.83 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 346318 0 0 0 324214 3069 0 0 20 0 1 0 1041050 3948810240 787923 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 964065 787923 1890 992 0 955923 0
Current children cumulated CPU time: 3272.83 s
Current children cumulated vsize: 3856260 KiB
Current children cumulated memory: 3151692 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.19 4.21 5/251 11694
/proc/meminfo: memFree=82865768/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=3856260 memory=3151692 CPUtime=3332.66 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 346807 0 0 0 330197 3069 0 0 20 0 1 0 1041050 3948810240 787923 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 964065 787923 1890 992 0 955923 0
Current children cumulated CPU time: 3332.66 s
Current children cumulated vsize: 3856260 KiB
Current children cumulated memory: 3151692 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.17 4.20 5/251 11704
/proc/meminfo: memFree=81873752/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=3864964 memory=3174728 CPUtime=3392.49 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 350738 0 0 0 336176 3073 0 0 20 0 1 0 1041050 3957723136 793682 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 966241 793682 1890 992 0 958099 0
Current children cumulated CPU time: 3392.49 s
Current children cumulated vsize: 3864964 KiB
Current children cumulated memory: 3174728 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.20 4.20 5/258 11890
/proc/meminfo: memFree=81056936/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=3864964 memory=3174924 CPUtime=3452.32 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 351228 0 0 0 342159 3073 0 0 20 0 1 0 1041050 3957723136 793731 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 966241 793731 1890 992 0 958099 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 3864964 KiB
Current children cumulated memory: 3174924 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.18 4.19 5/259 11902
/proc/meminfo: memFree=79727880/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=3869728 memory=3179688 CPUtime=3512.15 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 352641 0 0 0 348139 3076 0 0 20 0 1 0 1041050 3962601472 794922 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 967432 794922 1890 992 0 959290 0
Current children cumulated CPU time: 3512.15 s
Current children cumulated vsize: 3869728 KiB
Current children cumulated memory: 3179688 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.14 4.18 5/260 11916
/proc/meminfo: memFree=78673624/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=3878076 memory=3198300 CPUtime=3571.97 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 354766 0 0 0 354121 3076 0 0 20 0 1 0 1041050 3971149824 799575 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 969519 799575 1890 992 0 961377 0
Current children cumulated CPU time: 3571.97 s
Current children cumulated vsize: 3878076 KiB
Current children cumulated memory: 3198300 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.08 4.14 4.18 5/260 11922
/proc/meminfo: memFree=78303892/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=3878076 memory=3198300 CPUtime=3600.09 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 354882 0 0 0 356933 3076 0 0 20 0 1 0 1041050 3971149824 799575 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 969519 799575 1890 992 0 961377 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3878076 KiB
Current children cumulated memory: 3198300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3612.52 s]
# the end of solver process 9195 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3571.33 s, system=30.777 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.3 s]
/proc/loadavg: 4.08 4.14 4.18 5/260 11922
/proc/meminfo: memFree=78297380/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=3878076 memory=3198300 CPUtime=3600.89 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 354882 0 0 0 357013 3076 0 0 20 0 1 0 1041050 3971149824 799575 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 969519 799575 1890 992 0 961377 0
Current children cumulated CPU time: 3600.89 s
Current children cumulated vsize: 3878076 KiB
Current children cumulated memory: 3198300 KiB
[startup+3612.1 s]*
/proc/loadavg: 4.08 4.14 4.18 5/260 11922
/proc/meminfo: memFree=78288680/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=3878076 memory=3198300 CPUtime=3601.7 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 354882 0 0 0 357094 3076 0 0 20 0 1 0 1041050 3971149824 799575 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 969519 799575 1890 992 0 961377 0
Current children cumulated CPU time: 3601.7 s
Current children cumulated vsize: 3878076 KiB
Current children cumulated memory: 3198300 KiB
[startup+3612.5 s]
/proc/loadavg: 4.08 4.14 4.18 5/260 11922
/proc/meminfo: memFree=78288680/131655788 swapFree=131071996/131071996
[pid=9195] ppid=9192 vsize=3878076 memory=3198300 CPUtime=3602.08 cores=5,7
/proc/9195/stat : 9195 (roundingsat) R 9192 9195 6745 0 -1 4194304 354882 0 0 0 357132 3076 0 0 20 0 1 0 1041050 3971149824 799575 134679101440 4194304 8255733 140723666972528 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33480704 140723666981726 140723666981988 140723666981988 140723666989001 0
/proc/9195/statm: 969519 799575 1890 992 0 961377 0
Current children cumulated CPU time: 3602.08 s
Current children cumulated vsize: 3878076 KiB
Current children cumulated memory: 3198300 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.52
CPU time (s): 3602.11
CPU user time (s): 3571.33
CPU system time (s): 30.777
CPU usage (%): 99.7116
Max. virtual memory (cumulated for all children) (KiB): 3954844
Max. memory (cumulated for all children) (KiB): 3198300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.33
system time used= 30.777
maximum resident set size= 3235188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354882
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12218304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57
involuntary context switches= 5902
# summary of solver processes directly reported to runsolver:
# pid: 9195
# total CPU time (s): 3602.11
# total CPU user time (s): 3571.33
# total CPU system time (s): 30.777
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7741 second user time and 37.2426 second system time
The end
Begin job on nodeC006 at 2024-07-30 15:00:45 IDJOB=4462762 IDBENCH=155399 IDSOLVER=3089 FILE ID=nodeC006/4462762-1722344445 RUNJOBID= nodeC006-1722340763-6758 SLURM_JOB_ID= 8248986 Free space on /tmp= 723468 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_13_shg.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462762-1722344445/watcher-4462762-1722344445 -o /tmp/evaluation-result-4462762-1722344445/solver-4462762-1722344445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722340763-6758 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462762-1722344445 --lp-cut-gomory=0 HOME/instance-4462762-1722344445.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a008918ff26f135f427f5632a2cbbc59 RANDOM SEED=1778411649 nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3671.137 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3670.226 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.360 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.202 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3671.125 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.240 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.451 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1424.274 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 121214960 kB MemAvailable: 124959724 kB Buffers: 48424 kB Cached: 4527684 kB SwapCached: 0 kB Active: 412928 kB Inactive: 9583920 kB Active(anon): 1420 kB Inactive(anon): 5440732 kB Active(file): 411508 kB Inactive(file): 4143188 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 67132 kB Writeback: 0 kB AnonPages: 5419088 kB Mapped: 97652 kB Shmem: 21320 kB KReclaimable: 60532 kB Slab: 136488 kB SReclaimable: 60532 kB SUnreclaim: 75956 kB KernelStack: 4112 kB PageTables: 19992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 6308116 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6400 kB HardwareCorrupted: 0 kB AnonHugePages: 4382720 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 181064 kB DirectMap2M: 9160704 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 723676 MiB End job on nodeC006 at 2024-07-30 16:00:58