| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3602.06 | 3612.01 |
| 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.78/0.86 c #variables 1485 #constraints 104940 4.57/4.61 c bounds - >= -1210 @ 0.664781 4.57/4.61 c bounds 0 >= -1210 @ 4.30512 4.57/4.61 c bounds 0 >= -1209 @ 4.30576 4.57/4.61 c bounds 0 >= -1208 @ 4.30621 4.57/4.61 c bounds 0 >= -1207 @ 4.30664 4.57/4.61 c bounds 0 >= -1206 @ 4.30707 4.57/4.61 c bounds 0 >= -1205 @ 4.3075 4.57/4.61 c bounds 0 >= -1204 @ 4.30795 4.57/4.61 c bounds 0 >= -1203 @ 4.30837 4.57/4.61 c bounds 0 >= -1202 @ 4.30879 4.57/4.61 c bounds 0 >= -1201 @ 4.30919 4.57/4.61 c bounds 0 >= -1200 @ 4.30963 4.57/4.61 c bounds 0 >= -1199 @ 4.31005 4.57/4.61 c bounds 0 >= -1198 @ 4.31063 4.57/4.61 c bounds 0 >= -1197 @ 4.31109 4.57/4.61 c bounds 0 >= -1196 @ 4.31154 4.57/4.61 c bounds 0 >= -1195 @ 4.31199 4.57/4.61 c bounds 0 >= -1194 @ 4.31209 4.57/4.61 c bounds 0 >= -1193 @ 4.31209 4.57/4.61 c bounds 0 >= -1192 @ 4.31228 4.57/4.61 c bounds 0 >= -1191 @ 4.3127 4.57/4.61 c bounds 0 >= -1190 @ 4.31312 4.57/4.61 c bounds 0 >= -1189 @ 4.31353 4.57/4.61 c bounds 0 >= -1188 @ 4.31394 4.57/4.61 c bounds 0 >= -1187 @ 4.31447 4.57/4.61 c bounds 0 >= -1186 @ 4.31492 4.57/4.61 c bounds 0 >= -1185 @ 4.31535 4.57/4.61 c bounds 0 >= -1184 @ 4.31577 4.57/4.61 c bounds 0 >= -1183 @ 4.31619 4.57/4.61 c bounds 0 >= -1182 @ 4.31661 4.57/4.61 c bounds 0 >= -1181 @ 4.31703 4.57/4.61 c bounds 0 >= -1180 @ 4.31745 4.57/4.61 c bounds 0 >= -1179 @ 4.31786 4.57/4.61 c bounds 0 >= -1178 @ 4.31827 4.57/4.61 c bounds 0 >= -1177 @ 4.31873 4.57/4.61 c bounds 0 >= -1176 @ 4.31914 4.57/4.61 c bounds 0 >= -1175 @ 4.31961 4.57/4.61 c bounds 0 >= -1174 @ 4.32004 4.57/4.61 c bounds 0 >= -1173 @ 4.32048 4.57/4.61 c bounds 0 >= -1172 @ 4.32092 4.57/4.61 c bounds 0 >= -1171 @ 4.32133 4.57/4.61 c bounds 0 >= -1170 @ 4.32175 4.57/4.61 c bounds 0 >= -1169 @ 4.32216 4.57/4.61 c bounds 0 >= -1168 @ 4.3226 4.57/4.61 c bounds 0 >= -1167 @ 4.32304 4.57/4.61 c bounds 0 >= -1166 @ 4.32356 4.57/4.61 c bounds 0 >= -1165 @ 4.32399 4.57/4.61 c bounds 0 >= -1164 @ 4.32445 4.57/4.61 c bounds 0 >= -1163 @ 4.3249 4.57/4.61 c bounds 0 >= -1162 @ 4.32533 4.57/4.61 c bounds 0 >= -1161 @ 4.32575 4.57/4.61 c bounds 0 >= -1160 @ 4.32619 4.57/4.61 c bounds 0 >= -1159 @ 4.32671 4.57/4.61 c bounds 0 >= -1158 @ 4.32711 4.57/4.61 c bounds 0 >= -1157 @ 4.32757 4.57/4.61 c bounds 0 >= -1156 @ 4.328 4.57/4.61 c bounds 0 >= -1155 @ 4.32844 4.57/4.61 c bounds 0 >= -1154 @ 4.32893 4.57/4.61 c bounds 0 >= -1153 @ 4.32938 4.57/4.61 c bounds 0 >= -1152 @ 4.32983 4.57/4.61 c bounds 0 >= -1151 @ 4.33026 4.57/4.61 c bounds 0 >= -1150 @ 4.3303 4.57/4.61 c bounds 0 >= -1149 @ 4.3303 4.57/4.61 c bounds 0 >= -1148 @ 4.3306 4.57/4.61 c bounds 0 >= -1147 @ 4.33101 4.57/4.61 c bounds 0 >= -1146 @ 4.33145 4.57/4.61 c bounds 0 >= -1145 @ 4.332 4.57/4.61 c bounds 0 >= -1144 @ 4.33245 4.57/4.61 c bounds 0 >= -1143 @ 4.33289 4.57/4.61 c bounds 0 >= -1142 @ 4.33332 4.57/4.61 c bounds 0 >= -1141 @ 4.33376 4.57/4.61 c bounds 0 >= -1140 @ 4.33418 4.57/4.61 c bounds 0 >= -1139 @ 4.33459 4.57/4.61 c bounds 0 >= -1138 @ 4.33501 4.57/4.61 c bounds 0 >= -1137 @ 4.33546 4.57/4.61 c bounds 0 >= -1136 @ 4.33589 4.57/4.61 c bounds 0 >= -1135 @ 4.3363 4.57/4.61 c bounds 0 >= -1134 @ 4.33671 4.57/4.61 c bounds 0 >= -1133 @ 4.33718 4.57/4.61 c bounds 0 >= -1132 @ 4.33764 4.57/4.61 c bounds 0 >= -1131 @ 4.33806 4.57/4.61 c bounds 0 >= -1130 @ 4.33848 4.57/4.61 c bounds 0 >= -1129 @ 4.33889 4.57/4.61 c bounds 0 >= -1128 @ 4.33932 4.57/4.61 c bounds 0 >= -1127 @ 4.33975 4.57/4.61 c bounds 0 >= -1126 @ 4.34017 4.57/4.61 c bounds 0 >= -1125 @ 4.3407 4.57/4.61 c bounds 0 >= -1124 @ 4.34114 4.57/4.61 c bounds 0 >= -1123 @ 4.34158 4.57/4.61 c bounds 0 >= -1122 @ 4.34201 4.57/4.61 c bounds 0 >= -1121 @ 4.34246 4.57/4.61 c bounds 0 >= -1120 @ 4.34289 4.57/4.61 c bounds 0 >= -1119 @ 4.34332 4.57/4.61 c bounds 0 >= -1118 @ 4.34374 4.57/4.61 c bounds 0 >= -1117 @ 4.34418 4.57/4.61 c bounds 0 >= -1116 @ 4.34462 4.57/4.61 c bounds 0 >= -1115 @ 4.34512 4.57/4.61 c bounds 0 >= -1114 @ 4.34557 4.57/4.61 c bounds 0 >= -1113 @ 4.346 4.57/4.61 c bounds 0 >= -1112 @ 4.34641 4.57/4.61 c bounds 0 >= -1111 @ 4.34686 4.57/4.61 c bounds 0 >= -1110 @ 4.347 4.57/4.61 c bounds 0 >= -1109 @ 4.347 4.57/4.61 c bounds 0 >= -1108 @ 4.34721 4.57/4.61 c bounds 0 >= -1107 @ 4.34726 4.57/4.61 c bounds 0 >= -1106 @ 4.34726 4.57/4.61 c bounds 0 >= -1105 @ 4.34769 4.57/4.61 c bounds 0 >= -1104 @ 4.34812 4.57/4.61 c bounds 0 >= -1103 @ 4.3486 4.57/4.61 c bounds 0 >= -1102 @ 4.34903 4.57/4.61 c bounds 0 >= -1101 @ 4.34948 4.57/4.61 c bounds 0 >= -1100 @ 4.34992 4.57/4.61 c bounds 0 >= -1099 @ 4.35037 4.57/4.61 c bounds 0 >= -1098 @ 4.35081 4.57/4.61 c bounds 0 >= -1097 @ 4.35127 4.57/4.61 c bounds 0 >= -1096 @ 4.35172 4.57/4.61 c bounds 0 >= -1095 @ 4.35215 4.57/4.61 c bounds 0 >= -1094 @ 4.35261 4.57/4.61 c bounds 0 >= -1093 @ 4.35303 4.57/4.61 c bounds 0 >= -1092 @ 4.35348 4.57/4.61 c bounds 0 >= -1091 @ 4.35394 4.57/4.61 c bounds 0 >= -1090 @ 4.35444 4.57/4.61 c bounds 0 >= -1089 @ 4.35486 4.57/4.61 c bounds 0 >= -1088 @ 4.35528 4.57/4.61 c bounds 0 >= -1087 @ 4.35569 4.57/4.61 c bounds 0 >= -1086 @ 4.35626 4.57/4.61 c bounds 0 >= -1085 @ 4.3567 4.57/4.61 c bounds 0 >= -1084 @ 4.35714 4.57/4.61 c bounds 0 >= -1083 @ 4.35759 4.57/4.61 c bounds 0 >= -1082 @ 4.35804 4.57/4.61 c bounds 0 >= -1081 @ 4.35847 4.57/4.61 c bounds 0 >= -1080 @ 4.3589 4.57/4.61 c bounds 0 >= -1079 @ 4.35899 4.57/4.61 c bounds 0 >= -1078 @ 4.35899 4.57/4.61 c bounds 0 >= -1077 @ 4.35924 4.57/4.61 c bounds 0 >= -1076 @ 4.35967 4.57/4.61 c bounds 0 >= -1075 @ 4.36009 4.57/4.61 c bounds 0 >= -1074 @ 4.36053 4.57/4.69 c bounds 0 >= -1073 @ 4.36098 4.57/4.69 c bounds 0 >= -1072 @ 4.36145 4.57/4.69 c bounds 0 >= -1071 @ 4.362 4.57/4.69 c bounds 0 >= -1070 @ 4.36242 4.57/4.69 c bounds 0 >= -1069 @ 4.36285 4.57/4.69 c bounds 0 >= -1068 @ 4.36326 4.57/4.69 c bounds 0 >= -1067 @ 4.36378 4.57/4.69 c bounds 0 >= -1066 @ 4.36424 4.57/4.69 c bounds 0 >= -1065 @ 4.36469 4.57/4.69 c bounds 0 >= -1064 @ 4.36513 4.57/4.69 c bounds 0 >= -1063 @ 4.36556 4.57/4.69 c bounds 0 >= -1062 @ 4.36598 4.57/4.69 c bounds 0 >= -1061 @ 4.36642 4.57/4.69 c bounds 0 >= -1060 @ 4.36687 4.57/4.69 c bounds 0 >= -1059 @ 4.36734 4.57/4.69 c bounds 0 >= -1058 @ 4.36776 4.57/4.69 c bounds 0 >= -1057 @ 4.36821 4.57/4.69 c bounds 0 >= -1056 @ 4.36867 4.57/4.69 c bounds 0 >= -1055 @ 4.3691 4.57/4.69 c bounds 0 >= -1054 @ 4.36952 4.57/4.69 c bounds 0 >= -1053 @ 4.37004 4.57/4.69 c bounds 0 >= -1052 @ 4.37047 4.57/4.69 c bounds 0 >= -1051 @ 4.37091 4.57/4.69 c bounds 0 >= -1050 @ 4.37136 4.57/4.69 c bounds 0 >= -1049 @ 4.37177 4.57/4.69 c bounds 0 >= -1048 @ 4.37231 4.57/4.69 c bounds 0 >= -1047 @ 4.37276 4.57/4.69 c bounds 0 >= -1046 @ 4.3732 4.57/4.69 c bounds 0 >= -1045 @ 4.37374 4.57/4.69 c bounds 0 >= -1044 @ 4.37422 4.57/4.69 c bounds 0 >= -1043 @ 4.37471 4.57/4.69 c bounds 0 >= -1042 @ 4.37517 4.57/4.69 c bounds 0 >= -1041 @ 4.37563 4.57/4.69 c bounds 0 >= -1040 @ 4.37608 4.57/4.69 c bounds 0 >= -1039 @ 4.37653 4.57/4.69 c bounds 0 >= -1038 @ 4.37697 4.57/4.69 c bounds 0 >= -1037 @ 4.37741 4.57/4.69 c bounds 0 >= -1036 @ 4.37784 4.57/4.69 c bounds 0 >= -1035 @ 4.37828 4.57/4.69 c bounds 0 >= -1034 @ 4.3787 4.57/4.69 c bounds 0 >= -1033 @ 4.37912 4.57/4.69 c bounds 0 >= -1032 @ 4.37959 4.57/4.69 c bounds 0 >= -1031 @ 4.38015 4.57/4.69 c bounds 0 >= -1030 @ 4.38017 4.57/4.69 c bounds 0 >= -1029 @ 4.38017 4.57/4.69 c bounds 0 >= -1028 @ 4.3806 4.57/4.69 c bounds 0 >= -1027 @ 4.38107 4.57/4.69 c bounds 0 >= -1026 @ 4.38157 4.57/4.69 c bounds 0 >= -1025 @ 4.38203 4.57/4.69 c bounds 0 >= -1024 @ 4.38249 4.57/4.69 c bounds 0 >= -1023 @ 4.38295 4.57/4.69 c bounds -44 >= -1023 @ 4.38577 4.57/4.69 c bounds -44 >= -1022 @ 4.38631 4.57/4.69 c bounds -44 >= -1021 @ 4.38676 4.57/4.69 c bounds -44 >= -1020 @ 4.3872 4.57/4.69 c bounds -44 >= -1019 @ 4.38764 4.57/4.69 c bounds -44 >= -1018 @ 4.38807 4.57/4.69 c bounds -44 >= -1017 @ 4.38851 4.57/4.69 c bounds -44 >= -1016 @ 4.38894 4.57/4.69 c bounds -44 >= -1015 @ 4.38945 4.57/4.69 c bounds -44 >= -1014 @ 4.39 4.57/4.69 c bounds -44 >= -1013 @ 4.39048 4.57/4.69 c bounds -44 >= -1012 @ 4.39095 4.57/4.69 c bounds -44 >= -1011 @ 4.39149 4.57/4.69 c bounds -44 >= -1010 @ 4.39197 4.57/4.69 c bounds -44 >= -1009 @ 4.39245 4.57/4.69 c bounds -44 >= -1008 @ 4.39292 4.57/4.69 c bounds -44 >= -1007 @ 4.39339 4.57/4.69 c bounds -44 >= -1006 @ 4.39385 4.57/4.69 c bounds -44 >= -1005 @ 4.39431 4.57/4.69 c bounds -44 >= -1004 @ 4.39475 4.57/4.69 c bounds -44 >= -1003 @ 4.39523 4.57/4.69 c bounds -44 >= -1002 @ 4.39568 4.57/4.69 c bounds -44 >= -1001 @ 4.39613 4.57/4.69 c bounds -44 >= -1000 @ 4.39657 4.57/4.69 c bounds -44 >= -999 @ 4.39701 4.57/4.69 c bounds -44 >= -998 @ 4.39755 4.57/4.69 c bounds -44 >= -997 @ 4.39806 4.57/4.69 c bounds -44 >= -996 @ 4.39851 4.57/4.69 c bounds -44 >= -995 @ 4.39895 4.57/4.69 c bounds -44 >= -994 @ 4.39941 4.57/4.69 c bounds -44 >= -993 @ 4.39987 4.57/4.69 c bounds -44 >= -992 @ 4.4004 4.57/4.69 c bounds -88 >= -992 @ 4.40269 4.57/4.69 c bounds -88 >= -991 @ 4.40299 4.57/4.69 c bounds -88 >= -990 @ 4.40299 4.57/4.69 c bounds -88 >= -989 @ 4.40331 4.57/4.69 c bounds -88 >= -988 @ 4.40385 4.57/4.69 c bounds -88 >= -987 @ 4.40431 4.57/4.69 c bounds -88 >= -986 @ 4.40481 4.57/4.69 c bounds -88 >= -985 @ 4.40528 4.57/4.69 c bounds -88 >= -984 @ 4.40574 4.57/4.69 c bounds -88 >= -983 @ 4.40619 4.57/4.69 c bounds -88 >= -982 @ 4.40664 4.57/4.69 c bounds -88 >= -981 @ 4.40727 4.57/4.69 c bounds -88 >= -980 @ 4.40775 4.57/4.69 c bounds -88 >= -979 @ 4.40852 4.57/4.69 c bounds -132 >= -979 @ 4.41071 4.57/4.69 c bounds -132 >= -978 @ 4.41142 4.57/4.69 c bounds -132 >= -977 @ 4.41191 4.57/4.69 c bounds -132 >= -976 @ 4.41243 4.57/4.69 c bounds -132 >= -975 @ 4.4129 4.57/4.69 c bounds -132 >= -974 @ 4.41336 4.57/4.69 c bounds -132 >= -973 @ 4.41391 4.57/4.69 c bounds -132 >= -972 @ 4.41445 4.57/4.69 c bounds -132 >= -971 @ 4.41512 4.57/4.69 c bounds -132 >= -970 @ 4.41564 4.57/4.69 c bounds -132 >= -969 @ 4.41618 4.57/4.69 c bounds -176 >= -969 @ 4.4183 4.57/4.69 c bounds -176 >= -968 @ 4.41905 4.57/4.69 c bounds -176 >= -967 @ 4.41954 4.57/4.69 c bounds -176 >= -966 @ 4.42004 4.57/4.69 c bounds -176 >= -965 @ 4.42062 4.57/4.69 c bounds -176 >= -964 @ 4.42113 4.57/4.69 c bounds -176 >= -963 @ 4.42181 4.57/4.69 c bounds -176 >= -962 @ 4.42234 4.57/4.69 c bounds -176 >= -961 @ 4.42286 4.57/4.69 c bounds -220 >= -961 @ 4.42529 4.57/4.69 c bounds -220 >= -960 @ 4.42631 4.57/4.69 c bounds -220 >= -959 @ 4.42681 4.57/4.69 c bounds -220 >= -958 @ 4.42729 4.57/4.69 c bounds -220 >= -957 @ 4.42787 4.57/4.69 c bounds -220 >= -956 @ 4.42869 4.57/4.69 c bounds -220 >= -955 @ 4.4293 4.57/4.69 c bounds -220 >= -954 @ 4.42986 4.57/4.69 c bounds -220 >= -953 @ 4.43042 4.57/4.69 c bounds -264 >= -953 @ 4.43281 4.57/4.69 c bounds -264 >= -952 @ 4.43373 4.57/4.69 c bounds -264 >= -951 @ 4.43423 4.57/4.69 c bounds -264 >= -950 @ 4.43476 4.57/4.69 c bounds -264 >= -949 @ 4.43526 4.57/4.69 c bounds -264 >= -948 @ 4.43587 6.18/6.23 c bounds -264 >= -947 @ 4.43678 6.18/6.23 c bounds -264 >= -946 @ 4.43737 6.18/6.23 c bounds -308 >= -946 @ 4.44006 6.18/6.23 c bounds -308 >= -945 @ 4.44111 6.18/6.23 c bounds -308 >= -944 @ 4.44163 6.18/6.23 c bounds -308 >= -943 @ 4.44214 6.18/6.23 c bounds -308 >= -942 @ 4.44266 6.18/6.23 c bounds -308 >= -941 @ 4.44313 6.18/6.23 c bounds -308 >= -940 @ 4.44367 6.18/6.23 c bounds -308 >= -939 @ 4.44426 6.18/6.23 c bounds -308 >= -938 @ 4.44509 6.18/6.23 c bounds -308 >= -937 @ 4.44566 6.18/6.23 c bounds -308 >= -936 @ 4.44628 6.18/6.23 c bounds -352 >= -936 @ 4.4487 6.18/6.23 c bounds -352 >= -935 @ 4.44897 6.18/6.23 c bounds -352 >= -934 @ 4.44915 6.18/6.23 c bounds -352 >= -933 @ 4.44965 6.18/6.23 c bounds -352 >= -932 @ 4.45013 6.18/6.23 c bounds -352 >= -931 @ 4.4506 6.18/6.23 c bounds -352 >= -930 @ 4.45115 6.18/6.23 c bounds -352 >= -929 @ 4.452 6.18/6.23 c bounds -396 >= -929 @ 4.4543 6.18/6.23 c bounds -396 >= -928 @ 4.45526 6.18/6.23 c bounds -396 >= -927 @ 4.45581 6.18/6.23 c bounds -396 >= -926 @ 4.45636 6.18/6.23 c bounds -396 >= -925 @ 4.45688 6.18/6.23 c bounds -396 >= -924 @ 4.45743 6.18/6.23 c bounds -396 >= -923 @ 4.4579 6.18/6.23 c bounds -396 >= -922 @ 4.45847 6.18/6.23 c bounds -396 >= -921 @ 4.45927 6.18/6.23 c bounds -440 >= -921 @ 4.46157 6.18/6.23 c bounds -440 >= -920 @ 4.46254 6.18/6.23 c bounds -440 >= -919 @ 4.46307 6.18/6.23 c bounds -440 >= -918 @ 4.46366 6.18/6.23 c bounds -440 >= -917 @ 4.46438 6.18/6.23 c bounds -484 >= -917 @ 4.46665 6.18/6.23 c bounds -484 >= -916 @ 4.46756 6.18/6.23 c bounds -484 >= -915 @ 4.46814 6.18/6.23 c bounds -484 >= -914 @ 4.46863 6.18/6.23 c bounds -484 >= -913 @ 4.4691 6.18/6.23 c bounds -484 >= -912 @ 4.46967 6.18/6.23 c bounds -484 >= -911 @ 4.47025 6.18/6.23 c bounds -484 >= -910 @ 4.47096 6.18/6.23 c bounds -484 >= -909 @ 4.47147 6.18/6.23 c bounds -506 >= -909 @ 4.47288 6.18/6.23 c bounds -506 >= -908 @ 4.4729 6.18/6.23 c bounds -506 >= -907 @ 4.4734 6.18/6.23 c bounds -506 >= -906 @ 4.474 6.18/6.23 c bounds -506 >= -905 @ 4.4751 6.18/6.23 c bounds -528 >= -905 @ 4.47875 6.18/6.23 c bounds -528 >= -904 @ 4.48003 6.18/6.23 c bounds -528 >= -903 @ 4.48075 6.18/6.23 c bounds -528 >= -902 @ 4.48147 6.18/6.23 c bounds -528 >= -901 @ 4.48222 6.18/6.23 c bounds -550 >= -901 @ 4.48868 6.18/6.23 c bounds -550 >= -900 @ 4.49015 6.18/6.23 c bounds -550 >= -899 @ 4.49137 6.18/6.23 c bounds -550 >= -898 @ 4.49213 6.18/6.23 c bounds -550 >= -897 @ 4.4928 6.18/6.23 c bounds -550 >= -896 @ 4.49344 6.18/6.23 c bounds -550 >= -895 @ 4.49399 6.18/6.23 c bounds -550 >= -894 @ 4.49453 6.18/6.23 c bounds -550 >= -893 @ 4.49579 6.18/6.23 c bounds -550 >= -892 @ 4.49671 6.18/6.23 c bounds -572 >= -892 @ 4.50323 6.18/6.23 c bounds -572 >= -891 @ 4.50382 6.18/6.23 c bounds -572 >= -890 @ 4.50382 6.18/6.23 c bounds -572 >= -889 @ 4.50465 6.18/6.23 c bounds -572 >= -888 @ 4.50518 6.18/6.23 c bounds -572 >= -887 @ 4.50742 6.18/6.23 c bounds -572 >= -886 @ 4.50903 6.18/6.23 c bounds -572 >= -885 @ 4.51222 6.18/6.23 c bounds -610 >= -885 @ 4.51994 6.18/6.23 c bounds -610 >= -884 @ 4.52187 6.18/6.23 c bounds -610 >= -883 @ 4.52377 6.18/6.23 c bounds -610 >= -882 @ 4.52641 6.18/6.23 c bounds -610 >= -881 @ 4.52785 6.18/6.23 c bounds -610 >= -880 @ 4.52974 6.18/6.23 c bounds -630 >= -880 @ 4.53562 6.18/6.23 c bounds -630 >= -879 @ 4.53871 6.18/6.23 c bounds -630 >= -878 @ 4.5417 6.18/6.23 c bounds -636 >= -878 @ 4.54729 6.18/6.23 c bounds -636 >= -877 @ 4.55079 6.18/6.23 c bounds -638 >= -877 @ 4.55692 6.18/6.23 c bounds -638 >= -876 @ 4.56396 6.18/6.23 c bounds -640 >= -876 @ 4.56837 6.18/6.23 c bounds -640 >= -875 @ 4.57711 6.18/6.23 c bounds -642 >= -875 @ 4.61623 6.18/6.23 c bounds -642 >= -874 @ 4.63546 6.18/6.23 c bounds -644 >= -874 @ 4.65128 6.18/6.23 c bounds -656 >= -874 @ 4.65483 6.18/6.23 c bounds -660 >= -874 @ 4.65708 6.18/6.23 c bounds -680 >= -874 @ 4.65808 6.18/6.23 c bounds -682 >= -874 @ 4.66067 6.18/6.23 c bounds -682 >= -873 @ 4.67914 6.18/6.23 c bounds -684 >= -873 @ 4.68368 6.18/6.23 c #Conflicts: 1000 | #Constraints: 108098 6.18/6.23 c bounds -686 >= -873 @ 4.89969 6.18/6.23 c bounds -686 >= -872 @ 4.91894 6.18/6.23 c bounds -686 >= -871 @ 4.94373 6.18/6.23 c bounds -686 >= -870 @ 4.9887 6.18/6.23 c bounds -688 >= -870 @ 5.01792 6.18/6.23 c bounds -690 >= -870 @ 5.02144 6.18/6.23 c bounds -692 >= -870 @ 5.02344 6.18/6.23 c bounds -694 >= -870 @ 5.02621 6.18/6.23 c bounds -696 >= -870 @ 5.03031 6.18/6.23 c bounds -698 >= -870 @ 5.03318 6.18/6.23 c bounds -700 >= -870 @ 5.03601 6.18/6.23 c bounds -706 >= -870 @ 5.03868 6.18/6.23 c #Conflicts: 2000 | #Constraints: 109293 6.18/6.23 c INPROCESSING 6.18/6.23 c GARBAGE COLLECT 6.18/6.23 WSVECS04 Frhs2[22]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[23]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[24]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[25]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[26]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[30]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[35]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[44]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[45]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[46]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[47]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[48]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[49]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[50]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[51]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[52]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[53]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[54]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[75]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[76]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[77]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[78]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[79]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[83]: 6 0 1.0001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[88]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[97]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[98]: 6 0 1.0001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[99]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[100]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[101]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[102]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[103]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[104]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[105]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[106]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[107]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[116]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[117]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[118]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[119]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[120]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[121]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[122]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[123]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[124]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[125]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[126]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[132]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[133]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[134]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[138]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[139]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[141]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[142]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[143]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[144]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[145]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[146]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[147]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[148]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[178]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[179]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[180]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[181]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[182]: 6 0 1.0001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[186]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[191]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[200]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[201]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[202]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[203]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[204]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[205]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[206]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[207]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[208]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[209]: 6 0 1.0001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[210]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[228]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[229]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[230]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[231]: 6 0 1.0001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[232]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[236]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[241]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[250]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[251]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[252]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[253]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[254]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[255]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[256]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[257]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[258]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[259]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[260]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[277]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[278]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[279]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[280]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[281]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[285]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[290]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[299]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[300]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[301]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[302]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[303]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[304]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[305]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[306]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[307]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[308]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[309]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[314]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[315]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[316]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[317]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[318]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[319]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[320]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[321]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[322]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[323]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[324]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[330]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[331]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[332]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[336]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[337]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[339]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[340]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[341]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[342]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[343]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[344]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[345]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[346]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[372]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[373]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[374]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[375]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[376]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[380]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[385]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[394]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[395]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[396]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[397]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[398]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[399]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[400]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[401]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[402]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[403]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[404]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[407]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[408]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[409]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[410]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[411]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[412]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[413]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[414]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[415]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[416]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[417]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[423]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[424]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[425]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[429]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[430]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[432]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[433]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[434]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[435]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[436]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[437]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[438]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[439]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[452]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[453]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[454]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[455]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[456]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[457]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[458]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[459]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[460]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[461]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[462]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[468]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[469]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[470]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[474]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[475]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[477]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[478]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[479]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[480]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[481]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[482]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[483]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[484]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[507]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[508]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[509]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[510]: 6 0 1.0001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[511]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[515]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[520]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[529]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[530]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[531]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[532]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[533]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[534]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[535]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[536]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[537]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[538]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[539]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[555]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[556]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[557]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[561]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[562]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[564]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[565]: 6 0 1.0001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[566]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[567]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[568]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[569]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[570]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[571]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[597]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[598]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[599]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[603]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[604]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[606]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[607]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[608]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[609]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[610]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[611]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[612]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[613]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[638]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[639]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[640]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[644]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[645]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[647]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[648]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[649]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[650]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[651]: 6 0 1.0001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[652]: 6 0 1.0001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[653]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[654]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[678]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[679]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[680]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[684]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[685]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[687]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[688]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[689]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[690]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[691]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[692]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[693]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[694]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[717]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[718]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[719]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[723]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[724]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[726]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[727]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[728]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[729]: 6 0 1.0001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[730]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[731]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[732]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[733]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[755]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[756]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[757]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[761]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[762]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[764]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[765]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[766]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[767]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[768]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[769]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[770]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[771]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[792]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[793]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[794]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[798]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[799]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[801]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[802]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[803]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[804]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[805]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[806]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[807]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[808]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[828]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[829]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[830]: 6 0 1.0001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[834]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[835]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[837]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[838]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[839]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[840]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[841]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[842]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[843]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[844]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[863]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[864]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[865]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[869]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[870]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[872]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[873]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[874]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[875]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[876]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[877]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[878]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[879]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[897]: 6 0 1.0001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[898]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[899]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[903]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[904]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[906]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[907]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[908]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[909]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[910]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[911]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[912]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[913]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[930]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[931]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[932]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[936]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[937]: 6 0 1.0001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[939]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[940]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[941]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[942]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[943]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[944]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[945]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[946]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[970]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[979]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[980]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[981]: 6 0 1.0001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[982]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[983]: 6 0 1.0001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[984]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[985]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[986]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[987]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[988]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[989]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1001]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1010]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1011]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1012]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1013]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1014]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1015]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1016]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1017]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1018]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1019]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1020]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1031]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1040]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1041]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1042]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1043]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1044]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1045]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1046]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1047]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1048]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1049]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1050]: 6 0 1.0001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1060]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1069]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1070]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1071]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1072]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1073]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1074]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1075]: 6 0 1.0001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1076]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1077]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1078]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1079]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1088]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1097]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1098]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1099]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1100]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1101]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1102]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1103]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1104]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1105]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1106]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1107]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1113]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1114]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1116]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1117]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1118]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1119]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1120]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1121]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1122]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1123]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1139]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1140]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1142]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1143]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1144]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1145]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1146]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1147]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1148]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1149]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1164]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1165]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1167]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1168]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1169]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1170]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1171]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1172]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1173]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1174]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1190]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1199]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1200]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1201]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1202]: 6 0 1.0001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1203]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1204]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1205]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1206]: 6 0 1.00002 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1207]: 6 0 1.00008 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1208]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1209]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1304]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1305]: 6 0 1.00007 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1306]: 6 0 1.00006 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1307]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1308]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1309]: 6 0 1.00005 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1310]: 6 0 1.0001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1311]: 6 0 1.00003 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1312]: 6 0 1.00009 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1313]: 6 0 1.00001 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1314]: 6 0 1.00004 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1341]: 6 -1.00003 0 shouldn't be 6.18/6.23 WSVECS04 Frhs2[1376]: 6 -1.00003 0 shouldn't be 16.06/16.11 c bounds -712 >= -870 @ 12.961 16.06/16.11 c #Conflicts: 3000 | #Constraints: 108903 16.06/16.11 c bounds -714 >= -870 @ 14.6958 16.06/16.11 WSVECS04 Frhs2[20]: 6 0 1.0001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[35]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[45]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[46]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[52]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[54]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[73]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[75]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[78]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[98]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[99]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[117]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[118]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[119]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[122]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[123]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[124]: 6 0 1.0001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[133]: 6 0 1.00001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[136]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[138]: 6 0 1.00009 shouldn't be 16.06/16.11 WSVECS04 Frhs2[141]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[143]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[144]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[145]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[147]: 6 0 1.00007 shouldn't be 16.06/16.11 WSVECS04 Frhs2[176]: 6 0 1.00009 shouldn't be 16.06/16.11 WSVECS04 Frhs2[180]: 6 0 1.00003 shouldn't be 16.06/16.11 WSVECS04 Frhs2[201]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[204]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[205]: 6 0 1.00001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[206]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[208]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[209]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[226]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[258]: 6 0 1.00003 shouldn't be 16.06/16.11 WSVECS04 Frhs2[259]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[275]: 6 0 1.00009 shouldn't be 16.06/16.11 WSVECS04 Frhs2[281]: 6 0 1.00001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[300]: 6 0 1.00009 shouldn't be 16.06/16.11 WSVECS04 Frhs2[304]: 6 0 1.00001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[315]: 6 0 1.00003 shouldn't be 16.06/16.11 WSVECS04 Frhs2[316]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[317]: 6 0 1.00007 shouldn't be 16.06/16.11 WSVECS04 Frhs2[319]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[320]: 6 0 1.00007 shouldn't be 16.06/16.11 WSVECS04 Frhs2[322]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[342]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[346]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[370]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[376]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[396]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[397]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[402]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[408]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[410]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[412]: 6 0 1.00007 shouldn't be 16.06/16.11 WSVECS04 Frhs2[413]: 6 0 1.00003 shouldn't be 16.06/16.11 WSVECS04 Frhs2[415]: 6 0 1.00003 shouldn't be 16.06/16.11 WSVECS04 Frhs2[427]: 6 0 1.0001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[430]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[436]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[439]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[453]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[455]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[457]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[459]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[460]: 6 0 1.00009 shouldn't be 16.06/16.11 WSVECS04 Frhs2[472]: 6 0 1.00007 shouldn't be 16.06/16.11 WSVECS04 Frhs2[474]: 6 0 1.00003 shouldn't be 16.06/16.11 WSVECS04 Frhs2[475]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[484]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[505]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[507]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[508]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[510]: 6 0 1.00007 shouldn't be 16.06/16.11 WSVECS04 Frhs2[511]: 6 0 1.0001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[520]: 6 0 1.00009 shouldn't be 16.06/16.11 WSVECS04 Frhs2[529]: 6 0 1.00007 shouldn't be 16.06/16.11 WSVECS04 Frhs2[530]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[531]: 6 0 1.00001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[532]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[533]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[534]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[535]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[536]: 6 0 1.00007 shouldn't be 16.06/16.11 WSVECS04 Frhs2[537]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[538]: 6 0 1.00009 shouldn't be 16.06/16.11 WSVECS04 Frhs2[539]: 6 0 1.00001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[601]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[607]: 6 0 1.0001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[610]: 6 0 1.00001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[612]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[642]: 6 0 1.00003 shouldn't be 16.06/16.11 WSVECS04 Frhs2[647]: 6 0 1.00007 shouldn't be 16.06/16.11 WSVECS04 Frhs2[648]: 6 0 1.00009 shouldn't be 16.06/16.11 WSVECS04 Frhs2[649]: 6 0 1.00007 shouldn't be 16.06/16.11 WSVECS04 Frhs2[650]: 6 0 1.00009 shouldn't be 16.06/16.11 WSVECS04 Frhs2[651]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[652]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[654]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[679]: 6 0 1.00009 shouldn't be 16.06/16.11 WSVECS04 Frhs2[682]: 6 0 1.00001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[684]: 6 0 1.00001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[685]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[687]: 6 0 1.00003 shouldn't be 16.06/16.11 WSVECS04 Frhs2[688]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[690]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[691]: 6 0 1.00007 shouldn't be 16.06/16.11 WSVECS04 Frhs2[692]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[693]: 6 0 1.00003 shouldn't be 16.06/16.11 WSVECS04 Frhs2[756]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[759]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[761]: 6 0 1.00009 shouldn't be 16.06/16.11 WSVECS04 Frhs2[762]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[764]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[765]: 6 0 1.00009 shouldn't be 16.06/16.11 WSVECS04 Frhs2[767]: 6 0 1.00009 shouldn't be 16.06/16.11 WSVECS04 Frhs2[768]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[769]: 6 0 1.00007 shouldn't be 16.06/16.11 WSVECS04 Frhs2[770]: 6 0 1.00003 shouldn't be 16.06/16.11 WSVECS04 Frhs2[796]: 6 0 1.0001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[799]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[807]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[829]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[834]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[835]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[837]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[838]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[839]: 6 0 1.00007 shouldn't be 16.06/16.11 WSVECS04 Frhs2[840]: 6 0 1.00001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[841]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[842]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[843]: 6 0 1.00003 shouldn't be 16.06/16.11 WSVECS04 Frhs2[844]: 6 0 1.00003 shouldn't be 16.06/16.11 WSVECS04 Frhs2[864]: 6 0 1.00007 shouldn't be 16.06/16.11 WSVECS04 Frhs2[867]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[869]: 6 0 1.00003 shouldn't be 16.06/16.11 WSVECS04 Frhs2[870]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[875]: 6 0 1.00003 shouldn't be 16.06/16.11 WSVECS04 Frhs2[876]: 6 0 1.0001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[877]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[878]: 6 0 1.00009 shouldn't be 16.06/16.11 WSVECS04 Frhs2[879]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[892]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[893]: 6 0 1.00007 shouldn't be 16.06/16.11 WSVECS04 Frhs2[894]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[895]: 6 0 1.00009 shouldn't be 16.06/16.11 WSVECS04 Frhs2[896]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[905]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[914]: 6 0 1.00009 shouldn't be 16.06/16.11 WSVECS04 Frhs2[915]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[917]: 6 0 1.00001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[918]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[919]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[920]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[921]: 6 0 1.0001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[922]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[923]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[924]: 6 0 1.00009 shouldn't be 16.06/16.11 WSVECS04 Frhs2[934]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[984]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[989]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1015]: 6 0 1.00001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1047]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1060]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1075]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1088]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1099]: 6 0 1.00001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1107]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1142]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1148]: 6 0 1.00009 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1211]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1212]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1214]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1215]: 6 0 1.00006 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1216]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1217]: 6 0 1.00003 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1218]: 6 0 1.00008 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1219]: 6 0 1.00001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1220]: 6 0 1.00005 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1221]: 6 0 1.0001 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1306]: 6 0 1.00002 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1308]: 6 0 1.00004 shouldn't be 16.06/16.11 WSVECS04 Frhs2[1312]: 6 0 1.00002 shouldn't be 19.14/19.29 WSVECS04 Frhs2[48]: 6 0 1.00003 shouldn't be 19.14/19.29 WSVECS04 Frhs2[49]: 6 0 1.00002 shouldn't be 19.14/19.29 WSVECS04 Frhs2[121]: 6 0 1.00002 shouldn't be 19.14/19.29 WSVECS04 Frhs2[179]: 6 0 1.00004 shouldn't be 19.14/19.29 WSVECS04 Frhs2[182]: 6 0 1.00002 shouldn't be 19.14/19.29 WSVECS04 Frhs2[230]: 6 0 1.00002 shouldn't be 19.14/19.29 WSVECS04 Frhs2[231]: 6 0 1.00001 shouldn't be 19.14/19.29 WSVECS04 Frhs2[277]: 6 0 1.00004 shouldn't be 19.14/19.29 WSVECS04 Frhs2[299]: 6 0 1.00002 shouldn't be 19.14/19.29 WSVECS04 Frhs2[385]: 6 0 1.00002 shouldn't be 19.14/19.29 WSVECS04 Frhs2[400]: 6 0 1.00002 shouldn't be 19.14/19.29 WSVECS04 Frhs2[404]: 6 0 1.00002 shouldn't be 19.14/19.29 WSVECS04 Frhs2[509]: 6 0 1.00001 shouldn't be 19.14/19.29 WSVECS04 Frhs2[606]: 6 0 1.00001 shouldn't be 19.14/19.29 WSVECS04 Frhs2[611]: 6 0 1.00003 shouldn't be 19.14/19.29 WSVECS04 Frhs2[644]: 6 0 1.00001 shouldn't be 19.14/19.29 WSVECS04 Frhs2[872]: 6 0 1.00003 shouldn't be 19.14/19.29 WSVECS04 Frhs2[873]: 6 0 1.00002 shouldn't be 19.14/19.29 WSVECS04 Frhs2[874]: 6 0 1.00002 shouldn't be 19.14/19.29 WSVECS04 Frhs2[945]: 6 0 1.00001 shouldn't be 19.14/19.29 WSVECS04 Frhs2[946]: 6 0 1.00002 shouldn't be 19.14/19.29 WSVECS04 Frhs2[980]: 6 0 1.00002 shouldn't be 19.14/19.29 WSVECS04 Frhs2[1014]: 6 0 1.00001 shouldn't be 19.14/19.29 WSVECS04 Frhs2[1044]: 6 0 1.00003 shouldn't be 19.14/19.29 WSVECS04 Frhs2[1069]: 6 0 1.00002 shouldn't be 19.14/19.29 WSVECS04 Frhs2[1098]: 6 0 1.00004 shouldn't be 19.14/19.29 WSVECS04 Frhs2[1305]: 6 0 1.00003 shouldn't be 28.12/28.29 WSVECS04 Frhs2[1146]: 6 0 1.00006 shouldn't be 61.63/61.88 c bounds -714 >= -869 @ 34.4609 61.63/61.88 c #Conflicts: 4000 | #Constraints: 109949 61.63/61.88 c INPROCESSING 61.63/61.88 c GARBAGE COLLECT 61.63/61.88 c bounds -714 >= -868 @ 34.551 61.63/61.88 c bounds -714 >= -867 @ 34.6351 61.63/61.88 c #Conflicts: 5000 | #Constraints: 109405 61.63/61.88 c bounds -726 >= -867 @ 34.6639 61.63/61.88 c #Conflicts: 6000 | #Constraints: 110406 61.63/61.88 c INPROCESSING 61.63/61.88 c GARBAGE COLLECT 61.63/61.88 WSVECS04 Frhs2[516]: 6 0 1.00009 shouldn't be 61.63/61.88 WSVECS04 Frhs2[832]: 6 0 1.00008 shouldn't be 61.63/61.88 WSVECS04 Frhs2[1132]: 6 0 1.00006 shouldn't be 80.79/81.01 WSVECS04 Frhs2[503]: 6 0 1.00005 shouldn't be 251.91/252.65 c #Conflicts: 7000 | #Constraints: 109400 251.91/252.65 c bounds -726 >= -866 @ 92.252 251.91/252.65 c #Conflicts: 8000 | #Constraints: 110463 251.91/252.65 c #Conflicts: 9000 | #Constraints: 111463 251.91/252.65 c bounds -726 >= -865 @ 92.5919 251.91/252.65 c INPROCESSING 251.91/252.65 c #Conflicts: 10000 | #Constraints: 110209 251.91/252.65 c #Conflicts: 11000 | #Constraints: 111209 251.91/252.65 c #Conflicts: 12000 | #Constraints: 112214 251.91/252.65 c #Conflicts: 13000 | #Constraints: 113216 251.91/252.65 c #Conflicts: 14000 | #Constraints: 114219 251.91/252.65 c #Conflicts: 15000 | #Constraints: 115223 251.91/252.65 c #Conflicts: 16000 | #Constraints: 116231 251.91/252.65 c INPROCESSING 251.91/252.65 c GARBAGE COLLECT 251.91/252.65 c #Conflicts: 17000 | #Constraints: 112427 251.91/252.65 c bounds -726 >= -864 @ 180.563 251.91/252.65 c #Conflicts: 18000 | #Constraints: 113484 251.91/252.65 c #Conflicts: 19000 | #Constraints: 114484 251.91/252.65 c bounds -726 >= -863 @ 181.066 251.91/252.65 c #Conflicts: 20000 | #Constraints: 115526 251.91/252.65 c INPROCESSING 251.91/252.65 c GARBAGE COLLECT 251.91/252.65 c #Conflicts: 21000 | #Constraints: 112197 251.91/252.65 c #Conflicts: 22000 | #Constraints: 113197 251.91/252.65 c #Conflicts: 23000 | #Constraints: 114197 251.91/252.65 c #Conflicts: 24000 | #Constraints: 115197 251.91/252.65 c INPROCESSING 251.91/252.65 c rational objective -806.667 358.51/359.52 c #Conflicts: 25000 | #Constraints: 112426 358.51/359.52 c #Conflicts: 26000 | #Constraints: 113426 358.51/359.52 c #Conflicts: 27000 | #Constraints: 114426 358.51/359.52 c #Conflicts: 28000 | #Constraints: 115426 358.51/359.52 c #Conflicts: 29000 | #Constraints: 116426 358.51/359.52 c #Conflicts: 30000 | #Constraints: 117426 358.51/359.52 c #Conflicts: 31000 | #Constraints: 118426 358.51/359.52 c #Conflicts: 32000 | #Constraints: 119426 358.51/359.52 c #Conflicts: 33000 | #Constraints: 120426 358.51/359.52 c #Conflicts: 34000 | #Constraints: 121426 358.51/359.52 c #Conflicts: 35000 | #Constraints: 122426 358.51/359.52 c #Conflicts: 36000 | #Constraints: 123426 358.51/359.52 c INPROCESSING 358.51/359.52 c GARBAGE COLLECT 358.51/359.52 c #Conflicts: 37000 | #Constraints: 116342 358.51/359.52 c #Conflicts: 38000 | #Constraints: 117342 358.51/359.52 c #Conflicts: 39000 | #Constraints: 118342 358.51/359.52 c bounds -726 >= -862 @ 321.825 358.51/359.52 c #Conflicts: 40000 | #Constraints: 119435 358.51/359.52 c #Conflicts: 41000 | #Constraints: 120435 358.51/359.52 c bounds -726 >= -861 @ 322.623 358.51/359.52 c INPROCESSING 358.51/359.52 c GARBAGE COLLECT 358.51/359.52 c #Conflicts: 42000 | #Constraints: 114735 358.51/359.52 c #Conflicts: 43000 | #Constraints: 115735 358.51/359.52 c #Conflicts: 44000 | #Constraints: 116735 358.51/359.52 c #Conflicts: 45000 | #Constraints: 117735 358.51/359.52 c #Conflicts: 46000 | #Constraints: 118735 358.51/359.52 c #Conflicts: 47000 | #Constraints: 119735 358.51/359.52 c #Conflicts: 48000 | #Constraints: 120735 358.51/359.52 c #Conflicts: 49000 | #Constraints: 121735 358.51/359.52 c #Conflicts: 50000 | #Constraints: 122735 358.51/359.52 c #Conflicts: 51000 | #Constraints: 123735 358.51/359.52 c #Conflicts: 52000 | #Constraints: 124735 358.51/359.52 c #Conflicts: 53000 | #Constraints: 125735 358.51/359.52 c #Conflicts: 54000 | #Constraints: 126735 358.51/359.52 c #Conflicts: 55000 | #Constraints: 127735 358.51/359.52 c #Conflicts: 56000 | #Constraints: 128735 358.51/359.52 c INPROCESSING 358.51/359.52 c GARBAGE COLLECT 358.51/359.52 WSVECS04 Frhs2[136]: 6 0 1.0001 shouldn't be 358.51/359.52 WSVECS04 Frhs2[137]: 6 0 1.00007 shouldn't be 358.51/359.52 WSVECS04 Frhs2[156]: 6 0 1.00005 shouldn't be 358.51/359.52 WSVECS04 Frhs2[514]: 6 0 1.00001 shouldn't be 358.51/359.52 WSVECS04 Frhs2[682]: 6 0 1.00002 shouldn't be 358.51/359.52 WSVECS04 Frhs2[683]: 6 0 1.00008 shouldn't be 358.51/359.52 WSVECS04 Frhs2[702]: 6 0 1.00008 shouldn't be 358.51/359.52 WSVECS04 Frhs2[1182]: 6 0 1.00004 shouldn't be 358.51/359.52 WSVECS04 Frhs2[1229]: 6 0 1.00003 shouldn't be 358.51/359.52 WSVECS04 Frhs2[1274]: 6 0 1.00004 shouldn't be 358.51/359.52 WSVECS04 Frhs2[1288]: 6 0 1.00005 shouldn't be 377.16/378.27 WSVECS04 Frhs2[119]: 6 0 1.00009 shouldn't be 377.16/378.27 WSVECS04 Frhs2[132]: 6 0 1.00006 shouldn't be 377.16/378.27 WSVECS04 Frhs2[516]: 6 0 1.00006 shouldn't be 377.16/378.27 WSVECS04 Frhs2[517]: 6 0 1.0001 shouldn't be 377.16/378.27 WSVECS04 Frhs2[1251]: 6 0 1.00009 shouldn't be 377.16/378.27 WSVECS04 Frhs2[1268]: 6 0 1.00007 shouldn't be 384.24/385.31 WSVECS04 Frhs2[499]: 6 0 1.00004 shouldn't be 384.24/385.31 WSVECS04 Frhs2[678]: 6 0 1.00002 shouldn't be 397.91/399.09 WSVECS04 Frhs2[680]: 6 0 1.00006 shouldn't be 405.07/406.22 WSVECS04 Frhs2[512]: 6 0 1.00007 shouldn't be 405.07/406.22 WSVECS04 Frhs2[536]: 6 0 1.00007 shouldn't be 405.07/406.22 WSVECS04 Frhs2[1131]: 6 0 1.00006 shouldn't be 411.75/413.01 WSVECS04 Frhs2[134]: 6 0 1.00009 shouldn't be 417.74/418.90 WSVECS04 Frhs2[1294]: 6 0 1.00006 shouldn't be 618.40/620.14 c #Conflicts: 57000 | #Constraints: 119063 618.40/620.14 c #Conflicts: 58000 | #Constraints: 120063 618.40/620.14 c bounds -726 >= -860 @ 465.53 618.40/620.14 c #Conflicts: 59000 | #Constraints: 121120 618.40/620.14 c #Conflicts: 60000 | #Constraints: 122120 618.40/620.14 c #Conflicts: 61000 | #Constraints: 123120 618.40/620.14 c #Conflicts: 62000 | #Constraints: 124120 618.40/620.14 c bounds -726 >= -859 @ 467.525 618.40/620.14 c INPROCESSING 618.40/620.14 c GARBAGE COLLECT 618.40/620.14 c #Conflicts: 63000 | #Constraints: 116464 618.40/620.14 c #Conflicts: 64000 | #Constraints: 117464 618.40/620.14 c #Conflicts: 65000 | #Constraints: 118464 618.40/620.14 c #Conflicts: 66000 | #Constraints: 119464 618.40/620.14 c bounds -726 >= -858 @ 469.796 618.40/620.14 c #Conflicts: 67000 | #Constraints: 120527 618.40/620.14 c #Conflicts: 68000 | #Constraints: 121527 618.40/620.14 c #Conflicts: 69000 | #Constraints: 122527 618.40/620.14 c #Conflicts: 70000 | #Constraints: 123532 618.40/620.14 c #Conflicts: 71000 | #Constraints: 124537 618.40/620.14 c #Conflicts: 72000 | #Constraints: 125542 618.40/620.14 c #Conflicts: 73000 | #Constraints: 126546 618.40/620.14 c #Conflicts: 74000 | #Constraints: 127548 618.40/620.14 c #Conflicts: 75000 | #Constraints: 128552 618.40/620.14 c #Conflicts: 76000 | #Constraints: 129552 618.40/620.14 c #Conflicts: 77000 | #Constraints: 130555 618.40/620.14 c #Conflicts: 78000 | #Constraints: 131557 618.40/620.14 c #Conflicts: 79000 | #Constraints: 132558 618.40/620.14 c #Conflicts: 80000 | #Constraints: 133560 618.40/620.14 c INPROCESSING 618.40/620.14 c GARBAGE COLLECT 618.40/620.14 c rational objective -806.667 818.54/820.89 c #Conflicts: 81000 | #Constraints: 121385 818.54/820.89 c #Conflicts: 82000 | #Constraints: 122385 818.54/820.89 c #Conflicts: 83000 | #Constraints: 123385 818.54/820.89 c #Conflicts: 84000 | #Constraints: 124385 818.54/820.89 c #Conflicts: 85000 | #Constraints: 125385 818.54/820.89 c #Conflicts: 86000 | #Constraints: 126385 818.54/820.89 c #Conflicts: 87000 | #Constraints: 127385 818.54/820.89 c bounds -726 >= -857 @ 631.381 818.54/820.89 c #Conflicts: 88000 | #Constraints: 128439 818.54/820.89 c INPROCESSING 818.54/820.89 c GARBAGE COLLECT 818.54/820.89 c #Conflicts: 89000 | #Constraints: 118877 818.54/820.89 c #Conflicts: 90000 | #Constraints: 119877 818.54/820.89 c #Conflicts: 91000 | #Constraints: 120883 818.54/820.89 c #Conflicts: 92000 | #Constraints: 121889 818.54/820.89 c #Conflicts: 93000 | #Constraints: 122894 818.54/820.89 c #Conflicts: 94000 | #Constraints: 123898 818.54/820.89 c #Conflicts: 95000 | #Constraints: 124903 818.54/820.89 c #Conflicts: 96000 | #Constraints: 125904 818.54/820.89 c #Conflicts: 97000 | #Constraints: 126907 818.54/820.89 c #Conflicts: 98000 | #Constraints: 127909 818.54/820.89 c #Conflicts: 99000 | #Constraints: 128911 818.54/820.89 c #Conflicts: 100000 | #Constraints: 129913 818.54/820.89 c #Conflicts: 101000 | #Constraints: 130914 818.54/820.89 c #Conflicts: 102000 | #Constraints: 131917 818.54/820.89 c #Conflicts: 103000 | #Constraints: 132920 818.54/820.89 c #Conflicts: 104000 | #Constraints: 133922 818.54/820.89 c #Conflicts: 105000 | #Constraints: 134923 818.54/820.89 c #Conflicts: 106000 | #Constraints: 135926 818.54/820.89 c #Conflicts: 107000 | #Constraints: 136928 818.54/820.89 c #Conflicts: 108000 | #Constraints: 137930 818.54/820.89 c #Conflicts: 109000 | #Constraints: 138931 818.54/820.89 c INPROCESSING 818.54/820.89 c GARBAGE COLLECT 818.54/820.89 c rational objective -806.667 1026.54/1029.41 c #Conflicts: 110000 | #Constraints: 124194 1026.54/1029.41 c #Conflicts: 111000 | #Constraints: 125194 1026.54/1029.41 c #Conflicts: 112000 | #Constraints: 126194 1026.54/1029.41 c #Conflicts: 113000 | #Constraints: 127194 1026.54/1029.41 c #Conflicts: 114000 | #Constraints: 128194 1026.54/1029.41 c #Conflicts: 115000 | #Constraints: 129194 1026.54/1029.41 c bounds -726 >= -856 @ 871.961 1026.54/1029.41 c #Conflicts: 116000 | #Constraints: 130242 1026.54/1029.41 c #Conflicts: 117000 | #Constraints: 131242 1026.54/1029.41 c #Conflicts: 118000 | #Constraints: 132242 1026.54/1029.41 c INPROCESSING 1026.54/1029.41 c GARBAGE COLLECT 1026.54/1029.41 c #Conflicts: 119000 | #Constraints: 120707 1026.54/1029.41 c #Conflicts: 120000 | #Constraints: 121707 1026.54/1029.41 c #Conflicts: 121000 | #Constraints: 122707 1026.54/1029.41 c bounds -726 >= -855 @ 877.166 1026.54/1029.41 c #Conflicts: 122000 | #Constraints: 123746 1026.54/1029.41 c #Conflicts: 123000 | #Constraints: 124746 1026.54/1029.41 c #Conflicts: 124000 | #Constraints: 125746 1026.54/1029.41 c #Conflicts: 125000 | #Constraints: 126746 1026.54/1029.41 c #Conflicts: 126000 | #Constraints: 127746 1026.54/1029.41 c bounds -726 >= -854 @ 881.671 1026.54/1029.41 c #Conflicts: 127000 | #Constraints: 128785 1026.54/1029.41 c #Conflicts: 128000 | #Constraints: 129785 1026.54/1029.41 c #Conflicts: 129000 | #Constraints: 130785 1026.54/1029.41 c #Conflicts: 130000 | #Constraints: 131785 1026.54/1029.41 c #Conflicts: 131000 | #Constraints: 132785 1026.54/1029.41 c #Conflicts: 132000 | #Constraints: 133785 1026.54/1029.41 c #Conflicts: 133000 | #Constraints: 134785 1026.54/1029.41 c #Conflicts: 134000 | #Constraints: 135785 1026.54/1029.41 c #Conflicts: 135000 | #Constraints: 136785 1026.54/1029.41 c #Conflicts: 136000 | #Constraints: 137785 1026.54/1029.41 c #Conflicts: 137000 | #Constraints: 138785 1026.54/1029.41 c #Conflicts: 138000 | #Constraints: 139788 1026.54/1029.41 c #Conflicts: 139000 | #Constraints: 140791 1026.54/1029.41 c #Conflicts: 140000 | #Constraints: 141793 1026.54/1029.41 c #Conflicts: 141000 | #Constraints: 142796 1026.54/1029.41 c #Conflicts: 142000 | #Constraints: 143797 1026.54/1029.41 c INPROCESSING 1026.54/1029.41 c GARBAGE COLLECT 1026.54/1029.41 c rational objective -806.667 1911.69/1917.02 c #Conflicts: 143000 | #Constraints: 126598 1911.69/1917.02 c #Conflicts: 144000 | #Constraints: 127598 1911.69/1917.02 c #Conflicts: 145000 | #Constraints: 128598 1911.69/1917.02 c #Conflicts: 146000 | #Constraints: 129598 1911.69/1917.02 c #Conflicts: 147000 | #Constraints: 130598 1911.69/1917.02 c #Conflicts: 148000 | #Constraints: 131598 1911.69/1917.02 c #Conflicts: 149000 | #Constraints: 132598 1911.69/1917.02 c #Conflicts: 150000 | #Constraints: 133598 1911.69/1917.02 c bounds -726 >= -853 @ 1083.7 1911.69/1917.02 c #Conflicts: 151000 | #Constraints: 134634 1911.69/1917.02 c #Conflicts: 152000 | #Constraints: 135634 1911.69/1917.02 c #Conflicts: 153000 | #Constraints: 136634 1911.69/1917.02 c INPROCESSING 1911.69/1917.02 c GARBAGE COLLECT 1911.69/1917.02 c #Conflicts: 154000 | #Constraints: 123183 1911.69/1917.02 c #Conflicts: 155000 | #Constraints: 124183 1911.69/1917.02 c #Conflicts: 156000 | #Constraints: 125183 1911.69/1917.02 c #Conflicts: 157000 | #Constraints: 126183 1911.69/1917.02 c #Conflicts: 158000 | #Constraints: 127183 1911.69/1917.02 c #Conflicts: 159000 | #Constraints: 128183 1911.69/1917.02 c #Conflicts: 160000 | #Constraints: 129183 1911.69/1917.02 c #Conflicts: 161000 | #Constraints: 130183 1911.69/1917.02 c #Conflicts: 162000 | #Constraints: 131183 1911.69/1917.02 c #Conflicts: 163000 | #Constraints: 132183 1911.69/1917.02 c #Conflicts: 164000 | #Constraints: 133183 1911.69/1917.02 c #Conflicts: 165000 | #Constraints: 134183 1911.69/1917.02 c #Conflicts: 166000 | #Constraints: 135183 1911.69/1917.02 c #Conflicts: 167000 | #Constraints: 136183 1911.69/1917.02 c #Conflicts: 168000 | #Constraints: 137183 1911.69/1917.02 c #Conflicts: 169000 | #Constraints: 138186 1911.69/1917.02 c #Conflicts: 170000 | #Constraints: 139192 1911.69/1917.02 c #Conflicts: 171000 | #Constraints: 140193 1911.69/1917.02 c #Conflicts: 172000 | #Constraints: 141194 1911.69/1917.02 c #Conflicts: 173000 | #Constraints: 142195 1911.69/1917.02 c #Conflicts: 174000 | #Constraints: 143196 1911.69/1917.02 c #Conflicts: 175000 | #Constraints: 144197 1911.69/1917.02 c #Conflicts: 176000 | #Constraints: 145198 1911.69/1917.02 c #Conflicts: 177000 | #Constraints: 146201 1911.69/1917.02 c #Conflicts: 178000 | #Constraints: 147203 1911.69/1917.02 c #Conflicts: 179000 | #Constraints: 148204 1911.69/1917.02 c #Conflicts: 180000 | #Constraints: 149205 1911.69/1917.02 c INPROCESSING 1911.69/1917.02 c GARBAGE COLLECT 1911.69/1917.02 c #Conflicts: 181000 | #Constraints: 129516 1911.69/1917.02 c #Conflicts: 182000 | #Constraints: 130516 1911.69/1917.02 c #Conflicts: 183000 | #Constraints: 131516 1911.69/1917.02 c #Conflicts: 184000 | #Constraints: 132516 1911.69/1917.02 c #Conflicts: 185000 | #Constraints: 133516 1911.69/1917.02 c #Conflicts: 186000 | #Constraints: 134516 1911.69/1917.02 c #Conflicts: 187000 | #Constraints: 135516 1911.69/1917.02 c bounds -726 >= -852 @ 1871 1911.69/1917.02 c #Conflicts: 188000 | #Constraints: 136576 1911.69/1917.02 c #Conflicts: 189000 | #Constraints: 137576 1911.69/1917.02 c #Conflicts: 190000 | #Constraints: 138576 1911.69/1917.02 c #Conflicts: 191000 | #Constraints: 139576 1911.69/1917.02 c INPROCESSING 1911.69/1917.02 c GARBAGE COLLECT 1911.69/1917.02 c #Conflicts: 192000 | #Constraints: 124332 1911.69/1917.02 c #Conflicts: 193000 | #Constraints: 125332 1911.69/1917.02 c #Conflicts: 194000 | #Constraints: 126332 1911.69/1917.02 c #Conflicts: 195000 | #Constraints: 127332 1911.69/1917.02 c bounds -726 >= -851 @ 1879.15 1911.69/1917.02 c #Conflicts: 196000 | #Constraints: 128371 1911.69/1917.02 c #Conflicts: 197000 | #Constraints: 129371 1911.69/1917.02 c #Conflicts: 198000 | #Constraints: 130371 1911.69/1917.02 c #Conflicts: 199000 | #Constraints: 131371 1911.69/1917.02 c #Conflicts: 200000 | #Constraints: 132371 1911.69/1917.02 c #Conflicts: 201000 | #Constraints: 133371 1911.69/1917.02 c #Conflicts: 202000 | #Constraints: 134371 1911.69/1917.02 c #Conflicts: 203000 | #Constraints: 135371 1911.69/1917.02 c #Conflicts: 204000 | #Constraints: 136371 1911.69/1917.02 c #Conflicts: 205000 | #Constraints: 137371 1911.69/1917.02 c #Conflicts: 206000 | #Constraints: 138371 1911.69/1917.02 c #Conflicts: 207000 | #Constraints: 139371 1911.69/1917.02 c #Conflicts: 208000 | #Constraints: 140371 1911.69/1917.02 c #Conflicts: 209000 | #Constraints: 141371 1911.69/1917.02 c bounds -726 >= -850 @ 1894.13 1911.69/1917.02 c #Conflicts: 210000 | #Constraints: 142419 1911.69/1917.02 c #Conflicts: 211000 | #Constraints: 143419 1911.69/1917.02 c #Conflicts: 212000 | #Constraints: 144419 1911.69/1917.02 c #Conflicts: 213000 | #Constraints: 145419 1911.69/1917.02 c #Conflicts: 214000 | #Constraints: 146419 1911.69/1917.02 c #Conflicts: 215000 | #Constraints: 147419 1911.69/1917.02 c #Conflicts: 216000 | #Constraints: 148419 1911.69/1917.02 c #Conflicts: 217000 | #Constraints: 149419 1965.35/1970.89 c #Conflicts: 218000 | #Constraints: 150419 1965.35/1970.89 c #Conflicts: 219000 | #Constraints: 151419 1965.35/1970.89 c #Conflicts: 220000 | #Constraints: 152419 1965.35/1970.89 c #Conflicts: 221000 | #Constraints: 153419 1965.35/1970.89 c #Conflicts: 222000 | #Constraints: 154419 1965.35/1970.89 c INPROCESSING 1965.35/1970.89 c GARBAGE COLLECT 1965.35/1970.89 c #Conflicts: 223000 | #Constraints: 132048 1965.35/1970.89 c #Conflicts: 224000 | #Constraints: 133048 1965.35/1970.89 c #Conflicts: 225000 | #Constraints: 134048 1965.35/1970.89 c #Conflicts: 226000 | #Constraints: 135048 1965.35/1970.89 c #Conflicts: 227000 | #Constraints: 136048 1965.35/1970.89 c #Conflicts: 228000 | #Constraints: 137048 1965.35/1970.89 c #Conflicts: 229000 | #Constraints: 138048 1965.35/1970.89 c #Conflicts: 230000 | #Constraints: 139048 1965.35/1970.89 c #Conflicts: 231000 | #Constraints: 140048 1965.35/1970.89 c #Conflicts: 232000 | #Constraints: 141048 1965.35/1970.89 c #Conflicts: 233000 | #Constraints: 142048 1965.35/1970.89 c #Conflicts: 234000 | #Constraints: 143048 1965.35/1970.89 c bounds -726 >= -849 @ 1928.88 1965.35/1970.89 c #Conflicts: 235000 | #Constraints: 144075 1965.35/1970.89 c INPROCESSING 1965.35/1970.89 c GARBAGE COLLECT 1965.35/1970.89 WSVECS04 Frhs2[1128]: 6 0 1.00008 shouldn't be 1984.11/1989.62 WSVECS04 Frhs2[1132]: 6 0 1.00008 shouldn't be 1996.98/2002.57 WSVECS04 Frhs2[1179]: 6 0 1.00008 shouldn't be 2000.86/2006.49 WSVECS04 Frhs2[1183]: 6 0 1.00006 shouldn't be 2010.25/2015.83 c rational objective -806.667 2050.95/2056.63 c #Conflicts: 236000 | #Constraints: 127081 2050.95/2056.63 c #Conflicts: 237000 | #Constraints: 128081 2050.95/2056.63 c #Conflicts: 238000 | #Constraints: 129081 2050.95/2056.63 c #Conflicts: 239000 | #Constraints: 130081 2050.95/2056.63 c #Conflicts: 240000 | #Constraints: 131081 2050.95/2056.63 c #Conflicts: 241000 | #Constraints: 132081 2050.95/2056.63 c #Conflicts: 242000 | #Constraints: 133081 2050.95/2056.63 c #Conflicts: 243000 | #Constraints: 134081 2050.95/2056.63 c #Conflicts: 244000 | #Constraints: 135081 2050.95/2056.63 c #Conflicts: 245000 | #Constraints: 136081 2050.95/2056.63 c #Conflicts: 246000 | #Constraints: 137081 2050.95/2056.63 c #Conflicts: 247000 | #Constraints: 138081 2050.95/2056.63 c #Conflicts: 248000 | #Constraints: 139081 2050.95/2056.63 c #Conflicts: 249000 | #Constraints: 140081 2050.95/2056.63 c #Conflicts: 250000 | #Constraints: 141081 2050.95/2056.63 c #Conflicts: 251000 | #Constraints: 142081 2050.95/2056.63 c #Conflicts: 252000 | #Constraints: 143081 2050.95/2056.63 c #Conflicts: 253000 | #Constraints: 144081 2050.95/2056.63 c #Conflicts: 254000 | #Constraints: 145081 2050.95/2056.63 c #Conflicts: 255000 | #Constraints: 146081 2050.95/2056.63 c #Conflicts: 256000 | #Constraints: 147081 2050.95/2056.63 c #Conflicts: 257000 | #Constraints: 148081 2050.95/2056.63 c #Conflicts: 258000 | #Constraints: 149081 2050.95/2056.63 c #Conflicts: 259000 | #Constraints: 150081 2050.95/2056.63 c #Conflicts: 260000 | #Constraints: 151081 2050.95/2056.63 c #Conflicts: 261000 | #Constraints: 152081 2050.95/2056.63 c #Conflicts: 262000 | #Constraints: 153081 2050.95/2056.63 c #Conflicts: 263000 | #Constraints: 154081 2050.95/2056.63 c #Conflicts: 264000 | #Constraints: 155081 2050.95/2056.63 c #Conflicts: 265000 | #Constraints: 156081 2050.95/2056.63 c #Conflicts: 266000 | #Constraints: 157081 2050.95/2056.63 c #Conflicts: 267000 | #Constraints: 158081 2050.95/2056.63 c #Conflicts: 268000 | #Constraints: 159081 2050.95/2056.63 c INPROCESSING 2050.95/2056.63 c GARBAGE COLLECT 2050.95/2056.63 c rational objective -806.667 2066.33/2072.07 c #Conflicts: 269000 | #Constraints: 134358 2066.33/2072.07 c #Conflicts: 270000 | #Constraints: 135358 2066.33/2072.07 c #Conflicts: 271000 | #Constraints: 136358 2066.33/2072.07 c #Conflicts: 272000 | #Constraints: 137358 2066.33/2072.07 c #Conflicts: 273000 | #Constraints: 138358 2066.33/2072.07 c #Conflicts: 274000 | #Constraints: 139358 2066.33/2072.07 c #Conflicts: 275000 | #Constraints: 140358 2066.33/2072.07 c #Conflicts: 276000 | #Constraints: 141358 2066.33/2072.07 c #Conflicts: 277000 | #Constraints: 142358 2066.33/2072.07 c #Conflicts: 278000 | #Constraints: 143358 2066.33/2072.07 c #Conflicts: 279000 | #Constraints: 144358 2066.33/2072.07 c #Conflicts: 280000 | #Constraints: 145358 2066.33/2072.07 c #Conflicts: 281000 | #Constraints: 146358 2066.33/2072.07 c #Conflicts: 282000 | #Constraints: 147358 2066.33/2072.07 c INPROCESSING 2066.33/2072.07 c GARBAGE COLLECT 2066.33/2072.07 c rational objective -806.667 2131.06/2136.95 c #Conflicts: 283000 | #Constraints: 128258 2131.06/2136.95 c #Conflicts: 284000 | #Constraints: 129258 2131.06/2136.95 c #Conflicts: 285000 | #Constraints: 130258 2131.06/2136.95 c #Conflicts: 286000 | #Constraints: 131258 2131.06/2136.95 c #Conflicts: 287000 | #Constraints: 132258 2131.06/2136.95 c #Conflicts: 288000 | #Constraints: 133258 2131.06/2136.95 c #Conflicts: 289000 | #Constraints: 134258 2131.06/2136.95 c #Conflicts: 290000 | #Constraints: 135258 2131.06/2136.95 c #Conflicts: 291000 | #Constraints: 136258 2131.06/2136.95 c #Conflicts: 292000 | #Constraints: 137258 2131.06/2136.95 c #Conflicts: 293000 | #Constraints: 138258 2131.06/2136.95 c #Conflicts: 294000 | #Constraints: 139258 2131.06/2136.95 c #Conflicts: 295000 | #Constraints: 140258 2131.06/2136.95 c #Conflicts: 296000 | #Constraints: 141258 2131.06/2136.95 c #Conflicts: 297000 | #Constraints: 142258 2131.06/2136.95 c #Conflicts: 298000 | #Constraints: 143258 2131.06/2136.95 c #Conflicts: 299000 | #Constraints: 144258 2131.06/2136.95 c #Conflicts: 300000 | #Constraints: 145258 2131.06/2136.95 c #Conflicts: 301000 | #Constraints: 146258 2131.06/2136.95 c #Conflicts: 302000 | #Constraints: 147258 2131.06/2136.95 c #Conflicts: 303000 | #Constraints: 148258 2131.06/2136.95 c #Conflicts: 304000 | #Constraints: 149258 2131.06/2136.95 c #Conflicts: 305000 | #Constraints: 150258 2131.06/2136.95 c #Conflicts: 306000 | #Constraints: 151258 2131.06/2136.95 c #Conflicts: 307000 | #Constraints: 152258 2131.06/2136.95 c #Conflicts: 308000 | #Constraints: 153258 2131.06/2136.95 c #Conflicts: 309000 | #Constraints: 154259 2131.06/2136.95 c #Conflicts: 310000 | #Constraints: 155259 2131.06/2136.95 c #Conflicts: 311000 | #Constraints: 156259 2131.06/2136.95 c #Conflicts: 312000 | #Constraints: 157259 2131.06/2136.95 WSVECS04 Frhs2[111]: 6 0 0.45822 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[112]: 6 -2.44832 0 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[117]: 6 0 1.00008 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[118]: 6 0 0.0655233 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[119]: 6 0 0.5273 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[120]: 6 0 1.00007 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[127]: 6 -0.516189 0 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[129]: 6 -0.793322 0 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[130]: 6 -0.458154 0 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[139]: 6 0 1.29576 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[141]: 6 0 0.20651 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[143]: 6 0 1.28344 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[144]: 6 0 1.00007 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[145]: 6 0 1.00001 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[150]: 6 -0.271933 0 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[151]: 6 -0.2218 0 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[175]: 6 -0.923206 0 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[179]: 6 0 1.0001 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[180]: 6 0 1.00007 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[181]: 6 0 0.262825 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[185]: 6 0 1.32738 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[198]: 6 -2.7162 0 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[202]: 6 0 0.131947 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[204]: 6 0 1.00003 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[205]: 6 0 0.315591 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[206]: 6 0 0.447858 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[209]: 6 0 1.75144 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[210]: 6 0 0.631187 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[387]: 6 0 1.00002 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[565]: 6 -1.00005 0 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[607]: 6 -0.547822 0 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[972]: 6 0 1.70573 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[1168]: 6 0 0.961673 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[1278]: 6 -0.251598 0 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[1333]: 6 -0.95698 0 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[1334]: 6 -1.00005 0 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[1340]: 6 0 1.00007 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[1341]: 6 0 1.30285 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[1344]: 6 0 1.00009 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[1346]: 6 0 0.418478 shouldn't be 2131.06/2136.95 WSVECS04 Frhs2[1348]: 6 0 1.11602 shouldn't be 2134.04/2139.97 WSVECS04 Frhs2[128]: 6 -0.709722 0 shouldn't be 2134.04/2139.97 WSVECS04 Frhs2[163]: 6 0 0.106594 shouldn't be 2261.79/2268.08 c #Conflicts: 313000 | #Constraints: 158260 2261.79/2268.08 c #Conflicts: 314000 | #Constraints: 159260 2261.79/2268.08 c #Conflicts: 315000 | #Constraints: 160260 2261.79/2268.08 c #Conflicts: 316000 | #Constraints: 161261 2261.79/2268.08 c #Conflicts: 317000 | #Constraints: 162261 2261.79/2268.08 c #Conflicts: 318000 | #Constraints: 163262 2261.79/2268.08 c #Conflicts: 319000 | #Constraints: 164263 2261.79/2268.08 c INPROCESSING 2261.79/2268.08 c GARBAGE COLLECT 2261.79/2268.08 c rational objective -806.667 2342.78/2349.25 c #Conflicts: 320000 | #Constraints: 137057 2342.78/2349.25 c #Conflicts: 321000 | #Constraints: 138057 2342.78/2349.25 c #Conflicts: 322000 | #Constraints: 139057 2342.78/2349.25 c #Conflicts: 323000 | #Constraints: 140057 2342.78/2349.25 c #Conflicts: 324000 | #Constraints: 141057 2342.78/2349.25 c #Conflicts: 325000 | #Constraints: 142057 2342.78/2349.25 c #Conflicts: 326000 | #Constraints: 143057 2342.78/2349.25 c #Conflicts: 327000 | #Constraints: 144057 2342.78/2349.25 c #Conflicts: 328000 | #Constraints: 145057 2342.78/2349.25 c #Conflicts: 329000 | #Constraints: 146057 2342.78/2349.25 c #Conflicts: 330000 | #Constraints: 147057 2342.78/2349.25 c #Conflicts: 331000 | #Constraints: 148057 2342.78/2349.25 c #Conflicts: 332000 | #Constraints: 149057 2342.78/2349.25 c #Conflicts: 333000 | #Constraints: 150057 2342.78/2349.25 c #Conflicts: 334000 | #Constraints: 151057 2342.78/2349.25 c #Conflicts: 335000 | #Constraints: 152057 2342.78/2349.25 c INPROCESSING 2342.78/2349.25 c GARBAGE COLLECT 2342.78/2349.25 WSVECS04 Frhs2[4]: 6 0 2.13432 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[5]: 6 -1.00006 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[14]: 6 0 4.3553 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[21]: 6 0 1.40379 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[26]: 6 0 1.00004 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[36]: 6 0 4.1094 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[38]: 6 0 2.36073 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[46]: 6 -0.0128482 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[51]: 6 -4.00003 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[53]: 6 -0.109451 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[211]: 6 -1.00003 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[218]: 6 0 1.81363 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[220]: 6 0 1.00005 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[227]: 6 0 3.94985 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[228]: 6 -2.9277 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[232]: 6 0 3.00002 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[233]: 6 -1.00005 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[235]: 6 -5.58943 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[236]: 6 0 3.05218 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[244]: 6 0 2.35615 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[254]: 6 -2.92969 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[257]: 6 -0.00161074 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[269]: 6 -1.00002 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[276]: 6 -1.00002 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[277]: 6 0 1.00003 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[281]: 6 -5.80152 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[282]: 6 0 2.93408 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[283]: 6 0 2.00009 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[284]: 6 0 1.61401 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[291]: 6 -3.6776 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[293]: 6 -4.13389 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[301]: 6 0 2.00005 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[303]: 6 0 2.3681 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[306]: 6 0 3.34473 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[308]: 6 0 2.42637 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[584]: 6 0 2.00785 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[591]: 6 0 1.04158 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[596]: 6 0 1.00009 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[598]: 6 -1.20052 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[600]: 6 0 3.35728 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[606]: 6 0 1.7544 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[608]: 6 0 1.39441 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[616]: 6 -1.00007 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[618]: 6 -4.54537 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[621]: 6 -5.06578 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[672]: 6 0 1.00007 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[673]: 6 -5.53415 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[677]: 6 0 2.63501 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[678]: 6 -1.39674 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[679]: 6 -1.4695 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[680]: 6 -4.86113 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[681]: 6 0 2.43218 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[687]: 6 0 2.46871 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[689]: 6 0 3.00001 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[699]: 6 -2.77815 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[702]: 6 -2.00005 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[704]: 6 -0.109381 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[925]: 6 -1.01079 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[931]: 6 -3.08945 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[933]: 6 0 2.00006 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[939]: 6 0 2.5963 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[941]: 6 0 3.00002 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[949]: 6 -4.12788 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[951]: 6 -0.387086 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[954]: 6 -0.565015 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[956]: 6 -3.98639 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[961]: 6 -4.80386 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[962]: 6 0 0.0522112 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[963]: 6 0 0.314666 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[965]: 6 -3.66839 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[973]: 6 -0.706591 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[983]: 6 0 0.961664 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[986]: 6 0 1.93361 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[988]: 6 0 1.94795 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1080]: 6 -1.00002 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1081]: 6 -1.93867 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1082]: 6 -3.36953 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1083]: 6 0 1.43214 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1091]: 6 0 5.77866 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1099]: 6 -3.63404 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1101]: 6 -2.00004 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1104]: 6 -3.26567 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1106]: 6 -1.00002 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1108]: 6 0 2.28742 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1110]: 6 -5.50987 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1116]: 6 -1.9851 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1118]: 6 -2.67337 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1135]: 6 0 3.52294 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1136]: 6 -5.74594 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1142]: 6 -2.72674 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1144]: 6 -0.17315 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1152]: 6 0 2.57145 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1157]: 6 0 0.933639 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1159]: 6 0 2.03655 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1161]: 6 -2.85824 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1177]: 6 0 3.00005 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1179]: 6 0 1.32899 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1182]: 6 0 2.524 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1184]: 6 0 1.83811 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1191]: 6 0 3.71399 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1201]: 6 -1.28615 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1208]: 6 -1.62911 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1316]: 6 0 2.0001 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1324]: 6 -4.48031 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1326]: 6 -3.2395 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1329]: 6 -2.00006 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1331]: 6 -1.68621 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1359]: 6 -4.53836 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1364]: 6 -3.70894 0 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1451]: 6 0 1.15289 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1454]: 6 0 2.565 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1456]: 6 0 1.87441 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1467]: 6 0 1.00003 shouldn't be 2342.78/2349.25 WSVECS04 Frhs2[1469]: 6 0 3.28608 shouldn't be 2347.96/2354.41 WSVECS04 Frhs2[12]: 6 0 6.67458 shouldn't be 2347.96/2354.41 WSVECS04 Frhs2[22]: 6 -1.13043 0 shouldn't be 2347.96/2354.41 WSVECS04 Frhs2[27]: 6 -6.21165 0 shouldn't be 2347.96/2354.41 WSVECS04 Frhs2[29]: 6 -2.00004 0 shouldn't be 2347.96/2354.41 WSVECS04 Frhs2[930]: 6 -7.64307 0 shouldn't be 2347.96/2354.41 WSVECS04 Frhs2[964]: 6 0 2.00001 shouldn't be 2347.96/2354.41 WSVECS04 Frhs2[1109]: 6 0 2.87074 shouldn't be 2347.96/2354.41 WSVECS04 Frhs2[1128]: 6 0 3.00008 shouldn't be 2353.26/2359.72 WSVECS04 Frhs2[252]: 6 -1.28703 0 shouldn't be 2353.26/2359.72 WSVECS04 Frhs2[259]: 6 -1.00004 0 shouldn't be 2358.24/2364.77 WSVECS04 Frhs2[267]: 6 -8.0388 0 shouldn't be 2358.24/2364.77 WSVECS04 Frhs2[1154]: 6 0 3.2896 shouldn't be 2358.24/2364.77 WSVECS04 Frhs2[1357]: 6 -2.4056 0 shouldn't be 2363.23/2369.76 WSVECS04 Frhs2[929]: 6 0 2.48709 shouldn't be 2380.68/2387.20 WSVECS04 Frhs2[981]: 6 0 1.55115 shouldn't be 2387.07/2393.65 WSVECS04 Frhs2[597]: 6 -7.81492 0 shouldn't be
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (59057 MiB free)
memory of node 1: 64473 MiB (57114 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458792-1721884661/watcher-4458792-1721884661 -o /tmp/evaluation-result-4458792-1721884661/solver-4458792-1721884661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721877159-216650 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4458792-1721884661 --lp-cut-gomory=0 HOME/instance-4458792-1721884661.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=221902, runsolver pid=221899
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.10 4.15 4.18 5/260 221903
/proc/meminfo: memFree=118958352/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=38136 memory=7060 CPUtime=0.09 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 558 0 0 0 7 2 0 0 20 0 1 0 24455095 39051264 1765 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 9534 1765 1365 992 0 1392 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38136 KiB
Current children cumulated memory: 7060 KiB
[startup+0.205888 s]*
/proc/loadavg: 4.10 4.15 4.18 5/260 221903
/proc/meminfo: memFree=118955416/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=38532 memory=9368 CPUtime=0.2 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 675 0 0 0 15 5 0 0 20 0 1 0 24455095 39456768 2342 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 9633 2342 1365 992 0 1491 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38532 KiB
Current children cumulated memory: 9368 KiB
[startup+0.305778 s]*
/proc/loadavg: 4.10 4.15 4.18 5/260 221903
/proc/meminfo: memFree=118954624/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=38924 memory=9764 CPUtime=0.3 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 794 0 0 0 23 7 0 0 20 0 1 0 24455095 39858176 2441 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 9731 2441 1365 992 0 1589 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 9764 KiB
[startup+0.700329 s]
/proc/loadavg: 4.10 4.15 4.18 5/260 221903
/proc/meminfo: memFree=118953484/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=40500 memory=12692 CPUtime=0.69 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 1608 0 0 0 52 17 0 0 20 0 1 0 24455095 41472000 3173 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 10125 3173 1365 992 0 1983 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40500 KiB
Current children cumulated memory: 12692 KiB
[startup+1.50034 s]
/proc/loadavg: 4.10 4.15 4.18 5/260 221903
/proc/meminfo: memFree=118900416/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=92728 memory=64180 CPUtime=1.48 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 17480 0 0 0 126 22 0 0 20 0 1 0 24455095 94953472 16045 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 23182 16045 1731 992 0 15040 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 92728 KiB
Current children cumulated memory: 64180 KiB
[startup+3.11394 s]
/proc/loadavg: 4.10 4.14 4.18 5/260 221903
/proc/meminfo: memFree=118898876/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=92728 memory=64180 CPUtime=3.1 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 17484 0 0 0 287 23 0 0 20 0 1 0 24455095 94953472 16045 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 23182 16045 1731 992 0 15040 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 92728 KiB
Current children cumulated memory: 64180 KiB
[startup+6.30031 s]
/proc/loadavg: 4.10 4.14 4.18 5/260 221903
/proc/meminfo: memFree=118877136/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=101544 memory=72596 CPUtime=6.27 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 19535 0 0 0 596 31 0 0 20 0 1 0 24455095 103981056 18149 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 25386 18149 1896 992 0 17244 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 101544 KiB
Current children cumulated memory: 72596 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.14 4.17 5/260 221904
/proc/meminfo: memFree=118862976/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=110960 memory=77300 CPUtime=12.65 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 20770 0 0 0 1233 32 0 0 20 0 1 0 24455095 113623040 19325 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 27740 19325 1896 992 0 19598 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 110960 KiB
Current children cumulated memory: 77300 KiB
[startup+25.5004 s]
/proc/loadavg: 4.07 4.13 4.17 5/260 221906
/proc/meminfo: memFree=118823284/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=110960 memory=80620 CPUtime=25.43 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 21078 0 0 0 2506 37 0 0 20 0 1 0 24455095 113623040 20155 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 27740 20155 1896 992 0 19598 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 110960 KiB
Current children cumulated memory: 80620 KiB
[startup+51.1141 s]
/proc/loadavg: 4.12 4.14 4.17 5/260 221912
/proc/meminfo: memFree=118778664/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=121044 memory=87356 CPUtime=50.98 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 22244 0 0 0 5053 45 0 0 20 0 1 0 24455095 123949056 21839 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 30261 21839 1896 992 0 22119 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 121044 KiB
Current children cumulated memory: 87356 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/260 221920
/proc/meminfo: memFree=118487696/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=160728 memory=120220 CPUtime=102.02 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 24873 0 0 0 10134 68 0 0 20 0 1 0 24455095 164585472 30055 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 40182 30055 1896 992 0 32040 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 160728 KiB
Current children cumulated memory: 120220 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.17 5/260 221977
/proc/meminfo: memFree=119317468/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=160728 memory=120220 CPUtime=161.86 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 24896 0 0 0 16107 79 0 0 20 0 1 0 24455095 164585472 30055 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 40182 30055 1896 992 0 32040 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 160728 KiB
Current children cumulated memory: 120220 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/248 221990
/proc/meminfo: memFree=119143656/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=160728 memory=120220 CPUtime=221.71 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 24909 0 0 0 22070 101 0 0 20 0 1 0 24455095 164585472 30055 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 40182 30055 1896 992 0 32040 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 160728 KiB
Current children cumulated memory: 120220 KiB
[startup+282.3 s]
/proc/loadavg: 4.51 4.21 4.19 6/246 222046
/proc/meminfo: memFree=119517780/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=179696 memory=130664 CPUtime=281.54 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 25488 0 0 0 28028 126 0 0 20 0 1 0 24455095 184008704 32666 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 44924 32666 1896 992 0 36782 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 179696 KiB
Current children cumulated memory: 130664 KiB
[startup+342.3 s]
/proc/loadavg: 4.69 4.34 4.24 5/246 222058
/proc/meminfo: memFree=119305684/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=179696 memory=138856 CPUtime=341.35 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 25521 0 0 0 33978 157 0 0 20 0 1 0 24455095 184008704 34714 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 44924 34714 1896 992 0 36782 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 179696 KiB
Current children cumulated memory: 138856 KiB
[startup+402.3 s]
/proc/loadavg: 4.30 4.29 4.22 5/246 222068
/proc/meminfo: memFree=119234696/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=179696 memory=141828 CPUtime=401.18 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 25554 0 0 0 39951 167 0 0 20 0 1 0 24455095 184008704 35457 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 44924 35457 1896 992 0 36782 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 179696 KiB
Current children cumulated memory: 141828 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.25 4.21 5/246 222078
/proc/meminfo: memFree=118974024/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=179696 memory=141828 CPUtime=461.02 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 25587 0 0 0 45926 176 0 0 20 0 1 0 24455095 184008704 35457 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 44924 35457 1896 992 0 36782 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 3.17 3.23 3.61 4/240 224009
/proc/meminfo: memFree=115205740/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=278012 memory=221640 CPUtime=3033.89 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 29947 0 0 0 302377 1012 0 0 20 0 1 0 24455095 284684288 55410 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 69503 55410 1896 992 0 61361 0
Current children cumulated CPU time: 3033.89 s
Current children cumulated vsize: 278012 KiB
Current children cumulated memory: 221640 KiB
[startup+3102.3 s]
/proc/loadavg: 3.06 3.19 3.57 4/240 224020
/proc/meminfo: memFree=115160964/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=278012 memory=221640 CPUtime=3093.73 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 29995 0 0 0 308350 1023 0 0 20 0 1 0 24455095 284684288 55410 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 69503 55410 1896 992 0 61361 0
Current children cumulated CPU time: 3093.73 s
Current children cumulated vsize: 278012 KiB
Current children cumulated memory: 221640 KiB
[startup+3162.3 s]
/proc/loadavg: 3.14 3.18 3.54 4/238 224030
/proc/meminfo: memFree=114929308/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=278012 memory=221640 CPUtime=3153.6 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 30038 0 0 0 314329 1031 0 0 20 0 1 0 24455095 284684288 55410 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 69503 55410 1896 992 0 61361 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 278012 KiB
Current children cumulated memory: 221640 KiB
[startup+3222.3 s]
/proc/loadavg: 3.11 3.16 3.51 4/240 224044
/proc/meminfo: memFree=114764484/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=278012 memory=221984 CPUtime=3213.46 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 30092 0 0 0 320308 1038 0 0 20 0 1 0 24455095 284684288 55496 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 69503 55496 1982 992 0 61361 0
Current children cumulated CPU time: 3213.46 s
Current children cumulated vsize: 278012 KiB
Current children cumulated memory: 221984 KiB
[startup+3282.3 s]
/proc/loadavg: 3.31 3.19 3.50 4/240 224056
/proc/meminfo: memFree=114696516/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=278012 memory=221984 CPUtime=3273.31 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 30138 0 0 0 326284 1047 0 0 20 0 1 0 24455095 284684288 55496 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 69503 55496 1982 992 0 61361 0
Current children cumulated CPU time: 3273.31 s
Current children cumulated vsize: 278012 KiB
Current children cumulated memory: 221984 KiB
[startup+3342.3 s]
/proc/loadavg: 3.69 3.34 3.53 4/240 224066
/proc/meminfo: memFree=114696132/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=278012 memory=221984 CPUtime=3333.13 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 30181 0 0 0 332255 1058 0 0 20 0 1 0 24455095 284684288 55496 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 69503 55496 1982 992 0 61361 0
Current children cumulated CPU time: 3333.13 s
Current children cumulated vsize: 278012 KiB
Current children cumulated memory: 221984 KiB
[startup+3402.3 s]
/proc/loadavg: 3.31 3.29 3.50 5/240 224078
/proc/meminfo: memFree=114695928/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=278012 memory=221984 CPUtime=3392.94 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 30224 0 0 0 338225 1069 0 0 20 0 1 0 24455095 284684288 55496 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 69503 55496 1982 992 0 61361 0
Current children cumulated CPU time: 3392.94 s
Current children cumulated vsize: 278012 KiB
Current children cumulated memory: 221984 KiB
[startup+3462.3 s]
/proc/loadavg: 3.15 3.25 3.47 4/240 224088
/proc/meminfo: memFree=114695612/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=278012 memory=221984 CPUtime=3452.76 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 30267 0 0 0 344195 1081 0 0 20 0 1 0 24455095 284684288 55496 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 69503 55496 1982 992 0 61361 0
Current children cumulated CPU time: 3452.76 s
Current children cumulated vsize: 278012 KiB
Current children cumulated memory: 221984 KiB
[startup+3522.3 s]
/proc/loadavg: 3.09 3.22 3.44 4/237 224098
/proc/meminfo: memFree=114695264/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=278012 memory=221984 CPUtime=3512.59 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 30308 0 0 0 350168 1091 0 0 20 0 1 0 24455095 284684288 55496 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 69503 55496 1982 992 0 61361 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 278012 KiB
Current children cumulated memory: 221984 KiB
[startup+3582.3 s]
/proc/loadavg: 3.07 3.19 3.42 4/234 224109
/proc/meminfo: memFree=114695072/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=278012 memory=221984 CPUtime=3572.42 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 30353 0 0 0 356139 1103 0 0 20 0 1 0 24455095 284684288 55496 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 69503 55496 1982 992 0 61361 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 278012 KiB
Current children cumulated memory: 221984 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 3.10 3.19 3.41 5/234 224114
/proc/meminfo: memFree=114694848/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=278012 memory=221984 CPUtime=3600.05 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 30355 0 0 0 358897 1108 0 0 20 0 1 0 24455095 284684288 55496 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 69503 55496 1982 992 0 61361 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 278012 KiB
Current children cumulated memory: 221984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3612.01 s]
# the end of solver process 221902 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3590.96 s, system=11.0951 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 3.10 3.19 3.41 4/234 224114
/proc/meminfo: memFree=114694848/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=278012 memory=221984 CPUtime=3601.24 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 30355 0 0 0 359015 1109 0 0 20 0 1 0 24455095 284684288 55496 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 69503 55496 1982 992 0 61361 0
Current children cumulated CPU time: 3601.24 s
Current children cumulated vsize: 278012 KiB
Current children cumulated memory: 221984 KiB
[startup+3611.6 s]
/proc/loadavg: 3.10 3.19 3.41 4/234 224114
/proc/meminfo: memFree=114694848/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=278012 memory=221984 CPUtime=3601.64 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 30355 0 0 0 359055 1109 0 0 20 0 1 0 24455095 284684288 55496 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 69503 55496 1982 992 0 61361 0
Current children cumulated CPU time: 3601.64 s
Current children cumulated vsize: 278012 KiB
Current children cumulated memory: 221984 KiB
[startup+3612 s]*
/proc/loadavg: 3.10 3.19 3.41 4/234 224114
/proc/meminfo: memFree=114694840/131655788 swapFree=131071472/131071996
[pid=221902] ppid=221899 vsize=278012 memory=221984 CPUtime=3602.05 cores=4,6
/proc/221902/stat : 221902 (roundingsat) R 221899 221902 216639 0 -1 4194304 30355 0 0 0 359096 1109 0 0 20 0 1 0 24455095 284684288 55496 134679101440 4194304 8254037 140728077304720 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34570240 140728077312860 140728077313122 140728077313122 140728077320137 0
/proc/221902/statm: 69503 55496 1982 992 0 61361 0
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 278012 KiB
Current children cumulated memory: 221984 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.01
CPU time (s): 3602.06
CPU user time (s): 3590.96
CPU system time (s): 11.0951
CPU usage (%): 99.7243
Max. virtual memory (cumulated for all children) (KiB): 278012
Max. memory (cumulated for all children) (KiB): 221984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.96
system time used= 11.0951
maximum resident set size= 221984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30355
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3630000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 1676
# summary of solver processes directly reported to runsolver:
# pid: 221902
# total CPU time (s): 3602.06
# total CPU user time (s): 3590.96
# total CPU system time (s): 11.0951
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0097 second user time and 37.4683 second system time
The end
Begin job on nodeC004 at 2024-07-25 07:17:41 IDJOB=4458792 IDBENCH=178157 IDSOLVER=3085 FILE ID=nodeC004/4458792-1721884661 RUNJOBID= nodeC004-1721877159-216650 SLURM_JOB_ID= 8089264 Free space on /tmp= 723760 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/normalized-maxcut_opt_complete_5-partite_block_nvert_55.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458792-1721884661/watcher-4458792-1721884661 -o /tmp/evaluation-result-4458792-1721884661/solver-4458792-1721884661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721877159-216650 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4458792-1721884661 --lp-cut-gomory=0 HOME/instance-4458792-1721884661.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ff0f59bbfc198112e385d67f72301d6a RANDOM SEED=299974680 nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3536.595 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3659.672 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.443 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.285 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.293 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.066 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3656.765 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.455 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 118960428 kB MemAvailable: 129216748 kB Buffers: 305692 kB Cached: 10740200 kB SwapCached: 60 kB Active: 2631368 kB Inactive: 9418824 kB Active(anon): 1444 kB Inactive(anon): 1056804 kB Active(file): 2629924 kB Inactive(file): 8362020 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 38840 kB Writeback: 0 kB AnonPages: 1000828 kB Mapped: 125480 kB Shmem: 53860 kB KReclaimable: 209152 kB Slab: 322820 kB SReclaimable: 209152 kB SUnreclaim: 113668 kB KernelStack: 4176 kB PageTables: 11708 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1634780 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20128 kB HardwareCorrupted: 0 kB AnonHugePages: 780288 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: 392008 kB DirectMap2M: 50892800 kB DirectMap1G: 84934656 kB Free space on /tmp at the end= 723748 MiB End job on nodeC004 at 2024-07-25 08:17:54