| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3602.01 | 3613.8 |
| 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.20/0.29 c #variables 1485 #constraints 104940 3.47/3.57 c bounds - >= -1210 @ 0.209573 3.47/3.57 c bounds 0 >= -1210 @ 3.42637 3.47/3.57 c bounds 0 >= -1209 @ 3.42665 3.47/3.57 c bounds 0 >= -1208 @ 3.4268 3.47/3.57 c bounds 0 >= -1207 @ 3.42696 3.47/3.57 c bounds 0 >= -1206 @ 3.42711 3.47/3.57 c bounds 0 >= -1205 @ 3.42726 3.47/3.57 c bounds 0 >= -1204 @ 3.4274 3.47/3.57 c bounds 0 >= -1203 @ 3.42754 3.47/3.57 c bounds 0 >= -1202 @ 3.42768 3.47/3.57 c bounds 0 >= -1201 @ 3.42782 3.47/3.57 c bounds 0 >= -1200 @ 3.42796 3.47/3.57 c bounds 0 >= -1199 @ 3.42809 3.47/3.57 c bounds 0 >= -1198 @ 3.42832 3.47/3.57 c bounds 0 >= -1197 @ 3.4285 3.47/3.57 c bounds 0 >= -1196 @ 3.42865 3.47/3.57 c bounds 0 >= -1195 @ 3.42881 3.47/3.57 c bounds 0 >= -1194 @ 3.42896 3.47/3.57 c bounds 0 >= -1193 @ 3.4291 3.47/3.57 c bounds 0 >= -1192 @ 3.42927 3.47/3.57 c bounds 0 >= -1191 @ 3.42942 3.47/3.57 c bounds 0 >= -1190 @ 3.42956 3.47/3.57 c bounds 0 >= -1189 @ 3.4297 3.47/3.57 c bounds 0 >= -1188 @ 3.42983 3.47/3.57 c bounds 0 >= -1187 @ 3.43002 3.47/3.57 c bounds 0 >= -1186 @ 3.43017 3.47/3.57 c bounds 0 >= -1185 @ 3.43032 3.47/3.57 c bounds 0 >= -1184 @ 3.43047 3.47/3.57 c bounds 0 >= -1183 @ 3.43061 3.47/3.57 c bounds 0 >= -1182 @ 3.43075 3.47/3.57 c bounds 0 >= -1181 @ 3.43089 3.47/3.57 c bounds 0 >= -1180 @ 3.43103 3.47/3.57 c bounds 0 >= -1179 @ 3.43117 3.47/3.57 c bounds 0 >= -1178 @ 3.4313 3.47/3.57 c bounds 0 >= -1177 @ 3.43144 3.47/3.57 c bounds 0 >= -1176 @ 3.43157 3.47/3.57 c bounds 0 >= -1175 @ 3.43174 3.47/3.57 c bounds 0 >= -1174 @ 3.43189 3.47/3.57 c bounds 0 >= -1173 @ 3.43203 3.47/3.57 c bounds 0 >= -1172 @ 3.43217 3.47/3.57 c bounds 0 >= -1171 @ 3.43231 3.47/3.57 c bounds 0 >= -1170 @ 3.43244 3.47/3.57 c bounds 0 >= -1169 @ 3.43258 3.47/3.57 c bounds 0 >= -1168 @ 3.43271 3.47/3.57 c bounds 0 >= -1167 @ 3.43285 3.47/3.57 c bounds 0 >= -1166 @ 3.43304 3.47/3.57 c bounds 0 >= -1165 @ 3.43322 3.47/3.57 c bounds 0 >= -1164 @ 3.43339 3.47/3.57 c bounds 0 >= -1163 @ 3.43354 3.47/3.57 c bounds 0 >= -1162 @ 3.43369 3.47/3.57 c bounds 0 >= -1161 @ 3.43383 3.47/3.57 c bounds 0 >= -1160 @ 3.43397 3.47/3.57 c bounds 0 >= -1159 @ 3.43416 3.47/3.57 c bounds 0 >= -1158 @ 3.4343 3.47/3.57 c bounds 0 >= -1157 @ 3.43444 3.47/3.57 c bounds 0 >= -1156 @ 3.43458 3.47/3.57 c bounds 0 >= -1155 @ 3.43473 3.47/3.57 c bounds 0 >= -1154 @ 3.4349 3.47/3.57 c bounds 0 >= -1153 @ 3.43505 3.47/3.57 c bounds 0 >= -1152 @ 3.43508 3.47/3.57 c bounds 0 >= -1151 @ 3.43508 3.47/3.57 c bounds 0 >= -1150 @ 3.43508 3.47/3.57 c bounds 0 >= -1149 @ 3.43508 3.47/3.57 c bounds 0 >= -1148 @ 3.43508 3.47/3.57 c bounds 0 >= -1147 @ 3.43508 3.47/3.57 c bounds 0 >= -1146 @ 3.43508 3.47/3.57 c bounds 0 >= -1145 @ 3.43531 3.47/3.57 c bounds 0 >= -1144 @ 3.43547 3.47/3.57 c bounds 0 >= -1143 @ 3.43562 3.47/3.57 c bounds 0 >= -1142 @ 3.43576 3.47/3.57 c bounds 0 >= -1141 @ 3.4359 3.47/3.57 c bounds 0 >= -1140 @ 3.43603 3.47/3.57 c bounds 0 >= -1139 @ 3.43609 3.47/3.57 c bounds 0 >= -1138 @ 3.43609 3.47/3.57 c bounds 0 >= -1137 @ 3.43609 3.47/3.57 c bounds 0 >= -1136 @ 3.43609 3.47/3.57 c bounds 0 >= -1135 @ 3.43609 3.47/3.57 c bounds 0 >= -1134 @ 3.43609 3.47/3.57 c bounds 0 >= -1133 @ 3.43609 3.47/3.57 c bounds 0 >= -1132 @ 3.43618 3.47/3.57 c bounds 0 >= -1131 @ 3.43632 3.47/3.57 c bounds 0 >= -1130 @ 3.43646 3.47/3.57 c bounds 0 >= -1129 @ 3.4366 3.47/3.57 c bounds 0 >= -1128 @ 3.43674 3.47/3.57 c bounds 0 >= -1127 @ 3.43687 3.47/3.57 c bounds 0 >= -1126 @ 3.437 3.47/3.57 c bounds 0 >= -1125 @ 3.43724 3.47/3.57 c bounds 0 >= -1124 @ 3.4374 3.47/3.57 c bounds 0 >= -1123 @ 3.43757 3.47/3.57 c bounds 0 >= -1122 @ 3.43773 3.47/3.57 c bounds 0 >= -1121 @ 3.43789 3.47/3.57 c bounds 0 >= -1120 @ 3.43804 3.47/3.57 c bounds 0 >= -1119 @ 3.43809 3.47/3.57 c bounds 0 >= -1118 @ 3.43809 3.47/3.57 c bounds 0 >= -1117 @ 3.43809 3.47/3.57 c bounds 0 >= -1116 @ 3.43809 3.47/3.57 c bounds 0 >= -1115 @ 3.4383 3.47/3.57 c bounds 0 >= -1114 @ 3.43852 3.47/3.57 c bounds 0 >= -1113 @ 3.43868 3.47/3.57 c bounds 0 >= -1112 @ 3.43884 3.47/3.57 c bounds 0 >= -1111 @ 3.43901 3.47/3.57 c bounds 0 >= -1110 @ 3.43922 3.47/3.57 c bounds 0 >= -1109 @ 3.43939 3.47/3.57 c bounds 0 >= -1108 @ 3.43955 3.47/3.57 c bounds 0 >= -1107 @ 3.43971 3.47/3.57 c bounds 0 >= -1106 @ 3.43989 3.47/3.57 c bounds 0 >= -1105 @ 3.44015 3.47/3.57 c bounds 0 >= -1104 @ 3.44031 3.47/3.57 c bounds 0 >= -1103 @ 3.44047 3.47/3.57 c bounds 0 >= -1102 @ 3.44063 3.47/3.57 c bounds 0 >= -1101 @ 3.4408 3.47/3.57 c bounds 0 >= -1100 @ 3.44097 3.47/3.57 c bounds 0 >= -1099 @ 3.44112 3.47/3.57 c bounds 0 >= -1098 @ 3.44126 3.47/3.57 c bounds 0 >= -1097 @ 3.44143 3.47/3.57 c bounds 0 >= -1096 @ 3.44157 3.47/3.57 c bounds 0 >= -1095 @ 3.44163 3.47/3.57 c bounds 0 >= -1094 @ 3.44163 3.47/3.57 c bounds 0 >= -1093 @ 3.44163 3.47/3.57 c bounds 0 >= -1092 @ 3.44163 3.47/3.57 c bounds 0 >= -1091 @ 3.44163 3.47/3.57 c bounds 0 >= -1090 @ 3.44163 3.47/3.57 c bounds 0 >= -1089 @ 3.44172 3.47/3.57 c bounds 0 >= -1088 @ 3.44186 3.47/3.57 c bounds 0 >= -1087 @ 3.44201 3.47/3.57 c bounds 0 >= -1086 @ 3.44224 3.47/3.57 c bounds 0 >= -1085 @ 3.44239 3.47/3.57 c bounds 0 >= -1084 @ 3.44255 3.47/3.57 c bounds 0 >= -1083 @ 3.44274 3.47/3.57 c bounds 0 >= -1082 @ 3.44291 3.47/3.57 c bounds 0 >= -1081 @ 3.44307 3.47/3.57 c bounds 0 >= -1080 @ 3.44322 3.47/3.57 c bounds 0 >= -1079 @ 3.44337 3.47/3.57 c bounds 0 >= -1078 @ 3.44353 3.47/3.57 c bounds 0 >= -1077 @ 3.4437 3.47/3.57 c bounds 0 >= -1076 @ 3.44385 3.47/3.57 c bounds 0 >= -1075 @ 3.44401 3.47/3.57 c bounds 0 >= -1074 @ 3.44416 3.57/3.61 c bounds 0 >= -1073 @ 3.44432 3.57/3.61 c bounds 0 >= -1072 @ 3.4445 3.57/3.61 c bounds 0 >= -1071 @ 3.44472 3.57/3.61 c bounds 0 >= -1070 @ 3.44489 3.57/3.61 c bounds 0 >= -1069 @ 3.44503 3.57/3.61 c bounds 0 >= -1068 @ 3.44518 3.57/3.61 c bounds 0 >= -1067 @ 3.44539 3.57/3.61 c bounds 0 >= -1066 @ 3.44556 3.57/3.61 c bounds 0 >= -1065 @ 3.44562 3.57/3.61 c bounds 0 >= -1064 @ 3.44562 3.57/3.61 c bounds 0 >= -1063 @ 3.44562 3.57/3.61 c bounds 0 >= -1062 @ 3.44562 3.57/3.61 c bounds 0 >= -1061 @ 3.44562 3.57/3.61 c bounds 0 >= -1060 @ 3.44562 3.57/3.61 c bounds 0 >= -1059 @ 3.44562 3.57/3.61 c bounds 0 >= -1058 @ 3.44562 3.57/3.61 c bounds 0 >= -1057 @ 3.44562 3.57/3.61 c bounds 0 >= -1056 @ 3.44562 3.57/3.61 c bounds 0 >= -1055 @ 3.44562 3.57/3.61 c bounds 0 >= -1054 @ 3.44562 3.57/3.61 c bounds 0 >= -1053 @ 3.44569 3.57/3.61 c bounds 0 >= -1052 @ 3.44584 3.57/3.61 c bounds 0 >= -1051 @ 3.44599 3.57/3.61 c bounds 0 >= -1050 @ 3.44615 3.57/3.61 c bounds 0 >= -1049 @ 3.44629 3.57/3.61 c bounds 0 >= -1048 @ 3.44651 3.57/3.61 c bounds 0 >= -1047 @ 3.4467 3.57/3.61 c bounds 0 >= -1046 @ 3.44687 3.57/3.61 c bounds 0 >= -1045 @ 3.44713 3.57/3.61 c bounds 0 >= -1044 @ 3.44732 3.57/3.61 c bounds 0 >= -1043 @ 3.4475 3.57/3.61 c bounds 0 >= -1042 @ 3.44768 3.57/3.61 c bounds 0 >= -1041 @ 3.44786 3.57/3.61 c bounds 0 >= -1040 @ 3.44802 3.57/3.61 c bounds 0 >= -1039 @ 3.44819 3.57/3.61 c bounds 0 >= -1038 @ 3.44835 3.57/3.61 c bounds 0 >= -1037 @ 3.44851 3.57/3.61 c bounds 0 >= -1036 @ 3.44867 3.57/3.61 c bounds 0 >= -1035 @ 3.44882 3.57/3.61 c bounds 0 >= -1034 @ 3.44897 3.57/3.61 c bounds 0 >= -1033 @ 3.44911 3.57/3.61 c bounds 0 >= -1032 @ 3.44929 3.57/3.61 c bounds 0 >= -1031 @ 3.44954 3.57/3.61 c bounds 0 >= -1030 @ 3.44961 3.57/3.61 c bounds 0 >= -1029 @ 3.44961 3.57/3.61 c bounds 0 >= -1028 @ 3.44961 3.57/3.61 c bounds 0 >= -1027 @ 3.44961 3.57/3.61 c bounds 0 >= -1026 @ 3.44961 3.57/3.61 c bounds 0 >= -1025 @ 3.44973 3.57/3.61 c bounds 0 >= -1024 @ 3.44993 3.57/3.61 c bounds 0 >= -1023 @ 3.45011 3.57/3.61 c bounds -44 >= -1023 @ 3.45223 3.57/3.61 c bounds -44 >= -1022 @ 3.45247 3.57/3.61 c bounds -44 >= -1021 @ 3.45264 3.57/3.61 c bounds -44 >= -1020 @ 3.45281 3.57/3.61 c bounds -44 >= -1019 @ 3.45297 3.57/3.61 c bounds -44 >= -1018 @ 3.45314 3.57/3.61 c bounds -44 >= -1017 @ 3.45329 3.57/3.61 c bounds -44 >= -1016 @ 3.45344 3.57/3.61 c bounds -44 >= -1015 @ 3.45365 3.57/3.61 c bounds -44 >= -1014 @ 3.45391 3.57/3.61 c bounds -44 >= -1013 @ 3.4541 3.57/3.61 c bounds -44 >= -1012 @ 3.45429 3.57/3.61 c bounds -44 >= -1011 @ 3.45451 3.57/3.61 c bounds -44 >= -1010 @ 3.45471 3.57/3.61 c bounds -44 >= -1009 @ 3.4549 3.57/3.61 c bounds -44 >= -1008 @ 3.45508 3.57/3.61 c bounds -44 >= -1007 @ 3.45526 3.57/3.61 c bounds -44 >= -1006 @ 3.45544 3.57/3.61 c bounds -44 >= -1005 @ 3.4556 3.57/3.61 c bounds -44 >= -1004 @ 3.45577 3.57/3.61 c bounds -44 >= -1003 @ 3.45594 3.57/3.61 c bounds -44 >= -1002 @ 3.45609 3.57/3.61 c bounds -44 >= -1001 @ 3.45625 3.57/3.61 c bounds -44 >= -1000 @ 3.45641 3.57/3.61 c bounds -44 >= -999 @ 3.45656 3.57/3.61 c bounds -44 >= -998 @ 3.45677 3.57/3.61 c bounds -44 >= -997 @ 3.45699 3.57/3.61 c bounds -44 >= -996 @ 3.45715 3.57/3.61 c bounds -44 >= -995 @ 3.45731 3.57/3.61 c bounds -44 >= -994 @ 3.45748 3.57/3.61 c bounds -44 >= -993 @ 3.45764 3.57/3.61 c bounds -44 >= -992 @ 3.45787 3.57/3.61 c bounds -88 >= -992 @ 3.4596 3.57/3.61 c bounds -88 >= -991 @ 3.45992 3.57/3.61 c bounds -88 >= -990 @ 3.46011 3.57/3.61 c bounds -88 >= -989 @ 3.46029 3.57/3.61 c bounds -88 >= -988 @ 3.46054 3.57/3.61 c bounds -88 >= -987 @ 3.46072 3.57/3.61 c bounds -88 >= -986 @ 3.46092 3.57/3.61 c bounds -88 >= -985 @ 3.46111 3.57/3.61 c bounds -88 >= -984 @ 3.46129 3.57/3.61 c bounds -88 >= -983 @ 3.46146 3.57/3.61 c bounds -88 >= -982 @ 3.46165 3.57/3.61 c bounds -88 >= -981 @ 3.46193 3.57/3.61 c bounds -88 >= -980 @ 3.46214 3.57/3.61 c bounds -88 >= -979 @ 3.46251 3.57/3.61 c bounds -132 >= -979 @ 3.46412 3.57/3.61 c bounds -132 >= -978 @ 3.46448 3.57/3.61 c bounds -132 >= -977 @ 3.4647 3.57/3.61 c bounds -132 >= -976 @ 3.46492 3.57/3.61 c bounds -132 >= -975 @ 3.46511 3.57/3.61 c bounds -132 >= -974 @ 3.46529 3.57/3.61 c bounds -132 >= -973 @ 3.46553 3.57/3.61 c bounds -132 >= -972 @ 3.46557 3.57/3.61 c bounds -132 >= -971 @ 3.46557 3.57/3.61 c bounds -132 >= -970 @ 3.46557 3.57/3.61 c bounds -132 >= -969 @ 3.46557 3.57/3.61 c bounds -176 >= -969 @ 3.46703 3.57/3.61 c bounds -176 >= -968 @ 3.46739 3.57/3.61 c bounds -176 >= -967 @ 3.4676 3.57/3.61 c bounds -176 >= -966 @ 3.4678 3.57/3.61 c bounds -176 >= -965 @ 3.46806 3.57/3.61 c bounds -176 >= -964 @ 3.46826 3.57/3.61 c bounds -176 >= -963 @ 3.46859 3.57/3.61 c bounds -176 >= -962 @ 3.46882 3.57/3.61 c bounds -176 >= -961 @ 3.46905 3.57/3.61 c bounds -220 >= -961 @ 3.47072 3.57/3.61 c bounds -220 >= -960 @ 3.47116 3.57/3.61 c bounds -220 >= -959 @ 3.47136 3.57/3.61 c bounds -220 >= -958 @ 3.47157 3.57/3.61 c bounds -220 >= -957 @ 3.47183 3.57/3.61 c bounds -220 >= -956 @ 3.47221 3.57/3.61 c bounds -220 >= -955 @ 3.47248 3.57/3.61 c bounds -220 >= -954 @ 3.47273 3.57/3.61 c bounds -220 >= -953 @ 3.47298 3.57/3.61 c bounds -264 >= -953 @ 3.4738 3.57/3.61 c bounds -264 >= -952 @ 3.47428 3.57/3.61 c bounds -264 >= -951 @ 3.47449 3.57/3.61 c bounds -264 >= -950 @ 3.47471 3.57/3.61 c bounds -264 >= -949 @ 3.47494 3.57/3.61 c bounds -264 >= -948 @ 3.47519 4.97/5.03 c bounds -264 >= -947 @ 3.4757 4.97/5.03 c bounds -264 >= -946 @ 3.476 4.97/5.03 c bounds -308 >= -946 @ 3.47809 4.97/5.03 c bounds -308 >= -945 @ 3.47868 4.97/5.03 c bounds -308 >= -944 @ 3.47892 4.97/5.03 c bounds -308 >= -943 @ 3.47914 4.97/5.03 c bounds -308 >= -942 @ 3.47934 4.97/5.03 c bounds -308 >= -941 @ 3.47953 4.97/5.03 c bounds -308 >= -940 @ 3.4798 4.97/5.03 c bounds -308 >= -939 @ 3.48007 4.97/5.03 c bounds -308 >= -938 @ 3.48048 4.97/5.03 c bounds -308 >= -937 @ 3.48073 4.97/5.03 c bounds -308 >= -936 @ 3.48101 4.97/5.03 c bounds -352 >= -936 @ 3.48293 4.97/5.03 c bounds -352 >= -935 @ 3.48339 4.97/5.03 c bounds -352 >= -934 @ 3.48364 4.97/5.03 c bounds -352 >= -933 @ 3.48387 4.97/5.03 c bounds -352 >= -932 @ 3.48407 4.97/5.03 c bounds -352 >= -931 @ 3.48426 4.97/5.03 c bounds -352 >= -930 @ 3.48449 4.97/5.03 c bounds -352 >= -929 @ 3.48491 4.97/5.03 c bounds -396 >= -929 @ 3.48679 4.97/5.03 c bounds -396 >= -928 @ 3.48737 4.97/5.03 c bounds -396 >= -927 @ 3.48763 4.97/5.03 c bounds -396 >= -926 @ 3.48788 4.97/5.03 c bounds -396 >= -925 @ 3.48811 4.97/5.03 c bounds -396 >= -924 @ 3.48834 4.97/5.03 c bounds -396 >= -923 @ 3.48854 4.97/5.03 c bounds -396 >= -922 @ 3.48881 4.97/5.03 c bounds -396 >= -921 @ 3.48923 4.97/5.03 c bounds -440 >= -921 @ 3.49105 4.97/5.03 c bounds -440 >= -920 @ 3.4916 4.97/5.03 c bounds -440 >= -919 @ 3.49185 4.97/5.03 c bounds -440 >= -918 @ 3.49212 4.97/5.03 c bounds -440 >= -917 @ 3.49247 4.97/5.03 c bounds -484 >= -917 @ 3.49434 4.97/5.03 c bounds -484 >= -916 @ 3.49483 4.97/5.03 c bounds -484 >= -915 @ 3.4951 4.97/5.03 c bounds -484 >= -914 @ 3.4953 4.97/5.03 c bounds -484 >= -913 @ 3.49548 4.97/5.03 c bounds -484 >= -912 @ 3.49575 4.97/5.03 c bounds -484 >= -911 @ 3.49601 4.97/5.03 c bounds -484 >= -910 @ 3.49635 4.97/5.03 c bounds -484 >= -909 @ 3.49655 4.97/5.03 c bounds -506 >= -909 @ 3.49833 4.97/5.03 c bounds -506 >= -908 @ 3.49885 4.97/5.03 c bounds -506 >= -907 @ 3.4991 4.97/5.03 c bounds -506 >= -906 @ 3.4994 4.97/5.03 c bounds -506 >= -905 @ 3.5001 4.97/5.03 c bounds -528 >= -905 @ 3.50334 4.97/5.03 c bounds -528 >= -904 @ 3.50418 4.97/5.03 c bounds -528 >= -903 @ 3.50461 4.97/5.03 c bounds -528 >= -902 @ 3.505 4.97/5.03 c bounds -528 >= -901 @ 3.50542 4.97/5.03 c bounds -550 >= -901 @ 3.51073 4.97/5.03 c bounds -550 >= -900 @ 3.51162 4.97/5.03 c bounds -550 >= -899 @ 3.51241 4.97/5.03 c bounds -550 >= -898 @ 3.51286 4.97/5.03 c bounds -550 >= -897 @ 3.51323 4.97/5.03 c bounds -550 >= -896 @ 3.51354 4.97/5.03 c bounds -550 >= -895 @ 3.51381 4.97/5.03 c bounds -550 >= -894 @ 3.51405 4.97/5.03 c bounds -550 >= -893 @ 3.51487 4.97/5.03 c bounds -550 >= -892 @ 3.51548 4.97/5.03 c bounds -572 >= -892 @ 3.5199 4.97/5.03 c bounds -572 >= -891 @ 3.52079 4.97/5.03 c bounds -572 >= -890 @ 3.52148 4.97/5.03 c bounds -572 >= -889 @ 3.52213 4.97/5.03 c bounds -572 >= -888 @ 3.5232 4.97/5.03 c bounds -572 >= -887 @ 3.52376 4.97/5.03 c bounds -572 >= -886 @ 3.5248 4.97/5.03 c bounds -572 >= -885 @ 3.52726 4.97/5.03 c bounds -610 >= -885 @ 3.53263 4.97/5.03 c bounds -610 >= -884 @ 3.53396 4.97/5.03 c bounds -610 >= -883 @ 3.53562 4.97/5.03 c bounds -610 >= -882 @ 3.53809 4.97/5.03 c bounds -610 >= -881 @ 3.53838 4.97/5.03 c bounds -610 >= -880 @ 3.53992 4.97/5.03 c bounds -630 >= -880 @ 3.54516 4.97/5.03 c bounds -630 >= -879 @ 3.54724 4.97/5.03 c bounds -630 >= -878 @ 3.54819 4.97/5.03 c bounds -636 >= -878 @ 3.55264 4.97/5.03 c bounds -636 >= -877 @ 3.55796 4.97/5.03 c bounds -638 >= -877 @ 3.5652 4.97/5.03 c bounds -638 >= -876 @ 3.57124 4.97/5.03 c bounds -640 >= -876 @ 3.57495 4.97/5.03 c bounds -640 >= -875 @ 3.58372 4.97/5.03 c bounds -642 >= -875 @ 3.61865 4.97/5.03 c bounds -642 >= -874 @ 3.63403 4.97/5.03 c bounds -644 >= -874 @ 3.64918 4.97/5.03 c bounds -656 >= -874 @ 3.65267 4.97/5.03 c bounds -660 >= -874 @ 3.65467 4.97/5.03 c bounds -680 >= -874 @ 3.65644 4.97/5.03 c bounds -682 >= -874 @ 3.65973 4.97/5.03 c bounds -682 >= -873 @ 3.67455 4.97/5.03 c bounds -684 >= -873 @ 3.67903 4.97/5.03 c #Conflicts: 1000 | #Constraints: 108098 4.97/5.03 c bounds -686 >= -873 @ 3.86926 4.97/5.03 c bounds -686 >= -872 @ 3.88365 4.97/5.03 c bounds -686 >= -871 @ 3.90322 4.97/5.03 c bounds -686 >= -870 @ 3.93989 4.97/5.03 c bounds -688 >= -870 @ 3.96647 4.97/5.03 c bounds -690 >= -870 @ 3.96955 4.97/5.03 c bounds -692 >= -870 @ 3.97133 4.97/5.03 c bounds -694 >= -870 @ 3.97369 4.97/5.03 c bounds -696 >= -870 @ 3.97816 4.97/5.03 c bounds -698 >= -870 @ 3.98069 4.97/5.03 c bounds -700 >= -870 @ 3.98338 4.97/5.03 c bounds -706 >= -870 @ 3.9858 4.97/5.03 c #Conflicts: 2000 | #Constraints: 109293 4.97/5.03 c INPROCESSING 4.97/5.03 c GARBAGE COLLECT 4.97/5.03 WSVECS04 Frhs2[22]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[23]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[24]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[25]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[26]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[30]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[35]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[44]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[45]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[46]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[47]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[48]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[49]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[50]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[51]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[52]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[53]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[54]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[75]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[76]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[77]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[78]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[79]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[83]: 6 0 1.0001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[88]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[97]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[98]: 6 0 1.0001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[99]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[100]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[101]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[102]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[103]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[104]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[105]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[106]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[107]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[116]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[117]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[118]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[119]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[120]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[121]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[122]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[123]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[124]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[125]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[126]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[132]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[133]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[134]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[138]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[139]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[141]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[142]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[143]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[144]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[145]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[146]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[147]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[148]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[178]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[179]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[180]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[181]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[182]: 6 0 1.0001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[186]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[191]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[200]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[201]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[202]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[203]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[204]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[205]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[206]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[207]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[208]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[209]: 6 0 1.0001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[210]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[228]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[229]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[230]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[231]: 6 0 1.0001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[232]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[236]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[241]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[250]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[251]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[252]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[253]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[254]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[255]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[256]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[257]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[258]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[259]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[260]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[277]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[278]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[279]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[280]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[281]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[285]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[290]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[299]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[300]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[301]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[302]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[303]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[304]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[305]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[306]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[307]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[308]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[309]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[314]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[315]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[316]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[317]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[318]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[319]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[320]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[321]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[322]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[323]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[324]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[330]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[331]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[332]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[336]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[337]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[339]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[340]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[341]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[342]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[343]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[344]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[345]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[346]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[372]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[373]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[374]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[375]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[376]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[380]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[385]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[394]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[395]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[396]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[397]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[398]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[399]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[400]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[401]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[402]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[403]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[404]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[407]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[408]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[409]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[410]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[411]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[412]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[413]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[414]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[415]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[416]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[417]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[423]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[424]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[425]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[429]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[430]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[432]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[433]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[434]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[435]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[436]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[437]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[438]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[439]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[452]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[453]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[454]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[455]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[456]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[457]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[458]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[459]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[460]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[461]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[462]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[468]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[469]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[470]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[474]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[475]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[477]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[478]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[479]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[480]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[481]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[482]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[483]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[484]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[507]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[508]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[509]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[510]: 6 0 1.0001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[511]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[515]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[520]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[529]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[530]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[531]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[532]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[533]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[534]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[535]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[536]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[537]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[538]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[539]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[555]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[556]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[557]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[561]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[562]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[564]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[565]: 6 0 1.0001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[566]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[567]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[568]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[569]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[570]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[571]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[597]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[598]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[599]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[603]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[604]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[606]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[607]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[608]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[609]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[610]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[611]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[612]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[613]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[638]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[639]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[640]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[644]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[645]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[647]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[648]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[649]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[650]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[651]: 6 0 1.0001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[652]: 6 0 1.0001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[653]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[654]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[678]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[679]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[680]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[684]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[685]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[687]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[688]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[689]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[690]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[691]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[692]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[693]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[694]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[717]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[718]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[719]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[723]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[724]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[726]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[727]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[728]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[729]: 6 0 1.0001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[730]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[731]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[732]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[733]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[755]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[756]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[757]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[761]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[762]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[764]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[765]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[766]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[767]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[768]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[769]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[770]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[771]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[792]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[793]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[794]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[798]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[799]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[801]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[802]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[803]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[804]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[805]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[806]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[807]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[808]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[828]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[829]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[830]: 6 0 1.0001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[834]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[835]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[837]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[838]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[839]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[840]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[841]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[842]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[843]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[844]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[863]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[864]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[865]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[869]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[870]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[872]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[873]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[874]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[875]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[876]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[877]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[878]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[879]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[897]: 6 0 1.0001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[898]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[899]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[903]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[904]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[906]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[907]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[908]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[909]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[910]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[911]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[912]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[913]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[930]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[931]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[932]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[936]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[937]: 6 0 1.0001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[939]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[940]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[941]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[942]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[943]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[944]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[945]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[946]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[970]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[979]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[980]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[981]: 6 0 1.0001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[982]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[983]: 6 0 1.0001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[984]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[985]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[986]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[987]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[988]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[989]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1001]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1010]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1011]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1012]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1013]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1014]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1015]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1016]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1017]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1018]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1019]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1020]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1031]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1040]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1041]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1042]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1043]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1044]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1045]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1046]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1047]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1048]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1049]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1050]: 6 0 1.0001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1060]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1069]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1070]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1071]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1072]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1073]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1074]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1075]: 6 0 1.0001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1076]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1077]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1078]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1079]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1088]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1097]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1098]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1099]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1100]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1101]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1102]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1103]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1104]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1105]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1106]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1107]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1113]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1114]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1116]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1117]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1118]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1119]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1120]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1121]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1122]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1123]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1139]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1140]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1142]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1143]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1144]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1145]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1146]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1147]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1148]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1149]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1164]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1165]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1167]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1168]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1169]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1170]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1171]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1172]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1173]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1174]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1190]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1199]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1200]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1201]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1202]: 6 0 1.0001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1203]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1204]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1205]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1206]: 6 0 1.00002 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1207]: 6 0 1.00008 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1208]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1209]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1304]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1305]: 6 0 1.00007 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1306]: 6 0 1.00006 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1307]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1308]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1309]: 6 0 1.00005 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1310]: 6 0 1.0001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1311]: 6 0 1.00003 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1312]: 6 0 1.00009 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1313]: 6 0 1.00001 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1314]: 6 0 1.00004 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1341]: 6 -1.00003 0 shouldn't be 4.97/5.03 WSVECS04 Frhs2[1376]: 6 -1.00003 0 shouldn't be 14.24/14.32 c bounds -712 >= -870 @ 11.5075 14.24/14.32 c #Conflicts: 3000 | #Constraints: 108903 14.24/14.32 c bounds -714 >= -870 @ 13.053 14.24/14.32 WSVECS04 Frhs2[20]: 6 0 1.0001 shouldn't be 14.24/14.32 WSVECS04 Frhs2[35]: 6 0 1.00005 shouldn't be 14.24/14.32 WSVECS04 Frhs2[45]: 6 0 1.00002 shouldn't be 14.24/14.32 WSVECS04 Frhs2[46]: 6 0 1.00006 shouldn't be 14.24/14.32 WSVECS04 Frhs2[52]: 6 0 1.00002 shouldn't be 14.24/14.32 WSVECS04 Frhs2[54]: 6 0 1.00006 shouldn't be 14.24/14.32 WSVECS04 Frhs2[73]: 6 0 1.00002 shouldn't be 14.24/14.32 WSVECS04 Frhs2[75]: 6 0 1.00002 shouldn't be 14.24/14.32 WSVECS04 Frhs2[78]: 6 0 1.00008 shouldn't be 14.24/14.32 WSVECS04 Frhs2[98]: 6 0 1.00008 shouldn't be 14.24/14.32 WSVECS04 Frhs2[99]: 6 0 1.00008 shouldn't be 14.24/14.32 WSVECS04 Frhs2[117]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[118]: 6 0 1.00006 shouldn't be 14.24/14.32 WSVECS04 Frhs2[119]: 6 0 1.00005 shouldn't be 14.24/14.32 WSVECS04 Frhs2[122]: 6 0 1.00005 shouldn't be 14.24/14.32 WSVECS04 Frhs2[123]: 6 0 1.00006 shouldn't be 14.24/14.32 WSVECS04 Frhs2[124]: 6 0 1.0001 shouldn't be 14.24/14.32 WSVECS04 Frhs2[133]: 6 0 1.00001 shouldn't be 14.24/14.32 WSVECS04 Frhs2[136]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[138]: 6 0 1.00009 shouldn't be 14.24/14.32 WSVECS04 Frhs2[141]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[143]: 6 0 1.00002 shouldn't be 14.24/14.32 WSVECS04 Frhs2[144]: 6 0 1.00002 shouldn't be 14.24/14.32 WSVECS04 Frhs2[145]: 6 0 1.00002 shouldn't be 14.24/14.32 WSVECS04 Frhs2[147]: 6 0 1.00007 shouldn't be 14.24/14.32 WSVECS04 Frhs2[176]: 6 0 1.00009 shouldn't be 14.24/14.32 WSVECS04 Frhs2[180]: 6 0 1.00003 shouldn't be 14.24/14.32 WSVECS04 Frhs2[201]: 6 0 1.00002 shouldn't be 14.24/14.32 WSVECS04 Frhs2[204]: 6 0 1.00008 shouldn't be 14.24/14.32 WSVECS04 Frhs2[205]: 6 0 1.00001 shouldn't be 14.24/14.32 WSVECS04 Frhs2[206]: 6 0 1.00002 shouldn't be 14.24/14.32 WSVECS04 Frhs2[208]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[209]: 6 0 1.00006 shouldn't be 14.24/14.32 WSVECS04 Frhs2[226]: 6 0 1.00006 shouldn't be 14.24/14.32 WSVECS04 Frhs2[258]: 6 0 1.00003 shouldn't be 14.24/14.32 WSVECS04 Frhs2[259]: 6 0 1.00008 shouldn't be 14.24/14.32 WSVECS04 Frhs2[275]: 6 0 1.00009 shouldn't be 14.24/14.32 WSVECS04 Frhs2[281]: 6 0 1.00001 shouldn't be 14.24/14.32 WSVECS04 Frhs2[300]: 6 0 1.00009 shouldn't be 14.24/14.32 WSVECS04 Frhs2[304]: 6 0 1.00001 shouldn't be 14.24/14.32 WSVECS04 Frhs2[315]: 6 0 1.00003 shouldn't be 14.24/14.32 WSVECS04 Frhs2[316]: 6 0 1.00005 shouldn't be 14.24/14.32 WSVECS04 Frhs2[317]: 6 0 1.00007 shouldn't be 14.24/14.32 WSVECS04 Frhs2[319]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[320]: 6 0 1.00007 shouldn't be 14.24/14.32 WSVECS04 Frhs2[322]: 6 0 1.00008 shouldn't be 14.24/14.32 WSVECS04 Frhs2[342]: 6 0 1.00005 shouldn't be 14.24/14.32 WSVECS04 Frhs2[346]: 6 0 1.00002 shouldn't be 14.24/14.32 WSVECS04 Frhs2[370]: 6 0 1.00008 shouldn't be 14.24/14.32 WSVECS04 Frhs2[376]: 6 0 1.00002 shouldn't be 14.24/14.32 WSVECS04 Frhs2[396]: 6 0 1.00005 shouldn't be 14.24/14.32 WSVECS04 Frhs2[397]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[402]: 6 0 1.00006 shouldn't be 14.24/14.32 WSVECS04 Frhs2[408]: 6 0 1.00006 shouldn't be 14.24/14.32 WSVECS04 Frhs2[410]: 6 0 1.00005 shouldn't be 14.24/14.32 WSVECS04 Frhs2[412]: 6 0 1.00007 shouldn't be 14.24/14.32 WSVECS04 Frhs2[413]: 6 0 1.00003 shouldn't be 14.24/14.32 WSVECS04 Frhs2[415]: 6 0 1.00003 shouldn't be 14.24/14.32 WSVECS04 Frhs2[427]: 6 0 1.0001 shouldn't be 14.24/14.32 WSVECS04 Frhs2[430]: 6 0 1.00002 shouldn't be 14.24/14.32 WSVECS04 Frhs2[436]: 6 0 1.00006 shouldn't be 14.24/14.32 WSVECS04 Frhs2[439]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[453]: 6 0 1.00006 shouldn't be 14.24/14.32 WSVECS04 Frhs2[455]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[457]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[459]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[460]: 6 0 1.00009 shouldn't be 14.24/14.32 WSVECS04 Frhs2[472]: 6 0 1.00007 shouldn't be 14.24/14.32 WSVECS04 Frhs2[474]: 6 0 1.00003 shouldn't be 14.24/14.32 WSVECS04 Frhs2[475]: 6 0 1.00008 shouldn't be 14.24/14.32 WSVECS04 Frhs2[484]: 6 0 1.00008 shouldn't be 14.24/14.32 WSVECS04 Frhs2[505]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[507]: 6 0 1.00006 shouldn't be 14.24/14.32 WSVECS04 Frhs2[508]: 6 0 1.00005 shouldn't be 14.24/14.32 WSVECS04 Frhs2[510]: 6 0 1.00007 shouldn't be 14.24/14.32 WSVECS04 Frhs2[511]: 6 0 1.0001 shouldn't be 14.24/14.32 WSVECS04 Frhs2[520]: 6 0 1.00009 shouldn't be 14.24/14.32 WSVECS04 Frhs2[529]: 6 0 1.00007 shouldn't be 14.24/14.32 WSVECS04 Frhs2[530]: 6 0 1.00008 shouldn't be 14.24/14.32 WSVECS04 Frhs2[531]: 6 0 1.00001 shouldn't be 14.24/14.32 WSVECS04 Frhs2[532]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[533]: 6 0 1.00006 shouldn't be 14.24/14.32 WSVECS04 Frhs2[534]: 6 0 1.00002 shouldn't be 14.24/14.32 WSVECS04 Frhs2[535]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[536]: 6 0 1.00007 shouldn't be 14.24/14.32 WSVECS04 Frhs2[537]: 6 0 1.00006 shouldn't be 14.24/14.32 WSVECS04 Frhs2[538]: 6 0 1.00009 shouldn't be 14.24/14.32 WSVECS04 Frhs2[539]: 6 0 1.00001 shouldn't be 14.24/14.32 WSVECS04 Frhs2[601]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[607]: 6 0 1.0001 shouldn't be 14.24/14.32 WSVECS04 Frhs2[610]: 6 0 1.00001 shouldn't be 14.24/14.32 WSVECS04 Frhs2[612]: 6 0 1.00008 shouldn't be 14.24/14.32 WSVECS04 Frhs2[642]: 6 0 1.00003 shouldn't be 14.24/14.32 WSVECS04 Frhs2[647]: 6 0 1.00007 shouldn't be 14.24/14.32 WSVECS04 Frhs2[648]: 6 0 1.00009 shouldn't be 14.24/14.32 WSVECS04 Frhs2[649]: 6 0 1.00007 shouldn't be 14.24/14.32 WSVECS04 Frhs2[650]: 6 0 1.00009 shouldn't be 14.24/14.32 WSVECS04 Frhs2[651]: 6 0 1.00008 shouldn't be 14.24/14.32 WSVECS04 Frhs2[652]: 6 0 1.00008 shouldn't be 14.24/14.32 WSVECS04 Frhs2[654]: 6 0 1.00005 shouldn't be 14.24/14.32 WSVECS04 Frhs2[679]: 6 0 1.00009 shouldn't be 14.24/14.32 WSVECS04 Frhs2[682]: 6 0 1.00001 shouldn't be 14.24/14.32 WSVECS04 Frhs2[684]: 6 0 1.00001 shouldn't be 14.24/14.32 WSVECS04 Frhs2[685]: 6 0 1.00008 shouldn't be 14.24/14.32 WSVECS04 Frhs2[687]: 6 0 1.00003 shouldn't be 14.24/14.32 WSVECS04 Frhs2[688]: 6 0 1.00006 shouldn't be 14.24/14.32 WSVECS04 Frhs2[690]: 6 0 1.00005 shouldn't be 14.24/14.32 WSVECS04 Frhs2[691]: 6 0 1.00007 shouldn't be 14.24/14.32 WSVECS04 Frhs2[692]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[693]: 6 0 1.00003 shouldn't be 14.24/14.32 WSVECS04 Frhs2[756]: 6 0 1.00002 shouldn't be 14.24/14.32 WSVECS04 Frhs2[759]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[761]: 6 0 1.00009 shouldn't be 14.24/14.32 WSVECS04 Frhs2[762]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[764]: 6 0 1.00006 shouldn't be 14.24/14.32 WSVECS04 Frhs2[765]: 6 0 1.00009 shouldn't be 14.24/14.32 WSVECS04 Frhs2[767]: 6 0 1.00009 shouldn't be 14.24/14.32 WSVECS04 Frhs2[768]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[769]: 6 0 1.00007 shouldn't be 14.24/14.32 WSVECS04 Frhs2[770]: 6 0 1.00003 shouldn't be 14.24/14.32 WSVECS04 Frhs2[796]: 6 0 1.0001 shouldn't be 14.24/14.32 WSVECS04 Frhs2[799]: 6 0 1.00002 shouldn't be 14.24/14.32 WSVECS04 Frhs2[807]: 6 0 1.00006 shouldn't be 14.24/14.32 WSVECS04 Frhs2[829]: 6 0 1.00002 shouldn't be 14.24/14.32 WSVECS04 Frhs2[834]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[835]: 6 0 1.00008 shouldn't be 14.24/14.32 WSVECS04 Frhs2[837]: 6 0 1.00005 shouldn't be 14.24/14.32 WSVECS04 Frhs2[838]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[839]: 6 0 1.00007 shouldn't be 14.24/14.32 WSVECS04 Frhs2[840]: 6 0 1.00001 shouldn't be 14.24/14.32 WSVECS04 Frhs2[841]: 6 0 1.00005 shouldn't be 14.24/14.32 WSVECS04 Frhs2[842]: 6 0 1.00005 shouldn't be 14.24/14.32 WSVECS04 Frhs2[843]: 6 0 1.00003 shouldn't be 14.24/14.32 WSVECS04 Frhs2[844]: 6 0 1.00003 shouldn't be 14.24/14.32 WSVECS04 Frhs2[864]: 6 0 1.00007 shouldn't be 14.24/14.32 WSVECS04 Frhs2[867]: 6 0 1.00005 shouldn't be 14.24/14.32 WSVECS04 Frhs2[869]: 6 0 1.00003 shouldn't be 14.24/14.32 WSVECS04 Frhs2[870]: 6 0 1.00006 shouldn't be 14.24/14.32 WSVECS04 Frhs2[875]: 6 0 1.00003 shouldn't be 14.24/14.32 WSVECS04 Frhs2[876]: 6 0 1.0001 shouldn't be 14.24/14.32 WSVECS04 Frhs2[877]: 6 0 1.00004 shouldn't be 14.24/14.32 WSVECS04 Frhs2[878]: 6 0 1.00009 shouldn't be 14.24/14.32 WSVECS04 Frhs2[879]: 6 0 1.00008 shouldn't be 14.24/14.32 WSVECS04 Frhs2[892]: 6 0 1.00008 shouldn't be 14.24/14.32 WSVECS04 Frhs2[893]: 6 0 1.00007 shouldn't be 14.24/14.32 WSVECS04 Frhs2[894]: 6 0 1.00005 shouldn't be 14.24/14.32 WSVECS04 Frhs2[895]: 6 0 1.00009 shouldn't be 14.24/14.32 WSVECS04 Frhs2[896]: 6 0 1.00004 shouldn't be 14.24/14.33 WSVECS04 Frhs2[905]: 6 0 1.00005 shouldn't be 14.24/14.33 WSVECS04 Frhs2[914]: 6 0 1.00009 shouldn't be 14.24/14.33 WSVECS04 Frhs2[915]: 6 0 1.00006 shouldn't be 14.24/14.33 WSVECS04 Frhs2[917]: 6 0 1.00001 shouldn't be 14.24/14.33 WSVECS04 Frhs2[918]: 6 0 1.00004 shouldn't be 14.24/14.33 WSVECS04 Frhs2[919]: 6 0 1.00005 shouldn't be 14.24/14.33 WSVECS04 Frhs2[920]: 6 0 1.00002 shouldn't be 14.24/14.33 WSVECS04 Frhs2[921]: 6 0 1.0001 shouldn't be 14.24/14.33 WSVECS04 Frhs2[922]: 6 0 1.00004 shouldn't be 14.24/14.33 WSVECS04 Frhs2[923]: 6 0 1.00005 shouldn't be 14.24/14.33 WSVECS04 Frhs2[924]: 6 0 1.00009 shouldn't be 14.24/14.33 WSVECS04 Frhs2[934]: 6 0 1.00008 shouldn't be 14.24/14.33 WSVECS04 Frhs2[984]: 6 0 1.00002 shouldn't be 14.24/14.33 WSVECS04 Frhs2[989]: 6 0 1.00002 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1015]: 6 0 1.00001 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1047]: 6 0 1.00004 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1060]: 6 0 1.00004 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1075]: 6 0 1.00002 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1088]: 6 0 1.00006 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1099]: 6 0 1.00001 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1107]: 6 0 1.00008 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1142]: 6 0 1.00005 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1148]: 6 0 1.00009 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1211]: 6 0 1.00005 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1212]: 6 0 1.00005 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1214]: 6 0 1.00008 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1215]: 6 0 1.00006 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1216]: 6 0 1.00008 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1217]: 6 0 1.00003 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1218]: 6 0 1.00008 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1219]: 6 0 1.00001 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1220]: 6 0 1.00005 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1221]: 6 0 1.0001 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1306]: 6 0 1.00002 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1308]: 6 0 1.00004 shouldn't be 14.24/14.33 WSVECS04 Frhs2[1312]: 6 0 1.00002 shouldn't be 17.23/17.36 WSVECS04 Frhs2[48]: 6 0 1.00003 shouldn't be 17.23/17.36 WSVECS04 Frhs2[49]: 6 0 1.00002 shouldn't be 17.23/17.36 WSVECS04 Frhs2[121]: 6 0 1.00002 shouldn't be 17.23/17.36 WSVECS04 Frhs2[179]: 6 0 1.00004 shouldn't be 17.23/17.36 WSVECS04 Frhs2[182]: 6 0 1.00002 shouldn't be 17.23/17.36 WSVECS04 Frhs2[230]: 6 0 1.00002 shouldn't be 17.23/17.36 WSVECS04 Frhs2[231]: 6 0 1.00001 shouldn't be 17.23/17.36 WSVECS04 Frhs2[277]: 6 0 1.00004 shouldn't be 17.23/17.36 WSVECS04 Frhs2[299]: 6 0 1.00002 shouldn't be 17.23/17.36 WSVECS04 Frhs2[385]: 6 0 1.00002 shouldn't be 17.23/17.36 WSVECS04 Frhs2[400]: 6 0 1.00002 shouldn't be 17.23/17.36 WSVECS04 Frhs2[404]: 6 0 1.00002 shouldn't be 17.23/17.36 WSVECS04 Frhs2[509]: 6 0 1.00001 shouldn't be 17.23/17.36 WSVECS04 Frhs2[606]: 6 0 1.00001 shouldn't be 17.23/17.36 WSVECS04 Frhs2[611]: 6 0 1.00003 shouldn't be 17.23/17.36 WSVECS04 Frhs2[644]: 6 0 1.00001 shouldn't be 17.23/17.36 WSVECS04 Frhs2[872]: 6 0 1.00003 shouldn't be 17.23/17.36 WSVECS04 Frhs2[873]: 6 0 1.00002 shouldn't be 17.23/17.36 WSVECS04 Frhs2[874]: 6 0 1.00002 shouldn't be 17.23/17.36 WSVECS04 Frhs2[945]: 6 0 1.00001 shouldn't be 17.23/17.36 WSVECS04 Frhs2[946]: 6 0 1.00002 shouldn't be 17.23/17.36 WSVECS04 Frhs2[980]: 6 0 1.00002 shouldn't be 17.23/17.36 WSVECS04 Frhs2[1014]: 6 0 1.00001 shouldn't be 17.23/17.36 WSVECS04 Frhs2[1044]: 6 0 1.00003 shouldn't be 17.23/17.36 WSVECS04 Frhs2[1069]: 6 0 1.00002 shouldn't be 17.23/17.36 WSVECS04 Frhs2[1098]: 6 0 1.00004 shouldn't be 17.23/17.36 WSVECS04 Frhs2[1305]: 6 0 1.00003 shouldn't be 25.60/25.73 WSVECS04 Frhs2[1146]: 6 0 1.00006 shouldn't be 56.51/56.73 c bounds -714 >= -869 @ 31.5322 56.51/56.73 c #Conflicts: 4000 | #Constraints: 109949 56.51/56.73 c INPROCESSING 56.51/56.73 c GARBAGE COLLECT 56.51/56.73 c bounds -714 >= -868 @ 31.6021 56.51/56.73 c bounds -714 >= -867 @ 31.6729 56.51/56.73 c #Conflicts: 5000 | #Constraints: 109405 56.51/56.73 c bounds -726 >= -867 @ 31.6976 56.51/56.73 c #Conflicts: 6000 | #Constraints: 110406 56.51/56.73 c INPROCESSING 56.51/56.73 c GARBAGE COLLECT 56.51/56.73 WSVECS04 Frhs2[516]: 6 0 1.00009 shouldn't be 56.51/56.73 WSVECS04 Frhs2[832]: 6 0 1.00008 shouldn't be 56.51/56.73 WSVECS04 Frhs2[1132]: 6 0 1.00006 shouldn't be 74.55/74.87 WSVECS04 Frhs2[503]: 6 0 1.00005 shouldn't be 235.15/235.92 c #Conflicts: 7000 | #Constraints: 109400 235.15/235.92 c bounds -726 >= -866 @ 85.6601 235.15/235.92 c #Conflicts: 8000 | #Constraints: 110463 235.15/235.92 c #Conflicts: 9000 | #Constraints: 111463 235.15/235.92 c bounds -726 >= -865 @ 85.928 235.15/235.92 c INPROCESSING 235.15/235.92 c #Conflicts: 10000 | #Constraints: 110209 235.15/235.92 c #Conflicts: 11000 | #Constraints: 111209 235.15/235.92 c #Conflicts: 12000 | #Constraints: 112214 235.15/235.92 c #Conflicts: 13000 | #Constraints: 113216 235.15/235.92 c #Conflicts: 14000 | #Constraints: 114219 235.15/235.92 c #Conflicts: 15000 | #Constraints: 115223 235.15/235.92 c #Conflicts: 16000 | #Constraints: 116231 235.15/235.92 c INPROCESSING 235.15/235.92 c GARBAGE COLLECT 235.15/235.92 c #Conflicts: 17000 | #Constraints: 112427 235.15/235.92 c bounds -726 >= -864 @ 167.918 235.15/235.92 c #Conflicts: 18000 | #Constraints: 113484 235.15/235.92 c #Conflicts: 19000 | #Constraints: 114484 235.15/235.92 c bounds -726 >= -863 @ 168.354 235.15/235.92 c #Conflicts: 20000 | #Constraints: 115526 235.15/235.92 c INPROCESSING 235.15/235.92 c GARBAGE COLLECT 235.15/235.92 c #Conflicts: 21000 | #Constraints: 112197 235.15/235.92 c #Conflicts: 22000 | #Constraints: 113197 235.15/235.92 c #Conflicts: 23000 | #Constraints: 114197 235.15/235.92 c #Conflicts: 24000 | #Constraints: 115197 235.15/235.92 c INPROCESSING 235.15/235.92 c rational objective -806.667 306.83/307.84 c #Conflicts: 25000 | #Constraints: 112427 306.83/307.84 c #Conflicts: 26000 | #Constraints: 113427 306.83/307.84 c #Conflicts: 27000 | #Constraints: 114427 306.83/307.84 c #Conflicts: 28000 | #Constraints: 115427 306.83/307.84 c #Conflicts: 29000 | #Constraints: 116427 306.83/307.84 c #Conflicts: 30000 | #Constraints: 117427 306.83/307.84 c #Conflicts: 31000 | #Constraints: 118427 306.83/307.84 c #Conflicts: 32000 | #Constraints: 119427 306.83/307.84 c #Conflicts: 33000 | #Constraints: 120427 306.83/307.84 c #Conflicts: 34000 | #Constraints: 121427 306.83/307.84 c #Conflicts: 35000 | #Constraints: 122427 306.83/307.84 c #Conflicts: 36000 | #Constraints: 123427 306.83/307.84 c INPROCESSING 306.83/307.84 c GARBAGE COLLECT 306.83/307.84 c #Conflicts: 37000 | #Constraints: 116338 306.83/307.84 c #Conflicts: 38000 | #Constraints: 117338 306.83/307.84 c #Conflicts: 39000 | #Constraints: 118338 306.83/307.84 c bounds -726 >= -862 @ 278.721 306.83/307.84 c #Conflicts: 40000 | #Constraints: 119440 306.83/307.84 c #Conflicts: 41000 | #Constraints: 120440 306.83/307.84 c INPROCESSING 306.83/307.84 c GARBAGE COLLECT 306.83/307.84 c #Conflicts: 42000 | #Constraints: 114728 306.83/307.84 c #Conflicts: 43000 | #Constraints: 115728 306.83/307.84 c #Conflicts: 44000 | #Constraints: 116728 306.83/307.84 c bounds -726 >= -861 @ 280.555 306.83/307.84 c #Conflicts: 45000 | #Constraints: 117785 306.83/307.84 c #Conflicts: 46000 | #Constraints: 118785 306.83/307.84 c #Conflicts: 47000 | #Constraints: 119785 306.83/307.84 c INPROCESSING 306.83/307.84 c GARBAGE COLLECT 306.83/307.84 WSVECS04 Frhs2[1226]: 6 0 1.00006 shouldn't be 306.83/307.84 WSVECS04 Frhs2[1230]: 6 0 1.00003 shouldn't be 306.83/307.84 WSVECS04 Frhs2[1231]: 6 0 1.00004 shouldn't be 418.77/420.12 c #Conflicts: 48000 | #Constraints: 115302 418.77/420.12 c #Conflicts: 49000 | #Constraints: 116302 418.77/420.12 c #Conflicts: 50000 | #Constraints: 117302 418.77/420.12 c #Conflicts: 51000 | #Constraints: 118302 418.77/420.12 c #Conflicts: 52000 | #Constraints: 119302 418.77/420.12 c #Conflicts: 53000 | #Constraints: 120302 418.77/420.12 c #Conflicts: 54000 | #Constraints: 121302 418.77/420.12 c #Conflicts: 55000 | #Constraints: 122302 418.77/420.12 c #Conflicts: 56000 | #Constraints: 123302 418.77/420.12 c #Conflicts: 57000 | #Constraints: 124302 418.77/420.12 c #Conflicts: 58000 | #Constraints: 125302 418.77/420.12 c #Conflicts: 59000 | #Constraints: 126302 418.77/420.12 WSVECS04 Frhs2[179]: 6 -3.00005 0 shouldn't be 418.77/420.12 WSVECS04 Frhs2[188]: 6 -5.35422 0 shouldn't be 421.67/423.01 WSVECS04 Frhs2[162]: 6 -1.00006 0 shouldn't be 590.70/592.63 c #Conflicts: 60000 | #Constraints: 127303 590.70/592.63 c #Conflicts: 61000 | #Constraints: 128303 590.70/592.63 c #Conflicts: 62000 | #Constraints: 129303 590.70/592.63 c INPROCESSING 590.70/592.63 c GARBAGE COLLECT 590.70/592.63 c #Conflicts: 63000 | #Constraints: 119022 590.70/592.63 c #Conflicts: 64000 | #Constraints: 120022 590.70/592.63 c #Conflicts: 65000 | #Constraints: 121022 590.70/592.63 c #Conflicts: 66000 | #Constraints: 122022 590.70/592.63 c #Conflicts: 67000 | #Constraints: 123022 590.70/592.63 c #Conflicts: 68000 | #Constraints: 124022 590.70/592.63 c bounds -726 >= -860 @ 509.137 590.70/592.63 c #Conflicts: 69000 | #Constraints: 125091 590.70/592.63 c INPROCESSING 590.70/592.63 c GARBAGE COLLECT 590.70/592.63 c #Conflicts: 70000 | #Constraints: 117024 590.70/592.63 c #Conflicts: 71000 | #Constraints: 118024 590.70/592.63 c #Conflicts: 72000 | #Constraints: 119024 590.70/592.63 c bounds -726 >= -859 @ 511.084 590.70/592.63 c #Conflicts: 73000 | #Constraints: 120060 590.70/592.63 c #Conflicts: 74000 | #Constraints: 121060 590.70/592.63 c #Conflicts: 75000 | #Constraints: 122060 590.70/592.63 c #Conflicts: 76000 | #Constraints: 123060 590.70/592.63 c #Conflicts: 77000 | #Constraints: 124060 590.70/592.63 c #Conflicts: 78000 | #Constraints: 125060 590.70/592.63 c #Conflicts: 79000 | #Constraints: 126060 590.70/592.63 c #Conflicts: 80000 | #Constraints: 127060 590.70/592.63 c #Conflicts: 81000 | #Constraints: 128060 590.70/592.63 c #Conflicts: 82000 | #Constraints: 129060 590.70/592.63 c #Conflicts: 83000 | #Constraints: 130060 590.70/592.63 c #Conflicts: 84000 | #Constraints: 131060 590.70/592.63 c #Conflicts: 85000 | #Constraints: 132060 590.70/592.63 c #Conflicts: 86000 | #Constraints: 133060 590.70/592.63 c #Conflicts: 87000 | #Constraints: 134062 590.70/592.63 c #Conflicts: 88000 | #Constraints: 135064 590.70/592.63 c INPROCESSING 590.70/592.63 c GARBAGE COLLECT 590.70/592.63 c rational objective -806.667 702.20/704.56 c #Conflicts: 89000 | #Constraints: 122108 702.20/704.56 c #Conflicts: 90000 | #Constraints: 123108 702.20/704.56 c #Conflicts: 91000 | #Constraints: 124108 702.20/704.56 c bounds -726 >= -858 @ 605.683 702.20/704.56 c #Conflicts: 92000 | #Constraints: 125141 702.20/704.56 c #Conflicts: 93000 | #Constraints: 126141 702.20/704.56 c #Conflicts: 94000 | #Constraints: 127141 702.20/704.56 c bounds -726 >= -857 @ 607.279 702.20/704.56 c #Conflicts: 95000 | #Constraints: 128186 702.20/704.56 c #Conflicts: 96000 | #Constraints: 129186 702.20/704.56 c INPROCESSING 702.20/704.56 c GARBAGE COLLECT 702.20/704.56 c rational objective -806.667 720.63/723.04 c #Conflicts: 97000 | #Constraints: 119031 720.63/723.04 c #Conflicts: 98000 | #Constraints: 120031 720.63/723.04 c #Conflicts: 99000 | #Constraints: 121031 720.63/723.04 c #Conflicts: 100000 | #Constraints: 122031 720.63/723.04 c #Conflicts: 101000 | #Constraints: 123032 720.63/723.04 c #Conflicts: 102000 | #Constraints: 124032 720.63/723.04 c #Conflicts: 103000 | #Constraints: 125032 720.63/723.04 c #Conflicts: 104000 | #Constraints: 126032 720.63/723.04 WSVECS04 Frhs2[213]: 6 -1.00004 0 shouldn't be 720.63/723.04 WSVECS04 Frhs2[359]: 6 -0.345316 0 shouldn't be 720.63/723.04 WSVECS04 Frhs2[362]: 6 0 1.34529 shouldn't be 720.63/723.04 WSVECS04 Frhs2[364]: 6 -0.154215 0 shouldn't be 720.63/723.04 WSVECS04 Frhs2[369]: 6 0 0.144565 shouldn't be 720.63/723.04 WSVECS04 Frhs2[370]: 6 -0.268066 0 shouldn't be 720.63/723.04 WSVECS04 Frhs2[372]: 6 0 1.00001 shouldn't be 720.63/723.04 WSVECS04 Frhs2[375]: 6 0 0.13021 shouldn't be 720.63/723.04 WSVECS04 Frhs2[378]: 6 0 1.477 shouldn't be 720.63/723.04 WSVECS04 Frhs2[379]: 6 0 0.138948 shouldn't be 720.63/723.04 WSVECS04 Frhs2[381]: 6 0 1.69484 shouldn't be 720.63/723.04 WSVECS04 Frhs2[383]: 6 0 2.89203 shouldn't be 720.63/723.04 WSVECS04 Frhs2[384]: 6 -0.154219 0 shouldn't be 720.63/723.04 WSVECS04 Frhs2[386]: 6 -0.00522991 0 shouldn't be 720.63/723.04 WSVECS04 Frhs2[387]: 6 0 0.0716648 shouldn't be 720.63/723.04 WSVECS04 Frhs2[389]: 6 -1.39822 0 shouldn't be 720.63/723.04 WSVECS04 Frhs2[394]: 6 0 1.00006 shouldn't be 720.63/723.04 WSVECS04 Frhs2[395]: 6 0 1.00009 shouldn't be 720.63/723.04 WSVECS04 Frhs2[399]: 6 -2.24113 0 shouldn't be 720.63/723.04 WSVECS04 Frhs2[404]: 6 0 2.89207 shouldn't be 863.22/866.13 c #Conflicts: 105000 | #Constraints: 127033 863.22/866.13 c #Conflicts: 106000 | #Constraints: 128033 863.22/866.13 c #Conflicts: 107000 | #Constraints: 129034 863.22/866.13 c #Conflicts: 108000 | #Constraints: 130035 863.22/866.13 c #Conflicts: 109000 | #Constraints: 131036 863.22/866.13 c #Conflicts: 110000 | #Constraints: 132037 863.22/866.13 c #Conflicts: 111000 | #Constraints: 133038 863.22/866.13 c #Conflicts: 112000 | #Constraints: 134039 863.22/866.13 c #Conflicts: 113000 | #Constraints: 135042 863.22/866.13 c #Conflicts: 114000 | #Constraints: 136046 863.22/866.13 c #Conflicts: 115000 | #Constraints: 137049 863.22/866.13 c #Conflicts: 116000 | #Constraints: 138057 863.22/866.13 c #Conflicts: 117000 | #Constraints: 139063 863.22/866.13 c #Conflicts: 118000 | #Constraints: 140065 863.22/866.13 c INPROCESSING 863.22/866.13 c GARBAGE COLLECT 863.22/866.13 c #Conflicts: 119000 | #Constraints: 124607 863.22/866.13 c #Conflicts: 120000 | #Constraints: 125607 863.22/866.13 c #Conflicts: 121000 | #Constraints: 126607 863.22/866.13 c bounds -726 >= -856 @ 842.49 863.22/866.13 c #Conflicts: 122000 | #Constraints: 127649 863.22/866.13 c #Conflicts: 123000 | #Constraints: 128649 863.22/866.13 c #Conflicts: 124000 | #Constraints: 129649 863.22/866.13 c #Conflicts: 125000 | #Constraints: 130649 863.22/866.13 c bounds -726 >= -855 @ 845.031 863.22/866.13 c #Conflicts: 126000 | #Constraints: 131715 863.22/866.13 c #Conflicts: 127000 | #Constraints: 132715 863.22/866.13 c #Conflicts: 128000 | #Constraints: 133715 863.22/866.13 c INPROCESSING 863.22/866.13 c GARBAGE COLLECT 863.22/866.13 WSVECS04 Frhs2[133]: 6 0 1.00005 shouldn't be 863.22/866.13 WSVECS04 Frhs2[283]: 6 0 1.00007 shouldn't be 863.22/866.13 WSVECS04 Frhs2[286]: 6 0 1.00006 shouldn't be 863.22/866.13 WSVECS04 Frhs2[287]: 6 0 1.00005 shouldn't be 863.22/866.13 WSVECS04 Frhs2[296]: 6 0 1.00006 shouldn't be 863.22/866.13 WSVECS04 Frhs2[378]: 6 0 1.00006 shouldn't be 863.22/866.13 WSVECS04 Frhs2[391]: 6 0 1.00003 shouldn't be 863.22/866.13 WSVECS04 Frhs2[394]: 6 0 1.00007 shouldn't be 863.22/866.13 WSVECS04 Frhs2[623]: 6 0 1.00003 shouldn't be 863.22/866.13 WSVECS04 Frhs2[624]: 6 0 1.00009 shouldn't be 863.22/866.13 WSVECS04 Frhs2[638]: 6 0 1.00006 shouldn't be 863.22/866.13 WSVECS04 Frhs2[665]: 6 0 1.00005 shouldn't be 863.22/866.13 WSVECS04 Frhs2[757]: 6 0 1.00004 shouldn't be 863.22/866.13 WSVECS04 Frhs2[890]: 6 0 1.0001 shouldn't be 863.22/866.13 WSVECS04 Frhs2[1132]: 6 0 1.00007 shouldn't be 863.22/866.13 WSVECS04 Frhs2[1133]: 6 0 1.00004 shouldn't be 863.22/866.13 WSVECS04 Frhs2[1184]: 6 0 1.00002 shouldn't be 863.22/866.13 WSVECS04 Frhs2[1241]: 6 0 1.00004 shouldn't be 885.33/888.38 WSVECS04 Frhs2[85]: 6 0 1.00008 shouldn't be 885.33/888.38 WSVECS04 Frhs2[146]: 6 0 1.00007 shouldn't be 885.33/888.38 WSVECS04 Frhs2[149]: 6 0 1.00002 shouldn't be 885.33/888.38 WSVECS04 Frhs2[299]: 6 0 1.00002 shouldn't be 885.33/888.38 WSVECS04 Frhs2[382]: 6 0 1.00009 shouldn't be 885.33/888.38 WSVECS04 Frhs2[599]: 6 0 1.00006 shouldn't be 885.33/888.38 WSVECS04 Frhs2[640]: 6 0 1.00007 shouldn't be 885.33/888.38 WSVECS04 Frhs2[755]: 6 0 1.00002 shouldn't be 885.33/888.38 WSVECS04 Frhs2[781]: 6 0 1.00006 shouldn't be 885.33/888.38 WSVECS04 Frhs2[1150]: 6 0 1.00007 shouldn't be 891.91/894.94 WSVECS04 Frhs2[81]: 6 0 1.00007 shouldn't be 891.91/894.94 WSVECS04 Frhs2[94]: 6 0 1.0001 shouldn't be 891.91/894.94 WSVECS04 Frhs2[136]: 6 0 1.0001 shouldn't be 891.91/894.94 WSVECS04 Frhs2[137]: 6 0 1.00007 shouldn't be 891.91/894.94 WSVECS04 Frhs2[381]: 6 0 1.00008 shouldn't be 891.91/894.94 WSVECS04 Frhs2[597]: 6 0 1.00009 shouldn't be 891.91/894.94 WSVECS04 Frhs2[664]: 6 0 1.00008 shouldn't be 891.91/894.94 WSVECS04 Frhs2[780]: 6 0 1.00006 shouldn't be 891.91/894.94 WSVECS04 Frhs2[782]: 6 0 1.00003 shouldn't be 891.91/894.94 WSVECS04 Frhs2[863]: 6 0 1.00002 shouldn't be 891.91/894.94 WSVECS04 Frhs2[888]: 6 0 1.00005 shouldn't be 891.91/894.94 WSVECS04 Frhs2[889]: 6 0 1.00001 shouldn't be 891.91/894.94 WSVECS04 Frhs2[1183]: 6 0 1.00003 shouldn't be 891.91/894.94 WSVECS04 Frhs2[1185]: 6 0 1.00005 shouldn't be 891.91/894.94 WSVECS04 Frhs2[1219]: 6 0 1.00003 shouldn't be 898.48/901.58 WSVECS04 Frhs2[865]: 6 0 1.00004 shouldn't be 898.48/901.58 WSVECS04 Frhs2[1222]: 6 0 1.00002 shouldn't be 898.48/901.58 WSVECS04 Frhs2[1244]: 6 0 1.00003 shouldn't be 904.16/907.29 WSVECS04 Frhs2[97]: 6 0 1.00001 shouldn't be 909.95/913.09 WSVECS04 Frhs2[84]: 6 0 1.00002 shouldn't be 909.95/913.09 WSVECS04 Frhs2[663]: 6 0 1.00005 shouldn't be 909.95/913.09 WSVECS04 Frhs2[1397]: 6 0 1.00008 shouldn't be 916.13/919.29 WSVECS04 Frhs2[1134]: 6 0 1.00007 shouldn't be 922.20/925.38 WSVECS04 Frhs2[1147]: 6 0 1.00009 shouldn't be 928.68/931.87 WSVECS04 Frhs2[622]: 6 0 1.00003 shouldn't be 1764.06/1769.84 c #Conflicts: 129000 | #Constraints: 121735 1764.06/1769.84 c #Conflicts: 130000 | #Constraints: 122735 1764.06/1769.84 c #Conflicts: 131000 | #Constraints: 123735 1764.06/1769.84 c #Conflicts: 132000 | #Constraints: 124735 1764.06/1769.84 c #Conflicts: 133000 | #Constraints: 125735 1764.06/1769.84 c #Conflicts: 134000 | #Constraints: 126735 1764.06/1769.84 c bounds -726 >= -854 @ 1067.47 1764.06/1769.84 c #Conflicts: 135000 | #Constraints: 127774 1764.06/1769.84 c #Conflicts: 136000 | #Constraints: 128774 1764.06/1769.84 c #Conflicts: 137000 | #Constraints: 129774 1764.06/1769.84 c #Conflicts: 138000 | #Constraints: 130774 1764.06/1769.84 c #Conflicts: 139000 | #Constraints: 131774 1764.06/1769.84 c #Conflicts: 140000 | #Constraints: 132774 1764.06/1769.84 c #Conflicts: 141000 | #Constraints: 133774 1764.06/1769.84 c #Conflicts: 142000 | #Constraints: 134774 1764.06/1769.84 c bounds -726 >= -853 @ 1073.38 1764.06/1769.84 c #Conflicts: 143000 | #Constraints: 135837 1764.06/1769.84 c #Conflicts: 144000 | #Constraints: 136837 1764.06/1769.84 c #Conflicts: 145000 | #Constraints: 137837 1764.06/1769.84 c #Conflicts: 146000 | #Constraints: 138837 1764.06/1769.84 c #Conflicts: 147000 | #Constraints: 139837 1764.06/1769.84 c #Conflicts: 148000 | #Constraints: 140837 1764.06/1769.84 c #Conflicts: 149000 | #Constraints: 141837 1764.06/1769.84 c #Conflicts: 150000 | #Constraints: 142837 1764.06/1769.84 c #Conflicts: 151000 | #Constraints: 143837 1764.06/1769.84 c #Conflicts: 152000 | #Constraints: 144837 1764.06/1769.84 c #Conflicts: 153000 | #Constraints: 145837 1764.06/1769.84 c INPROCESSING 1764.06/1769.84 c GARBAGE COLLECT 1764.06/1769.84 c #Conflicts: 154000 | #Constraints: 127602 1764.06/1769.84 c #Conflicts: 155000 | #Constraints: 128602 1764.06/1769.84 c #Conflicts: 156000 | #Constraints: 129602 1764.06/1769.84 c #Conflicts: 157000 | #Constraints: 130602 1764.06/1769.84 c #Conflicts: 158000 | #Constraints: 131602 1764.06/1769.84 c #Conflicts: 159000 | #Constraints: 132602 1764.06/1769.84 c #Conflicts: 160000 | #Constraints: 133602 1764.06/1769.84 c bounds -726 >= -852 @ 1181.2 1764.06/1769.84 c #Conflicts: 161000 | #Constraints: 134638 1764.06/1769.84 c #Conflicts: 162000 | #Constraints: 135638 1764.06/1769.84 c #Conflicts: 163000 | #Constraints: 136638 1764.06/1769.84 c INPROCESSING 1764.06/1769.84 c GARBAGE COLLECT 1764.06/1769.84 c #Conflicts: 164000 | #Constraints: 123105 1764.06/1769.84 c #Conflicts: 165000 | #Constraints: 124105 1764.06/1769.84 c #Conflicts: 166000 | #Constraints: 125105 1764.06/1769.84 c #Conflicts: 167000 | #Constraints: 126105 1764.06/1769.84 c #Conflicts: 168000 | #Constraints: 127105 1764.06/1769.84 c #Conflicts: 169000 | #Constraints: 128105 1764.06/1769.84 c #Conflicts: 170000 | #Constraints: 129105 1764.06/1769.84 c #Conflicts: 171000 | #Constraints: 130105 1764.06/1769.84 c #Conflicts: 172000 | #Constraints: 131107 1764.06/1769.84 c #Conflicts: 173000 | #Constraints: 132111 1764.06/1769.84 c #Conflicts: 174000 | #Constraints: 133112 1764.06/1769.84 c #Conflicts: 175000 | #Constraints: 134114 1764.06/1769.84 c #Conflicts: 176000 | #Constraints: 135117 1764.06/1769.84 c #Conflicts: 177000 | #Constraints: 136120 1764.06/1769.84 c #Conflicts: 178000 | #Constraints: 137123 1764.06/1769.84 c #Conflicts: 179000 | #Constraints: 138127 1764.06/1769.84 c #Conflicts: 180000 | #Constraints: 139131 1764.06/1769.84 c #Conflicts: 181000 | #Constraints: 140137 1764.06/1769.84 c #Conflicts: 182000 | #Constraints: 141140 1764.06/1769.84 c #Conflicts: 183000 | #Constraints: 142141 1764.06/1769.84 c #Conflicts: 184000 | #Constraints: 143146 1764.06/1769.84 c #Conflicts: 185000 | #Constraints: 144149 1764.06/1769.84 c #Conflicts: 186000 | #Constraints: 145153 1764.06/1769.84 c #Conflicts: 187000 | #Constraints: 146153 1764.06/1769.84 c #Conflicts: 188000 | #Constraints: 147156 1764.06/1769.84 c #Conflicts: 189000 | #Constraints: 148160 1764.06/1769.84 c #Conflicts: 190000 | #Constraints: 149164 1764.06/1769.84 c #Conflicts: 191000 | #Constraints: 150168 1764.06/1769.84 c INPROCESSING 1764.06/1769.84 c GARBAGE COLLECT 1764.06/1769.84 c #Conflicts: 192000 | #Constraints: 129594 1764.06/1769.84 c #Conflicts: 193000 | #Constraints: 130594 1764.06/1769.84 c #Conflicts: 194000 | #Constraints: 131594 1764.06/1769.84 c #Conflicts: 195000 | #Constraints: 132594 1764.06/1769.84 c #Conflicts: 196000 | #Constraints: 133594 1764.06/1769.84 c #Conflicts: 197000 | #Constraints: 134594 1764.06/1769.84 c #Conflicts: 198000 | #Constraints: 135594 1764.06/1769.84 c #Conflicts: 199000 | #Constraints: 136594 1764.06/1769.84 c #Conflicts: 200000 | #Constraints: 137594 1764.06/1769.84 c #Conflicts: 201000 | #Constraints: 138594 1764.06/1769.84 c bounds -726 >= -851 @ 1758.3 1764.06/1769.84 c #Conflicts: 202000 | #Constraints: 139636 1764.06/1769.84 c #Conflicts: 203000 | #Constraints: 140636 1782.60/1788.48 c #Conflicts: 204000 | #Constraints: 141636 1782.60/1788.48 c INPROCESSING 1782.60/1788.48 c GARBAGE COLLECT 1782.60/1788.48 c #Conflicts: 205000 | #Constraints: 125480 1782.60/1788.48 c #Conflicts: 206000 | #Constraints: 126480 1782.60/1788.48 c #Conflicts: 207000 | #Constraints: 127480 1782.60/1788.48 c #Conflicts: 208000 | #Constraints: 128480 1782.60/1788.48 c #Conflicts: 209000 | #Constraints: 129480 1782.60/1788.48 c #Conflicts: 210000 | #Constraints: 130480 1782.60/1788.48 WSVECS04 Frhs2[22]: 6 0 1.00007 shouldn't be 1804.33/1810.22 WSVECS04 Frhs2[1304]: 6 0 1.00008 shouldn't be 1810.81/1816.70 WSVECS04 Frhs2[25]: 6 0 1.00003 shouldn't be 1810.81/1816.70 WSVECS04 Frhs2[836]: 6 0 1.00009 shouldn't be 1810.81/1816.70 WSVECS04 Frhs2[1312]: 6 0 1.00003 shouldn't be 1810.81/1816.70 WSVECS04 Frhs2[1313]: 6 0 1.00008 shouldn't be 1817.19/1823.13 WSVECS04 Frhs2[23]: 6 0 1.00005 shouldn't be 1817.19/1823.13 WSVECS04 Frhs2[853]: 6 0 1.00007 shouldn't be 1817.19/1823.13 WSVECS04 Frhs2[854]: 6 0 1.00005 shouldn't be 1823.86/1829.81 WSVECS04 Frhs2[27]: 6 0 1.00002 shouldn't be 1823.86/1829.81 WSVECS04 Frhs2[29]: 6 0 1.00008 shouldn't be 1823.86/1829.81 WSVECS04 Frhs2[845]: 6 0 1.00004 shouldn't be 2315.79/2323.30 c #Conflicts: 211000 | #Constraints: 131481 2315.79/2323.30 c #Conflicts: 212000 | #Constraints: 132481 2315.79/2323.30 c #Conflicts: 213000 | #Constraints: 133481 2315.79/2323.30 c bounds -726 >= -850 @ 2222.77 2315.79/2323.30 c #Conflicts: 214000 | #Constraints: 134511 2315.79/2323.30 c #Conflicts: 215000 | #Constraints: 135511 2315.79/2323.30 c #Conflicts: 216000 | #Constraints: 136511 2315.79/2323.30 c #Conflicts: 217000 | #Constraints: 137511 2315.79/2323.30 c #Conflicts: 218000 | #Constraints: 138511 2315.79/2323.30 c #Conflicts: 219000 | #Constraints: 139511 2315.79/2323.30 c #Conflicts: 220000 | #Constraints: 140511 2315.79/2323.30 c #Conflicts: 221000 | #Constraints: 141511 2315.79/2323.30 c #Conflicts: 222000 | #Constraints: 142511 2315.79/2323.30 c #Conflicts: 223000 | #Constraints: 143511 2315.79/2323.30 c #Conflicts: 224000 | #Constraints: 144511 2315.79/2323.30 c #Conflicts: 225000 | #Constraints: 145511 2315.79/2323.30 c #Conflicts: 226000 | #Constraints: 146511 2315.79/2323.30 c #Conflicts: 227000 | #Constraints: 147511 2315.79/2323.30 c #Conflicts: 228000 | #Constraints: 148511 2315.79/2323.30 c #Conflicts: 229000 | #Constraints: 149511 2315.79/2323.30 c #Conflicts: 230000 | #Constraints: 150511 2315.79/2323.30 c #Conflicts: 231000 | #Constraints: 151511 2315.79/2323.30 c #Conflicts: 232000 | #Constraints: 152511 2315.79/2323.30 c #Conflicts: 233000 | #Constraints: 153511 2315.79/2323.30 c #Conflicts: 234000 | #Constraints: 154511 2315.79/2323.30 c #Conflicts: 235000 | #Constraints: 155511 2315.79/2323.30 c INPROCESSING 2315.79/2323.30 c GARBAGE COLLECT 2315.79/2323.30 c #Conflicts: 236000 | #Constraints: 132431 2315.79/2323.30 c #Conflicts: 237000 | #Constraints: 133431 2315.79/2323.30 c #Conflicts: 238000 | #Constraints: 134431 2315.79/2323.30 c #Conflicts: 239000 | #Constraints: 135431 2315.79/2323.30 c #Conflicts: 240000 | #Constraints: 136431 2315.79/2323.30 c bounds -726 >= -849 @ 2256.18 2315.79/2323.30 c #Conflicts: 241000 | #Constraints: 137476 2315.79/2323.30 c #Conflicts: 242000 | #Constraints: 138476 2315.79/2323.30 c #Conflicts: 243000 | #Constraints: 139476 2315.79/2323.30 c #Conflicts: 244000 | #Constraints: 140476 2315.79/2323.30 c #Conflicts: 245000 | #Constraints: 141476 2315.79/2323.30 c #Conflicts: 246000 | #Constraints: 142476 2315.79/2323.30 c #Conflicts: 247000 | #Constraints: 143476 2315.79/2323.30 c bounds -726 >= -848 @ 2261.7 2315.79/2323.30 c #Conflicts: 248000 | #Constraints: 144506 2315.79/2323.30 c INPROCESSING 2315.79/2323.30 c GARBAGE COLLECT 2315.79/2323.30 c #Conflicts: 249000 | #Constraints: 126667 2315.79/2323.30 c #Conflicts: 250000 | #Constraints: 127667 2315.79/2323.30 c #Conflicts: 251000 | #Constraints: 128667 2315.79/2323.30 c #Conflicts: 252000 | #Constraints: 129667 2315.79/2323.30 c #Conflicts: 253000 | #Constraints: 130667 2315.79/2323.30 c #Conflicts: 254000 | #Constraints: 131667 2315.79/2323.30 c #Conflicts: 255000 | #Constraints: 132667 2315.79/2323.30 c #Conflicts: 256000 | #Constraints: 133667 2315.79/2323.30 c #Conflicts: 257000 | #Constraints: 134667 2315.79/2323.30 c #Conflicts: 258000 | #Constraints: 135667 2315.79/2323.30 c #Conflicts: 259000 | #Constraints: 136667 2315.79/2323.30 c #Conflicts: 260000 | #Constraints: 137667 2315.79/2323.30 c #Conflicts: 261000 | #Constraints: 138667 2315.79/2323.30 c #Conflicts: 262000 | #Constraints: 139667 2315.79/2323.30 c #Conflicts: 263000 | #Constraints: 140667 2315.79/2323.30 c #Conflicts: 264000 | #Constraints: 141667 2315.79/2323.30 c #Conflicts: 265000 | #Constraints: 142667 2315.79/2323.30 c bounds -726 >= -847 @ 2277.79 2315.79/2323.30 c #Conflicts: 266000 | #Constraints: 143721 2315.79/2323.30 c #Conflicts: 267000 | #Constraints: 144721 2315.79/2323.30 c #Conflicts: 268000 | #Constraints: 145721 2315.79/2323.30 c #Conflicts: 269000 | #Constraints: 146721 2315.79/2323.30 c #Conflicts: 270000 | #Constraints: 147721 2315.79/2323.30 c #Conflicts: 271000 | #Constraints: 148721 2315.79/2323.30 c #Conflicts: 272000 | #Constraints: 149721 2315.79/2323.30 c #Conflicts: 273000 | #Constraints: 150721 2315.79/2323.30 c #Conflicts: 274000 | #Constraints: 151721 2315.79/2323.30 c #Conflicts: 275000 | #Constraints: 152721 2315.79/2323.30 c #Conflicts: 276000 | #Constraints: 153721 2315.79/2323.30 c #Conflicts: 277000 | #Constraints: 154721 2315.79/2323.30 c #Conflicts: 278000 | #Constraints: 155721 2315.79/2323.30 c #Conflicts: 279000 | #Constraints: 156721 2315.79/2323.30 c #Conflicts: 280000 | #Constraints: 157721 2315.79/2323.30 c #Conflicts: 281000 | #Constraints: 158721 2315.79/2323.30 c #Conflicts: 282000 | #Constraints: 159721 2315.79/2323.30 c INPROCESSING 2315.79/2323.30 c GARBAGE COLLECT 2315.79/2323.30 c #Conflicts: 283000 | #Constraints: 134296 2315.79/2323.30 c #Conflicts: 284000 | #Constraints: 135296 2315.79/2323.30 c #Conflicts: 285000 | #Constraints: 136296 2442.49/2450.49 c #Conflicts: 286000 | #Constraints: 137296 2442.49/2450.49 c #Conflicts: 287000 | #Constraints: 138296 2442.49/2450.49 c #Conflicts: 288000 | #Constraints: 139296 2442.49/2450.49 c #Conflicts: 289000 | #Constraints: 140296 2442.49/2450.49 c #Conflicts: 290000 | #Constraints: 141296 2442.49/2450.49 c #Conflicts: 291000 | #Constraints: 142296 2442.49/2450.49 c #Conflicts: 292000 | #Constraints: 143296 2442.49/2450.49 c #Conflicts: 293000 | #Constraints: 144296 2442.49/2450.49 c #Conflicts: 294000 | #Constraints: 145296 2442.49/2450.49 c #Conflicts: 295000 | #Constraints: 146296 2442.49/2450.49 c #Conflicts: 296000 | #Constraints: 147296 2442.49/2450.49 c #Conflicts: 297000 | #Constraints: 148296 2442.49/2450.49 c INPROCESSING 2442.49/2450.49 c GARBAGE COLLECT 2442.49/2450.49 c #Conflicts: 298000 | #Constraints: 130334 2442.49/2450.49 c #Conflicts: 299000 | #Constraints: 131334 2442.49/2450.49 c #Conflicts: 300000 | #Constraints: 132334 2442.49/2450.49 c #Conflicts: 301000 | #Constraints: 133334 2442.49/2450.49 c #Conflicts: 302000 | #Constraints: 134334 2442.49/2450.49 c #Conflicts: 303000 | #Constraints: 135334 2442.49/2450.49 c #Conflicts: 304000 | #Constraints: 136334 2442.49/2450.49 c #Conflicts: 305000 | #Constraints: 137334 2442.49/2450.49 c #Conflicts: 306000 | #Constraints: 138334 2442.49/2450.49 c #Conflicts: 307000 | #Constraints: 139334 2442.49/2450.49 c #Conflicts: 308000 | #Constraints: 140334 2442.49/2450.49 c #Conflicts: 309000 | #Constraints: 141334 2442.49/2450.49 c #Conflicts: 310000 | #Constraints: 142334 2442.49/2450.49 c #Conflicts: 311000 | #Constraints: 143334 2442.49/2450.49 c #Conflicts: 312000 | #Constraints: 144334 2442.49/2450.49 c #Conflicts: 313000 | #Constraints: 145334 2442.49/2450.49 c #Conflicts: 314000 | #Constraints: 146334 2442.49/2450.49 c #Conflicts: 315000 | #Constraints: 147334 2442.49/2450.49 c #Conflicts: 316000 | #Constraints: 148334 2442.49/2450.49 c #Conflicts: 317000 | #Constraints: 149334 2442.49/2450.49 c #Conflicts: 318000 | #Constraints: 150334 2442.49/2450.49 c #Conflicts: 319000 | #Constraints: 151334 2442.49/2450.49 c #Conflicts: 320000 | #Constraints: 152334 2442.49/2450.49 c #Conflicts: 321000 | #Constraints: 153334 2442.49/2450.49 c #Conflicts: 322000 | #Constraints: 154334 2442.49/2450.49 c #Conflicts: 323000 | #Constraints: 155334 2442.49/2450.49 c #Conflicts: 324000 | #Constraints: 156334 2442.49/2450.49 c #Conflicts: 325000 | #Constraints: 157334 2442.49/2450.49 c #Conflicts: 326000 | #Constraints: 158334 2442.49/2450.49 c #Conflicts: 327000 | #Constraints: 159334 2442.49/2450.49 c #Conflicts: 328000 | #Constraints: 160334 2442.49/2450.49 c #Conflicts: 329000 | #Constraints: 161334 2442.49/2450.49 c #Conflicts: 330000 | #Constraints: 162334 2442.49/2450.49 c #Conflicts: 331000 | #Constraints: 163334 2442.49/2450.49 c #Conflicts: 332000 | #Constraints: 164334 2442.49/2450.49 c #Conflicts: 333000 | #Constraints: 165334 2442.49/2450.49 c #Conflicts: 334000 | #Constraints: 166334 2442.49/2450.49 c #Conflicts: 335000 | #Constraints: 167334 2442.49/2450.49 c INPROCESSING 2442.49/2450.49 c GARBAGE COLLECT 2442.49/2450.49 WSVECS04 Frhs2[985]: 6 0 1.00005 shouldn't be 2460.64/2468.66 c rational objective -806.667 2554.12/2562.46 c #Conflicts: 336000 | #Constraints: 138740 2554.12/2562.46 c #Conflicts: 337000 | #Constraints: 139740 2554.12/2562.46 c #Conflicts: 338000 | #Constraints: 140740 2554.12/2562.46 c #Conflicts: 339000 | #Constraints: 141740 2554.12/2562.46 c bounds -726 >= -846 @ 2459.7 2554.12/2562.46 c #Conflicts: 340000 | #Constraints: 142776 2554.12/2562.46 c #Conflicts: 341000 | #Constraints: 143776 2554.12/2562.46 c #Conflicts: 342000 | #Constraints: 144776 2554.12/2562.46 c #Conflicts: 343000 | #Constraints: 145776 2554.12/2562.46 c #Conflicts: 344000 | #Constraints: 146776 2554.12/2562.46 c #Conflicts: 345000 | #Constraints: 147776 2554.12/2562.46 c #Conflicts: 346000 | #Constraints: 148776 2554.12/2562.46 c #Conflicts: 347000 | #Constraints: 149776 2554.12/2562.46 c #Conflicts: 348000 | #Constraints: 150776 2554.12/2562.46 c #Conflicts: 349000 | #Constraints: 151776 2554.12/2562.46 c #Conflicts: 350000 | #Constraints: 152776 2554.12/2562.46 c #Conflicts: 351000 | #Constraints: 153776 2554.12/2562.46 c INPROCESSING 2554.12/2562.46 c GARBAGE COLLECT 2554.12/2562.46 c rational objective -806.667 2603.76/2612.27 c #Conflicts: 352000 | #Constraints: 132715 2603.76/2612.27 c #Conflicts: 353000 | #Constraints: 133715 2603.76/2612.27 c #Conflicts: 354000 | #Constraints: 134715 2603.76/2612.27 c #Conflicts: 355000 | #Constraints: 135715 2603.76/2612.27 c #Conflicts: 356000 | #Constraints: 136715 2603.76/2612.27 c #Conflicts: 357000 | #Constraints: 137715 2603.76/2612.27 c #Conflicts: 358000 | #Constraints: 138715 2603.76/2612.27 c #Conflicts: 359000 | #Constraints: 139715 2603.76/2612.27 c #Conflicts: 360000 | #Constraints: 140715 2603.76/2612.27 c #Conflicts: 361000 | #Constraints: 141715 2603.76/2612.27 c #Conflicts: 362000 | #Constraints: 142715 2603.76/2612.27 c #Conflicts: 363000 | #Constraints: 143715 2603.76/2612.27 c #Conflicts: 364000 | #Constraints: 144715 2603.76/2612.27 c #Conflicts: 365000 | #Constraints: 145715 2603.76/2612.27 c #Conflicts: 366000 | #Constraints: 146715 2603.76/2612.27 c #Conflicts: 367000 | #Constraints: 147715 2603.76/2612.27 c #Conflicts: 368000 | #Constraints: 148715 2603.76/2612.27 c #Conflicts: 369000 | #Constraints: 149715 2603.76/2612.27 c #Conflicts: 370000 | #Constraints: 150715 2603.76/2612.27 c #Conflicts: 371000 | #Constraints: 151715 2603.76/2612.27 c #Conflicts: 372000 | #Constraints: 152715 2603.76/2612.27 c #Conflicts: 373000 | #Constraints: 153715 2603.76/2612.27 c #Conflicts: 374000 | #Constraints: 154715 2603.76/2612.27 c #Conflicts: 375000 | #Constraints: 155716 2603.76/2612.27 c #Conflicts: 376000 | #Constraints: 156716 2603.76/2612.27 c #Conflicts: 377000 | #Constraints: 157716 2603.76/2612.27 c #Conflicts: 378000 | #Constraints: 158716 2603.76/2612.27 WSVECS04 Frhs2[33]: 6 -0.631417 0 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[57]: 6 -0.892291 0 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[58]: 6 -0.284904 0 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[61]: 6 0 0.517623 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[66]: 6 0 1.45341 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[68]: 6 0 0.635873 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[70]: 6 0 1.12328 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[71]: 6 0 1.00002 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[80]: 6 -0.639917 0 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[103]: 6 -0.0794094 0 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[289]: 6 0 0.155415 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[685]: 6 -1.60071 0 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[723]: 6 -0.162515 0 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[968]: 6 0 0.876717 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[969]: 6 0 0.838734 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[1059]: 6 0 1.20839 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[1139]: 6 0 2.00009 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[1165]: 6 0 2.00006 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[1234]: 6 0 1.23126 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[1257]: 6 -0.695327 0 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[1264]: 6 0 1.00006 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[1267]: 6 0 1.14409 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[1268]: 6 0 1.04698 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[1270]: 6 0 1.00005 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[1272]: 6 0 1.00008 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[1277]: 6 -1.15905 0 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[1290]: 6 0 1.00003 shouldn't be 2603.76/2612.27 WSVECS04 Frhs2[1293]: 6 0 0.875229 shouldn't be 2704.84/2713.63 c #Conflicts: 379000 | #Constraints: 159717 2704.84/2713.63 c #Conflicts: 380000 | #Constraints: 160717 2704.84/2713.63 c #Conflicts: 381000 | #Constraints: 161718 2704.84/2713.63 c #Conflicts: 382000 | #Constraints: 162719 2704.84/2713.63 c #Conflicts: 383000 | #Constraints: 163720 2704.84/2713.63 c #Conflicts: 384000 | #Constraints: 164720 2704.84/2713.63 c #Conflicts: 385000 | #Constraints: 165722 2704.84/2713.63 c #Conflicts: 386000 | #Constraints: 166724 2704.84/2713.63 c #Conflicts: 387000 | #Constraints: 167725 2704.84/2713.63 c #Conflicts: 388000 | #Constraints: 168726 2704.84/2713.63 c #Conflicts: 389000 | #Constraints: 169727 2704.84/2713.63 c #Conflicts: 390000 | #Constraints: 170729 2704.84/2713.63 c #Conflicts: 391000 | #Constraints: 171730 2704.84/2713.63 c INPROCESSING 2704.84/2713.63 c GARBAGE COLLECT 2704.84/2713.63 c rational objective -806.667 2767.05/2776.06 c #Conflicts: 392000 | #Constraints: 140697 2767.05/2776.06 c #Conflicts: 393000 | #Constraints: 141697 2767.05/2776.06 c #Conflicts: 394000 | #Constraints: 142697 2767.05/2776.06 c #Conflicts: 395000 | #Constraints: 143697 2767.05/2776.06 c #Conflicts: 396000 | #Constraints: 144697 2767.05/2776.06 c #Conflicts: 397000 | #Constraints: 145697 2767.05/2776.06 c #Conflicts: 398000 | #Constraints: 146697 2767.05/2776.06 c bounds -726 >= -845 @ 2729.73 2767.05/2776.06 c #Conflicts: 399000 | #Constraints: 147736 2767.05/2776.06 c #Conflicts: 400000 | #Constraints: 148736 2767.05/2776.06 c #Conflicts: 401000 | #Constraints: 149736 2767.05/2776.06 c #Conflicts: 402000 | #Constraints: 150736 2767.05/2776.06 c #Conflicts: 403000 | #Constraints: 151736 2767.05/2776.06 c #Conflicts: 404000 | #Constraints: 152736 2767.05/2776.06 c #Conflicts: 405000 | #Constraints: 153736 2767.05/2776.06 c #Conflicts: 406000 | #Constraints: 154736 2767.05/2776.06 c #Conflicts: 407000 | #Constraints: 155736 2767.05/2776.06 WSVECS04 Frhs2[1134]: 6 0 1.00004 shouldn't be 2884.38/2893.79 c #Conflicts: 408000 | #Constraints: 156736 2884.38/2893.79 c INPROCESSING 2884.38/2893.79 c GARBAGE COLLECT 2884.38/2893.79 c rational objective -806.667 3043.86/3053.73 c #Conflicts: 409000 | #Constraints: 133863 3043.86/3053.73 c #Conflicts: 410000 | #Constraints: 134863 3043.86/3053.73 c #Conflicts: 411000 | #Constraints: 135863 3043.86/3053.73 c #Conflicts: 412000 | #Constraints: 136863 3043.86/3053.73 c bounds -726 >= -844 @ 2881.67 3043.86/3053.73 c #Conflicts: 413000 | #Constraints: 137926 3043.86/3053.73 c #Conflicts: 414000 | #Constraints: 138926 3043.86/3053.73 c #Conflicts: 415000 | #Constraints: 139926 3043.86/3053.73 c #Conflicts: 416000 | #Constraints: 140926 3043.86/3053.73 c #Conflicts: 417000 | #Constraints: 141926 3043.86/3053.73 c #Conflicts: 418000 | #Constraints: 142926 3043.86/3053.73 c #Conflicts: 419000 | #Constraints: 143926 3043.86/3053.73 c #Conflicts: 420000 | #Constraints: 144926 3043.86/3053.73 c #Conflicts: 421000 | #Constraints: 145926 3043.86/3053.73 c #Conflicts: 422000 | #Constraints: 146926 3043.86/3053.73 c #Conflicts: 423000 | #Constraints: 147926 3043.86/3053.73 c #Conflicts: 424000 | #Constraints: 148926 3043.86/3053.73 c #Conflicts: 425000 | #Constraints: 149926 3043.86/3053.73 c #Conflicts: 426000 | #Constraints: 150926 3043.86/3053.73 c #Conflicts: 427000 | #Constraints: 151926 3043.86/3053.73 c #Conflicts: 428000 | #Constraints: 152926 3043.86/3053.73 c #Conflicts: 429000 | #Constraints: 153926 3043.86/3053.73 c #Conflicts: 430000 | #Constraints: 154926 3043.86/3053.73 c #Conflicts: 431000 | #Constraints: 155926 3043.86/3053.73 c bounds -726 >= -843 @ 2903.85 3043.86/3053.73 c #Conflicts: 432000 | #Constraints: 156989 3043.86/3053.73 c #Conflicts: 433000 | #Constraints: 157989 3043.86/3053.73 c #Conflicts: 434000 | #Constraints: 158989 3043.86/3053.73 c #Conflicts: 435000 | #Constraints: 159989 3043.86/3053.73 c #Conflicts: 436000 | #Constraints: 160989 3043.86/3053.73 c #Conflicts: 437000 | #Constraints: 161989 3043.86/3053.73 c #Conflicts: 438000 | #Constraints: 162989 3043.86/3053.73 c #Conflicts: 439000 | #Constraints: 163989 3043.86/3053.73 c #Conflicts: 440000 | #Constraints: 164989 3043.86/3053.73 c #Conflicts: 441000 | #Constraints: 165989 3043.86/3053.73 c #Conflicts: 442000 | #Constraints: 166989 3043.86/3053.73 c #Conflicts: 443000 | #Constraints: 167989 3043.86/3053.73 c #Conflicts: 444000 | #Constraints: 168989 3043.86/3053.73 c #Conflicts: 445000 | #Constraints: 169989 3043.86/3053.73 c #Conflicts: 446000 | #Constraints: 170989 3043.86/3053.73 c #Conflicts: 447000 | #Constraints: 171989 3043.86/3053.73 c #Conflicts: 448000 | #Constraints: 172989 3043.86/3053.73 c #Conflicts: 449000 | #Constraints: 173989 3043.86/3053.73 c #Conflicts: 450000 | #Constraints: 174989 3043.86/3053.73 c #Conflicts: 451000 | #Constraints: 175992 3043.86/3053.73 c #Conflicts: 452000 | #Constraints: 176993 3043.86/3053.73 c INPROCESSING 3043.86/3053.73 c GARBAGE COLLECT 3043.86/3053.73 c rational objective -806.667 3216.95/3227.42 c #Conflicts: 453000 | #Constraints: 143480 3216.95/3227.42 c #Conflicts: 454000 | #Constraints: 144480 3216.95/3227.42 c #Conflicts: 455000 | #Constraints: 145480 3216.95/3227.42 c #Conflicts: 456000 | #Constraints: 146480 3216.95/3227.42 c #Conflicts: 457000 | #Constraints: 147480 3216.95/3227.42 c #Conflicts: 458000 | #Constraints: 148480 3216.95/3227.42 c #Conflicts: 459000 | #Constraints: 149480 3216.95/3227.42 c #Conflicts: 460000 | #Constraints: 150480 3216.95/3227.42 c #Conflicts: 461000 | #Constraints: 151480 3216.95/3227.42 c #Conflicts: 462000 | #Constraints: 152480 3216.95/3227.42 c #Conflicts: 463000 | #Constraints: 153480 3216.95/3227.42 c #Conflicts: 464000 | #Constraints: 154480 3216.95/3227.42 c #Conflicts: 465000 | #Constraints: 155480 3216.95/3227.42 c #Conflicts: 466000 | #Constraints: 156480 3216.95/3227.42 c #Conflicts: 467000 | #Constraints: 157480 3216.95/3227.42 c #Conflicts: 468000 | #Constraints: 158480 3216.95/3227.42 c #Conflicts: 469000 | #Constraints: 159480 3216.95/3227.42 c #Conflicts: 470000 | #Constraints: 160480 3216.95/3227.42 c #Conflicts: 471000 | #Constraints: 161480 3216.95/3227.42 c INPROCESSING 3216.95/3227.42 c GARBAGE COLLECT 3216.95/3227.42 c rational objective -806.667 3295.77/3306.57 c #Conflicts: 472000 | #Constraints: 138232 3295.77/3306.57 c #Conflicts: 473000 | #Constraints: 139232 3295.77/3306.57 c #Conflicts: 474000 | #Constraints: 140232 3295.77/3306.57 c #Conflicts: 475000 | #Constraints: 141232 3295.77/3306.57 c #Conflicts: 476000 | #Constraints: 142232 3295.77/3306.57 c #Conflicts: 477000 | #Constraints: 143232 3295.77/3306.57 c #Conflicts: 478000 | #Constraints: 144232 3295.77/3306.57 c #Conflicts: 479000 | #Constraints: 145232 3295.77/3306.57 c #Conflicts: 480000 | #Constraints: 146232 3295.77/3306.57 c #Conflicts: 481000 | #Constraints: 147232 3295.77/3306.57 c #Conflicts: 482000 | #Constraints: 148232 3295.77/3306.57 c #Conflicts: 483000 | #Constraints: 149232 3295.77/3306.57 c #Conflicts: 484000 | #Constraints: 150232 3295.77/3306.57 c #Conflicts: 485000 | #Constraints: 151232 3295.77/3306.57 c #Conflicts: 486000 | #Constraints: 152232 3295.77/3306.57 c #Conflicts: 487000 | #Constraints: 153232 3295.77/3306.57 c #Conflicts: 488000 | #Constraints: 154232 3295.77/3306.57 c #Conflicts: 489000 | #Constraints: 155232 3295.77/3306.57 c #Conflicts: 490000 | #Constraints: 156232 3295.77/3306.57 c #Conflicts: 491000 | #Constraints: 157232 3295.77/3306.57 c #Conflicts: 492000 | #Constraints: 158232 3295.77/3306.57 c #Conflicts: 493000 | #Constraints: 159232 3295.77/3306.57 c #Conflicts: 494000 | #Constraints: 160232 3295.77/3306.57 c #Conflicts: 495000 | #Constraints: 161233 3295.77/3306.57 c #Conflicts: 496000 | #Constraints: 162233 3295.77/3306.57 c #Conflicts: 497000 | #Constraints: 163233 3295.77/3306.57 c #Conflicts: 498000 | #Constraints: 164233 3295.77/3306.57 WSVECS04 Frhs2[1]: 6 0 0.272916 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[6]: 6 -0.355575 0 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[10]: 6 0 0.322151 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[24]: 6 0 0.62447 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[30]: 6 0 0.0452623 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[32]: 6 0 1.00005 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[52]: 6 0 0.292088 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[54]: 6 0 0.612163 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[89]: 6 0 0.311476 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[103]: 6 0 0.593447 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[192]: 6 0 1.0001 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[206]: 6 0 0.881728 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[249]: 6 -1.56296 0 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[346]: 6 0 0.364468 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[477]: 6 -0.143811 0 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[535]: 6 0 1.00006 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[571]: 6 0 1.00009 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[578]: 6 -1.10934 0 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[620]: 6 -0.242981 0 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[726]: 6 -0.0825165 0 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[733]: 6 0 0.679768 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[808]: 6 0 1.59927 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[815]: 6 -0.590236 0 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[844]: 6 0 1.00006 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[879]: 6 0 0.734101 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[886]: 6 -0.942101 0 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[985]: 6 0 1.00002 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[1116]: 6 0 1.00006 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[1130]: 6 0 1.00002 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[1149]: 6 -0.275739 0 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[1243]: 6 -0.82836 0 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[1250]: 6 0 1.34152 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[1291]: 6 0 1.00003 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[1321]: 6 -0.167694 0 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[1326]: 6 0 0.87682 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[1331]: 6 0 1.00005 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[1332]: 6 0 1.00007 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[1383]: 6 0 1.00007 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[1421]: 6 -1.35278 0 shouldn't be 3295.77/3306.57 WSVECS04 Frhs2[1466]: 6 0 0.256345 shouldn't be 3459.09/3470.44 c #Conflicts: 499000 | #Constraints: 165234 3459.09/3470.44 c #Conflicts: 500000 | #Constraints: 166234 3459.09/3470.44 c #Conflicts: 501000 | #Constraints: 167235 3459.09/3470.44 c #Conflicts: 502000 | #Constraints: 168236 3459.09/3470.44 c #Conflicts: 503000 | #Constraints: 169237 3459.09/3470.44 c #Conflicts: 504000 | #Constraints: 170238 3459.09/3470.44 c #Conflicts: 505000 | #Constraints: 171238 3459.09/3470.44 c #Conflicts: 506000 | #Constraints: 172239 3459.09/3470.44 c #Conflicts: 507000 | #Constraints: 173240 3459.09/3470.44 c #Conflicts: 508000 | #Constraints: 174241 3459.09/3470.44 c #Conflicts: 509000 | #Constraints: 175242 3459.09/3470.44 c #Conflicts: 510000 | #Constraints: 176244 3459.09/3470.44 c #Conflicts: 511000 | #Constraints: 177246 3459.09/3470.44 c #Conflicts: 512000 | #Constraints: 178247 3459.09/3470.44 c #Conflicts: 513000 | #Constraints: 179248 3459.09/3470.44 c #Conflicts: 514000 | #Constraints: 180249 3459.09/3470.44 c #Conflicts: 515000 | #Constraints: 181250 3459.09/3470.44 c #Conflicts: 516000 | #Constraints: 182251 3459.09/3470.44 c #Conflicts: 517000 | #Constraints: 183252 3459.09/3470.44 c INPROCESSING 3459.09/3470.44 c GARBAGE COLLECT 3459.09/3470.44 c rational objective -806.667 3562.84/3574.52 c #Conflicts: 518000 | #Constraints: 146458 3562.84/3574.52 c #Conflicts: 519000 | #Constraints: 147458 3562.84/3574.52 c #Conflicts: 520000 | #Constraints: 148458 3562.84/3574.52 c #Conflicts: 521000 | #Constraints: 149458 3562.84/3574.52 c #Conflicts: 522000 | #Constraints: 150458 3562.84/3574.52 c #Conflicts: 523000 | #Constraints: 151458 3562.84/3574.52 c #Conflicts: 524000 | #Constraints: 152458 3562.84/3574.52 c #Conflicts: 525000 | #Constraints: 153458 3562.84/3574.52 c #Conflicts: 526000 | #Constraints: 154458 3562.84/3574.52 c #Conflicts: 527000 | #Constraints: 155458 3562.84/3574.52 c #Conflicts: 528000 | #Constraints: 156458 3562.84/3574.52 c bounds -726 >= -842 @ 3510.63 3562.84/3574.52 c #Conflicts: 529000 | #Constraints: 157500 3562.84/3574.52 c #Conflicts: 530000 | #Constraints: 158500 3562.84/3574.52 c #Conflicts: 531000 | #Constraints: 159500 3562.84/3574.52 c #Conflicts: 532000 | #Constraints: 160500 3562.84/3574.52 c #Conflicts: 533000 | #Constraints: 161500 3562.84/3574.52 c #Conflicts: 534000 | #Constraints: 162500 3562.84/3574.52 c #Conflicts: 535000 | #Constraints: 163500 3562.84/3574.52 c #Conflicts: 536000 | #Constraints: 164500 3562.84/3574.52 c #Conflicts: 537000 | #Constraints: 165500 3562.84/3574.52 c INPROCESSING 3562.84/3574.52 c GARBAGE COLLECT 3562.84/3574.52 WSVECS04 Frhs2[1133]: 6 0 1.00003 shouldn't be 3583.76/3595.54 WSVECS04 Frhs2[1183]: 6 0 1.00009 shouldn't be 3588.95/3600.77 WSVECS04 Frhs2[1185]: 6 0 1.00003 shouldn't be
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60603 MiB free)
memory of node 1: 64510 MiB (60392 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458791-1721880158/watcher-4458791-1721880158 -o /tmp/evaluation-result-4458791-1721880158/solver-4458791-1721880158 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721875932-216019 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4458791-1721880158.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=219987, runsolver pid=219984
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 4.14 4.14 4.10 5/258 219988
/proc/meminfo: memFree=123894300/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=38660 memory=9932 CPUtime=0.09 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 957 0 0 0 7 2 0 0 20 0 1 0 24538674 39587840 2483 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 9665 2483 1255 922 0 1617 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38660 KiB
Current children cumulated memory: 9932 KiB
[startup+0.205602 s]*
/proc/loadavg: 4.14 4.14 4.10 5/258 219988
/proc/meminfo: memFree=123892452/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=39972 memory=11736 CPUtime=0.2 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 1474 0 0 0 15 5 0 0 20 0 1 0 24538674 40931328 2934 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 9993 2934 1255 922 0 1945 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39972 KiB
Current children cumulated memory: 11736 KiB
[startup+0.305624 s]*
/proc/loadavg: 4.14 4.14 4.10 5/258 219988
/proc/meminfo: memFree=123846536/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=91192 memory=62136 CPUtime=0.29 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 10849 0 0 0 21 8 0 0 20 0 1 0 24538674 93380608 15534 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 22798 15534 1651 922 0 14750 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 91192 KiB
Current children cumulated memory: 62136 KiB
[startup+0.700197 s]
/proc/loadavg: 4.14 4.14 4.10 5/258 219988
/proc/meminfo: memFree=123841300/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=92332 memory=63836 CPUtime=0.69 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 19004 0 0 0 59 10 0 0 20 0 1 0 24538674 94547968 15959 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 23083 15959 1651 922 0 15035 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 92332 KiB
Current children cumulated memory: 63836 KiB
[startup+1.50023 s]
/proc/loadavg: 4.14 4.14 4.10 5/258 219988
/proc/meminfo: memFree=123841272/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=92332 memory=63836 CPUtime=1.48 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 19004 0 0 0 138 10 0 0 20 0 1 0 24538674 94547968 15959 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 23083 15959 1651 922 0 15035 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 92332 KiB
Current children cumulated memory: 63836 KiB
[startup+3.10555 s]
/proc/loadavg: 4.13 4.14 4.10 5/258 219988
/proc/meminfo: memFree=123841256/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=92332 memory=63836 CPUtime=3.08 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 19007 0 0 0 298 10 0 0 20 0 1 0 24538674 94547968 15959 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 23083 15959 1651 922 0 15035 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 92332 KiB
Current children cumulated memory: 63836 KiB
[startup+6.30019 s]
/proc/loadavg: 4.13 4.14 4.10 5/258 219989
/proc/meminfo: memFree=123825172/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=105500 memory=78052 CPUtime=6.27 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 22477 0 0 0 608 19 0 0 20 0 1 0 24538674 108032000 19513 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 26375 19513 1868 922 0 18327 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 105500 KiB
Current children cumulated memory: 78052 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.14 4.10 5/258 219989
/proc/meminfo: memFree=123821212/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=110244 memory=80788 CPUtime=12.65 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 22686 0 0 0 1244 21 0 0 20 0 1 0 24538674 112889856 20197 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 27561 20197 1868 922 0 19513 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 110244 KiB
Current children cumulated memory: 80788 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.15 4.10 5/258 219993
/proc/meminfo: memFree=123818356/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=110244 memory=80920 CPUtime=25.4 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 22727 0 0 0 2517 23 0 0 20 0 1 0 24538674 112889856 20230 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 27561 20230 1868 922 0 19513 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 110244 KiB
Current children cumulated memory: 80920 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.13 4.09 5/258 219997
/proc/meminfo: memFree=123799628/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=120476 memory=88376 CPUtime=50.93 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 23648 0 0 0 5060 33 0 0 20 0 1 0 24538674 123367424 22094 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 30119 22094 1868 922 0 22071 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 120476 KiB
Current children cumulated memory: 88376 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/258 220006
/proc/meminfo: memFree=123752908/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=160160 memory=116584 CPUtime=101.97 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 25702 0 0 0 10149 48 0 0 20 0 1 0 24538674 164003840 29146 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 40040 29146 1868 922 0 31992 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 160160 KiB
Current children cumulated memory: 116584 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.17 4.11 5/257 220018
/proc/meminfo: memFree=123723132/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=160160 memory=116748 CPUtime=161.78 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 25761 0 0 0 16121 57 0 0 20 0 1 0 24538674 164003840 29187 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 40040 29187 1868 922 0 31992 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 160160 KiB
Current children cumulated memory: 116748 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/256 220028
/proc/meminfo: memFree=123690832/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=160160 memory=116748 CPUtime=221.6 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 25793 0 0 0 22081 79 0 0 20 0 1 0 24538674 164003840 29187 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 40040 29187 1868 922 0 31992 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 160160 KiB
Current children cumulated memory: 116748 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/256 220038
/proc/meminfo: memFree=123656824/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=181352 memory=134812 CPUtime=281.4 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 27345 0 0 0 28031 109 0 0 20 0 1 0 24538674 185704448 33703 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 45338 33703 1868 922 0 37290 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 181352 KiB
Current children cumulated memory: 134812 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/256 220050
/proc/meminfo: memFree=123624784/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=192716 memory=148792 CPUtime=341.21 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 28793 0 0 0 34000 121 0 0 20 0 1 0 24538674 197341184 37198 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 48179 37198 1868 922 0 40131 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 192716 KiB
Current children cumulated memory: 148792 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 220061
/proc/meminfo: memFree=123617332/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=192716 memory=148888 CPUtime=401.02 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 28821 0 0 0 39973 129 0 0 20 0 1 0 24538674 197341184 37222 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 48179 37222 1868 922 0 40131 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 192716 KiB
Current children cumulated memory: 148888 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 220072
/proc/meminfo: memFree=123598792/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=192716 memory=155056 CPUtime=460.84 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 29155 0 0 0 45938 146 0 0 20 0 1 0 24538674 197341184 38764 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 48179 38764 1868 922 0 40131 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/257 221264
/proc/meminfo: memFree=123118852/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=302468 memory=250048 CPUtime=3032.5 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 34134 0 0 0 302461 789 0 0 20 0 1 0 24538674 309727232 62512 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 75617 62512 1868 922 0 67569 0
Current children cumulated CPU time: 3032.5 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 250048 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.19 4.13 5/257 221274
/proc/meminfo: memFree=123068376/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=302468 memory=250048 CPUtime=3092.29 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 34195 0 0 0 308432 797 0 0 20 0 1 0 24538674 309727232 62512 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 75617 62512 1868 922 0 67569 0
Current children cumulated CPU time: 3092.29 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 250048 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.19 4.13 5/257 221284
/proc/meminfo: memFree=123034636/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=302468 memory=250048 CPUtime=3152.08 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 34244 0 0 0 314398 810 0 0 20 0 1 0 24538674 309727232 62512 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 75617 62512 1868 922 0 67569 0
Current children cumulated CPU time: 3152.08 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 250048 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/257 221678
/proc/meminfo: memFree=122985508/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=302468 memory=250048 CPUtime=3211.87 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 34297 0 0 0 320354 833 0 0 20 0 1 0 24538674 309727232 62512 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 75617 62512 1868 922 0 67569 0
Current children cumulated CPU time: 3211.87 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 250048 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/258 221690
/proc/meminfo: memFree=122950932/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=302468 memory=250048 CPUtime=3271.66 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 34333 0 0 0 326318 848 0 0 20 0 1 0 24538674 309727232 62512 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 75617 62512 1868 922 0 67569 0
Current children cumulated CPU time: 3271.66 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 250048 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.15 4.12 5/258 221702
/proc/meminfo: memFree=122945840/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=302468 memory=250048 CPUtime=3331.45 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 34410 0 0 0 332283 862 0 0 20 0 1 0 24538674 309727232 62512 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 75617 62512 1868 922 0 67569 0
Current children cumulated CPU time: 3331.45 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 250048 KiB
[startup+3402.3 s]
/proc/loadavg: 4.50 4.23 4.14 5/260 221928
/proc/meminfo: memFree=123459348/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=302468 memory=254144 CPUtime=3391.23 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 34425 0 0 0 338249 874 0 0 20 0 1 0 24538674 309727232 63536 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 75617 63536 1868 922 0 67569 0
Current children cumulated CPU time: 3391.23 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 254144 KiB
[startup+3462.3 s]
/proc/loadavg: 4.30 4.23 4.15 5/260 221939
/proc/meminfo: memFree=123420412/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=302468 memory=260288 CPUtime=3451.02 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 34482 0 0 0 344218 884 0 0 20 0 1 0 24538674 309727232 65072 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 75617 65072 1868 922 0 67569 0
Current children cumulated CPU time: 3451.02 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 260288 KiB
[startup+3522.3 s]
/proc/loadavg: 4.27 4.23 4.16 5/258 221962
/proc/meminfo: memFree=123411552/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=302468 memory=260288 CPUtime=3510.82 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 34488 0 0 0 350178 904 0 0 20 0 1 0 24538674 309727232 65072 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 75617 65072 1868 922 0 67569 0
Current children cumulated CPU time: 3510.82 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 260288 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.20 4.15 5/258 221975
/proc/meminfo: memFree=123398552/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=302468 memory=260288 CPUtime=3570.62 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 34542 0 0 0 356140 922 0 0 20 0 1 0 24538674 309727232 65072 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 75617 65072 1868 922 0 67569 0
Current children cumulated CPU time: 3570.62 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 260288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.14 4.20 4.15 5/258 221979
/proc/meminfo: memFree=123395248/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=302468 memory=262336 CPUtime=3600 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 34544 0 0 0 359073 927 0 0 20 0 1 0 24538674 309727232 65584 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 75617 65584 1868 922 0 67569 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 262336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3613.8 s]
# the end of solver process 219987 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3592.73 s, system=9.27545 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.14 4.20 4.15 5/258 221979
/proc/meminfo: memFree=123395248/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=302468 memory=262336 CPUtime=3601 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 34544 0 0 0 359173 927 0 0 20 0 1 0 24538674 309727232 65584 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 75617 65584 1868 922 0 67569 0
Current children cumulated CPU time: 3601 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 262336 KiB
[startup+3613.6 s]
/proc/loadavg: 4.14 4.20 4.15 5/258 221979
/proc/meminfo: memFree=123395268/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=302468 memory=262336 CPUtime=3601.8 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 34544 0 0 0 359253 927 0 0 20 0 1 0 24538674 309727232 65584 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 75617 65584 1868 922 0 67569 0
Current children cumulated CPU time: 3601.8 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 262336 KiB
[startup+3613.8 s]
/proc/loadavg: 4.14 4.20 4.15 5/258 221979
/proc/meminfo: memFree=123395268/131524600 swapFree=131061428/131071996
[pid=219987] ppid=219984 vsize=302468 memory=262336 CPUtime=3601.99 cores=0,2
/proc/219987/stat : 219987 (roundingsat) R 219984 219987 216009 0 -1 4194304 34544 0 0 0 359272 927 0 0 20 0 1 0 24538674 309727232 65584 134679101440 4194304 7968373 140729866593888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38232064 140729866601406 140729866601570 140729866601570 140729866608585 0
/proc/219987/statm: 75617 65584 1868 922 0 67569 0
Current children cumulated CPU time: 3601.99 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 262336 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.8
CPU time (s): 3602.01
CPU user time (s): 3592.73
CPU system time (s): 9.27545
CPU usage (%): 99.6736
Max. virtual memory (cumulated for all children) (KiB): 302468
Max. memory (cumulated for all children) (KiB): 262336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.73
system time used= 9.27545
maximum resident set size= 262336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34544
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 25206
# summary of solver processes directly reported to runsolver:
# pid: 219987
# total CPU time (s): 3602.01
# total CPU user time (s): 3592.73
# total CPU system time (s): 9.27545
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90939 second user time and 16.7212 second system time
The end
Begin job on nodeC022 at 2024-07-25 06:02:38 IDJOB=4458791 IDBENCH=178157 IDSOLVER=3084 FILE ID=nodeC022/4458791-1721880158 RUNJOBID= nodeC022-1721875932-216019 SLURM_JOB_ID= 8089234 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat nolog 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458791-1721880158/watcher-4458791-1721880158 -o /tmp/evaluation-result-4458791-1721880158/solver-4458791-1721880158 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721875932-216019 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4458791-1721880158.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ff0f59bbfc198112e385d67f72301d6a RANDOM SEED=1002583943 nodeC022.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 : 3658.055 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 : 6999.87 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 : 3687.397 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 : 7006.75 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 : 3651.836 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 : 6999.87 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 : 3600.182 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 : 7006.75 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 : 3664.240 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 : 6999.87 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 : 3687.448 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 : 7006.75 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 : 3610.755 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 : 6999.87 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.191 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 : 7006.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123900088 kB MemAvailable: 129340708 kB Buffers: 298620 kB Cached: 5891064 kB SwapCached: 1424 kB Active: 2575040 kB Inactive: 4279740 kB Active(anon): 1952 kB Inactive(anon): 716580 kB Active(file): 2573088 kB Inactive(file): 3563160 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131061428 kB Dirty: 8336 kB Writeback: 0 kB AnonPages: 663216 kB Mapped: 125484 kB Shmem: 53732 kB KReclaimable: 292132 kB Slab: 415380 kB SReclaimable: 292132 kB SUnreclaim: 123248 kB KernelStack: 4172 kB PageTables: 10512 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1053136 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17248 kB HardwareCorrupted: 0 kB AnonHugePages: 516096 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: 334548 kB DirectMap2M: 36139008 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 890044 MiB End job on nodeC022 at 2024-07-25 07:02:52