| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | -726 | 3600.06 | 3613.2 |
| 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.58/3.62 c bounds 1211 >= -1210 @ 0.195212 3.58/3.62 c bounds 0 >= -1210 @ 3.46448 3.58/3.62 c bounds 0 >= -1209 @ 3.46476 3.58/3.62 c bounds 0 >= -1208 @ 3.46491 3.58/3.62 c bounds 0 >= -1207 @ 3.46509 3.58/3.62 c bounds 0 >= -1206 @ 3.46525 3.58/3.62 c bounds 0 >= -1205 @ 3.46541 3.58/3.62 c bounds 0 >= -1204 @ 3.46556 3.58/3.62 c bounds 0 >= -1203 @ 3.4657 3.58/3.62 c bounds 0 >= -1202 @ 3.46584 3.58/3.62 c bounds 0 >= -1201 @ 3.46598 3.58/3.62 c bounds 0 >= -1200 @ 3.46614 3.58/3.62 c bounds 0 >= -1199 @ 3.46628 3.58/3.62 c bounds 0 >= -1198 @ 3.4665 3.58/3.62 c bounds 0 >= -1197 @ 3.46666 3.58/3.62 c bounds 0 >= -1196 @ 3.46682 3.58/3.62 c bounds 0 >= -1195 @ 3.46697 3.58/3.62 c bounds 0 >= -1194 @ 3.46714 3.58/3.62 c bounds 0 >= -1193 @ 3.4673 3.58/3.62 c bounds 0 >= -1192 @ 3.46746 3.58/3.62 c bounds 0 >= -1191 @ 3.4676 3.58/3.62 c bounds 0 >= -1190 @ 3.46774 3.58/3.62 c bounds 0 >= -1189 @ 3.46787 3.58/3.62 c bounds 0 >= -1188 @ 3.468 3.58/3.62 c bounds 0 >= -1187 @ 3.46822 3.58/3.62 c bounds 0 >= -1186 @ 3.4684 3.58/3.62 c bounds 0 >= -1185 @ 3.46854 3.58/3.62 c bounds 0 >= -1184 @ 3.46862 3.58/3.62 c bounds 0 >= -1183 @ 3.46862 3.58/3.62 c bounds 0 >= -1182 @ 3.46862 3.58/3.62 c bounds 0 >= -1181 @ 3.46862 3.58/3.62 c bounds 0 >= -1180 @ 3.4687 3.58/3.62 c bounds 0 >= -1179 @ 3.46883 3.58/3.62 c bounds 0 >= -1178 @ 3.46896 3.58/3.62 c bounds 0 >= -1177 @ 3.46913 3.58/3.62 c bounds 0 >= -1176 @ 3.46926 3.58/3.62 c bounds 0 >= -1175 @ 3.46946 3.58/3.62 c bounds 0 >= -1174 @ 3.46961 3.58/3.62 c bounds 0 >= -1173 @ 3.46975 3.58/3.62 c bounds 0 >= -1172 @ 3.46989 3.58/3.62 c bounds 0 >= -1171 @ 3.47003 3.58/3.62 c bounds 0 >= -1170 @ 3.47018 3.58/3.62 c bounds 0 >= -1169 @ 3.47031 3.58/3.62 c bounds 0 >= -1168 @ 3.47045 3.58/3.62 c bounds 0 >= -1167 @ 3.47059 3.58/3.62 c bounds 0 >= -1166 @ 3.4708 3.58/3.62 c bounds 0 >= -1165 @ 3.47096 3.58/3.62 c bounds 0 >= -1164 @ 3.47102 3.58/3.62 c bounds 0 >= -1163 @ 3.47102 3.58/3.62 c bounds 0 >= -1162 @ 3.47102 3.58/3.62 c bounds 0 >= -1161 @ 3.47102 3.58/3.62 c bounds 0 >= -1160 @ 3.47102 3.58/3.62 c bounds 0 >= -1159 @ 3.47102 3.58/3.62 c bounds 0 >= -1158 @ 3.47109 3.58/3.62 c bounds 0 >= -1157 @ 3.47123 3.58/3.62 c bounds 0 >= -1156 @ 3.47136 3.58/3.62 c bounds 0 >= -1155 @ 3.4715 3.58/3.62 c bounds 0 >= -1154 @ 3.47166 3.58/3.62 c bounds 0 >= -1153 @ 3.4718 3.58/3.62 c bounds 0 >= -1152 @ 3.47195 3.58/3.62 c bounds 0 >= -1151 @ 3.47211 3.58/3.62 c bounds 0 >= -1150 @ 3.47225 3.58/3.62 c bounds 0 >= -1149 @ 3.47241 3.58/3.62 c bounds 0 >= -1148 @ 3.47255 3.58/3.62 c bounds 0 >= -1147 @ 3.47269 3.58/3.62 c bounds 0 >= -1146 @ 3.47283 3.58/3.62 c bounds 0 >= -1145 @ 3.47305 3.58/3.62 c bounds 0 >= -1144 @ 3.4732 3.58/3.62 c bounds 0 >= -1143 @ 3.47336 3.58/3.62 c bounds 0 >= -1142 @ 3.4735 3.58/3.62 c bounds 0 >= -1141 @ 3.47365 3.58/3.62 c bounds 0 >= -1140 @ 3.47379 3.58/3.62 c bounds 0 >= -1139 @ 3.47393 3.58/3.62 c bounds 0 >= -1138 @ 3.47409 3.58/3.62 c bounds 0 >= -1137 @ 3.47424 3.58/3.62 c bounds 0 >= -1136 @ 3.47439 3.58/3.62 c bounds 0 >= -1135 @ 3.47453 3.58/3.62 c bounds 0 >= -1134 @ 3.47466 3.58/3.62 c bounds 0 >= -1133 @ 3.47483 3.58/3.62 c bounds 0 >= -1132 @ 3.47497 3.58/3.62 c bounds 0 >= -1131 @ 3.47501 3.58/3.62 c bounds 0 >= -1130 @ 3.47501 3.58/3.62 c bounds 0 >= -1129 @ 3.47501 3.58/3.62 c bounds 0 >= -1128 @ 3.47501 3.58/3.62 c bounds 0 >= -1127 @ 3.47501 3.58/3.62 c bounds 0 >= -1126 @ 3.47501 3.58/3.62 c bounds 0 >= -1125 @ 3.47504 3.58/3.62 c bounds 0 >= -1124 @ 3.47522 3.58/3.62 c bounds 0 >= -1123 @ 3.47539 3.58/3.62 c bounds 0 >= -1122 @ 3.47554 3.58/3.62 c bounds 0 >= -1121 @ 3.47569 3.58/3.62 c bounds 0 >= -1120 @ 3.47584 3.58/3.62 c bounds 0 >= -1119 @ 3.47598 3.58/3.62 c bounds 0 >= -1118 @ 3.47612 3.58/3.62 c bounds 0 >= -1117 @ 3.47628 3.58/3.62 c bounds 0 >= -1116 @ 3.47643 3.58/3.62 c bounds 0 >= -1115 @ 3.47664 3.58/3.62 c bounds 0 >= -1114 @ 3.47678 3.58/3.62 c bounds 0 >= -1113 @ 3.47692 3.58/3.62 c bounds 0 >= -1112 @ 3.47708 3.58/3.62 c bounds 0 >= -1111 @ 3.47723 3.58/3.62 c bounds 0 >= -1110 @ 3.47743 3.58/3.62 c bounds 0 >= -1109 @ 3.47759 3.58/3.62 c bounds 0 >= -1108 @ 3.47774 3.58/3.62 c bounds 0 >= -1107 @ 3.47788 3.58/3.62 c bounds 0 >= -1106 @ 3.47805 3.58/3.62 c bounds 0 >= -1105 @ 3.47825 3.58/3.62 c bounds 0 >= -1104 @ 3.47841 3.58/3.62 c bounds 0 >= -1103 @ 3.47857 3.58/3.62 c bounds 0 >= -1102 @ 3.47872 3.58/3.62 c bounds 0 >= -1101 @ 3.47886 3.58/3.62 c bounds 0 >= -1100 @ 3.47903 3.58/3.62 c bounds 0 >= -1099 @ 3.47917 3.58/3.62 c bounds 0 >= -1098 @ 3.47933 3.58/3.62 c bounds 0 >= -1097 @ 3.47949 3.58/3.62 c bounds 0 >= -1096 @ 3.47963 3.58/3.62 c bounds 0 >= -1095 @ 3.47978 3.58/3.62 c bounds 0 >= -1094 @ 3.47991 3.58/3.62 c bounds 0 >= -1093 @ 3.48007 3.58/3.62 c bounds 0 >= -1092 @ 3.48022 3.58/3.62 c bounds 0 >= -1091 @ 3.48039 3.58/3.62 c bounds 0 >= -1090 @ 3.48057 3.58/3.62 c bounds 0 >= -1089 @ 3.48071 3.58/3.62 c bounds 0 >= -1088 @ 3.48085 3.58/3.62 c bounds 0 >= -1087 @ 3.48098 3.58/3.62 c bounds 0 >= -1086 @ 3.48124 3.58/3.62 c bounds 0 >= -1085 @ 3.48142 3.58/3.62 c bounds 0 >= -1084 @ 3.48158 3.58/3.62 c bounds 0 >= -1083 @ 3.48175 3.58/3.62 c bounds 0 >= -1082 @ 3.4819 3.58/3.62 c bounds 0 >= -1081 @ 3.48206 3.58/3.62 c bounds 0 >= -1080 @ 3.4822 3.58/3.62 c bounds 0 >= -1079 @ 3.48235 3.58/3.62 c bounds 0 >= -1078 @ 3.48251 3.58/3.62 c bounds 0 >= -1077 @ 3.48265 3.58/3.62 c bounds 0 >= -1076 @ 3.4828 3.58/3.62 c bounds 0 >= -1075 @ 3.48294 3.58/3.66 c bounds 0 >= -1074 @ 3.48312 3.58/3.66 c bounds 0 >= -1073 @ 3.48326 3.58/3.66 c bounds 0 >= -1072 @ 3.48344 3.58/3.66 c bounds 0 >= -1071 @ 3.48368 3.58/3.66 c bounds 0 >= -1070 @ 3.48382 3.58/3.66 c bounds 0 >= -1069 @ 3.48397 3.58/3.66 c bounds 0 >= -1068 @ 3.48411 3.58/3.66 c bounds 0 >= -1067 @ 3.48434 3.58/3.66 c bounds 0 >= -1066 @ 3.4845 3.58/3.66 c bounds 0 >= -1065 @ 3.48466 3.58/3.66 c bounds 0 >= -1064 @ 3.48481 3.58/3.66 c bounds 0 >= -1063 @ 3.48496 3.58/3.66 c bounds 0 >= -1062 @ 3.48511 3.58/3.66 c bounds 0 >= -1061 @ 3.48526 3.58/3.66 c bounds 0 >= -1060 @ 3.4854 3.58/3.66 c bounds 0 >= -1059 @ 3.48558 3.58/3.66 c bounds 0 >= -1058 @ 3.48574 3.58/3.66 c bounds 0 >= -1057 @ 3.48589 3.58/3.66 c bounds 0 >= -1056 @ 3.48604 3.58/3.66 c bounds 0 >= -1055 @ 3.48619 3.58/3.66 c bounds 0 >= -1054 @ 3.48634 3.58/3.66 c bounds 0 >= -1053 @ 3.48656 3.58/3.66 c bounds 0 >= -1052 @ 3.4867 3.58/3.66 c bounds 0 >= -1051 @ 3.48685 3.58/3.66 c bounds 0 >= -1050 @ 3.48704 3.58/3.66 c bounds 0 >= -1049 @ 3.48718 3.58/3.66 c bounds 0 >= -1048 @ 3.48743 3.58/3.66 c bounds 0 >= -1047 @ 3.4876 3.58/3.66 c bounds 0 >= -1046 @ 3.48777 3.58/3.66 c bounds 0 >= -1045 @ 3.48801 3.58/3.66 c bounds 0 >= -1044 @ 3.4882 3.58/3.66 c bounds 0 >= -1043 @ 3.48838 3.58/3.66 c bounds 0 >= -1042 @ 3.48857 3.58/3.66 c bounds 0 >= -1041 @ 3.48874 3.58/3.66 c bounds 0 >= -1040 @ 3.48892 3.58/3.66 c bounds 0 >= -1039 @ 3.4891 3.58/3.66 c bounds 0 >= -1038 @ 3.48928 3.58/3.66 c bounds 0 >= -1037 @ 3.48944 3.58/3.66 c bounds 0 >= -1036 @ 3.48961 3.58/3.66 c bounds 0 >= -1035 @ 3.48975 3.58/3.66 c bounds 0 >= -1034 @ 3.4899 3.58/3.66 c bounds 0 >= -1033 @ 3.49004 3.58/3.66 c bounds 0 >= -1032 @ 3.49022 3.58/3.66 c bounds 0 >= -1031 @ 3.49048 3.58/3.66 c bounds 0 >= -1030 @ 3.49065 3.58/3.66 c bounds 0 >= -1029 @ 3.49084 3.58/3.66 c bounds 0 >= -1028 @ 3.49105 3.58/3.66 c bounds 0 >= -1027 @ 3.49124 3.58/3.66 c bounds 0 >= -1026 @ 3.49142 3.58/3.66 c bounds 0 >= -1025 @ 3.4916 3.58/3.66 c bounds 0 >= -1024 @ 3.49179 3.58/3.66 c bounds 0 >= -1023 @ 3.49196 3.58/3.66 c bounds -44 >= -1023 @ 3.49415 3.58/3.66 c bounds -44 >= -1022 @ 3.49441 3.58/3.66 c bounds -44 >= -1021 @ 3.49458 3.58/3.66 c bounds -44 >= -1020 @ 3.49474 3.58/3.66 c bounds -44 >= -1019 @ 3.49491 3.58/3.66 c bounds -44 >= -1018 @ 3.49509 3.58/3.66 c bounds -44 >= -1017 @ 3.49525 3.58/3.66 c bounds -44 >= -1016 @ 3.49541 3.58/3.66 c bounds -44 >= -1015 @ 3.49561 3.58/3.66 c bounds -44 >= -1014 @ 3.49584 3.58/3.66 c bounds -44 >= -1013 @ 3.49596 3.58/3.66 c bounds -44 >= -1012 @ 3.49596 3.58/3.66 c bounds -44 >= -1011 @ 3.49596 3.58/3.66 c bounds -44 >= -1010 @ 3.49596 3.58/3.66 c bounds -44 >= -1009 @ 3.49596 3.58/3.66 c bounds -44 >= -1008 @ 3.49609 3.58/3.66 c bounds -44 >= -1007 @ 3.49629 3.58/3.66 c bounds -44 >= -1006 @ 3.49647 3.58/3.66 c bounds -44 >= -1005 @ 3.49663 3.58/3.66 c bounds -44 >= -1004 @ 3.49679 3.58/3.66 c bounds -44 >= -1003 @ 3.49695 3.58/3.66 c bounds -44 >= -1002 @ 3.49711 3.58/3.66 c bounds -44 >= -1001 @ 3.49727 3.58/3.66 c bounds -44 >= -1000 @ 3.49742 3.58/3.66 c bounds -44 >= -999 @ 3.49758 3.58/3.66 c bounds -44 >= -998 @ 3.49777 3.58/3.66 c bounds -44 >= -997 @ 3.49797 3.58/3.66 c bounds -44 >= -996 @ 3.49814 3.58/3.66 c bounds -44 >= -995 @ 3.4983 3.58/3.66 c bounds -44 >= -994 @ 3.49847 3.58/3.66 c bounds -44 >= -993 @ 3.49864 3.58/3.66 c bounds -44 >= -992 @ 3.49886 3.58/3.66 c bounds -88 >= -992 @ 3.4996 3.58/3.66 c bounds -88 >= -991 @ 3.49991 3.58/3.66 c bounds -88 >= -990 @ 3.5001 3.58/3.66 c bounds -88 >= -989 @ 3.50028 3.58/3.66 c bounds -88 >= -988 @ 3.50054 3.58/3.66 c bounds -88 >= -987 @ 3.50071 3.58/3.66 c bounds -88 >= -986 @ 3.50092 3.58/3.66 c bounds -88 >= -985 @ 3.50112 3.58/3.66 c bounds -88 >= -984 @ 3.50132 3.58/3.66 c bounds -88 >= -983 @ 3.5015 3.58/3.66 c bounds -88 >= -982 @ 3.50167 3.58/3.66 c bounds -88 >= -981 @ 3.50193 3.58/3.66 c bounds -88 >= -980 @ 3.50214 3.58/3.66 c bounds -88 >= -979 @ 3.50253 3.58/3.66 c bounds -132 >= -979 @ 3.50425 3.58/3.66 c bounds -132 >= -978 @ 3.50462 3.58/3.66 c bounds -132 >= -977 @ 3.50482 3.58/3.66 c bounds -132 >= -976 @ 3.50502 3.58/3.66 c bounds -132 >= -975 @ 3.50521 3.58/3.66 c bounds -132 >= -974 @ 3.5054 3.58/3.66 c bounds -132 >= -973 @ 3.50564 3.58/3.66 c bounds -132 >= -972 @ 3.50584 3.58/3.66 c bounds -132 >= -971 @ 3.50614 3.58/3.66 c bounds -132 >= -970 @ 3.50636 3.58/3.66 c bounds -132 >= -969 @ 3.50658 3.58/3.66 c bounds -176 >= -969 @ 3.50807 3.58/3.66 c bounds -176 >= -968 @ 3.50844 3.58/3.66 c bounds -176 >= -967 @ 3.50864 3.58/3.66 c bounds -176 >= -966 @ 3.50883 3.58/3.66 c bounds -176 >= -965 @ 3.5091 3.58/3.66 c bounds -176 >= -964 @ 3.50932 3.58/3.66 c bounds -176 >= -963 @ 3.50964 3.58/3.66 c bounds -176 >= -962 @ 3.50986 3.58/3.66 c bounds -176 >= -961 @ 3.5101 3.58/3.66 c bounds -220 >= -961 @ 3.51179 3.58/3.66 c bounds -220 >= -960 @ 3.51221 3.58/3.66 c bounds -220 >= -959 @ 3.51242 3.58/3.66 c bounds -220 >= -958 @ 3.51261 3.58/3.66 c bounds -220 >= -957 @ 3.51287 3.58/3.66 c bounds -220 >= -956 @ 3.51324 3.58/3.66 c bounds -220 >= -955 @ 3.51351 3.58/3.66 c bounds -220 >= -954 @ 3.51374 3.58/3.66 c bounds -220 >= -953 @ 3.51397 3.58/3.66 c bounds -264 >= -953 @ 3.51568 3.58/3.66 c bounds -264 >= -952 @ 3.51592 3.58/3.66 c bounds -264 >= -951 @ 3.51592 3.58/3.66 c bounds -264 >= -950 @ 3.51592 3.58/3.66 c bounds -264 >= -949 @ 3.51592 3.58/3.66 c bounds -264 >= -948 @ 3.51602 4.97/5.09 c bounds -264 >= -947 @ 3.51648 4.97/5.09 c bounds -264 >= -946 @ 3.51677 4.97/5.09 c bounds -308 >= -946 @ 3.51875 4.97/5.09 c bounds -308 >= -945 @ 3.51928 4.97/5.09 c bounds -308 >= -944 @ 3.5195 4.97/5.09 c bounds -308 >= -943 @ 3.51972 4.97/5.09 c bounds -308 >= -942 @ 3.51992 4.97/5.09 c bounds -308 >= -941 @ 3.52011 4.97/5.09 c bounds -308 >= -940 @ 3.52035 4.97/5.09 c bounds -308 >= -939 @ 3.5206 4.97/5.09 c bounds -308 >= -938 @ 3.52099 4.97/5.09 c bounds -308 >= -937 @ 3.52124 4.97/5.09 c bounds -308 >= -936 @ 3.52151 4.97/5.09 c bounds -352 >= -936 @ 3.52324 4.97/5.09 c bounds -352 >= -935 @ 3.52367 4.97/5.09 c bounds -352 >= -934 @ 3.52389 4.97/5.09 c bounds -352 >= -933 @ 3.52412 4.97/5.09 c bounds -352 >= -932 @ 3.52433 4.97/5.09 c bounds -352 >= -931 @ 3.52452 4.97/5.09 c bounds -352 >= -930 @ 3.52474 4.97/5.09 c bounds -352 >= -929 @ 3.52515 4.97/5.09 c bounds -396 >= -929 @ 3.52686 4.97/5.09 c bounds -396 >= -928 @ 3.52689 4.97/5.09 c bounds -396 >= -927 @ 3.52689 4.97/5.09 c bounds -396 >= -926 @ 3.52691 4.97/5.09 c bounds -396 >= -925 @ 3.52714 4.97/5.09 c bounds -396 >= -924 @ 3.52736 4.97/5.09 c bounds -396 >= -923 @ 3.52756 4.97/5.09 c bounds -396 >= -922 @ 3.52783 4.97/5.09 c bounds -396 >= -921 @ 3.52822 4.97/5.09 c bounds -440 >= -921 @ 3.52987 4.97/5.09 c bounds -440 >= -920 @ 3.53038 4.97/5.09 c bounds -440 >= -919 @ 3.5306 4.97/5.09 c bounds -440 >= -918 @ 3.53086 4.97/5.09 c bounds -440 >= -917 @ 3.53088 4.97/5.09 c bounds -484 >= -917 @ 3.53197 4.97/5.09 c bounds -484 >= -916 @ 3.53241 4.97/5.09 c bounds -484 >= -915 @ 3.53267 4.97/5.09 c bounds -484 >= -914 @ 3.53286 4.97/5.09 c bounds -484 >= -913 @ 3.53305 4.97/5.09 c bounds -484 >= -912 @ 3.53329 4.97/5.09 c bounds -484 >= -911 @ 3.53353 4.97/5.09 c bounds -484 >= -910 @ 3.53385 4.97/5.09 c bounds -484 >= -909 @ 3.53387 4.97/5.09 c bounds -506 >= -909 @ 3.53484 4.97/5.09 c bounds -506 >= -908 @ 3.53541 4.97/5.09 c bounds -506 >= -907 @ 3.53565 4.97/5.09 c bounds -506 >= -906 @ 3.53595 4.97/5.09 c bounds -506 >= -905 @ 3.53666 4.97/5.09 c bounds -528 >= -905 @ 3.53997 4.97/5.09 c bounds -528 >= -904 @ 3.54083 4.97/5.09 c bounds -528 >= -903 @ 3.54086 4.97/5.09 c bounds -528 >= -902 @ 3.54086 4.97/5.09 c bounds -528 >= -901 @ 3.54108 4.97/5.09 c bounds -550 >= -901 @ 3.54651 4.97/5.09 c bounds -550 >= -900 @ 3.54748 4.97/5.09 c bounds -550 >= -899 @ 3.54832 4.97/5.09 c bounds -550 >= -898 @ 3.54875 4.97/5.09 c bounds -550 >= -897 @ 3.54916 4.97/5.09 c bounds -550 >= -896 @ 3.54947 4.97/5.09 c bounds -550 >= -895 @ 3.54973 4.97/5.09 c bounds -550 >= -894 @ 3.55 4.97/5.09 c bounds -550 >= -893 @ 3.55088 4.97/5.09 c bounds -550 >= -892 @ 3.5515 4.97/5.09 c bounds -572 >= -892 @ 3.55701 4.97/5.09 c bounds -572 >= -891 @ 3.55781 4.97/5.09 c bounds -572 >= -890 @ 3.55781 4.97/5.09 c bounds -572 >= -889 @ 3.55781 4.97/5.09 c bounds -572 >= -888 @ 3.55781 4.97/5.09 c bounds -572 >= -887 @ 3.55881 4.97/5.09 c bounds -572 >= -886 @ 3.55897 4.97/5.09 c bounds -572 >= -885 @ 3.56145 4.97/5.09 c bounds -610 >= -885 @ 3.56694 4.97/5.09 c bounds -610 >= -884 @ 3.56879 4.97/5.09 c bounds -610 >= -883 @ 3.56979 4.97/5.09 c bounds -610 >= -882 @ 3.57079 4.97/5.09 c bounds -610 >= -881 @ 3.57216 4.97/5.09 c bounds -610 >= -880 @ 3.57419 4.97/5.09 c bounds -630 >= -880 @ 3.57949 4.97/5.09 c bounds -630 >= -879 @ 3.58075 4.97/5.09 c bounds -630 >= -878 @ 3.5836 4.97/5.09 c bounds -636 >= -878 @ 3.58815 4.97/5.09 c bounds -636 >= -877 @ 3.59192 4.97/5.09 c bounds -638 >= -877 @ 3.59865 4.97/5.09 c bounds -638 >= -876 @ 3.6047 4.97/5.09 c bounds -640 >= -876 @ 3.60858 4.97/5.09 c bounds -640 >= -875 @ 3.6185 4.97/5.09 c bounds -642 >= -875 @ 3.65339 4.97/5.09 c bounds -642 >= -874 @ 3.67043 4.97/5.09 c bounds -644 >= -874 @ 3.68577 4.97/5.09 c bounds -656 >= -874 @ 3.68921 4.97/5.09 c bounds -660 >= -874 @ 3.6913 4.97/5.09 c bounds -680 >= -874 @ 3.69306 4.97/5.09 c bounds -682 >= -874 @ 3.69534 4.97/5.09 c bounds -682 >= -873 @ 3.71348 4.97/5.09 c bounds -684 >= -873 @ 3.71778 4.97/5.09 c #Conflicts: 1000 | #Constraints: 108098 4.97/5.09 c bounds -686 >= -873 @ 3.90706 4.97/5.09 c bounds -686 >= -872 @ 3.91869 4.97/5.09 c bounds -686 >= -871 @ 3.9365 4.97/5.09 c bounds -686 >= -870 @ 3.97256 4.97/5.09 c bounds -688 >= -870 @ 3.99877 4.97/5.09 c bounds -690 >= -870 @ 4.0018 4.97/5.09 c bounds -692 >= -870 @ 4.00358 4.97/5.09 c bounds -694 >= -870 @ 4.00598 4.97/5.09 c bounds -696 >= -870 @ 4.01034 4.97/5.09 c bounds -698 >= -870 @ 4.01282 4.97/5.09 c bounds -700 >= -870 @ 4.01523 4.97/5.09 c bounds -706 >= -870 @ 4.01754 4.97/5.09 c #Conflicts: 2000 | #Constraints: 109293 4.97/5.09 c INPROCESSING 4.97/5.09 c GARBAGE COLLECT 4.97/5.09 WSVECS04 Frhs2[22]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[23]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[24]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[25]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[26]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[30]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[35]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[44]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[45]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[46]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[47]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[48]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[49]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[50]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[51]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[52]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[53]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[54]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[75]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[76]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[77]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[78]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[79]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[83]: 6 0 1.0001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[88]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[97]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[98]: 6 0 1.0001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[99]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[100]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[101]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[102]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[103]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[104]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[105]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[106]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[107]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[116]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[117]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[118]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[119]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[120]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[121]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[122]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[123]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[124]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[125]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[126]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[132]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[133]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[134]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[138]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[139]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[141]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[142]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[143]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[144]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[145]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[146]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[147]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[148]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[178]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[179]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[180]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[181]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[182]: 6 0 1.0001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[186]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[191]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[200]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[201]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[202]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[203]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[204]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[205]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[206]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[207]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[208]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[209]: 6 0 1.0001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[210]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[228]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[229]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[230]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[231]: 6 0 1.0001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[232]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[236]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[241]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[250]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[251]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[252]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[253]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[254]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[255]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[256]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[257]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[258]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[259]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[260]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[277]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[278]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[279]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[280]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[281]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[285]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[290]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[299]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[300]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[301]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[302]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[303]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[304]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[305]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[306]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[307]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[308]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[309]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[314]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[315]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[316]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[317]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[318]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[319]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[320]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[321]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[322]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[323]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[324]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[330]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[331]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[332]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[336]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[337]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[339]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[340]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[341]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[342]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[343]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[344]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[345]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[346]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[372]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[373]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[374]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[375]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[376]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[380]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[385]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[394]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[395]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[396]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[397]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[398]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[399]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[400]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[401]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[402]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[403]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[404]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[407]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[408]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[409]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[410]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[411]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[412]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[413]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[414]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[415]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[416]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[417]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[423]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[424]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[425]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[429]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[430]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[432]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[433]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[434]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[435]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[436]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[437]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[438]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[439]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[452]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[453]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[454]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[455]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[456]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[457]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[458]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[459]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[460]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[461]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[462]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[468]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[469]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[470]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[474]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[475]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[477]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[478]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[479]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[480]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[481]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[482]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[483]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[484]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[507]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[508]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[509]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[510]: 6 0 1.0001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[511]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[515]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[520]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[529]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[530]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[531]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[532]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[533]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[534]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[535]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[536]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[537]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[538]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[539]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[555]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[556]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[557]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[561]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[562]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[564]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[565]: 6 0 1.0001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[566]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[567]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[568]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[569]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[570]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[571]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[597]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[598]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[599]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[603]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[604]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[606]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[607]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[608]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[609]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[610]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[611]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[612]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[613]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[638]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[639]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[640]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[644]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[645]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[647]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[648]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[649]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[650]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[651]: 6 0 1.0001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[652]: 6 0 1.0001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[653]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[654]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[678]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[679]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[680]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[684]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[685]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[687]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[688]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[689]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[690]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[691]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[692]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[693]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[694]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[717]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[718]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[719]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[723]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[724]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[726]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[727]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[728]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[729]: 6 0 1.0001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[730]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[731]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[732]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[733]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[755]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[756]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[757]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[761]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[762]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[764]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[765]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[766]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[767]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[768]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[769]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[770]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[771]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[792]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[793]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[794]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[798]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[799]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[801]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[802]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[803]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[804]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[805]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[806]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[807]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[808]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[828]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[829]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[830]: 6 0 1.0001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[834]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[835]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[837]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[838]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[839]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[840]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[841]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[842]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[843]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[844]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[863]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[864]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[865]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[869]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[870]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[872]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[873]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[874]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[875]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[876]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[877]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[878]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[879]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[897]: 6 0 1.0001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[898]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[899]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[903]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[904]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[906]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[907]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[908]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[909]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[910]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[911]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[912]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[913]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[930]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[931]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[932]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[936]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[937]: 6 0 1.0001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[939]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[940]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[941]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[942]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[943]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[944]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[945]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[946]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[970]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[979]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[980]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[981]: 6 0 1.0001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[982]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[983]: 6 0 1.0001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[984]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[985]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[986]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[987]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[988]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[989]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1001]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1010]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1011]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1012]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1013]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1014]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1015]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1016]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1017]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1018]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1019]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1020]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1031]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1040]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1041]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1042]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1043]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1044]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1045]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1046]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1047]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1048]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1049]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1050]: 6 0 1.0001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1060]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1069]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1070]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1071]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1072]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1073]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1074]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1075]: 6 0 1.0001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1076]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1077]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1078]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1079]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1088]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1097]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1098]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1099]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1100]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1101]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1102]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1103]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1104]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1105]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1106]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1107]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1113]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1114]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1116]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1117]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1118]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1119]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1120]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1121]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1122]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1123]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1139]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1140]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1142]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1143]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1144]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1145]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1146]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1147]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1148]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1149]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1164]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1165]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1167]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1168]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1169]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1170]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1171]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1172]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1173]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1174]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1190]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1199]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1200]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1201]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1202]: 6 0 1.0001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1203]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1204]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1205]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1206]: 6 0 1.00002 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1207]: 6 0 1.00008 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1208]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1209]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1304]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1305]: 6 0 1.00007 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1306]: 6 0 1.00006 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1307]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1308]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1309]: 6 0 1.00005 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1310]: 6 0 1.0001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1311]: 6 0 1.00003 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1312]: 6 0 1.00009 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1313]: 6 0 1.00001 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1314]: 6 0 1.00004 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1341]: 6 -1.00003 0 shouldn't be 4.97/5.09 WSVECS04 Frhs2[1376]: 6 -1.00003 0 shouldn't be 14.64/14.78 c bounds -712 >= -870 @ 11.9049 14.64/14.78 c #Conflicts: 3000 | #Constraints: 108903 14.64/14.78 c bounds -714 >= -870 @ 13.4689 14.64/14.78 WSVECS04 Frhs2[20]: 6 0 1.0001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[35]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[45]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[46]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[52]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[54]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[73]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[75]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[78]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[98]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[99]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[117]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[118]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[119]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[122]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[123]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[124]: 6 0 1.0001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[133]: 6 0 1.00001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[136]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[138]: 6 0 1.00009 shouldn't be 14.64/14.78 WSVECS04 Frhs2[141]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[143]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[144]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[145]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[147]: 6 0 1.00007 shouldn't be 14.64/14.78 WSVECS04 Frhs2[176]: 6 0 1.00009 shouldn't be 14.64/14.78 WSVECS04 Frhs2[180]: 6 0 1.00003 shouldn't be 14.64/14.78 WSVECS04 Frhs2[201]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[204]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[205]: 6 0 1.00001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[206]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[208]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[209]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[226]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[258]: 6 0 1.00003 shouldn't be 14.64/14.78 WSVECS04 Frhs2[259]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[275]: 6 0 1.00009 shouldn't be 14.64/14.78 WSVECS04 Frhs2[281]: 6 0 1.00001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[300]: 6 0 1.00009 shouldn't be 14.64/14.78 WSVECS04 Frhs2[304]: 6 0 1.00001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[315]: 6 0 1.00003 shouldn't be 14.64/14.78 WSVECS04 Frhs2[316]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[317]: 6 0 1.00007 shouldn't be 14.64/14.78 WSVECS04 Frhs2[319]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[320]: 6 0 1.00007 shouldn't be 14.64/14.78 WSVECS04 Frhs2[322]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[342]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[346]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[370]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[376]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[396]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[397]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[402]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[408]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[410]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[412]: 6 0 1.00007 shouldn't be 14.64/14.78 WSVECS04 Frhs2[413]: 6 0 1.00003 shouldn't be 14.64/14.78 WSVECS04 Frhs2[415]: 6 0 1.00003 shouldn't be 14.64/14.78 WSVECS04 Frhs2[427]: 6 0 1.0001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[430]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[436]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[439]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[453]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[455]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[457]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[459]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[460]: 6 0 1.00009 shouldn't be 14.64/14.78 WSVECS04 Frhs2[472]: 6 0 1.00007 shouldn't be 14.64/14.78 WSVECS04 Frhs2[474]: 6 0 1.00003 shouldn't be 14.64/14.78 WSVECS04 Frhs2[475]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[484]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[505]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[507]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[508]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[510]: 6 0 1.00007 shouldn't be 14.64/14.78 WSVECS04 Frhs2[511]: 6 0 1.0001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[520]: 6 0 1.00009 shouldn't be 14.64/14.78 WSVECS04 Frhs2[529]: 6 0 1.00007 shouldn't be 14.64/14.78 WSVECS04 Frhs2[530]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[531]: 6 0 1.00001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[532]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[533]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[534]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[535]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[536]: 6 0 1.00007 shouldn't be 14.64/14.78 WSVECS04 Frhs2[537]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[538]: 6 0 1.00009 shouldn't be 14.64/14.78 WSVECS04 Frhs2[539]: 6 0 1.00001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[601]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[607]: 6 0 1.0001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[610]: 6 0 1.00001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[612]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[642]: 6 0 1.00003 shouldn't be 14.64/14.78 WSVECS04 Frhs2[647]: 6 0 1.00007 shouldn't be 14.64/14.78 WSVECS04 Frhs2[648]: 6 0 1.00009 shouldn't be 14.64/14.78 WSVECS04 Frhs2[649]: 6 0 1.00007 shouldn't be 14.64/14.78 WSVECS04 Frhs2[650]: 6 0 1.00009 shouldn't be 14.64/14.78 WSVECS04 Frhs2[651]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[652]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[654]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[679]: 6 0 1.00009 shouldn't be 14.64/14.78 WSVECS04 Frhs2[682]: 6 0 1.00001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[684]: 6 0 1.00001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[685]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[687]: 6 0 1.00003 shouldn't be 14.64/14.78 WSVECS04 Frhs2[688]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[690]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[691]: 6 0 1.00007 shouldn't be 14.64/14.78 WSVECS04 Frhs2[692]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[693]: 6 0 1.00003 shouldn't be 14.64/14.78 WSVECS04 Frhs2[756]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[759]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[761]: 6 0 1.00009 shouldn't be 14.64/14.78 WSVECS04 Frhs2[762]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[764]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[765]: 6 0 1.00009 shouldn't be 14.64/14.78 WSVECS04 Frhs2[767]: 6 0 1.00009 shouldn't be 14.64/14.78 WSVECS04 Frhs2[768]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[769]: 6 0 1.00007 shouldn't be 14.64/14.78 WSVECS04 Frhs2[770]: 6 0 1.00003 shouldn't be 14.64/14.78 WSVECS04 Frhs2[796]: 6 0 1.0001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[799]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[807]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[829]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[834]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[835]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[837]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[838]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[839]: 6 0 1.00007 shouldn't be 14.64/14.78 WSVECS04 Frhs2[840]: 6 0 1.00001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[841]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[842]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[843]: 6 0 1.00003 shouldn't be 14.64/14.78 WSVECS04 Frhs2[844]: 6 0 1.00003 shouldn't be 14.64/14.78 WSVECS04 Frhs2[864]: 6 0 1.00007 shouldn't be 14.64/14.78 WSVECS04 Frhs2[867]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[869]: 6 0 1.00003 shouldn't be 14.64/14.78 WSVECS04 Frhs2[870]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[875]: 6 0 1.00003 shouldn't be 14.64/14.78 WSVECS04 Frhs2[876]: 6 0 1.0001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[877]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[878]: 6 0 1.00009 shouldn't be 14.64/14.78 WSVECS04 Frhs2[879]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[892]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[893]: 6 0 1.00007 shouldn't be 14.64/14.78 WSVECS04 Frhs2[894]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[895]: 6 0 1.00009 shouldn't be 14.64/14.78 WSVECS04 Frhs2[896]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[905]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[914]: 6 0 1.00009 shouldn't be 14.64/14.78 WSVECS04 Frhs2[915]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[917]: 6 0 1.00001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[918]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[919]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[920]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[921]: 6 0 1.0001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[922]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[923]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[924]: 6 0 1.00009 shouldn't be 14.64/14.78 WSVECS04 Frhs2[934]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[984]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[989]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1015]: 6 0 1.00001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1047]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1060]: 6 0 1.00004 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1075]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1088]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1099]: 6 0 1.00001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1107]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1142]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1148]: 6 0 1.00009 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1211]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1212]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1214]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1215]: 6 0 1.00006 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1216]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1217]: 6 0 1.00003 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1218]: 6 0 1.00008 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1219]: 6 0 1.00001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1220]: 6 0 1.00005 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1221]: 6 0 1.0001 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1306]: 6 0 1.00002 shouldn't be 14.64/14.78 WSVECS04 Frhs2[1308]: 6 0 1.00004 shouldn't be 14.64/14.79 WSVECS04 Frhs2[1312]: 6 0 1.00002 shouldn't be 17.83/17.92 WSVECS04 Frhs2[48]: 6 0 1.00003 shouldn't be 17.83/17.92 WSVECS04 Frhs2[49]: 6 0 1.00002 shouldn't be 17.83/17.92 WSVECS04 Frhs2[121]: 6 0 1.00002 shouldn't be 17.83/17.92 WSVECS04 Frhs2[179]: 6 0 1.00004 shouldn't be 17.83/17.92 WSVECS04 Frhs2[182]: 6 0 1.00002 shouldn't be 17.83/17.92 WSVECS04 Frhs2[230]: 6 0 1.00002 shouldn't be 17.83/17.92 WSVECS04 Frhs2[231]: 6 0 1.00001 shouldn't be 17.83/17.92 WSVECS04 Frhs2[277]: 6 0 1.00004 shouldn't be 17.83/17.92 WSVECS04 Frhs2[299]: 6 0 1.00002 shouldn't be 17.83/17.92 WSVECS04 Frhs2[385]: 6 0 1.00002 shouldn't be 17.83/17.92 WSVECS04 Frhs2[400]: 6 0 1.00002 shouldn't be 17.83/17.92 WSVECS04 Frhs2[404]: 6 0 1.00002 shouldn't be 17.83/17.92 WSVECS04 Frhs2[509]: 6 0 1.00001 shouldn't be 17.83/17.92 WSVECS04 Frhs2[606]: 6 0 1.00001 shouldn't be 17.83/17.92 WSVECS04 Frhs2[611]: 6 0 1.00003 shouldn't be 17.83/17.92 WSVECS04 Frhs2[644]: 6 0 1.00001 shouldn't be 17.83/17.92 WSVECS04 Frhs2[872]: 6 0 1.00003 shouldn't be 17.83/17.92 WSVECS04 Frhs2[873]: 6 0 1.00002 shouldn't be 17.83/17.92 WSVECS04 Frhs2[874]: 6 0 1.00002 shouldn't be 17.83/17.92 WSVECS04 Frhs2[945]: 6 0 1.00001 shouldn't be 17.83/17.92 WSVECS04 Frhs2[946]: 6 0 1.00002 shouldn't be 17.83/17.92 WSVECS04 Frhs2[980]: 6 0 1.00002 shouldn't be 17.83/17.92 WSVECS04 Frhs2[1014]: 6 0 1.00001 shouldn't be 17.83/17.92 WSVECS04 Frhs2[1044]: 6 0 1.00003 shouldn't be 17.83/17.92 WSVECS04 Frhs2[1069]: 6 0 1.00002 shouldn't be 17.83/17.92 WSVECS04 Frhs2[1098]: 6 0 1.00004 shouldn't be 17.83/17.92 WSVECS04 Frhs2[1305]: 6 0 1.00003 shouldn't be 26.31/26.41 WSVECS04 Frhs2[1146]: 6 0 1.00006 shouldn't be 57.91/58.14 c bounds -714 >= -869 @ 32.2386 57.91/58.14 c #Conflicts: 4000 | #Constraints: 109949 57.91/58.14 c INPROCESSING 57.91/58.14 c GARBAGE COLLECT 57.91/58.14 c bounds -714 >= -868 @ 32.3176 57.91/58.14 c bounds -714 >= -867 @ 32.3814 57.91/58.14 c #Conflicts: 5000 | #Constraints: 109405 57.91/58.14 c bounds -726 >= -867 @ 32.404 57.91/58.14 c #Conflicts: 6000 | #Constraints: 110406 57.91/58.14 c INPROCESSING 57.91/58.14 c GARBAGE COLLECT 57.91/58.14 WSVECS04 Frhs2[516]: 6 0 1.00009 shouldn't be 57.91/58.14 WSVECS04 Frhs2[832]: 6 0 1.00008 shouldn't be 57.91/58.14 WSVECS04 Frhs2[1132]: 6 0 1.00006 shouldn't be 76.44/76.77 WSVECS04 Frhs2[503]: 6 0 1.00005 shouldn't be 241.59/242.49 c #Conflicts: 7000 | #Constraints: 109400 241.59/242.49 c bounds -726 >= -866 @ 87.7921 241.59/242.49 c #Conflicts: 8000 | #Constraints: 110463 241.59/242.49 c #Conflicts: 9000 | #Constraints: 111463 241.59/242.49 c bounds -726 >= -865 @ 88.0623 241.59/242.49 c INPROCESSING 241.59/242.49 c #Conflicts: 10000 | #Constraints: 110209 241.59/242.49 c #Conflicts: 11000 | #Constraints: 111209 241.59/242.49 c #Conflicts: 12000 | #Constraints: 112214 241.59/242.49 c #Conflicts: 13000 | #Constraints: 113216 241.59/242.49 c #Conflicts: 14000 | #Constraints: 114219 241.59/242.49 c #Conflicts: 15000 | #Constraints: 115223 241.59/242.49 c #Conflicts: 16000 | #Constraints: 116231 241.59/242.49 c INPROCESSING 241.59/242.49 c GARBAGE COLLECT 241.59/242.49 c #Conflicts: 17000 | #Constraints: 112427 241.59/242.49 c bounds -726 >= -864 @ 172.467 241.59/242.49 c #Conflicts: 18000 | #Constraints: 113484 241.59/242.49 c #Conflicts: 19000 | #Constraints: 114484 241.59/242.49 c bounds -726 >= -863 @ 172.901 241.59/242.49 c #Conflicts: 20000 | #Constraints: 115526 241.59/242.49 c INPROCESSING 241.59/242.49 c GARBAGE COLLECT 241.59/242.49 c #Conflicts: 21000 | #Constraints: 112197 241.59/242.49 c #Conflicts: 22000 | #Constraints: 113197 241.59/242.49 c #Conflicts: 23000 | #Constraints: 114197 241.59/242.49 c #Conflicts: 24000 | #Constraints: 115197 241.59/242.49 c INPROCESSING 241.59/242.49 c rational objective -806.667 316.33/317.41 c #Conflicts: 25000 | #Constraints: 112427 316.33/317.41 c #Conflicts: 26000 | #Constraints: 113427 316.33/317.41 c #Conflicts: 27000 | #Constraints: 114427 316.33/317.41 c #Conflicts: 28000 | #Constraints: 115427 316.33/317.41 c #Conflicts: 29000 | #Constraints: 116427 316.33/317.41 c #Conflicts: 30000 | #Constraints: 117427 316.33/317.41 c #Conflicts: 31000 | #Constraints: 118427 316.33/317.41 c #Conflicts: 32000 | #Constraints: 119427 316.33/317.41 c #Conflicts: 33000 | #Constraints: 120427 316.33/317.41 c #Conflicts: 34000 | #Constraints: 121427 316.33/317.41 c #Conflicts: 35000 | #Constraints: 122427 316.33/317.41 c #Conflicts: 36000 | #Constraints: 123427 316.33/317.41 c INPROCESSING 316.33/317.41 c GARBAGE COLLECT 316.33/317.41 c #Conflicts: 37000 | #Constraints: 116338 316.33/317.41 c #Conflicts: 38000 | #Constraints: 117338 316.33/317.41 c #Conflicts: 39000 | #Constraints: 118338 316.33/317.41 c bounds -726 >= -862 @ 286.524 316.33/317.41 c #Conflicts: 40000 | #Constraints: 119440 316.33/317.41 c #Conflicts: 41000 | #Constraints: 120440 316.33/317.41 c INPROCESSING 316.33/317.41 c GARBAGE COLLECT 316.33/317.41 c #Conflicts: 42000 | #Constraints: 114728 316.33/317.41 c #Conflicts: 43000 | #Constraints: 115728 316.33/317.41 c #Conflicts: 44000 | #Constraints: 116728 316.33/317.41 c bounds -726 >= -861 @ 288.451 316.33/317.41 c #Conflicts: 45000 | #Constraints: 117785 316.33/317.41 c #Conflicts: 46000 | #Constraints: 118785 316.33/317.41 c #Conflicts: 47000 | #Constraints: 119785 316.33/317.41 c INPROCESSING 316.33/317.41 c GARBAGE COLLECT 316.33/317.41 WSVECS04 Frhs2[1226]: 6 0 1.00006 shouldn't be 316.33/317.41 WSVECS04 Frhs2[1230]: 6 0 1.00003 shouldn't be 316.33/317.41 WSVECS04 Frhs2[1231]: 6 0 1.00004 shouldn't be 430.05/431.50 c #Conflicts: 48000 | #Constraints: 115302 430.05/431.50 c #Conflicts: 49000 | #Constraints: 116302 430.05/431.50 c #Conflicts: 50000 | #Constraints: 117302 430.05/431.50 c #Conflicts: 51000 | #Constraints: 118302 430.05/431.50 c #Conflicts: 52000 | #Constraints: 119302 430.05/431.50 c #Conflicts: 53000 | #Constraints: 120302 430.05/431.50 c #Conflicts: 54000 | #Constraints: 121302 430.05/431.50 c #Conflicts: 55000 | #Constraints: 122302 430.05/431.50 c #Conflicts: 56000 | #Constraints: 123302 430.05/431.50 c #Conflicts: 57000 | #Constraints: 124302 430.05/431.50 c #Conflicts: 58000 | #Constraints: 125302 430.05/431.50 c #Conflicts: 59000 | #Constraints: 126302 430.05/431.50 WSVECS04 Frhs2[179]: 6 -3.00005 0 shouldn't be 430.05/431.50 WSVECS04 Frhs2[188]: 6 -5.35422 0 shouldn't be 433.04/434.53 WSVECS04 Frhs2[162]: 6 -1.00006 0 shouldn't be 605.97/608.05 c #Conflicts: 60000 | #Constraints: 127303 605.97/608.05 c #Conflicts: 61000 | #Constraints: 128303 605.97/608.05 c #Conflicts: 62000 | #Constraints: 129303 605.97/608.05 c INPROCESSING 605.97/608.05 c GARBAGE COLLECT 605.97/608.05 c #Conflicts: 63000 | #Constraints: 119022 605.97/608.05 c #Conflicts: 64000 | #Constraints: 120022 605.97/608.05 c #Conflicts: 65000 | #Constraints: 121022 605.97/608.05 c #Conflicts: 66000 | #Constraints: 122022 605.97/608.05 c #Conflicts: 67000 | #Constraints: 123022 605.97/608.05 c #Conflicts: 68000 | #Constraints: 124022 605.97/608.05 c bounds -726 >= -860 @ 523.153 605.97/608.05 c #Conflicts: 69000 | #Constraints: 125091 605.97/608.05 c INPROCESSING 605.97/608.05 c GARBAGE COLLECT 605.97/608.05 c #Conflicts: 70000 | #Constraints: 117024 605.97/608.05 c #Conflicts: 71000 | #Constraints: 118024 605.97/608.05 c #Conflicts: 72000 | #Constraints: 119024 605.97/608.05 c bounds -726 >= -859 @ 525.184 605.97/608.05 c #Conflicts: 73000 | #Constraints: 120060 605.97/608.05 c #Conflicts: 74000 | #Constraints: 121060 605.97/608.05 c #Conflicts: 75000 | #Constraints: 122060 605.97/608.05 c #Conflicts: 76000 | #Constraints: 123060 605.97/608.05 c #Conflicts: 77000 | #Constraints: 124060 605.97/608.05 c #Conflicts: 78000 | #Constraints: 125060 605.97/608.05 c #Conflicts: 79000 | #Constraints: 126060 605.97/608.05 c #Conflicts: 80000 | #Constraints: 127060 605.97/608.05 c #Conflicts: 81000 | #Constraints: 128060 605.97/608.05 c #Conflicts: 82000 | #Constraints: 129060 605.97/608.05 c #Conflicts: 83000 | #Constraints: 130060 605.97/608.05 c #Conflicts: 84000 | #Constraints: 131060 605.97/608.05 c #Conflicts: 85000 | #Constraints: 132060 605.97/608.05 c #Conflicts: 86000 | #Constraints: 133060 605.97/608.05 c #Conflicts: 87000 | #Constraints: 134062 605.97/608.05 c #Conflicts: 88000 | #Constraints: 135064 605.97/608.05 c INPROCESSING 605.97/608.05 c GARBAGE COLLECT 605.97/608.05 c rational objective -806.667 717.30/719.79 c #Conflicts: 89000 | #Constraints: 122108 717.30/719.79 c #Conflicts: 90000 | #Constraints: 123108 717.30/719.79 c #Conflicts: 91000 | #Constraints: 124108 717.30/719.79 c bounds -726 >= -858 @ 620.598 717.30/719.79 c #Conflicts: 92000 | #Constraints: 125141 717.30/719.79 c #Conflicts: 93000 | #Constraints: 126141 717.30/719.79 c #Conflicts: 94000 | #Constraints: 127141 717.30/719.79 c bounds -726 >= -857 @ 622.04 717.30/719.79 c #Conflicts: 95000 | #Constraints: 128186 717.30/719.79 c #Conflicts: 96000 | #Constraints: 129186 717.30/719.79 c INPROCESSING 717.30/719.79 c GARBAGE COLLECT 717.30/719.79 c rational objective -806.667 735.74/738.21 c #Conflicts: 97000 | #Constraints: 119031 735.74/738.21 c #Conflicts: 98000 | #Constraints: 120031 735.74/738.21 c #Conflicts: 99000 | #Constraints: 121031 735.74/738.21 c #Conflicts: 100000 | #Constraints: 122031 735.74/738.21 c #Conflicts: 101000 | #Constraints: 123032 735.74/738.21 c #Conflicts: 102000 | #Constraints: 124032 735.74/738.21 c #Conflicts: 103000 | #Constraints: 125032 735.74/738.21 c #Conflicts: 104000 | #Constraints: 126032 735.74/738.21 WSVECS04 Frhs2[213]: 6 -1.00004 0 shouldn't be 735.74/738.21 WSVECS04 Frhs2[359]: 6 -0.345316 0 shouldn't be 735.74/738.21 WSVECS04 Frhs2[362]: 6 0 1.34529 shouldn't be 735.74/738.21 WSVECS04 Frhs2[364]: 6 -0.154215 0 shouldn't be 735.74/738.21 WSVECS04 Frhs2[369]: 6 0 0.144565 shouldn't be 735.74/738.21 WSVECS04 Frhs2[370]: 6 -0.268066 0 shouldn't be 735.74/738.21 WSVECS04 Frhs2[372]: 6 0 1.00001 shouldn't be 735.74/738.21 WSVECS04 Frhs2[375]: 6 0 0.13021 shouldn't be 735.74/738.21 WSVECS04 Frhs2[378]: 6 0 1.477 shouldn't be 735.74/738.21 WSVECS04 Frhs2[379]: 6 0 0.138948 shouldn't be 735.74/738.21 WSVECS04 Frhs2[381]: 6 0 1.69484 shouldn't be 735.74/738.21 WSVECS04 Frhs2[383]: 6 0 2.89203 shouldn't be 735.74/738.21 WSVECS04 Frhs2[384]: 6 -0.154219 0 shouldn't be 735.74/738.21 WSVECS04 Frhs2[386]: 6 -0.00522991 0 shouldn't be 735.74/738.21 WSVECS04 Frhs2[387]: 6 0 0.0716648 shouldn't be 735.74/738.21 WSVECS04 Frhs2[389]: 6 -1.39822 0 shouldn't be 735.74/738.21 WSVECS04 Frhs2[394]: 6 0 1.00006 shouldn't be 735.74/738.21 WSVECS04 Frhs2[395]: 6 0 1.00009 shouldn't be 735.74/738.21 WSVECS04 Frhs2[399]: 6 -2.24113 0 shouldn't be 735.74/738.21 WSVECS04 Frhs2[404]: 6 0 2.89207 shouldn't be 878.29/881.27 c #Conflicts: 105000 | #Constraints: 127033 878.29/881.27 c #Conflicts: 106000 | #Constraints: 128033 878.29/881.27 c #Conflicts: 107000 | #Constraints: 129034 878.29/881.27 c #Conflicts: 108000 | #Constraints: 130035 878.29/881.27 c #Conflicts: 109000 | #Constraints: 131036 878.29/881.27 c #Conflicts: 110000 | #Constraints: 132037 878.29/881.27 c #Conflicts: 111000 | #Constraints: 133038 878.29/881.27 c #Conflicts: 112000 | #Constraints: 134039 878.29/881.27 c #Conflicts: 113000 | #Constraints: 135042 878.29/881.27 c #Conflicts: 114000 | #Constraints: 136046 878.29/881.27 c #Conflicts: 115000 | #Constraints: 137049 878.29/881.27 c #Conflicts: 116000 | #Constraints: 138057 878.29/881.27 c #Conflicts: 117000 | #Constraints: 139063 878.29/881.27 c #Conflicts: 118000 | #Constraints: 140065 878.29/881.27 c INPROCESSING 878.29/881.27 c GARBAGE COLLECT 878.29/881.27 c #Conflicts: 119000 | #Constraints: 124607 878.29/881.27 c #Conflicts: 120000 | #Constraints: 125607 878.29/881.27 c #Conflicts: 121000 | #Constraints: 126607 878.29/881.27 c bounds -726 >= -856 @ 857.705 878.29/881.27 c #Conflicts: 122000 | #Constraints: 127649 878.29/881.27 c #Conflicts: 123000 | #Constraints: 128649 878.29/881.27 c #Conflicts: 124000 | #Constraints: 129649 878.29/881.27 c #Conflicts: 125000 | #Constraints: 130649 878.29/881.27 c bounds -726 >= -855 @ 860.025 878.29/881.27 c #Conflicts: 126000 | #Constraints: 131715 878.29/881.27 c #Conflicts: 127000 | #Constraints: 132715 878.29/881.27 c #Conflicts: 128000 | #Constraints: 133715 878.29/881.27 c INPROCESSING 878.29/881.27 c GARBAGE COLLECT 878.29/881.27 WSVECS04 Frhs2[133]: 6 0 1.00005 shouldn't be 878.29/881.27 WSVECS04 Frhs2[283]: 6 0 1.00007 shouldn't be 878.29/881.27 WSVECS04 Frhs2[286]: 6 0 1.00006 shouldn't be 878.29/881.27 WSVECS04 Frhs2[287]: 6 0 1.00005 shouldn't be 878.29/881.27 WSVECS04 Frhs2[296]: 6 0 1.00006 shouldn't be 878.29/881.27 WSVECS04 Frhs2[378]: 6 0 1.00006 shouldn't be 878.29/881.27 WSVECS04 Frhs2[391]: 6 0 1.00003 shouldn't be 878.29/881.27 WSVECS04 Frhs2[394]: 6 0 1.00007 shouldn't be 878.29/881.27 WSVECS04 Frhs2[623]: 6 0 1.00003 shouldn't be 878.29/881.27 WSVECS04 Frhs2[624]: 6 0 1.00009 shouldn't be 878.29/881.27 WSVECS04 Frhs2[638]: 6 0 1.00006 shouldn't be 878.29/881.27 WSVECS04 Frhs2[665]: 6 0 1.00005 shouldn't be 878.29/881.27 WSVECS04 Frhs2[757]: 6 0 1.00004 shouldn't be 878.29/881.27 WSVECS04 Frhs2[890]: 6 0 1.0001 shouldn't be 878.29/881.27 WSVECS04 Frhs2[1132]: 6 0 1.00007 shouldn't be 878.29/881.27 WSVECS04 Frhs2[1133]: 6 0 1.00004 shouldn't be 878.29/881.27 WSVECS04 Frhs2[1184]: 6 0 1.00002 shouldn't be 878.29/881.27 WSVECS04 Frhs2[1241]: 6 0 1.00004 shouldn't be 900.72/903.76 WSVECS04 Frhs2[85]: 6 0 1.00008 shouldn't be 900.72/903.76 WSVECS04 Frhs2[146]: 6 0 1.00007 shouldn't be 900.72/903.76 WSVECS04 Frhs2[149]: 6 0 1.00002 shouldn't be 900.72/903.76 WSVECS04 Frhs2[299]: 6 0 1.00002 shouldn't be 900.72/903.76 WSVECS04 Frhs2[382]: 6 0 1.00009 shouldn't be 900.72/903.76 WSVECS04 Frhs2[599]: 6 0 1.00006 shouldn't be 900.72/903.76 WSVECS04 Frhs2[640]: 6 0 1.00007 shouldn't be 900.72/903.76 WSVECS04 Frhs2[755]: 6 0 1.00002 shouldn't be 900.72/903.76 WSVECS04 Frhs2[781]: 6 0 1.00006 shouldn't be 900.72/903.76 WSVECS04 Frhs2[1150]: 6 0 1.00007 shouldn't be 907.30/910.33 WSVECS04 Frhs2[81]: 6 0 1.00007 shouldn't be 907.30/910.33 WSVECS04 Frhs2[94]: 6 0 1.0001 shouldn't be 907.30/910.33 WSVECS04 Frhs2[136]: 6 0 1.0001 shouldn't be 907.30/910.33 WSVECS04 Frhs2[137]: 6 0 1.00007 shouldn't be 907.30/910.33 WSVECS04 Frhs2[381]: 6 0 1.00008 shouldn't be 907.30/910.33 WSVECS04 Frhs2[597]: 6 0 1.00009 shouldn't be 907.30/910.33 WSVECS04 Frhs2[664]: 6 0 1.00008 shouldn't be 907.30/910.33 WSVECS04 Frhs2[780]: 6 0 1.00006 shouldn't be 907.30/910.33 WSVECS04 Frhs2[782]: 6 0 1.00003 shouldn't be 907.30/910.33 WSVECS04 Frhs2[863]: 6 0 1.00002 shouldn't be 907.30/910.33 WSVECS04 Frhs2[888]: 6 0 1.00005 shouldn't be 907.30/910.33 WSVECS04 Frhs2[889]: 6 0 1.00001 shouldn't be 907.30/910.33 WSVECS04 Frhs2[1183]: 6 0 1.00003 shouldn't be 907.30/910.33 WSVECS04 Frhs2[1185]: 6 0 1.00005 shouldn't be 907.30/910.33 WSVECS04 Frhs2[1219]: 6 0 1.00003 shouldn't be 913.87/916.98 WSVECS04 Frhs2[865]: 6 0 1.00004 shouldn't be 913.87/916.98 WSVECS04 Frhs2[1222]: 6 0 1.00002 shouldn't be 913.87/916.98 WSVECS04 Frhs2[1244]: 6 0 1.00003 shouldn't be 919.56/922.68 WSVECS04 Frhs2[97]: 6 0 1.00001 shouldn't be 925.43/928.50 WSVECS04 Frhs2[84]: 6 0 1.00002 shouldn't be 925.43/928.50 WSVECS04 Frhs2[663]: 6 0 1.00005 shouldn't be 925.43/928.50 WSVECS04 Frhs2[1397]: 6 0 1.00008 shouldn't be 931.61/934.72 WSVECS04 Frhs2[1134]: 6 0 1.00007 shouldn't be 937.69/940.83 WSVECS04 Frhs2[1147]: 6 0 1.00009 shouldn't be 944.27/947.42 WSVECS04 Frhs2[622]: 6 0 1.00003 shouldn't be 1794.07/1800.49 c #Conflicts: 129000 | #Constraints: 121735 1794.07/1800.49 c #Conflicts: 130000 | #Constraints: 122735 1794.07/1800.49 c #Conflicts: 131000 | #Constraints: 123735 1794.07/1800.49 c #Conflicts: 132000 | #Constraints: 124735 1794.07/1800.49 c #Conflicts: 133000 | #Constraints: 125735 1794.07/1800.49 c #Conflicts: 134000 | #Constraints: 126735 1794.07/1800.49 c bounds -726 >= -854 @ 1085.07 1794.07/1800.49 c #Conflicts: 135000 | #Constraints: 127774 1794.07/1800.49 c #Conflicts: 136000 | #Constraints: 128774 1794.07/1800.49 c #Conflicts: 137000 | #Constraints: 129774 1794.07/1800.49 c #Conflicts: 138000 | #Constraints: 130774 1794.07/1800.49 c #Conflicts: 139000 | #Constraints: 131774 1794.07/1800.49 c #Conflicts: 140000 | #Constraints: 132774 1794.07/1800.49 c #Conflicts: 141000 | #Constraints: 133774 1794.07/1800.49 c #Conflicts: 142000 | #Constraints: 134774 1794.07/1800.49 c bounds -726 >= -853 @ 1090.95 1794.07/1800.49 c #Conflicts: 143000 | #Constraints: 135837 1794.07/1800.49 c #Conflicts: 144000 | #Constraints: 136837 1794.07/1800.49 c #Conflicts: 145000 | #Constraints: 137837 1794.07/1800.49 c #Conflicts: 146000 | #Constraints: 138837 1794.07/1800.49 c #Conflicts: 147000 | #Constraints: 139837 1794.07/1800.49 c #Conflicts: 148000 | #Constraints: 140837 1794.07/1800.49 c #Conflicts: 149000 | #Constraints: 141837 1794.07/1800.49 c #Conflicts: 150000 | #Constraints: 142837 1794.07/1800.49 c #Conflicts: 151000 | #Constraints: 143837 1794.07/1800.49 c #Conflicts: 152000 | #Constraints: 144837 1794.07/1800.49 c #Conflicts: 153000 | #Constraints: 145837 1794.07/1800.49 c INPROCESSING 1794.07/1800.49 c GARBAGE COLLECT 1794.07/1800.49 c #Conflicts: 154000 | #Constraints: 127602 1794.07/1800.49 c #Conflicts: 155000 | #Constraints: 128602 1794.07/1800.49 c #Conflicts: 156000 | #Constraints: 129602 1794.07/1800.49 c #Conflicts: 157000 | #Constraints: 130602 1794.07/1800.49 c #Conflicts: 158000 | #Constraints: 131602 1794.07/1800.49 c #Conflicts: 159000 | #Constraints: 132602 1794.07/1800.49 c #Conflicts: 160000 | #Constraints: 133602 1794.07/1800.49 c bounds -726 >= -852 @ 1200.65 1794.07/1800.49 c #Conflicts: 161000 | #Constraints: 134638 1794.07/1800.49 c #Conflicts: 162000 | #Constraints: 135638 1794.07/1800.49 c #Conflicts: 163000 | #Constraints: 136638 1794.07/1800.49 c INPROCESSING 1794.07/1800.49 c GARBAGE COLLECT 1794.07/1800.49 c #Conflicts: 164000 | #Constraints: 123105 1794.07/1800.49 c #Conflicts: 165000 | #Constraints: 124105 1794.07/1800.49 c #Conflicts: 166000 | #Constraints: 125105 1794.07/1800.49 c #Conflicts: 167000 | #Constraints: 126105 1794.07/1800.49 c #Conflicts: 168000 | #Constraints: 127105 1794.07/1800.49 c #Conflicts: 169000 | #Constraints: 128105 1794.07/1800.49 c #Conflicts: 170000 | #Constraints: 129105 1794.07/1800.49 c #Conflicts: 171000 | #Constraints: 130105 1794.07/1800.49 c #Conflicts: 172000 | #Constraints: 131107 1794.07/1800.49 c #Conflicts: 173000 | #Constraints: 132111 1794.07/1800.49 c #Conflicts: 174000 | #Constraints: 133112 1794.07/1800.49 c #Conflicts: 175000 | #Constraints: 134114 1794.07/1800.49 c #Conflicts: 176000 | #Constraints: 135117 1794.07/1800.49 c #Conflicts: 177000 | #Constraints: 136120 1794.07/1800.49 c #Conflicts: 178000 | #Constraints: 137123 1794.07/1800.49 c #Conflicts: 179000 | #Constraints: 138127 1794.07/1800.49 c #Conflicts: 180000 | #Constraints: 139131 1794.07/1800.49 c #Conflicts: 181000 | #Constraints: 140137 1794.07/1800.49 c #Conflicts: 182000 | #Constraints: 141140 1794.07/1800.49 c #Conflicts: 183000 | #Constraints: 142141 1794.07/1800.49 c #Conflicts: 184000 | #Constraints: 143146 1794.07/1800.49 c #Conflicts: 185000 | #Constraints: 144149 1794.07/1800.49 c #Conflicts: 186000 | #Constraints: 145153 1794.07/1800.49 c #Conflicts: 187000 | #Constraints: 146153 1794.07/1800.49 c #Conflicts: 188000 | #Constraints: 147156 1794.07/1800.49 c #Conflicts: 189000 | #Constraints: 148160 1794.07/1800.49 c #Conflicts: 190000 | #Constraints: 149164 1794.07/1800.49 c #Conflicts: 191000 | #Constraints: 150168 1794.07/1800.49 c INPROCESSING 1794.07/1800.49 c GARBAGE COLLECT 1794.07/1800.49 c #Conflicts: 192000 | #Constraints: 129594 1794.07/1800.49 c #Conflicts: 193000 | #Constraints: 130594 1794.07/1800.49 c #Conflicts: 194000 | #Constraints: 131594 1794.07/1800.49 c #Conflicts: 195000 | #Constraints: 132594 1794.07/1800.49 c #Conflicts: 196000 | #Constraints: 133594 1794.07/1800.49 c #Conflicts: 197000 | #Constraints: 134594 1794.07/1800.49 c #Conflicts: 198000 | #Constraints: 135594 1794.07/1800.49 c #Conflicts: 199000 | #Constraints: 136594 1794.07/1800.49 c #Conflicts: 200000 | #Constraints: 137594 1794.07/1800.49 c #Conflicts: 201000 | #Constraints: 138594 1794.07/1800.49 c bounds -726 >= -851 @ 1788.26 1794.07/1800.49 c #Conflicts: 202000 | #Constraints: 139636 1794.07/1800.49 c #Conflicts: 203000 | #Constraints: 140636 1813.12/1819.57 c #Conflicts: 204000 | #Constraints: 141636 1813.12/1819.57 c INPROCESSING 1813.12/1819.57 c GARBAGE COLLECT 1813.12/1819.57 c #Conflicts: 205000 | #Constraints: 125480 1813.12/1819.57 c #Conflicts: 206000 | #Constraints: 126480 1813.12/1819.57 c #Conflicts: 207000 | #Constraints: 127480 1813.12/1819.57 c #Conflicts: 208000 | #Constraints: 128480 1813.12/1819.57 c #Conflicts: 209000 | #Constraints: 129480 1813.12/1819.57 c #Conflicts: 210000 | #Constraints: 130480 1813.12/1819.57 WSVECS04 Frhs2[22]: 6 0 1.00007 shouldn't be 1835.43/1841.94 WSVECS04 Frhs2[1304]: 6 0 1.00008 shouldn't be 1842.01/1848.55 WSVECS04 Frhs2[25]: 6 0 1.00003 shouldn't be 1842.01/1848.55 WSVECS04 Frhs2[836]: 6 0 1.00009 shouldn't be 1842.01/1848.55 WSVECS04 Frhs2[1312]: 6 0 1.00003 shouldn't be 1842.01/1848.55 WSVECS04 Frhs2[1313]: 6 0 1.00008 shouldn't be 1848.58/1855.12 WSVECS04 Frhs2[23]: 6 0 1.00005 shouldn't be 1848.58/1855.12 WSVECS04 Frhs2[853]: 6 0 1.00007 shouldn't be 1848.58/1855.12 WSVECS04 Frhs2[854]: 6 0 1.00005 shouldn't be 1855.36/1861.93 WSVECS04 Frhs2[27]: 6 0 1.00002 shouldn't be 1855.36/1861.93 WSVECS04 Frhs2[29]: 6 0 1.00008 shouldn't be 1855.36/1861.93 WSVECS04 Frhs2[845]: 6 0 1.00004 shouldn't be 2361.18/2369.61 c #Conflicts: 211000 | #Constraints: 131481 2361.18/2369.61 c #Conflicts: 212000 | #Constraints: 132481 2361.18/2369.61 c #Conflicts: 213000 | #Constraints: 133481 2361.18/2369.61 c bounds -726 >= -850 @ 2263.33 2361.18/2369.61 c #Conflicts: 214000 | #Constraints: 134511 2361.18/2369.61 c #Conflicts: 215000 | #Constraints: 135511 2361.18/2369.61 c #Conflicts: 216000 | #Constraints: 136511 2361.18/2369.61 c #Conflicts: 217000 | #Constraints: 137511 2361.18/2369.61 c #Conflicts: 218000 | #Constraints: 138511 2361.18/2369.61 c #Conflicts: 219000 | #Constraints: 139511 2361.18/2369.61 c #Conflicts: 220000 | #Constraints: 140511 2361.18/2369.61 c #Conflicts: 221000 | #Constraints: 141511 2361.18/2369.61 c #Conflicts: 222000 | #Constraints: 142511 2361.18/2369.61 c #Conflicts: 223000 | #Constraints: 143511 2361.18/2369.61 c #Conflicts: 224000 | #Constraints: 144511 2361.18/2369.61 c #Conflicts: 225000 | #Constraints: 145511 2361.18/2369.61 c #Conflicts: 226000 | #Constraints: 146511 2361.18/2369.61 c #Conflicts: 227000 | #Constraints: 147511 2361.18/2369.61 c #Conflicts: 228000 | #Constraints: 148511 2361.18/2369.61 c #Conflicts: 229000 | #Constraints: 149511 2361.18/2369.61 c #Conflicts: 230000 | #Constraints: 150511 2361.18/2369.61 c #Conflicts: 231000 | #Constraints: 151511 2361.18/2369.61 c #Conflicts: 232000 | #Constraints: 152511 2361.18/2369.61 c #Conflicts: 233000 | #Constraints: 153511 2361.18/2369.61 c #Conflicts: 234000 | #Constraints: 154511 2361.18/2369.61 c #Conflicts: 235000 | #Constraints: 155511 2361.18/2369.61 c INPROCESSING 2361.18/2369.61 c GARBAGE COLLECT 2361.18/2369.61 c #Conflicts: 236000 | #Constraints: 132431 2361.18/2369.61 c #Conflicts: 237000 | #Constraints: 133431 2361.18/2369.61 c #Conflicts: 238000 | #Constraints: 134431 2361.18/2369.61 c #Conflicts: 239000 | #Constraints: 135431 2361.18/2369.61 c #Conflicts: 240000 | #Constraints: 136431 2361.18/2369.61 c bounds -726 >= -849 @ 2298.66 2361.18/2369.61 c #Conflicts: 241000 | #Constraints: 137476 2361.18/2369.61 c #Conflicts: 242000 | #Constraints: 138476 2361.18/2369.61 c #Conflicts: 243000 | #Constraints: 139476 2361.18/2369.61 c #Conflicts: 244000 | #Constraints: 140476 2361.18/2369.61 c #Conflicts: 245000 | #Constraints: 141476 2361.18/2369.61 c #Conflicts: 246000 | #Constraints: 142476 2361.18/2369.61 c #Conflicts: 247000 | #Constraints: 143476 2361.18/2369.61 c bounds -726 >= -848 @ 2304.43 2361.18/2369.61 c #Conflicts: 248000 | #Constraints: 144506 2361.18/2369.61 c INPROCESSING 2361.18/2369.61 c GARBAGE COLLECT 2361.18/2369.61 c #Conflicts: 249000 | #Constraints: 126667 2361.18/2369.61 c #Conflicts: 250000 | #Constraints: 127667 2361.18/2369.61 c #Conflicts: 251000 | #Constraints: 128667 2361.18/2369.61 c #Conflicts: 252000 | #Constraints: 129667 2361.18/2369.61 c #Conflicts: 253000 | #Constraints: 130667 2361.18/2369.61 c #Conflicts: 254000 | #Constraints: 131667 2361.18/2369.61 c #Conflicts: 255000 | #Constraints: 132667 2361.18/2369.61 c #Conflicts: 256000 | #Constraints: 133667 2361.18/2369.61 c #Conflicts: 257000 | #Constraints: 134667 2361.18/2369.61 c #Conflicts: 258000 | #Constraints: 135667 2361.18/2369.61 c #Conflicts: 259000 | #Constraints: 136667 2361.18/2369.61 c #Conflicts: 260000 | #Constraints: 137667 2361.18/2369.61 c #Conflicts: 261000 | #Constraints: 138667 2361.18/2369.61 c #Conflicts: 262000 | #Constraints: 139667 2361.18/2369.61 c #Conflicts: 263000 | #Constraints: 140667 2361.18/2369.61 c #Conflicts: 264000 | #Constraints: 141667 2361.18/2369.61 c #Conflicts: 265000 | #Constraints: 142667 2361.18/2369.61 c bounds -726 >= -847 @ 2321.19 2361.18/2369.61 c #Conflicts: 266000 | #Constraints: 143721 2361.18/2369.61 c #Conflicts: 267000 | #Constraints: 144721 2361.18/2369.61 c #Conflicts: 268000 | #Constraints: 145721 2361.18/2369.61 c #Conflicts: 269000 | #Constraints: 146721 2361.18/2369.61 c #Conflicts: 270000 | #Constraints: 147721 2361.18/2369.61 c #Conflicts: 271000 | #Constraints: 148721 2361.18/2369.61 c #Conflicts: 272000 | #Constraints: 149721 2361.18/2369.61 c #Conflicts: 273000 | #Constraints: 150721 2361.18/2369.61 c #Conflicts: 274000 | #Constraints: 151721 2361.18/2369.61 c #Conflicts: 275000 | #Constraints: 152721 2361.18/2369.61 c #Conflicts: 276000 | #Constraints: 153721 2361.18/2369.61 c #Conflicts: 277000 | #Constraints: 154721 2361.18/2369.61 c #Conflicts: 278000 | #Constraints: 155721 2361.18/2369.61 c #Conflicts: 279000 | #Constraints: 156721 2361.18/2369.61 c #Conflicts: 280000 | #Constraints: 157721 2361.18/2369.61 c #Conflicts: 281000 | #Constraints: 158721 2361.18/2369.61 c #Conflicts: 282000 | #Constraints: 159721 2361.18/2369.61 c INPROCESSING 2361.18/2369.61 c GARBAGE COLLECT 2361.18/2369.61 c #Conflicts: 283000 | #Constraints: 134296 2361.18/2369.61 c #Conflicts: 284000 | #Constraints: 135296 2361.18/2369.61 c #Conflicts: 285000 | #Constraints: 136296 2493.48/2502.41 c #Conflicts: 286000 | #Constraints: 137296 2493.48/2502.41 c #Conflicts: 287000 | #Constraints: 138296 2493.48/2502.41 c #Conflicts: 288000 | #Constraints: 139296 2493.48/2502.41 c #Conflicts: 289000 | #Constraints: 140296 2493.48/2502.41 c #Conflicts: 290000 | #Constraints: 141296 2493.48/2502.41 c #Conflicts: 291000 | #Constraints: 142296 2493.48/2502.41 c #Conflicts: 292000 | #Constraints: 143296 2493.48/2502.41 c #Conflicts: 293000 | #Constraints: 144296 2493.48/2502.41 c #Conflicts: 294000 | #Constraints: 145296 2493.48/2502.41 c #Conflicts: 295000 | #Constraints: 146296 2493.48/2502.41 c #Conflicts: 296000 | #Constraints: 147296 2493.48/2502.41 c #Conflicts: 297000 | #Constraints: 148296 2493.48/2502.41 c INPROCESSING 2493.48/2502.41 c GARBAGE COLLECT 2493.48/2502.41 c #Conflicts: 298000 | #Constraints: 130334 2493.48/2502.41 c #Conflicts: 299000 | #Constraints: 131334 2493.48/2502.41 c #Conflicts: 300000 | #Constraints: 132334 2493.48/2502.41 c #Conflicts: 301000 | #Constraints: 133334 2493.48/2502.41 c #Conflicts: 302000 | #Constraints: 134334 2493.48/2502.41 c #Conflicts: 303000 | #Constraints: 135334 2493.48/2502.41 c #Conflicts: 304000 | #Constraints: 136334 2493.48/2502.41 c #Conflicts: 305000 | #Constraints: 137334 2493.48/2502.41 c #Conflicts: 306000 | #Constraints: 138334 2493.48/2502.41 c #Conflicts: 307000 | #Constraints: 139334 2493.48/2502.41 c #Conflicts: 308000 | #Constraints: 140334 2493.48/2502.41 c #Conflicts: 309000 | #Constraints: 141334 2493.48/2502.41 c #Conflicts: 310000 | #Constraints: 142334 2493.48/2502.41 c #Conflicts: 311000 | #Constraints: 143334 2493.48/2502.41 c #Conflicts: 312000 | #Constraints: 144334 2493.48/2502.41 c #Conflicts: 313000 | #Constraints: 145334 2493.48/2502.41 c #Conflicts: 314000 | #Constraints: 146334 2493.48/2502.41 c #Conflicts: 315000 | #Constraints: 147334 2493.48/2502.41 c #Conflicts: 316000 | #Constraints: 148334 2493.48/2502.41 c #Conflicts: 317000 | #Constraints: 149334 2493.48/2502.41 c #Conflicts: 318000 | #Constraints: 150334 2493.48/2502.41 c #Conflicts: 319000 | #Constraints: 151334 2493.48/2502.41 c #Conflicts: 320000 | #Constraints: 152334 2493.48/2502.41 c #Conflicts: 321000 | #Constraints: 153334 2493.48/2502.41 c #Conflicts: 322000 | #Constraints: 154334 2493.48/2502.41 c #Conflicts: 323000 | #Constraints: 155334 2493.48/2502.41 c #Conflicts: 324000 | #Constraints: 156334 2493.48/2502.41 c #Conflicts: 325000 | #Constraints: 157334 2493.48/2502.41 c #Conflicts: 326000 | #Constraints: 158334 2493.48/2502.41 c #Conflicts: 327000 | #Constraints: 159334 2493.48/2502.41 c #Conflicts: 328000 | #Constraints: 160334 2493.48/2502.41 c #Conflicts: 329000 | #Constraints: 161334 2493.48/2502.41 c #Conflicts: 330000 | #Constraints: 162334 2493.48/2502.41 c #Conflicts: 331000 | #Constraints: 163334 2493.48/2502.41 c #Conflicts: 332000 | #Constraints: 164334 2493.48/2502.41 c #Conflicts: 333000 | #Constraints: 165334 2493.48/2502.41 c #Conflicts: 334000 | #Constraints: 166334 2493.48/2502.41 c #Conflicts: 335000 | #Constraints: 167334 2493.48/2502.41 c INPROCESSING 2493.48/2502.41 c GARBAGE COLLECT 2493.48/2502.41 WSVECS04 Frhs2[985]: 6 0 1.00005 shouldn't be 2511.91/2520.92 c rational objective -806.667 2607.85/2617.28 c #Conflicts: 336000 | #Constraints: 138740 2607.85/2617.28 c #Conflicts: 337000 | #Constraints: 139740 2607.85/2617.28 c #Conflicts: 338000 | #Constraints: 140740 2607.85/2617.28 c #Conflicts: 339000 | #Constraints: 141740 2607.85/2617.28 c bounds -726 >= -846 @ 2511.01 2607.85/2617.28 c #Conflicts: 340000 | #Constraints: 142776 2607.85/2617.28 c #Conflicts: 341000 | #Constraints: 143776 2607.85/2617.28 c #Conflicts: 342000 | #Constraints: 144776 2607.85/2617.28 c #Conflicts: 343000 | #Constraints: 145776 2607.85/2617.28 c #Conflicts: 344000 | #Constraints: 146776 2607.85/2617.28 c #Conflicts: 345000 | #Constraints: 147776 2607.85/2617.28 c #Conflicts: 346000 | #Constraints: 148776 2607.85/2617.28 c #Conflicts: 347000 | #Constraints: 149776 2607.85/2617.28 c #Conflicts: 348000 | #Constraints: 150776 2607.85/2617.28 c #Conflicts: 349000 | #Constraints: 151776 2607.85/2617.28 c #Conflicts: 350000 | #Constraints: 152776 2607.85/2617.28 c #Conflicts: 351000 | #Constraints: 153776 2607.85/2617.28 c INPROCESSING 2607.85/2617.28 c GARBAGE COLLECT 2607.85/2617.28 c rational objective -806.667 2659.83/2669.48 c #Conflicts: 352000 | #Constraints: 132715 2659.83/2669.48 c #Conflicts: 353000 | #Constraints: 133715 2659.83/2669.48 c #Conflicts: 354000 | #Constraints: 134715 2659.83/2669.48 c #Conflicts: 355000 | #Constraints: 135715 2659.83/2669.48 c #Conflicts: 356000 | #Constraints: 136715 2659.83/2669.48 c #Conflicts: 357000 | #Constraints: 137715 2659.83/2669.48 c #Conflicts: 358000 | #Constraints: 138715 2659.83/2669.48 c #Conflicts: 359000 | #Constraints: 139715 2659.83/2669.48 c #Conflicts: 360000 | #Constraints: 140715 2659.83/2669.48 c #Conflicts: 361000 | #Constraints: 141715 2659.83/2669.48 c #Conflicts: 362000 | #Constraints: 142715 2659.83/2669.48 c #Conflicts: 363000 | #Constraints: 143715 2659.83/2669.48 c #Conflicts: 364000 | #Constraints: 144715 2659.83/2669.48 c #Conflicts: 365000 | #Constraints: 145715 2659.83/2669.48 c #Conflicts: 366000 | #Constraints: 146715 2659.83/2669.48 c #Conflicts: 367000 | #Constraints: 147715 2659.83/2669.48 c #Conflicts: 368000 | #Constraints: 148715 2659.83/2669.48 c #Conflicts: 369000 | #Constraints: 149715 2659.83/2669.48 c #Conflicts: 370000 | #Constraints: 150715 2659.83/2669.48 c #Conflicts: 371000 | #Constraints: 151715 2659.83/2669.49 c #Conflicts: 372000 | #Constraints: 152715 2659.83/2669.49 c #Conflicts: 373000 | #Constraints: 153715 2659.83/2669.49 c #Conflicts: 374000 | #Constraints: 154715 2659.83/2669.49 c #Conflicts: 375000 | #Constraints: 155716 2659.83/2669.49 c #Conflicts: 376000 | #Constraints: 156716 2659.83/2669.49 c #Conflicts: 377000 | #Constraints: 157716 2659.83/2669.49 c #Conflicts: 378000 | #Constraints: 158716 2659.83/2669.49 WSVECS04 Frhs2[33]: 6 -0.631417 0 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[57]: 6 -0.892291 0 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[58]: 6 -0.284904 0 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[61]: 6 0 0.517623 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[66]: 6 0 1.45341 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[68]: 6 0 0.635873 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[70]: 6 0 1.12328 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[71]: 6 0 1.00002 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[80]: 6 -0.639917 0 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[103]: 6 -0.0794094 0 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[289]: 6 0 0.155415 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[685]: 6 -1.60071 0 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[723]: 6 -0.162515 0 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[968]: 6 0 0.876717 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[969]: 6 0 0.838734 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[1059]: 6 0 1.20839 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[1139]: 6 0 2.00009 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[1165]: 6 0 2.00006 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[1234]: 6 0 1.23126 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[1257]: 6 -0.695327 0 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[1264]: 6 0 1.00006 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[1267]: 6 0 1.14409 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[1268]: 6 0 1.04698 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[1270]: 6 0 1.00005 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[1272]: 6 0 1.00008 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[1277]: 6 -1.15905 0 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[1290]: 6 0 1.00003 shouldn't be 2659.83/2669.49 WSVECS04 Frhs2[1293]: 6 0 0.875229 shouldn't be 2763.74/2773.72 c #Conflicts: 379000 | #Constraints: 159717 2763.74/2773.72 c #Conflicts: 380000 | #Constraints: 160717 2763.74/2773.72 c #Conflicts: 381000 | #Constraints: 161718 2763.74/2773.72 c #Conflicts: 382000 | #Constraints: 162719 2763.74/2773.72 c #Conflicts: 383000 | #Constraints: 163720 2763.74/2773.72 c #Conflicts: 384000 | #Constraints: 164720 2763.74/2773.72 c #Conflicts: 385000 | #Constraints: 165722 2763.74/2773.72 c #Conflicts: 386000 | #Constraints: 166724 2763.74/2773.72 c #Conflicts: 387000 | #Constraints: 167725 2763.74/2773.72 c #Conflicts: 388000 | #Constraints: 168726 2763.74/2773.72 c #Conflicts: 389000 | #Constraints: 169727 2763.74/2773.72 c #Conflicts: 390000 | #Constraints: 170729 2763.74/2773.72 c #Conflicts: 391000 | #Constraints: 171730 2763.74/2773.72 c INPROCESSING 2763.74/2773.72 c GARBAGE COLLECT 2763.74/2773.72 c rational objective -806.667 2827.70/2837.99 c #Conflicts: 392000 | #Constraints: 140697 2827.70/2837.99 c #Conflicts: 393000 | #Constraints: 141697 2827.70/2837.99 c #Conflicts: 394000 | #Constraints: 142697 2827.70/2837.99 c #Conflicts: 395000 | #Constraints: 143697 2827.70/2837.99 c #Conflicts: 396000 | #Constraints: 144697 2827.70/2837.99 c #Conflicts: 397000 | #Constraints: 145697 2827.70/2837.99 c #Conflicts: 398000 | #Constraints: 146697 2827.70/2837.99 c bounds -726 >= -845 @ 2789.2 2827.70/2837.99 c #Conflicts: 399000 | #Constraints: 147736 2827.70/2837.99 c #Conflicts: 400000 | #Constraints: 148736 2827.70/2837.99 c #Conflicts: 401000 | #Constraints: 149736 2827.70/2837.99 c #Conflicts: 402000 | #Constraints: 150736 2827.70/2837.99 c #Conflicts: 403000 | #Constraints: 151736 2827.70/2837.99 c #Conflicts: 404000 | #Constraints: 152736 2827.70/2837.99 c #Conflicts: 405000 | #Constraints: 153736 2827.70/2837.99 c #Conflicts: 406000 | #Constraints: 154736 2827.70/2837.99 c #Conflicts: 407000 | #Constraints: 155736 2827.70/2837.99 WSVECS04 Frhs2[1134]: 6 0 1.00004 shouldn't be 2947.74/2958.46 c #Conflicts: 408000 | #Constraints: 156736 2947.74/2958.46 c INPROCESSING 2947.74/2958.46 c GARBAGE COLLECT 2947.74/2958.46 c rational objective -806.667 3111.59/3122.91 c #Conflicts: 409000 | #Constraints: 133863 3111.59/3122.91 c #Conflicts: 410000 | #Constraints: 134863 3111.59/3122.91 c #Conflicts: 411000 | #Constraints: 135863 3111.59/3122.91 c #Conflicts: 412000 | #Constraints: 136863 3111.59/3122.91 c bounds -726 >= -844 @ 2945.09 3111.59/3122.91 c #Conflicts: 413000 | #Constraints: 137926 3111.59/3122.91 c #Conflicts: 414000 | #Constraints: 138926 3111.59/3122.91 c #Conflicts: 415000 | #Constraints: 139926 3111.59/3122.91 c #Conflicts: 416000 | #Constraints: 140926 3111.59/3122.91 c #Conflicts: 417000 | #Constraints: 141926 3111.59/3122.91 c #Conflicts: 418000 | #Constraints: 142926 3111.59/3122.91 c #Conflicts: 419000 | #Constraints: 143926 3111.59/3122.91 c #Conflicts: 420000 | #Constraints: 144926 3111.59/3122.91 c #Conflicts: 421000 | #Constraints: 145926 3111.59/3122.91 c #Conflicts: 422000 | #Constraints: 146926 3111.59/3122.91 c #Conflicts: 423000 | #Constraints: 147926 3111.59/3122.91 c #Conflicts: 424000 | #Constraints: 148926 3111.59/3122.91 c #Conflicts: 425000 | #Constraints: 149926 3111.59/3122.91 c #Conflicts: 426000 | #Constraints: 150926 3111.59/3122.91 c #Conflicts: 427000 | #Constraints: 151926 3111.59/3122.91 c #Conflicts: 428000 | #Constraints: 152926 3111.59/3122.91 c #Conflicts: 429000 | #Constraints: 153926 3111.59/3122.91 c #Conflicts: 430000 | #Constraints: 154926 3111.59/3122.91 c #Conflicts: 431000 | #Constraints: 155926 3111.59/3122.91 c bounds -726 >= -843 @ 2968.44 3111.59/3122.91 c #Conflicts: 432000 | #Constraints: 156989 3111.59/3122.91 c #Conflicts: 433000 | #Constraints: 157989 3111.59/3122.91 c #Conflicts: 434000 | #Constraints: 158989 3111.59/3122.91 c #Conflicts: 435000 | #Constraints: 159989 3111.59/3122.91 c #Conflicts: 436000 | #Constraints: 160989 3111.59/3122.91 c #Conflicts: 437000 | #Constraints: 161989 3111.59/3122.91 c #Conflicts: 438000 | #Constraints: 162989 3111.59/3122.91 c #Conflicts: 439000 | #Constraints: 163989 3111.59/3122.91 c #Conflicts: 440000 | #Constraints: 164989 3111.59/3122.91 c #Conflicts: 441000 | #Constraints: 165989 3111.59/3122.91 c #Conflicts: 442000 | #Constraints: 166989 3111.59/3122.91 c #Conflicts: 443000 | #Constraints: 167989 3111.59/3122.91 c #Conflicts: 444000 | #Constraints: 168989 3111.59/3122.91 c #Conflicts: 445000 | #Constraints: 169989 3111.59/3122.91 c #Conflicts: 446000 | #Constraints: 170989 3111.59/3122.91 c #Conflicts: 447000 | #Constraints: 171989 3111.59/3122.91 c #Conflicts: 448000 | #Constraints: 172989 3111.59/3122.91 c #Conflicts: 449000 | #Constraints: 173989 3111.59/3122.91 c #Conflicts: 450000 | #Constraints: 174989 3111.59/3122.91 c #Conflicts: 451000 | #Constraints: 175992 3111.59/3122.91 c #Conflicts: 452000 | #Constraints: 176993 3111.59/3122.91 c INPROCESSING 3111.59/3122.91 c GARBAGE COLLECT 3111.59/3122.91 c rational objective -806.667 3277.06/3289.02 c #Conflicts: 453000 | #Constraints: 143480 3277.06/3289.02 c #Conflicts: 454000 | #Constraints: 144480 3277.06/3289.02 c #Conflicts: 455000 | #Constraints: 145480 3277.06/3289.02 c #Conflicts: 456000 | #Constraints: 146480 3277.06/3289.02 c #Conflicts: 457000 | #Constraints: 147480 3277.06/3289.02 c #Conflicts: 458000 | #Constraints: 148480 3277.06/3289.02 c #Conflicts: 459000 | #Constraints: 149480 3277.06/3289.02 c #Conflicts: 460000 | #Constraints: 150480 3277.06/3289.02 c #Conflicts: 461000 | #Constraints: 151480 3277.06/3289.02 c #Conflicts: 462000 | #Constraints: 152480 3277.06/3289.02 c #Conflicts: 463000 | #Constraints: 153480 3277.06/3289.02 c #Conflicts: 464000 | #Constraints: 154480 3277.06/3289.02 c #Conflicts: 465000 | #Constraints: 155480 3277.06/3289.02 c #Conflicts: 466000 | #Constraints: 156480 3277.06/3289.02 c #Conflicts: 467000 | #Constraints: 157480 3277.06/3289.02 c #Conflicts: 468000 | #Constraints: 158480 3277.06/3289.02 c #Conflicts: 469000 | #Constraints: 159480 3277.06/3289.02 c #Conflicts: 470000 | #Constraints: 160480 3277.06/3289.02 c #Conflicts: 471000 | #Constraints: 161480 3277.06/3289.02 c INPROCESSING 3277.06/3289.02 c GARBAGE COLLECT 3277.06/3289.02 c rational objective -806.667 3351.16/3363.44 c #Conflicts: 472000 | #Constraints: 138232 3351.16/3363.44 c #Conflicts: 473000 | #Constraints: 139232 3351.16/3363.44 c #Conflicts: 474000 | #Constraints: 140232 3351.16/3363.44 c #Conflicts: 475000 | #Constraints: 141232 3351.16/3363.44 c #Conflicts: 476000 | #Constraints: 142232 3351.16/3363.44 c #Conflicts: 477000 | #Constraints: 143232 3351.16/3363.44 c #Conflicts: 478000 | #Constraints: 144232 3351.16/3363.44 c #Conflicts: 479000 | #Constraints: 145232 3351.16/3363.44 c #Conflicts: 480000 | #Constraints: 146232 3351.16/3363.44 c #Conflicts: 481000 | #Constraints: 147232 3351.16/3363.44 c #Conflicts: 482000 | #Constraints: 148232 3351.16/3363.44 c #Conflicts: 483000 | #Constraints: 149232 3351.16/3363.44 c #Conflicts: 484000 | #Constraints: 150232 3351.16/3363.44 c #Conflicts: 485000 | #Constraints: 151232 3351.16/3363.44 c #Conflicts: 486000 | #Constraints: 152232 3351.16/3363.44 c #Conflicts: 487000 | #Constraints: 153232 3351.16/3363.44 c #Conflicts: 488000 | #Constraints: 154232 3351.16/3363.44 c #Conflicts: 489000 | #Constraints: 155232 3351.16/3363.44 c #Conflicts: 490000 | #Constraints: 156232 3351.16/3363.44 c #Conflicts: 491000 | #Constraints: 157232 3351.16/3363.44 c #Conflicts: 492000 | #Constraints: 158232 3351.16/3363.44 c #Conflicts: 493000 | #Constraints: 159232 3351.16/3363.44 c #Conflicts: 494000 | #Constraints: 160232 3351.16/3363.44 c #Conflicts: 495000 | #Constraints: 161233 3351.16/3363.44 c #Conflicts: 496000 | #Constraints: 162233 3351.16/3363.44 c #Conflicts: 497000 | #Constraints: 163233 3351.16/3363.44 c #Conflicts: 498000 | #Constraints: 164233 3351.16/3363.44 WSVECS04 Frhs2[1]: 6 0 0.272916 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[6]: 6 -0.355575 0 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[10]: 6 0 0.322151 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[24]: 6 0 0.62447 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[30]: 6 0 0.0452623 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[32]: 6 0 1.00005 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[52]: 6 0 0.292088 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[54]: 6 0 0.612163 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[89]: 6 0 0.311476 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[103]: 6 0 0.593447 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[192]: 6 0 1.0001 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[206]: 6 0 0.881728 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[249]: 6 -1.56296 0 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[346]: 6 0 0.364468 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[477]: 6 -0.143811 0 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[535]: 6 0 1.00006 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[571]: 6 0 1.00009 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[578]: 6 -1.10934 0 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[620]: 6 -0.242981 0 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[726]: 6 -0.0825165 0 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[733]: 6 0 0.679768 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[808]: 6 0 1.59927 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[815]: 6 -0.590236 0 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[844]: 6 0 1.00006 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[879]: 6 0 0.734101 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[886]: 6 -0.942101 0 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[985]: 6 0 1.00002 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[1116]: 6 0 1.00006 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[1130]: 6 0 1.00002 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[1149]: 6 -0.275739 0 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[1243]: 6 -0.82836 0 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[1250]: 6 0 1.34152 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[1291]: 6 0 1.00003 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[1321]: 6 -0.167694 0 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[1326]: 6 0 0.87682 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[1331]: 6 0 1.00005 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[1332]: 6 0 1.00007 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[1383]: 6 0 1.00007 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[1421]: 6 -1.35278 0 shouldn't be 3351.16/3363.44 WSVECS04 Frhs2[1466]: 6 0 0.256345 shouldn't be 3488.86/3501.62 c #Conflicts: 499000 | #Constraints: 165234 3488.86/3501.62 c #Conflicts: 500000 | #Constraints: 166234 3488.86/3501.62 c #Conflicts: 501000 | #Constraints: 167235 3488.86/3501.62 c #Conflicts: 502000 | #Constraints: 168236 3488.86/3501.62 c #Conflicts: 503000 | #Constraints: 169237 3488.86/3501.62 c #Conflicts: 504000 | #Constraints: 170238 3488.86/3501.62 c #Conflicts: 505000 | #Constraints: 171238 3488.86/3501.62 c #Conflicts: 506000 | #Constraints: 172239 3488.86/3501.62 c #Conflicts: 507000 | #Constraints: 173240 3488.86/3501.62 c #Conflicts: 508000 | #Constraints: 174241 3488.86/3501.62 c #Conflicts: 509000 | #Constraints: 175242 3488.86/3501.62 c #Conflicts: 510000 | #Constraints: 176244 3488.86/3501.62 c #Conflicts: 511000 | #Constraints: 177246 3488.86/3501.62 c #Conflicts: 512000 | #Constraints: 178247 3488.86/3501.62 c #Conflicts: 513000 | #Constraints: 179248 3488.86/3501.62 c #Conflicts: 514000 | #Constraints: 180249 3488.86/3501.62 c #Conflicts: 515000 | #Constraints: 181250 3488.86/3501.62 c #Conflicts: 516000 | #Constraints: 182251 3488.86/3501.62 c #Conflicts: 517000 | #Constraints: 183252 3488.86/3501.62 c INPROCESSING 3488.86/3501.62 c GARBAGE COLLECT 3488.86/3501.62 c rational objective -806.667 3581.92/3595.00 c #Conflicts: 518000 | #Constraints: 146458 3581.92/3595.00 c #Conflicts: 519000 | #Constraints: 147458 3581.92/3595.00 c #Conflicts: 520000 | #Constraints: 148458 3581.92/3595.00 c #Conflicts: 521000 | #Constraints: 149458 3581.92/3595.00 c #Conflicts: 522000 | #Constraints: 150458 3581.92/3595.00 c #Conflicts: 523000 | #Constraints: 151458 3581.92/3595.00 c #Conflicts: 524000 | #Constraints: 152458 3581.92/3595.00 c #Conflicts: 525000 | #Constraints: 153458 3581.92/3595.00 c #Conflicts: 526000 | #Constraints: 154458 3581.92/3595.00 c #Conflicts: 527000 | #Constraints: 155458 3581.92/3595.00 c #Conflicts: 528000 | #Constraints: 156458 3581.92/3595.00 c bounds -726 >= -842 @ 3533.93 3581.92/3595.00 c #Conflicts: 529000 | #Constraints: 157500 3581.92/3595.00 c #Conflicts: 530000 | #Constraints: 158500 3581.92/3595.00 c #Conflicts: 531000 | #Constraints: 159500 3581.92/3595.00 c #Conflicts: 532000 | #Constraints: 160500 3581.92/3595.00 c #Conflicts: 533000 | #Constraints: 161500 3581.92/3595.00 c #Conflicts: 534000 | #Constraints: 162500 3581.92/3595.00 c #Conflicts: 535000 | #Constraints: 163500 3581.92/3595.00 c #Conflicts: 536000 | #Constraints: 164500 3581.92/3595.00 c #Conflicts: 537000 | #Constraints: 165500 3581.92/3595.00 c INPROCESSING 3581.92/3595.00 c GARBAGE COLLECT 3581.92/3595.00 WSVECS04 Frhs2[1133]: 6 0 1.00003 shouldn't be 3600.05/3613.20 c 3600.05/3613.20 s SATISFIABLE 3600.05/3613.20 v x1 ~x2 x3 x4 x5 ~x6 x7 ~x8 ~x9 x10 ~x11 ~x12 ~x13 ~x14 ~x15 ~x16 ~x17 ~x18 ~x19 ~x20 ~x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 ~x33 ~x34 ~x35 ~x36 ~x37 ~x38 ~x39 ~x40 ~x41 ~x42 ~x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 ~x56 ~x57 ~x58 x59 ~x60 x61 x62 ~x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 ~x75 ~x76 ~x77 ~x78 ~x79 ~x80 ~x81 ~x82 ~x83 ~x84 ~x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 ~x97 ~x98 ~x99 ~x100 ~x101 ~x102 ~x103 ~x104 ~x105 ~x106 ~x107 x108 x109 x110 ~x111 x112 ~x113 ~x114 x115 ~x116 ~x117 ~x118 ~x119 ~x120 ~x121 ~x122 ~x123 ~x124 ~x125 ~x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 ~x138 ~x139 ~x140 ~x141 ~x142 ~x143 ~x144 ~x145 ~x146 ~x147 ~x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 ~x160 ~x161 x162 ~x163 x164 x165 ~x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 ~x178 ~x179 ~x180 ~x181 ~x182 ~x183 ~x184 ~x185 ~x186 ~x187 ~x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 ~x200 ~x201 ~x202 ~x203 ~x204 ~x205 ~x206 ~x207 ~x208 ~x209 ~x210 ~x211 x212 ~x213 x214 x215 ~x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 ~x228 ~x229 ~x230 ~x231 ~x232 ~x233 ~x234 ~x235 ~x236 ~x237 ~x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 ~x250 ~x251 ~x252 ~x253 ~x254 ~x255 ~x256 ~x257 ~x258 ~x259 ~x260 x261 ~x262 x263 x264 ~x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 ~x277 ~x278 ~x279 ~x280 ~x281 ~x282 ~x283 ~x284 ~x285 ~x286 ~x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 ~x299 ~x300 ~x301 ~x302 ~x303 ~x304 ~x305 ~x306 ~x307 ~x308 ~x309 x310 ~x311 ~x312 x313 ~x314 ~x315 ~x316 ~x317 ~x318 ~x319 ~x320 ~x321 ~x322 ~x323 ~x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 ~x336 ~x337 ~x338 ~x339 ~x340 ~x341 ~x342 ~x343 ~x344 ~x345 ~x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 ~x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 ~x372 ~x373 ~x374 ~x375 ~x376 ~x377 ~x378 ~x379 ~x380 ~x381 ~x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 ~x394 ~x395 ~x396 ~x397 ~x398 ~x399 ~x400 ~x401 ~x402 ~x403 ~x404 ~x405 x406 ~x407 ~x408 ~x409 ~x410 ~x411 ~x412 ~x413 ~x414 ~x415 ~x416 ~x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 ~x429 ~x430 ~x431 ~x432 ~x433 ~x434 ~x435 ~x436 ~x437 ~x438 ~x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 ~x452 ~x453 ~x454 ~x455 ~x456 ~x457 ~x458 ~x459 ~x460 ~x461 ~x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 ~x474 ~x475 ~x476 ~x477 ~x478 ~x479 ~x480 ~x481 ~x482 ~x483 ~x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 ~x507 ~x508 ~x509 ~x510 ~x511 ~x512 ~x513 ~x514 ~x515 ~x516 ~x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 ~x529 ~x530 ~x531 ~x532 ~x533 ~x534 ~x535 ~x536 ~x537 ~x538 ~x539 ~x540 ~x541 ~x542 ~x543 ~x544 ~x545 ~x546 ~x547 ~x548 ~x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 ~x561 ~x562 ~x563 ~x564 ~x565 ~x566 ~x567 ~x568 ~x569 ~x570 ~x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 ~x583 ~x584 ~x585 ~x586 ~x587 ~x588 ~x589 ~x590 ~x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 ~x603 ~x604 ~x605 ~x606 ~x607 ~x608 ~x609 ~x610 ~x611 ~x612 ~x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 ~x625 ~x626 ~x627 ~x628 ~x629 ~x630 ~x631 ~x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 ~x644 ~x645 ~x646 ~x647 ~x648 ~x649 ~x650 ~x651 ~x652 ~x653 ~x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 ~x666 ~x667 ~x668 ~x669 ~x670 ~x671 ~x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 ~x684 ~x685 ~x686 ~x687 ~x688 ~x689 ~x690 ~x691 ~x692 ~x693 ~x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 x705 ~x706 ~x707 ~x708 ~x709 ~x710 ~x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 ~x723 ~x724 ~x725 ~x726 ~x727 ~x728 ~x729 ~x730 ~x731 ~x732 ~x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 ~x745 ~x746 ~x747 ~x748 ~x749 x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 ~x761 ~x762 ~x763 ~x764 ~x765 ~x766 ~x767 ~x768 ~x769 ~x770 ~x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 x781 x782 ~x783 ~x784 ~x785 ~x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 ~x798 ~x799 ~x800 ~x801 ~x802 ~x803 ~x804 ~x805 ~x806 ~x807 ~x808 x809 x810 x811 x812 x813 x814 x815 x816 x817 x818 x819 ~x820 ~x821 ~x822 x823 x824 x825 x826 x827 x828 x829 x830 x831 x832 x833 ~x834 ~x835 ~x836 ~x837 ~x838 ~x839 ~x840 ~x841 ~x842 ~x843 ~x844 x845 x846 x847 x848 x849 x850 x851 x852 x853 x854 x855 ~x856 ~x857 x858 x859 x860 x861 x862 x863 x864 x865 x866 x867 x868 ~x869 ~x870 ~x871 ~x872 ~x873 ~x874 ~x875 ~x876 ~x877 ~x878 ~x879 x880 x881 x882 x883 x884 x885 x886 x887 x888 x889 x890 ~x891 x892 x893 x894 x895 x896 x897 x898 x899 x900 x901 x902 ~x903 ~x904 ~x905 ~x906 ~x907 ~x908 ~x909 ~x910 ~x911 ~x912 ~x913 x914 x915 x916 x917 x918 x919 x920 x921 x922 x923 x924 x925 x926 x927 x928 x929 x930 x931 x932 x933 x934 x935 ~x936 ~x937 ~x938 ~x939 ~x940 ~x941 ~x942 ~x943 ~x944 ~x945 ~x946 x947 x948 x949 x950 x951 x952 x953 x954 x955 x956 x957 ~x958 ~x959 ~x960 ~x961 ~x962 ~x963 ~x964 ~x965 ~x966 ~x967 x968 x969 x970 x971 x972 x973 x974 x975 x976 x977 x978 ~x979 ~x980 ~x981 ~x982 ~x983 ~x984 ~x985 ~x986 ~x987 ~x988 ~x989 ~x990 ~x991 ~x992 ~x993 ~x994 ~x995 ~x996 ~x997 ~x998 x999 x1000 x1001 x1002 x1003 x1004 x1005 x1006 x1007 x1008 x1009 ~x1010 ~x1011 ~x1012 ~x1013 ~x1014 ~x1015 ~x1016 ~x1017 ~x1018 ~x1019 ~x1020 ~x1021 ~x1022 ~x1023 ~x1024 ~x1025 ~x1026 ~x1027 ~x1028 x1029 x1030 x1031 x1032 x1033 x1034 x1035 x1036 x1037 x1038 x1039 ~x1040 ~x1041 ~x1042 ~x1043 ~x1044 ~x1045 ~x1046 ~x1047 ~x1048 ~x1049 ~x1050 ~x1051 ~x1052 ~x1053 ~x1054 ~x1055 ~x1056 ~x1057 x1058 x1059 x1060 x1061 x1062 x1063 x1064 x1065 x1066 x1067 x1068 ~x1069 ~x1070 ~x1071 ~x1072 ~x1073 ~x1074 ~x1075 ~x1076 ~x1077 ~x1078 ~x1079 ~x1080 ~x1081 ~x1082 ~x1083 ~x1084 ~x1085 x1086 x1087 x1088 x1089 x1090 x1091 x1092 x1093 x1094 x1095 x1096 ~x1097 ~x1098 ~x1099 ~x1100 ~x1101 ~x1102 ~x1103 ~x1104 ~x1105 ~x1106 ~x1107 ~x1108 ~x1109 ~x1110 ~x1111 ~x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119 x1120 x1121 x1122 x1123 ~x1124 ~x1125 ~x1126 ~x1127 ~x1128 ~x1129 ~x1130 ~x1131 ~x1132 ~x1133 ~x1134 ~x1135 ~x1136 ~x1137 ~x1138 x1139 x1140 x1141 x1142 x1143 x1144 x1145 x1146 x1147 x1148 x1149 ~x1150 ~x1151 ~x1152 ~x1153 ~x1154 ~x1155 ~x1156 ~x1157 ~x1158 ~x1159 ~x1160 ~x1161 ~x1162 ~x1163 x1164 x1165 x1166 x1167 x1168 x1169 x1170 x1171 x1172 x1173 x1174 ~x1175 ~x1176 ~x1177 ~x1178 ~x1179 ~x1180 ~x1181 ~x1182 ~x1183 ~x1184 ~x1185 ~x1186 ~x1187 x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 x1198 ~x1199 ~x1200 ~x1201 ~x1202 ~x1203 ~x1204 ~x1205 ~x1206 ~x1207 ~x1208 ~x1209 ~x1210 x1211 x1212 x1213 x1214 x1215 x1216 x1217 x1218 x1219 x1220 x1221 ~x1222 ~x1223 ~x1224 ~x1225 ~x1226 ~x1227 ~x1228 ~x1229 ~x1230 ~x1231 ~x1232 x1233 x1234 x1235 x1236 x1237 x1238 x1239 x1240 x1241 x1242 x1243 ~x1244 ~x1245 ~x1246 ~x1247 ~x1248 ~x1249 ~x1250 ~x1251 ~x1252 ~x1253 ~x1254 ~x1255 ~x1256 ~x1257 ~x1258 ~x1259 ~x1260 ~x1261 ~x1262 ~x1263 ~x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 ~x1276 ~x1277 ~x1278 ~x1279 ~x1280 ~x1281 ~x1282 ~x1283 ~x1284 x1285 x1286 x1287 x1288 x1289 x1290 x1291 x1292 x1293 x1294 x1295 ~x1296 ~x1297 ~x1298 ~x1299 ~x1300 ~x1301 ~x1302 ~x1303 x1304 x1305 x1306 x1307 x1308 x1309 x1310 x1311 x1312 x1313 x1314 ~x1315 ~x1316 ~x1317 ~x1318 ~x1319 ~x1320 ~x1321 x1322 x1323 x1324 x1325 x1326 x1327 x1328 x1329 x1330 x1331 x1332 ~x1333 ~x1334 ~x1335 ~x1336 ~x1337 ~x1338 x1339 x1340 x1341 x1342 x1343 x1344 x1345 x1346 x1347 x1348 x1349 ~x1350 ~x1351 ~x1352 ~x1353 ~x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 x1365 ~x1366 ~x1367 ~x1368 ~x1369 x1370 x1371 x1372 x1373 x1374 x1375 x1376 x1377 x1378 x1379 x1380 ~x1381 ~x1382 ~x1383 x1384 x1385 x1386 x1387 x1388 x1389 x1390 x1391 x1392 x1393 x1394 ~x1395 ~x1396 x1397 x1398 x1399 x1400 x1401 x1402 x1403 x1404 x1405 x1406 x1407 ~x1408 x1409 x1410 x1411 x1412 x1413 x1414 x1415 x1416 x1417 x1418 x1419 x1420 x1421 x1422 x1423 x1424 x1425 x1426 x1427 x1428 x1429 x1430 ~x1431 ~x1432 ~x1433 ~x1434 ~x1435 ~x1436 ~x1437 ~x1438 ~x1439 ~x1440 ~x1441 ~x1442 ~x1443 ~x1444 ~x1445 ~x1446 ~x1447 ~x1448 ~x1449 ~x1450 ~x1451 ~x1452 ~x1453 ~x1454 ~x1455 ~x1456 ~x1457 ~x1458 ~x1459 ~x1460 ~x1461 ~x1462 ~x1463 ~x1464 ~x1465 ~x1466 ~x1467 ~x1468 ~x1469 ~x1470 ~x1471 ~x1472 ~x1473 ~x1474 ~x1475 ~x1476 ~x1477 ~x1478 ~x1479 ~x1480 ~x1481 ~x1482 ~x1483 ~x1484 ~x1485
OK -726
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62029 MiB free)
memory of node 1: 64510 MiB (62525 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458759-1721869326/watcher-4458759-1721869326 -o /tmp/evaluation-result-4458759-1721869326/solver-4458759-1721869326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721865102-210795 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4458759-1721869326.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
Current StackSize limit: 8192 KiB
solver pid=214767, runsolver pid=214764
[startup+0.100083 s]*
/proc/loadavg: 4.06 4.12 4.09 5/259 214768
/proc/meminfo: memFree=127539112/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=38664 memory=10268 CPUtime=0.09 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 1040 0 0 0 6 3 0 0 20 0 1 0 23461914 39591936 2567 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 9666 2567 1252 922 0 1618 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38664 KiB
Current children cumulated memory: 10268 KiB
[startup+0.205579 s]*
/proc/loadavg: 4.06 4.12 4.09 5/259 214768
/proc/meminfo: memFree=127537768/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=39976 memory=11796 CPUtime=0.2 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 1480 0 0 0 13 7 0 0 20 0 1 0 23461914 40935424 2949 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 9994 2949 1252 922 0 1946 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39976 KiB
Current children cumulated memory: 11796 KiB
[startup+0.305495 s]*
/proc/loadavg: 4.06 4.12 4.09 5/259 214768
/proc/meminfo: memFree=127490532/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=95296 memory=62408 CPUtime=0.3 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 10954 0 0 0 20 10 0 0 20 0 1 0 23461914 97583104 15602 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 23824 15602 1652 922 0 15776 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 95296 KiB
Current children cumulated memory: 62408 KiB
[startup+0.700216 s]
/proc/loadavg: 4.06 4.12 4.09 5/259 214768
/proc/meminfo: memFree=127486472/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=92336 memory=63844 CPUtime=0.69 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 19007 0 0 0 57 12 0 0 20 0 1 0 23461914 94552064 15961 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 23084 15961 1652 922 0 15036 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 92336 KiB
Current children cumulated memory: 63844 KiB
[startup+1.5002 s]
/proc/loadavg: 4.06 4.12 4.09 6/259 214770
/proc/meminfo: memFree=127486064/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=92336 memory=63844 CPUtime=1.48 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 19007 0 0 0 136 12 0 0 20 0 1 0 23461914 94552064 15961 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 23084 15961 1652 922 0 15036 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 92336 KiB
Current children cumulated memory: 63844 KiB
[startup+3.10549 s]
/proc/loadavg: 4.13 4.13 4.10 5/259 214770
/proc/meminfo: memFree=127483076/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=92336 memory=63844 CPUtime=3.08 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 19010 0 0 0 296 12 0 0 20 0 1 0 23461914 94552064 15961 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 23084 15961 1652 922 0 15036 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 92336 KiB
Current children cumulated memory: 63844 KiB
[startup+6.3002 s]
/proc/loadavg: 4.13 4.13 4.10 5/259 214770
/proc/meminfo: memFree=127471740/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=105500 memory=76232 CPUtime=6.27 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 21509 0 0 0 606 21 0 0 20 0 1 0 23461914 108032000 19058 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 26375 19058 1858 922 0 18327 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 105500 KiB
Current children cumulated memory: 76232 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.13 4.09 5/259 214772
/proc/meminfo: memFree=127469276/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=110236 memory=76976 CPUtime=12.65 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 21741 0 0 0 1242 23 0 0 20 0 1 0 23461914 112881664 19244 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 27559 19244 1858 922 0 19511 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 110236 KiB
Current children cumulated memory: 76976 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.12 4.09 5/259 214774
/proc/meminfo: memFree=127463708/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=110236 memory=80056 CPUtime=25.4 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 21992 0 0 0 2514 26 0 0 20 0 1 0 23461914 112881664 20014 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 27559 20014 1858 922 0 19511 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 110236 KiB
Current children cumulated memory: 80056 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.13 4.09 5/259 214779
/proc/meminfo: memFree=127444384/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=120488 memory=90332 CPUtime=50.93 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 23065 0 0 0 5058 35 0 0 20 0 1 0 23461914 123379712 22583 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 30122 22583 1858 922 0 22074 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 120488 KiB
Current children cumulated memory: 90332 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 214788
/proc/meminfo: memFree=127394088/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=160164 memory=118388 CPUtime=101.96 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 25515 0 0 0 10144 52 0 0 20 0 1 0 23461914 164007936 29597 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 40041 29597 1858 922 0 31993 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 160164 KiB
Current children cumulated memory: 118388 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/258 214798
/proc/meminfo: memFree=127379076/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=160164 memory=118624 CPUtime=161.76 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 25538 0 0 0 16113 63 0 0 20 0 1 0 23461914 164007936 29656 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 40041 29656 1858 922 0 31993 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 160164 KiB
Current children cumulated memory: 118624 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 214809
/proc/meminfo: memFree=127334292/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=160164 memory=118624 CPUtime=221.56 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 25551 0 0 0 22072 84 0 0 20 0 1 0 23461914 164007936 29656 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 40041 29656 1858 922 0 31993 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 160164 KiB
Current children cumulated memory: 118624 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 214819
/proc/meminfo: memFree=127303900/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=179720 memory=133988 CPUtime=281.35 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 26909 0 0 0 28028 107 0 0 20 0 1 0 23461914 184033280 33497 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 44930 33497 1858 922 0 36882 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 179720 KiB
Current children cumulated memory: 133988 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 214829
/proc/meminfo: memFree=127272784/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=191948 memory=147800 CPUtime=341.15 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 27811 0 0 0 33983 132 0 0 20 0 1 0 23461914 196554752 36950 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 47987 36950 1858 922 0 39939 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 191948 KiB
Current children cumulated memory: 147800 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/256 214840
/proc/meminfo: memFree=127261780/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=191948 memory=147800 CPUtime=400.95 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 27824 0 0 0 39954 141 0 0 20 0 1 0 23461914 196554752 36950 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 47987 36950 1858 922 0 39939 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 191948 KiB
Current children cumulated memory: 147800 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/256 214852
/proc/meminfo: memFree=127242156/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=191948 memory=156176 CPUtime=460.76 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 27850 0 0 0 45918 158 0 0 20 0 1 0 23461914 196554752 39044 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 47987 39044 1858 922 0 39939 0
################
# More data... #
################
Current children cumulated memory: 253504 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 215920
/proc/meminfo: memFree=126084868/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=302468 memory=253504 CPUtime=2852.01 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 31602 0 0 0 284475 726 0 0 20 0 1 0 23461914 309727232 63376 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 75617 63376 1858 922 0 67569 0
Current children cumulated CPU time: 2852.01 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 253504 KiB
[startup+2922.3 s]
/proc/loadavg: 4.33 4.17 4.11 5/257 215934
/proc/meminfo: memFree=126069596/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=302468 memory=253504 CPUtime=2911.78 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 31646 0 0 0 290437 741 0 0 20 0 1 0 23461914 309727232 63376 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 75617 63376 1858 922 0 67569 0
Current children cumulated CPU time: 2911.78 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 253504 KiB
[startup+2982.3 s]
/proc/loadavg: 4.24 4.17 4.11 5/257 215947
/proc/meminfo: memFree=126060032/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=302468 memory=253504 CPUtime=2971.55 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 31690 0 0 0 296386 769 0 0 20 0 1 0 23461914 309727232 63376 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 75617 63376 1858 922 0 67569 0
Current children cumulated CPU time: 2971.55 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 253504 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/257 216050
/proc/meminfo: memFree=126771108/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=302468 memory=253504 CPUtime=3031.3 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 31763 0 0 0 302342 788 0 0 20 0 1 0 23461914 309727232 63376 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 75617 63376 1858 922 0 67569 0
Current children cumulated CPU time: 3031.3 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 253504 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/257 216060
/proc/meminfo: memFree=126715512/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=302468 memory=253504 CPUtime=3091.07 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 31816 0 0 0 308309 798 0 0 20 0 1 0 23461914 309727232 63376 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 75617 63376 1858 922 0 67569 0
Current children cumulated CPU time: 3091.07 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 253504 KiB
[startup+3162.3 s]
/proc/loadavg: 4.47 4.21 4.13 5/258 216072
/proc/meminfo: memFree=126712012/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=302468 memory=253504 CPUtime=3150.85 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 31873 0 0 0 314275 810 0 0 20 0 1 0 23461914 309727232 63376 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 75617 63376 1858 922 0 67569 0
Current children cumulated CPU time: 3150.85 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 253504 KiB
[startup+3222.3 s]
/proc/loadavg: 4.26 4.20 4.13 5/258 216466
/proc/meminfo: memFree=126634528/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=302468 memory=253504 CPUtime=3210.6 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 31915 0 0 0 320236 824 0 0 20 0 1 0 23461914 309727232 63376 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 75617 63376 1858 922 0 67569 0
Current children cumulated CPU time: 3210.6 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 253504 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/258 216477
/proc/meminfo: memFree=126599192/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=302468 memory=253504 CPUtime=3270.37 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 31940 0 0 0 326190 847 0 0 20 0 1 0 23461914 309727232 63376 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 75617 63376 1858 922 0 67569 0
Current children cumulated CPU time: 3270.37 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 253504 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/258 216488
/proc/meminfo: memFree=126593660/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=302468 memory=253504 CPUtime=3330.15 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 32038 0 0 0 332152 863 0 0 20 0 1 0 23461914 309727232 63376 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 75617 63376 1858 922 0 67569 0
Current children cumulated CPU time: 3330.15 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 253504 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/260 216713
/proc/meminfo: memFree=127108360/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=302468 memory=253504 CPUtime=3389.92 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 32055 0 0 0 338117 875 0 0 20 0 1 0 23461914 309727232 63376 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 75617 63376 1858 922 0 67569 0
Current children cumulated CPU time: 3389.92 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 253504 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/259 216724
/proc/meminfo: memFree=127080100/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=302468 memory=261696 CPUtime=3449.71 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 32118 0 0 0 344086 885 0 0 20 0 1 0 23461914 309727232 65424 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 75617 65424 1858 922 0 67569 0
Current children cumulated CPU time: 3449.71 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 261696 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/257 216737
/proc/meminfo: memFree=127048360/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=302468 memory=263744 CPUtime=3509.49 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 32145 0 0 0 350052 897 0 0 20 0 1 0 23461914 309727232 65936 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 75617 65936 1858 922 0 67569 0
Current children cumulated CPU time: 3509.49 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 263744 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.15 4.11 5/258 216760
/proc/meminfo: memFree=127033660/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=302468 memory=263744 CPUtime=3569.27 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 32227 0 0 0 356008 919 0 0 20 0 1 0 23461914 309727232 65936 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 75617 65936 1858 922 0 67569 0
Current children cumulated CPU time: 3569.27 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 263744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.2 s]
/proc/loadavg: 4.12 4.13 4.10 5/258 216764
/proc/meminfo: memFree=127030304/131524600 swapFree=131053920/131071996
[pid=214767] ppid=214764 vsize=302468 memory=265792 CPUtime=3600.05 cores=0,2
/proc/214767/stat : 214767 (roundingsat) R 214764 214767 210785 0 -1 4194304 32233 0 0 0 359083 922 0 0 20 0 1 0 23461914 309727232 66448 134679101440 4194304 7968869 140734176414512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9834496 140734176420798 140734176420962 140734176420962 140734176427977 0
/proc/214767/statm: 75617 66448 1858 922 0 67569 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 302468 KiB
Current children cumulated memory: 265792 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.2 s]
# the end of solver process 214767 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3590.83 s, system=9.22859 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3613.2
CPU time (s): 3600.06
CPU user time (s): 3590.83
CPU system time (s): 9.22859
CPU usage (%): 99.6363
Max. virtual memory (cumulated for all children) (KiB): 302468
Max. memory (cumulated for all children) (KiB): 265792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.83
system time used= 9.22859
maximum resident set size= 265792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32241
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= 19
involuntary context switches= 24694
# summary of solver processes directly reported to runsolver:
# pid: 214767
# total CPU time (s): 3600.06
# total CPU user time (s): 3590.83
# total CPU system time (s): 9.22859
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78282 second user time and 16.1074 second system time
The end
Begin job on nodeC023 at 2024-07-25 03:02:06 IDJOB=4458759 IDBENCH=178157 IDSOLVER=3051 FILE ID=nodeC023/4458759-1721869326 RUNJOBID= nodeC023-1721865102-210795 SLURM_JOB_ID= 8089171 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-4458759-1721869326/watcher-4458759-1721869326 -o /tmp/evaluation-result-4458759-1721869326/solver-4458759-1721869326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721865102-210795 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4458759-1721869326.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ff0f59bbfc198112e385d67f72301d6a RANDOM SEED=333357980 nodeC023.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 : 3657.302 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.85 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 : 3685.164 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 : 7007.10 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 : 3655.161 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.85 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.177 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 : 7007.10 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.513 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.85 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 : 3685.253 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 : 7007.10 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 : 3605.975 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.85 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.114 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 : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127545204 kB MemAvailable: 129416168 kB Buffers: 273612 kB Cached: 2411204 kB SwapCached: 208 kB Active: 1504360 kB Inactive: 1843148 kB Active(anon): 2452 kB Inactive(anon): 712388 kB Active(file): 1501908 kB Inactive(file): 1130760 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131053920 kB Dirty: 8616 kB Writeback: 0 kB AnonPages: 662372 kB Mapped: 103944 kB Shmem: 52148 kB KReclaimable: 155884 kB Slab: 272748 kB SReclaimable: 155884 kB SUnreclaim: 116864 kB KernelStack: 4172 kB PageTables: 10916 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1127676 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21472 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: 408276 kB DirectMap2M: 60182528 kB DirectMap1G: 75497472 kB Free space on /tmp at the end= 890044 MiB End job on nodeC023 at 2024-07-25 04:02:20