| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | -726 | 3600.05 | 3608.85 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/ normalized-maxcut_opt_complete_5-partite_block_nvert_55.opb |
| MD5SUM | ff0f59bbfc198112e385d67f72301d6a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -726 |
| Best CPU time to get the best result obtained on this benchmark | 151.254 |
| 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 | 1485 |
| Total number of constraints | 104940 |
| Number of constraints which are clauses | 104940 |
| 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 | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 1210 |
| 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 | 1210 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1210 |
| Number of bits of the biggest sum of numbers | 11 |
| 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 0.30/0.35 c #variables 1485 #constraints 104940 3.38/3.46 c bounds - >= -1210 @ 0.269348 3.38/3.46 c bounds 0 >= -1210 @ 3.33928 3.38/3.46 c bounds 0 >= -1209 @ 3.33952 3.38/3.46 c bounds 0 >= -1208 @ 3.33961 3.38/3.46 c bounds 0 >= -1207 @ 3.33971 3.38/3.46 c bounds 0 >= -1206 @ 3.3398 3.38/3.46 c bounds 0 >= -1205 @ 3.33988 3.38/3.46 c bounds 0 >= -1204 @ 3.33997 3.38/3.46 c bounds 0 >= -1203 @ 3.34005 3.38/3.46 c bounds 0 >= -1202 @ 3.34013 3.38/3.46 c bounds 0 >= -1201 @ 3.34021 3.38/3.46 c bounds 0 >= -1200 @ 3.34028 3.38/3.46 c bounds 0 >= -1199 @ 3.34035 3.38/3.46 c bounds 0 >= -1198 @ 3.34049 3.38/3.46 c bounds 0 >= -1197 @ 3.34059 3.38/3.46 c bounds 0 >= -1196 @ 3.34069 3.38/3.46 c bounds 0 >= -1195 @ 3.34078 3.38/3.46 c bounds 0 >= -1194 @ 3.34087 3.38/3.46 c bounds 0 >= -1193 @ 3.34096 3.38/3.46 c bounds 0 >= -1192 @ 3.34104 3.38/3.46 c bounds 0 >= -1191 @ 3.34112 3.38/3.46 c bounds 0 >= -1190 @ 3.3412 3.38/3.46 c bounds 0 >= -1189 @ 3.34127 3.38/3.46 c bounds 0 >= -1188 @ 3.34135 3.38/3.46 c bounds 0 >= -1187 @ 3.34147 3.38/3.46 c bounds 0 >= -1186 @ 3.34156 3.38/3.46 c bounds 0 >= -1185 @ 3.34165 3.38/3.46 c bounds 0 >= -1184 @ 3.34173 3.38/3.46 c bounds 0 >= -1183 @ 3.34182 3.38/3.46 c bounds 0 >= -1182 @ 3.3419 3.38/3.46 c bounds 0 >= -1181 @ 3.34197 3.38/3.46 c bounds 0 >= -1180 @ 3.34205 3.38/3.46 c bounds 0 >= -1179 @ 3.34213 3.38/3.46 c bounds 0 >= -1178 @ 3.3422 3.38/3.46 c bounds 0 >= -1177 @ 3.34227 3.38/3.46 c bounds 0 >= -1176 @ 3.34235 3.38/3.46 c bounds 0 >= -1175 @ 3.34245 3.38/3.46 c bounds 0 >= -1174 @ 3.34254 3.38/3.46 c bounds 0 >= -1173 @ 3.34262 3.38/3.46 c bounds 0 >= -1172 @ 3.3427 3.38/3.46 c bounds 0 >= -1171 @ 3.34278 3.38/3.46 c bounds 0 >= -1170 @ 3.34285 3.38/3.46 c bounds 0 >= -1169 @ 3.34292 3.38/3.46 c bounds 0 >= -1168 @ 3.343 3.38/3.46 c bounds 0 >= -1167 @ 3.34307 3.38/3.46 c bounds 0 >= -1166 @ 3.3432 3.38/3.46 c bounds 0 >= -1165 @ 3.3433 3.38/3.46 c bounds 0 >= -1164 @ 3.34339 3.38/3.46 c bounds 0 >= -1163 @ 3.34348 3.38/3.46 c bounds 0 >= -1162 @ 3.34356 3.38/3.46 c bounds 0 >= -1161 @ 3.34364 3.38/3.46 c bounds 0 >= -1160 @ 3.34373 3.38/3.46 c bounds 0 >= -1159 @ 3.34385 3.38/3.46 c bounds 0 >= -1158 @ 3.34393 3.38/3.46 c bounds 0 >= -1157 @ 3.34401 3.38/3.46 c bounds 0 >= -1156 @ 3.34408 3.38/3.46 c bounds 0 >= -1155 @ 3.34416 3.38/3.46 c bounds 0 >= -1154 @ 3.34426 3.38/3.46 c bounds 0 >= -1153 @ 3.34435 3.38/3.46 c bounds 0 >= -1152 @ 3.34443 3.38/3.46 c bounds 0 >= -1151 @ 3.34451 3.38/3.46 c bounds 0 >= -1150 @ 3.34459 3.38/3.46 c bounds 0 >= -1149 @ 3.34466 3.38/3.46 c bounds 0 >= -1148 @ 3.34474 3.38/3.46 c bounds 0 >= -1147 @ 3.34481 3.38/3.46 c bounds 0 >= -1146 @ 3.3449 3.38/3.46 c bounds 0 >= -1145 @ 3.34503 3.38/3.46 c bounds 0 >= -1144 @ 3.34512 3.38/3.46 c bounds 0 >= -1143 @ 3.3452 3.38/3.46 c bounds 0 >= -1142 @ 3.34529 3.38/3.46 c bounds 0 >= -1141 @ 3.34537 3.38/3.46 c bounds 0 >= -1140 @ 3.34545 3.38/3.46 c bounds 0 >= -1139 @ 3.34553 3.38/3.46 c bounds 0 >= -1138 @ 3.3456 3.38/3.46 c bounds 0 >= -1137 @ 3.34568 3.38/3.46 c bounds 0 >= -1136 @ 3.34576 3.38/3.46 c bounds 0 >= -1135 @ 3.34583 3.38/3.46 c bounds 0 >= -1134 @ 3.3459 3.38/3.46 c bounds 0 >= -1133 @ 3.346 3.38/3.46 c bounds 0 >= -1132 @ 3.34608 3.38/3.46 c bounds 0 >= -1131 @ 3.34617 3.38/3.46 c bounds 0 >= -1130 @ 3.34624 3.38/3.46 c bounds 0 >= -1129 @ 3.34632 3.38/3.46 c bounds 0 >= -1128 @ 3.34639 3.38/3.46 c bounds 0 >= -1127 @ 3.34646 3.38/3.46 c bounds 0 >= -1126 @ 3.34653 3.38/3.46 c bounds 0 >= -1125 @ 3.3466 3.38/3.46 c bounds 0 >= -1124 @ 3.3466 3.38/3.46 c bounds 0 >= -1123 @ 3.3466 3.38/3.46 c bounds 0 >= -1122 @ 3.3466 3.38/3.46 c bounds 0 >= -1121 @ 3.3466 3.38/3.46 c bounds 0 >= -1120 @ 3.3466 3.38/3.46 c bounds 0 >= -1119 @ 3.3466 3.38/3.46 c bounds 0 >= -1118 @ 3.3466 3.38/3.46 c bounds 0 >= -1117 @ 3.3466 3.38/3.46 c bounds 0 >= -1116 @ 3.3466 3.38/3.46 c bounds 0 >= -1115 @ 3.3466 3.38/3.46 c bounds 0 >= -1114 @ 3.34668 3.38/3.46 c bounds 0 >= -1113 @ 3.34676 3.38/3.46 c bounds 0 >= -1112 @ 3.34684 3.38/3.46 c bounds 0 >= -1111 @ 3.34693 3.38/3.46 c bounds 0 >= -1110 @ 3.34705 3.38/3.46 c bounds 0 >= -1109 @ 3.34713 3.38/3.46 c bounds 0 >= -1108 @ 3.34722 3.38/3.46 c bounds 0 >= -1107 @ 3.3473 3.38/3.46 c bounds 0 >= -1106 @ 3.3474 3.38/3.46 c bounds 0 >= -1105 @ 3.34754 3.38/3.46 c bounds 0 >= -1104 @ 3.34763 3.38/3.46 c bounds 0 >= -1103 @ 3.34773 3.38/3.46 c bounds 0 >= -1102 @ 3.34781 3.38/3.46 c bounds 0 >= -1101 @ 3.3479 3.38/3.46 c bounds 0 >= -1100 @ 3.34799 3.38/3.46 c bounds 0 >= -1099 @ 3.34807 3.38/3.46 c bounds 0 >= -1098 @ 3.34815 3.38/3.46 c bounds 0 >= -1097 @ 3.34825 3.38/3.46 c bounds 0 >= -1096 @ 3.34834 3.38/3.46 c bounds 0 >= -1095 @ 3.34842 3.38/3.46 c bounds 0 >= -1094 @ 3.3485 3.38/3.46 c bounds 0 >= -1093 @ 3.34858 3.38/3.46 c bounds 0 >= -1092 @ 3.34866 3.38/3.46 c bounds 0 >= -1091 @ 3.34876 3.38/3.46 c bounds 0 >= -1090 @ 3.34887 3.38/3.46 c bounds 0 >= -1089 @ 3.34896 3.38/3.46 c bounds 0 >= -1088 @ 3.34903 3.38/3.46 c bounds 0 >= -1087 @ 3.3491 3.38/3.46 c bounds 0 >= -1086 @ 3.34926 3.38/3.46 c bounds 0 >= -1085 @ 3.34936 3.38/3.46 c bounds 0 >= -1084 @ 3.34945 3.38/3.46 c bounds 0 >= -1083 @ 3.34955 3.38/3.46 c bounds 0 >= -1082 @ 3.34964 3.38/3.46 c bounds 0 >= -1081 @ 3.34973 3.38/3.46 c bounds 0 >= -1080 @ 3.34981 3.38/3.46 c bounds 0 >= -1079 @ 3.3499 3.38/3.46 c bounds 0 >= -1078 @ 3.34999 3.38/3.46 c bounds 0 >= -1077 @ 3.35008 3.38/3.46 c bounds 0 >= -1076 @ 3.35016 3.38/3.46 c bounds 0 >= -1075 @ 3.35024 3.38/3.46 c bounds 0 >= -1074 @ 3.35033 3.38/3.49 c bounds 0 >= -1073 @ 3.35042 3.38/3.49 c bounds 0 >= -1072 @ 3.35052 3.38/3.49 c bounds 0 >= -1071 @ 3.35066 3.38/3.49 c bounds 0 >= -1070 @ 3.35075 3.38/3.49 c bounds 0 >= -1069 @ 3.35083 3.38/3.49 c bounds 0 >= -1068 @ 3.3509 3.38/3.49 c bounds 0 >= -1067 @ 3.35107 3.38/3.49 c bounds 0 >= -1066 @ 3.35118 3.38/3.49 c bounds 0 >= -1065 @ 3.35127 3.38/3.49 c bounds 0 >= -1064 @ 3.35136 3.38/3.49 c bounds 0 >= -1063 @ 3.35145 3.38/3.49 c bounds 0 >= -1062 @ 3.35154 3.38/3.49 c bounds 0 >= -1061 @ 3.35162 3.38/3.49 c bounds 0 >= -1060 @ 3.35171 3.38/3.49 c bounds 0 >= -1059 @ 3.35182 3.38/3.49 c bounds 0 >= -1058 @ 3.35191 3.38/3.49 c bounds 0 >= -1057 @ 3.352 3.38/3.49 c bounds 0 >= -1056 @ 3.35208 3.38/3.49 c bounds 0 >= -1055 @ 3.35217 3.38/3.49 c bounds 0 >= -1054 @ 3.35225 3.38/3.49 c bounds 0 >= -1053 @ 3.35239 3.38/3.49 c bounds 0 >= -1052 @ 3.35247 3.38/3.49 c bounds 0 >= -1051 @ 3.35257 3.38/3.49 c bounds 0 >= -1050 @ 3.35267 3.38/3.49 c bounds 0 >= -1049 @ 3.35275 3.38/3.49 c bounds 0 >= -1048 @ 3.35291 3.38/3.49 c bounds 0 >= -1047 @ 3.35301 3.38/3.49 c bounds 0 >= -1046 @ 3.35311 3.38/3.49 c bounds 0 >= -1045 @ 3.35326 3.38/3.49 c bounds 0 >= -1044 @ 3.35338 3.38/3.49 c bounds 0 >= -1043 @ 3.35349 3.38/3.49 c bounds 0 >= -1042 @ 3.3536 3.38/3.49 c bounds 0 >= -1041 @ 3.35371 3.38/3.49 c bounds 0 >= -1040 @ 3.35382 3.38/3.49 c bounds 0 >= -1039 @ 3.35391 3.38/3.49 c bounds 0 >= -1038 @ 3.35401 3.38/3.49 c bounds 0 >= -1037 @ 3.3541 3.38/3.49 c bounds 0 >= -1036 @ 3.35419 3.38/3.49 c bounds 0 >= -1035 @ 3.35427 3.38/3.49 c bounds 0 >= -1034 @ 3.35435 3.38/3.49 c bounds 0 >= -1033 @ 3.35443 3.38/3.49 c bounds 0 >= -1032 @ 3.35453 3.38/3.49 c bounds 0 >= -1031 @ 3.35471 3.38/3.49 c bounds 0 >= -1030 @ 3.35482 3.38/3.49 c bounds 0 >= -1029 @ 3.35494 3.38/3.49 c bounds 0 >= -1028 @ 3.35508 3.38/3.49 c bounds 0 >= -1027 @ 3.3552 3.38/3.49 c bounds 0 >= -1026 @ 3.35531 3.38/3.49 c bounds 0 >= -1025 @ 3.35543 3.38/3.49 c bounds 0 >= -1024 @ 3.35554 3.38/3.49 c bounds 0 >= -1023 @ 3.3556 3.38/3.49 c bounds -44 >= -1023 @ 3.35656 3.38/3.49 c bounds -44 >= -1022 @ 3.35674 3.38/3.49 c bounds -44 >= -1021 @ 3.35684 3.38/3.49 c bounds -44 >= -1020 @ 3.35694 3.38/3.49 c bounds -44 >= -1019 @ 3.35704 3.38/3.49 c bounds -44 >= -1018 @ 3.35713 3.38/3.49 c bounds -44 >= -1017 @ 3.35721 3.38/3.49 c bounds -44 >= -1016 @ 3.3573 3.38/3.49 c bounds -44 >= -1015 @ 3.35742 3.38/3.49 c bounds -44 >= -1014 @ 3.35758 3.38/3.49 c bounds -44 >= -1013 @ 3.35771 3.38/3.49 c bounds -44 >= -1012 @ 3.35783 3.38/3.49 c bounds -44 >= -1011 @ 3.35799 3.38/3.49 c bounds -44 >= -1010 @ 3.35811 3.38/3.49 c bounds -44 >= -1009 @ 3.35824 3.38/3.49 c bounds -44 >= -1008 @ 3.35835 3.38/3.49 c bounds -44 >= -1007 @ 3.35846 3.38/3.49 c bounds -44 >= -1006 @ 3.35857 3.38/3.49 c bounds -44 >= -1005 @ 3.35868 3.38/3.49 c bounds -44 >= -1004 @ 3.35878 3.38/3.49 c bounds -44 >= -1003 @ 3.35887 3.38/3.49 c bounds -44 >= -1002 @ 3.35897 3.38/3.49 c bounds -44 >= -1001 @ 3.35906 3.38/3.49 c bounds -44 >= -1000 @ 3.35915 3.38/3.49 c bounds -44 >= -999 @ 3.35923 3.38/3.49 c bounds -44 >= -998 @ 3.35935 3.38/3.49 c bounds -44 >= -997 @ 3.35948 3.38/3.49 c bounds -44 >= -996 @ 3.35957 3.38/3.49 c bounds -44 >= -995 @ 3.35967 3.38/3.49 c bounds -44 >= -994 @ 3.35976 3.38/3.49 c bounds -44 >= -993 @ 3.35985 3.38/3.49 c bounds -44 >= -992 @ 3.35999 3.38/3.49 c bounds -88 >= -992 @ 3.3615 3.38/3.49 c bounds -88 >= -991 @ 3.36176 3.38/3.49 c bounds -88 >= -990 @ 3.36188 3.38/3.49 c bounds -88 >= -989 @ 3.36199 3.38/3.49 c bounds -88 >= -988 @ 3.36216 3.38/3.49 c bounds -88 >= -987 @ 3.36227 3.38/3.49 c bounds -88 >= -986 @ 3.36241 3.38/3.49 c bounds -88 >= -985 @ 3.36253 3.38/3.49 c bounds -88 >= -984 @ 3.36264 3.38/3.49 c bounds -88 >= -983 @ 3.36275 3.38/3.49 c bounds -88 >= -982 @ 3.36286 3.38/3.49 c bounds -88 >= -981 @ 3.36304 3.38/3.49 c bounds -88 >= -980 @ 3.36318 3.38/3.49 c bounds -88 >= -979 @ 3.36343 3.38/3.49 c bounds -132 >= -979 @ 3.36499 3.38/3.49 c bounds -132 >= -978 @ 3.36529 3.38/3.49 c bounds -132 >= -977 @ 3.36544 3.38/3.49 c bounds -132 >= -976 @ 3.36558 3.38/3.49 c bounds -132 >= -975 @ 3.36571 3.38/3.49 c bounds -132 >= -974 @ 3.36583 3.38/3.49 c bounds -132 >= -973 @ 3.36599 3.38/3.49 c bounds -132 >= -972 @ 3.36613 3.38/3.49 c bounds -132 >= -971 @ 3.36635 3.38/3.49 c bounds -132 >= -970 @ 3.36651 3.38/3.49 c bounds -132 >= -969 @ 3.36666 3.38/3.49 c bounds -176 >= -969 @ 3.36814 3.38/3.49 c bounds -176 >= -968 @ 3.36845 3.38/3.49 c bounds -176 >= -967 @ 3.36859 3.38/3.49 c bounds -176 >= -966 @ 3.36871 3.38/3.49 c bounds -176 >= -965 @ 3.36889 3.38/3.49 c bounds -176 >= -964 @ 3.36903 3.38/3.49 c bounds -176 >= -963 @ 3.36927 3.38/3.49 c bounds -176 >= -962 @ 3.36942 3.38/3.49 c bounds -176 >= -961 @ 3.36958 3.38/3.49 c bounds -220 >= -961 @ 3.37118 3.38/3.49 c bounds -220 >= -960 @ 3.37155 3.38/3.49 c bounds -220 >= -959 @ 3.37169 3.38/3.49 c bounds -220 >= -958 @ 3.37181 3.38/3.49 c bounds -220 >= -957 @ 3.372 3.38/3.49 c bounds -220 >= -956 @ 3.37228 3.38/3.49 c bounds -220 >= -955 @ 3.37246 3.38/3.49 c bounds -220 >= -954 @ 3.37263 3.38/3.49 c bounds -220 >= -953 @ 3.37278 3.38/3.49 c bounds -264 >= -953 @ 3.37444 3.38/3.49 c bounds -264 >= -952 @ 3.37483 3.38/3.49 c bounds -264 >= -951 @ 3.37497 3.38/3.49 c bounds -264 >= -950 @ 3.37511 3.38/3.49 c bounds -264 >= -949 @ 3.37525 3.38/3.49 c bounds -264 >= -948 @ 3.37541 10.27/10.34 c bounds -264 >= -947 @ 3.37579 10.27/10.34 c bounds -264 >= -946 @ 3.37601 10.27/10.34 c bounds -264 >= -945 @ 3.37622 10.27/10.34 c bounds -308 >= -945 @ 3.37798 10.27/10.34 c bounds -308 >= -944 @ 3.37837 10.27/10.34 c bounds -308 >= -943 @ 3.37854 10.27/10.34 c bounds -308 >= -942 @ 3.3787 10.27/10.34 c bounds -308 >= -941 @ 3.37882 10.27/10.34 c bounds -308 >= -940 @ 3.37896 10.27/10.34 c bounds -308 >= -939 @ 3.37913 10.27/10.34 c bounds -308 >= -938 @ 3.37943 10.27/10.34 c bounds -308 >= -937 @ 3.37962 10.27/10.34 c bounds -308 >= -936 @ 3.37981 10.27/10.34 c bounds -352 >= -936 @ 3.38145 10.27/10.34 c bounds -352 >= -935 @ 3.38183 10.27/10.34 c bounds -352 >= -934 @ 3.38199 10.27/10.34 c bounds -352 >= -933 @ 3.38215 10.27/10.34 c bounds -352 >= -932 @ 3.38228 10.27/10.34 c bounds -352 >= -931 @ 3.3824 10.27/10.34 c bounds -352 >= -930 @ 3.38258 10.27/10.34 c bounds -352 >= -929 @ 3.3829 10.27/10.34 c bounds -352 >= -928 @ 3.38311 10.27/10.34 c bounds -396 >= -928 @ 3.38491 10.27/10.34 c bounds -396 >= -927 @ 3.38536 10.27/10.34 c bounds -396 >= -926 @ 3.38557 10.27/10.34 c bounds -396 >= -925 @ 3.38572 10.27/10.34 c bounds -396 >= -924 @ 3.38587 10.27/10.34 c bounds -396 >= -923 @ 3.386 10.27/10.34 c bounds -396 >= -922 @ 3.38618 10.27/10.34 c bounds -396 >= -921 @ 3.38646 10.27/10.34 c bounds -440 >= -921 @ 3.38726 10.27/10.34 c bounds -440 >= -920 @ 3.38768 10.27/10.34 c bounds -440 >= -919 @ 3.38785 10.27/10.34 c bounds -440 >= -918 @ 3.38803 10.27/10.34 c bounds -440 >= -917 @ 3.38826 10.27/10.34 c bounds -440 >= -916 @ 3.38845 10.27/10.34 c bounds -440 >= -915 @ 3.38866 10.27/10.34 c bounds -440 >= -914 @ 3.38882 10.27/10.34 c bounds -440 >= -913 @ 3.38893 10.27/10.34 c bounds -484 >= -913 @ 3.39075 10.27/10.34 c bounds -484 >= -912 @ 3.39105 10.27/10.34 c bounds -484 >= -911 @ 3.39122 10.27/10.34 c bounds -484 >= -910 @ 3.39144 10.27/10.34 c bounds -484 >= -909 @ 3.39158 10.27/10.34 c bounds -484 >= -908 @ 3.39183 10.27/10.34 c bounds -484 >= -907 @ 3.39197 10.27/10.34 c bounds -484 >= -906 @ 3.39217 10.27/10.34 c bounds -484 >= -905 @ 3.39274 10.27/10.34 c bounds -506 >= -905 @ 3.39464 10.27/10.34 c bounds -506 >= -904 @ 3.39535 10.27/10.34 c bounds -506 >= -903 @ 3.39571 10.27/10.34 c bounds -528 >= -903 @ 3.39959 10.27/10.34 c bounds -528 >= -902 @ 3.40058 10.27/10.34 c bounds -528 >= -901 @ 3.40091 10.27/10.34 c bounds -528 >= -900 @ 3.40126 10.27/10.34 c bounds -528 >= -899 @ 3.40168 10.27/10.34 c bounds -550 >= -899 @ 3.40519 10.27/10.34 c bounds -550 >= -898 @ 3.40589 10.27/10.34 c bounds -550 >= -897 @ 3.40648 10.27/10.34 c bounds -550 >= -896 @ 3.40686 10.27/10.34 c bounds -550 >= -895 @ 3.40728 10.27/10.34 c bounds -550 >= -894 @ 3.40758 10.27/10.34 c bounds -572 >= -894 @ 3.41356 10.27/10.34 c bounds -572 >= -893 @ 3.41447 10.27/10.34 c bounds -572 >= -892 @ 3.41511 10.27/10.34 c bounds -572 >= -891 @ 3.41525 10.27/10.34 c bounds -572 >= -890 @ 3.41546 10.27/10.34 c bounds -572 >= -889 @ 3.41556 10.27/10.34 c bounds -572 >= -888 @ 3.41663 10.27/10.34 c bounds -572 >= -887 @ 3.41753 10.27/10.34 c bounds -572 >= -886 @ 3.41857 10.27/10.34 c bounds -572 >= -885 @ 3.41945 10.27/10.34 c bounds -586 >= -885 @ 3.42267 10.27/10.34 c bounds -586 >= -884 @ 3.42395 10.27/10.34 c bounds -586 >= -883 @ 3.42621 10.27/10.34 c bounds -600 >= -883 @ 3.42871 10.27/10.34 c bounds -600 >= -882 @ 3.4302 10.27/10.34 c bounds -600 >= -881 @ 3.43142 10.27/10.34 c bounds -600 >= -880 @ 3.43209 10.27/10.34 c bounds -606 >= -880 @ 3.43868 10.27/10.34 c bounds -606 >= -879 @ 3.44191 10.27/10.34 c bounds -606 >= -878 @ 3.44573 10.27/10.34 c bounds -622 >= -878 @ 3.45023 10.27/10.34 c bounds -622 >= -877 @ 3.45337 10.27/10.34 c bounds -628 >= -877 @ 3.46082 10.27/10.34 c bounds -632 >= -877 @ 3.463 10.27/10.34 c bounds -632 >= -876 @ 3.46434 10.27/10.34 c bounds -636 >= -876 @ 3.46632 10.27/10.34 c bounds -646 >= -876 @ 3.47918 10.27/10.34 c bounds -646 >= -875 @ 3.48548 10.27/10.34 c bounds -648 >= -875 @ 3.49016 10.27/10.34 c bounds -648 >= -874 @ 3.49633 10.27/10.34 c bounds -650 >= -874 @ 3.49924 10.27/10.34 c bounds -654 >= -874 @ 3.51066 10.27/10.34 c bounds -654 >= -873 @ 3.51683 10.27/10.34 c bounds -662 >= -873 @ 3.51961 10.27/10.34 c bounds -662 >= -872 @ 3.53384 10.27/10.34 c bounds -674 >= -872 @ 3.53793 10.27/10.34 c bounds -678 >= -872 @ 3.5492 10.27/10.34 c #Conflicts: 1000 | #Constraints: 107847 10.27/10.34 c bounds -682 >= -872 @ 3.97467 10.27/10.34 c bounds -682 >= -871 @ 3.98922 10.27/10.34 c #Conflicts: 2000 | #Constraints: 108877 10.27/10.34 c INPROCESSING 10.27/10.34 c GARBAGE COLLECT 10.27/10.34 WSVECS04 Frhs2[1114]: 6 -1.25946 0 shouldn't be 10.27/10.34 WSVECS04 Frhs2[1129]: 6 -3.20298 0 shouldn't be 22.54/22.63 WSVECS04 Frhs2[1290]: 6 0 1.66554 shouldn't be 158.41/158.84 c bounds -682 >= -870 @ 27.7302 158.41/158.84 c bounds -682 >= -869 @ 27.7525 158.41/158.84 c bounds -682 >= -868 @ 27.7915 158.41/158.84 c bounds -688 >= -868 @ 27.8002 158.41/158.84 c bounds -694 >= -868 @ 27.8051 158.41/158.84 c bounds -702 >= -868 @ 27.8074 158.41/158.84 c bounds -708 >= -868 @ 27.8176 158.41/158.84 c bounds -714 >= -868 @ 27.8205 158.41/158.84 c bounds -720 >= -868 @ 27.8224 158.41/158.84 c #Conflicts: 3000 | #Constraints: 108988 158.41/158.84 c bounds -722 >= -868 @ 28.0797 158.41/158.84 c #Conflicts: 4000 | #Constraints: 109989 158.41/158.84 c bounds -722 >= -867 @ 28.2066 158.41/158.84 c INPROCESSING 158.41/158.84 c GARBAGE COLLECT 158.41/158.84 c bounds -724 >= -867 @ 28.4136 158.41/158.84 c bounds -726 >= -867 @ 28.4169 158.41/158.84 c #Conflicts: 5000 | #Constraints: 109414 158.41/158.84 c #Conflicts: 6000 | #Constraints: 110414 158.41/158.84 c INPROCESSING 158.41/158.84 c GARBAGE COLLECT 158.41/158.84 c #Conflicts: 7000 | #Constraints: 109408 158.41/158.84 c bounds -726 >= -866 @ 83.2899 158.41/158.84 c #Conflicts: 8000 | #Constraints: 110464 158.41/158.84 c bounds -726 >= -865 @ 83.4467 158.41/158.84 c #Conflicts: 9000 | #Constraints: 111484 158.41/158.84 c INPROCESSING 158.41/158.84 c GARBAGE COLLECT 158.41/158.84 c rational objective -806.667 235.03/235.67 c bounds -726 >= -864 @ 158.057 235.03/235.67 c #Conflicts: 10000 | #Constraints: 110220 235.03/235.67 c #Conflicts: 11000 | #Constraints: 111220 235.03/235.67 c #Conflicts: 12000 | #Constraints: 112220 235.03/235.67 c INPROCESSING 235.03/235.67 c #Conflicts: 13000 | #Constraints: 110832 235.03/235.67 c #Conflicts: 14000 | #Constraints: 111832 235.03/235.67 c #Conflicts: 15000 | #Constraints: 112832 235.03/235.67 c #Conflicts: 16000 | #Constraints: 113832 235.03/235.67 c #Conflicts: 17000 | #Constraints: 114832 235.03/235.67 c #Conflicts: 18000 | #Constraints: 115832 235.03/235.67 c #Conflicts: 19000 | #Constraints: 116832 235.03/235.67 c #Conflicts: 20000 | #Constraints: 117832 235.03/235.67 c INPROCESSING 235.03/235.67 c GARBAGE COLLECT 235.03/235.67 c #Conflicts: 21000 | #Constraints: 113279 235.03/235.67 c bounds -726 >= -863 @ 165.583 235.03/235.67 c #Conflicts: 22000 | #Constraints: 114344 235.03/235.67 c #Conflicts: 23000 | #Constraints: 115344 235.03/235.67 c #Conflicts: 24000 | #Constraints: 116344 235.03/235.67 c bounds -726 >= -862 @ 199.995 235.03/235.67 c INPROCESSING 235.03/235.67 c GARBAGE COLLECT 235.03/235.67 c #Conflicts: 25000 | #Constraints: 112593 235.03/235.67 c #Conflicts: 26000 | #Constraints: 113593 235.03/235.67 c bounds -726 >= -861 @ 200.583 235.03/235.67 c #Conflicts: 27000 | #Constraints: 114640 235.03/235.67 c #Conflicts: 28000 | #Constraints: 115640 235.03/235.67 c INPROCESSING 235.03/235.67 c #Conflicts: 29000 | #Constraints: 112974 235.03/235.67 c #Conflicts: 30000 | #Constraints: 113974 235.03/235.67 c #Conflicts: 31000 | #Constraints: 114974 235.03/235.67 c #Conflicts: 32000 | #Constraints: 115974 235.03/235.67 c #Conflicts: 33000 | #Constraints: 116974 235.03/235.67 c #Conflicts: 34000 | #Constraints: 117974 235.03/235.67 c #Conflicts: 35000 | #Constraints: 118974 235.03/235.67 c #Conflicts: 36000 | #Constraints: 119974 235.03/235.67 c #Conflicts: 37000 | #Constraints: 120974 235.03/235.67 c #Conflicts: 38000 | #Constraints: 121974 235.03/235.67 c #Conflicts: 39000 | #Constraints: 122974 235.03/235.67 c #Conflicts: 40000 | #Constraints: 123974 235.03/235.67 c #Conflicts: 41000 | #Constraints: 124974 235.03/235.67 c INPROCESSING 235.03/235.67 c GARBAGE COLLECT 235.03/235.67 c rational objective -806.667 243.81/244.40 c #Conflicts: 42000 | #Constraints: 116961 243.81/244.40 c bounds -726 >= -860 @ 234.371 243.81/244.40 c #Conflicts: 43000 | #Constraints: 118011 243.81/244.40 c #Conflicts: 44000 | #Constraints: 119011 243.81/244.40 c #Conflicts: 45000 | #Constraints: 120011 243.81/244.40 c #Conflicts: 46000 | #Constraints: 121011 243.81/244.40 c #Conflicts: 47000 | #Constraints: 122011 243.81/244.40 c INPROCESSING 243.81/244.40 c GARBAGE COLLECT 243.81/244.40 c rational objective -806.667 284.71/285.40 c #Conflicts: 48000 | #Constraints: 115649 284.71/285.40 c bounds -726 >= -859 @ 262.41 284.71/285.40 c #Conflicts: 49000 | #Constraints: 116726 284.71/285.40 c #Conflicts: 50000 | #Constraints: 117726 284.71/285.40 c #Conflicts: 51000 | #Constraints: 118726 284.71/285.40 c #Conflicts: 52000 | #Constraints: 119726 284.71/285.40 c bounds -726 >= -858 @ 264.053 284.71/285.40 c #Conflicts: 53000 | #Constraints: 120782 284.71/285.40 c #Conflicts: 54000 | #Constraints: 121782 284.71/285.40 c #Conflicts: 55000 | #Constraints: 122782 284.71/285.40 c bounds -726 >= -857 @ 265.402 284.71/285.40 c #Conflicts: 56000 | #Constraints: 123814 284.71/285.40 c #Conflicts: 57000 | #Constraints: 124814 284.71/285.40 c #Conflicts: 58000 | #Constraints: 125814 284.71/285.40 c #Conflicts: 59000 | #Constraints: 126814 284.71/285.40 c #Conflicts: 60000 | #Constraints: 127814 284.71/285.40 c #Conflicts: 61000 | #Constraints: 128814 284.71/285.40 c #Conflicts: 62000 | #Constraints: 129815 284.71/285.40 c INPROCESSING 284.71/285.40 c GARBAGE COLLECT 284.71/285.40 WSVECS04 Frhs2[5]: 6 0 0.39637 shouldn't be 284.71/285.40 WSVECS04 Frhs2[9]: 6 0 0.569188 shouldn't be 284.71/285.40 WSVECS04 Frhs2[26]: 6 -0.894601 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[31]: 6 -0.358553 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[47]: 6 -0.485522 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[50]: 6 -0.0942247 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[56]: 6 0 0.361085 shouldn't be 284.71/285.40 WSVECS04 Frhs2[57]: 6 0 0.0758889 shouldn't be 284.71/285.40 WSVECS04 Frhs2[63]: 6 0 0.157477 shouldn't be 284.71/285.40 WSVECS04 Frhs2[67]: 6 0 0.211151 shouldn't be 284.71/285.40 WSVECS04 Frhs2[96]: 6 -0.586712 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[102]: 6 0 1.25815 shouldn't be 284.71/285.40 WSVECS04 Frhs2[103]: 6 -1.55633 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[117]: 6 0 1.00009 shouldn't be 284.71/285.40 WSVECS04 Frhs2[124]: 6 0 0.870468 shouldn't be 284.71/285.40 WSVECS04 Frhs2[131]: 6 -0.452184 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[141]: 6 -0.715788 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[146]: 6 -1.00004 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[155]: 6 -0.993607 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[165]: 6 0 0.519457 shouldn't be 284.71/285.40 WSVECS04 Frhs2[167]: 6 0 0.791386 shouldn't be 284.71/285.40 WSVECS04 Frhs2[172]: 6 -0.628741 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[173]: 6 0 0.550401 shouldn't be 284.71/285.40 WSVECS04 Frhs2[177]: 6 0 1.00006 shouldn't be 284.71/285.40 WSVECS04 Frhs2[184]: 6 -1.00009 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[190]: 6 -2.12874 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[207]: 6 0 1.00008 shouldn't be 284.71/285.40 WSVECS04 Frhs2[211]: 6 0 0.0370227 shouldn't be 284.71/285.40 WSVECS04 Frhs2[218]: 6 0 1.00006 shouldn't be 284.71/285.40 WSVECS04 Frhs2[223]: 6 0 1.00005 shouldn't be 284.71/285.40 WSVECS04 Frhs2[225]: 6 0 0.500071 shouldn't be 284.71/285.40 WSVECS04 Frhs2[230]: 6 -0.0320301 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[231]: 6 -0.939808 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[232]: 6 -1.41828 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[236]: 6 -0.946892 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[238]: 6 -0.592726 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[251]: 6 0 1.00004 shouldn't be 284.71/285.40 WSVECS04 Frhs2[260]: 6 -3.98387 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[264]: 6 0 0.244164 shouldn't be 284.71/285.40 WSVECS04 Frhs2[266]: 6 0 0.753823 shouldn't be 284.71/285.40 WSVECS04 Frhs2[274]: 6 0 0.244557 shouldn't be 284.71/285.40 WSVECS04 Frhs2[279]: 6 -0.0792456 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[291]: 6 -0.805087 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[292]: 6 -0.392101 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[296]: 6 -0.20929 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[304]: 6 0 0.975222 shouldn't be 284.71/285.40 WSVECS04 Frhs2[308]: 6 -1.00004 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[326]: 6 -1.43917 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[342]: 6 -1.51961 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[358]: 6 0 0.709272 shouldn't be 284.71/285.40 WSVECS04 Frhs2[364]: 6 0 1.1291 shouldn't be 284.71/285.40 WSVECS04 Frhs2[365]: 6 0 0.899249 shouldn't be 284.71/285.40 WSVECS04 Frhs2[368]: 6 0 1.00005 shouldn't be 284.71/285.40 WSVECS04 Frhs2[376]: 6 -1.80993 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[379]: 6 -0.185723 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[390]: 6 -0.349754 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[406]: 6 0 0.580213 shouldn't be 284.71/285.40 WSVECS04 Frhs2[424]: 6 -1.12477 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[425]: 6 -0.00409015 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[426]: 6 -0.977477 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[438]: 6 -1.00001 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[456]: 6 0 1.7464 shouldn't be 284.71/285.40 WSVECS04 Frhs2[461]: 6 0 0.58345 shouldn't be 284.71/285.40 WSVECS04 Frhs2[465]: 6 -0.936469 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[466]: 6 -0.141313 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[474]: 6 -0.0439201 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[481]: 6 -1.24418 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[482]: 6 -0.862803 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[486]: 6 0 0.805087 shouldn't be 284.71/285.40 WSVECS04 Frhs2[490]: 6 0 1.00003 shouldn't be 284.71/285.40 WSVECS04 Frhs2[495]: 6 -1.00001 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[498]: 6 0 2.77214 shouldn't be 284.71/285.40 WSVECS04 Frhs2[501]: 6 -0.0714121 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[502]: 6 0 1.00007 shouldn't be 284.71/285.40 WSVECS04 Frhs2[511]: 6 -0.333667 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[521]: 6 -0.628783 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[522]: 6 -1.00008 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[531]: 6 0 0.689399 shouldn't be 284.71/285.40 WSVECS04 Frhs2[532]: 6 -1.00006 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[537]: 6 -0.671749 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[555]: 6 -1.47579 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[557]: 6 -0.968523 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[558]: 6 -0.0320524 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[559]: 6 -0.787318 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[562]: 6 -0.928162 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[563]: 6 -1.00002 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[576]: 6 -0.10196 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[578]: 6 -0.673337 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[583]: 6 0 0.632958 shouldn't be 284.71/285.40 WSVECS04 Frhs2[599]: 6 -1.44381 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[617]: 6 -1.26031 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[621]: 6 0 0.188443 shouldn't be 284.71/285.40 WSVECS04 Frhs2[627]: 6 -1.24415 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[633]: 6 -2.93217 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[638]: 6 -1.00007 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[657]: 6 0 1.00009 shouldn't be 284.71/285.40 WSVECS04 Frhs2[673]: 6 -0.300648 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[679]: 6 -0.336594 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[680]: 6 -2.19846 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[692]: 6 -1.01626 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[693]: 6 -0.679942 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[696]: 6 0 1.56445 shouldn't be 284.71/285.40 WSVECS04 Frhs2[706]: 6 -0.866515 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[714]: 6 -3.56243 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[738]: 6 -0.675609 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[744]: 6 -0.363171 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[745]: 6 -0.318733 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[747]: 6 -0.951032 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[753]: 6 0 1.00001 shouldn't be 284.71/285.40 WSVECS04 Frhs2[756]: 6 0 1.0001 shouldn't be 284.71/285.40 WSVECS04 Frhs2[758]: 6 0 1.00007 shouldn't be 284.71/285.40 WSVECS04 Frhs2[760]: 6 0 1.00006 shouldn't be 284.71/285.40 WSVECS04 Frhs2[763]: 6 0 1.09676 shouldn't be 284.71/285.40 WSVECS04 Frhs2[764]: 6 0 1.00005 shouldn't be 284.71/285.40 WSVECS04 Frhs2[765]: 6 0 1.11542 shouldn't be 284.71/285.40 WSVECS04 Frhs2[767]: 6 0 0.547198 shouldn't be 284.71/285.40 WSVECS04 Frhs2[771]: 6 0 1.00005 shouldn't be 284.71/285.40 WSVECS04 Frhs2[776]: 6 0 0.00965598 shouldn't be 284.71/285.40 WSVECS04 Frhs2[794]: 6 -0.101412 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[796]: 6 -0.860649 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[797]: 6 -0.550365 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[808]: 6 -3.46844 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[812]: 6 -6.44489 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[818]: 6 -1.16297 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[828]: 6 -0.492852 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[836]: 6 -1.50429 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[863]: 6 -0.10247 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[871]: 6 -0.0322089 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[886]: 6 -0.409655 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[891]: 6 0 1.00003 shouldn't be 284.71/285.40 WSVECS04 Frhs2[897]: 6 -7.86651 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[898]: 6 -1.06053 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[903]: 6 -0.508847 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[905]: 6 -1.00001 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[919]: 6 0 3.88093 shouldn't be 284.71/285.40 WSVECS04 Frhs2[921]: 6 0 6.28515 shouldn't be 284.71/285.40 WSVECS04 Frhs2[936]: 6 -0.182787 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[939]: 6 -1.72365 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[940]: 6 -0.00974421 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[944]: 6 -0.00408454 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[945]: 6 -0.17609 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[956]: 6 -0.0580244 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[958]: 6 0 0.431348 shouldn't be 284.71/285.40 WSVECS04 Frhs2[960]: 6 0 0.333373 shouldn't be 284.71/285.40 WSVECS04 Frhs2[969]: 6 0 1.00005 shouldn't be 284.71/285.40 WSVECS04 Frhs2[971]: 6 0 0.69208 shouldn't be 284.71/285.40 WSVECS04 Frhs2[973]: 6 0 0.00113067 shouldn't be 284.71/285.40 WSVECS04 Frhs2[983]: 6 0 1.00007 shouldn't be 284.71/285.40 WSVECS04 Frhs2[985]: 6 0 0.68551 shouldn't be 284.71/285.40 WSVECS04 Frhs2[991]: 6 0 0.88357 shouldn't be 284.71/285.40 WSVECS04 Frhs2[996]: 6 0 0.0175421 shouldn't be 284.71/285.40 WSVECS04 Frhs2[997]: 6 0 0.92423 shouldn't be 284.71/285.40 WSVECS04 Frhs2[998]: 6 0 0.361134 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1000]: 6 0 1.00006 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1001]: 6 0 1.00008 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1003]: 6 0 0.129123 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1011]: 6 -0.500051 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1013]: 6 0 1.00004 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1024]: 6 0 0.834985 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1033]: 6 0 1.00006 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1037]: 6 0 1.00005 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1041]: 6 -1.00003 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1067]: 6 0 0.675568 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1078]: 6 0 0.44311 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1079]: 6 0 0.121554 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1088]: 6 0 2.55549 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1089]: 6 0 1.00005 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1092]: 6 0 1.00008 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1096]: 6 0 1.00006 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1114]: 6 0 0.575672 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1126]: 6 -8.59381 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1128]: 6 0 0.898483 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1129]: 6 -9.47578 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1131]: 6 -4.15448 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1136]: 6 0 0.0257126 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1137]: 6 0 0.244209 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1138]: 6 0 0.540807 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1153]: 6 0 1.34876 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1158]: 6 0 2.24168 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1162]: 6 0 1.00005 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1164]: 6 0 1.0001 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1169]: 6 0 0.31594 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1170]: 6 0 0.624013 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1178]: 6 0 1.00009 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1186]: 6 0 1.00001 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1189]: 6 0 0.890419 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1193]: 6 0 0.679683 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1196]: 6 0 1.00003 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1198]: 6 0 0.219283 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1205]: 6 0 0.980796 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1208]: 6 0 0.674127 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1210]: 6 0 0.318894 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1212]: 6 0 0.455696 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1213]: 6 0 0.0022946 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1220]: 6 0 1.39659 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1228]: 6 0 0.961133 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1233]: 6 0 1.40869 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1237]: 6 0 1.00002 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1241]: 6 0 0.0659446 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1243]: 6 0 2.36105 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1248]: 6 0 1.00004 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1261]: 6 0 0.695751 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1264]: 6 0 0.0156944 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1267]: 6 -0.279145 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1279]: 6 0 0.104123 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1280]: 6 0 0.104119 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1289]: 6 0 0.535846 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1291]: 6 0 1.00006 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1293]: 6 0 1.00006 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1294]: 6 0 1.00005 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1295]: 6 0 1.87535 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1298]: 6 0 0.08336 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1302]: 6 0 0.489502 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1308]: 6 0 1.00007 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1310]: 6 0 1.00004 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1315]: 6 0 0.694808 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1319]: 6 0 1.00007 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1320]: 6 0 0.866471 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1326]: 6 0 1.9974 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1333]: 6 0 0.0927317 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1337]: 6 0 0.341513 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1340]: 6 -0.339407 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1349]: 6 0 1.00009 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1359]: 6 0 0.318027 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1364]: 6 0 0.549695 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1367]: 6 0 0.436883 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1381]: 6 0 0.431305 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1386]: 6 -0.73295 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1414]: 6 -1.51284 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1428]: 6 0 1.51365 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1429]: 6 0 1.07436 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1441]: 6 0 0.546562 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1442]: 6 -1.50008 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1449]: 6 -0.325994 0 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1452]: 6 0 1.42018 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1472]: 6 0 1.00003 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1477]: 6 0 0.0139653 shouldn't be 284.71/285.40 WSVECS04 Frhs2[1480]: 6 -0.997838 0 shouldn't be 289.30/290.03 WSVECS04 Frhs2[450]: 6 -0.0257218 0 shouldn't be 289.30/290.03 WSVECS04 Frhs2[806]: 6 -0.66021 0 shouldn't be 354.13/355.04 WSVECS04 Frhs2[935]: 6 -0.0248714 0 shouldn't be 360.12/361.03 WSVECS04 Frhs2[630]: 6 0 0.421992 shouldn't be 360.12/361.03 WSVECS04 Frhs2[918]: 6 -0.692013 0 shouldn't be 360.12/361.03 WSVECS04 Frhs2[962]: 6 0 0.637464 shouldn't be 360.12/361.03 WSVECS04 Frhs2[1076]: 6 -0.0179074 0 shouldn't be 360.12/361.03 WSVECS04 Frhs2[1090]: 6 0 1.34746 shouldn't be 360.12/361.03 WSVECS04 Frhs2[1134]: 6 0 1.00006 shouldn't be 360.12/361.03 WSVECS04 Frhs2[1160]: 6 0 1.00006 shouldn't be 366.11/367.00 WSVECS04 Frhs2[7]: 6 0 0.101399 shouldn't be 366.11/367.00 WSVECS04 Frhs2[18]: 6 0 1.00007 shouldn't be 366.11/367.00 WSVECS04 Frhs2[28]: 6 -0.499289 0 shouldn't be 366.11/367.00 WSVECS04 Frhs2[327]: 6 -1.48477 0 shouldn't be 366.11/367.00 WSVECS04 Frhs2[922]: 6 -2.66001 0 shouldn't be 366.11/367.00 WSVECS04 Frhs2[957]: 6 -1.00003 0 shouldn't be 366.11/367.00 WSVECS04 Frhs2[1101]: 6 0 1.00006 shouldn't be 366.11/367.00 WSVECS04 Frhs2[1116]: 6 0 1.90757 shouldn't be 366.11/367.00 WSVECS04 Frhs2[1260]: 6 0 0.709266 shouldn't be 366.11/367.00 WSVECS04 Frhs2[1275]: 6 0 1.00005 shouldn't be 366.11/367.00 WSVECS04 Frhs2[1330]: 6 0 1.00002 shouldn't be 371.98/372.99 WSVECS04 Frhs2[626]: 6 0 0.324469 shouldn't be 371.98/372.99 WSVECS04 Frhs2[967]: 6 0 0.134574 shouldn't be 371.98/372.99 WSVECS04 Frhs2[1398]: 6 -0.394055 0 shouldn't be 371.98/372.99 WSVECS04 Frhs2[1411]: 6 -0.679949 0 shouldn't be 377.97/379.00 WSVECS04 Frhs2[32]: 6 -0.449788 0 shouldn't be 377.97/379.00 WSVECS04 Frhs2[145]: 6 -3.45703 0 shouldn't be 377.97/379.00 WSVECS04 Frhs2[742]: 6 -0.0370803 0 shouldn't be 377.97/379.00 WSVECS04 Frhs2[916]: 6 0 6.44911 shouldn't be 384.07/385.03 WSVECS04 Frhs2[282]: 6 -0.154525 0 shouldn't be 384.07/385.03 WSVECS04 Frhs2[1227]: 6 -0.814391 0 shouldn't be 396.13/397.16 WSVECS04 Frhs2[109]: 6 0 1.41634 shouldn't be 396.13/397.16 WSVECS04 Frhs2[1130]: 6 0 1.55665 shouldn't be 459.18/460.30 c #Conflicts: 63000 | #Constraints: 119273 459.18/460.30 c #Conflicts: 64000 | #Constraints: 120273 459.18/460.30 c #Conflicts: 65000 | #Constraints: 121273 459.18/460.30 c #Conflicts: 66000 | #Constraints: 122273 459.18/460.30 c bounds -726 >= -856 @ 434.334 459.18/460.30 c #Conflicts: 67000 | #Constraints: 123299 459.18/460.30 c #Conflicts: 68000 | #Constraints: 124299 459.18/460.30 c #Conflicts: 69000 | #Constraints: 125299 459.18/460.30 c INPROCESSING 459.18/460.30 c GARBAGE COLLECT 459.18/460.30 c #Conflicts: 70000 | #Constraints: 119175 459.18/460.30 c #Conflicts: 71000 | #Constraints: 120175 459.18/460.30 c #Conflicts: 72000 | #Constraints: 121175 459.18/460.30 c #Conflicts: 73000 | #Constraints: 122175 459.18/460.30 c #Conflicts: 74000 | #Constraints: 123175 459.18/460.30 c #Conflicts: 75000 | #Constraints: 124175 459.18/460.30 c #Conflicts: 76000 | #Constraints: 125175 459.18/460.30 c #Conflicts: 77000 | #Constraints: 126175 459.18/460.30 c #Conflicts: 78000 | #Constraints: 127176 459.18/460.30 c #Conflicts: 79000 | #Constraints: 128176 459.18/460.30 c #Conflicts: 80000 | #Constraints: 129176 459.18/460.30 c #Conflicts: 81000 | #Constraints: 130176 459.18/460.30 WSVECS04 Frhs2[128]: 6 -0.172048 0 shouldn't be 459.18/460.30 WSVECS04 Frhs2[186]: 6 0 2.00006 shouldn't be 459.18/460.30 WSVECS04 Frhs2[471]: 6 0 1.00003 shouldn't be 459.18/460.30 WSVECS04 Frhs2[511]: 6 -1.6092 0 shouldn't be 459.18/460.30 WSVECS04 Frhs2[600]: 6 0 1.0001 shouldn't be 459.18/460.30 WSVECS04 Frhs2[720]: 6 0 1.44219 shouldn't be 459.18/460.30 WSVECS04 Frhs2[751]: 6 -2.00691 0 shouldn't be 459.18/460.30 WSVECS04 Frhs2[788]: 6 -1.7036 0 shouldn't be 459.18/460.30 WSVECS04 Frhs2[827]: 6 -1.82051 0 shouldn't be 459.18/460.30 WSVECS04 Frhs2[859]: 6 -0.41472 0 shouldn't be 459.18/460.30 WSVECS04 Frhs2[866]: 6 0 1.57001 shouldn't be 459.18/460.30 WSVECS04 Frhs2[933]: 6 0 0.200668 shouldn't be 459.18/460.30 WSVECS04 Frhs2[961]: 6 -0.76291 0 shouldn't be 459.18/460.30 WSVECS04 Frhs2[991]: 6 0 0.000570431 shouldn't be 459.18/460.30 WSVECS04 Frhs2[996]: 6 -0.370958 0 shouldn't be 459.18/460.30 WSVECS04 Frhs2[997]: 6 0 0.656924 shouldn't be 459.18/460.30 WSVECS04 Frhs2[1004]: 6 0 1.00004 shouldn't be 459.18/460.30 WSVECS04 Frhs2[1020]: 6 0 1.47194 shouldn't be 459.18/460.30 WSVECS04 Frhs2[1055]: 6 -1.00006 0 shouldn't be 459.18/460.30 WSVECS04 Frhs2[1083]: 6 -1.7401 0 shouldn't be 459.18/460.30 WSVECS04 Frhs2[1089]: 6 0 1.00009 shouldn't be 459.18/460.30 WSVECS04 Frhs2[1090]: 6 0 1.14501 shouldn't be 459.18/460.30 WSVECS04 Frhs2[1099]: 6 0 1.00001 shouldn't be 459.18/460.30 WSVECS04 Frhs2[1104]: 6 0 0.0180103 shouldn't be 459.18/460.30 WSVECS04 Frhs2[1187]: 6 -0.253226 0 shouldn't be 459.18/460.30 WSVECS04 Frhs2[1195]: 6 -0.56408 0 shouldn't be 459.18/460.30 WSVECS04 Frhs2[1200]: 6 -1.58142 0 shouldn't be 459.18/460.30 WSVECS04 Frhs2[1202]: 6 -0.359331 0 shouldn't be 459.18/460.30 WSVECS04 Frhs2[1208]: 6 -1.24135 0 shouldn't be 541.48/542.84 c #Conflicts: 82000 | #Constraints: 131177 541.48/542.84 c #Conflicts: 83000 | #Constraints: 132177 541.48/542.84 c #Conflicts: 84000 | #Constraints: 133177 541.48/542.84 c #Conflicts: 85000 | #Constraints: 134178 541.48/542.84 c #Conflicts: 86000 | #Constraints: 135180 541.48/542.84 c #Conflicts: 87000 | #Constraints: 136182 541.48/542.84 c #Conflicts: 88000 | #Constraints: 137185 541.48/542.84 c INPROCESSING 541.48/542.84 c GARBAGE COLLECT 541.48/542.84 c rational objective -806.667 652.30/653.91 c #Conflicts: 89000 | #Constraints: 123216 652.30/653.91 c bounds -726 >= -855 @ 600.395 652.30/653.91 c #Conflicts: 90000 | #Constraints: 124245 652.30/653.91 c #Conflicts: 91000 | #Constraints: 125245 652.30/653.91 c #Conflicts: 92000 | #Constraints: 126245 652.30/653.91 c #Conflicts: 93000 | #Constraints: 127245 652.30/653.91 c #Conflicts: 94000 | #Constraints: 128245 652.30/653.91 c bounds -726 >= -854 @ 602.607 652.30/653.91 c #Conflicts: 95000 | #Constraints: 129298 652.30/653.91 c #Conflicts: 96000 | #Constraints: 130298 652.30/653.91 c INPROCESSING 652.30/653.91 c GARBAGE COLLECT 652.30/653.91 c #Conflicts: 97000 | #Constraints: 121249 652.30/653.91 c #Conflicts: 98000 | #Constraints: 122249 652.30/653.91 c bounds -726 >= -853 @ 604.751 652.30/653.91 c #Conflicts: 99000 | #Constraints: 123293 652.30/653.91 c #Conflicts: 100000 | #Constraints: 124293 652.30/653.91 c #Conflicts: 101000 | #Constraints: 125293 652.30/653.91 c #Conflicts: 102000 | #Constraints: 126293 652.30/653.91 c #Conflicts: 103000 | #Constraints: 127293 652.30/653.91 c #Conflicts: 104000 | #Constraints: 128293 652.30/653.91 c bounds -726 >= -852 @ 607.539 652.30/653.91 c #Conflicts: 105000 | #Constraints: 129328 652.30/653.91 c #Conflicts: 106000 | #Constraints: 130328 652.30/653.91 c #Conflicts: 107000 | #Constraints: 131328 652.30/653.91 c #Conflicts: 108000 | #Constraints: 132328 652.30/653.91 c #Conflicts: 109000 | #Constraints: 133328 652.30/653.91 c #Conflicts: 110000 | #Constraints: 134328 652.30/653.91 c bounds -726 >= -851 @ 611.459 652.30/653.91 c #Conflicts: 111000 | #Constraints: 135384 652.30/653.91 c #Conflicts: 112000 | #Constraints: 136384 652.30/653.91 c #Conflicts: 113000 | #Constraints: 137384 652.30/653.91 c #Conflicts: 114000 | #Constraints: 138384 652.30/653.91 c #Conflicts: 115000 | #Constraints: 139384 652.30/653.91 c #Conflicts: 116000 | #Constraints: 140384 652.30/653.91 c #Conflicts: 117000 | #Constraints: 141384 652.30/653.91 c #Conflicts: 118000 | #Constraints: 142384 652.30/653.91 c INPROCESSING 652.30/653.91 c GARBAGE COLLECT 652.30/653.91 c rational objective -806.667 761.43/763.34 c #Conflicts: 119000 | #Constraints: 125848 761.43/763.34 c #Conflicts: 120000 | #Constraints: 126848 761.43/763.34 c #Conflicts: 121000 | #Constraints: 127848 761.43/763.34 c #Conflicts: 122000 | #Constraints: 128848 761.43/763.34 c #Conflicts: 123000 | #Constraints: 129848 761.43/763.34 c #Conflicts: 124000 | #Constraints: 130848 761.43/763.34 c #Conflicts: 125000 | #Constraints: 131848 761.43/763.34 c #Conflicts: 126000 | #Constraints: 132848 761.43/763.34 c bounds -726 >= -850 @ 717.728 761.43/763.34 c #Conflicts: 127000 | #Constraints: 133898 761.43/763.34 c #Conflicts: 128000 | #Constraints: 134898 761.43/763.34 c #Conflicts: 129000 | #Constraints: 135898 761.43/763.34 c #Conflicts: 130000 | #Constraints: 136898 761.43/763.34 c #Conflicts: 131000 | #Constraints: 137898 761.43/763.34 c #Conflicts: 132000 | #Constraints: 138898 761.43/763.34 c bounds -726 >= -849 @ 722.18 761.43/763.34 c #Conflicts: 133000 | #Constraints: 139942 761.43/763.34 c #Conflicts: 134000 | #Constraints: 140942 761.43/763.34 c #Conflicts: 135000 | #Constraints: 141942 761.43/763.34 c #Conflicts: 136000 | #Constraints: 142942 761.43/763.34 c #Conflicts: 137000 | #Constraints: 143942 761.43/763.34 c #Conflicts: 138000 | #Constraints: 144942 761.43/763.34 c #Conflicts: 139000 | #Constraints: 145942 761.43/763.34 c #Conflicts: 140000 | #Constraints: 146942 761.43/763.34 c #Conflicts: 141000 | #Constraints: 147942 761.43/763.34 c #Conflicts: 142000 | #Constraints: 148942 761.43/763.34 c INPROCESSING 761.43/763.34 c GARBAGE COLLECT 761.43/763.34 c rational objective -806.667 871.34/873.58 c #Conflicts: 143000 | #Constraints: 128979 871.34/873.58 c #Conflicts: 144000 | #Constraints: 129979 871.34/873.58 c #Conflicts: 145000 | #Constraints: 130979 871.34/873.58 c #Conflicts: 146000 | #Constraints: 131979 871.34/873.58 c bounds -726 >= -848 @ 760.916 871.34/873.58 c #Conflicts: 147000 | #Constraints: 133023 871.34/873.58 c #Conflicts: 148000 | #Constraints: 134023 871.34/873.58 c #Conflicts: 149000 | #Constraints: 135023 871.34/873.58 c #Conflicts: 150000 | #Constraints: 136023 871.34/873.58 c #Conflicts: 151000 | #Constraints: 137023 871.34/873.58 c #Conflicts: 152000 | #Constraints: 138023 871.34/873.58 c #Conflicts: 153000 | #Constraints: 139023 871.34/873.58 c #Conflicts: 154000 | #Constraints: 140023 871.34/873.58 c #Conflicts: 155000 | #Constraints: 141023 871.34/873.58 c #Conflicts: 156000 | #Constraints: 142023 871.34/873.58 c bounds -726 >= -847 @ 768.894 871.34/873.58 c #Conflicts: 157000 | #Constraints: 143061 871.34/873.58 c #Conflicts: 158000 | #Constraints: 144061 871.34/873.58 c #Conflicts: 159000 | #Constraints: 145061 871.34/873.58 c #Conflicts: 160000 | #Constraints: 146061 871.34/873.58 c #Conflicts: 161000 | #Constraints: 147061 871.34/873.58 c #Conflicts: 162000 | #Constraints: 148061 871.34/873.58 c #Conflicts: 163000 | #Constraints: 149062 871.34/873.58 c #Conflicts: 164000 | #Constraints: 150062 871.34/873.58 c #Conflicts: 165000 | #Constraints: 151062 871.34/873.58 c #Conflicts: 166000 | #Constraints: 152062 871.34/873.58 c #Conflicts: 167000 | #Constraints: 153062 871.34/873.58 c #Conflicts: 168000 | #Constraints: 154063 871.34/873.58 c INPROCESSING 871.34/873.58 c GARBAGE COLLECT 871.34/873.58 c rational objective -806.667 876.94/879.14 c #Conflicts: 169000 | #Constraints: 131291 876.94/879.14 c #Conflicts: 170000 | #Constraints: 132291 876.94/879.14 WSVECS04 Frhs2[1126]: 6 0 1.43638 shouldn't be 876.94/879.14 WSVECS04 Frhs2[1177]: 6 0 1.00007 shouldn't be 1219.45/1222.57 c #Conflicts: 171000 | #Constraints: 133291 1219.45/1222.57 c #Conflicts: 172000 | #Constraints: 134291 1219.45/1222.57 c #Conflicts: 173000 | #Constraints: 135291 1219.45/1222.57 c #Conflicts: 174000 | #Constraints: 136291 1219.45/1222.57 c #Conflicts: 175000 | #Constraints: 137291 1219.45/1222.57 c #Conflicts: 176000 | #Constraints: 138291 1219.45/1222.57 c #Conflicts: 177000 | #Constraints: 139291 1219.45/1222.57 c #Conflicts: 178000 | #Constraints: 140291 1219.45/1222.57 c #Conflicts: 179000 | #Constraints: 141291 1219.45/1222.57 c #Conflicts: 180000 | #Constraints: 142291 1219.45/1222.57 c #Conflicts: 181000 | #Constraints: 143291 1219.45/1222.57 c bounds -726 >= -846 @ 1067.55 1219.45/1222.57 c #Conflicts: 182000 | #Constraints: 144350 1219.45/1222.57 c #Conflicts: 183000 | #Constraints: 145350 1219.45/1222.57 c #Conflicts: 184000 | #Constraints: 146350 1219.45/1222.57 c #Conflicts: 185000 | #Constraints: 147350 1219.45/1222.57 c #Conflicts: 186000 | #Constraints: 148350 1219.45/1222.57 c #Conflicts: 187000 | #Constraints: 149350 1219.45/1222.57 c #Conflicts: 188000 | #Constraints: 150350 1219.45/1222.57 c #Conflicts: 189000 | #Constraints: 151350 1219.45/1222.57 c #Conflicts: 190000 | #Constraints: 152350 1219.45/1222.57 c #Conflicts: 191000 | #Constraints: 153350 1219.45/1222.57 c #Conflicts: 192000 | #Constraints: 154350 1219.45/1222.57 c #Conflicts: 193000 | #Constraints: 155350 1219.45/1222.57 c #Conflicts: 194000 | #Constraints: 156350 1219.45/1222.57 c #Conflicts: 195000 | #Constraints: 157350 1219.45/1222.57 c #Conflicts: 196000 | #Constraints: 158350 1219.45/1222.57 c INPROCESSING 1219.45/1222.57 c GARBAGE COLLECT 1219.45/1222.57 c rational objective -806.667 1261.54/1264.76 c #Conflicts: 197000 | #Constraints: 134150 1261.54/1264.76 c #Conflicts: 198000 | #Constraints: 135150 1261.54/1264.76 c #Conflicts: 199000 | #Constraints: 136150 1261.54/1264.76 c #Conflicts: 200000 | #Constraints: 137150 1261.54/1264.76 c #Conflicts: 201000 | #Constraints: 138150 1261.54/1264.76 c #Conflicts: 202000 | #Constraints: 139150 1261.54/1264.76 c #Conflicts: 203000 | #Constraints: 140150 1261.54/1264.76 c #Conflicts: 204000 | #Constraints: 141150 1261.54/1264.76 c #Conflicts: 205000 | #Constraints: 142150 1261.54/1264.76 c #Conflicts: 206000 | #Constraints: 143150 1261.54/1264.76 c #Conflicts: 207000 | #Constraints: 144150 1261.54/1264.76 c #Conflicts: 208000 | #Constraints: 145150 1261.54/1264.76 c #Conflicts: 209000 | #Constraints: 146150 1261.54/1264.76 c #Conflicts: 210000 | #Constraints: 147150 1261.54/1264.76 c #Conflicts: 211000 | #Constraints: 148150 1261.54/1264.76 c #Conflicts: 212000 | #Constraints: 149150 1261.54/1264.76 c #Conflicts: 213000 | #Constraints: 150150 1261.54/1264.76 c bounds -726 >= -845 @ 1229.99 1261.54/1264.76 c #Conflicts: 214000 | #Constraints: 151191 1261.54/1264.76 c #Conflicts: 215000 | #Constraints: 152191 1261.54/1264.76 c #Conflicts: 216000 | #Constraints: 153191 1261.54/1264.76 c #Conflicts: 217000 | #Constraints: 154191 1261.54/1264.76 c #Conflicts: 218000 | #Constraints: 155191 1261.54/1264.76 c #Conflicts: 219000 | #Constraints: 156191 1261.54/1264.76 c #Conflicts: 220000 | #Constraints: 157191 1261.54/1264.76 c #Conflicts: 221000 | #Constraints: 158191 1261.54/1264.76 c #Conflicts: 222000 | #Constraints: 159191 1261.54/1264.76 c #Conflicts: 223000 | #Constraints: 160191 1261.54/1264.76 c #Conflicts: 224000 | #Constraints: 161191 1261.54/1264.76 c #Conflicts: 225000 | #Constraints: 162191 1261.54/1264.76 c #Conflicts: 226000 | #Constraints: 163191 1261.54/1264.76 c INPROCESSING 1261.54/1264.76 c GARBAGE COLLECT 1261.54/1264.76 c rational objective -806.667 1272.82/1276.06 c #Conflicts: 227000 | #Constraints: 136645 1272.82/1276.06 c #Conflicts: 228000 | #Constraints: 137645 1272.82/1276.06 c #Conflicts: 229000 | #Constraints: 138645 1272.82/1276.06 c #Conflicts: 230000 | #Constraints: 139645 1272.82/1276.06 c #Conflicts: 231000 | #Constraints: 140645 1272.82/1276.06 c #Conflicts: 232000 | #Constraints: 141645 1272.82/1276.06 c #Conflicts: 233000 | #Constraints: 142645 1272.82/1276.06 c #Conflicts: 234000 | #Constraints: 143645 1272.82/1276.06 c #Conflicts: 235000 | #Constraints: 144645 1272.82/1276.06 c #Conflicts: 236000 | #Constraints: 145645 1272.82/1276.06 WSVECS04 Frhs2[1105]: 6 0 1.00005 shouldn't be 1272.82/1276.06 WSVECS04 Frhs2[1418]: 6 0 1.04793 shouldn't be 1388.23/1391.73 c #Conflicts: 237000 | #Constraints: 146645 1388.23/1391.73 c bounds -726 >= -844 @ 1325.7 1388.23/1391.73 c #Conflicts: 238000 | #Constraints: 147698 1388.23/1391.73 c #Conflicts: 239000 | #Constraints: 148698 1388.23/1391.73 c #Conflicts: 240000 | #Constraints: 149698 1388.23/1391.73 c #Conflicts: 241000 | #Constraints: 150698 1388.23/1391.73 c #Conflicts: 242000 | #Constraints: 151698 1388.23/1391.73 c #Conflicts: 243000 | #Constraints: 152698 1388.23/1391.73 c #Conflicts: 244000 | #Constraints: 153698 1388.23/1391.73 c #Conflicts: 245000 | #Constraints: 154698 1388.23/1391.73 c #Conflicts: 246000 | #Constraints: 155698 1388.23/1391.73 c #Conflicts: 247000 | #Constraints: 156698 1388.23/1391.73 c #Conflicts: 248000 | #Constraints: 157698 1388.23/1391.73 c #Conflicts: 249000 | #Constraints: 158698 1388.23/1391.73 c #Conflicts: 250000 | #Constraints: 159698 1388.23/1391.73 c #Conflicts: 251000 | #Constraints: 160698 1388.23/1391.73 c #Conflicts: 252000 | #Constraints: 161698 1388.23/1391.73 c #Conflicts: 253000 | #Constraints: 162698 1388.23/1391.73 c #Conflicts: 254000 | #Constraints: 163698 1388.23/1391.73 c #Conflicts: 255000 | #Constraints: 164698 1388.23/1391.73 c #Conflicts: 256000 | #Constraints: 165698 1388.23/1391.73 c #Conflicts: 257000 | #Constraints: 166698 1388.23/1391.73 c #Conflicts: 258000 | #Constraints: 167698 1388.23/1391.73 c INPROCESSING 1388.23/1391.73 c GARBAGE COLLECT 1388.23/1391.73 c rational objective -806.667 1512.84/1516.65 c #Conflicts: 259000 | #Constraints: 138141 1512.84/1516.65 c #Conflicts: 260000 | #Constraints: 139141 1512.84/1516.65 c #Conflicts: 261000 | #Constraints: 140141 1512.84/1516.65 c #Conflicts: 262000 | #Constraints: 141141 1512.84/1516.65 c #Conflicts: 263000 | #Constraints: 142141 1512.84/1516.65 c #Conflicts: 264000 | #Constraints: 143141 1512.84/1516.65 c #Conflicts: 265000 | #Constraints: 144141 1512.84/1516.65 c #Conflicts: 266000 | #Constraints: 145141 1512.84/1516.65 c #Conflicts: 267000 | #Constraints: 146141 1512.84/1516.65 c #Conflicts: 268000 | #Constraints: 147141 1512.84/1516.65 c #Conflicts: 269000 | #Constraints: 148141 1512.84/1516.65 c bounds -726 >= -843 @ 1446.91 1512.84/1516.65 c #Conflicts: 270000 | #Constraints: 149197 1512.84/1516.65 c #Conflicts: 271000 | #Constraints: 150197 1512.84/1516.65 c #Conflicts: 272000 | #Constraints: 151197 1512.84/1516.65 c #Conflicts: 273000 | #Constraints: 152197 1512.84/1516.65 c #Conflicts: 274000 | #Constraints: 153197 1512.84/1516.65 c #Conflicts: 275000 | #Constraints: 154197 1512.84/1516.65 c #Conflicts: 276000 | #Constraints: 155197 1512.84/1516.65 c #Conflicts: 277000 | #Constraints: 156197 1512.84/1516.65 c #Conflicts: 278000 | #Constraints: 157197 1512.84/1516.65 c #Conflicts: 279000 | #Constraints: 158197 1512.84/1516.65 c #Conflicts: 280000 | #Constraints: 159197 1512.84/1516.65 c #Conflicts: 281000 | #Constraints: 160197 1512.84/1516.65 c #Conflicts: 282000 | #Constraints: 161197 1512.84/1516.65 c bounds -726 >= -842 @ 1460.4 1512.84/1516.65 c #Conflicts: 283000 | #Constraints: 162229 1512.84/1516.65 c #Conflicts: 284000 | #Constraints: 163229 1512.84/1516.65 c #Conflicts: 285000 | #Constraints: 164229 1512.84/1516.65 c #Conflicts: 286000 | #Constraints: 165229 1512.84/1516.65 c #Conflicts: 287000 | #Constraints: 166229 1512.84/1516.65 c #Conflicts: 288000 | #Constraints: 167229 1512.84/1516.65 c #Conflicts: 289000 | #Constraints: 168229 1512.84/1516.65 c #Conflicts: 290000 | #Constraints: 169229 1512.84/1516.65 c #Conflicts: 291000 | #Constraints: 170229 1512.84/1516.65 c INPROCESSING 1512.84/1516.65 c GARBAGE COLLECT 1512.84/1516.65 c rational objective -806.667 1658.07/1662.26 c #Conflicts: 292000 | #Constraints: 141613 1658.07/1662.26 c #Conflicts: 293000 | #Constraints: 142613 1658.07/1662.26 c #Conflicts: 294000 | #Constraints: 143613 1658.07/1662.26 c #Conflicts: 295000 | #Constraints: 144613 1658.07/1662.26 c #Conflicts: 296000 | #Constraints: 145613 1658.07/1662.26 c #Conflicts: 297000 | #Constraints: 146613 1658.07/1662.26 c #Conflicts: 298000 | #Constraints: 147613 1658.07/1662.26 c #Conflicts: 299000 | #Constraints: 148613 1658.07/1662.26 c #Conflicts: 300000 | #Constraints: 149613 1658.07/1662.26 c #Conflicts: 301000 | #Constraints: 150613 1658.07/1662.26 c #Conflicts: 302000 | #Constraints: 151613 1658.07/1662.26 c #Conflicts: 303000 | #Constraints: 152613 1658.07/1662.26 c #Conflicts: 304000 | #Constraints: 153613 1658.07/1662.26 c #Conflicts: 305000 | #Constraints: 154613 1658.07/1662.26 c bounds -726 >= -841 @ 1582.74 1658.07/1662.26 c #Conflicts: 306000 | #Constraints: 155678 1658.07/1662.26 c #Conflicts: 307000 | #Constraints: 156678 1658.07/1662.26 c #Conflicts: 308000 | #Constraints: 157678 1658.07/1662.26 c #Conflicts: 309000 | #Constraints: 158678 1658.07/1662.26 c #Conflicts: 310000 | #Constraints: 159678 1658.07/1662.26 c #Conflicts: 311000 | #Constraints: 160678 1658.07/1662.26 c #Conflicts: 312000 | #Constraints: 161678 1658.07/1662.26 c #Conflicts: 313000 | #Constraints: 162678 1658.07/1662.26 c #Conflicts: 314000 | #Constraints: 163678 1658.07/1662.26 c #Conflicts: 315000 | #Constraints: 164678 1658.07/1662.26 c #Conflicts: 316000 | #Constraints: 165678 1658.07/1662.26 c #Conflicts: 317000 | #Constraints: 166678 1658.07/1662.26 c #Conflicts: 318000 | #Constraints: 167678 1658.07/1662.26 c #Conflicts: 319000 | #Constraints: 168678 1658.07/1662.26 c #Conflicts: 320000 | #Constraints: 169678 1658.07/1662.26 c #Conflicts: 321000 | #Constraints: 170678 1658.07/1662.26 c #Conflicts: 322000 | #Constraints: 171678 1658.07/1662.26 c #Conflicts: 323000 | #Constraints: 172678 1658.07/1662.26 c #Conflicts: 324000 | #Constraints: 173678 1658.07/1662.26 c #Conflicts: 325000 | #Constraints: 174678 1658.07/1662.26 c #Conflicts: 326000 | #Constraints: 175678 1658.07/1662.26 c #Conflicts: 327000 | #Constraints: 176678 1658.07/1662.26 c INPROCESSING 1658.07/1662.26 c GARBAGE COLLECT 1658.07/1662.26 c rational objective -806.667 1743.46/1747.80 c #Conflicts: 328000 | #Constraints: 143832 1743.46/1747.80 c #Conflicts: 329000 | #Constraints: 144832 1743.46/1747.80 c #Conflicts: 330000 | #Constraints: 145832 1743.46/1747.80 c #Conflicts: 331000 | #Constraints: 146832 1743.46/1747.80 c #Conflicts: 332000 | #Constraints: 147832 1743.46/1747.80 c #Conflicts: 333000 | #Constraints: 148833 1743.46/1747.80 c #Conflicts: 334000 | #Constraints: 149833 1743.46/1747.80 c #Conflicts: 335000 | #Constraints: 150833 1743.46/1747.80 c #Conflicts: 336000 | #Constraints: 151833 1743.46/1747.80 c #Conflicts: 337000 | #Constraints: 152833 1743.46/1747.80 c #Conflicts: 338000 | #Constraints: 153833 1743.46/1747.80 c #Conflicts: 339000 | #Constraints: 154833 1743.46/1747.80 c #Conflicts: 340000 | #Constraints: 155833 1743.46/1747.80 c #Conflicts: 341000 | #Constraints: 156833 1743.46/1747.80 c #Conflicts: 342000 | #Constraints: 157833 1743.46/1747.80 c #Conflicts: 343000 | #Constraints: 158833 1743.46/1747.80 c #Conflicts: 344000 | #Constraints: 159833 1743.46/1747.80 c #Conflicts: 345000 | #Constraints: 160833 1743.46/1747.80 c #Conflicts: 346000 | #Constraints: 161833 1743.46/1747.80 c #Conflicts: 347000 | #Constraints: 162833 1743.46/1747.80 c bounds -726 >= -840 @ 1719.55 1743.46/1747.80 c #Conflicts: 348000 | #Constraints: 163868 1743.46/1747.80 c #Conflicts: 349000 | #Constraints: 164868 1743.46/1747.80 c #Conflicts: 350000 | #Constraints: 165868 1743.46/1747.80 c #Conflicts: 351000 | #Constraints: 166868 1743.46/1747.80 c #Conflicts: 352000 | #Constraints: 167868 1743.46/1747.80 c #Conflicts: 353000 | #Constraints: 168868 1743.46/1747.80 c #Conflicts: 354000 | #Constraints: 169868 1743.46/1747.80 c #Conflicts: 355000 | #Constraints: 170868 1743.46/1747.80 WSVECS04 Frhs2[274]: 6 -2.08008 0 shouldn't be 1743.46/1747.80 WSVECS04 Frhs2[504]: 6 0 2.40794 shouldn't be 1743.46/1747.80 WSVECS04 Frhs2[856]: 6 -3.00006 0 shouldn't be 1743.46/1747.80 WSVECS04 Frhs2[858]: 6 0 2.05133 shouldn't be 1743.46/1747.80 WSVECS04 Frhs2[861]: 6 -1.05762 0 shouldn't be 1743.46/1747.80 WSVECS04 Frhs2[862]: 6 -1.31619 0 shouldn't be 1743.46/1747.80 WSVECS04 Frhs2[864]: 6 -2.00006 0 shouldn't be 1743.46/1747.80 WSVECS04 Frhs2[878]: 6 0 3.00003 shouldn't be 1743.46/1747.80 WSVECS04 Frhs2[879]: 6 0 4.00001 shouldn't be 1743.46/1747.80 WSVECS04 Frhs2[880]: 6 0 2.00008 shouldn't be 1743.46/1747.80 WSVECS04 Frhs2[881]: 6 0 1.41111 shouldn't be 1743.46/1747.80 WSVECS04 Frhs2[885]: 6 0 2.16157 shouldn't be 1743.46/1747.80 WSVECS04 Frhs2[887]: 6 -4.59542 0 shouldn't be 1743.46/1747.80 WSVECS04 Frhs2[888]: 6 -3.49429 0 shouldn't be 1746.66/1751.09 WSVECS04 Frhs2[859]: 6 0 2.01481 shouldn't be 1827.75/1832.37 c #Conflicts: 356000 | #Constraints: 171869 1827.75/1832.37 c #Conflicts: 357000 | #Constraints: 172869 1827.75/1832.37 c #Conflicts: 358000 | #Constraints: 173869 1827.75/1832.37 c #Conflicts: 359000 | #Constraints: 174869 1827.75/1832.37 c #Conflicts: 360000 | #Constraints: 175869 1827.75/1832.37 c #Conflicts: 361000 | #Constraints: 176869 1827.75/1832.37 c #Conflicts: 362000 | #Constraints: 177870 1827.75/1832.37 c #Conflicts: 363000 | #Constraints: 178872 1827.75/1832.37 c #Conflicts: 364000 | #Constraints: 179875 1827.75/1832.37 c #Conflicts: 365000 | #Constraints: 180876 1827.75/1832.37 c INPROCESSING 1827.75/1832.37 c GARBAGE COLLECT 1827.75/1832.37 c rational objective -806.667 1868.36/1873.01 c #Conflicts: 366000 | #Constraints: 146814 1868.36/1873.01 c #Conflicts: 367000 | #Constraints: 147814 1868.36/1873.01 c #Conflicts: 368000 | #Constraints: 148814 1868.36/1873.01 c #Conflicts: 369000 | #Constraints: 149814 1868.36/1873.01 c #Conflicts: 370000 | #Constraints: 150814 1868.36/1873.01 c #Conflicts: 371000 | #Constraints: 151814 1868.36/1873.01 c #Conflicts: 372000 | #Constraints: 152814 1868.36/1873.01 c #Conflicts: 373000 | #Constraints: 153814 1868.36/1873.01 c #Conflicts: 374000 | #Constraints: 154814 1868.36/1873.01 c #Conflicts: 375000 | #Constraints: 155814 1868.36/1873.01 c #Conflicts: 376000 | #Constraints: 156814 1868.36/1873.01 c #Conflicts: 377000 | #Constraints: 157814 1868.36/1873.01 c #Conflicts: 378000 | #Constraints: 158814 1868.36/1873.01 c #Conflicts: 379000 | #Constraints: 159814 1868.36/1873.01 c #Conflicts: 380000 | #Constraints: 160814 1868.36/1873.01 c #Conflicts: 381000 | #Constraints: 161814 1868.36/1873.01 WSVECS04 Frhs2[1210]: 6 -20.8176 0 shouldn't be 1868.36/1873.01 WSVECS04 Frhs2[1231]: 6 0 7.74132 shouldn't be 1868.36/1873.01 WSVECS04 Frhs2[1253]: 6 -21.1826 0 shouldn't be 2051.24/2056.36 c #Conflicts: 382000 | #Constraints: 162814 2051.24/2056.36 c #Conflicts: 383000 | #Constraints: 163814 2051.24/2056.36 c #Conflicts: 384000 | #Constraints: 164814 2051.24/2056.36 c #Conflicts: 385000 | #Constraints: 165814 2051.24/2056.36 c bounds -726 >= -839 @ 1983.18 2051.24/2056.36 c #Conflicts: 386000 | #Constraints: 166843 2051.24/2056.36 c #Conflicts: 387000 | #Constraints: 167843 2051.24/2056.36 c #Conflicts: 388000 | #Constraints: 168843 2051.24/2056.36 c #Conflicts: 389000 | #Constraints: 169843 2051.24/2056.36 c #Conflicts: 390000 | #Constraints: 170843 2051.24/2056.36 c #Conflicts: 391000 | #Constraints: 171843 2051.24/2056.36 c #Conflicts: 392000 | #Constraints: 172843 2051.24/2056.36 c #Conflicts: 393000 | #Constraints: 173843 2051.24/2056.36 c #Conflicts: 394000 | #Constraints: 174843 2051.24/2056.36 c #Conflicts: 395000 | #Constraints: 175843 2051.24/2056.36 c #Conflicts: 396000 | #Constraints: 176843 2051.24/2056.36 c #Conflicts: 397000 | #Constraints: 177843 2051.24/2056.36 c #Conflicts: 398000 | #Constraints: 178843 2051.24/2056.36 c #Conflicts: 399000 | #Constraints: 179843 2051.24/2056.36 c #Conflicts: 400000 | #Constraints: 180843 2051.24/2056.36 c #Conflicts: 401000 | #Constraints: 181843 2051.24/2056.36 c #Conflicts: 402000 | #Constraints: 182843 2051.24/2056.36 c #Conflicts: 403000 | #Constraints: 183843 2051.24/2056.36 c #Conflicts: 404000 | #Constraints: 184843 2051.24/2056.36 c #Conflicts: 405000 | #Constraints: 185843 2051.24/2056.36 c INPROCESSING 2051.24/2056.36 c GARBAGE COLLECT 2051.24/2056.36 c rational objective -806.667 2116.79/2122.02 c #Conflicts: 406000 | #Constraints: 150248 2116.79/2122.02 c #Conflicts: 407000 | #Constraints: 151248 2116.79/2122.02 c #Conflicts: 408000 | #Constraints: 152248 2116.79/2122.02 c #Conflicts: 409000 | #Constraints: 153248 2116.79/2122.02 c #Conflicts: 410000 | #Constraints: 154248 2116.79/2122.02 c #Conflicts: 411000 | #Constraints: 155248 2116.79/2122.02 c #Conflicts: 412000 | #Constraints: 156248 2116.79/2122.02 c #Conflicts: 413000 | #Constraints: 157248 2116.79/2122.02 c #Conflicts: 414000 | #Constraints: 158248 2116.79/2122.02 c #Conflicts: 415000 | #Constraints: 159248 2116.79/2122.02 c #Conflicts: 416000 | #Constraints: 160248 2116.79/2122.02 c #Conflicts: 417000 | #Constraints: 161248 2116.79/2122.02 c #Conflicts: 418000 | #Constraints: 162248 2116.79/2122.02 c #Conflicts: 419000 | #Constraints: 163248 2116.79/2122.02 c bounds -726 >= -838 @ 2061.69 2116.79/2122.02 c #Conflicts: 420000 | #Constraints: 164301 2116.79/2122.02 c #Conflicts: 421000 | #Constraints: 165301 2116.79/2122.02 c #Conflicts: 422000 | #Constraints: 166301 2116.79/2122.02 c #Conflicts: 423000 | #Constraints: 167301 2116.79/2122.02 c #Conflicts: 424000 | #Constraints: 168301 2116.79/2122.02 c #Conflicts: 425000 | #Constraints: 169301 2116.79/2122.02 c #Conflicts: 426000 | #Constraints: 170301 2116.79/2122.02 c #Conflicts: 427000 | #Constraints: 171301 2116.79/2122.02 c #Conflicts: 428000 | #Constraints: 172301 2116.79/2122.02 c #Conflicts: 429000 | #Constraints: 173301 2116.79/2122.02 c #Conflicts: 430000 | #Constraints: 174301 2116.79/2122.02 c #Conflicts: 431000 | #Constraints: 175301 2116.79/2122.02 c #Conflicts: 432000 | #Constraints: 176301 2116.79/2122.02 c #Conflicts: 433000 | #Constraints: 177301 2116.79/2122.02 c #Conflicts: 434000 | #Constraints: 178301 2116.79/2122.02 c #Conflicts: 435000 | #Constraints: 179302 2116.79/2122.02 c #Conflicts: 436000 | #Constraints: 180302 2116.79/2122.02 c #Conflicts: 437000 | #Constraints: 181302 2116.79/2122.02 c #Conflicts: 438000 | #Constraints: 182302 2116.79/2122.02 WSVECS04 Frhs2[46]: 6 0 1.00007 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[47]: 6 -0.746418 0 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[151]: 6 0 1.00009 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[202]: 6 0 0.464458 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[301]: 6 0 0.00665986 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[487]: 6 0 3.11246 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[617]: 6 -0.494047 0 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[657]: 6 0 0.441896 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[701]: 6 -1.00006 0 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[774]: 6 0 2.07758 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[775]: 6 -1.00002 0 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[811]: 6 0 1.00001 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[882]: 6 0 1.00007 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[883]: 6 -0.771968 0 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[916]: 6 0 1.00001 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[1103]: 6 0 0.518766 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[1181]: 6 0 1.00003 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[1228]: 6 0 1.04503 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[1247]: 6 0 0.571538 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[1250]: 6 0 0.321165 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[1287]: 6 0 1.00009 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[1361]: 6 0 0.68534 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[1376]: 6 0 1.00003 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[1390]: 6 0 0.0405455 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[1415]: 6 0 1.00007 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[1442]: 6 -0.73198 0 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[1450]: 6 -0.318642 0 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[1457]: 6 -0.294653 0 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[1460]: 6 0 0.593565 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[1461]: 6 -0.910304 0 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[1462]: 6 -1.59332 0 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[1464]: 6 0 0.922081 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[1471]: 6 -0.986584 0 shouldn't be 2116.79/2122.02 WSVECS04 Frhs2[1479]: 6 0 1.00005 shouldn't be 2699.48/2706.22 c #Conflicts: 439000 | #Constraints: 183303 2699.48/2706.22 c #Conflicts: 440000 | #Constraints: 184303 2699.48/2706.22 c #Conflicts: 441000 | #Constraints: 185304 2699.48/2706.22 c #Conflicts: 442000 | #Constraints: 186305 2699.48/2706.22 c #Conflicts: 443000 | #Constraints: 187306 2699.48/2706.22 c #Conflicts: 444000 | #Constraints: 188307 2699.48/2706.22 c #Conflicts: 445000 | #Constraints: 189310 2699.48/2706.22 c #Conflicts: 446000 | #Constraints: 190315 2699.48/2706.22 c #Conflicts: 447000 | #Constraints: 191318 2699.48/2706.22 c INPROCESSING 2699.48/2706.22 c GARBAGE COLLECT 2699.48/2706.22 c #Conflicts: 448000 | #Constraints: 152534 2699.48/2706.22 c #Conflicts: 449000 | #Constraints: 153534 2699.48/2706.22 c #Conflicts: 450000 | #Constraints: 154534 2699.48/2706.22 c #Conflicts: 451000 | #Constraints: 155534 2699.48/2706.22 c #Conflicts: 452000 | #Constraints: 156534 2699.48/2706.22 c #Conflicts: 453000 | #Constraints: 157534 2699.48/2706.22 c #Conflicts: 454000 | #Constraints: 158534 2699.48/2706.22 c #Conflicts: 455000 | #Constraints: 159534 2699.48/2706.22 c #Conflicts: 456000 | #Constraints: 160534 2699.48/2706.22 c #Conflicts: 457000 | #Constraints: 161534 2699.48/2706.22 c #Conflicts: 458000 | #Constraints: 162534 2699.48/2706.22 c #Conflicts: 459000 | #Constraints: 163534 2699.48/2706.22 c #Conflicts: 460000 | #Constraints: 164534 2699.48/2706.22 c #Conflicts: 461000 | #Constraints: 165534 2699.48/2706.22 c #Conflicts: 462000 | #Constraints: 166534 2699.48/2706.22 c #Conflicts: 463000 | #Constraints: 167534 2699.48/2706.22 c #Conflicts: 464000 | #Constraints: 168534 2699.48/2706.22 c #Conflicts: 465000 | #Constraints: 169534 2699.48/2706.22 c #Conflicts: 466000 | #Constraints: 170534 2699.48/2706.22 c #Conflicts: 467000 | #Constraints: 171534 2699.48/2706.22 c #Conflicts: 468000 | #Constraints: 172534 2699.48/2706.22 c #Conflicts: 469000 | #Constraints: 173534 2699.48/2706.22 c #Conflicts: 470000 | #Constraints: 174534 2699.48/2706.22 c #Conflicts: 471000 | #Constraints: 175534 2699.48/2706.22 c #Conflicts: 472000 | #Constraints: 176534 2699.48/2706.22 c #Conflicts: 473000 | #Constraints: 177534 2699.48/2706.22 c #Conflicts: 474000 | #Constraints: 178534 2699.48/2706.22 c #Conflicts: 475000 | #Constraints: 179534 2699.48/2706.22 c #Conflicts: 476000 | #Constraints: 180534 2699.48/2706.22 c #Conflicts: 477000 | #Constraints: 181534 2699.48/2706.22 c #Conflicts: 478000 | #Constraints: 182534 2699.48/2706.22 c #Conflicts: 479000 | #Constraints: 183534 2699.48/2706.22 c #Conflicts: 480000 | #Constraints: 184534 2699.48/2706.22 c #Conflicts: 481000 | #Constraints: 185534 2699.48/2706.22 c bounds -726 >= -837 @ 2673.86 2699.48/2706.22 c #Conflicts: 482000 | #Constraints: 186585 2699.48/2706.22 c #Conflicts: 483000 | #Constraints: 187585 2699.48/2706.22 c #Conflicts: 484000 | #Constraints: 188585 2699.48/2706.22 c #Conflicts: 485000 | #Constraints: 189585 2699.48/2706.22 WSVECS04 Frhs2[63]: 6 0 0.478768 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[146]: 6 0 2.15785 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[213]: 6 0 0.0850213 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[247]: 6 0 1.00004 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[301]: 6 -0.644705 0 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[365]: 6 0 0.511757 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[373]: 6 -2.31319 0 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[378]: 6 -1.00009 0 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[383]: 6 -0.73977 0 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[387]: 6 0 1.00004 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[397]: 6 0 1.00002 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[400]: 6 -1.33905 0 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[401]: 6 -2.02363 0 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[402]: 6 -1.00005 0 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[503]: 6 0 1.00003 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[510]: 6 -2.40663 0 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[516]: 6 -0.152094 0 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[524]: 6 0 0.473375 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[532]: 6 0 1.00004 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[569]: 6 -1.67893 0 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[611]: 6 0 0.468077 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[616]: 6 -1.00005 0 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[811]: 6 0 0.665769 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[882]: 6 -0.927794 0 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[1372]: 6 -0.374059 0 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[1403]: 6 -0.0604995 0 shouldn't be 2699.48/2706.22 WSVECS04 Frhs2[1455]: 6 0 1.00006 shouldn't be 2765.80/2772.74 c #Conflicts: 486000 | #Constraints: 190586 2765.80/2772.74 c #Conflicts: 487000 | #Constraints: 191586 2765.80/2772.74 c #Conflicts: 488000 | #Constraints: 192586 2765.80/2772.74 c #Conflicts: 489000 | #Constraints: 193587 2765.80/2772.74 c #Conflicts: 490000 | #Constraints: 194589 2765.80/2772.74 c #Conflicts: 491000 | #Constraints: 195591 2765.80/2772.74 c INPROCESSING 2765.80/2772.74 c GARBAGE COLLECT 2765.80/2772.74 c rational objective -806.667 2779.25/2786.29 c #Conflicts: 492000 | #Constraints: 156479 2779.25/2786.29 c #Conflicts: 493000 | #Constraints: 157479 2779.25/2786.29 c #Conflicts: 494000 | #Constraints: 158479 2779.25/2786.29 c #Conflicts: 495000 | #Constraints: 159479 2779.25/2786.29 WSVECS04 Frhs2[249]: 6 0 1.32057 shouldn't be 2779.25/2786.29 WSVECS04 Frhs2[301]: 6 0 1.0001 shouldn't be 2779.25/2786.29 WSVECS04 Frhs2[396]: 6 0 1.00007 shouldn't be 2779.25/2786.29 WSVECS04 Frhs2[442]: 6 0 1.4004 shouldn't be 2779.25/2786.29 WSVECS04 Frhs2[487]: 6 0 1.00006 shouldn't be 2779.25/2786.29 WSVECS04 Frhs2[528]: 6 0 1.00005 shouldn't be 2779.25/2786.29 WSVECS04 Frhs2[574]: 6 0 1.00009 shouldn't be 2779.25/2786.29 WSVECS04 Frhs2[654]: 6 0 0.0237181 shouldn't be 2779.25/2786.29 WSVECS04 Frhs2[733]: 6 0 2.07913 shouldn't be 2779.25/2786.29 WSVECS04 Frhs2[844]: 6 0 1.00006 shouldn't be 2779.25/2786.29 WSVECS04 Frhs2[882]: 6 0 1.00005 shouldn't be 2779.25/2786.29 WSVECS04 Frhs2[916]: 6 0 1.8628 shouldn't be 2779.25/2786.29 WSVECS04 Frhs2[946]: 6 0 0.885876 shouldn't be 2779.25/2786.29 WSVECS04 Frhs2[1068]: 6 -0.803914 0 shouldn't be 2779.25/2786.29 WSVECS04 Frhs2[1303]: 6 -1.00007 0 shouldn't be 2779.25/2786.29 WSVECS04 Frhs2[1408]: 6 -0.816924 0 shouldn't be 2779.25/2786.29 WSVECS04 Frhs2[1411]: 6 -0.123739 0 shouldn't be 2779.25/2786.29 WSVECS04 Frhs2[1424]: 6 -1.00007 0 shouldn't be 2779.25/2786.29 WSVECS04 Frhs2[1441]: 6 -0.400465 0 shouldn't be 2997.14/3004.61 c #Conflicts: 496000 | #Constraints: 160480 2997.14/3004.61 c #Conflicts: 497000 | #Constraints: 161480 2997.14/3004.61 c #Conflicts: 498000 | #Constraints: 162481 2997.14/3004.61 c #Conflicts: 499000 | #Constraints: 163482 2997.14/3004.61 c #Conflicts: 500000 | #Constraints: 164482 2997.14/3004.61 c #Conflicts: 501000 | #Constraints: 165484 2997.14/3004.61 c #Conflicts: 502000 | #Constraints: 166485 2997.14/3004.61 c #Conflicts: 503000 | #Constraints: 167486 2997.14/3004.61 c #Conflicts: 504000 | #Constraints: 168488 2997.14/3004.61 c #Conflicts: 505000 | #Constraints: 169490 2997.14/3004.61 c #Conflicts: 506000 | #Constraints: 170491 2997.14/3004.61 c #Conflicts: 507000 | #Constraints: 171493 2997.14/3004.61 c #Conflicts: 508000 | #Constraints: 172496 2997.14/3004.61 c #Conflicts: 509000 | #Constraints: 173499 2997.14/3004.61 c #Conflicts: 510000 | #Constraints: 174502 2997.14/3004.61 c #Conflicts: 511000 | #Constraints: 175506 2997.14/3004.61 c #Conflicts: 512000 | #Constraints: 176508 2997.14/3004.61 c #Conflicts: 513000 | #Constraints: 177511 2997.14/3004.61 c #Conflicts: 514000 | #Constraints: 178513 2997.14/3004.61 c #Conflicts: 515000 | #Constraints: 179515 2997.14/3004.61 c #Conflicts: 516000 | #Constraints: 180521 2997.14/3004.61 c #Conflicts: 517000 | #Constraints: 181526 2997.14/3004.61 c #Conflicts: 518000 | #Constraints: 182528 2997.14/3004.61 c #Conflicts: 519000 | #Constraints: 183532 2997.14/3004.61 c #Conflicts: 520000 | #Constraints: 184541 2997.14/3004.61 c #Conflicts: 521000 | #Constraints: 185543 2997.14/3004.61 c #Conflicts: 522000 | #Constraints: 186544 2997.14/3004.61 c #Conflicts: 523000 | #Constraints: 187546 2997.14/3004.61 c #Conflicts: 524000 | #Constraints: 188550 2997.14/3004.61 c #Conflicts: 525000 | #Constraints: 189551 2997.14/3004.61 c #Conflicts: 526000 | #Constraints: 190554 2997.14/3004.61 c #Conflicts: 527000 | #Constraints: 191556 2997.14/3004.61 c #Conflicts: 528000 | #Constraints: 192558 2997.14/3004.61 c #Conflicts: 529000 | #Constraints: 193561 2997.14/3004.61 c #Conflicts: 530000 | #Constraints: 194565 2997.14/3004.61 c #Conflicts: 531000 | #Constraints: 195568 2997.14/3004.61 c #Conflicts: 532000 | #Constraints: 196572 2997.14/3004.61 c #Conflicts: 533000 | #Constraints: 197576 2997.14/3004.61 c #Conflicts: 534000 | #Constraints: 198578 2997.14/3004.61 c #Conflicts: 535000 | #Constraints: 199579 2997.14/3004.61 c #Conflicts: 536000 | #Constraints: 200580 2997.14/3004.61 c #Conflicts: 537000 | #Constraints: 201582 2997.14/3004.61 c INPROCESSING 2997.14/3004.61 c GARBAGE COLLECT 2997.14/3004.61 c rational objective -806.667 3145.02/3152.83 c #Conflicts: 538000 | #Constraints: 156569 3145.02/3152.83 c #Conflicts: 539000 | #Constraints: 157569 3145.02/3152.83 c #Conflicts: 540000 | #Constraints: 158569 3145.02/3152.83 c #Conflicts: 541000 | #Constraints: 159569 3145.02/3152.83 c #Conflicts: 542000 | #Constraints: 160569 3145.02/3152.83 c #Conflicts: 543000 | #Constraints: 161569 3145.02/3152.83 c #Conflicts: 544000 | #Constraints: 162569 3145.02/3152.83 c #Conflicts: 545000 | #Constraints: 163569 3145.02/3152.83 c #Conflicts: 546000 | #Constraints: 164569 3145.02/3152.83 c #Conflicts: 547000 | #Constraints: 165569 3145.02/3152.83 c #Conflicts: 548000 | #Constraints: 166569 3145.02/3152.83 c #Conflicts: 549000 | #Constraints: 167569 3145.02/3152.83 c #Conflicts: 550000 | #Constraints: 168569 3145.02/3152.83 c #Conflicts: 551000 | #Constraints: 169569 3145.02/3152.83 c #Conflicts: 552000 | #Constraints: 170569 3145.02/3152.83 c #Conflicts: 553000 | #Constraints: 171570 3145.02/3152.83 c #Conflicts: 554000 | #Constraints: 172570 3145.02/3152.83 c #Conflicts: 555000 | #Constraints: 173570 3145.02/3152.83 c #Conflicts: 556000 | #Constraints: 174570 3145.02/3152.83 c #Conflicts: 557000 | #Constraints: 175570 3145.02/3152.83 c #Conflicts: 558000 | #Constraints: 176570 3145.02/3152.83 c #Conflicts: 559000 | #Constraints: 177570 3145.02/3152.83 c #Conflicts: 560000 | #Constraints: 178570 3145.02/3152.83 c #Conflicts: 561000 | #Constraints: 179570 3145.02/3152.83 c #Conflicts: 562000 | #Constraints: 180570 3145.02/3152.83 c #Conflicts: 563000 | #Constraints: 181570 3145.02/3152.83 c #Conflicts: 564000 | #Constraints: 182570 3145.02/3152.83 c #Conflicts: 565000 | #Constraints: 183570 3145.02/3152.83 c #Conflicts: 566000 | #Constraints: 184570 3145.02/3152.83 c #Conflicts: 567000 | #Constraints: 185570 3145.02/3152.83 c #Conflicts: 568000 | #Constraints: 186570 3145.02/3152.83 c #Conflicts: 569000 | #Constraints: 187570 3145.02/3152.83 c #Conflicts: 570000 | #Constraints: 188570 3145.02/3152.83 c #Conflicts: 571000 | #Constraints: 189570 3145.02/3152.83 c #Conflicts: 572000 | #Constraints: 190570 3145.02/3152.83 c #Conflicts: 573000 | #Constraints: 191570 3145.02/3152.83 c #Conflicts: 574000 | #Constraints: 192570 3145.02/3152.83 c #Conflicts: 575000 | #Constraints: 193570 3145.02/3152.83 c #Conflicts: 576000 | #Constraints: 194570 3145.02/3152.83 c #Conflicts: 577000 | #Constraints: 195570 3145.02/3152.83 c #Conflicts: 578000 | #Constraints: 196570 3145.02/3152.83 c #Conflicts: 579000 | #Constraints: 197570 3145.02/3152.83 c #Conflicts: 580000 | #Constraints: 198570 3145.02/3152.83 c #Conflicts: 581000 | #Constraints: 199570 3145.02/3152.83 WSVECS04 Frhs2[124]: 6 -0.73612 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[128]: 6 0 3.00003 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[129]: 6 0 3.97859 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[131]: 6 -2.37719 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[140]: 6 -4.4622 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[142]: 6 0 4.17589 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[145]: 6 -7.80082 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[150]: 6 0 2.17785 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[153]: 6 -3.00001 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[157]: 6 -4.0374 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[859]: 6 -3.88912 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[860]: 6 -2.04136 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[861]: 6 0 4.9181 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[871]: 6 0 4.48805 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[873]: 6 -4.47939 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[884]: 6 0 1.52444 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[890]: 6 -4.26739 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[990]: 6 0 9.99118 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1001]: 6 -1.00003 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1011]: 6 0 3.64679 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1014]: 6 -0.907809 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1019]: 6 -4.31992 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1020]: 6 0 3.00008 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1031]: 6 -5.14147 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1033]: 6 0 4.64041 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1044]: 6 -3.00004 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1048]: 6 -2.5256 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1050]: 6 0 3.4781 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1051]: 6 0 0.304506 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1062]: 6 -3.00005 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1070]: 6 -2.30453 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1076]: 6 -1.00008 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1078]: 6 0 1.0001 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1079]: 6 -7.0001 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1088]: 6 0 1.2743 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1090]: 6 -2.76329 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1093]: 6 0 3.00003 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1098]: 6 -1.00007 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1104]: 6 -7.77748 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1106]: 6 0 3.72583 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1107]: 6 -1.522 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1300]: 6 0 0.69707 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1305]: 6 -0.211286 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1314]: 6 -2.76224 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1335]: 6 -5.16956 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1343]: 6 -4.67467 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1348]: 6 -0.0564177 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1349]: 6 0 2.00008 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1385]: 6 -0.0187397 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1388]: 6 0 2.00003 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1391]: 6 -5.12148 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1393]: 6 0 1.00008 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1394]: 6 -3.26985 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1443]: 6 -18.9178 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1447]: 6 -27.8038 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1448]: 6 -1.00006 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1467]: 6 -1.40504 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1468]: 6 0 2.31701 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1469]: 6 0 1.29438 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1470]: 6 -0.790226 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1480]: 6 -3.1123 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1482]: 6 0 2.00008 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1484]: 6 -1.74781 0 shouldn't be 3145.02/3152.83 WSVECS04 Frhs2[1485]: 6 -8.99762 0 shouldn't be 3149.01/3156.87 WSVECS04 Frhs2[991]: 6 -2.00003 0 shouldn't be 3205.39/3213.33 c #Conflicts: 582000 | #Constraints: 200570 3205.39/3213.33 c #Conflicts: 583000 | #Constraints: 201570 3205.39/3213.33 c #Conflicts: 584000 | #Constraints: 202570 3205.39/3213.33 c bounds -726 >= -836 @ 3191.81 3205.39/3213.33 c #Conflicts: 585000 | #Constraints: 203614 3205.39/3213.33 c INPROCESSING 3205.39/3213.33 c GARBAGE COLLECT 3205.39/3213.33 c rational objective -806.667 3254.49/3262.50 c #Conflicts: 586000 | #Constraints: 161648 3254.49/3262.50 c #Conflicts: 587000 | #Constraints: 162648 3254.49/3262.50 c #Conflicts: 588000 | #Constraints: 163648 3254.49/3262.50 c #Conflicts: 589000 | #Constraints: 164648 3254.49/3262.50 c #Conflicts: 590000 | #Constraints: 165648 3254.49/3262.50 c #Conflicts: 591000 | #Constraints: 166648 3254.49/3262.50 c #Conflicts: 592000 | #Constraints: 167648 3254.49/3262.50 c #Conflicts: 593000 | #Constraints: 168648 3254.49/3262.50 c #Conflicts: 594000 | #Constraints: 169648 3254.49/3262.50 c #Conflicts: 595000 | #Constraints: 170648 3254.49/3262.50 c #Conflicts: 596000 | #Constraints: 171648 3254.49/3262.50 c #Conflicts: 597000 | #Constraints: 172648 3254.49/3262.50 c #Conflicts: 598000 | #Constraints: 173648 3254.49/3262.50 c #Conflicts: 599000 | #Constraints: 174648 3254.49/3262.50 c #Conflicts: 600000 | #Constraints: 175648 3254.49/3262.50 c #Conflicts: 601000 | #Constraints: 176648 3254.49/3262.50 c #Conflicts: 602000 | #Constraints: 177648 3254.49/3262.50 c #Conflicts: 603000 | #Constraints: 178649 3254.49/3262.50 c #Conflicts: 604000 | #Constraints: 179649 3254.49/3262.50 c #Conflicts: 605000 | #Constraints: 180649 3254.49/3262.50 c #Conflicts: 606000 | #Constraints: 181649 3254.49/3262.50 WSVECS04 Frhs2[24]: 6 0 2.58226 shouldn't be 3254.49/3262.50 WSVECS04 Frhs2[185]: 6 -2.13371 0 shouldn't be 3254.49/3262.50 WSVECS04 Frhs2[327]: 6 0 0.109976 shouldn't be 3254.49/3262.50 WSVECS04 Frhs2[332]: 6 -0.874454 0 shouldn't be 3254.49/3262.50 WSVECS04 Frhs2[374]: 6 0 1.00005 shouldn't be 3254.49/3262.50 WSVECS04 Frhs2[470]: 6 -1.6393 0 shouldn't be 3254.49/3262.50 WSVECS04 Frhs2[552]: 6 0 0.985776 shouldn't be 3254.49/3262.50 WSVECS04 Frhs2[714]: 6 0 1.03287 shouldn't be 3254.49/3262.50 WSVECS04 Frhs2[894]: 6 0 0.583621 shouldn't be 3254.49/3262.50 WSVECS04 Frhs2[927]: 6 0 0.424329 shouldn't be 3254.49/3262.50 WSVECS04 Frhs2[1024]: 6 0 0.426255 shouldn't be 3254.49/3262.50 WSVECS04 Frhs2[1037]: 6 -0.330083 0 shouldn't be 3254.49/3262.50 WSVECS04 Frhs2[1040]: 6 -0.201548 0 shouldn't be 3254.49/3262.50 WSVECS04 Frhs2[1044]: 6 -1.08408 0 shouldn't be 3254.49/3262.50 WSVECS04 Frhs2[1135]: 6 -0.512048 0 shouldn't be 3254.49/3262.50 WSVECS04 Frhs2[1162]: 6 0 0.0219387 shouldn't be 3254.49/3262.50 WSVECS04 Frhs2[1167]: 6 0 1.40398 shouldn't be 3254.49/3262.50 WSVECS04 Frhs2[1176]: 6 0 1.00005 shouldn't be 3254.49/3262.50 WSVECS04 Frhs2[1183]: 6 0 1.00008 shouldn't be 3482.18/3490.76 c #Conflicts: 607000 | #Constraints: 182650 3482.18/3490.76 c #Conflicts: 608000 | #Constraints: 183651 3482.18/3490.76 c #Conflicts: 609000 | #Constraints: 184652 3482.18/3490.76 c #Conflicts: 610000 | #Constraints: 185653 3482.18/3490.76 c #Conflicts: 611000 | #Constraints: 186655 3482.18/3490.76 c #Conflicts: 612000 | #Constraints: 187658 3482.18/3490.76 c #Conflicts: 613000 | #Constraints: 188659 3482.18/3490.76 c #Conflicts: 614000 | #Constraints: 189660 3482.18/3490.76 c #Conflicts: 615000 | #Constraints: 190662 3482.18/3490.76 c #Conflicts: 616000 | #Constraints: 191664 3482.18/3490.76 c #Conflicts: 617000 | #Constraints: 192665 3482.18/3490.76 c #Conflicts: 618000 | #Constraints: 193668 3482.18/3490.76 c #Conflicts: 619000 | #Constraints: 194669 3482.18/3490.76 c #Conflicts: 620000 | #Constraints: 195670 3482.18/3490.76 c #Conflicts: 621000 | #Constraints: 196672 3482.18/3490.76 c #Conflicts: 622000 | #Constraints: 197674 3482.18/3490.76 c #Conflicts: 623000 | #Constraints: 198679 3482.18/3490.76 c #Conflicts: 624000 | #Constraints: 199680 3482.18/3490.76 c #Conflicts: 625000 | #Constraints: 200682 3482.18/3490.76 c #Conflicts: 626000 | #Constraints: 201685 3482.18/3490.76 c #Conflicts: 627000 | #Constraints: 202689 3482.18/3490.76 c #Conflicts: 628000 | #Constraints: 203690 3482.18/3490.76 c #Conflicts: 629000 | #Constraints: 204693 3482.18/3490.76 c #Conflicts: 630000 | #Constraints: 205695 3482.18/3490.76 c #Conflicts: 631000 | #Constraints: 206697 3482.18/3490.76 c #Conflicts: 632000 | #Constraints: 207700 3482.18/3490.76 c #Conflicts: 633000 | #Constraints: 208702 3482.18/3490.76 c #Conflicts: 634000 | #Constraints: 209706 3482.18/3490.76 c #Conflicts: 635000 | #Constraints: 210708 3482.18/3490.76 c INPROCESSING 3482.18/3490.76 c GARBAGE COLLECT 3482.18/3490.76 c rational objective -806.667 3524.50/3533.11 c #Conflicts: 636000 | #Constraints: 161745 3524.50/3533.11 c #Conflicts: 637000 | #Constraints: 162745 3524.50/3533.11 c #Conflicts: 638000 | #Constraints: 163745 3524.50/3533.11 c #Conflicts: 639000 | #Constraints: 164745 3524.50/3533.11 c #Conflicts: 640000 | #Constraints: 165745 3524.50/3533.11 c #Conflicts: 641000 | #Constraints: 166745 3524.50/3533.11 c #Conflicts: 642000 | #Constraints: 167745 3524.50/3533.11 c #Conflicts: 643000 | #Constraints: 168745 3524.50/3533.11 c #Conflicts: 644000 | #Constraints: 169745 3524.50/3533.11 c #Conflicts: 645000 | #Constraints: 170745 3524.50/3533.11 c #Conflicts: 646000 | #Constraints: 171745 3524.50/3533.11 c #Conflicts: 647000 | #Constraints: 172745 3524.50/3533.11 c #Conflicts: 648000 | #Constraints: 173745 3524.50/3533.11 c #Conflicts: 649000 | #Constraints: 174745 3524.50/3533.11 WSVECS04 Frhs2[384]: 6 0 2.86046 shouldn't be 3524.50/3533.11 WSVECS04 Frhs2[394]: 6 0 1.50326 shouldn't be 3524.50/3533.11 WSVECS04 Frhs2[1100]: 6 0 3.61788 shouldn't be 3524.50/3533.11 WSVECS04 Frhs2[1174]: 6 -13.9968 0 shouldn't be 3524.50/3533.11 WSVECS04 Frhs2[1179]: 6 0 1.79435 shouldn't be 3524.50/3533.11 WSVECS04 Frhs2[1180]: 6 0 2.80681 shouldn't be 3524.50/3533.11 WSVECS04 Frhs2[1182]: 6 0 3.59461 shouldn't be 3524.50/3533.11 WSVECS04 Frhs2[1184]: 6 0 5.17308 shouldn't be 3524.50/3533.11 WSVECS04 Frhs2[1285]: 6 0 2.53875 shouldn't be 3524.50/3533.11 WSVECS04 Frhs2[1424]: 6 -7.19608 0 shouldn't be 3524.50/3533.11 WSVECS04 Frhs2[1425]: 6 -5.65407 0 shouldn't be 3524.50/3533.11 WSVECS04 Frhs2[1429]: 6 -7.87544 0 shouldn't be 3524.50/3533.11 WSVECS04 Frhs2[1465]: 6 0 0.85434 shouldn't be 3524.50/3533.11 WSVECS04 Frhs2[1467]: 6 0 1.75996 shouldn't be 3524.50/3533.11 WSVECS04 Frhs2[1469]: 6 0 0.841506 shouldn't be 3524.50/3533.11 WSVECS04 Frhs2[1472]: 6 0 0.657412 shouldn't be 3524.50/3533.11 WSVECS04 Frhs2[1474]: 6 0 2.38301 shouldn't be 3524.50/3533.11 WSVECS04 Frhs2[1481]: 6 0 0.639537 shouldn't be 3600.03/3608.80 c #Conflicts: 650000 | #Constraints: 175745 3600.03/3608.80 c #Conflicts: 651000 | #Constraints: 176745 3600.03/3608.80 c #Conflicts: 652000 | #Constraints: 177745 3600.03/3608.80 c #Conflicts: 653000 | #Constraints: 178745 3600.03/3608.80 c #Conflicts: 654000 | #Constraints: 179745 3600.03/3608.80 c #Conflicts: 655000 | #Constraints: 180745 3600.03/3608.80 c #Conflicts: 656000 | #Constraints: 181745 3600.03/3608.80 c #Conflicts: 657000 | #Constraints: 182745 3600.03/3608.80 c #Conflicts: 658000 | #Constraints: 183745 3600.03/3608.80 c #Conflicts: 659000 | #Constraints: 184745 3600.03/3608.80 c #Conflicts: 660000 | #Constraints: 185745 3600.03/3608.80 c #Conflicts: 661000 | #Constraints: 186745 3600.03/3608.80 c #Conflicts: 662000 | #Constraints: 187745 3600.03/3608.80 c #Conflicts: 663000 | #Constraints: 188745 3600.03/3608.80 c Program interrupted by user. 3600.03/3608.80 c cpu time 3587.6 s 3600.03/3608.80 c deterministic time 72597316297 7.26e+10 3600.03/3608.80 c optimization time 117.342 s 3600.03/3608.80 c total solve time 3469.99 s 3600.03/3608.80 c core-guided solve time 1386 s 3600.03/3608.80 c propagation time 1916.64 s 3600.03/3608.80 c conflict analysis time 338.037 s 3600.03/3608.80 c propagations 159582477 3600.03/3608.80 c resolve steps 22814886 3600.03/3608.80 c decisions 2118583 3600.03/3608.80 c conflicts 663176 3600.03/3608.80 c restarts 1422 3600.03/3608.80 c inprocessing phases 29 3600.03/3608.80 c input clauses 106140 3600.03/3608.80 c input cardinalities 413 3600.03/3608.80 c input general constraints 1872 3600.03/3608.80 c input average constraint length 3.66 3600.03/3608.80 c input average constraint degree 1.32 3600.03/3608.80 c learned clauses 492452 3600.03/3608.80 c learned cardinalities 1742 3600.03/3608.80 c learned general constraints 169274 3600.03/3608.80 c learned average constraint length 285.86 3600.03/3608.80 c learned average constraint degree 11973161.76 3600.03/3608.80 c watched constraints 109859 3600.03/3608.80 c counting constraints 61287 3600.03/3608.80 c gcd simplifications 107447 3600.03/3608.80 c detected cardinalities 2 3600.03/3608.80 c weakened non-implied lits 203268533 3600.03/3608.80 c weakened non-implying lits 697769 3600.03/3608.80 c original variables 1485 3600.03/3608.80 c clausal propagations 101794021 3600.03/3608.80 c cardinality propagations 4436790 3600.03/3608.80 c watched propagations 5780384 3600.03/3608.80 c counting propagations 46811458 3600.03/3608.80 c watch lookups 19701639729 3600.03/3608.80 c watch backjump lookups 16359032692 3600.03/3608.80 c watch checks 31140693486 3600.03/3608.80 c propagation checks 4306595106 3600.03/3608.80 c constraint additions 764156075 3600.03/3608.80 c trail pops 162363577 3600.03/3608.80 c formula constraints 104940 3600.03/3608.80 c learned constraints 663030 3600.03/3608.80 c bound constraints 40 3600.03/3608.80 c core-guided constraints 3445 3600.03/3608.80 c encountered formula constraints 18442412 3600.03/3608.80 c encountered learned constraints 3779198 3600.03/3608.80 c encountered bound constraints 11935 3600.03/3608.80 c encountered core-guided constraints 1241055 3600.03/3608.80 c LP total time 2618 s 3600.03/3608.80 c LP solve time 2616.67 s 3600.03/3608.80 c LP constraints added 104940 3600.03/3608.80 c LP constraints removed 0 3600.03/3608.80 c LP pivots internal 675889 3600.03/3608.80 c LP pivots root 458682 3600.03/3608.80 c LP calls 273 3600.03/3608.80 c LP optimalities 46 3600.03/3608.80 c LP no pivot count 12 3600.03/3608.80 c LP infeasibilities 219 3600.03/3608.80 c LP valid Farkas constraints 219 3600.03/3608.80 c LP learned Farkas constraints 219 3600.03/3608.80 c LP basis resets 0 3600.03/3608.80 c LP cycling count 0 3600.03/3608.80 c LP singular count 0 3600.03/3608.80 c LP no primal count 0 3600.03/3608.80 c LP no farkas count 0 3600.03/3608.80 c LP other issue count 0 3600.03/3608.80 c LP Gomory cuts 0 3600.03/3608.80 c LP learned cuts 0 3600.03/3608.80 c LP deleted cuts 0 3600.03/3608.80 c LP encountered Gomory constraints 0 3600.03/3608.80 c LP encountered Farkas constraints 2988 3600.03/3608.80 c LP encountered learned Farkas constraints 255 3600.03/3608.80 c CG auxiliary variables introduced 1273 3600.03/3608.80 c CG solutions found 40 3600.03/3608.80 c CG cores constructed 374 3600.03/3608.80 c CG core cardinality constraints returned 0 3600.03/3608.80 c CG unit cores 0 3600.03/3608.80 c CG single cores 344 3600.03/3608.80 c CG blocks removed during cardinality reduction 0 3600.03/3608.80 c CG first core best 0 3600.03/3608.80 c CG decision core best 0 3600.03/3608.80 c CG core reduction tie 30 3600.03/3608.80 c CG core degree average 1.00 3600.03/3608.80 c CG core slack average 5.42 3600.03/3608.80 s SATISFIABLE 3600.03/3608.80 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 -x49 x50 x51 x52 x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 -x102 x103 x104 x105 x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 -x154 x155 x156 x157 x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 -x205 x206 x207 x208 x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 -x255 x256 x257 x258 x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 -x304 x305 x306 x307 x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 -x352 x353 x354 x355 x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 -x399 x400 x401 x402 x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 -x445 x446 x447 x448 x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 -x490 x491 x492 x493 x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 -x534 x535 x536 x537 x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 -x577 x578 x579 x580 x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 -x619 x620 x621 x622 x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 -x660 x661 x662 x663 x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 -x700 x701 x702 x703 x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 x733 x734 x735 x736 x737 x738 -x739 x740 x741 x742 x743 x744 -x745 -x746 -x747 -x748 -x749 x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 -x777 x778 x779 x780 x781 x782 -x783 -x784 -x785 -x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 x799 x800 x801 x802 x803 x804 x805 x806 x807 x808 x809 x810 x811 x812 x813 -x814 x815 x816 x817 x818 x819 -x820 -x821 -x822 x823 x824 x825 x826 x827 x828 x829 x830 x831 x832 x833 x834 x835 x836 x837 x838 x839 x840 x841 x842 x843 x844 x845 x846 x847 x848 x849 -x850 x851 x852 x853 x854 x855 -x856 -x857 x858 x859 x860 x861 x862 x863 x864 x865 x866 x867 x868 x869 x870 x871 x872 x873 x874 x875 x876 x877 x878 x879 x880 x881 x882 x883 x884 -x885 x886 x887 x888 x889 x890 -x891 x892 x893 x894 x895 x896 x897 x898 x899 x900 x901 x902 x903 x904 x905 x906 x907 x908 x909 x910 x911 x912 x913 x914 x915 x916 x917 x918 -x919 x920 x921 x922 x923 x924 x925 x926 x927 x928 x929 x930 x931 x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 x944 x945 x946 x947 x948 x949 x950 x951 -x952 x953 x954 x955 x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 x1472 x1473 x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485
OK -726
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: 63968 MiB (57516 MiB free)
memory of node 1: 64473 MiB (62321 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463324-1722348857/watcher-4463324-1722348857 -o /tmp/evaluation-result-4463324-1722348857/solver-4463324-1722348857 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722340763-7348 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463324-1722348857 --lp-cut-gomory=0 HOME/instance-4463324-1722348857.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=12083, runsolver pid=12080
[startup+0.100089 s]*
/proc/loadavg: 4.10 4.12 4.10 5/261 12084
/proc/meminfo: memFree=122709524/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=38792 memory=8620 CPUtime=0.09 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 998 0 0 0 7 2 0 0 20 0 1 0 1485634 39723008 2155 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 9698 2155 1348 992 0 1556 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38792 KiB
Current children cumulated memory: 8620 KiB
[startup+0.205719 s]*
/proc/loadavg: 4.10 4.12 4.10 5/261 12084
/proc/meminfo: memFree=122705180/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=40236 memory=12108 CPUtime=0.2 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 1438 0 0 0 15 5 0 0 20 0 1 0 1485634 41201664 3027 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 10059 3027 1348 992 0 1917 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40236 KiB
Current children cumulated memory: 12108 KiB
[startup+0.305675 s]*
/proc/loadavg: 4.10 4.12 4.10 5/261 12084
/proc/meminfo: memFree=122695632/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=53564 memory=24684 CPUtime=0.3 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 4307 0 0 0 23 7 0 0 20 0 1 0 1485634 54849536 6171 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 13391 6171 1650 992 0 5249 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 53564 KiB
Current children cumulated memory: 24684 KiB
[startup+0.700224 s]
/proc/loadavg: 4.10 4.12 4.10 5/261 12084
/proc/meminfo: memFree=122652660/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=92728 memory=64108 CPUtime=0.69 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 17989 0 0 0 59 10 0 0 20 0 1 0 1485634 94953472 16027 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 23182 16027 1713 992 0 15040 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 92728 KiB
Current children cumulated memory: 64108 KiB
[startup+1.5002 s]
/proc/loadavg: 4.10 4.12 4.10 5/261 12084
/proc/meminfo: memFree=122650952/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=92728 memory=64108 CPUtime=1.49 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 17989 0 0 0 139 10 0 0 20 0 1 0 1485634 94953472 16027 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 23182 16027 1713 992 0 15040 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 92728 KiB
Current children cumulated memory: 64108 KiB
[startup+3.10568 s]
/proc/loadavg: 4.10 4.12 4.10 5/261 12084
/proc/meminfo: memFree=122643916/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=92728 memory=64108 CPUtime=3.09 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 17994 0 0 0 299 10 0 0 20 0 1 0 1485634 94953472 16027 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 23182 16027 1713 992 0 15040 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 92728 KiB
Current children cumulated memory: 64108 KiB
[startup+6.30021 s]
/proc/loadavg: 4.10 4.12 4.10 5/261 12086
/proc/meminfo: memFree=122623056/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=99764 memory=72140 CPUtime=6.27 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 20046 0 0 0 610 17 0 0 20 0 1 0 1485634 102158336 18035 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 24941 18035 1808 992 0 16799 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 99764 KiB
Current children cumulated memory: 72140 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.10 5/261 12086
/proc/meminfo: memFree=122602136/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=104948 memory=76256 CPUtime=12.66 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 20535 0 0 0 1247 19 0 0 20 0 1 0 1485634 107466752 19064 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 26237 19064 1808 992 0 18095 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 104948 KiB
Current children cumulated memory: 76256 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.11 4.10 5/261 12089
/proc/meminfo: memFree=122567604/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=104948 memory=76256 CPUtime=25.43 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 20547 0 0 0 2522 21 0 0 20 0 1 0 1485634 107466752 19064 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 26237 19064 1808 992 0 18095 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 104948 KiB
Current children cumulated memory: 76256 KiB
[startup+51.1057 s]
/proc/loadavg: 4.04 4.10 4.09 5/261 12092
/proc/meminfo: memFree=122470784/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=109368 memory=81848 CPUtime=50.98 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 20891 0 0 0 5068 30 0 0 20 0 1 0 1485634 111992832 20462 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 27342 20462 1866 992 0 19200 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 109368 KiB
Current children cumulated memory: 81848 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 12101
/proc/meminfo: memFree=122296416/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=131116 memory=100184 CPUtime=102.04 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 22452 0 0 0 10162 42 0 0 20 0 1 0 1485634 134262784 25046 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 32779 25046 1882 992 0 24637 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 131116 KiB
Current children cumulated memory: 100184 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 12111
/proc/meminfo: memFree=122100312/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=138296 memory=104200 CPUtime=161.9 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 22983 0 0 0 16131 59 0 0 20 0 1 0 1485634 141615104 26050 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 34574 26050 1882 992 0 26432 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 138296 KiB
Current children cumulated memory: 104200 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 12123
/proc/meminfo: memFree=121797412/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=168940 memory=125188 CPUtime=221.76 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 24145 0 0 0 22078 98 0 0 20 0 1 0 1485634 172994560 31297 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 42235 31297 1882 992 0 34093 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 168940 KiB
Current children cumulated memory: 125188 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 12134
/proc/meminfo: memFree=121443628/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=168940 memory=125396 CPUtime=281.61 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 24163 0 0 0 28026 135 0 0 20 0 1 0 1485634 172994560 31349 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 42235 31349 1882 992 0 34093 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 168940 KiB
Current children cumulated memory: 125396 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 12145
/proc/meminfo: memFree=121268120/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=188520 memory=139756 CPUtime=341.46 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 25229 0 0 0 34002 144 0 0 20 0 1 0 1485634 193044480 34939 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 47130 34939 1882 992 0 38988 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 188520 KiB
Current children cumulated memory: 139756 KiB
[startup+402.3 s]
/proc/loadavg: 4.43 4.19 4.12 5/260 12160
/proc/meminfo: memFree=121113240/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=188520 memory=139756 CPUtime=401.32 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 25271 0 0 0 39979 153 0 0 20 0 1 0 1485634 193044480 34939 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 47130 34939 1882 992 0 38988 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 188520 KiB
Current children cumulated memory: 139756 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/261 12171
/proc/meminfo: memFree=120871644/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=188520 memory=139756 CPUtime=461.17 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 25323 0 0 0 45941 176 0 0 20 0 1 0 1485634 193044480 34939 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 47130 34939 1882 992 0 38988 0
################
# More data... #
################
Current children cumulated memory: 203968 KiB
[startup+2862.3 s]
/proc/loadavg: 2.10 2.54 2.98 2/241 13890
/proc/meminfo: memFree=124128992/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=283316 memory=209108 CPUtime=2855.15 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 30066 0 0 0 284518 997 0 0 20 0 1 0 1485634 290115584 52277 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 70829 52277 1882 992 0 62687 0
Current children cumulated CPU time: 2855.15 s
Current children cumulated vsize: 283316 KiB
Current children cumulated memory: 209108 KiB
[startup+2922.3 s]
/proc/loadavg: 1.45 2.27 2.86 2/241 13900
/proc/meminfo: memFree=123966748/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=283316 memory=252296 CPUtime=2915.02 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 30191 0 0 0 290479 1023 0 0 20 0 1 0 1485634 290115584 63074 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 70829 63074 1882 992 0 62687 0
Current children cumulated CPU time: 2915.02 s
Current children cumulated vsize: 283316 KiB
Current children cumulated memory: 252296 KiB
[startup+2982.3 s]
/proc/loadavg: 1.21 2.05 2.75 2/241 13911
/proc/meminfo: memFree=123960324/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=290020 memory=258296 CPUtime=2974.88 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 30712 0 0 0 296457 1031 0 0 20 0 1 0 1485634 296980480 64574 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 72505 64574 1882 992 0 64363 0
Current children cumulated CPU time: 2974.88 s
Current children cumulated vsize: 290020 KiB
Current children cumulated memory: 258296 KiB
[startup+3042.3 s]
/proc/loadavg: 1.17 1.89 2.64 2/241 13922
/proc/meminfo: memFree=123930868/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=290020 memory=258296 CPUtime=3034.76 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 30779 0 0 0 302423 1053 0 0 20 0 1 0 1485634 296980480 64574 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 72505 64574 1882 992 0 64363 0
Current children cumulated CPU time: 3034.76 s
Current children cumulated vsize: 290020 KiB
Current children cumulated memory: 258296 KiB
[startup+3102.3 s]
/proc/loadavg: 1.06 1.72 2.54 3/240 13932
/proc/meminfo: memFree=123918680/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=290020 memory=258296 CPUtime=3094.63 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 30855 0 0 0 308391 1072 0 0 20 0 1 0 1485634 296980480 64574 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 72505 64574 1882 992 0 64363 0
Current children cumulated CPU time: 3094.63 s
Current children cumulated vsize: 290020 KiB
Current children cumulated memory: 258296 KiB
[startup+3162.3 s]
/proc/loadavg: 1.13 1.62 2.45 2/239 13942
/proc/meminfo: memFree=123863496/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=290020 memory=259668 CPUtime=3154.51 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 31287 0 0 0 314348 1103 0 0 20 0 1 0 1485634 296980480 64917 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 72505 64917 1882 992 0 64363 0
Current children cumulated CPU time: 3154.51 s
Current children cumulated vsize: 290020 KiB
Current children cumulated memory: 259668 KiB
[startup+3222.3 s]
/proc/loadavg: 1.10 1.52 2.36 2/238 13956
/proc/meminfo: memFree=123820404/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=296608 memory=262392 CPUtime=3214.38 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 31515 0 0 0 320319 1119 0 0 20 0 1 0 1485634 303726592 65598 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 74152 65598 1882 992 0 66010 0
Current children cumulated CPU time: 3214.38 s
Current children cumulated vsize: 296608 KiB
Current children cumulated memory: 262392 KiB
[startup+3282.3 s]
/proc/loadavg: 1.08 1.44 2.28 2/239 13967
/proc/meminfo: memFree=123699476/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=296608 memory=262392 CPUtime=3274.25 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 31619 0 0 0 326280 1145 0 0 20 0 1 0 1485634 303726592 65598 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 74152 65598 1882 992 0 66010 0
Current children cumulated CPU time: 3274.25 s
Current children cumulated vsize: 296608 KiB
Current children cumulated memory: 262392 KiB
[startup+3342.3 s]
/proc/loadavg: 1.09 1.37 2.20 2/239 13978
/proc/meminfo: memFree=123609620/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=296608 memory=262392 CPUtime=3334.12 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 31836 0 0 0 332245 1167 0 0 20 0 1 0 1485634 303726592 65598 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 74152 65598 1882 992 0 66010 0
Current children cumulated CPU time: 3334.12 s
Current children cumulated vsize: 296608 KiB
Current children cumulated memory: 262392 KiB
[startup+3402.3 s]
/proc/loadavg: 1.08 1.32 2.13 2/241 13994
/proc/meminfo: memFree=123578348/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=296608 memory=266672 CPUtime=3393.99 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 32059 0 0 0 338216 1183 0 0 20 0 1 0 1485634 303726592 66668 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 74152 66668 1882 992 0 66010 0
Current children cumulated CPU time: 3393.99 s
Current children cumulated vsize: 296608 KiB
Current children cumulated memory: 266672 KiB
[startup+3462.3 s]
/proc/loadavg: 1.15 1.29 2.07 2/241 14005
/proc/meminfo: memFree=123575336/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=296608 memory=268788 CPUtime=3453.85 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 32137 0 0 0 344194 1191 0 0 20 0 1 0 1485634 303726592 67197 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 74152 67197 1882 992 0 66010 0
Current children cumulated CPU time: 3453.85 s
Current children cumulated vsize: 296608 KiB
Current children cumulated memory: 268788 KiB
[startup+3522.3 s]
/proc/loadavg: 1.05 1.23 2.00 2/241 14016
/proc/meminfo: memFree=123554524/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=296608 memory=268788 CPUtime=3513.72 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 32268 0 0 0 350162 1210 0 0 20 0 1 0 1485634 303726592 67197 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 74152 67197 1882 992 0 66010 0
Current children cumulated CPU time: 3513.72 s
Current children cumulated vsize: 296608 KiB
Current children cumulated memory: 268788 KiB
[startup+3582.3 s]
/proc/loadavg: 1.06 1.20 1.94 2/241 14027
/proc/meminfo: memFree=123540768/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=296608 memory=268788 CPUtime=3573.58 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 32351 0 0 0 356130 1228 0 0 20 0 1 0 1485634 303726592 67197 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 74152 67197 1882 992 0 66010 0
Current children cumulated CPU time: 3573.58 s
Current children cumulated vsize: 296608 KiB
Current children cumulated memory: 268788 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 1.09 1.20 1.91 2/241 14034
/proc/meminfo: memFree=123514568/131524600 swapFree=131071996/131071996
[pid=12083] ppid=12080 vsize=296608 memory=268788 CPUtime=3600.03 cores=1,3
/proc/12083/stat : 12083 (roundingsat) R 12080 12083 7335 0 -1 4194304 32434 0 0 0 358760 1243 0 0 20 0 1 0 1485634 303726592 67197 134679101440 4194304 8255733 140728845343088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42004480 140728845345630 140728845345892 140728845345892 140728845352905 0
/proc/12083/statm: 74152 67197 1882 992 0 66010 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 296608 KiB
Current children cumulated memory: 268788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.85 s]
# the end of solver process 12083 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.61 s, system=12.4407 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3608.85
CPU time (s): 3600.05
CPU user time (s): 3587.61
CPU system time (s): 12.4407
CPU usage (%): 99.756
Max. virtual memory (cumulated for all children) (KiB): 296608
Max. memory (cumulated for all children) (KiB): 268788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.61
system time used= 12.4407
maximum resident set size= 268788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32454
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5423536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 581
involuntary context switches= 3989
# summary of solver processes directly reported to runsolver:
# pid: 12083
# total CPU time (s): 3600.05
# total CPU user time (s): 3587.61
# total CPU system time (s): 12.4407
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.17807 second user time and 15.8794 second system time
The end
Begin job on nodeC025 at 2024-07-30 16:14:17 IDJOB=4463324 IDBENCH=178157 IDSOLVER=3089 FILE ID=nodeC025/4463324-1722348857 RUNJOBID= nodeC025-1722340763-7348 SLURM_JOB_ID= 8248998 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/normalized-maxcut_opt_complete_5-partite_block_nvert_55.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-4463324-1722348857/watcher-4463324-1722348857 -o /tmp/evaluation-result-4463324-1722348857/solver-4463324-1722348857 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722340763-7348 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463324-1722348857 --lp-cut-gomory=0 HOME/instance-4463324-1722348857.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ff0f59bbfc198112e385d67f72301d6a RANDOM SEED=768974306 nodeC025.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 : 0xb00002a cpu MHz : 3666.481 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.10 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 : 0xb00002a cpu MHz : 3672.457 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96 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 : 0xb00002a cpu MHz : 3600.211 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.10 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 : 0xb00002a cpu MHz : 3656.472 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96 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 : 0xb00002a cpu MHz : 3666.479 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.10 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 : 0xb00002a cpu MHz : 3674.980 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96 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 : 0xb00002a cpu MHz : 3600.143 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.10 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 : 0xb00002a cpu MHz : 3600.608 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122713660 kB MemAvailable: 129386728 kB Buffers: 52044 kB Cached: 7432468 kB SwapCached: 0 kB Active: 168268 kB Inactive: 8123020 kB Active(anon): 1568 kB Inactive(anon): 826688 kB Active(file): 166700 kB Inactive(file): 7296332 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 39432 kB Writeback: 0 kB AnonPages: 806624 kB Mapped: 96412 kB Shmem: 21336 kB KReclaimable: 99716 kB Slab: 180260 kB SReclaimable: 99716 kB SUnreclaim: 80544 kB KernelStack: 4208 kB PageTables: 10688 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1276704 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 352256 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: 230100 kB DirectMap2M: 10029056 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890076 MiB End job on nodeC025 at 2024-07-30 17:14:26