| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | OPT cert. | -180 | 1018.12 | 1021.05 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_27.opb |
| MD5SUM | 3b9231489038b4cdb94f511f52877e11 |
| 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 | -180 |
| Best CPU time to get the best result obtained on this benchmark | 1.99794 |
| 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 | 351 |
| Total number of constraints | 11700 |
| Number of constraints which are clauses | 11700 |
| 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 | 291 |
| 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 | 291 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 291 |
| Number of bits of the biggest sum of numbers | 9 |
| 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.00/0.11 c #variables 351 #constraints 11700 3.18/3.21 c bounds - >= -291 @ 0.082237 3.18/3.21 c bounds 0 >= -291 @ 0.48871 3.18/3.21 c bounds 0 >= -290 @ 0.489168 3.18/3.21 c bounds 0 >= -289 @ 0.489545 3.18/3.21 c bounds 0 >= -288 @ 0.489891 3.18/3.21 c bounds 0 >= -287 @ 0.49022 3.18/3.21 c bounds 0 >= -286 @ 0.490552 3.18/3.21 c bounds 0 >= -285 @ 0.490902 3.18/3.21 c bounds 0 >= -284 @ 0.491239 3.18/3.21 c bounds 0 >= -283 @ 0.491575 3.18/3.21 c bounds 0 >= -282 @ 0.491655 3.18/3.21 c bounds 0 >= -281 @ 0.491655 3.18/3.21 c bounds 0 >= -280 @ 0.491655 3.18/3.21 c bounds 0 >= -279 @ 0.491923 3.18/3.21 c bounds 0 >= -278 @ 0.492279 3.18/3.21 c bounds 0 >= -277 @ 0.492605 3.18/3.21 c bounds 0 >= -276 @ 0.492945 3.18/3.21 c bounds 0 >= -275 @ 0.493277 3.18/3.21 c bounds 0 >= -274 @ 0.493619 3.18/3.21 c bounds 0 >= -273 @ 0.493648 3.18/3.21 c bounds 0 >= -272 @ 0.493648 3.18/3.21 c bounds 0 >= -271 @ 0.493648 3.18/3.21 c bounds 0 >= -270 @ 0.494003 3.18/3.21 c bounds 0 >= -269 @ 0.494349 3.18/3.21 c bounds 0 >= -268 @ 0.494644 3.18/3.21 c bounds 0 >= -267 @ 0.494644 3.18/3.21 c bounds 0 >= -266 @ 0.494644 3.18/3.21 c bounds 0 >= -265 @ 0.494675 3.18/3.21 c bounds 0 >= -264 @ 0.495009 3.18/3.21 c bounds 0 >= -263 @ 0.495342 3.18/3.21 c bounds 0 >= -262 @ 0.495691 3.18/3.21 c bounds 0 >= -261 @ 0.496029 3.18/3.21 c bounds 0 >= -260 @ 0.496352 3.18/3.21 c bounds 0 >= -259 @ 0.496684 3.18/3.21 c bounds 0 >= -258 @ 0.497004 3.18/3.21 c bounds 0 >= -257 @ 0.497333 3.18/3.21 c bounds 0 >= -256 @ 0.497674 3.18/3.21 c bounds 0 >= -255 @ 0.49799 3.18/3.21 c bounds 0 >= -254 @ 0.49833 3.18/3.21 c bounds 0 >= -253 @ 0.498654 3.18/3.21 c bounds 0 >= -252 @ 0.498989 3.18/3.21 c bounds 0 >= -251 @ 0.499313 3.18/3.21 c bounds 0 >= -250 @ 0.49965 3.18/3.21 c bounds 0 >= -249 @ 0.499971 3.18/3.21 c bounds 0 >= -248 @ 0.500296 3.18/3.21 c bounds 0 >= -247 @ 0.500633 3.18/3.21 c bounds 0 >= -246 @ 0.500984 3.18/3.21 c bounds 0 >= -245 @ 0.501305 3.18/3.21 c bounds 0 >= -244 @ 0.501648 3.18/3.21 c bounds 0 >= -243 @ 0.501964 3.18/3.21 c bounds 0 >= -242 @ 0.502305 3.18/3.21 c bounds 0 >= -241 @ 0.502646 3.18/3.21 c bounds 0 >= -240 @ 0.502975 3.18/3.21 c bounds 0 >= -239 @ 0.503305 3.18/3.21 c bounds 0 >= -238 @ 0.503648 3.18/3.21 c bounds 0 >= -237 @ 0.503992 3.18/3.21 c bounds 0 >= -236 @ 0.504328 3.18/3.21 c bounds 0 >= -235 @ 0.50467 3.18/3.21 c bounds 0 >= -234 @ 0.505015 3.18/3.21 c bounds 0 >= -233 @ 0.505338 3.18/3.21 c bounds 0 >= -232 @ 0.505701 3.18/3.21 c bounds 0 >= -231 @ 0.506026 3.18/3.21 c bounds 0 >= -230 @ 0.50636 3.18/3.21 c bounds 0 >= -229 @ 0.50671 3.18/3.21 c bounds 0 >= -228 @ 0.507045 3.18/3.21 c bounds 0 >= -227 @ 0.507382 3.18/3.21 c bounds 0 >= -226 @ 0.507787 3.18/3.21 c bounds 0 >= -225 @ 0.508169 3.18/3.21 c bounds 0 >= -224 @ 0.508489 3.18/3.21 c bounds 0 >= -223 @ 0.508823 3.18/3.21 c bounds 0 >= -222 @ 0.509145 3.18/3.21 c bounds 0 >= -221 @ 0.50946 3.18/3.21 c bounds 0 >= -220 @ 0.509827 3.18/3.21 c bounds 0 >= -219 @ 0.51016 3.18/3.21 c bounds 0 >= -218 @ 0.510486 3.18/3.21 c bounds 0 >= -217 @ 0.51081 3.18/3.21 c bounds 0 >= -216 @ 0.511202 3.18/3.21 c bounds 0 >= -215 @ 0.511553 3.18/3.21 c bounds 0 >= -214 @ 0.511925 3.18/3.21 c bounds 0 >= -213 @ 0.512328 3.18/3.21 c bounds -21 >= -213 @ 0.513324 3.18/3.21 c bounds -21 >= -212 @ 0.513686 3.18/3.21 c bounds -21 >= -211 @ 0.514065 3.18/3.21 c bounds -21 >= -210 @ 0.514421 3.18/3.21 c bounds -21 >= -209 @ 0.514808 3.18/3.21 c bounds -21 >= -208 @ 0.515186 3.18/3.21 c bounds -21 >= -207 @ 0.515586 3.18/3.21 c bounds -21 >= -206 @ 0.516061 3.18/3.21 c bounds -21 >= -205 @ 0.516506 3.18/3.21 c bounds -21 >= -204 @ 0.516521 3.18/3.21 c bounds -42 >= -204 @ 0.516822 3.18/3.21 c bounds -42 >= -203 @ 0.517442 3.18/3.21 c bounds -42 >= -202 @ 0.517895 3.18/3.21 c bounds -42 >= -201 @ 0.518774 3.18/3.21 c bounds -63 >= -201 @ 0.519703 3.18/3.21 c bounds -63 >= -200 @ 0.520737 3.18/3.21 c bounds -63 >= -199 @ 0.522345 3.18/3.21 c bounds -79 >= -199 @ 0.523773 3.18/3.21 c bounds -95 >= -199 @ 0.524643 3.18/3.21 c bounds -95 >= -198 @ 0.527224 3.18/3.21 c bounds -112 >= -198 @ 0.527724 3.18/3.21 c bounds -112 >= -197 @ 0.533734 3.18/3.21 c bounds -121 >= -197 @ 0.536433 3.18/3.21 c bounds -130 >= -197 @ 0.538018 3.18/3.21 c bounds -139 >= -197 @ 0.5403 3.18/3.21 c bounds -148 >= -197 @ 0.541271 3.18/3.21 c bounds -148 >= -196 @ 0.541386 3.18/3.21 c bounds -150 >= -196 @ 0.542801 3.18/3.21 c bounds -150 >= -195 @ 0.546641 3.18/3.21 c bounds -152 >= -195 @ 0.550319 3.18/3.21 c bounds -157 >= -195 @ 0.550327 3.18/3.21 c bounds -162 >= -195 @ 0.550545 3.18/3.21 c bounds -162 >= -194 @ 0.561586 3.18/3.21 c bounds -164 >= -194 @ 0.56367 3.18/3.21 c bounds -167 >= -194 @ 0.579582 3.18/3.21 c bounds -169 >= -194 @ 0.581027 3.18/3.21 c bounds -171 >= -194 @ 0.583063 3.18/3.21 c bounds -178 >= -194 @ 0.584165 3.18/3.21 c bounds -180 >= -194 @ 0.590301 3.18/3.21 c #Conflicts: 1000 | #Constraints: 13343 3.18/3.21 c #Conflicts: 2000 | #Constraints: 14349 3.18/3.21 c INPROCESSING 3.18/3.21 c GARBAGE COLLECT 3.18/3.21 c bounds -180 >= -193 @ 2.51346 3.18/3.21 c #Conflicts: 3000 | #Constraints: 14253 3.18/3.21 c bounds -180 >= -192 @ 2.61039 3.18/3.21 WSVECS04 Frhs2[24]: 6 0 1.00007 shouldn't be 3.18/3.21 WSVECS04 Frhs2[229]: 6 0 1.00006 shouldn't be 3.18/3.21 WSVECS04 Frhs2[261]: 6 0 1.00001 shouldn't be 3.18/3.21 WSVECS04 Frhs2[264]: 6 0 1.00004 shouldn't be 3.18/3.21 WSVECS04 Frhs2[276]: 6 0 1.00003 shouldn't be 3.18/3.21 WSVECS04 Frhs2[282]: 6 0 1.00008 shouldn't be 3.18/3.21 WSVECS04 Frhs2[312]: 6 0 1.00008 shouldn't be 3.18/3.21 WSVECS04 Frhs2[349]: 6 0 1.00005 shouldn't be 3.77/3.89 c #Conflicts: 4000 | #Constraints: 15283 3.77/3.89 c INPROCESSING 3.77/3.89 c GARBAGE COLLECT 3.77/3.89 c rational objective -192 4.28/4.36 c #Conflicts: 5000 | #Constraints: 14697 4.28/4.36 c #Conflicts: 6000 | #Constraints: 15697 4.28/4.36 c INPROCESSING 4.28/4.36 c GARBAGE COLLECT 4.28/4.36 c rational objective -192 5.77/5.87 c bounds -180 >= -191 @ 4.2699 5.77/5.87 c #Conflicts: 7000 | #Constraints: 14730 5.77/5.87 c #Conflicts: 8000 | #Constraints: 15730 5.77/5.87 c bounds -180 >= -190 @ 4.93997 5.77/5.87 c #Conflicts: 9000 | #Constraints: 16748 5.77/5.87 c INPROCESSING 5.77/5.87 c GARBAGE COLLECT 5.77/5.87 c rational objective -190 7.17/7.25 c #Conflicts: 10000 | #Constraints: 15445 7.17/7.25 c #Conflicts: 11000 | #Constraints: 16445 7.17/7.25 c #Conflicts: 12000 | #Constraints: 17447 7.17/7.25 c INPROCESSING 7.17/7.25 c GARBAGE COLLECT 7.17/7.25 c rational objective -190 7.98/8.02 c #Conflicts: 13000 | #Constraints: 15902 7.98/8.02 WSVECS04 Frhs2[27]: 6 -9.50673 0 shouldn't be 7.98/8.02 WSVECS04 Frhs2[59]: 6 -9.62377 0 shouldn't be 8.76/8.80 c bounds -180 >= -189 @ 7.96646 8.76/8.80 c #Conflicts: 14000 | #Constraints: 16926 8.76/8.80 c #Conflicts: 15000 | #Constraints: 17926 8.76/8.80 c INPROCESSING 8.76/8.80 c GARBAGE COLLECT 8.76/8.80 c rational objective -189 10.56/10.62 c #Conflicts: 16000 | #Constraints: 16158 10.56/10.62 c #Conflicts: 17000 | #Constraints: 17161 10.56/10.62 c #Conflicts: 18000 | #Constraints: 18167 10.56/10.62 c INPROCESSING 10.56/10.62 c GARBAGE COLLECT 10.56/10.62 c rational objective -189 11.25/11.35 c #Conflicts: 19000 | #Constraints: 16183 11.25/11.35 WSVECS04 Frhs2[8]: 6 -0.214501 0 shouldn't be 11.25/11.35 WSVECS04 Frhs2[10]: 6 0 0.502107 shouldn't be 11.25/11.35 WSVECS04 Frhs2[16]: 6 -1.6285 0 shouldn't be 11.25/11.35 WSVECS04 Frhs2[19]: 6 -2.37489 0 shouldn't be 11.25/11.35 WSVECS04 Frhs2[20]: 6 0 0.358271 shouldn't be 11.25/11.35 WSVECS04 Frhs2[80]: 6 0 1.57591 shouldn't be 11.25/11.35 WSVECS04 Frhs2[82]: 6 -0.341891 0 shouldn't be 11.25/11.35 WSVECS04 Frhs2[83]: 6 -1.76895 0 shouldn't be 11.25/11.35 WSVECS04 Frhs2[88]: 6 0 1.03234 shouldn't be 11.25/11.35 WSVECS04 Frhs2[91]: 6 0 2.63223 shouldn't be 11.25/11.35 WSVECS04 Frhs2[94]: 6 0 2.00009 shouldn't be 11.25/11.35 WSVECS04 Frhs2[183]: 6 -1.06003 0 shouldn't be 11.25/11.35 WSVECS04 Frhs2[188]: 6 0 3.56082 shouldn't be 11.25/11.35 WSVECS04 Frhs2[194]: 6 0 1.43932 shouldn't be 11.25/11.35 WSVECS04 Frhs2[196]: 6 -4.12552 0 shouldn't be 11.25/11.35 WSVECS04 Frhs2[216]: 6 0 1.8001 shouldn't be 11.25/11.35 WSVECS04 Frhs2[221]: 6 -0.932495 0 shouldn't be 11.25/11.35 WSVECS04 Frhs2[227]: 6 -0.317667 0 shouldn't be 11.25/11.35 WSVECS04 Frhs2[229]: 6 0 1.00006 shouldn't be 11.25/11.35 WSVECS04 Frhs2[230]: 6 0 0.250078 shouldn't be 11.25/11.35 WSVECS04 Frhs2[236]: 6 -0.148943 0 shouldn't be 11.25/11.35 WSVECS04 Frhs2[244]: 6 0 3.06456 shouldn't be 11.25/11.35 WSVECS04 Frhs2[245]: 6 0 1.54107 shouldn't be 11.25/11.35 WSVECS04 Frhs2[299]: 6 0 2.85119 shouldn't be 11.25/11.35 WSVECS04 Frhs2[326]: 6 0 1.00005 shouldn't be 11.25/11.35 WSVECS04 Frhs2[328]: 6 -0.321937 0 shouldn't be 11.25/11.35 WSVECS04 Frhs2[332]: 6 -3.63423 0 shouldn't be 11.25/11.35 WSVECS04 Frhs2[334]: 6 0 1.00007 shouldn't be 11.25/11.35 WSVECS04 Frhs2[335]: 6 0 1.18355 shouldn't be 11.25/11.35 WSVECS04 Frhs2[349]: 6 0 2.65266 shouldn't be 12.75/12.86 c #Conflicts: 20000 | #Constraints: 17184 12.75/12.86 c #Conflicts: 21000 | #Constraints: 18185 12.75/12.86 c INPROCESSING 12.75/12.86 c GARBAGE COLLECT 12.75/12.86 c rational objective -189 19.04/19.14 c #Conflicts: 22000 | #Constraints: 15939 19.04/19.14 c #Conflicts: 23000 | #Constraints: 16942 19.04/19.14 c #Conflicts: 24000 | #Constraints: 17945 19.04/19.14 c #Conflicts: 25000 | #Constraints: 18948 19.04/19.14 c #Conflicts: 26000 | #Constraints: 19951 19.04/19.14 c #Conflicts: 27000 | #Constraints: 20956 19.04/19.14 c #Conflicts: 28000 | #Constraints: 21959 19.04/19.14 c #Conflicts: 29000 | #Constraints: 22962 19.04/19.14 c #Conflicts: 30000 | #Constraints: 23964 19.04/19.14 c #Conflicts: 31000 | #Constraints: 24967 19.04/19.14 c #Conflicts: 32000 | #Constraints: 25970 19.04/19.14 c #Conflicts: 33000 | #Constraints: 26973 19.04/19.14 c INPROCESSING 19.04/19.14 c GARBAGE COLLECT 19.04/19.14 c rational objective -189 19.82/20.00 c #Conflicts: 34000 | #Constraints: 20539 19.82/20.00 WSVECS04 Frhs2[1]: 6 0 2.77854 shouldn't be 19.82/20.00 WSVECS04 Frhs2[4]: 6 -8.06339 0 shouldn't be 19.82/20.00 WSVECS04 Frhs2[9]: 6 0 1.00004 shouldn't be 19.82/20.00 WSVECS04 Frhs2[10]: 6 -1.6125 0 shouldn't be 19.82/20.00 WSVECS04 Frhs2[16]: 6 0 2.53459 shouldn't be 19.82/20.00 WSVECS04 Frhs2[18]: 6 0 1.14209 shouldn't be 19.82/20.00 WSVECS04 Frhs2[29]: 6 -0.0382457 0 shouldn't be 19.82/20.00 WSVECS04 Frhs2[41]: 6 0 0.44312 shouldn't be 19.82/20.00 WSVECS04 Frhs2[43]: 6 0 1.35074 shouldn't be 19.82/20.00 WSVECS04 Frhs2[103]: 6 -2.91685 0 shouldn't be 19.82/20.00 WSVECS04 Frhs2[104]: 6 0 3.00001 shouldn't be 19.82/20.00 WSVECS04 Frhs2[110]: 6 -1.43446 0 shouldn't be 19.82/20.00 WSVECS04 Frhs2[112]: 6 -0.547401 0 shouldn't be 19.82/20.00 WSVECS04 Frhs2[205]: 6 0 1.76596 shouldn't be 19.82/20.00 WSVECS04 Frhs2[207]: 6 0 3.19977 shouldn't be 19.82/20.00 WSVECS04 Frhs2[223]: 6 -4.66855 0 shouldn't be 19.82/20.00 WSVECS04 Frhs2[298]: 6 0 2.92511 shouldn't be 20.53/20.67 c #Conflicts: 35000 | #Constraints: 21539 20.53/20.67 c bounds -180 >= -188 @ 19.8865 20.53/20.67 c #Conflicts: 36000 | #Constraints: 22572 20.53/20.67 WSVECS04 Frhs2[34]: 6 0 1.00008 shouldn't be 20.53/20.67 WSVECS04 Frhs2[35]: 6 0 1.00006 shouldn't be 21.52/21.63 c #Conflicts: 37000 | #Constraints: 23573 21.52/21.63 c #Conflicts: 38000 | #Constraints: 24573 21.52/21.63 c INPROCESSING 21.52/21.63 c GARBAGE COLLECT 21.52/21.63 c rational objective -188 23.82/23.92 c #Conflicts: 39000 | #Constraints: 19503 23.82/23.92 c #Conflicts: 40000 | #Constraints: 20503 23.82/23.92 c #Conflicts: 41000 | #Constraints: 21503 23.82/23.92 c bounds -180 >= -187 @ 22.7893 23.82/23.92 WSVECS04 Frhs2[346]: 6 0 1.00009 shouldn't be 24.21/24.37 c #Conflicts: 42000 | #Constraints: 22536 24.21/24.37 c INPROCESSING 24.21/24.37 c GARBAGE COLLECT 24.21/24.37 c rational objective -187 33.69/33.86 c #Conflicts: 43000 | #Constraints: 18064 33.69/33.86 c #Conflicts: 44000 | #Constraints: 19065 33.69/33.86 c #Conflicts: 45000 | #Constraints: 20069 33.69/33.86 c #Conflicts: 46000 | #Constraints: 21074 33.69/33.86 c #Conflicts: 47000 | #Constraints: 22078 33.69/33.86 c #Conflicts: 48000 | #Constraints: 23082 33.69/33.86 c #Conflicts: 49000 | #Constraints: 24086 33.69/33.86 c #Conflicts: 50000 | #Constraints: 25090 33.69/33.86 c #Conflicts: 51000 | #Constraints: 26094 33.69/33.86 c #Conflicts: 52000 | #Constraints: 27097 33.69/33.86 c #Conflicts: 53000 | #Constraints: 28100 33.69/33.86 c #Conflicts: 54000 | #Constraints: 29105 33.69/33.86 c #Conflicts: 55000 | #Constraints: 30110 33.69/33.86 c #Conflicts: 56000 | #Constraints: 31114 33.69/33.86 c #Conflicts: 57000 | #Constraints: 32117 33.69/33.86 c #Conflicts: 58000 | #Constraints: 33120 33.69/33.86 c INPROCESSING 33.69/33.86 c GARBAGE COLLECT 33.69/33.86 c rational objective -187 34.39/34.53 c #Conflicts: 59000 | #Constraints: 23409 34.39/34.53 WSVECS04 Frhs2[4]: 6 0 0.486366 shouldn't be 34.39/34.53 WSVECS04 Frhs2[8]: 6 0 1.25117 shouldn't be 34.39/34.53 WSVECS04 Frhs2[9]: 6 -2.32354 0 shouldn't be 34.39/34.53 WSVECS04 Frhs2[12]: 6 -1.59373 0 shouldn't be 34.39/34.53 WSVECS04 Frhs2[82]: 6 0 1.00005 shouldn't be 34.39/34.53 WSVECS04 Frhs2[94]: 6 0 1.21973 shouldn't be 34.39/34.53 WSVECS04 Frhs2[95]: 6 -1.71245 0 shouldn't be 34.39/34.53 WSVECS04 Frhs2[103]: 6 -1.87352 0 shouldn't be 34.39/34.53 WSVECS04 Frhs2[104]: 6 0 2.4204 shouldn't be 34.39/34.53 WSVECS04 Frhs2[108]: 6 -1.0578 0 shouldn't be 34.39/34.53 WSVECS04 Frhs2[112]: 6 0 2.00003 shouldn't be 34.39/34.53 WSVECS04 Frhs2[115]: 6 -0.462812 0 shouldn't be 34.39/34.53 WSVECS04 Frhs2[116]: 6 0 1.39741 shouldn't be 34.39/34.53 WSVECS04 Frhs2[117]: 6 -0.26466 0 shouldn't be 34.39/34.53 WSVECS04 Frhs2[118]: 6 -0.624449 0 shouldn't be 34.39/34.53 WSVECS04 Frhs2[119]: 6 -3.96192 0 shouldn't be 34.39/34.53 WSVECS04 Frhs2[212]: 6 0 0.329555 shouldn't be 34.39/34.53 WSVECS04 Frhs2[248]: 6 0 2.71819 shouldn't be 34.39/34.53 WSVECS04 Frhs2[258]: 6 0 1.00009 shouldn't be 34.39/34.53 WSVECS04 Frhs2[282]: 6 0 1.00003 shouldn't be 34.39/34.53 WSVECS04 Frhs2[283]: 6 0 0.409077 shouldn't be 34.39/34.53 WSVECS04 Frhs2[338]: 6 0 2.99637 shouldn't be 34.39/34.53 WSVECS04 Frhs2[346]: 6 0 1.0001 shouldn't be 34.39/34.53 WSVECS04 Frhs2[347]: 6 0 2.24219 shouldn't be 34.39/34.53 WSVECS04 Frhs2[349]: 6 0 1.21924 shouldn't be 38.08/38.21 c #Conflicts: 60000 | #Constraints: 24410 38.08/38.21 c #Conflicts: 61000 | #Constraints: 25410 38.08/38.21 c #Conflicts: 62000 | #Constraints: 26411 38.08/38.21 c #Conflicts: 63000 | #Constraints: 27411 38.08/38.21 c #Conflicts: 64000 | #Constraints: 28411 38.08/38.21 c #Conflicts: 65000 | #Constraints: 29411 38.08/38.21 c INPROCESSING 38.08/38.21 c GARBAGE COLLECT 38.08/38.21 c rational objective -187 38.77/38.98 c #Conflicts: 66000 | #Constraints: 21968 38.77/38.98 WSVECS04 Frhs2[33]: 6 0 1.00003 shouldn't be 38.77/38.98 WSVECS04 Frhs2[42]: 6 0 1.00001 shouldn't be 38.77/38.98 WSVECS04 Frhs2[48]: 6 -2.0343 0 shouldn't be 38.77/38.98 WSVECS04 Frhs2[126]: 6 0 1.00008 shouldn't be 38.77/38.98 WSVECS04 Frhs2[129]: 6 -2.64593 0 shouldn't be 38.77/38.98 WSVECS04 Frhs2[133]: 6 0 2.15897 shouldn't be 38.77/38.98 WSVECS04 Frhs2[138]: 6 0 1.00003 shouldn't be 38.77/38.98 WSVECS04 Frhs2[183]: 6 -1.18931 0 shouldn't be 38.77/38.98 WSVECS04 Frhs2[184]: 6 0 1.00002 shouldn't be 38.77/38.98 WSVECS04 Frhs2[189]: 6 0 1.00002 shouldn't be 38.77/38.98 WSVECS04 Frhs2[198]: 6 0 1.00002 shouldn't be 38.77/38.98 WSVECS04 Frhs2[212]: 6 0 0.65704 shouldn't be 38.77/38.98 WSVECS04 Frhs2[236]: 6 -1.10774 0 shouldn't be 38.77/38.98 WSVECS04 Frhs2[238]: 6 0 1.00003 shouldn't be 38.77/38.98 WSVECS04 Frhs2[239]: 6 0 1.00009 shouldn't be 38.77/38.98 WSVECS04 Frhs2[243]: 6 0 2.37281 shouldn't be 38.77/38.98 WSVECS04 Frhs2[244]: 6 0 1.00003 shouldn't be 38.77/38.98 WSVECS04 Frhs2[250]: 6 0 1.39072 shouldn't be 38.77/38.98 WSVECS04 Frhs2[252]: 6 -2.00009 0 shouldn't be 38.77/38.98 WSVECS04 Frhs2[254]: 6 -2.02208 0 shouldn't be 38.77/38.98 WSVECS04 Frhs2[260]: 6 0 1.00006 shouldn't be 38.77/38.98 WSVECS04 Frhs2[275]: 6 0 1.00008 shouldn't be 38.77/38.98 WSVECS04 Frhs2[276]: 6 0 1.00008 shouldn't be 38.77/38.98 WSVECS04 Frhs2[278]: 6 -1.54644 0 shouldn't be 38.77/38.98 WSVECS04 Frhs2[297]: 6 0 1.00007 shouldn't be 38.77/38.98 WSVECS04 Frhs2[309]: 6 -1.00003 0 shouldn't be 38.77/38.98 WSVECS04 Frhs2[315]: 6 0 0.407688 shouldn't be 38.77/38.98 WSVECS04 Frhs2[316]: 6 0 1.00006 shouldn't be 38.77/38.98 WSVECS04 Frhs2[321]: 6 0 1.84113 shouldn't be 38.77/38.98 WSVECS04 Frhs2[324]: 6 0 1.35504 shouldn't be 38.77/38.98 WSVECS04 Frhs2[327]: 6 0 0.296488 shouldn't be 38.77/38.98 WSVECS04 Frhs2[330]: 6 -1.02945 0 shouldn't be 38.77/38.98 WSVECS04 Frhs2[333]: 6 0 2.00003 shouldn't be 38.77/38.98 WSVECS04 Frhs2[334]: 6 0 0.977835 shouldn't be 38.77/38.98 WSVECS04 Frhs2[346]: 6 0 0.590561 shouldn't be 38.77/38.98 WSVECS04 Frhs2[348]: 6 -0.559504 0 shouldn't be 40.47/40.61 c #Conflicts: 67000 | #Constraints: 22968 40.47/40.61 c bounds -180 >= -186 @ 38.9543 40.47/40.61 c #Conflicts: 68000 | #Constraints: 23995 40.47/40.61 WSVECS04 Frhs2[181]: 6 0 1.00005 shouldn't be 40.47/40.61 WSVECS04 Frhs2[188]: 6 0 1.00008 shouldn't be 40.47/40.61 WSVECS04 Frhs2[205]: 6 0 1.00007 shouldn't be 40.47/40.61 WSVECS04 Frhs2[207]: 6 0 1.00001 shouldn't be 40.47/40.61 WSVECS04 Frhs2[298]: 6 0 1.00005 shouldn't be 42.77/42.91 c #Conflicts: 69000 | #Constraints: 24996 42.77/42.91 c #Conflicts: 70000 | #Constraints: 25996 42.77/42.91 c #Conflicts: 71000 | #Constraints: 26996 42.77/42.91 c INPROCESSING 42.77/42.91 c GARBAGE COLLECT 42.77/42.91 c rational objective -186 56.33/56.57 c #Conflicts: 72000 | #Constraints: 20561 56.33/56.57 c #Conflicts: 73000 | #Constraints: 21563 56.33/56.57 c #Conflicts: 74000 | #Constraints: 22566 56.33/56.57 c #Conflicts: 75000 | #Constraints: 23570 56.33/56.57 c #Conflicts: 76000 | #Constraints: 24575 56.33/56.57 c #Conflicts: 77000 | #Constraints: 25579 56.33/56.57 c #Conflicts: 78000 | #Constraints: 26583 56.33/56.57 c #Conflicts: 79000 | #Constraints: 27589 56.33/56.57 c #Conflicts: 80000 | #Constraints: 28594 56.33/56.57 c #Conflicts: 81000 | #Constraints: 29597 56.33/56.57 c #Conflicts: 82000 | #Constraints: 30602 56.33/56.57 c #Conflicts: 83000 | #Constraints: 31608 56.33/56.57 c #Conflicts: 84000 | #Constraints: 32616 56.33/56.57 c #Conflicts: 85000 | #Constraints: 33620 56.33/56.57 c #Conflicts: 86000 | #Constraints: 34623 56.33/56.57 c #Conflicts: 87000 | #Constraints: 35628 56.33/56.57 c #Conflicts: 88000 | #Constraints: 36633 56.33/56.57 c #Conflicts: 89000 | #Constraints: 37636 56.33/56.57 c #Conflicts: 90000 | #Constraints: 38641 56.33/56.57 c #Conflicts: 91000 | #Constraints: 39643 56.33/56.57 c INPROCESSING 56.33/56.57 c GARBAGE COLLECT 56.33/56.57 c rational objective -186 57.22/57.42 c #Conflicts: 92000 | #Constraints: 26840 57.22/57.42 WSVECS04 Frhs2[30]: 6 0 1.00006 shouldn't be 57.22/57.42 WSVECS04 Frhs2[33]: 6 -0.367196 0 shouldn't be 57.22/57.42 WSVECS04 Frhs2[34]: 6 0 3.55454 shouldn't be 57.22/57.42 WSVECS04 Frhs2[36]: 6 0 2.14706 shouldn't be 57.22/57.42 WSVECS04 Frhs2[37]: 6 -1.90606 0 shouldn't be 57.22/57.42 WSVECS04 Frhs2[41]: 6 0 3.45714 shouldn't be 57.22/57.42 WSVECS04 Frhs2[124]: 6 0 1.36473 shouldn't be 57.22/57.42 WSVECS04 Frhs2[126]: 6 0 1.17938 shouldn't be 57.22/57.42 WSVECS04 Frhs2[127]: 6 -4.6054 0 shouldn't be 57.22/57.42 WSVECS04 Frhs2[131]: 6 0 1.76047 shouldn't be 57.22/57.42 WSVECS04 Frhs2[141]: 6 0 1.00003 shouldn't be 57.22/57.42 WSVECS04 Frhs2[181]: 6 -1.00003 0 shouldn't be 57.22/57.42 WSVECS04 Frhs2[184]: 6 0 2.00007 shouldn't be 57.22/57.42 WSVECS04 Frhs2[194]: 6 0 1.89368 shouldn't be 57.22/57.42 WSVECS04 Frhs2[199]: 6 0 1.35877 shouldn't be 57.22/57.42 WSVECS04 Frhs2[200]: 6 0 1.0001 shouldn't be 57.22/57.42 WSVECS04 Frhs2[201]: 6 -0.419289 0 shouldn't be 57.22/57.42 WSVECS04 Frhs2[205]: 6 0 1.415 shouldn't be 57.22/57.42 WSVECS04 Frhs2[211]: 6 -3.19234 0 shouldn't be 57.22/57.42 WSVECS04 Frhs2[215]: 6 0 1.00005 shouldn't be 57.22/57.42 WSVECS04 Frhs2[217]: 6 -1.0001 0 shouldn't be 57.22/57.42 WSVECS04 Frhs2[221]: 6 0 1.05292 shouldn't be 57.22/57.42 WSVECS04 Frhs2[231]: 6 0 1.7654 shouldn't be 57.22/57.42 WSVECS04 Frhs2[250]: 6 -1.25165 0 shouldn't be 57.22/57.42 WSVECS04 Frhs2[260]: 6 -2.85174 0 shouldn't be 57.22/57.42 WSVECS04 Frhs2[302]: 6 -0.140709 0 shouldn't be 57.22/57.42 WSVECS04 Frhs2[306]: 6 0 2.05292 shouldn't be 57.22/57.42 WSVECS04 Frhs2[345]: 6 -0.757266 0 shouldn't be 59.93/60.20 c #Conflicts: 93000 | #Constraints: 27840 59.93/60.20 c #Conflicts: 94000 | #Constraints: 28840 59.93/60.20 c #Conflicts: 95000 | #Constraints: 29841 59.93/60.20 c #Conflicts: 96000 | #Constraints: 30841 59.93/60.20 WSVECS04 Frhs2[200]: 6 -4.66723 0 shouldn't be 59.93/60.20 WSVECS04 Frhs2[204]: 6 -3.02635 0 shouldn't be 59.93/60.20 WSVECS04 Frhs2[205]: 6 0 3.41055 shouldn't be 59.93/60.20 WSVECS04 Frhs2[210]: 6 -2.45302 0 shouldn't be 59.93/60.20 WSVECS04 Frhs2[236]: 6 -4.88377 0 shouldn't be 59.93/60.20 WSVECS04 Frhs2[241]: 6 0 1.4824 shouldn't be 59.93/60.20 WSVECS04 Frhs2[245]: 6 -2.16538 0 shouldn't be 59.93/60.20 WSVECS04 Frhs2[286]: 6 -5.74517 0 shouldn't be 59.93/60.20 WSVECS04 Frhs2[291]: 6 0 1.85286 shouldn't be 59.93/60.20 WSVECS04 Frhs2[295]: 6 -3.39685 0 shouldn't be 59.93/60.20 WSVECS04 Frhs2[301]: 6 -2.65451 0 shouldn't be 59.93/60.20 WSVECS04 Frhs2[340]: 6 -5.0001 0 shouldn't be 60.22/60.47 WSVECS04 Frhs2[214]: 6 0 2.28841 shouldn't be 60.22/60.47 WSVECS04 Frhs2[305]: 6 0 1.52432 shouldn't be 62.70/62.95 c #Conflicts: 97000 | #Constraints: 31842 62.70/62.95 c #Conflicts: 98000 | #Constraints: 32842 62.70/62.95 c #Conflicts: 99000 | #Constraints: 33842 62.70/62.95 c INPROCESSING 62.70/62.95 c GARBAGE COLLECT 62.70/62.95 c rational objective -186 64.20/64.45 c #Conflicts: 100000 | #Constraints: 24085 64.20/64.45 c #Conflicts: 101000 | #Constraints: 25085 64.20/64.45 WSVECS04 Frhs2[1]: 6 -4.62442 0 shouldn't be 64.20/64.45 WSVECS04 Frhs2[2]: 6 0 2.12042 shouldn't be 64.20/64.45 WSVECS04 Frhs2[8]: 6 0 2.51396 shouldn't be 64.20/64.45 WSVECS04 Frhs2[9]: 6 -1.97184 0 shouldn't be 64.20/64.45 WSVECS04 Frhs2[10]: 6 0 0.0970305 shouldn't be 64.20/64.45 WSVECS04 Frhs2[18]: 6 0 2.00004 shouldn't be 64.20/64.45 WSVECS04 Frhs2[27]: 6 -0.0257118 0 shouldn't be 64.20/64.45 WSVECS04 Frhs2[33]: 6 -0.159845 0 shouldn't be 64.20/64.45 WSVECS04 Frhs2[43]: 6 -1.17371 0 shouldn't be 64.20/64.45 WSVECS04 Frhs2[57]: 6 0 2.952 shouldn't be 64.20/64.45 WSVECS04 Frhs2[58]: 6 -0.351734 0 shouldn't be 64.20/64.45 WSVECS04 Frhs2[59]: 6 0 1.77365 shouldn't be 64.20/64.45 WSVECS04 Frhs2[67]: 6 0 1.00002 shouldn't be 64.20/64.45 WSVECS04 Frhs2[68]: 6 -2.48112 0 shouldn't be 64.20/64.45 WSVECS04 Frhs2[181]: 6 -1.40915 0 shouldn't be 64.20/64.45 WSVECS04 Frhs2[182]: 6 0 1.0001 shouldn't be 64.20/64.45 WSVECS04 Frhs2[190]: 6 0 1.04156 shouldn't be 64.20/64.45 WSVECS04 Frhs2[191]: 6 -0.276185 0 shouldn't be 64.20/64.45 WSVECS04 Frhs2[207]: 6 -0.522043 0 shouldn't be 64.20/64.45 WSVECS04 Frhs2[223]: 6 0 3.12839 shouldn't be 64.20/64.45 WSVECS04 Frhs2[316]: 6 -5.87534 0 shouldn't be 65.81/66.06 c bounds -180 >= -185 @ 63.7631 65.81/66.06 c #Conflicts: 102000 | #Constraints: 26119 65.81/66.06 WSVECS04 Frhs2[35]: 6 0 1.00004 shouldn't be 65.81/66.06 WSVECS04 Frhs2[44]: 6 0 1.00002 shouldn't be 65.81/66.06 WSVECS04 Frhs2[205]: 6 0 1.00004 shouldn't be 65.81/66.06 WSVECS04 Frhs2[224]: 6 0 1.00008 shouldn't be 65.81/66.06 WSVECS04 Frhs2[275]: 6 0 1.00004 shouldn't be 65.81/66.06 WSVECS04 Frhs2[282]: 6 0 1.00002 shouldn't be 65.81/66.06 WSVECS04 Frhs2[303]: 6 0 1.00009 shouldn't be 68.81/69.10 c #Conflicts: 103000 | #Constraints: 27119 68.81/69.10 c #Conflicts: 104000 | #Constraints: 28119 68.81/69.10 c #Conflicts: 105000 | #Constraints: 29119 68.81/69.10 c #Conflicts: 106000 | #Constraints: 30119 68.81/69.10 WSVECS04 Frhs2[216]: 6 -9.54896 0 shouldn't be 68.81/69.10 WSVECS04 Frhs2[221]: 6 0 3.92841 shouldn't be 68.81/69.10 WSVECS04 Frhs2[227]: 6 -2.27372 0 shouldn't be 68.81/69.10 WSVECS04 Frhs2[242]: 6 0 5.0165 shouldn't be 68.81/69.10 WSVECS04 Frhs2[302]: 6 -4.35393 0 shouldn't be 69.59/69.88 c #Conflicts: 107000 | #Constraints: 31120 69.59/69.88 c INPROCESSING 69.59/69.88 c GARBAGE COLLECT 69.59/69.88 c rational objective -185 87.93/88.25 c #Conflicts: 108000 | #Constraints: 22753 87.93/88.25 c #Conflicts: 109000 | #Constraints: 23755 87.93/88.25 c #Conflicts: 110000 | #Constraints: 24761 87.93/88.25 c #Conflicts: 111000 | #Constraints: 25765 87.93/88.25 c #Conflicts: 112000 | #Constraints: 26769 87.93/88.25 c #Conflicts: 113000 | #Constraints: 27772 87.93/88.25 c #Conflicts: 114000 | #Constraints: 28775 87.93/88.25 c #Conflicts: 115000 | #Constraints: 29778 87.93/88.25 c #Conflicts: 116000 | #Constraints: 30782 87.93/88.25 c #Conflicts: 117000 | #Constraints: 31786 87.93/88.25 c #Conflicts: 118000 | #Constraints: 32790 87.93/88.25 c #Conflicts: 119000 | #Constraints: 33795 87.93/88.25 c #Conflicts: 120000 | #Constraints: 34798 87.93/88.25 c #Conflicts: 121000 | #Constraints: 35803 87.93/88.25 c #Conflicts: 122000 | #Constraints: 36805 87.93/88.25 c #Conflicts: 123000 | #Constraints: 37808 87.93/88.25 c #Conflicts: 124000 | #Constraints: 38811 87.93/88.25 c #Conflicts: 125000 | #Constraints: 39814 87.93/88.25 c #Conflicts: 126000 | #Constraints: 40817 87.93/88.25 c #Conflicts: 127000 | #Constraints: 41819 87.93/88.25 c #Conflicts: 128000 | #Constraints: 42821 87.93/88.25 c #Conflicts: 129000 | #Constraints: 43827 87.93/88.25 c #Conflicts: 130000 | #Constraints: 44834 87.93/88.25 c #Conflicts: 131000 | #Constraints: 45837 87.93/88.25 c INPROCESSING 87.93/88.25 c GARBAGE COLLECT 87.93/88.25 c rational objective -185 94.21/94.55 c #Conflicts: 132000 | #Constraints: 30016 94.21/94.55 c #Conflicts: 133000 | #Constraints: 31017 94.21/94.55 c #Conflicts: 134000 | #Constraints: 32018 94.21/94.55 c #Conflicts: 135000 | #Constraints: 33019 94.21/94.55 c #Conflicts: 136000 | #Constraints: 34019 94.21/94.55 c #Conflicts: 137000 | #Constraints: 35020 94.21/94.55 WSVECS04 Frhs2[39]: 6 -1.01746 0 shouldn't be 94.21/94.55 WSVECS04 Frhs2[45]: 6 -0.165977 0 shouldn't be 94.21/94.55 WSVECS04 Frhs2[47]: 6 0 2.16597 shouldn't be 94.21/94.55 WSVECS04 Frhs2[48]: 6 -1.8245 0 shouldn't be 94.21/94.55 WSVECS04 Frhs2[50]: 6 0 1.00002 shouldn't be 94.21/94.55 WSVECS04 Frhs2[248]: 6 0 1.74327 shouldn't be 94.21/94.55 WSVECS04 Frhs2[254]: 6 0 2.61151 shouldn't be 94.21/94.55 WSVECS04 Frhs2[256]: 6 -1.3357 0 shouldn't be 94.21/94.55 WSVECS04 Frhs2[259]: 6 -5.5039 0 shouldn't be 94.21/94.55 WSVECS04 Frhs2[260]: 6 -1.39676 0 shouldn't be 94.21/94.55 WSVECS04 Frhs2[274]: 6 0 2.00001 shouldn't be 94.21/94.55 WSVECS04 Frhs2[279]: 6 0 2.00004 shouldn't be 94.21/94.55 WSVECS04 Frhs2[282]: 6 0 2.00101 shouldn't be 94.21/94.55 WSVECS04 Frhs2[284]: 6 -1.52018 0 shouldn't be 94.21/94.55 WSVECS04 Frhs2[285]: 6 -1.20652 0 shouldn't be 94.21/94.55 WSVECS04 Frhs2[292]: 6 -1.84284 0 shouldn't be 94.21/94.55 WSVECS04 Frhs2[295]: 6 -2.96792 0 shouldn't be 94.21/94.55 WSVECS04 Frhs2[296]: 6 -3.04277 0 shouldn't be 94.21/94.55 WSVECS04 Frhs2[332]: 6 -4.64996 0 shouldn't be 94.21/94.55 WSVECS04 Frhs2[333]: 6 0 1.83511 shouldn't be 94.21/94.55 WSVECS04 Frhs2[335]: 6 -0.846312 0 shouldn't be 94.21/94.55 WSVECS04 Frhs2[336]: 6 -2.2279 0 shouldn't be 94.21/94.55 WSVECS04 Frhs2[342]: 6 -0.606097 0 shouldn't be 94.21/94.55 WSVECS04 Frhs2[345]: 6 0 2.37732 shouldn't be 94.21/94.55 WSVECS04 Frhs2[351]: 6 0 1.00005 shouldn't be 96.51/96.83 c #Conflicts: 138000 | #Constraints: 36020 96.51/96.83 c #Conflicts: 139000 | #Constraints: 37020 96.51/96.83 WSVECS04 Frhs2[145]: 6 -2.58059 0 shouldn't be 96.51/96.83 WSVECS04 Frhs2[146]: 6 0 3.32795 shouldn't be 96.51/96.83 WSVECS04 Frhs2[147]: 6 -8.70917 0 shouldn't be 96.51/96.83 WSVECS04 Frhs2[150]: 6 -0.379571 0 shouldn't be 96.51/96.83 WSVECS04 Frhs2[158]: 6 0 2.46565 shouldn't be 96.51/96.83 WSVECS04 Frhs2[216]: 6 -2.99918 0 shouldn't be 96.51/96.83 WSVECS04 Frhs2[217]: 6 0 2.99917 shouldn't be 96.51/96.83 WSVECS04 Frhs2[220]: 6 0 2.83245 shouldn't be 96.51/96.83 WSVECS04 Frhs2[228]: 6 -2.99919 0 shouldn't be 96.51/96.83 WSVECS04 Frhs2[232]: 6 -0.251008 0 shouldn't be 96.51/96.83 WSVECS04 Frhs2[235]: 6 -4.91895 0 shouldn't be 96.51/96.83 WSVECS04 Frhs2[249]: 6 0 1.00006 shouldn't be 96.51/96.83 WSVECS04 Frhs2[257]: 6 -4.96106 0 shouldn't be 96.51/96.83 WSVECS04 Frhs2[293]: 6 -4.04214 0 shouldn't be 96.82/97.11 WSVECS04 Frhs2[243]: 6 0 2.82829 shouldn't be 98.00/98.34 c #Conflicts: 140000 | #Constraints: 38021 98.00/98.34 c INPROCESSING 98.00/98.34 c GARBAGE COLLECT 98.00/98.34 c rational objective -185 101.59/102.00 c #Conflicts: 141000 | #Constraints: 26003 101.59/102.00 c #Conflicts: 142000 | #Constraints: 27003 101.59/102.00 c #Conflicts: 143000 | #Constraints: 28003 101.59/102.00 c #Conflicts: 144000 | #Constraints: 29004 101.59/102.00 c #Conflicts: 145000 | #Constraints: 30004 101.59/102.00 WSVECS04 Frhs2[1]: 6 -4.00007 0 shouldn't be 101.59/102.00 WSVECS04 Frhs2[2]: 6 0 3.64215 shouldn't be 101.59/102.00 WSVECS04 Frhs2[8]: 6 -4.8205 0 shouldn't be 101.59/102.00 WSVECS04 Frhs2[18]: 6 -3.00008 0 shouldn't be 101.59/102.00 WSVECS04 Frhs2[27]: 6 -3.1568 0 shouldn't be 101.59/102.00 WSVECS04 Frhs2[33]: 6 0 1.00004 shouldn't be 101.59/102.00 WSVECS04 Frhs2[35]: 6 -1.1834 0 shouldn't be 101.59/102.00 WSVECS04 Frhs2[43]: 6 0 1.3882 shouldn't be 101.59/102.00 WSVECS04 Frhs2[57]: 6 -6.258 0 shouldn't be 101.59/102.00 WSVECS04 Frhs2[59]: 6 0 1.04865 shouldn't be 101.59/102.00 WSVECS04 Frhs2[67]: 6 -1.55671 0 shouldn't be 101.59/102.00 WSVECS04 Frhs2[182]: 6 -3.73118 0 shouldn't be 101.59/102.00 WSVECS04 Frhs2[190]: 6 0 1.4109 shouldn't be 101.59/102.00 WSVECS04 Frhs2[223]: 6 -1.67124 0 shouldn't be 101.90/102.26 WSVECS04 Frhs2[214]: 6 -11.2002 0 shouldn't be 105.49/105.88 c #Conflicts: 146000 | #Constraints: 31004 105.49/105.88 c #Conflicts: 147000 | #Constraints: 32004 105.49/105.88 c #Conflicts: 148000 | #Constraints: 33004 105.49/105.88 c bounds -180 >= -184 @ 102.837 105.49/105.88 c #Conflicts: 149000 | #Constraints: 34034 105.49/105.88 WSVECS04 Frhs2[4]: 6 0 4.37503 shouldn't be 105.49/105.88 WSVECS04 Frhs2[6]: 6 0 2.00002 shouldn't be 105.49/105.88 WSVECS04 Frhs2[10]: 6 0 0.364621 shouldn't be 105.49/105.88 WSVECS04 Frhs2[11]: 6 0 1.00003 shouldn't be 105.49/105.88 WSVECS04 Frhs2[14]: 6 0 1.62505 shouldn't be 105.49/105.88 WSVECS04 Frhs2[16]: 6 0 2.0001 shouldn't be 105.49/105.88 WSVECS04 Frhs2[17]: 6 0 1.00006 shouldn't be 105.49/105.88 WSVECS04 Frhs2[21]: 6 0 1.00006 shouldn't be 105.49/105.88 WSVECS04 Frhs2[53]: 6 -0.625054 0 shouldn't be 105.49/105.88 WSVECS04 Frhs2[55]: 6 -1.25006 0 shouldn't be 105.49/105.88 WSVECS04 Frhs2[56]: 6 0 1.00005 shouldn't be 105.49/105.88 WSVECS04 Frhs2[67]: 6 0 1.00002 shouldn't be 105.49/105.88 WSVECS04 Frhs2[68]: 6 0 1.00005 shouldn't be 105.49/105.88 WSVECS04 Frhs2[72]: 6 0 1.00008 shouldn't be 105.49/105.88 WSVECS04 Frhs2[104]: 6 0 1.00006 shouldn't be 105.49/105.88 WSVECS04 Frhs2[105]: 6 0 1.00005 shouldn't be 105.49/105.88 WSVECS04 Frhs2[109]: 6 0 1.00005 shouldn't be 105.49/105.88 WSVECS04 Frhs2[111]: 6 0 1.00003 shouldn't be 105.49/105.88 WSVECS04 Frhs2[113]: 6 -1.00008 0 shouldn't be 105.49/105.88 WSVECS04 Frhs2[114]: 6 0 1.00003 shouldn't be 105.49/105.88 WSVECS04 Frhs2[115]: 6 0 1.00003 shouldn't be 105.49/105.88 WSVECS04 Frhs2[145]: 6 0 2.00009 shouldn't be 105.49/105.88 WSVECS04 Frhs2[150]: 6 0 1.00002 shouldn't be 105.49/105.88 WSVECS04 Frhs2[152]: 6 0 1.00007 shouldn't be 105.49/105.88 WSVECS04 Frhs2[155]: 6 0 1.00008 shouldn't be 105.49/105.88 WSVECS04 Frhs2[163]: 6 0 1.00006 shouldn't be 105.49/105.88 WSVECS04 Frhs2[173]: 6 0 1.00007 shouldn't be 105.49/105.88 WSVECS04 Frhs2[177]: 6 0 1.00005 shouldn't be 105.49/105.88 WSVECS04 Frhs2[180]: 6 0 1.00007 shouldn't be 105.49/105.88 WSVECS04 Frhs2[203]: 6 -1.00003 0 shouldn't be 105.49/105.88 WSVECS04 Frhs2[205]: 6 -1.00004 0 shouldn't be 105.49/105.88 WSVECS04 Frhs2[207]: 6 0 1.00004 shouldn't be 105.49/105.88 WSVECS04 Frhs2[208]: 6 0 0.395871 shouldn't be 105.49/105.88 WSVECS04 Frhs2[209]: 6 -1.50009 0 shouldn't be 105.49/105.88 WSVECS04 Frhs2[211]: 6 0 1.00004 shouldn't be 105.49/105.88 WSVECS04 Frhs2[212]: 6 0 1.00006 shouldn't be 105.49/105.88 WSVECS04 Frhs2[216]: 6 0 1.00009 shouldn't be 105.49/105.88 WSVECS04 Frhs2[219]: 6 0 1.00004 shouldn't be 105.49/105.88 WSVECS04 Frhs2[221]: 6 0 2.00009 shouldn't be 105.49/105.88 WSVECS04 Frhs2[223]: 6 -1.00001 0 shouldn't be 105.49/105.88 WSVECS04 Frhs2[234]: 6 0 1.00007 shouldn't be 105.49/105.88 WSVECS04 Frhs2[235]: 6 0 1.2084 shouldn't be 105.49/105.88 WSVECS04 Frhs2[237]: 6 0 1.00003 shouldn't be 105.49/105.88 WSVECS04 Frhs2[238]: 6 -0.395901 0 shouldn't be 105.49/105.88 WSVECS04 Frhs2[240]: 6 0 1.00009 shouldn't be 105.49/105.88 WSVECS04 Frhs2[276]: 6 0 1.00004 shouldn't be 105.49/105.88 WSVECS04 Frhs2[278]: 6 -0.395917 0 shouldn't be 105.49/105.88 WSVECS04 Frhs2[279]: 6 0 1.00005 shouldn't be 105.49/105.88 WSVECS04 Frhs2[280]: 6 0 1.00006 shouldn't be 105.49/105.88 WSVECS04 Frhs2[285]: 6 -0.625023 0 shouldn't be 105.49/105.88 WSVECS04 Frhs2[286]: 6 0 0.791705 shouldn't be 105.49/105.88 WSVECS04 Frhs2[287]: 6 0 1.00009 shouldn't be 105.49/105.88 WSVECS04 Frhs2[290]: 6 0 0.500018 shouldn't be 105.49/105.88 WSVECS04 Frhs2[291]: 6 0 1.7917 shouldn't be 105.49/105.88 WSVECS04 Frhs2[296]: 6 -0.739632 0 shouldn't be 105.49/105.88 WSVECS04 Frhs2[297]: 6 0 1.00001 shouldn't be 105.49/105.88 WSVECS04 Frhs2[300]: 6 0 1.00006 shouldn't be 105.49/105.88 WSVECS04 Frhs2[301]: 6 0 0.208393 shouldn't be 105.49/105.88 WSVECS04 Frhs2[306]: 6 -2.00005 0 shouldn't be 105.49/105.88 WSVECS04 Frhs2[309]: 6 0 1.00006 shouldn't be 105.49/105.88 WSVECS04 Frhs2[311]: 6 -2.00006 0 shouldn't be 105.49/105.88 WSVECS04 Frhs2[316]: 6 0 1.00007 shouldn't be 105.49/105.88 WSVECS04 Frhs2[323]: 6 0 1.00009 shouldn't be 105.49/105.88 WSVECS04 Frhs2[326]: 6 0 1.00007 shouldn't be 105.49/105.88 WSVECS04 Frhs2[327]: 6 0 1.00007 shouldn't be 105.49/105.88 WSVECS04 Frhs2[330]: 6 0 1.00009 shouldn't be 105.49/105.88 WSVECS04 Frhs2[331]: 6 0 1.00001 shouldn't be 105.49/105.88 WSVECS04 Frhs2[342]: 6 0 1.00007 shouldn't be 105.49/105.88 WSVECS04 Frhs2[345]: 6 0 1.36463 shouldn't be 105.49/105.88 WSVECS04 Frhs2[348]: 6 0 1.00004 shouldn't be 106.28/106.63 c #Conflicts: 150000 | #Constraints: 35036 106.28/106.63 c INPROCESSING 106.28/106.63 c GARBAGE COLLECT 106.28/106.63 c rational objective -184 108.69/109.05 c #Conflicts: 151000 | #Constraints: 24826 108.69/109.05 c #Conflicts: 152000 | #Constraints: 25826 108.69/109.05 WSVECS04 Frhs2[32]: 6 0 2.38581 shouldn't be 108.69/109.05 WSVECS04 Frhs2[34]: 6 0 2.82762 shouldn't be 108.69/109.05 WSVECS04 Frhs2[38]: 6 -0.0940641 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[48]: 6 -0.862186 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[50]: 6 0 1.00005 shouldn't be 108.69/109.05 WSVECS04 Frhs2[163]: 6 0 1.00002 shouldn't be 108.69/109.05 WSVECS04 Frhs2[166]: 6 -0.6299 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[168]: 6 -0.822978 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[170]: 6 -2.64857 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[172]: 6 0 1.48205 shouldn't be 108.69/109.05 WSVECS04 Frhs2[173]: 6 0 2.00005 shouldn't be 108.69/109.05 WSVECS04 Frhs2[174]: 6 -1.76238 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[178]: 6 0 1.16614 shouldn't be 108.69/109.05 WSVECS04 Frhs2[180]: 6 0 1.00862 shouldn't be 108.69/109.05 WSVECS04 Frhs2[201]: 6 -1.00009 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[202]: 6 -2.78789 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[205]: 6 -2.54005 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[212]: 6 -0.919476 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[213]: 6 0 1.40273 shouldn't be 108.69/109.05 WSVECS04 Frhs2[232]: 6 -0.276122 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[233]: 6 -1.2999 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[239]: 6 0 1.00007 shouldn't be 108.69/109.05 WSVECS04 Frhs2[244]: 6 0 1.00009 shouldn't be 108.69/109.05 WSVECS04 Frhs2[247]: 6 0 1.00007 shouldn't be 108.69/109.05 WSVECS04 Frhs2[250]: 6 0 1.23294 shouldn't be 108.69/109.05 WSVECS04 Frhs2[254]: 6 0 1.00006 shouldn't be 108.69/109.05 WSVECS04 Frhs2[257]: 6 0 2.3587 shouldn't be 108.69/109.05 WSVECS04 Frhs2[258]: 6 -0.36865 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[259]: 6 -1.71598 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[263]: 6 0 3.97651 shouldn't be 108.69/109.05 WSVECS04 Frhs2[265]: 6 -1.08531 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[267]: 6 0 1.51997 shouldn't be 108.69/109.05 WSVECS04 Frhs2[270]: 6 0 1.00003 shouldn't be 108.69/109.05 WSVECS04 Frhs2[272]: 6 -0.417338 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[275]: 6 0 1.69292 shouldn't be 108.69/109.05 WSVECS04 Frhs2[282]: 6 0 1.00003 shouldn't be 108.69/109.05 WSVECS04 Frhs2[283]: 6 -1.14492 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[284]: 6 -1.44798 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[285]: 6 -0.090502 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[303]: 6 0 1.00006 shouldn't be 108.69/109.05 WSVECS04 Frhs2[304]: 6 -2.60805 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[305]: 6 -0.0800628 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[316]: 6 0 2.80074 shouldn't be 108.69/109.05 WSVECS04 Frhs2[317]: 6 -0.344408 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[320]: 6 -0.899088 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[322]: 6 0 3.73054 shouldn't be 108.69/109.05 WSVECS04 Frhs2[323]: 6 0 1.0001 shouldn't be 108.69/109.05 WSVECS04 Frhs2[328]: 6 0 3.56678 shouldn't be 108.69/109.05 WSVECS04 Frhs2[329]: 6 0 2.00001 shouldn't be 108.69/109.05 WSVECS04 Frhs2[330]: 6 0 2.06723 shouldn't be 108.69/109.05 WSVECS04 Frhs2[333]: 6 0 2.5206 shouldn't be 108.69/109.05 WSVECS04 Frhs2[334]: 6 -0.00857776 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[336]: 6 -0.0480233 0 shouldn't be 108.69/109.05 WSVECS04 Frhs2[351]: 6 0 2.72399 shouldn't be 111.26/111.61 c #Conflicts: 153000 | #Constraints: 26827 111.26/111.61 c #Conflicts: 154000 | #Constraints: 27827 111.26/111.61 c #Conflicts: 155000 | #Constraints: 28827 111.26/111.61 WSVECS04 Frhs2[36]: 6 0 0.570829 shouldn't be 111.26/111.61 WSVECS04 Frhs2[38]: 6 0 1.00005 shouldn't be 111.26/111.61 WSVECS04 Frhs2[40]: 6 0 1.5119 shouldn't be 111.26/111.61 WSVECS04 Frhs2[42]: 6 0 2.5312 shouldn't be 111.26/111.61 WSVECS04 Frhs2[44]: 6 -0.0365375 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[51]: 6 0 0.834833 shouldn't be 111.26/111.61 WSVECS04 Frhs2[164]: 6 -0.333785 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[165]: 6 0 1.66641 shouldn't be 111.26/111.61 WSVECS04 Frhs2[166]: 6 0 0.749 shouldn't be 111.26/111.61 WSVECS04 Frhs2[167]: 6 0 1.41639 shouldn't be 111.26/111.61 WSVECS04 Frhs2[168]: 6 -0.163118 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[169]: 6 0 1.00007 shouldn't be 111.26/111.61 WSVECS04 Frhs2[171]: 6 0 2.00004 shouldn't be 111.26/111.61 WSVECS04 Frhs2[178]: 6 -2.00002 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[199]: 6 0 1.00007 shouldn't be 111.26/111.61 WSVECS04 Frhs2[201]: 6 -0.1159 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[203]: 6 0 0.834803 shouldn't be 111.26/111.61 WSVECS04 Frhs2[206]: 6 -0.228563 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[208]: 6 0 2.00003 shouldn't be 111.26/111.61 WSVECS04 Frhs2[209]: 6 0 1.87884 shouldn't be 111.26/111.61 WSVECS04 Frhs2[218]: 6 -0.416334 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[220]: 6 -2.25328 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[221]: 6 -2.23182 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[224]: 6 0 1.24895 shouldn't be 111.26/111.61 WSVECS04 Frhs2[225]: 6 0 1.00005 shouldn't be 111.26/111.61 WSVECS04 Frhs2[228]: 6 0 3.38418 shouldn't be 111.26/111.61 WSVECS04 Frhs2[232]: 6 0 1.00005 shouldn't be 111.26/111.61 WSVECS04 Frhs2[235]: 6 0 1.54942 shouldn't be 111.26/111.61 WSVECS04 Frhs2[236]: 6 0 1.7468 shouldn't be 111.26/111.61 WSVECS04 Frhs2[237]: 6 0 5.13628 shouldn't be 111.26/111.61 WSVECS04 Frhs2[243]: 6 -2.89058 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[246]: 6 0 1.05367 shouldn't be 111.26/111.61 WSVECS04 Frhs2[248]: 6 -1.00003 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[249]: 6 0 1.00001 shouldn't be 111.26/111.61 WSVECS04 Frhs2[250]: 6 0 0.23178 shouldn't be 111.26/111.61 WSVECS04 Frhs2[253]: 6 -1.0001 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[254]: 6 -0.115931 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[258]: 6 -0.749007 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[260]: 6 0 3.76832 shouldn't be 111.26/111.61 WSVECS04 Frhs2[262]: 6 0 1.00003 shouldn't be 111.26/111.61 WSVECS04 Frhs2[263]: 6 0 1.00009 shouldn't be 111.26/111.61 WSVECS04 Frhs2[264]: 6 0 1.00002 shouldn't be 111.26/111.61 WSVECS04 Frhs2[266]: 6 -2.23177 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[270]: 6 -1.00009 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[271]: 6 -2.07305 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[276]: 6 -0.221042 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[279]: 6 0 1.00002 shouldn't be 111.26/111.61 WSVECS04 Frhs2[283]: 6 0 1.23182 shouldn't be 111.26/111.61 WSVECS04 Frhs2[290]: 6 -0.016174 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[299]: 6 -1.76832 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[306]: 6 0 2.00003 shouldn't be 111.26/111.61 WSVECS04 Frhs2[309]: 6 -2.42713 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[324]: 6 0 1.82412 shouldn't be 111.26/111.61 WSVECS04 Frhs2[330]: 6 -0.285455 0 shouldn't be 111.26/111.61 WSVECS04 Frhs2[333]: 6 0 3.80259 shouldn't be 111.26/111.61 WSVECS04 Frhs2[334]: 6 0 1.00006 shouldn't be 111.26/111.61 WSVECS04 Frhs2[346]: 6 0 1.00009 shouldn't be 111.26/111.61 WSVECS04 Frhs2[350]: 6 -3.00004 0 shouldn't be 114.35/114.71 c #Conflicts: 156000 | #Constraints: 29828 114.35/114.71 c #Conflicts: 157000 | #Constraints: 30828 114.35/114.71 c #Conflicts: 158000 | #Constraints: 31828 114.35/114.71 c #Conflicts: 159000 | #Constraints: 32829 114.35/114.71 WSVECS04 Frhs2[222]: 6 0 1.12788 shouldn't be 114.35/114.71 WSVECS04 Frhs2[224]: 6 0 1.47496 shouldn't be 114.35/114.71 WSVECS04 Frhs2[286]: 6 0 2.3918 shouldn't be 114.35/114.71 WSVECS04 Frhs2[287]: 6 0 1.00002 shouldn't be 114.35/114.71 WSVECS04 Frhs2[289]: 6 0 2.22327 shouldn't be 114.35/114.71 WSVECS04 Frhs2[293]: 6 -3.70795 0 shouldn't be 114.35/114.71 WSVECS04 Frhs2[294]: 6 -4.33684 0 shouldn't be 114.35/114.71 WSVECS04 Frhs2[297]: 6 0 2.00006 shouldn't be 114.35/114.71 WSVECS04 Frhs2[299]: 6 0 1.91281 shouldn't be 114.35/114.71 WSVECS04 Frhs2[308]: 6 0 3.63556 shouldn't be 114.35/114.71 WSVECS04 Frhs2[313]: 6 -7.17613 0 shouldn't be 114.35/114.71 WSVECS04 Frhs2[327]: 6 -2.64969 0 shouldn't be 114.35/114.71 WSVECS04 Frhs2[328]: 6 -1.71145 0 shouldn't be 118.55/119.00 c #Conflicts: 160000 | #Constraints: 33830 118.55/119.00 c #Conflicts: 161000 | #Constraints: 34830 118.55/119.00 c #Conflicts: 162000 | #Constraints: 35830 118.55/119.00 c #Conflicts: 163000 | #Constraints: 36831 118.55/119.00 WSVECS04 Frhs2[2]: 6 0 2.1595 shouldn't be 118.55/119.00 WSVECS04 Frhs2[8]: 6 -1.80907 0 shouldn't be 118.55/119.00 WSVECS04 Frhs2[9]: 6 0 1.00006 shouldn't be 118.55/119.00 WSVECS04 Frhs2[10]: 6 -1.43004 0 shouldn't be 118.55/119.00 WSVECS04 Frhs2[19]: 6 -2.80334 0 shouldn't be 118.55/119.00 WSVECS04 Frhs2[27]: 6 0 1.53863 shouldn't be 118.55/119.00 WSVECS04 Frhs2[34]: 6 0 1.00005 shouldn't be 118.55/119.00 WSVECS04 Frhs2[36]: 6 0 0.557043 shouldn't be 118.55/119.00 WSVECS04 Frhs2[43]: 6 -1.55515 0 shouldn't be 118.55/119.00 WSVECS04 Frhs2[57]: 6 -1.30206 0 shouldn't be 118.55/119.00 WSVECS04 Frhs2[58]: 6 0 1.69485 shouldn't be 118.55/119.00 WSVECS04 Frhs2[60]: 6 0 2.53896 shouldn't be 118.55/119.00 WSVECS04 Frhs2[67]: 6 -2.26246 0 shouldn't be 118.55/119.00 WSVECS04 Frhs2[68]: 6 -3.85131 0 shouldn't be 118.55/119.00 WSVECS04 Frhs2[190]: 6 0 0.981792 shouldn't be 118.55/119.00 WSVECS04 Frhs2[191]: 6 0 1.00006 shouldn't be 118.55/119.00 WSVECS04 Frhs2[194]: 6 0 2.55294 shouldn't be 118.55/119.00 WSVECS04 Frhs2[199]: 6 -5.43753 0 shouldn't be 118.55/119.00 WSVECS04 Frhs2[200]: 6 0 1.00002 shouldn't be 118.55/119.00 WSVECS04 Frhs2[223]: 6 0 5.30763 shouldn't be 118.55/119.00 WSVECS04 Frhs2[224]: 6 0 3.06561 shouldn't be 118.55/119.00 WSVECS04 Frhs2[242]: 6 -1.90252 0 shouldn't be 118.55/119.00 WSVECS04 Frhs2[316]: 6 0 1.00003 shouldn't be 118.55/119.00 WSVECS04 Frhs2[319]: 6 0 2.0452 shouldn't be 118.55/119.00 WSVECS04 Frhs2[326]: 6 0 2.32414 shouldn't be 124.93/125.33 c #Conflicts: 164000 | #Constraints: 37832 124.93/125.33 c #Conflicts: 165000 | #Constraints: 38832 124.93/125.33 c #Conflicts: 166000 | #Constraints: 39832 124.93/125.33 c #Conflicts: 167000 | #Constraints: 40833 124.93/125.33 c #Conflicts: 168000 | #Constraints: 41833 124.93/125.33 WSVECS04 Frhs2[34]: 6 0 1.18948 shouldn't be 124.93/125.33 WSVECS04 Frhs2[36]: 6 0 0.290632 shouldn't be 124.93/125.33 WSVECS04 Frhs2[38]: 6 0 0.167312 shouldn't be 124.93/125.33 WSVECS04 Frhs2[47]: 6 -2.11075 0 shouldn't be 124.93/125.33 WSVECS04 Frhs2[49]: 6 0 0.933314 shouldn't be 124.93/125.33 WSVECS04 Frhs2[63]: 6 -0.0176032 0 shouldn't be 124.93/125.33 WSVECS04 Frhs2[64]: 6 0 1.00007 shouldn't be 124.93/125.33 WSVECS04 Frhs2[68]: 6 0 1.00002 shouldn't be 124.93/125.33 WSVECS04 Frhs2[69]: 6 0 2.34031 shouldn't be 124.93/125.33 WSVECS04 Frhs2[72]: 6 0 1.00006 shouldn't be 124.93/125.33 WSVECS04 Frhs2[74]: 6 0 1.00003 shouldn't be 124.93/125.33 WSVECS04 Frhs2[81]: 6 0 1.69242 shouldn't be 124.93/125.33 WSVECS04 Frhs2[85]: 6 0 0.33791 shouldn't be 124.93/125.33 WSVECS04 Frhs2[87]: 6 -1.11019 0 shouldn't be 124.93/125.33 WSVECS04 Frhs2[89]: 6 -1.17551 0 shouldn't be 124.93/125.33 WSVECS04 Frhs2[91]: 6 -0.021182 0 shouldn't be 124.93/125.33 WSVECS04 Frhs2[93]: 6 0 1.94013 shouldn't be 124.93/125.33 WSVECS04 Frhs2[94]: 6 -1.1755 0 shouldn't be 124.93/125.33 WSVECS04 Frhs2[95]: 6 -1.99039 0 shouldn't be 124.93/125.33 WSVECS04 Frhs2[96]: 6 0 1.00005 shouldn't be 124.93/125.33 WSVECS04 Frhs2[163]: 6 -1.1146 0 shouldn't be 124.93/125.33 WSVECS04 Frhs2[173]: 6 0 0.836739 shouldn't be 124.93/125.33 WSVECS04 Frhs2[177]: 6 0 1.56702 shouldn't be 124.93/125.33 WSVECS04 Frhs2[202]: 6 0 1.00006 shouldn't be 124.93/125.33 WSVECS04 Frhs2[204]: 6 -4.22755 0 shouldn't be 124.93/125.33 WSVECS04 Frhs2[205]: 6 0 0.530767 shouldn't be 124.93/125.33 WSVECS04 Frhs2[233]: 6 0 1.06062 shouldn't be 124.93/125.33 WSVECS04 Frhs2[236]: 6 0 2.76535 shouldn't be 124.93/125.33 WSVECS04 Frhs2[244]: 6 0 1.76122 shouldn't be 124.93/125.33 WSVECS04 Frhs2[261]: 6 0 0.150098 shouldn't be 124.93/125.33 WSVECS04 Frhs2[268]: 6 0 0.0422209 shouldn't be 124.93/125.33 WSVECS04 Frhs2[271]: 6 0 1.00005 shouldn't be 124.93/125.33 WSVECS04 Frhs2[273]: 6 0 1.97885 shouldn't be 124.93/125.33 WSVECS04 Frhs2[280]: 6 0 1.00004 shouldn't be 124.93/125.33 WSVECS04 Frhs2[284]: 6 -0.977328 0 shouldn't be 124.93/125.33 WSVECS04 Frhs2[289]: 6 0 1.00005 shouldn't be 124.93/125.33 WSVECS04 Frhs2[292]: 6 0 1.00009 shouldn't be 124.93/125.33 WSVECS04 Frhs2[293]: 6 0 1.00003 shouldn't be 124.93/125.33 WSVECS04 Frhs2[296]: 6 -1.205 0 shouldn't be 124.93/125.33 WSVECS04 Frhs2[304]: 6 0 1.14628 shouldn't be 124.93/125.33 WSVECS04 Frhs2[305]: 6 -0.656255 0 shouldn't be 124.93/125.33 WSVECS04 Frhs2[309]: 6 0 1.1247 shouldn't be 124.93/125.33 WSVECS04 Frhs2[312]: 6 0 2.00008 shouldn't be 124.93/125.33 WSVECS04 Frhs2[328]: 6 -1.00004 0 shouldn't be 124.93/125.33 WSVECS04 Frhs2[330]: 6 -0.445661 0 shouldn't be 124.93/125.33 WSVECS04 Frhs2[334]: 6 -1.01941 0 shouldn't be 124.93/125.33 WSVECS04 Frhs2[336]: 6 -2.57034 0 shouldn't be 124.93/125.33 WSVECS04 Frhs2[346]: 6 -0.627703 0 shouldn't be 124.93/125.33 WSVECS04 Frhs2[350]: 6 0 1.94016 shouldn't be 132.40/132.88 c #Conflicts: 169000 | #Constraints: 42835 132.40/132.88 c #Conflicts: 170000 | #Constraints: 43835 132.40/132.88 c #Conflicts: 171000 | #Constraints: 44836 132.40/132.88 c #Conflicts: 172000 | #Constraints: 45836 132.40/132.88 c #Conflicts: 173000 | #Constraints: 46836 132.40/132.88 c #Conflicts: 174000 | #Constraints: 47837 132.40/132.88 WSVECS04 Frhs2[221]: 6 0 2.33013 shouldn't be 132.40/132.88 WSVECS04 Frhs2[227]: 6 -5.54512 0 shouldn't be 132.40/132.88 WSVECS04 Frhs2[228]: 6 -2.87463 0 shouldn't be 132.40/132.88 WSVECS04 Frhs2[229]: 6 -0.952372 0 shouldn't be 132.40/132.88 WSVECS04 Frhs2[236]: 6 -1.00004 0 shouldn't be 132.40/132.88 WSVECS04 Frhs2[239]: 6 0 1.27039 shouldn't be 132.40/132.88 WSVECS04 Frhs2[242]: 6 0 1.36979 shouldn't be 132.40/132.88 WSVECS04 Frhs2[244]: 6 0 1.00008 shouldn't be 132.40/132.88 WSVECS04 Frhs2[246]: 6 0 0.80963 shouldn't be 132.40/132.88 WSVECS04 Frhs2[250]: 6 0 2.00005 shouldn't be 132.40/132.88 WSVECS04 Frhs2[253]: 6 -1.1421 0 shouldn't be 132.40/132.88 WSVECS04 Frhs2[256]: 6 -2.7453 0 shouldn't be 132.40/132.88 WSVECS04 Frhs2[257]: 6 -4.59879 0 shouldn't be 132.40/132.88 WSVECS04 Frhs2[260]: 6 -0.713133 0 shouldn't be 132.40/132.88 WSVECS04 Frhs2[302]: 6 -1.79864 0 shouldn't be 132.40/132.88 WSVECS04 Frhs2[304]: 6 -3.48502 0 shouldn't be 132.40/132.88 WSVECS04 Frhs2[306]: 6 -2.18059 0 shouldn't be 132.40/132.88 WSVECS04 Frhs2[326]: 6 0 3.2012 shouldn't be 132.40/132.88 WSVECS04 Frhs2[330]: 6 0 1.95315 shouldn't be 132.40/132.88 WSVECS04 Frhs2[342]: 6 0 3.74007 shouldn't be 132.40/132.88 WSVECS04 Frhs2[343]: 6 0 2.9843 shouldn't be 132.40/132.88 WSVECS04 Frhs2[345]: 6 0 1.02938 shouldn't be 132.40/132.88 WSVECS04 Frhs2[346]: 6 0 2.84445 shouldn't be 132.40/132.88 WSVECS04 Frhs2[350]: 6 0 2.04701 shouldn't be 138.99/139.49 c #Conflicts: 175000 | #Constraints: 48837 138.99/139.49 c #Conflicts: 176000 | #Constraints: 49837 138.99/139.49 c #Conflicts: 177000 | #Constraints: 50837 138.99/139.49 c #Conflicts: 178000 | #Constraints: 51837 138.99/139.49 c INPROCESSING 138.99/139.49 c GARBAGE COLLECT 138.99/139.49 c rational objective -184 150.05/150.56 c #Conflicts: 179000 | #Constraints: 32753 150.05/150.56 c #Conflicts: 180000 | #Constraints: 33756 150.05/150.56 c #Conflicts: 181000 | #Constraints: 34760 150.05/150.56 c #Conflicts: 182000 | #Constraints: 35764 150.05/150.56 c #Conflicts: 183000 | #Constraints: 36772 150.05/150.56 c #Conflicts: 184000 | #Constraints: 37775 150.05/150.56 c #Conflicts: 185000 | #Constraints: 38778 150.05/150.56 c #Conflicts: 186000 | #Constraints: 39785 150.05/150.56 c #Conflicts: 187000 | #Constraints: 40786 150.05/150.56 c #Conflicts: 188000 | #Constraints: 41790 150.05/150.56 c #Conflicts: 189000 | #Constraints: 42793 150.05/150.56 c INPROCESSING 150.05/150.56 c GARBAGE COLLECT 150.05/150.56 c rational objective -184 182.65/183.23 c #Conflicts: 190000 | #Constraints: 28605 182.65/183.23 c #Conflicts: 191000 | #Constraints: 29607 182.65/183.23 c #Conflicts: 192000 | #Constraints: 30611 182.65/183.23 c #Conflicts: 193000 | #Constraints: 31616 182.65/183.23 c #Conflicts: 194000 | #Constraints: 32619 182.65/183.23 c #Conflicts: 195000 | #Constraints: 33624 182.65/183.23 c #Conflicts: 196000 | #Constraints: 34630 182.65/183.23 c #Conflicts: 197000 | #Constraints: 35634 182.65/183.23 c #Conflicts: 198000 | #Constraints: 36638 182.65/183.23 c #Conflicts: 199000 | #Constraints: 37644 182.65/183.23 c #Conflicts: 200000 | #Constraints: 38648 182.65/183.23 c #Conflicts: 201000 | #Constraints: 39651 182.65/183.23 c #Conflicts: 202000 | #Constraints: 40654 182.65/183.23 c #Conflicts: 203000 | #Constraints: 41657 182.65/183.23 c #Conflicts: 204000 | #Constraints: 42660 182.65/183.23 c #Conflicts: 205000 | #Constraints: 43666 182.65/183.23 c #Conflicts: 206000 | #Constraints: 44669 182.65/183.23 c #Conflicts: 207000 | #Constraints: 45673 182.65/183.23 c #Conflicts: 208000 | #Constraints: 46678 182.65/183.23 c #Conflicts: 209000 | #Constraints: 47681 182.65/183.23 c #Conflicts: 210000 | #Constraints: 48683 182.65/183.23 c #Conflicts: 211000 | #Constraints: 49687 182.65/183.23 c #Conflicts: 212000 | #Constraints: 50688 182.65/183.23 c #Conflicts: 213000 | #Constraints: 51692 182.65/183.23 c #Conflicts: 214000 | #Constraints: 52695 182.65/183.23 c #Conflicts: 215000 | #Constraints: 53697 182.65/183.23 c #Conflicts: 216000 | #Constraints: 54700 182.65/183.23 c #Conflicts: 217000 | #Constraints: 55704 182.65/183.23 c #Conflicts: 218000 | #Constraints: 56707 182.65/183.23 c #Conflicts: 219000 | #Constraints: 57707 182.65/183.23 c #Conflicts: 220000 | #Constraints: 58710 182.65/183.23 c INPROCESSING 182.65/183.23 c GARBAGE COLLECT 182.65/183.23 c rational objective -184 189.45/190.03 c #Conflicts: 221000 | #Constraints: 36262 189.45/190.03 c #Conflicts: 222000 | #Constraints: 37263 189.45/190.03 c #Conflicts: 223000 | #Constraints: 38264 189.45/190.03 c #Conflicts: 224000 | #Constraints: 39264 189.45/190.03 c #Conflicts: 225000 | #Constraints: 40264 189.45/190.03 WSVECS04 Frhs2[73]: 6 -0.544266 0 shouldn't be 189.45/190.03 WSVECS04 Frhs2[162]: 6 -0.744631 0 shouldn't be 189.45/190.03 WSVECS04 Frhs2[164]: 6 0 1.60648 shouldn't be 189.45/190.03 WSVECS04 Frhs2[172]: 6 0 2.06777 shouldn't be 189.45/190.03 WSVECS04 Frhs2[174]: 6 0 1.6329 shouldn't be 189.45/190.03 WSVECS04 Frhs2[179]: 6 0 2.92244 shouldn't be 189.45/190.03 WSVECS04 Frhs2[181]: 6 0 2.82976 shouldn't be 189.45/190.03 WSVECS04 Frhs2[208]: 6 0 1.32933 shouldn't be 189.45/190.03 WSVECS04 Frhs2[209]: 6 -0.131888 0 shouldn't be 189.45/190.03 WSVECS04 Frhs2[210]: 6 -1.66901 0 shouldn't be 189.45/190.03 WSVECS04 Frhs2[214]: 6 -2.07701 0 shouldn't be 189.45/190.03 WSVECS04 Frhs2[321]: 6 -3.34571 0 shouldn't be 189.45/190.03 WSVECS04 Frhs2[328]: 6 0 0.375588 shouldn't be 189.45/190.03 WSVECS04 Frhs2[334]: 6 -2.24581 0 shouldn't be 195.13/195.72 c #Conflicts: 226000 | #Constraints: 41266 195.13/195.72 c #Conflicts: 227000 | #Constraints: 42266 195.13/195.72 c #Conflicts: 228000 | #Constraints: 43266 195.13/195.72 c #Conflicts: 229000 | #Constraints: 44266 195.13/195.72 c #Conflicts: 230000 | #Constraints: 45266 195.13/195.72 WSVECS04 Frhs2[200]: 6 0 1.51664 shouldn't be 195.13/195.72 WSVECS04 Frhs2[208]: 6 -5.00006 0 shouldn't be 195.13/195.72 WSVECS04 Frhs2[209]: 6 -9.61367 0 shouldn't be 195.13/195.72 WSVECS04 Frhs2[212]: 6 0 2.1302 shouldn't be 197.12/197.72 c #Conflicts: 231000 | #Constraints: 46267 197.12/197.72 c bounds -180 >= -183 @ 193.881 197.12/197.72 WSVECS04 Frhs2[167]: 6 0 1.00003 shouldn't be 197.12/197.72 WSVECS04 Frhs2[180]: 6 0 1.00005 shouldn't be 197.12/197.72 WSVECS04 Frhs2[233]: 6 0 1.00009 shouldn't be 197.12/197.72 WSVECS04 Frhs2[237]: 6 0 1.00007 shouldn't be 197.12/197.72 WSVECS04 Frhs2[247]: 6 0 1.00006 shouldn't be 197.12/197.72 WSVECS04 Frhs2[260]: 6 0 1.00003 shouldn't be 197.12/197.72 WSVECS04 Frhs2[263]: 6 0 1.00003 shouldn't be 197.12/197.72 WSVECS04 Frhs2[264]: 6 0 1.0001 shouldn't be 197.12/197.72 WSVECS04 Frhs2[273]: 6 0 1.00003 shouldn't be 197.12/197.72 WSVECS04 Frhs2[297]: 6 0 1.00009 shouldn't be 197.12/197.72 WSVECS04 Frhs2[315]: 6 0 1.00007 shouldn't be 198.43/199.03 c #Conflicts: 232000 | #Constraints: 47313 198.43/199.03 c INPROCESSING 198.43/199.03 c GARBAGE COLLECT 198.43/199.03 WSVECS04 Frhs2[7]: 6 -2.09295 0 shouldn't be 198.43/199.03 WSVECS04 Frhs2[11]: 6 0 2.89635 shouldn't be 198.43/199.03 WSVECS04 Frhs2[12]: 6 -1.04287 0 shouldn't be 198.43/199.03 WSVECS04 Frhs2[16]: 6 0 1.87924 shouldn't be 198.43/199.03 WSVECS04 Frhs2[20]: 6 0 3.62018 shouldn't be 198.43/199.03 WSVECS04 Frhs2[23]: 6 -1.64888 0 shouldn't be 198.43/199.03 WSVECS04 Frhs2[24]: 6 -0.967049 0 shouldn't be 198.43/199.03 WSVECS04 Frhs2[165]: 6 -1.00005 0 shouldn't be 198.43/199.03 WSVECS04 Frhs2[166]: 6 0 2.59412 shouldn't be 198.43/199.03 WSVECS04 Frhs2[170]: 6 -0.48799 0 shouldn't be 198.43/199.03 WSVECS04 Frhs2[173]: 6 0 1.00003 shouldn't be 198.43/199.03 WSVECS04 Frhs2[174]: 6 -1.00006 0 shouldn't be 198.43/199.03 WSVECS04 Frhs2[177]: 6 0 1.00001 shouldn't be 198.43/199.03 WSVECS04 Frhs2[178]: 6 0 4.90343 shouldn't be 198.43/199.03 WSVECS04 Frhs2[181]: 6 -11.2123 0 shouldn't be 198.43/199.03 WSVECS04 Frhs2[182]: 6 0 3.83657 shouldn't be 198.43/199.03 WSVECS04 Frhs2[199]: 6 -3.60554 0 shouldn't be 198.43/199.03 WSVECS04 Frhs2[232]: 6 -2.33564 0 shouldn't be 198.43/199.03 WSVECS04 Frhs2[236]: 6 0 3.56296 shouldn't be 198.43/199.03 WSVECS04 Frhs2[239]: 6 -3.22734 0 shouldn't be 198.43/199.03 WSVECS04 Frhs2[240]: 6 0 1.01802 shouldn't be 198.43/199.03 WSVECS04 Frhs2[243]: 6 -1.01798 0 shouldn't be 198.43/199.03 WSVECS04 Frhs2[244]: 6 -0.896386 0 shouldn't be 198.43/199.03 WSVECS04 Frhs2[253]: 6 0 1.00009 shouldn't be 198.43/199.03 WSVECS04 Frhs2[254]: 6 -1.57506 0 shouldn't be 198.43/199.03 WSVECS04 Frhs2[257]: 6 0 4.58958 shouldn't be 198.43/199.03 WSVECS04 Frhs2[258]: 6 0 1.00003 shouldn't be 198.43/199.03 WSVECS04 Frhs2[299]: 6 -0.163638 0 shouldn't be 198.43/199.03 WSVECS04 Frhs2[300]: 6 0 1.11652 shouldn't be 198.43/199.03 WSVECS04 Frhs2[303]: 6 -0.17738 0 shouldn't be 198.43/199.03 WSVECS04 Frhs2[304]: 6 -0.931567 0 shouldn't be 198.43/199.03 WSVECS04 Frhs2[324]: 6 -4.89641 0 shouldn't be 198.43/199.03 WSVECS04 Frhs2[327]: 6 0 3.00254 shouldn't be 198.43/199.03 WSVECS04 Frhs2[328]: 6 0 2.89225 shouldn't be 198.43/199.03 WSVECS04 Frhs2[333]: 6 -0.0025729 0 shouldn't be 198.43/199.03 WSVECS04 Frhs2[346]: 6 0 2.9979 shouldn't be 198.52/199.17 c rational objective -183 209.98/210.61 c #Conflicts: 233000 | #Constraints: 30587 209.98/210.61 c #Conflicts: 234000 | #Constraints: 31589 209.98/210.61 c #Conflicts: 235000 | #Constraints: 32592 209.98/210.61 c #Conflicts: 236000 | #Constraints: 33596 209.98/210.61 c #Conflicts: 237000 | #Constraints: 34599 209.98/210.61 c #Conflicts: 238000 | #Constraints: 35602 209.98/210.61 c #Conflicts: 239000 | #Constraints: 36605 209.98/210.61 c #Conflicts: 240000 | #Constraints: 37608 209.98/210.61 c #Conflicts: 241000 | #Constraints: 38611 209.98/210.61 c #Conflicts: 242000 | #Constraints: 39615 209.98/210.61 c #Conflicts: 243000 | #Constraints: 40618 209.98/210.61 c #Conflicts: 244000 | #Constraints: 41620 209.98/210.61 c #Conflicts: 245000 | #Constraints: 42621 209.98/210.61 c INPROCESSING 209.98/210.61 c GARBAGE COLLECT 209.98/210.61 c rational objective -183 211.39/212.11 c #Conflicts: 246000 | #Constraints: 28641 211.39/212.11 WSVECS04 Frhs2[1]: 6 -4.29257 0 shouldn't be 211.39/212.11 WSVECS04 Frhs2[11]: 6 0 3.2087 shouldn't be 211.39/212.11 WSVECS04 Frhs2[12]: 6 -2.28121 0 shouldn't be 211.39/212.11 WSVECS04 Frhs2[14]: 6 -1.90895 0 shouldn't be 211.39/212.11 WSVECS04 Frhs2[20]: 6 0 1.73343 shouldn't be 211.39/212.11 WSVECS04 Frhs2[22]: 6 -0.39867 0 shouldn't be 211.39/212.11 WSVECS04 Frhs2[24]: 6 -2.29694 0 shouldn't be 211.39/212.11 WSVECS04 Frhs2[37]: 6 0 1.00007 shouldn't be 211.39/212.11 WSVECS04 Frhs2[38]: 6 0 2.13218 shouldn't be 211.39/212.11 WSVECS04 Frhs2[39]: 6 0 1.31162 shouldn't be 211.39/212.11 WSVECS04 Frhs2[41]: 6 -0.943653 0 shouldn't be 211.39/212.11 WSVECS04 Frhs2[44]: 6 -3.70745 0 shouldn't be 211.39/212.11 WSVECS04 Frhs2[47]: 6 0 1.00009 shouldn't be 211.39/212.11 WSVECS04 Frhs2[48]: 6 0 1.00001 shouldn't be 211.39/212.11 WSVECS04 Frhs2[49]: 6 0 1.00007 shouldn't be 211.39/212.11 WSVECS04 Frhs2[180]: 6 0 4.48116 shouldn't be 211.39/212.11 WSVECS04 Frhs2[243]: 6 -0.629336 0 shouldn't be 211.39/212.11 WSVECS04 Frhs2[247]: 6 0 1.0001 shouldn't be 211.39/212.11 WSVECS04 Frhs2[248]: 6 0 1.00006 shouldn't be 211.39/212.11 WSVECS04 Frhs2[253]: 6 -1.17591 0 shouldn't be 211.39/212.11 WSVECS04 Frhs2[254]: 6 -0.498752 0 shouldn't be 211.39/212.11 WSVECS04 Frhs2[257]: 6 0 1.00007 shouldn't be 211.39/212.11 WSVECS04 Frhs2[258]: 6 0 1.62927 shouldn't be 211.39/212.11 WSVECS04 Frhs2[266]: 6 -2.04133 0 shouldn't be 211.39/212.11 WSVECS04 Frhs2[267]: 6 -1.07911 0 shouldn't be 211.39/212.11 WSVECS04 Frhs2[269]: 6 0 1.00008 shouldn't be 211.39/212.11 WSVECS04 Frhs2[270]: 6 0 0.303497 shouldn't be 211.39/212.11 WSVECS04 Frhs2[271]: 6 0 1.15491 shouldn't be 211.39/212.11 WSVECS04 Frhs2[274]: 6 -1.05331 0 shouldn't be 211.39/212.11 WSVECS04 Frhs2[278]: 6 -0.956392 0 shouldn't be 211.39/212.11 WSVECS04 Frhs2[279]: 6 -1.51122 0 shouldn't be 211.39/212.11 WSVECS04 Frhs2[281]: 6 0 1.28982 shouldn't be 211.39/212.11 WSVECS04 Frhs2[282]: 6 0 1.00004 shouldn't be 211.39/212.11 WSVECS04 Frhs2[286]: 6 0 2.31586 shouldn't be 211.39/212.11 WSVECS04 Frhs2[289]: 6 0 1.00138 shouldn't be 211.39/212.11 WSVECS04 Frhs2[292]: 6 -1.01107 0 shouldn't be 211.39/212.11 WSVECS04 Frhs2[333]: 6 -0.807864 0 shouldn't be 211.39/212.11 WSVECS04 Frhs2[334]: 6 -1.37082 0 shouldn't be 211.39/212.11 WSVECS04 Frhs2[342]: 6 0 2.93275 shouldn't be 211.39/212.11 WSVECS04 Frhs2[346]: 6 0 1.66942 shouldn't be 220.95/221.66 c #Conflicts: 247000 | #Constraints: 29642 220.95/221.66 c #Conflicts: 248000 | #Constraints: 30643 220.95/221.66 c #Conflicts: 249000 | #Constraints: 31644 220.95/221.66 c #Conflicts: 250000 | #Constraints: 32644 220.95/221.66 c #Conflicts: 251000 | #Constraints: 33644 220.95/221.66 c #Conflicts: 252000 | #Constraints: 34645 220.95/221.66 c #Conflicts: 253000 | #Constraints: 35645 220.95/221.66 c #Conflicts: 254000 | #Constraints: 36645 220.95/221.66 c #Conflicts: 255000 | #Constraints: 37646 220.95/221.66 WSVECS04 Frhs2[1]: 6 -2.10499 0 shouldn't be 220.95/221.66 WSVECS04 Frhs2[2]: 6 0 3.86915 shouldn't be 220.95/221.66 WSVECS04 Frhs2[8]: 6 -3.00005 0 shouldn't be 220.95/221.66 WSVECS04 Frhs2[9]: 6 0 1.0001 shouldn't be 220.95/221.66 WSVECS04 Frhs2[12]: 6 -1.92361 0 shouldn't be 220.95/221.66 WSVECS04 Frhs2[16]: 6 -0.533564 0 shouldn't be 220.95/221.66 WSVECS04 Frhs2[18]: 6 -1.80782 0 shouldn't be 220.95/221.66 WSVECS04 Frhs2[25]: 6 0 1.93765 shouldn't be 220.95/221.66 WSVECS04 Frhs2[33]: 6 0 2.01918 shouldn't be 220.95/221.66 WSVECS04 Frhs2[35]: 6 -1.00007 0 shouldn't be 220.95/221.66 WSVECS04 Frhs2[37]: 6 0 2.12288 shouldn't be 220.95/221.66 WSVECS04 Frhs2[43]: 6 0 2.78383 shouldn't be 220.95/221.66 WSVECS04 Frhs2[50]: 6 -1.5701 0 shouldn't be 220.95/221.66 WSVECS04 Frhs2[58]: 6 0 2.2399 shouldn't be 220.95/221.66 WSVECS04 Frhs2[61]: 6 -7.47367 0 shouldn't be 220.95/221.66 WSVECS04 Frhs2[65]: 6 -0.502108 0 shouldn't be 220.95/221.66 WSVECS04 Frhs2[74]: 6 0 1.73238 shouldn't be 220.95/221.66 WSVECS04 Frhs2[181]: 6 -0.860206 0 shouldn't be 220.95/221.66 WSVECS04 Frhs2[182]: 6 -0.754465 0 shouldn't be 220.95/221.66 WSVECS04 Frhs2[184]: 6 0 2.00002 shouldn't be 220.95/221.66 WSVECS04 Frhs2[188]: 6 0 1.79602 shouldn't be 220.95/221.66 WSVECS04 Frhs2[197]: 6 -3.11752 0 shouldn't be 220.95/221.66 WSVECS04 Frhs2[199]: 6 0 1.76022 shouldn't be 220.95/221.66 WSVECS04 Frhs2[201]: 6 -1.12974 0 shouldn't be 220.95/221.66 WSVECS04 Frhs2[207]: 6 -2.22146 0 shouldn't be 220.95/221.66 WSVECS04 Frhs2[214]: 6 0 1.64356 shouldn't be 220.95/221.66 WSVECS04 Frhs2[217]: 6 -0.13718 0 shouldn't be 220.95/221.66 WSVECS04 Frhs2[221]: 6 -1.00835 0 shouldn't be 220.95/221.66 WSVECS04 Frhs2[250]: 6 0 3.56616 shouldn't be 220.95/221.66 WSVECS04 Frhs2[298]: 6 0 2.0001 shouldn't be 220.95/221.66 WSVECS04 Frhs2[305]: 6 -1.75248 0 shouldn't be 220.95/221.66 WSVECS04 Frhs2[322]: 6 -1.62533 0 shouldn't be 224.84/225.54 c #Conflicts: 256000 | #Constraints: 38646 224.84/225.54 c #Conflicts: 257000 | #Constraints: 39646 224.84/225.54 c #Conflicts: 258000 | #Constraints: 40647 224.84/225.54 WSVECS04 Frhs2[1]: 6 0 1.00009 shouldn't be 224.84/225.54 WSVECS04 Frhs2[2]: 6 0 1.65455 shouldn't be 224.84/225.54 WSVECS04 Frhs2[8]: 6 -5.62677 0 shouldn't be 224.84/225.54 WSVECS04 Frhs2[10]: 6 -2.00003 0 shouldn't be 224.84/225.54 WSVECS04 Frhs2[17]: 6 0 1.66022 shouldn't be 224.84/225.54 WSVECS04 Frhs2[27]: 6 0 4.78327 shouldn't be 224.84/225.54 WSVECS04 Frhs2[33]: 6 -6.65604 0 shouldn't be 224.84/225.54 WSVECS04 Frhs2[35]: 6 -3.99057 0 shouldn't be 224.84/225.54 WSVECS04 Frhs2[42]: 6 0 2.89585 shouldn't be 224.84/225.54 WSVECS04 Frhs2[291]: 6 0 5.34191 shouldn't be 229.53/230.29 c #Conflicts: 259000 | #Constraints: 41648 229.53/230.29 c #Conflicts: 260000 | #Constraints: 42648 229.53/230.29 c #Conflicts: 261000 | #Constraints: 43648 229.53/230.29 WSVECS04 Frhs2[182]: 6 0 2.20256 shouldn't be 229.53/230.29 WSVECS04 Frhs2[183]: 6 0 3.06453 shouldn't be 229.53/230.29 WSVECS04 Frhs2[184]: 6 0 3.49012 shouldn't be 229.53/230.29 WSVECS04 Frhs2[192]: 6 0 3.98085 shouldn't be 229.53/230.29 WSVECS04 Frhs2[195]: 6 -4.48319 0 shouldn't be 229.53/230.29 WSVECS04 Frhs2[198]: 6 0 1.32346 shouldn't be 229.53/230.29 WSVECS04 Frhs2[216]: 6 0 2.00007 shouldn't be 229.53/230.29 WSVECS04 Frhs2[217]: 6 0 2.02308 shouldn't be 229.53/230.29 WSVECS04 Frhs2[225]: 6 0 1.52029 shouldn't be 229.53/230.29 WSVECS04 Frhs2[228]: 6 -0.286092 0 shouldn't be 229.53/230.29 WSVECS04 Frhs2[231]: 6 0 3.1981 shouldn't be 229.53/230.29 WSVECS04 Frhs2[232]: 6 0 2.24244 shouldn't be 229.53/230.29 WSVECS04 Frhs2[240]: 6 0 2.59054 shouldn't be 229.53/230.29 WSVECS04 Frhs2[243]: 6 -1.07937 0 shouldn't be 229.53/230.29 WSVECS04 Frhs2[254]: 6 0 2.28201 shouldn't be 229.53/230.29 WSVECS04 Frhs2[257]: 6 -1.92595 0 shouldn't be 229.53/230.29 WSVECS04 Frhs2[260]: 6 0 2.02713 shouldn't be 229.53/230.29 WSVECS04 Frhs2[333]: 6 -5.17677 0 shouldn't be 229.53/230.29 WSVECS04 Frhs2[348]: 6 -1.56773 0 shouldn't be 229.82/230.57 WSVECS04 Frhs2[336]: 6 0 1.33746 shouldn't be 249.97/250.76 c #Conflicts: 262000 | #Constraints: 44649 249.97/250.76 c #Conflicts: 263000 | #Constraints: 45649 249.97/250.76 c #Conflicts: 264000 | #Constraints: 46649 249.97/250.76 c #Conflicts: 265000 | #Constraints: 47649 249.97/250.76 c #Conflicts: 266000 | #Constraints: 48650 249.97/250.76 c #Conflicts: 267000 | #Constraints: 49650 249.97/250.76 c #Conflicts: 268000 | #Constraints: 50650 249.97/250.76 c #Conflicts: 269000 | #Constraints: 51650 249.97/250.76 c #Conflicts: 270000 | #Constraints: 52651 249.97/250.76 c #Conflicts: 271000 | #Constraints: 53653 249.97/250.76 c #Conflicts: 272000 | #Constraints: 54653 249.97/250.76 c #Conflicts: 273000 | #Constraints: 55653 249.97/250.76 c #Conflicts: 274000 | #Constraints: 56654 249.97/250.76 WSVECS04 Frhs2[78]: 6 0 4.41731 shouldn't be 249.97/250.76 WSVECS04 Frhs2[81]: 6 0 4.78192 shouldn't be 249.97/250.76 WSVECS04 Frhs2[122]: 6 0 1.59096 shouldn't be 249.97/250.76 WSVECS04 Frhs2[125]: 6 -0.63645 0 shouldn't be 249.97/250.76 WSVECS04 Frhs2[126]: 6 -0.444659 0 shouldn't be 249.97/250.76 WSVECS04 Frhs2[129]: 6 0 1.00005 shouldn't be 249.97/250.76 WSVECS04 Frhs2[134]: 6 0 1.50695 shouldn't be 249.97/250.76 WSVECS04 Frhs2[138]: 6 0 2.01916 shouldn't be 249.97/250.76 WSVECS04 Frhs2[139]: 6 0 1.43286 shouldn't be 249.97/250.76 WSVECS04 Frhs2[144]: 6 0 1.53931 shouldn't be 249.97/250.76 WSVECS04 Frhs2[164]: 6 -2.2717 0 shouldn't be 249.97/250.76 WSVECS04 Frhs2[165]: 6 -1.06612 0 shouldn't be 249.97/250.76 WSVECS04 Frhs2[168]: 6 0 1.00003 shouldn't be 249.97/250.76 WSVECS04 Frhs2[169]: 6 -0.0596078 0 shouldn't be 249.97/250.76 WSVECS04 Frhs2[173]: 6 0 2.00002 shouldn't be 249.97/250.76 WSVECS04 Frhs2[177]: 6 0 1.00007 shouldn't be 249.97/250.76 WSVECS04 Frhs2[180]: 6 -3.00799 0 shouldn't be 249.97/250.76 WSVECS04 Frhs2[224]: 6 -2.29857 0 shouldn't be 249.97/250.76 WSVECS04 Frhs2[229]: 6 -2.45786 0 shouldn't be 249.97/250.76 WSVECS04 Frhs2[234]: 6 -0.163164 0 shouldn't be 249.97/250.76 WSVECS04 Frhs2[235]: 6 0 1.50123 shouldn't be 249.97/250.76 WSVECS04 Frhs2[243]: 6 -1.83175 0 shouldn't be 249.97/250.76 WSVECS04 Frhs2[274]: 6 -1.3736 0 shouldn't be 249.97/250.76 WSVECS04 Frhs2[277]: 6 -0.180186 0 shouldn't be 249.97/250.76 WSVECS04 Frhs2[278]: 6 0 1.00005 shouldn't be 249.97/250.76 WSVECS04 Frhs2[282]: 6 0 2.87169 shouldn't be 249.97/250.76 WSVECS04 Frhs2[288]: 6 0 1.00002 shouldn't be 249.97/250.76 WSVECS04 Frhs2[293]: 6 -3.89055 0 shouldn't be 249.97/250.76 WSVECS04 Frhs2[296]: 6 0 1.94641 shouldn't be 249.97/250.76 WSVECS04 Frhs2[316]: 6 -0.419379 0 shouldn't be 249.97/250.76 WSVECS04 Frhs2[321]: 6 -3.05034 0 shouldn't be 249.97/250.76 WSVECS04 Frhs2[323]: 6 0 2.37056 shouldn't be 249.97/250.76 WSVECS04 Frhs2[330]: 6 -0.462708 0 shouldn't be 249.97/250.76 WSVECS04 Frhs2[346]: 6 0 1.22142 shouldn't be 249.97/250.76 WSVECS04 Frhs2[348]: 6 -0.0922035 0 shouldn't be 249.97/250.76 WSVECS04 Frhs2[350]: 6 -1.49644 0 shouldn't be 257.04/257.88 c #Conflicts: 275000 | #Constraints: 57655 257.04/257.88 c #Conflicts: 276000 | #Constraints: 58655 257.04/257.88 c #Conflicts: 277000 | #Constraints: 59656 257.04/257.88 c #Conflicts: 278000 | #Constraints: 60656 257.04/257.88 WSVECS04 Frhs2[183]: 6 0 4.53546 shouldn't be 257.04/257.88 WSVECS04 Frhs2[187]: 6 0 3.00002 shouldn't be 257.04/257.88 WSVECS04 Frhs2[195]: 6 -5.75532 0 shouldn't be 257.04/257.88 WSVECS04 Frhs2[196]: 6 -5.15111 0 shouldn't be 257.04/257.88 WSVECS04 Frhs2[235]: 6 0 1.12482 shouldn't be 257.04/257.88 WSVECS04 Frhs2[244]: 6 -4.42211 0 shouldn't be 257.04/257.88 WSVECS04 Frhs2[293]: 6 -6.98454 0 shouldn't be 257.04/257.88 WSVECS04 Frhs2[294]: 6 -1.2539 0 shouldn't be 257.35/258.18 WSVECS04 Frhs2[346]: 6 0 3.98293 shouldn't be 257.64/258.46 WSVECS04 Frhs2[330]: 6 0 8.59351 shouldn't be 263.62/264.40 c #Conflicts: 279000 | #Constraints: 61657 263.62/264.40 c #Conflicts: 280000 | #Constraints: 62657 263.62/264.40 c INPROCESSING 263.62/264.40 c GARBAGE COLLECT 263.62/264.40 c rational objective -183 281.19/282.02 c #Conflicts: 281000 | #Constraints: 38267 281.19/282.02 c #Conflicts: 282000 | #Constraints: 39267 281.19/282.02 c #Conflicts: 283000 | #Constraints: 40268 281.19/282.02 c #Conflicts: 284000 | #Constraints: 41272 281.19/282.02 c #Conflicts: 285000 | #Constraints: 42276 281.19/282.02 c #Conflicts: 286000 | #Constraints: 43280 281.19/282.02 c #Conflicts: 287000 | #Constraints: 44284 281.19/282.02 c #Conflicts: 288000 | #Constraints: 45288 281.19/282.02 c #Conflicts: 289000 | #Constraints: 46294 281.19/282.02 c #Conflicts: 290000 | #Constraints: 47297 281.19/282.02 c #Conflicts: 291000 | #Constraints: 48304 281.19/282.02 c #Conflicts: 292000 | #Constraints: 49310 281.19/282.02 c #Conflicts: 293000 | #Constraints: 50315 281.19/282.02 c #Conflicts: 294000 | #Constraints: 51321 281.19/282.02 c INPROCESSING 281.19/282.02 c GARBAGE COLLECT 281.19/282.02 c rational objective -183 332.14/333.12 c #Conflicts: 295000 | #Constraints: 32842 332.14/333.12 c #Conflicts: 296000 | #Constraints: 33844 332.14/333.12 c #Conflicts: 297000 | #Constraints: 34847 332.14/333.12 c #Conflicts: 298000 | #Constraints: 35851 332.14/333.12 c #Conflicts: 299000 | #Constraints: 36854 332.14/333.12 c #Conflicts: 300000 | #Constraints: 37856 332.14/333.12 c #Conflicts: 301000 | #Constraints: 38858 332.14/333.12 c #Conflicts: 302000 | #Constraints: 39864 332.14/333.12 c #Conflicts: 303000 | #Constraints: 40866 332.14/333.12 c #Conflicts: 304000 | #Constraints: 41872 332.14/333.12 c #Conflicts: 305000 | #Constraints: 42873 332.14/333.12 c #Conflicts: 306000 | #Constraints: 43875 332.14/333.12 c #Conflicts: 307000 | #Constraints: 44878 332.14/333.12 c #Conflicts: 308000 | #Constraints: 45882 332.14/333.12 c #Conflicts: 309000 | #Constraints: 46885 332.14/333.12 c #Conflicts: 310000 | #Constraints: 47888 332.14/333.12 c #Conflicts: 311000 | #Constraints: 48890 332.14/333.12 c #Conflicts: 312000 | #Constraints: 49894 332.14/333.12 c #Conflicts: 313000 | #Constraints: 50899 332.14/333.12 c #Conflicts: 314000 | #Constraints: 51902 332.14/333.12 c #Conflicts: 315000 | #Constraints: 52905 332.14/333.12 c #Conflicts: 316000 | #Constraints: 53908 332.14/333.12 c #Conflicts: 317000 | #Constraints: 54916 332.14/333.12 c #Conflicts: 318000 | #Constraints: 55920 332.14/333.12 c #Conflicts: 319000 | #Constraints: 56924 332.14/333.12 c #Conflicts: 320000 | #Constraints: 57928 332.14/333.12 c #Conflicts: 321000 | #Constraints: 58930 332.14/333.12 c #Conflicts: 322000 | #Constraints: 59933 332.14/333.12 c #Conflicts: 323000 | #Constraints: 60936 332.14/333.12 c #Conflicts: 324000 | #Constraints: 61940 332.14/333.12 c #Conflicts: 325000 | #Constraints: 62945 332.14/333.12 c #Conflicts: 326000 | #Constraints: 63950 332.14/333.12 c #Conflicts: 327000 | #Constraints: 64956 332.14/333.12 c #Conflicts: 328000 | #Constraints: 65960 332.14/333.12 c #Conflicts: 329000 | #Constraints: 66965 332.14/333.12 c #Conflicts: 330000 | #Constraints: 67969 332.14/333.12 c #Conflicts: 331000 | #Constraints: 68974 332.14/333.12 c #Conflicts: 332000 | #Constraints: 69979 332.14/333.12 c #Conflicts: 333000 | #Constraints: 70979 332.14/333.12 c INPROCESSING 332.14/333.12 c GARBAGE COLLECT 332.14/333.12 c rational objective -183 334.12/335.14 c #Conflicts: 334000 | #Constraints: 42726 334.12/335.14 WSVECS04 Frhs2[217]: 6 -2.63022 0 shouldn't be 334.12/335.14 WSVECS04 Frhs2[221]: 6 -1.38384 0 shouldn't be 334.12/335.14 WSVECS04 Frhs2[225]: 6 -0.968963 0 shouldn't be 334.12/335.14 WSVECS04 Frhs2[232]: 6 0 4.07515 shouldn't be 334.12/335.14 WSVECS04 Frhs2[236]: 6 0 0.57757 shouldn't be 334.12/335.14 WSVECS04 Frhs2[240]: 6 0 2.89495 shouldn't be 334.12/335.14 WSVECS04 Frhs2[250]: 6 0 1.48989 shouldn't be 334.12/335.14 WSVECS04 Frhs2[253]: 6 -2.91332 0 shouldn't be 334.12/335.14 WSVECS04 Frhs2[254]: 6 0 1.00002 shouldn't be 334.12/335.14 WSVECS04 Frhs2[257]: 6 0 2.67551 shouldn't be 334.12/335.14 WSVECS04 Frhs2[258]: 6 -1.16236 0 shouldn't be 334.12/335.14 WSVECS04 Frhs2[300]: 6 0 2.17332 shouldn't be 334.12/335.14 WSVECS04 Frhs2[303]: 6 0 2.81152 shouldn't be 334.12/335.14 WSVECS04 Frhs2[304]: 6 -0.618326 0 shouldn't be 334.12/335.14 WSVECS04 Frhs2[324]: 6 -2.78603 0 shouldn't be 334.12/335.14 WSVECS04 Frhs2[333]: 6 0 2.88104 shouldn't be 334.12/335.14 WSVECS04 Frhs2[334]: 6 -0.471766 0 shouldn't be 346.77/347.89 c #Conflicts: 335000 | #Constraints: 43726 346.77/347.89 c #Conflicts: 336000 | #Constraints: 44726 346.77/347.89 c #Conflicts: 337000 | #Constraints: 45727 346.77/347.89 c #Conflicts: 338000 | #Constraints: 46728 346.77/347.89 c #Conflicts: 339000 | #Constraints: 47729 346.77/347.89 c #Conflicts: 340000 | #Constraints: 48729 346.77/347.89 c #Conflicts: 341000 | #Constraints: 49729 346.77/347.89 c #Conflicts: 342000 | #Constraints: 50730 346.77/347.89 WSVECS04 Frhs2[167]: 6 0 2.40999 shouldn't be 346.77/347.89 WSVECS04 Frhs2[174]: 6 0 2.85758 shouldn't be 346.77/347.89 WSVECS04 Frhs2[203]: 6 -7.85569 0 shouldn't be 346.77/347.89 WSVECS04 Frhs2[206]: 6 -7.1049 0 shouldn't be 346.77/347.89 WSVECS04 Frhs2[218]: 6 0 2.61816 shouldn't be 346.77/347.89 WSVECS04 Frhs2[225]: 6 0 2.48513 shouldn't be 346.77/347.89 WSVECS04 Frhs2[233]: 6 0 4.51804 shouldn't be 346.77/347.89 WSVECS04 Frhs2[240]: 6 0 2.20192 shouldn't be 346.77/347.89 WSVECS04 Frhs2[248]: 6 0 1.01365 shouldn't be 346.77/347.89 WSVECS04 Frhs2[263]: 6 0 1.00005 shouldn't be 346.77/347.89 WSVECS04 Frhs2[267]: 6 0 2.00004 shouldn't be 346.77/347.89 WSVECS04 Frhs2[270]: 6 -0.878909 0 shouldn't be 346.77/347.89 WSVECS04 Frhs2[276]: 6 0 2.59921 shouldn't be 346.77/347.89 WSVECS04 Frhs2[300]: 6 0 2.3373 shouldn't be 346.77/347.89 WSVECS04 Frhs2[333]: 6 -2.78619 0 shouldn't be 356.85/357.90 c #Conflicts: 343000 | #Constraints: 51731 356.85/357.90 c #Conflicts: 344000 | #Constraints: 52732 356.85/357.90 c #Conflicts: 345000 | #Constraints: 53732 356.85/357.90 c #Conflicts: 346000 | #Constraints: 54732 356.85/357.90 c #Conflicts: 347000 | #Constraints: 55733 356.85/357.90 WSVECS04 Frhs2[199]: 6 0 3.26278 shouldn't be 356.85/357.90 WSVECS04 Frhs2[200]: 6 -1.27287 0 shouldn't be 356.85/357.90 WSVECS04 Frhs2[201]: 6 0 3.41489 shouldn't be 356.85/357.90 WSVECS04 Frhs2[204]: 6 0 2.00007 shouldn't be 356.85/357.90 WSVECS04 Frhs2[212]: 6 -4.84913 0 shouldn't be 356.85/357.90 WSVECS04 Frhs2[215]: 6 -4.46052 0 shouldn't be 356.85/357.90 WSVECS04 Frhs2[220]: 6 0 1.2548 shouldn't be 356.85/357.90 WSVECS04 Frhs2[231]: 6 -5.20829 0 shouldn't be 356.85/357.90 WSVECS04 Frhs2[235]: 6 -3.86326 0 shouldn't be 356.85/357.90 WSVECS04 Frhs2[246]: 6 0 3.24661 shouldn't be 356.85/357.90 WSVECS04 Frhs2[249]: 6 0 2.66634 shouldn't be 356.85/357.90 WSVECS04 Frhs2[260]: 6 -2.89577 0 shouldn't be 356.85/357.90 WSVECS04 Frhs2[293]: 6 -2.32605 0 shouldn't be 356.85/357.90 WSVECS04 Frhs2[296]: 6 -1.00008 0 shouldn't be 356.85/357.90 WSVECS04 Frhs2[348]: 6 0 2.47362 shouldn't be 357.64/358.75 c #Conflicts: 348000 | #Constraints: 56734 357.64/358.75 c INPROCESSING 357.64/358.75 c GARBAGE COLLECT 357.64/358.75 c rational objective -183 375.09/376.22 c #Conflicts: 349000 | #Constraints: 35715 375.09/376.22 c #Conflicts: 350000 | #Constraints: 36716 375.09/376.22 c #Conflicts: 351000 | #Constraints: 37720 375.09/376.22 c #Conflicts: 352000 | #Constraints: 38724 375.09/376.22 c #Conflicts: 353000 | #Constraints: 39729 375.09/376.22 c #Conflicts: 354000 | #Constraints: 40732 375.09/376.22 c #Conflicts: 355000 | #Constraints: 41735 375.09/376.22 c #Conflicts: 356000 | #Constraints: 42738 375.09/376.22 c #Conflicts: 357000 | #Constraints: 43743 375.09/376.22 c #Conflicts: 358000 | #Constraints: 44747 375.09/376.22 c #Conflicts: 359000 | #Constraints: 45750 375.09/376.22 c #Conflicts: 360000 | #Constraints: 46753 375.09/376.22 c #Conflicts: 361000 | #Constraints: 47756 375.09/376.22 c #Conflicts: 362000 | #Constraints: 48760 375.09/376.22 c #Conflicts: 363000 | #Constraints: 49764 375.09/376.22 c INPROCESSING 375.09/376.22 c GARBAGE COLLECT 375.09/376.22 c rational objective -183 379.68/380.85 c #Conflicts: 364000 | #Constraints: 32979 379.68/380.85 c #Conflicts: 365000 | #Constraints: 33979 379.68/380.85 c #Conflicts: 366000 | #Constraints: 34980 379.68/380.85 WSVECS04 Frhs2[1]: 6 0 2.00007 shouldn't be 379.68/380.85 WSVECS04 Frhs2[8]: 6 -2.8836 0 shouldn't be 379.68/380.85 WSVECS04 Frhs2[9]: 6 -2.99996 0 shouldn't be 379.68/380.85 WSVECS04 Frhs2[18]: 6 0 3.5766 shouldn't be 379.68/380.85 WSVECS04 Frhs2[27]: 6 -1.13864 0 shouldn't be 379.68/380.85 WSVECS04 Frhs2[33]: 6 -2.16155 0 shouldn't be 379.68/380.85 WSVECS04 Frhs2[34]: 6 -3.00007 0 shouldn't be 379.68/380.85 WSVECS04 Frhs2[35]: 6 -8.14366 0 shouldn't be 379.68/380.85 WSVECS04 Frhs2[43]: 6 0 3.1749 shouldn't be 379.68/380.85 WSVECS04 Frhs2[57]: 6 0 1.00003 shouldn't be 379.68/380.85 WSVECS04 Frhs2[58]: 6 0 3.71598 shouldn't be 379.68/380.85 WSVECS04 Frhs2[59]: 6 0 3.3561 shouldn't be 379.68/380.85 WSVECS04 Frhs2[67]: 6 -5.00633 0 shouldn't be 379.68/380.85 WSVECS04 Frhs2[181]: 6 0 3.12537 shouldn't be 379.68/380.85 WSVECS04 Frhs2[182]: 6 0 7.40264 shouldn't be 379.68/380.85 WSVECS04 Frhs2[190]: 6 -5.89003 0 shouldn't be 379.68/380.85 WSVECS04 Frhs2[199]: 6 0 3.00004 shouldn't be 379.68/380.85 WSVECS04 Frhs2[223]: 6 -3.96744 0 shouldn't be 386.87/388.01 c #Conflicts: 367000 | #Constraints: 35981 386.87/388.01 c #Conflicts: 368000 | #Constraints: 36981 386.87/388.01 c #Conflicts: 369000 | #Constraints: 37982 386.87/388.01 c #Conflicts: 370000 | #Constraints: 38983 386.87/388.01 c #Conflicts: 371000 | #Constraints: 39983 386.87/388.01 c #Conflicts: 372000 | #Constraints: 40983 386.87/388.01 WSVECS04 Frhs2[56]: 6 0 0.302096 shouldn't be 386.87/388.01 WSVECS04 Frhs2[58]: 6 0 2.17901 shouldn't be 386.87/388.01 WSVECS04 Frhs2[61]: 6 0 1.55125 shouldn't be 386.87/388.01 WSVECS04 Frhs2[64]: 6 -2.30198 0 shouldn't be 386.87/388.01 WSVECS04 Frhs2[65]: 6 0 2.585 shouldn't be 386.87/388.01 WSVECS04 Frhs2[72]: 6 -0.241417 0 shouldn't be 386.87/388.01 WSVECS04 Frhs2[163]: 6 0 2.71348 shouldn't be 386.87/388.01 WSVECS04 Frhs2[166]: 6 0 1.399 shouldn't be 386.87/388.01 WSVECS04 Frhs2[169]: 6 -2.00002 0 shouldn't be 386.87/388.01 WSVECS04 Frhs2[170]: 6 0 2.37563 shouldn't be 386.87/388.01 WSVECS04 Frhs2[177]: 6 -1.00621 0 shouldn't be 386.87/388.01 WSVECS04 Frhs2[201]: 6 0 2.00002 shouldn't be 386.87/388.01 WSVECS04 Frhs2[204]: 6 -1.13177 0 shouldn't be 386.87/388.01 WSVECS04 Frhs2[205]: 6 0 2.00009 shouldn't be 386.87/388.01 WSVECS04 Frhs2[212]: 6 -2.23334 0 shouldn't be 386.87/388.01 WSVECS04 Frhs2[249]: 6 -3.00819 0 shouldn't be 386.87/388.01 WSVECS04 Frhs2[250]: 6 0 2.02647 shouldn't be 386.87/388.01 WSVECS04 Frhs2[257]: 6 -3.70504 0 shouldn't be 386.87/388.01 WSVECS04 Frhs2[286]: 6 -4.82789 0 shouldn't be 386.87/388.01 WSVECS04 Frhs2[293]: 6 0 3.99384 shouldn't be 386.87/388.01 WSVECS04 Frhs2[303]: 6 -1.2994 0 shouldn't be 409.90/411.13 c #Conflicts: 373000 | #Constraints: 41984 409.90/411.13 c #Conflicts: 374000 | #Constraints: 42984 409.90/411.13 c #Conflicts: 375000 | #Constraints: 43985 409.90/411.13 c #Conflicts: 376000 | #Constraints: 44986 409.90/411.13 c #Conflicts: 377000 | #Constraints: 45987 409.90/411.13 c #Conflicts: 378000 | #Constraints: 46988 409.90/411.13 c #Conflicts: 379000 | #Constraints: 47989 409.90/411.13 c #Conflicts: 380000 | #Constraints: 48990 409.90/411.13 c #Conflicts: 381000 | #Constraints: 49990 409.90/411.13 c #Conflicts: 382000 | #Constraints: 50990 409.90/411.13 c #Conflicts: 383000 | #Constraints: 51990 409.90/411.13 c #Conflicts: 384000 | #Constraints: 52990 409.90/411.13 c #Conflicts: 385000 | #Constraints: 53990 409.90/411.13 c #Conflicts: 386000 | #Constraints: 54991 409.90/411.13 WSVECS04 Frhs2[100]: 6 0 1.27885 shouldn't be 409.90/411.13 WSVECS04 Frhs2[102]: 6 -1.94618 0 shouldn't be 409.90/411.13 WSVECS04 Frhs2[104]: 6 -3.42983 0 shouldn't be 409.90/411.13 WSVECS04 Frhs2[109]: 6 -0.0934272 0 shouldn't be 409.90/411.13 WSVECS04 Frhs2[117]: 6 0 1.13123 shouldn't be 409.90/411.13 WSVECS04 Frhs2[120]: 6 0 1.00002 shouldn't be 409.90/411.13 WSVECS04 Frhs2[142]: 6 -0.239776 0 shouldn't be 409.90/411.13 WSVECS04 Frhs2[143]: 6 -1.28115 0 shouldn't be 409.90/411.13 WSVECS04 Frhs2[145]: 6 -0.472482 0 shouldn't be 409.90/411.13 WSVECS04 Frhs2[150]: 6 -2.75604 0 shouldn't be 409.90/411.13 WSVECS04 Frhs2[158]: 6 0 1.00006 shouldn't be 409.90/411.13 WSVECS04 Frhs2[161]: 6 0 0.120448 shouldn't be 409.90/411.13 WSVECS04 Frhs2[162]: 6 0 2.66618 shouldn't be 409.90/411.13 WSVECS04 Frhs2[164]: 6 0 1.00009 shouldn't be 409.90/411.13 WSVECS04 Frhs2[169]: 6 0 3.00002 shouldn't be 409.90/411.13 WSVECS04 Frhs2[177]: 6 -1.15065 0 shouldn't be 409.90/411.13 WSVECS04 Frhs2[180]: 6 -3.44325 0 shouldn't be 409.90/411.13 WSVECS04 Frhs2[182]: 6 0 0.228209 shouldn't be 409.90/411.13 WSVECS04 Frhs2[187]: 6 0 3.00009 shouldn't be 409.90/411.13 WSVECS04 Frhs2[195]: 6 -0.53009 0 shouldn't be 409.90/411.13 WSVECS04 Frhs2[196]: 6 -2.91323 0 shouldn't be 409.90/411.13 WSVECS04 Frhs2[198]: 6 -2.5126 0 shouldn't be 409.90/411.13 WSVECS04 Frhs2[232]: 6 -2.48692 0 shouldn't be 409.90/411.13 WSVECS04 Frhs2[235]: 6 -1.52265 0 shouldn't be 409.90/411.13 WSVECS04 Frhs2[249]: 6 0 1.60653 shouldn't be 409.90/411.13 WSVECS04 Frhs2[257]: 6 -2.62233 0 shouldn't be 409.90/411.13 WSVECS04 Frhs2[258]: 6 -1.90963 0 shouldn't be 409.90/411.13 WSVECS04 Frhs2[260]: 6 -0.145766 0 shouldn't be 409.90/411.13 WSVECS04 Frhs2[294]: 6 -0.773594 0 shouldn't be 409.90/411.13 WSVECS04 Frhs2[296]: 6 -2.2904 0 shouldn't be 409.90/411.13 WSVECS04 Frhs2[350]: 6 0 2.00003 shouldn't be 441.59/442.93 c #Conflicts: 387000 | #Constraints: 55992 441.59/442.93 c #Conflicts: 388000 | #Constraints: 56992 441.59/442.93 c bounds -180 >= -182 @ 407.901 441.59/442.93 c #Conflicts: 389000 | #Constraints: 58037 441.59/442.93 c #Conflicts: 390000 | #Constraints: 59041 441.59/442.93 c #Conflicts: 391000 | #Constraints: 60044 441.59/442.93 c #Conflicts: 392000 | #Constraints: 61047 441.59/442.93 c #Conflicts: 393000 | #Constraints: 62054 441.59/442.93 c #Conflicts: 394000 | #Constraints: 63062 441.59/442.93 c #Conflicts: 395000 | #Constraints: 64066 441.59/442.93 c #Conflicts: 396000 | #Constraints: 65068 441.59/442.93 c #Conflicts: 397000 | #Constraints: 66072 441.59/442.93 c #Conflicts: 398000 | #Constraints: 67076 441.59/442.93 c #Conflicts: 399000 | #Constraints: 68079 441.59/442.93 c #Conflicts: 400000 | #Constraints: 69084 441.59/442.93 c #Conflicts: 401000 | #Constraints: 70087 441.59/442.93 c #Conflicts: 402000 | #Constraints: 71093 441.59/442.93 c #Conflicts: 403000 | #Constraints: 72097 441.59/442.93 c #Conflicts: 404000 | #Constraints: 73100 441.59/442.93 c #Conflicts: 405000 | #Constraints: 74102 441.59/442.93 c #Conflicts: 406000 | #Constraints: 75105 441.59/442.93 c INPROCESSING 441.59/442.93 c GARBAGE COLLECT 441.59/442.93 c rational objective -182 443.80/445.19 c #Conflicts: 407000 | #Constraints: 44859 443.80/445.19 WSVECS04 Frhs2[58]: 6 0 1.75886 shouldn't be 443.80/445.19 WSVECS04 Frhs2[60]: 6 -1.6012 0 shouldn't be 443.80/445.19 WSVECS04 Frhs2[66]: 6 -2.39078 0 shouldn't be 443.80/445.19 WSVECS04 Frhs2[67]: 6 0 3.93125 shouldn't be 443.80/445.19 WSVECS04 Frhs2[69]: 6 0 2.60126 shouldn't be 443.80/445.19 WSVECS04 Frhs2[200]: 6 -4.4171 0 shouldn't be 443.80/445.19 WSVECS04 Frhs2[208]: 6 0 1.37025 shouldn't be 443.80/445.19 WSVECS04 Frhs2[209]: 6 0 1.00005 shouldn't be 443.80/445.19 WSVECS04 Frhs2[212]: 6 0 1.95147 shouldn't be 443.80/445.19 WSVECS04 Frhs2[216]: 6 0 3.07746 shouldn't be 443.80/445.19 WSVECS04 Frhs2[223]: 6 -1.83528 0 shouldn't be 443.80/445.19 WSVECS04 Frhs2[225]: 6 -0.77805 0 shouldn't be 443.80/445.19 WSVECS04 Frhs2[237]: 6 0 3.00006 shouldn't be 443.80/445.19 WSVECS04 Frhs2[238]: 6 -1.10682 0 shouldn't be 443.80/445.19 WSVECS04 Frhs2[239]: 6 -4.85117 0 shouldn't be 443.80/445.19 WSVECS04 Frhs2[240]: 6 -1.37724 0 shouldn't be 443.80/445.19 WSVECS04 Frhs2[245]: 6 0 1.89594 shouldn't be 443.80/445.19 WSVECS04 Frhs2[308]: 6 -0.639142 0 shouldn't be 443.80/445.19 WSVECS04 Frhs2[309]: 6 -3.15378 0 shouldn't be 443.80/445.19 WSVECS04 Frhs2[312]: 6 -2.39461 0 shouldn't be 443.80/445.19 WSVECS04 Frhs2[314]: 6 0 3.17552 shouldn't be 443.80/445.19 WSVECS04 Frhs2[317]: 6 0 1.00007 shouldn't be 443.80/445.19 WSVECS04 Frhs2[320]: 6 0 0.693158 shouldn't be 443.80/445.19 WSVECS04 Frhs2[322]: 6 -1.00004 0 shouldn't be 443.80/445.19 WSVECS04 Frhs2[324]: 6 0 1.90332 shouldn't be 443.80/445.19 WSVECS04 Frhs2[333]: 6 0 2.7792 shouldn't be 443.80/445.19 WSVECS04 Frhs2[335]: 6 -1.83092 0 shouldn't be 453.96/455.30 c #Conflicts: 408000 | #Constraints: 45860 453.96/455.30 c #Conflicts: 409000 | #Constraints: 46860 453.96/455.30 c #Conflicts: 410000 | #Constraints: 47861 453.96/455.30 c #Conflicts: 411000 | #Constraints: 48861 453.96/455.30 c #Conflicts: 412000 | #Constraints: 49862 453.96/455.30 WSVECS04 Frhs2[23]: 6 0 5.15363 shouldn't be 453.96/455.30 WSVECS04 Frhs2[228]: 6 -5.4926 0 shouldn't be 453.96/455.30 WSVECS04 Frhs2[243]: 6 0 4.15868 shouldn't be 453.96/455.30 WSVECS04 Frhs2[320]: 6 -8.54131 0 shouldn't be 462.93/464.31 c #Conflicts: 413000 | #Constraints: 50863 462.93/464.31 c #Conflicts: 414000 | #Constraints: 51863 462.93/464.31 c #Conflicts: 415000 | #Constraints: 52864 462.93/464.31 c #Conflicts: 416000 | #Constraints: 53864 462.93/464.31 c #Conflicts: 417000 | #Constraints: 54865 462.93/464.31 WSVECS04 Frhs2[13]: 6 -1.51051 0 shouldn't be 462.93/464.31 WSVECS04 Frhs2[16]: 6 0 1.70323 shouldn't be 462.93/464.31 WSVECS04 Frhs2[19]: 6 0 2.04466 shouldn't be 462.93/464.31 WSVECS04 Frhs2[218]: 6 -3.44646 0 shouldn't be 462.93/464.31 WSVECS04 Frhs2[221]: 6 0 1.16435 shouldn't be 462.93/464.31 WSVECS04 Frhs2[233]: 6 0 1.00002 shouldn't be 462.93/464.31 WSVECS04 Frhs2[236]: 6 -0.547271 0 shouldn't be 462.93/464.31 WSVECS04 Frhs2[240]: 6 -1.75288 0 shouldn't be 462.93/464.31 WSVECS04 Frhs2[247]: 6 0 2.00002 shouldn't be 462.93/464.31 WSVECS04 Frhs2[250]: 6 -4.2039 0 shouldn't be 462.93/464.31 WSVECS04 Frhs2[253]: 6 -3.18758 0 shouldn't be 462.93/464.31 WSVECS04 Frhs2[263]: 6 -0.635957 0 shouldn't be 462.93/464.31 WSVECS04 Frhs2[266]: 6 -0.119204 0 shouldn't be 462.93/464.31 WSVECS04 Frhs2[270]: 6 0 0.745426 shouldn't be 462.93/464.31 WSVECS04 Frhs2[271]: 6 0 1.00009 shouldn't be 462.93/464.31 WSVECS04 Frhs2[300]: 6 0 2.43159 shouldn't be 462.93/464.31 WSVECS04 Frhs2[303]: 6 -3.58487 0 shouldn't be 462.93/464.31 WSVECS04 Frhs2[324]: 6 0 1.75687 shouldn't be 462.93/464.31 WSVECS04 Frhs2[328]: 6 -3.39465 0 shouldn't be 462.93/464.31 WSVECS04 Frhs2[333]: 6 -1.31291 0 shouldn't be 462.93/464.31 WSVECS04 Frhs2[334]: 6 -0.696914 0 shouldn't be 471.80/473.21 c #Conflicts: 418000 | #Constraints: 55866 471.80/473.21 c #Conflicts: 419000 | #Constraints: 56866 471.80/473.21 c #Conflicts: 420000 | #Constraints: 57866 471.80/473.21 c #Conflicts: 421000 | #Constraints: 58866 471.80/473.21 c #Conflicts: 422000 | #Constraints: 59867 471.80/473.21 c INPROCESSING 471.80/473.21 c GARBAGE COLLECT 471.80/473.21 WSVECS04 Frhs2[80]: 6 -3.35523 0 shouldn't be 471.80/473.21 WSVECS04 Frhs2[87]: 6 -0.646959 0 shouldn't be 471.80/473.21 WSVECS04 Frhs2[88]: 6 0 1.18184 shouldn't be 471.80/473.21 WSVECS04 Frhs2[91]: 6 -3.31997 0 shouldn't be 471.80/473.21 WSVECS04 Frhs2[93]: 6 0 1.00004 shouldn't be 471.80/473.21 WSVECS04 Frhs2[94]: 6 0 2.45624 shouldn't be 471.80/473.21 WSVECS04 Frhs2[187]: 6 0 2.17759 shouldn't be 471.80/473.21 WSVECS04 Frhs2[188]: 6 -2.22133 0 shouldn't be 471.80/473.21 WSVECS04 Frhs2[191]: 6 0 1.00008 shouldn't be 471.80/473.21 WSVECS04 Frhs2[193]: 6 -1.19472 0 shouldn't be 471.80/473.21 WSVECS04 Frhs2[197]: 6 0 1.00005 shouldn't be 471.80/473.21 WSVECS04 Frhs2[279]: 6 -9.43602 0 shouldn't be 471.80/473.21 WSVECS04 Frhs2[289]: 6 0 1.26136 shouldn't be 471.80/473.21 WSVECS04 Frhs2[291]: 6 -3.907 0 shouldn't be 471.80/473.21 WSVECS04 Frhs2[292]: 6 -1.56717 0 shouldn't be 471.80/473.21 WSVECS04 Frhs2[295]: 6 0 1.53264 shouldn't be 471.80/473.21 WSVECS04 Frhs2[299]: 6 -3.25733 0 shouldn't be 471.80/473.21 WSVECS04 Frhs2[302]: 6 0 1.26445 shouldn't be 471.80/473.21 WSVECS04 Frhs2[315]: 6 -7.52448 0 shouldn't be 471.80/473.21 WSVECS04 Frhs2[325]: 6 -0.200555 0 shouldn't be 471.80/473.21 WSVECS04 Frhs2[329]: 6 0 1.52195 shouldn't be 471.80/473.21 WSVECS04 Frhs2[337]: 6 0 1.00009 shouldn't be 471.80/473.21 WSVECS04 Frhs2[344]: 6 -2.6581 0 shouldn't be 471.91/473.30 c rational objective -182 545.19/546.86 c #Conflicts: 423000 | #Constraints: 37102 545.19/546.86 c #Conflicts: 424000 | #Constraints: 38104 545.19/546.86 c #Conflicts: 425000 | #Constraints: 39108 545.19/546.86 c #Conflicts: 426000 | #Constraints: 40112 545.19/546.86 c #Conflicts: 427000 | #Constraints: 41117 545.19/546.86 c #Conflicts: 428000 | #Constraints: 42120 545.19/546.86 c #Conflicts: 429000 | #Constraints: 43124 545.19/546.86 c #Conflicts: 430000 | #Constraints: 44126 545.19/546.86 c #Conflicts: 431000 | #Constraints: 45129 545.19/546.86 c #Conflicts: 432000 | #Constraints: 46131 545.19/546.86 c #Conflicts: 433000 | #Constraints: 47138 545.19/546.86 c #Conflicts: 434000 | #Constraints: 48143 545.19/546.86 c #Conflicts: 435000 | #Constraints: 49147 545.19/546.86 c #Conflicts: 436000 | #Constraints: 50151 545.19/546.86 c #Conflicts: 437000 | #Constraints: 51156 545.19/546.86 c #Conflicts: 438000 | #Constraints: 52161 545.19/546.86 c #Conflicts: 439000 | #Constraints: 53167 545.19/546.86 c #Conflicts: 440000 | #Constraints: 54172 545.19/546.86 c #Conflicts: 441000 | #Constraints: 55177 545.19/546.86 c #Conflicts: 442000 | #Constraints: 56182 545.19/546.86 c #Conflicts: 443000 | #Constraints: 57186 545.19/546.86 c #Conflicts: 444000 | #Constraints: 58187 545.19/546.86 c #Conflicts: 445000 | #Constraints: 59191 545.19/546.86 c #Conflicts: 446000 | #Constraints: 60198 545.19/546.86 c #Conflicts: 447000 | #Constraints: 61200 545.19/546.86 c #Conflicts: 448000 | #Constraints: 62203 545.19/546.86 c #Conflicts: 449000 | #Constraints: 63205 545.19/546.86 c #Conflicts: 450000 | #Constraints: 64209 545.19/546.86 c #Conflicts: 451000 | #Constraints: 65212 545.19/546.86 c #Conflicts: 452000 | #Constraints: 66216 545.19/546.86 c #Conflicts: 453000 | #Constraints: 67220 545.19/546.86 c #Conflicts: 454000 | #Constraints: 68223 545.19/546.86 c #Conflicts: 455000 | #Constraints: 69226 545.19/546.86 c #Conflicts: 456000 | #Constraints: 70229 545.19/546.86 c #Conflicts: 457000 | #Constraints: 71231 545.19/546.86 c #Conflicts: 458000 | #Constraints: 72235 545.19/546.86 c #Conflicts: 459000 | #Constraints: 73238 545.19/546.86 c #Conflicts: 460000 | #Constraints: 74244 545.19/546.86 c #Conflicts: 461000 | #Constraints: 75250 545.19/546.86 c #Conflicts: 462000 | #Constraints: 76253 545.19/546.86 c #Conflicts: 463000 | #Constraints: 77257 545.19/546.86 c #Conflicts: 464000 | #Constraints: 78260 545.19/546.86 c #Conflicts: 465000 | #Constraints: 79262 545.19/546.86 c #Conflicts: 466000 | #Constraints: 80266 545.19/546.86 c #Conflicts: 467000 | #Constraints: 81271 545.19/546.86 c #Conflicts: 468000 | #Constraints: 82276 545.19/546.86 c INPROCESSING 545.19/546.86 c GARBAGE COLLECT 545.19/546.86 c rational objective -182 548.28/549.93 c #Conflicts: 469000 | #Constraints: 48204 548.28/549.93 c #Conflicts: 470000 | #Constraints: 49204 548.28/549.93 WSVECS04 Frhs2[1]: 6 -13.0072 0 shouldn't be 548.28/549.93 WSVECS04 Frhs2[2]: 6 0 5.52213 shouldn't be 548.28/549.93 WSVECS04 Frhs2[8]: 6 0 4.56444 shouldn't be 548.28/549.93 WSVECS04 Frhs2[10]: 6 0 1.90672 shouldn't be 548.28/549.93 WSVECS04 Frhs2[22]: 6 -10.3423 0 shouldn't be 548.28/549.93 WSVECS04 Frhs2[27]: 6 -0.771182 0 shouldn't be 548.28/549.93 WSVECS04 Frhs2[33]: 6 -4.81032 0 shouldn't be 548.28/549.93 WSVECS04 Frhs2[35]: 6 -3.4165 0 shouldn't be 548.28/549.93 WSVECS04 Frhs2[57]: 6 0 6.77116 shouldn't be 548.28/549.93 WSVECS04 Frhs2[59]: 6 0 1.00006 shouldn't be 548.28/549.93 WSVECS04 Frhs2[71]: 6 -4.52052 0 shouldn't be 548.28/549.93 WSVECS04 Frhs2[182]: 6 0 2.47447 shouldn't be 548.28/549.93 WSVECS04 Frhs2[194]: 6 -3.41497 0 shouldn't be 548.28/549.93 WSVECS04 Frhs2[227]: 6 -2.55996 0 shouldn't be 557.47/559.14 c #Conflicts: 471000 | #Constraints: 50205 557.47/559.14 c #Conflicts: 472000 | #Constraints: 51205 557.47/559.14 c #Conflicts: 473000 | #Constraints: 52205 557.47/559.14 c #Conflicts: 474000 | #Constraints: 53206 557.47/559.14 WSVECS04 Frhs2[103]: 6 0 1.91242 shouldn't be 557.47/559.14 WSVECS04 Frhs2[104]: 6 0 2.32806 shouldn't be 557.47/559.14 WSVECS04 Frhs2[113]: 6 0 0.886152 shouldn't be 557.47/559.14 WSVECS04 Frhs2[114]: 6 0 1.306 shouldn't be 557.47/559.14 WSVECS04 Frhs2[117]: 6 0 2.00007 shouldn't be 557.47/559.14 WSVECS04 Frhs2[119]: 6 -2.62605 0 shouldn't be 557.47/559.14 WSVECS04 Frhs2[162]: 6 0 1.00007 shouldn't be 557.47/559.14 WSVECS04 Frhs2[163]: 6 -2.79599 0 shouldn't be 557.47/559.14 WSVECS04 Frhs2[164]: 6 -1.39075 0 shouldn't be 557.47/559.14 WSVECS04 Frhs2[165]: 6 0 1.00007 shouldn't be 557.47/559.14 WSVECS04 Frhs2[174]: 6 -0.20916 0 shouldn't be 557.47/559.14 WSVECS04 Frhs2[179]: 6 0 2.64149 shouldn't be 557.47/559.14 WSVECS04 Frhs2[180]: 6 0 3.35127 shouldn't be 557.47/559.14 WSVECS04 Frhs2[181]: 6 -2.99395 0 shouldn't be 557.47/559.14 WSVECS04 Frhs2[182]: 6 -1.36664 0 shouldn't be 557.47/559.14 WSVECS04 Frhs2[183]: 6 0 3.00005 shouldn't be 557.47/559.14 WSVECS04 Frhs2[191]: 6 -1.5933 0 shouldn't be 557.47/559.14 WSVECS04 Frhs2[192]: 6 -1.00005 0 shouldn't be 557.47/559.14 WSVECS04 Frhs2[195]: 6 -0.730144 0 shouldn't be 557.47/559.14 WSVECS04 Frhs2[197]: 6 0 1.2209 shouldn't be 557.47/559.14 WSVECS04 Frhs2[198]: 6 0 2.00008 shouldn't be 557.47/559.14 WSVECS04 Frhs2[199]: 6 0 1.00003 shouldn't be 557.47/559.14 WSVECS04 Frhs2[200]: 6 -1.15217 0 shouldn't be 557.47/559.14 WSVECS04 Frhs2[209]: 6 0 1.41275 shouldn't be 557.47/559.14 WSVECS04 Frhs2[212]: 6 0 2.37754 shouldn't be 557.47/559.14 WSVECS04 Frhs2[216]: 6 -0.512622 0 shouldn't be 557.47/559.14 WSVECS04 Frhs2[224]: 6 0 1.00002 shouldn't be 557.47/559.14 WSVECS04 Frhs2[225]: 6 0 0.354338 shouldn't be 557.47/559.14 WSVECS04 Frhs2[228]: 6 0 1.61961 shouldn't be 557.47/559.14 WSVECS04 Frhs2[230]: 6 -0.413625 0 shouldn't be 557.47/559.14 WSVECS04 Frhs2[240]: 6 -2.2211 0 shouldn't be 557.47/559.14 WSVECS04 Frhs2[245]: 6 0 1.00006 shouldn't be 557.47/559.14 WSVECS04 Frhs2[324]: 6 0 1.65601 shouldn't be 557.47/559.14 WSVECS04 Frhs2[327]: 6 0 1.21675 shouldn't be 557.47/559.14 WSVECS04 Frhs2[330]: 6 -1.54398 0 shouldn't be 557.47/559.14 WSVECS04 Frhs2[333]: 6 0 2.96442 shouldn't be 557.47/559.14 WSVECS04 Frhs2[335]: 6 -1.87213 0 shouldn't be 557.47/559.14 WSVECS04 Frhs2[336]: 6 -2.12659 0 shouldn't be 557.47/559.14 WSVECS04 Frhs2[347]: 6 -2.78268 0 shouldn't be 557.47/559.14 WSVECS04 Frhs2[348]: 6 -2.45204 0 shouldn't be 557.47/559.14 WSVECS04 Frhs2[351]: 6 0 1.79275 shouldn't be 569.02/570.74 c #Conflicts: 475000 | #Constraints: 54206 569.02/570.74 c #Conflicts: 476000 | #Constraints: 55206 569.02/570.74 c #Conflicts: 477000 | #Constraints: 56207 569.02/570.74 c #Conflicts: 478000 | #Constraints: 57207 569.02/570.74 c #Conflicts: 479000 | #Constraints: 58207 569.02/570.74 c #Conflicts: 480000 | #Constraints: 59208 569.02/570.74 WSVECS04 Frhs2[164]: 6 0 2.79925 shouldn't be 569.02/570.74 WSVECS04 Frhs2[165]: 6 -0.792913 0 shouldn't be 569.02/570.74 WSVECS04 Frhs2[166]: 6 0 2.2326 shouldn't be 569.02/570.74 WSVECS04 Frhs2[169]: 6 -2.70073 0 shouldn't be 569.02/570.74 WSVECS04 Frhs2[171]: 6 0 0.726119 shouldn't be 569.02/570.74 WSVECS04 Frhs2[172]: 6 0 2.0412 shouldn't be 569.02/570.74 WSVECS04 Frhs2[177]: 6 0 1.37751 shouldn't be 569.02/570.74 WSVECS04 Frhs2[216]: 6 -0.617499 0 shouldn't be 569.02/570.74 WSVECS04 Frhs2[217]: 6 0 1.00009 shouldn't be 569.02/570.74 WSVECS04 Frhs2[220]: 6 -3.09114 0 shouldn't be 569.02/570.74 WSVECS04 Frhs2[222]: 6 0 2.41132 shouldn't be 569.02/570.74 WSVECS04 Frhs2[223]: 6 0 3.00002 shouldn't be 569.02/570.74 WSVECS04 Frhs2[228]: 6 0 5.01204 shouldn't be 569.02/570.74 WSVECS04 Frhs2[232]: 6 -3.7807 0 shouldn't be 569.02/570.74 WSVECS04 Frhs2[237]: 6 -0.57642 0 shouldn't be 569.02/570.74 WSVECS04 Frhs2[243]: 6 -17.8452 0 shouldn't be 569.02/570.74 WSVECS04 Frhs2[249]: 6 -1.92895 0 shouldn't be 569.02/570.74 WSVECS04 Frhs2[251]: 6 0 0.39896 shouldn't be 569.02/570.74 WSVECS04 Frhs2[252]: 6 0 3.31636 shouldn't be 569.02/570.74 WSVECS04 Frhs2[287]: 6 -3.22736 0 shouldn't be 569.02/570.74 WSVECS04 Frhs2[288]: 6 -3.52921 0 shouldn't be 569.02/570.74 WSVECS04 Frhs2[293]: 6 -0.775784 0 shouldn't be 569.02/570.74 WSVECS04 Frhs2[307]: 6 0 1.68969 shouldn't be 573.61/575.32 c #Conflicts: 481000 | #Constraints: 60208 573.61/575.32 c #Conflicts: 482000 | #Constraints: 61208 573.61/575.32 WSVECS04 Frhs2[56]: 6 -0.922215 0 shouldn't be 573.61/575.32 WSVECS04 Frhs2[60]: 6 0 1.52048 shouldn't be 573.61/575.32 WSVECS04 Frhs2[65]: 6 -3.73437 0 shouldn't be 573.61/575.32 WSVECS04 Frhs2[74]: 6 0 1.47999 shouldn't be 573.61/575.32 WSVECS04 Frhs2[124]: 6 -0.779441 0 shouldn't be 573.61/575.32 WSVECS04 Frhs2[126]: 6 0 1.00006 shouldn't be 573.61/575.32 WSVECS04 Frhs2[128]: 6 0 1.27458 shouldn't be 573.61/575.32 WSVECS04 Frhs2[134]: 6 -1.28256 0 shouldn't be 573.61/575.32 WSVECS04 Frhs2[135]: 6 -1.45772 0 shouldn't be 573.61/575.32 WSVECS04 Frhs2[137]: 6 0 1.00003 shouldn't be 573.61/575.32 WSVECS04 Frhs2[162]: 6 -0.275403 0 shouldn't be 573.61/575.32 WSVECS04 Frhs2[163]: 6 0 1.00006 shouldn't be 573.61/575.32 WSVECS04 Frhs2[167]: 6 -1.11904 0 shouldn't be 573.61/575.32 WSVECS04 Frhs2[168]: 6 0 1.00009 shouldn't be 573.61/575.32 WSVECS04 Frhs2[170]: 6 0 1.00005 shouldn't be 573.61/575.32 WSVECS04 Frhs2[173]: 6 0 3.27749 shouldn't be 573.61/575.32 WSVECS04 Frhs2[181]: 6 -9.42635 0 shouldn't be 573.61/575.32 WSVECS04 Frhs2[185]: 6 0 0.085861 shouldn't be 573.61/575.32 WSVECS04 Frhs2[186]: 6 -0.642133 0 shouldn't be 573.61/575.32 WSVECS04 Frhs2[191]: 6 -0.0348755 0 shouldn't be 573.61/575.32 WSVECS04 Frhs2[192]: 6 -0.0891066 0 shouldn't be 573.61/575.32 WSVECS04 Frhs2[195]: 6 -15.1608 0 shouldn't be 573.61/575.32 WSVECS04 Frhs2[202]: 6 -2.81109 0 shouldn't be 573.61/575.32 WSVECS04 Frhs2[205]: 6 0 1.00009 shouldn't be 573.61/575.32 WSVECS04 Frhs2[211]: 6 -1.94848 0 shouldn't be 573.61/575.32 WSVECS04 Frhs2[212]: 6 0 5.54042 shouldn't be 573.61/575.32 WSVECS04 Frhs2[233]: 6 0 1.49292 shouldn't be 573.61/575.32 WSVECS04 Frhs2[236]: 6 -0.344748 0 shouldn't be 573.61/575.32 WSVECS04 Frhs2[242]: 6 0 1.00009 shouldn't be 573.61/575.32 WSVECS04 Frhs2[269]: 6 0 2.53871 shouldn't be 573.61/575.32 WSVECS04 Frhs2[275]: 6 0 2.01066 shouldn't be 573.61/575.32 WSVECS04 Frhs2[278]: 6 0 0.111794 shouldn't be 573.61/575.32 WSVECS04 Frhs2[279]: 6 0 1.00001 shouldn't be 573.61/575.32 WSVECS04 Frhs2[281]: 6 -0.416225 0 shouldn't be 573.61/575.32 WSVECS04 Frhs2[284]: 6 -0.381292 0 shouldn't be 573.61/575.32 WSVECS04 Frhs2[300]: 6 0 1.80546 shouldn't be 573.61/575.32 WSVECS04 Frhs2[324]: 6 0 1.76999 shouldn't be 573.61/575.32 WSVECS04 Frhs2[332]: 6 -0.500207 0 shouldn't be 573.61/575.32 WSVECS04 Frhs2[335]: 6 -1.60595 0 shouldn't be 573.61/575.32 WSVECS04 Frhs2[344]: 6 0 1.00002 shouldn't be 582.39/584.14 c #Conflicts: 483000 | #Constraints: 62209 582.39/584.14 c #Conflicts: 484000 | #Constraints: 63209 582.39/584.14 c #Conflicts: 485000 | #Constraints: 64209 582.39/584.14 c #Conflicts: 486000 | #Constraints: 65210 582.39/584.14 c INPROCESSING 582.39/584.14 c GARBAGE COLLECT 582.39/584.14 WSVECS04 Frhs2[54]: 6 0 2.85747 shouldn't be 582.39/584.14 WSVECS04 Frhs2[57]: 6 -1.40512 0 shouldn't be 582.39/584.14 WSVECS04 Frhs2[62]: 6 0 1.00006 shouldn't be 582.39/584.14 WSVECS04 Frhs2[65]: 6 -1.35994 0 shouldn't be 582.39/584.14 WSVECS04 Frhs2[71]: 6 -1.52703 0 shouldn't be 582.39/584.14 WSVECS04 Frhs2[74]: 6 -1.77303 0 shouldn't be 582.39/584.14 WSVECS04 Frhs2[123]: 6 -2.23664 0 shouldn't be 582.39/584.14 WSVECS04 Frhs2[128]: 6 0 1.27673 shouldn't be 582.39/584.14 WSVECS04 Frhs2[131]: 6 -0.378179 0 shouldn't be 582.39/584.14 WSVECS04 Frhs2[140]: 6 -4.64481 0 shouldn't be 582.39/584.14 WSVECS04 Frhs2[185]: 6 -3.9068 0 shouldn't be 582.39/584.14 WSVECS04 Frhs2[194]: 6 0 1.75609 shouldn't be 582.39/584.14 WSVECS04 Frhs2[197]: 6 0 1.00004 shouldn't be 582.39/584.14 WSVECS04 Frhs2[262]: 6 0 1.00008 shouldn't be 582.39/584.14 WSVECS04 Frhs2[263]: 6 -5.7302 0 shouldn't be 582.39/584.14 WSVECS04 Frhs2[272]: 6 -0.360298 0 shouldn't be 582.39/584.14 WSVECS04 Frhs2[292]: 6 -6.52388 0 shouldn't be 582.39/584.14 WSVECS04 Frhs2[295]: 6 -4.72794 0 shouldn't be 582.39/584.14 WSVECS04 Frhs2[302]: 6 0 2.56737 shouldn't be 582.57/584.30 c rational objective -182 584.48/586.20 c #Conflicts: 487000 | #Constraints: 39885 584.48/586.20 WSVECS04 Frhs2[203]: 6 -4.57871 0 shouldn't be 584.48/586.20 WSVECS04 Frhs2[207]: 6 0 2.21206 shouldn't be 584.48/586.20 WSVECS04 Frhs2[238]: 6 0 1.00007 shouldn't be 584.48/586.20 WSVECS04 Frhs2[248]: 6 0 4.12147 shouldn't be 584.48/586.20 WSVECS04 Frhs2[252]: 6 -1.00002 0 shouldn't be 584.48/586.20 WSVECS04 Frhs2[277]: 6 -5.76241 0 shouldn't be 584.48/586.20 WSVECS04 Frhs2[278]: 6 -1.82061 0 shouldn't be 584.48/586.20 WSVECS04 Frhs2[281]: 6 0 3.36917 shouldn't be 584.48/586.20 WSVECS04 Frhs2[282]: 6 0 1.00004 shouldn't be 584.48/586.20 WSVECS04 Frhs2[284]: 6 0 1.25194 shouldn't be 584.48/586.20 WSVECS04 Frhs2[316]: 6 0 1.68775 shouldn't be 584.48/586.20 WSVECS04 Frhs2[320]: 6 -0.566868 0 shouldn't be 584.48/586.20 WSVECS04 Frhs2[322]: 6 -1.67836 0 shouldn't be 590.55/592.38 c #Conflicts: 488000 | #Constraints: 40886 590.55/592.38 c #Conflicts: 489000 | #Constraints: 41887 590.55/592.38 c #Conflicts: 490000 | #Constraints: 42887 590.55/592.38 c #Conflicts: 491000 | #Constraints: 43887 590.55/592.38 c #Conflicts: 492000 | #Constraints: 44887 590.55/592.38 WSVECS04 Frhs2[177]: 6 -12.3191 0 shouldn't be 590.55/592.38 WSVECS04 Frhs2[182]: 6 -9.5326 0 shouldn't be 590.55/592.38 WSVECS04 Frhs2[200]: 6 -6.42165 0 shouldn't be 590.55/592.38 WSVECS04 Frhs2[208]: 6 0 0.489619 shouldn't be 590.55/592.38 WSVECS04 Frhs2[214]: 6 -5.42048 0 shouldn't be 590.55/592.38 WSVECS04 Frhs2[239]: 6 -6.06922 0 shouldn't be 590.55/592.38 WSVECS04 Frhs2[245]: 6 0 2.61526 shouldn't be 590.55/592.38 WSVECS04 Frhs2[329]: 6 -5.3473 0 shouldn't be 596.04/597.89 c #Conflicts: 493000 | #Constraints: 45887 596.04/597.89 c #Conflicts: 494000 | #Constraints: 46887 596.04/597.89 c #Conflicts: 495000 | #Constraints: 47888 596.04/597.89 c #Conflicts: 496000 | #Constraints: 48888 596.04/597.89 WSVECS04 Frhs2[32]: 6 0 0.889024 shouldn't be 596.04/597.89 WSVECS04 Frhs2[36]: 6 0 1.55742 shouldn't be 596.04/597.89 WSVECS04 Frhs2[38]: 6 0 2.72728 shouldn't be 596.04/597.89 WSVECS04 Frhs2[40]: 6 -5.26281 0 shouldn't be 596.04/597.89 WSVECS04 Frhs2[44]: 6 -1.46209 0 shouldn't be 596.04/597.89 WSVECS04 Frhs2[45]: 6 -1.24899 0 shouldn't be 596.04/597.89 WSVECS04 Frhs2[48]: 6 -1.60181 0 shouldn't be 596.04/597.89 WSVECS04 Frhs2[165]: 6 0 3.00006 shouldn't be 596.04/597.89 WSVECS04 Frhs2[167]: 6 0 2.65167 shouldn't be 596.04/597.89 WSVECS04 Frhs2[169]: 6 -1.79772 0 shouldn't be 596.04/597.89 WSVECS04 Frhs2[173]: 6 -1.16259 0 shouldn't be 596.04/597.89 WSVECS04 Frhs2[174]: 6 -3.45885 0 shouldn't be 596.04/597.89 WSVECS04 Frhs2[177]: 6 -5.26465 0 shouldn't be 596.04/597.89 WSVECS04 Frhs2[240]: 6 -6.5574 0 shouldn't be 596.04/597.89 WSVECS04 Frhs2[267]: 6 -6.15121 0 shouldn't be 596.04/597.89 WSVECS04 Frhs2[290]: 6 0 0.622835 shouldn't be 596.04/597.89 WSVECS04 Frhs2[324]: 6 0 3.75118 shouldn't be 596.04/597.89 WSVECS04 Frhs2[333]: 6 0 4.16765 shouldn't be 608.91/610.71 c #Conflicts: 497000 | #Constraints: 49889 608.91/610.71 c #Conflicts: 498000 | #Constraints: 50890 608.91/610.71 c #Conflicts: 499000 | #Constraints: 51890 608.91/610.71 c #Conflicts: 500000 | #Constraints: 52891 608.91/610.71 c #Conflicts: 501000 | #Constraints: 53892 608.91/610.71 c #Conflicts: 502000 | #Constraints: 54893 608.91/610.71 c #Conflicts: 503000 | #Constraints: 55893 608.91/610.71 c #Conflicts: 504000 | #Constraints: 56894 608.91/610.71 c INPROCESSING 608.91/610.71 c GARBAGE COLLECT 608.91/610.71 c rational objective -182 696.94/699.03 c #Conflicts: 505000 | #Constraints: 39513 696.94/699.03 c #Conflicts: 506000 | #Constraints: 40515 696.94/699.03 c #Conflicts: 507000 | #Constraints: 41517 696.94/699.03 c #Conflicts: 508000 | #Constraints: 42520 696.94/699.03 c #Conflicts: 509000 | #Constraints: 43524 696.94/699.03 c #Conflicts: 510000 | #Constraints: 44530 696.94/699.03 c #Conflicts: 511000 | #Constraints: 45538 696.94/699.03 c #Conflicts: 512000 | #Constraints: 46543 696.94/699.03 c #Conflicts: 513000 | #Constraints: 47545 696.94/699.03 c #Conflicts: 514000 | #Constraints: 48546 696.94/699.03 c #Conflicts: 515000 | #Constraints: 49548 696.94/699.03 c #Conflicts: 516000 | #Constraints: 50553 696.94/699.03 c #Conflicts: 517000 | #Constraints: 51556 696.94/699.03 c #Conflicts: 518000 | #Constraints: 52560 696.94/699.03 c #Conflicts: 519000 | #Constraints: 53564 696.94/699.03 c #Conflicts: 520000 | #Constraints: 54569 696.94/699.03 c #Conflicts: 521000 | #Constraints: 55571 696.94/699.03 c #Conflicts: 522000 | #Constraints: 56574 696.94/699.03 c #Conflicts: 523000 | #Constraints: 57577 696.94/699.03 c #Conflicts: 524000 | #Constraints: 58579 696.94/699.03 c #Conflicts: 525000 | #Constraints: 59582 696.94/699.03 c #Conflicts: 526000 | #Constraints: 60585 696.94/699.03 c #Conflicts: 527000 | #Constraints: 61587 696.94/699.03 c #Conflicts: 528000 | #Constraints: 62590 696.94/699.03 c #Conflicts: 529000 | #Constraints: 63591 696.94/699.03 c #Conflicts: 530000 | #Constraints: 64592 696.94/699.03 c #Conflicts: 531000 | #Constraints: 65595 696.94/699.03 c #Conflicts: 532000 | #Constraints: 66598 696.94/699.03 c #Conflicts: 533000 | #Constraints: 67599 696.94/699.03 c #Conflicts: 534000 | #Constraints: 68600 696.94/699.03 c #Conflicts: 535000 | #Constraints: 69603 696.94/699.03 c #Conflicts: 536000 | #Constraints: 70608 696.94/699.03 c #Conflicts: 537000 | #Constraints: 71611 696.94/699.03 c #Conflicts: 538000 | #Constraints: 72614 696.94/699.03 c #Conflicts: 539000 | #Constraints: 73617 696.94/699.03 c #Conflicts: 540000 | #Constraints: 74619 696.94/699.03 c #Conflicts: 541000 | #Constraints: 75621 696.94/699.03 c #Conflicts: 542000 | #Constraints: 76623 696.94/699.03 c #Conflicts: 543000 | #Constraints: 77627 696.94/699.03 c #Conflicts: 544000 | #Constraints: 78629 696.94/699.03 c #Conflicts: 545000 | #Constraints: 79632 696.94/699.03 c #Conflicts: 546000 | #Constraints: 80635 696.94/699.03 c #Conflicts: 547000 | #Constraints: 81637 696.94/699.03 c #Conflicts: 548000 | #Constraints: 82642 696.94/699.03 c #Conflicts: 549000 | #Constraints: 83645 696.94/699.03 c #Conflicts: 550000 | #Constraints: 84647 696.94/699.03 c #Conflicts: 551000 | #Constraints: 85649 696.94/699.03 c #Conflicts: 552000 | #Constraints: 86655 696.94/699.03 c #Conflicts: 553000 | #Constraints: 87658 696.94/699.03 c #Conflicts: 554000 | #Constraints: 88662 696.94/699.03 c INPROCESSING 696.94/699.03 c GARBAGE COLLECT 696.94/699.03 c rational objective -182 699.52/701.68 c #Conflicts: 555000 | #Constraints: 51491 699.52/701.68 WSVECS04 Frhs2[7]: 6 0 1.72397 shouldn't be 699.52/701.68 WSVECS04 Frhs2[9]: 6 -0.903966 0 shouldn't be 699.52/701.68 WSVECS04 Frhs2[12]: 6 -3.34196 0 shouldn't be 699.52/701.68 WSVECS04 Frhs2[16]: 6 0 1.00004 shouldn't be 699.52/701.68 WSVECS04 Frhs2[22]: 6 0 2.0678 shouldn't be 699.52/701.68 WSVECS04 Frhs2[124]: 6 0 1.00005 shouldn't be 699.52/701.68 WSVECS04 Frhs2[127]: 6 0 1.00003 shouldn't be 699.52/701.68 WSVECS04 Frhs2[128]: 6 -0.684871 0 shouldn't be 699.52/701.68 WSVECS04 Frhs2[131]: 6 -1.00009 0 shouldn't be 699.52/701.68 WSVECS04 Frhs2[134]: 6 -1.08625 0 shouldn't be 699.52/701.68 WSVECS04 Frhs2[137]: 6 -1.09955 0 shouldn't be 699.52/701.68 WSVECS04 Frhs2[138]: 6 0 1.00003 shouldn't be 699.52/701.68 WSVECS04 Frhs2[140]: 6 -1.53159 0 shouldn't be 699.52/701.68 WSVECS04 Frhs2[163]: 6 -0.0530353 0 shouldn't be 699.52/701.68 WSVECS04 Frhs2[165]: 6 -3.55248 0 shouldn't be 699.52/701.68 WSVECS04 Frhs2[167]: 6 0 1.00003 shouldn't be 699.52/701.68 WSVECS04 Frhs2[170]: 6 0 2.27475 shouldn't be 699.52/701.68 WSVECS04 Frhs2[173]: 6 0 1.00002 shouldn't be 699.52/701.68 WSVECS04 Frhs2[176]: 6 0 1.00004 shouldn't be 699.52/701.68 WSVECS04 Frhs2[177]: 6 -0.332258 0 shouldn't be 699.52/701.68 WSVECS04 Frhs2[179]: 6 0 3.01339 shouldn't be 699.52/701.68 WSVECS04 Frhs2[200]: 6 0 1.00001 shouldn't be 699.52/701.68 WSVECS04 Frhs2[201]: 6 0 2.06069 shouldn't be 699.52/701.68 WSVECS04 Frhs2[208]: 6 -1.91712 0 shouldn't be 699.52/701.68 WSVECS04 Frhs2[214]: 6 -0.0739504 0 shouldn't be 699.52/701.68 WSVECS04 Frhs2[232]: 6 0 2.85573 shouldn't be 699.52/701.68 WSVECS04 Frhs2[236]: 6 -0.309159 0 shouldn't be 699.52/701.68 WSVECS04 Frhs2[243]: 6 0 0.88821 shouldn't be 699.52/701.68 WSVECS04 Frhs2[247]: 6 -3.05366 0 shouldn't be 699.52/701.68 WSVECS04 Frhs2[256]: 6 -1.85289 0 shouldn't be 699.52/701.68 WSVECS04 Frhs2[263]: 6 0 1.00004 shouldn't be 699.52/701.68 WSVECS04 Frhs2[266]: 6 0 1.86729 shouldn't be 699.52/701.68 WSVECS04 Frhs2[270]: 6 -0.422829 0 shouldn't be 699.52/701.68 WSVECS04 Frhs2[272]: 6 0 1.07888 shouldn't be 699.52/701.68 WSVECS04 Frhs2[299]: 6 0 1.00009 shouldn't be 699.52/701.68 WSVECS04 Frhs2[302]: 6 0 2.23608 shouldn't be 699.52/701.68 WSVECS04 Frhs2[303]: 6 -1.61511 0 shouldn't be 699.52/701.68 WSVECS04 Frhs2[305]: 6 0 2.70674 shouldn't be 699.52/701.68 WSVECS04 Frhs2[326]: 6 0 1.00004 shouldn't be 699.52/701.68 WSVECS04 Frhs2[329]: 6 0 4.08106 shouldn't be 699.52/701.68 WSVECS04 Frhs2[342]: 6 -1.51963 0 shouldn't be 707.30/709.43 c #Conflicts: 556000 | #Constraints: 52491 707.30/709.43 c #Conflicts: 557000 | #Constraints: 53491 707.30/709.43 c #Conflicts: 558000 | #Constraints: 54491 707.30/709.43 c #Conflicts: 559000 | #Constraints: 55492 707.30/709.43 WSVECS04 Frhs2[122]: 6 -2.34671 0 shouldn't be 707.30/709.43 WSVECS04 Frhs2[125]: 6 0 1.97389 shouldn't be 707.30/709.43 WSVECS04 Frhs2[127]: 6 -2.17168 0 shouldn't be 707.30/709.43 WSVECS04 Frhs2[131]: 6 0 2.54373 shouldn't be 707.30/709.43 WSVECS04 Frhs2[137]: 6 -1.65667 0 shouldn't be 707.30/709.43 WSVECS04 Frhs2[138]: 6 0 1.45485 shouldn't be 707.30/709.43 WSVECS04 Frhs2[163]: 6 0 2.25677 shouldn't be 707.30/709.43 WSVECS04 Frhs2[170]: 6 -2.53364 0 shouldn't be 707.30/709.43 WSVECS04 Frhs2[199]: 6 -0.849423 0 shouldn't be 707.30/709.43 WSVECS04 Frhs2[200]: 6 0 1.00009 shouldn't be 707.30/709.43 WSVECS04 Frhs2[201]: 6 0 1.84942 shouldn't be 707.30/709.43 WSVECS04 Frhs2[205]: 6 -0.0445954 0 shouldn't be 707.30/709.43 WSVECS04 Frhs2[208]: 6 -0.878589 0 shouldn't be 707.30/709.43 WSVECS04 Frhs2[211]: 6 0 2.43388 shouldn't be 707.30/709.43 WSVECS04 Frhs2[221]: 6 0 1.00009 shouldn't be 707.30/709.43 WSVECS04 Frhs2[236]: 6 -0.955448 0 shouldn't be 707.30/709.43 WSVECS04 Frhs2[242]: 6 0 2.53011 shouldn't be 707.30/709.43 WSVECS04 Frhs2[299]: 6 0 1.00007 shouldn't be 707.30/709.43 WSVECS04 Frhs2[302]: 6 -0.19665 0 shouldn't be 707.30/709.43 WSVECS04 Frhs2[303]: 6 0 1.00002 shouldn't be 707.30/709.43 WSVECS04 Frhs2[326]: 6 -1.50408 0 shouldn't be 726.25/728.42 c #Conflicts: 560000 | #Constraints: 56493 726.25/728.42 c #Conflicts: 561000 | #Constraints: 57494 726.25/728.42 c #Conflicts: 562000 | #Constraints: 58495 726.25/728.42 c #Conflicts: 563000 | #Constraints: 59496 726.25/728.42 c #Conflicts: 564000 | #Constraints: 60497 726.25/728.42 c #Conflicts: 565000 | #Constraints: 61497 726.25/728.42 c #Conflicts: 566000 | #Constraints: 62497 726.25/728.42 c #Conflicts: 567000 | #Constraints: 63498 726.25/728.42 WSVECS04 Frhs2[67]: 6 0 4.95479 shouldn't be 726.25/728.42 WSVECS04 Frhs2[69]: 6 0 3.4043 shouldn't be 726.25/728.42 WSVECS04 Frhs2[199]: 6 -2.41237 0 shouldn't be 726.25/728.42 WSVECS04 Frhs2[200]: 6 0 3.34778 shouldn't be 726.25/728.42 WSVECS04 Frhs2[201]: 6 -7.91804 0 shouldn't be 726.25/728.42 WSVECS04 Frhs2[211]: 6 -3.0829 0 shouldn't be 726.25/728.42 WSVECS04 Frhs2[213]: 6 -7.27627 0 shouldn't be 726.25/728.42 WSVECS04 Frhs2[216]: 6 -1.87844 0 shouldn't be 726.25/728.42 WSVECS04 Frhs2[228]: 6 -5.8855 0 shouldn't be 726.25/728.42 WSVECS04 Frhs2[229]: 6 0 1.80587 shouldn't be 726.25/728.42 WSVECS04 Frhs2[242]: 6 -2.12059 0 shouldn't be 726.25/728.42 WSVECS04 Frhs2[243]: 6 0 2.84446 shouldn't be 726.25/728.42 WSVECS04 Frhs2[244]: 6 -3.008 0 shouldn't be 726.25/728.42 WSVECS04 Frhs2[256]: 6 0 1.00233 shouldn't be 726.25/728.42 WSVECS04 Frhs2[257]: 6 -4.88175 0 shouldn't be 726.25/728.42 WSVECS04 Frhs2[258]: 6 0 2.17065 shouldn't be 726.25/728.42 WSVECS04 Frhs2[317]: 6 0 6.41227 shouldn't be 726.25/728.42 WSVECS04 Frhs2[342]: 6 -6.7589 0 shouldn't be 726.25/728.42 WSVECS04 Frhs2[346]: 6 -1.06993 0 shouldn't be 742.41/744.68 c #Conflicts: 568000 | #Constraints: 64499 742.41/744.68 c #Conflicts: 569000 | #Constraints: 65499 742.41/744.68 c #Conflicts: 570000 | #Constraints: 66500 742.41/744.68 c #Conflicts: 571000 | #Constraints: 67500 742.41/744.68 c #Conflicts: 572000 | #Constraints: 68502 742.41/744.68 c #Conflicts: 573000 | #Constraints: 69502 742.41/744.68 c INPROCESSING 742.41/744.68 c GARBAGE COLLECT 742.41/744.68 c rational objective -182 746.40/748.65 c #Conflicts: 574000 | #Constraints: 41867 746.40/748.65 c #Conflicts: 575000 | #Constraints: 42868 746.40/748.65 c #Conflicts: 576000 | #Constraints: 43868 746.40/748.65 WSVECS04 Frhs2[33]: 6 0 4.50144 shouldn't be 746.40/748.65 WSVECS04 Frhs2[37]: 6 0 2.29154 shouldn't be 746.40/748.65 WSVECS04 Frhs2[52]: 6 -1.76995 0 shouldn't be 746.40/748.65 WSVECS04 Frhs2[53]: 6 -6.63849 0 shouldn't be 746.40/748.65 WSVECS04 Frhs2[54]: 6 0 8.51178 shouldn't be 746.40/748.65 WSVECS04 Frhs2[71]: 6 -1.08954 0 shouldn't be 746.40/748.65 WSVECS04 Frhs2[72]: 6 -3.00027 0 shouldn't be 746.40/748.65 WSVECS04 Frhs2[76]: 6 0 3.51396 shouldn't be 746.40/748.65 WSVECS04 Frhs2[77]: 6 -3.63928 0 shouldn't be 746.40/748.65 WSVECS04 Frhs2[94]: 6 0 1.00004 shouldn't be 746.40/748.65 WSVECS04 Frhs2[95]: 6 0 0.909987 shouldn't be 746.40/748.65 WSVECS04 Frhs2[99]: 6 -1.75293 0 shouldn't be 746.40/748.65 WSVECS04 Frhs2[116]: 6 0 2.99332 shouldn't be 746.40/748.65 WSVECS04 Frhs2[117]: 6 0 2.93236 shouldn't be 746.40/748.65 WSVECS04 Frhs2[137]: 6 -9.25333 0 shouldn't be 746.40/748.65 WSVECS04 Frhs2[138]: 6 -2.56613 0 shouldn't be 746.40/748.65 WSVECS04 Frhs2[184]: 6 0 3.14471 shouldn't be 746.40/748.65 WSVECS04 Frhs2[342]: 6 0 2.3786 shouldn't be 766.85/769.12 c #Conflicts: 577000 | #Constraints: 44869 766.85/769.12 c #Conflicts: 578000 | #Constraints: 45870 766.85/769.12 c #Conflicts: 579000 | #Constraints: 46871 766.85/769.12 c #Conflicts: 580000 | #Constraints: 47872 766.85/769.12 c #Conflicts: 581000 | #Constraints: 48873 766.85/769.12 c #Conflicts: 582000 | #Constraints: 49874 766.85/769.12 c #Conflicts: 583000 | #Constraints: 50875 766.85/769.12 c #Conflicts: 584000 | #Constraints: 51875 766.85/769.12 c #Conflicts: 585000 | #Constraints: 52875 766.85/769.12 c #Conflicts: 586000 | #Constraints: 53876 766.85/769.12 WSVECS04 Frhs2[219]: 6 -7.01949 0 shouldn't be 766.85/769.12 WSVECS04 Frhs2[228]: 6 0 5.53758 shouldn't be 766.85/769.12 WSVECS04 Frhs2[233]: 6 -0.89104 0 shouldn't be 766.85/769.12 WSVECS04 Frhs2[234]: 6 -0.891084 0 shouldn't be 766.85/769.12 WSVECS04 Frhs2[243]: 6 0 3.27144 shouldn't be 766.85/769.12 WSVECS04 Frhs2[244]: 6 -1.00003 0 shouldn't be 766.85/769.12 WSVECS04 Frhs2[266]: 6 0 2.00003 shouldn't be 766.85/769.12 WSVECS04 Frhs2[270]: 6 -4.29705 0 shouldn't be 766.85/769.12 WSVECS04 Frhs2[278]: 6 0 3.9123 shouldn't be 766.85/769.12 WSVECS04 Frhs2[327]: 6 -1.00002 0 shouldn't be 766.85/769.12 WSVECS04 Frhs2[346]: 6 -2.01859 0 shouldn't be 772.32/774.65 c #Conflicts: 587000 | #Constraints: 54876 772.32/774.65 c #Conflicts: 588000 | #Constraints: 55876 772.32/774.65 c #Conflicts: 589000 | #Constraints: 56877 772.32/774.65 WSVECS04 Frhs2[166]: 6 -3.82216 0 shouldn't be 772.32/774.65 WSVECS04 Frhs2[181]: 6 0 2.00401 shouldn't be 772.32/774.65 WSVECS04 Frhs2[192]: 6 0 4.68331 shouldn't be 772.32/774.65 WSVECS04 Frhs2[209]: 6 0 2.37594 shouldn't be 772.32/774.65 WSVECS04 Frhs2[217]: 6 -1.07732 0 shouldn't be 772.32/774.65 WSVECS04 Frhs2[224]: 6 -5.98245 0 shouldn't be 772.32/774.65 WSVECS04 Frhs2[248]: 6 0 6.15772 shouldn't be 772.32/774.65 WSVECS04 Frhs2[257]: 6 0 1.00005 shouldn't be 772.32/774.65 WSVECS04 Frhs2[278]: 6 0 1.68773 shouldn't be 772.62/774.94 WSVECS04 Frhs2[239]: 6 -5.83145 0 shouldn't be 778.81/781.15 c #Conflicts: 590000 | #Constraints: 57878 778.81/781.15 c #Conflicts: 591000 | #Constraints: 58878 778.81/781.15 c bounds -180 >= -181 @ 769.168 778.81/781.15 c #Conflicts: 592000 | #Constraints: 59920 778.81/781.15 c INPROCESSING 778.81/781.15 c GARBAGE COLLECT 778.81/781.15 c rational objective -181 882.63/885.23 c #Conflicts: 593000 | #Constraints: 40939 882.63/885.23 c #Conflicts: 594000 | #Constraints: 41941 882.63/885.23 c #Conflicts: 595000 | #Constraints: 42944 882.63/885.23 c #Conflicts: 596000 | #Constraints: 43948 882.63/885.23 c #Conflicts: 597000 | #Constraints: 44951 882.63/885.23 c #Conflicts: 598000 | #Constraints: 45952 882.63/885.23 c #Conflicts: 599000 | #Constraints: 46954 882.63/885.23 c #Conflicts: 600000 | #Constraints: 47958 882.63/885.23 c #Conflicts: 601000 | #Constraints: 48961 882.63/885.23 c #Conflicts: 602000 | #Constraints: 49964 882.63/885.23 c #Conflicts: 603000 | #Constraints: 50965 882.63/885.23 c #Conflicts: 604000 | #Constraints: 51968 882.63/885.23 c #Conflicts: 605000 | #Constraints: 52971 882.63/885.23 c #Conflicts: 606000 | #Constraints: 53973 882.63/885.23 c #Conflicts: 607000 | #Constraints: 54977 882.63/885.23 c #Conflicts: 608000 | #Constraints: 55980 882.63/885.23 c #Conflicts: 609000 | #Constraints: 56985 882.63/885.23 c #Conflicts: 610000 | #Constraints: 57988 882.63/885.23 c #Conflicts: 611000 | #Constraints: 58992 882.63/885.23 c #Conflicts: 612000 | #Constraints: 59994 882.63/885.23 c #Conflicts: 613000 | #Constraints: 60995 882.63/885.23 c #Conflicts: 614000 | #Constraints: 61997 882.63/885.23 c #Conflicts: 615000 | #Constraints: 63000 882.63/885.23 c #Conflicts: 616000 | #Constraints: 64004 882.63/885.23 c #Conflicts: 617000 | #Constraints: 65006 882.63/885.23 c #Conflicts: 618000 | #Constraints: 66010 882.63/885.23 c #Conflicts: 619000 | #Constraints: 67012 882.63/885.23 c #Conflicts: 620000 | #Constraints: 68014 882.63/885.23 c #Conflicts: 621000 | #Constraints: 69016 882.63/885.23 c #Conflicts: 622000 | #Constraints: 70020 882.63/885.23 c #Conflicts: 623000 | #Constraints: 71023 882.63/885.23 c #Conflicts: 624000 | #Constraints: 72025 882.63/885.23 c #Conflicts: 625000 | #Constraints: 73030 882.63/885.23 c #Conflicts: 626000 | #Constraints: 74032 882.63/885.23 c #Conflicts: 627000 | #Constraints: 75034 882.63/885.23 c #Conflicts: 628000 | #Constraints: 76036 882.63/885.23 c #Conflicts: 629000 | #Constraints: 77039 882.63/885.23 c #Conflicts: 630000 | #Constraints: 78042 882.63/885.23 c #Conflicts: 631000 | #Constraints: 79045 882.63/885.23 c #Conflicts: 632000 | #Constraints: 80049 882.63/885.23 c #Conflicts: 633000 | #Constraints: 81053 882.63/885.23 c #Conflicts: 634000 | #Constraints: 82055 882.63/885.23 c #Conflicts: 635000 | #Constraints: 83057 882.63/885.23 c #Conflicts: 636000 | #Constraints: 84060 882.63/885.23 c #Conflicts: 637000 | #Constraints: 85061 882.63/885.23 c #Conflicts: 638000 | #Constraints: 86064 882.63/885.23 c #Conflicts: 639000 | #Constraints: 87067 882.63/885.23 c #Conflicts: 640000 | #Constraints: 88070 882.63/885.23 c #Conflicts: 641000 | #Constraints: 89074 882.63/885.23 c #Conflicts: 642000 | #Constraints: 90079 882.63/885.23 c #Conflicts: 643000 | #Constraints: 91081 882.63/885.23 c #Conflicts: 644000 | #Constraints: 92084 882.63/885.23 c #Conflicts: 645000 | #Constraints: 93085 882.63/885.23 c #Conflicts: 646000 | #Constraints: 94086 882.63/885.23 c #Conflicts: 647000 | #Constraints: 95088 882.63/885.23 c INPROCESSING 882.63/885.23 c GARBAGE COLLECT 882.63/885.23 c rational objective -181 886.21/888.86 c #Conflicts: 648000 | #Constraints: 54727 886.21/888.86 c #Conflicts: 649000 | #Constraints: 55728 886.21/888.86 WSVECS04 Frhs2[9]: 6 -1.00002 0 shouldn't be 886.21/888.86 WSVECS04 Frhs2[13]: 6 0 1.4973 shouldn't be 886.21/888.86 WSVECS04 Frhs2[16]: 6 -0.501815 0 shouldn't be 886.21/888.86 WSVECS04 Frhs2[20]: 6 0 1.32054 shouldn't be 886.21/888.86 WSVECS04 Frhs2[34]: 6 -2.93988 0 shouldn't be 886.21/888.86 WSVECS04 Frhs2[38]: 6 0 1.02159 shouldn't be 886.21/888.86 WSVECS04 Frhs2[41]: 6 -1.71834 0 shouldn't be 886.21/888.86 WSVECS04 Frhs2[45]: 6 0 1.30106 shouldn't be 886.21/888.86 WSVECS04 Frhs2[58]: 6 -0.944683 0 shouldn't be 886.21/888.86 WSVECS04 Frhs2[62]: 6 0 1.00003 shouldn't be 886.21/888.86 WSVECS04 Frhs2[63]: 6 -0.612335 0 shouldn't be 886.21/888.86 WSVECS04 Frhs2[69]: 6 0 1.93172 shouldn't be 886.21/888.86 WSVECS04 Frhs2[185]: 6 -5.40855 0 shouldn't be 886.21/888.86 WSVECS04 Frhs2[186]: 6 0 1.02267 shouldn't be 886.21/888.86 WSVECS04 Frhs2[188]: 6 0 1.00571 shouldn't be 886.21/888.86 WSVECS04 Frhs2[191]: 6 0 1.00004 shouldn't be 886.21/888.86 WSVECS04 Frhs2[199]: 6 -1.39764 0 shouldn't be 886.21/888.86 WSVECS04 Frhs2[200]: 6 0 1.43922 shouldn't be 886.21/888.86 WSVECS04 Frhs2[205]: 6 0 1.67148 shouldn't be 886.21/888.86 WSVECS04 Frhs2[218]: 6 0 1.15577 shouldn't be 886.21/888.86 WSVECS04 Frhs2[221]: 6 -1.00005 0 shouldn't be 886.21/888.86 WSVECS04 Frhs2[224]: 6 -3.80263 0 shouldn't be 886.21/888.86 WSVECS04 Frhs2[233]: 6 -0.0245816 0 shouldn't be 886.21/888.86 WSVECS04 Frhs2[239]: 6 0 2.00007 shouldn't be 886.21/888.86 WSVECS04 Frhs2[263]: 6 -1.00003 0 shouldn't be 886.21/888.86 WSVECS04 Frhs2[267]: 6 0 1.05038 shouldn't be 886.21/888.86 WSVECS04 Frhs2[300]: 6 -1.17367 0 shouldn't be 886.21/888.86 WSVECS04 Frhs2[324]: 6 -0.039867 0 shouldn't be 886.21/888.86 WSVECS04 Frhs2[344]: 6 -3.18421 0 shouldn't be 893.51/896.13 c #Conflicts: 650000 | #Constraints: 56729 893.51/896.13 c #Conflicts: 651000 | #Constraints: 57729 893.51/896.13 c #Conflicts: 652000 | #Constraints: 58730 893.51/896.13 WSVECS04 Frhs2[165]: 6 -4.89949 0 shouldn't be 893.51/896.13 WSVECS04 Frhs2[170]: 6 0 1.00007 shouldn't be 893.51/896.13 WSVECS04 Frhs2[172]: 6 0 1.36939 shouldn't be 893.51/896.13 WSVECS04 Frhs2[173]: 6 0 3.59478 shouldn't be 893.51/896.13 WSVECS04 Frhs2[177]: 6 -0.0564049 0 shouldn't be 893.51/896.13 WSVECS04 Frhs2[178]: 6 0 3.11902 shouldn't be 893.51/896.13 WSVECS04 Frhs2[179]: 6 -1.00001 0 shouldn't be 893.51/896.13 WSVECS04 Frhs2[236]: 6 -1.00006 0 shouldn't be 893.51/896.13 WSVECS04 Frhs2[238]: 6 -1.69572 0 shouldn't be 893.51/896.13 WSVECS04 Frhs2[239]: 6 -1.27118 0 shouldn't be 893.51/896.13 WSVECS04 Frhs2[298]: 6 0 2.99629 shouldn't be 893.51/896.13 WSVECS04 Frhs2[299]: 6 0 1.00002 shouldn't be 893.51/896.13 WSVECS04 Frhs2[303]: 6 -3.76707 0 shouldn't be 893.51/896.13 WSVECS04 Frhs2[304]: 6 0 2.90203 shouldn't be 893.51/896.13 WSVECS04 Frhs2[305]: 6 -3.99636 0 shouldn't be 893.51/896.13 WSVECS04 Frhs2[320]: 6 -2.05867 0 shouldn't be 893.51/896.13 WSVECS04 Frhs2[321]: 6 0 1.57293 shouldn't be 893.51/896.13 WSVECS04 Frhs2[327]: 6 -2.13142 0 shouldn't be 893.51/896.13 WSVECS04 Frhs2[328]: 6 0 1.33424 shouldn't be 893.51/896.13 WSVECS04 Frhs2[346]: 6 -2.2287 0 shouldn't be 893.51/896.13 WSVECS04 Frhs2[349]: 6 -5.00007 0 shouldn't be 893.79/896.41 WSVECS04 Frhs2[316]: 6 0 1.2712 shouldn't be 904.07/906.71 c #Conflicts: 653000 | #Constraints: 59731 904.07/906.71 c #Conflicts: 654000 | #Constraints: 60731 904.07/906.71 c #Conflicts: 655000 | #Constraints: 61731 904.07/906.71 c #Conflicts: 656000 | #Constraints: 62731 904.07/906.71 c #Conflicts: 657000 | #Constraints: 63732 904.07/906.71 WSVECS04 Frhs2[3]: 6 -2.14303 0 shouldn't be 904.07/906.71 WSVECS04 Frhs2[8]: 6 0 1.78192 shouldn't be 904.07/906.71 WSVECS04 Frhs2[14]: 6 -2.48309 0 shouldn't be 904.07/906.71 WSVECS04 Frhs2[15]: 6 0 1.69622 shouldn't be 904.07/906.71 WSVECS04 Frhs2[17]: 6 0 1.00004 shouldn't be 904.07/906.71 WSVECS04 Frhs2[20]: 6 0 1.04456 shouldn't be 904.07/906.71 WSVECS04 Frhs2[25]: 6 -1.01215 0 shouldn't be 904.07/906.71 WSVECS04 Frhs2[80]: 6 -2.67958 0 shouldn't be 904.07/906.71 WSVECS04 Frhs2[87]: 6 -1.00009 0 shouldn't be 904.07/906.71 WSVECS04 Frhs2[88]: 6 -0.211822 0 shouldn't be 904.07/906.71 WSVECS04 Frhs2[89]: 6 -4.45943 0 shouldn't be 904.07/906.71 WSVECS04 Frhs2[92]: 6 -2.1581 0 shouldn't be 904.07/906.71 WSVECS04 Frhs2[93]: 6 0 1.00006 shouldn't be 904.07/906.71 WSVECS04 Frhs2[94]: 6 0 2.0378 shouldn't be 904.07/906.71 WSVECS04 Frhs2[97]: 6 0 1.84199 shouldn't be 904.07/906.71 WSVECS04 Frhs2[187]: 6 0 1.17513 shouldn't be 904.07/906.71 WSVECS04 Frhs2[188]: 6 0 1.54325 shouldn't be 904.07/906.71 WSVECS04 Frhs2[193]: 6 -3.50852 0 shouldn't be 904.07/906.71 WSVECS04 Frhs2[279]: 6 -1.75679 0 shouldn't be 904.07/906.71 WSVECS04 Frhs2[280]: 6 0 1.00003 shouldn't be 904.07/906.71 WSVECS04 Frhs2[281]: 6 0 1.30389 shouldn't be 904.07/906.71 WSVECS04 Frhs2[286]: 6 0 1.59822 shouldn't be 904.07/906.71 WSVECS04 Frhs2[287]: 6 0 2.09162 shouldn't be 904.07/906.71 WSVECS04 Frhs2[290]: 6 0 0.989269 shouldn't be 904.07/906.71 WSVECS04 Frhs2[292]: 6 -3.32736 0 shouldn't be 904.07/906.71 WSVECS04 Frhs2[295]: 6 -1.96463 0 shouldn't be 904.07/906.71 WSVECS04 Frhs2[297]: 6 0 3.55118 shouldn't be 904.07/906.71 WSVECS04 Frhs2[300]: 6 0 2.95554 shouldn't be 904.07/906.71 WSVECS04 Frhs2[302]: 6 -2.4123 0 shouldn't be 904.07/906.71 WSVECS04 Frhs2[305]: 6 -1.95631 0 shouldn't be 904.07/906.71 WSVECS04 Frhs2[331]: 6 -5.32473 0 shouldn't be 904.07/906.71 WSVECS04 Frhs2[337]: 6 0 1.69622 shouldn't be 904.07/906.71 WSVECS04 Frhs2[340]: 6 0 1.35705 shouldn't be 904.27/906.99 WSVECS04 Frhs2[16]: 6 0 2.82493 shouldn't be 904.27/906.99 WSVECS04 Frhs2[21]: 6 -2.05317 0 shouldn't be 930.59/933.32 c #Conflicts: 658000 | #Constraints: 64733 930.59/933.32 c #Conflicts: 659000 | #Constraints: 65733 930.59/933.32 c #Conflicts: 660000 | #Constraints: 66733 930.59/933.32 c #Conflicts: 661000 | #Constraints: 67733 930.59/933.32 c #Conflicts: 662000 | #Constraints: 68734 930.59/933.32 c #Conflicts: 663000 | #Constraints: 69736 930.59/933.32 c #Conflicts: 664000 | #Constraints: 70736 930.59/933.32 c #Conflicts: 665000 | #Constraints: 71737 930.59/933.32 c #Conflicts: 666000 | #Constraints: 72738 930.59/933.32 c #Conflicts: 667000 | #Constraints: 73739 930.59/933.32 c #Conflicts: 668000 | #Constraints: 74739 930.59/933.32 c INPROCESSING 930.59/933.32 c GARBAGE COLLECT 930.59/933.32 c rational objective -181 934.48/937.23 c #Conflicts: 669000 | #Constraints: 44745 934.48/937.23 c #Conflicts: 670000 | #Constraints: 45746 934.48/937.23 WSVECS04 Frhs2[54]: 6 -1.05532 0 shouldn't be 934.48/937.23 WSVECS04 Frhs2[56]: 6 0 1.4904 shouldn't be 934.48/937.23 WSVECS04 Frhs2[59]: 6 -1.18313 0 shouldn't be 934.48/937.23 WSVECS04 Frhs2[61]: 6 0 0.136824 shouldn't be 934.48/937.23 WSVECS04 Frhs2[66]: 6 -2.25744 0 shouldn't be 934.48/937.23 WSVECS04 Frhs2[72]: 6 -4.63932 0 shouldn't be 934.48/937.23 WSVECS04 Frhs2[74]: 6 0 1.00002 shouldn't be 934.48/937.23 WSVECS04 Frhs2[125]: 6 0 1.62983 shouldn't be 934.48/937.23 WSVECS04 Frhs2[132]: 6 0 1.57201 shouldn't be 934.48/937.23 WSVECS04 Frhs2[140]: 6 -1.19805 0 shouldn't be 934.48/937.23 WSVECS04 Frhs2[165]: 6 0 1.04007 shouldn't be 934.48/937.23 WSVECS04 Frhs2[166]: 6 0 0.5335 shouldn't be 934.48/937.23 WSVECS04 Frhs2[171]: 6 -1.0398 0 shouldn't be 934.48/937.23 WSVECS04 Frhs2[175]: 6 0 2.19078 shouldn't be 934.48/937.23 WSVECS04 Frhs2[179]: 6 0 2.00001 shouldn't be 934.48/937.23 WSVECS04 Frhs2[180]: 6 0 2.00005 shouldn't be 934.48/937.23 WSVECS04 Frhs2[217]: 6 -1.16192 0 shouldn't be 934.48/937.23 WSVECS04 Frhs2[232]: 6 0 3.27763 shouldn't be 934.48/937.23 WSVECS04 Frhs2[245]: 6 0 1.00001 shouldn't be 934.48/937.23 WSVECS04 Frhs2[246]: 6 0 1.43523 shouldn't be 934.48/937.23 WSVECS04 Frhs2[251]: 6 -2.71929 0 shouldn't be 934.48/937.23 WSVECS04 Frhs2[257]: 6 -0.153351 0 shouldn't be 934.48/937.23 WSVECS04 Frhs2[259]: 6 0 3.8368 shouldn't be 934.48/937.23 WSVECS04 Frhs2[260]: 6 0 1.55843 shouldn't be 934.78/937.53 WSVECS04 Frhs2[126]: 6 -3.06386 0 shouldn't be 934.78/937.53 WSVECS04 Frhs2[216]: 6 -3.57941 0 shouldn't be 935.08/937.84 WSVECS04 Frhs2[127]: 6 -5.47933 0 shouldn't be 953.44/956.24 c #Conflicts: 671000 | #Constraints: 46747 953.44/956.24 c #Conflicts: 672000 | #Constraints: 47747 953.44/956.24 c #Conflicts: 673000 | #Constraints: 48747 953.44/956.24 c #Conflicts: 674000 | #Constraints: 49747 953.44/956.24 c #Conflicts: 675000 | #Constraints: 50748 953.44/956.24 c #Conflicts: 676000 | #Constraints: 51748 953.44/956.24 c #Conflicts: 677000 | #Constraints: 52749 953.44/956.24 c #Conflicts: 678000 | #Constraints: 53750 953.44/956.24 c #Conflicts: 679000 | #Constraints: 54750 953.44/956.24 c #Conflicts: 680000 | #Constraints: 55751 953.44/956.24 WSVECS04 Frhs2[216]: 6 -2.60864 0 shouldn't be 953.44/956.24 WSVECS04 Frhs2[223]: 6 0 1.00008 shouldn't be 953.44/956.24 WSVECS04 Frhs2[224]: 6 0 1.00006 shouldn't be 953.44/956.24 WSVECS04 Frhs2[227]: 6 0 1.69403 shouldn't be 953.44/956.24 WSVECS04 Frhs2[228]: 6 0 1.00002 shouldn't be 953.44/956.24 WSVECS04 Frhs2[229]: 6 -0.916715 0 shouldn't be 953.44/956.24 WSVECS04 Frhs2[231]: 6 0 2.77563 shouldn't be 953.44/956.24 WSVECS04 Frhs2[238]: 6 -0.745619 0 shouldn't be 953.44/956.24 WSVECS04 Frhs2[239]: 6 -0.113381 0 shouldn't be 953.44/956.24 WSVECS04 Frhs2[316]: 6 0 1.00005 shouldn't be 953.44/956.24 WSVECS04 Frhs2[319]: 6 0 3.586 shouldn't be 953.44/956.24 WSVECS04 Frhs2[321]: 6 -5.68897 0 shouldn't be 953.44/956.24 WSVECS04 Frhs2[323]: 6 0 2.82062 shouldn't be 953.44/956.24 WSVECS04 Frhs2[326]: 6 0 2.24605 shouldn't be 953.44/956.24 WSVECS04 Frhs2[327]: 6 0 2.50475 shouldn't be 953.44/956.24 WSVECS04 Frhs2[328]: 6 -1.19696 0 shouldn't be 953.44/956.24 WSVECS04 Frhs2[330]: 6 0 4.43603 shouldn't be 961.02/963.86 c #Conflicts: 681000 | #Constraints: 56752 961.02/963.86 c #Conflicts: 682000 | #Constraints: 57752 961.02/963.86 c #Conflicts: 683000 | #Constraints: 58752 961.02/963.86 WSVECS04 Frhs2[32]: 6 0 1.30629 shouldn't be 961.02/963.86 WSVECS04 Frhs2[35]: 6 0 3.00004 shouldn't be 961.02/963.86 WSVECS04 Frhs2[37]: 6 0 1.52098 shouldn't be 961.02/963.86 WSVECS04 Frhs2[40]: 6 0 1.00005 shouldn't be 961.02/963.86 WSVECS04 Frhs2[44]: 6 -2.71368 0 shouldn't be 961.02/963.86 WSVECS04 Frhs2[49]: 6 -0.667436 0 shouldn't be 961.02/963.86 WSVECS04 Frhs2[164]: 6 0 1.00009 shouldn't be 961.02/963.86 WSVECS04 Frhs2[165]: 6 0 2.00006 shouldn't be 961.02/963.86 WSVECS04 Frhs2[169]: 6 0 1.90292 shouldn't be 961.02/963.86 WSVECS04 Frhs2[170]: 6 0 1.52355 shouldn't be 961.02/963.86 WSVECS04 Frhs2[173]: 6 -2.12515 0 shouldn't be 961.02/963.86 WSVECS04 Frhs2[176]: 6 -2.39602 0 shouldn't be 961.02/963.86 WSVECS04 Frhs2[178]: 6 -2.76435 0 shouldn't be 961.02/963.86 WSVECS04 Frhs2[217]: 6 0 2.03892 shouldn't be 961.02/963.86 WSVECS04 Frhs2[227]: 6 -1.24351 0 shouldn't be 961.02/963.86 WSVECS04 Frhs2[232]: 6 0 0.373868 shouldn't be 961.02/963.86 WSVECS04 Frhs2[242]: 6 -1.34436 0 shouldn't be 961.02/963.86 WSVECS04 Frhs2[249]: 6 0 2.00007 shouldn't be 961.02/963.86 WSVECS04 Frhs2[250]: 6 0 2.35357 shouldn't be 961.02/963.86 WSVECS04 Frhs2[256]: 6 -0.634901 0 shouldn't be 961.02/963.86 WSVECS04 Frhs2[258]: 6 -0.0915603 0 shouldn't be 961.02/963.86 WSVECS04 Frhs2[292]: 6 -3.43893 0 shouldn't be 961.02/963.86 WSVECS04 Frhs2[302]: 6 -3.19156 0 shouldn't be 961.02/963.86 WSVECS04 Frhs2[326]: 6 0 1.00002 shouldn't be 970.99/973.82 c #Conflicts: 684000 | #Constraints: 59754 970.99/973.82 c #Conflicts: 685000 | #Constraints: 60754 970.99/973.82 c #Conflicts: 686000 | #Constraints: 61754 970.99/973.82 c #Conflicts: 687000 | #Constraints: 62754 970.99/973.82 c #Conflicts: 688000 | #Constraints: 63755 970.99/973.82 WSVECS04 Frhs2[56]: 6 0 0.830325 shouldn't be 970.99/973.82 WSVECS04 Frhs2[163]: 6 -5.04157 0 shouldn't be 970.99/973.82 WSVECS04 Frhs2[167]: 6 0 2.25051 shouldn't be 970.99/973.82 WSVECS04 Frhs2[168]: 6 -0.970904 0 shouldn't be 970.99/973.82 WSVECS04 Frhs2[170]: 6 0 2.27143 shouldn't be 970.99/973.82 WSVECS04 Frhs2[173]: 6 -1.7203 0 shouldn't be 970.99/973.82 WSVECS04 Frhs2[179]: 6 0 2.29066 shouldn't be 970.99/973.82 WSVECS04 Frhs2[203]: 6 0 1.47732 shouldn't be 970.99/973.82 WSVECS04 Frhs2[243]: 6 0 4.75559 shouldn't be 970.99/973.82 WSVECS04 Frhs2[263]: 6 0 1.16777 shouldn't be 970.99/973.82 WSVECS04 Frhs2[266]: 6 -2.34117 0 shouldn't be 971.30/974.11 WSVECS04 Frhs2[261]: 6 -8.9048 0 shouldn't be 971.30/974.11 WSVECS04 Frhs2[272]: 6 0 7.37566 shouldn't be 971.30/974.11 WSVECS04 Frhs2[278]: 6 0 3.86727 shouldn't be 988.04/990.97 c #Conflicts: 689000 | #Constraints: 64756 988.04/990.97 c #Conflicts: 690000 | #Constraints: 65756 988.04/990.97 c #Conflicts: 691000 | #Constraints: 66756 988.04/990.97 c #Conflicts: 692000 | #Constraints: 67756 988.04/990.97 c #Conflicts: 693000 | #Constraints: 68756 988.04/990.97 c #Conflicts: 694000 | #Constraints: 69757 988.04/990.97 c #Conflicts: 695000 | #Constraints: 70757 988.04/990.97 WSVECS04 Frhs2[201]: 6 -11.9078 0 shouldn't be 988.04/990.97 WSVECS04 Frhs2[232]: 6 0 6.64049 shouldn't be 988.04/990.97 WSVECS04 Frhs2[305]: 6 0 9.51397 shouldn't be 1004.90/1007.86 c #Conflicts: 696000 | #Constraints: 71758 1004.90/1007.86 c #Conflicts: 697000 | #Constraints: 72758 1004.90/1007.86 c #Conflicts: 698000 | #Constraints: 73758 1004.90/1007.86 c #Conflicts: 699000 | #Constraints: 74758 1004.90/1007.86 c #Conflicts: 700000 | #Constraints: 75758 1004.90/1007.86 c #Conflicts: 701000 | #Constraints: 76759 1004.90/1007.86 WSVECS04 Frhs2[169]: 6 -3.67637 0 shouldn't be 1004.90/1007.86 WSVECS04 Frhs2[217]: 6 -1.12337 0 shouldn't be 1004.90/1007.86 WSVECS04 Frhs2[220]: 6 -4.71628 0 shouldn't be 1004.90/1007.86 WSVECS04 Frhs2[235]: 6 0 1.00005 shouldn't be 1004.90/1007.86 WSVECS04 Frhs2[258]: 6 -2.32223 0 shouldn't be 1004.90/1007.86 WSVECS04 Frhs2[294]: 6 -3.91424 0 shouldn't be 1005.11/1008.06 WSVECS04 Frhs2[166]: 6 -4.90605 0 shouldn't be 1005.11/1008.06 WSVECS04 Frhs2[232]: 6 0 10.6138 shouldn't be 1005.11/1008.06 WSVECS04 Frhs2[249]: 6 0 3.61034 shouldn't be 1005.11/1008.06 WSVECS04 Frhs2[293]: 6 -2.63346 0 shouldn't be 1018.07/1021.04 c #Conflicts: 702000 | #Constraints: 77760 1018.07/1021.04 c #Conflicts: 703000 | #Constraints: 78760 1018.07/1021.04 c #Conflicts: 704000 | #Constraints: 79760 1018.07/1021.04 c #Conflicts: 705000 | #Constraints: 80760 1018.07/1021.04 c #Conflicts: 706000 | #Constraints: 81761 1018.07/1021.04 c bounds -180 >= -180 @ 1009.28 1018.07/1021.04 c cpu time 1009.28 s 1018.07/1021.04 c deterministic time 62331645368 6.23e+10 1018.07/1021.04 c optimization time 0.035545 s 1018.07/1021.04 c total solve time 1009.16 s 1018.07/1021.04 c core-guided solve time 517.522 s 1018.07/1021.04 c propagation time 828.053 s 1018.07/1021.04 c conflict analysis time 158.125 s 1018.07/1021.04 c propagations 86646049 1018.07/1021.04 c resolve steps 14785518 1018.07/1021.04 c decisions 1420241 1018.07/1021.04 c conflicts 706417 1018.07/1021.04 c restarts 1532 1018.07/1021.04 c inprocessing phases 40 1018.07/1021.04 c input clauses 12056 1018.07/1021.04 c input cardinalities 241 1018.07/1021.04 c input general constraints 499 1018.07/1021.04 c input average constraint length 6.34 1018.07/1021.04 c input average constraint degree 1.90 1018.07/1021.04 c learned clauses 571272 1018.07/1021.04 c learned cardinalities 3620 1018.07/1021.04 c learned general constraints 132968 1018.07/1021.04 c learned average constraint length 65.67 1018.07/1021.04 c learned average constraint degree 10853423.05 1018.07/1021.04 c watched constraints 93755 1018.07/1021.04 c counting constraints 39712 1018.07/1021.04 c gcd simplifications 93086 1018.07/1021.04 c detected cardinalities 3 1018.07/1021.04 c weakened non-implied lits 37263538 1018.07/1021.04 c weakened non-implying lits 369793 1018.07/1021.04 c original variables 351 1018.07/1021.04 c clausal propagations 54402871 1018.07/1021.04 c cardinality propagations 1124222 1018.07/1021.04 c watched propagations 3337817 1018.07/1021.04 c counting propagations 26982395 1018.07/1021.04 c watch lookups 18046414623 1018.07/1021.04 c watch backjump lookups 14411401301 1018.07/1021.04 c watch checks 27018729041 1018.07/1021.04 c propagation checks 2469144734 1018.07/1021.04 c constraint additions 208360570 1018.07/1021.04 c trail pops 88771241 1018.07/1021.04 c formula constraints 11700 1018.07/1021.04 c learned constraints 704990 1018.07/1021.04 c bound constraints 157 1018.07/1021.04 c core-guided constraints 939 1018.07/1021.04 c encountered formula constraints 9982923 1018.07/1021.04 c encountered learned constraints 4073200 1018.07/1021.04 c encountered bound constraints 2060 1018.07/1021.04 c encountered core-guided constraints 1414853 1018.07/1021.04 c LP total time 197.982 s 1018.07/1021.04 c LP solve time 196.62 s 1018.07/1021.04 c LP constraints added 11705 1018.07/1021.04 c LP constraints removed 5 1018.07/1021.04 c LP pivots internal 706651 1018.07/1021.04 c LP pivots root 50916 1018.07/1021.04 c LP calls 1583 1018.07/1021.04 c LP optimalities 145 1018.07/1021.04 c LP no pivot count 16 1018.07/1021.04 c LP infeasibilities 1435 1018.07/1021.04 c LP valid Farkas constraints 1435 1018.07/1021.04 c LP learned Farkas constraints 1435 1018.07/1021.04 c LP basis resets 0 1018.07/1021.04 c LP cycling count 0 1018.07/1021.04 c LP singular count 0 1018.07/1021.04 c LP no primal count 0 1018.07/1021.04 c LP no farkas count 0 1018.07/1021.04 c LP other issue count 0 1018.07/1021.04 c LP Gomory cuts 0 1018.07/1021.04 c LP learned cuts 5 1018.07/1021.04 c LP deleted cuts 5 1018.07/1021.04 c LP encountered Gomory constraints 0 1018.07/1021.04 c LP encountered Farkas constraints 10148 1018.07/1021.04 c LP encountered learned Farkas constraints 7316 1018.07/1021.04 c CG auxiliary variables introduced 350 1018.07/1021.04 c CG solutions found 21 1018.07/1021.04 c CG cores constructed 111 1018.07/1021.04 c CG core cardinality constraints returned 0 1018.07/1021.04 c CG unit cores 0 1018.07/1021.04 c CG single cores 111 1018.07/1021.04 c CG blocks removed during cardinality reduction 0 1018.07/1021.04 c CG first core best 0 1018.07/1021.04 c CG decision core best 0 1018.07/1021.04 c CG core reduction tie 0 1018.07/1021.04 c CG core degree average 1.00 1018.07/1021.04 c CG core slack average 4.55 1018.07/1021.04 o -180 1018.07/1021.04 s OPTIMUM FOUND 1018.07/1021.05 v -x1 x2 x3 x4 -x5 -x6 x7 x8 x9 -x10 -x11 x12 x13 x14 -x15 -x16 x17 x18 x19 -x20 -x21 x22 x23 x24 -x25 -x26 x27 x28 x29 -x30 -x31 x32 x33 x34 -x35 -x36 x37 x38 x39 -x40 -x41 x42 x43 x44 -x45 -x46 x47 x48 x49 -x50 -x51 -x52 -x53 x54 x55 -x56 -x57 -x58 x59 x60 -x61 -x62 -x63 x64 x65 -x66 -x67 -x68 x69 x70 -x71 -x72 -x73 x74 x75 -x76 x77 x78 -x79 -x80 -x81 x82 x83 -x84 -x85 -x86 x87 x88 -x89 -x90 -x91 x92 x93 -x94 -x95 -x96 x97 x98 x99 x100 -x101 -x102 -x103 x104 x105 -x106 -x107 -x108 x109 x110 -x111 -x112 -x113 x114 x115 -x116 -x117 -x118 x119 x120 -x121 x122 x123 x124 -x125 -x126 x127 x128 x129 -x130 -x131 x132 x133 x134 -x135 -x136 x137 x138 x139 -x140 -x141 x142 x143 x144 -x145 -x146 x147 x148 x149 -x150 -x151 x152 x153 x154 -x155 -x156 x157 x158 x159 -x160 -x161 -x162 -x163 x164 x165 -x166 -x167 -x168 x169 x170 -x171 -x172 -x173 x174 x175 -x176 -x177 -x178 x179 x180 -x181 x182 x183 -x184 -x185 -x186 x187 x188 -x189 -x190 -x191 x192 x193 -x194 -x195 -x196 x197 x198 x199 x200 -x201 -x202 -x203 x204 x205 -x206 -x207 -x208 x209 x210 -x211 -x212 -x213 x214 x215 -x216 x217 x218 x219 -x220 -x221 x222 x223 x224 -x225 -x226 x227 x228 x229 -x230 -x231 x232 x233 x234 -x235 -x236 x237 x238 x239 -x240 -x241 x242 x243 x244 -x245 -x246 -x247 -x248 x249 x250 -x251 -x252 -x253 x254 x255 -x256 -x257 -x258 x259 x260 -x261 x262 x263 -x264 -x265 -x266 x267 x268 -x269 -x270 -x271 x272 x273 x274 x275 -x276 -x277 -x278 x279 x280 -x281 -x282 -x283 x284 x285 -x286 x287 x288 x289 -x290 -x291 x292 x293 x294 -x295 -x296 x297 x298 x299 -x300 -x301 x302 x303 x304 -x305 -x306 -x307 -x308 x309 x310 -x311 -x312 -x313 x314 x315 -x316 x317 x318 -x319 -x320 -x321 x322 x323 x324 x325 -x326 -x327 -x328 x329 x330 -x331 x332 x333 x334 -x335 -x336 x337 x338 x339 -x340 -x341 -x342 -x343 x344 x345 -x346 x347 x348 x349 x350 -x351
OK -180
Running VeriPB version 2.2.1 s VERIFIED BOUNDS -180 <= obj <= -180 Verification succeeded.
-- veripb -- Running VeriPB version 2.2.1 s VERIFIED BOUNDS -180 <= obj <= -180 Verification succeeded. -- cakepb -- s VERIFIED BOUNDS ~180 <= obj <= ~180 --summary-- ALL OK
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 (58816 MiB free)
memory of node 1: 64473 MiB (58382 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458909-1721885319/watcher-4458909-1721885319 -o /tmp/evaluation-result-4458909-1721885319/solver-4458909-1721885319 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721877159-216651 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4458909-1721885319 --lp-cut-gomory=0 HOME/instance-4458909-1721885319.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=222545, runsolver pid=222542
[startup+0.100693 s]*
/proc/loadavg: 4.10 4.18 4.19 6/248 222547
/proc/meminfo: memFree=119973340/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=44804 memory=14768 CPUtime=0.1 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 2207 0 0 0 8 2 0 0 20 0 1 0 24520879 45879296 3692 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 11201 3692 1705 992 0 3059 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44804 KiB
Current children cumulated memory: 14768 KiB
[startup+0.214203 s]*
/proc/loadavg: 4.10 4.18 4.19 7/248 222574
/proc/meminfo: memFree=119999976/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=43696 memory=13836 CPUtime=0.21 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 3064 0 0 0 19 2 0 0 20 0 1 0 24520879 44744704 3459 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 10924 3459 1705 992 0 2782 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 13836 KiB
[startup+0.312385 s]*
/proc/loadavg: 4.25 4.21 4.20 6/250 222616
/proc/meminfo: memFree=119997660/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=43696 memory=13836 CPUtime=0.31 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 3064 0 0 0 28 3 0 0 20 0 1 0 24520879 44744704 3459 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 10924 3459 1705 992 0 2782 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 13836 KiB
[startup+0.700309 s]
/proc/loadavg: 4.25 4.21 4.20 9/248 222714
/proc/meminfo: memFree=119997400/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=44232 memory=14888 CPUtime=0.68 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 3542 0 0 0 64 4 0 0 20 0 1 0 24520879 45293568 3722 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 11058 3722 1817 992 0 2916 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44232 KiB
Current children cumulated memory: 14888 KiB
[startup+1.50033 s]
/proc/loadavg: 4.25 4.21 4.20 5/249 222716
/proc/meminfo: memFree=119995968/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=44572 memory=16492 CPUtime=1.48 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 3868 0 0 0 142 6 0 0 20 0 1 0 24520879 45641728 4123 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 11143 4123 1894 992 0 3001 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44572 KiB
Current children cumulated memory: 16492 KiB
[startup+3.11385 s]
/proc/loadavg: 4.25 4.21 4.20 5/249 222717
/proc/meminfo: memFree=119964012/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=45780 memory=19592 CPUtime=3.09 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 4107 0 0 0 300 9 0 0 20 0 1 0 24520879 46878720 4898 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 11445 4898 1894 992 0 3303 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 45780 KiB
Current children cumulated memory: 19592 KiB
[startup+6.30031 s]
/proc/loadavg: 4.23 4.21 4.19 5/249 222717
/proc/meminfo: memFree=119924860/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=47012 memory=20644 CPUtime=6.27 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 4411 0 0 0 610 17 0 0 20 0 1 0 24520879 48140288 5161 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 11753 5161 1894 992 0 3611 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47012 KiB
Current children cumulated memory: 20644 KiB
[startup+12.7003 s]
/proc/loadavg: 4.21 4.20 4.19 5/249 222719
/proc/meminfo: memFree=119856988/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=48016 memory=21648 CPUtime=12.64 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 4629 0 0 0 1238 26 0 0 20 0 1 0 24520879 49168384 5412 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 12004 5412 1894 992 0 3862 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 48016 KiB
Current children cumulated memory: 21648 KiB
[startup+25.5003 s]
/proc/loadavg: 4.18 4.20 4.19 5/250 222721
/proc/meminfo: memFree=119710676/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=52688 memory=26212 CPUtime=25.41 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 5789 0 0 0 2490 51 0 0 20 0 1 0 24520879 53952512 6553 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 13172 6553 1894 992 0 5030 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 52688 KiB
Current children cumulated memory: 26212 KiB
[startup+51.1139 s]
/proc/loadavg: 4.18 4.19 4.19 5/250 222724
/proc/meminfo: memFree=119654432/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=59088 memory=30612 CPUtime=50.96 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 6897 0 0 0 5002 94 0 0 20 0 1 0 24520879 60506112 7653 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 14772 7653 1894 992 0 6630 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 59088 KiB
Current children cumulated memory: 30612 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/250 222735
/proc/meminfo: memFree=119563372/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=70108 memory=38548 CPUtime=102 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 8369 0 0 0 10031 169 0 0 20 0 1 0 24520879 71790592 9637 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 17527 9637 1894 992 0 9385 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 70108 KiB
Current children cumulated memory: 38548 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/250 222803
/proc/meminfo: memFree=119499732/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=73228 memory=41420 CPUtime=161.81 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 9091 0 0 0 15942 239 0 0 20 0 1 0 24520879 74985472 10355 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 18307 10355 1894 992 0 10165 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 73228 KiB
Current children cumulated memory: 41420 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.17 4.18 5/250 222815
/proc/meminfo: memFree=119420860/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=74760 memory=47868 CPUtime=221.65 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 9687 0 0 0 21862 303 0 0 20 0 1 0 24520879 76554240 11967 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 18690 11967 1894 992 0 10548 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 74760 KiB
Current children cumulated memory: 47868 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/249 222825
/proc/meminfo: memFree=119254648/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=77428 memory=50468 CPUtime=281.47 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 10329 0 0 0 27787 360 0 0 20 0 1 0 24520879 79286272 12617 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 19357 12617 1894 992 0 11215 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 77428 KiB
Current children cumulated memory: 50468 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.16 4.18 5/246 222836
/proc/meminfo: memFree=119186708/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=89852 memory=57168 CPUtime=341.29 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 11013 0 0 0 33712 417 0 0 20 0 1 0 24520879 92008448 14292 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 22463 14292 1894 992 0 14321 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 89852 KiB
Current children cumulated memory: 57168 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.16 4.18 5/246 222847
/proc/meminfo: memFree=119133128/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=89852 memory=57432 CPUtime=401.11 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 11052 0 0 0 39635 476 0 0 20 0 1 0 24520879 92008448 14358 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 22463 14358 1894 992 0 14321 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 89852 KiB
Current children cumulated memory: 57432 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.13 4.16 5/244 222857
/proc/meminfo: memFree=118950860/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=91304 memory=58960 CPUtime=460.94 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 11432 0 0 0 45570 524 0 0 20 0 1 0 24520879 93495296 14740 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 22826 14740 1894 992 0 14684 0
################
# More data... #
################
/proc/loadavg: 4.14 4.14 4.16 5/246 222870
/proc/meminfo: memFree=118799784/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=91304 memory=58960 CPUtime=520.77 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 11439 0 0 0 51505 572 0 0 20 0 1 0 24520879 93495296 14740 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 22826 14740 1894 992 0 14684 0
Current children cumulated CPU time: 520.77 s
Current children cumulated vsize: 91304 KiB
Current children cumulated memory: 58960 KiB
[startup+582.3 s]
/proc/loadavg: 4.18 4.14 4.16 5/245 222880
/proc/meminfo: memFree=118746936/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=93776 memory=63084 CPUtime=580.58 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 12010 0 0 0 57447 611 0 0 20 0 1 0 24520879 96026624 15771 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 23444 15771 1894 992 0 15302 0
Current children cumulated CPU time: 580.58 s
Current children cumulated vsize: 93776 KiB
Current children cumulated memory: 63084 KiB
[startup+642.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/245 222890
/proc/meminfo: memFree=118536012/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=93776 memory=63572 CPUtime=640.41 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 12079 0 0 0 63378 663 0 0 20 0 1 0 24520879 96026624 15893 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 23444 15893 1894 992 0 15302 0
Current children cumulated CPU time: 640.41 s
Current children cumulated vsize: 93776 KiB
Current children cumulated memory: 63572 KiB
[startup+702.3 s]
/proc/loadavg: 4.23 4.16 4.17 5/245 222900
/proc/meminfo: memFree=118473268/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=96076 memory=67820 CPUtime=700.22 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 12684 0 0 0 69321 701 0 0 20 0 1 0 24520879 98381824 16955 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 24019 16955 1894 992 0 15877 0
Current children cumulated CPU time: 700.22 s
Current children cumulated vsize: 96076 KiB
Current children cumulated memory: 67820 KiB
[startup+762.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/248 222917
/proc/meminfo: memFree=118439532/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=96772 memory=68524 CPUtime=760.06 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 12880 0 0 0 75272 734 0 0 20 0 1 0 24520879 99094528 17131 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 24193 17131 1894 992 0 16051 0
Current children cumulated CPU time: 760.06 s
Current children cumulated vsize: 96772 KiB
Current children cumulated memory: 68524 KiB
[startup+822.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/247 222928
/proc/meminfo: memFree=118396888/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=96772 memory=68524 CPUtime=819.89 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 12901 0 0 0 81217 772 0 0 20 0 1 0 24520879 99094528 17131 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 24193 17131 1894 992 0 16051 0
Current children cumulated CPU time: 819.89 s
Current children cumulated vsize: 96772 KiB
Current children cumulated memory: 68524 KiB
[startup+882.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/247 222938
/proc/meminfo: memFree=118365408/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=97552 memory=70896 CPUtime=879.73 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 13013 0 0 0 87168 805 0 0 20 0 1 0 24520879 99893248 17724 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 24388 17724 1894 992 0 16246 0
Current children cumulated CPU time: 879.73 s
Current children cumulated vsize: 97552 KiB
Current children cumulated memory: 70896 KiB
[startup+942.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/246 222949
/proc/meminfo: memFree=118328084/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=99188 memory=72916 CPUtime=939.58 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 13558 0 0 0 93117 841 0 0 20 0 1 0 24520879 101568512 18229 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 24797 18229 1894 992 0 16655 0
Current children cumulated CPU time: 939.58 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 72916 KiB
[startup+1002.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/246 222959
/proc/meminfo: memFree=118295288/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=99188 memory=73148 CPUtime=999.41 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 13580 0 0 0 99066 875 0 0 20 0 1 0 24520879 101568512 18287 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 24797 18287 1894 992 0 16655 0
Current children cumulated CPU time: 999.41 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 73148 KiB
[startup+1021.05 s]
# the end of solver process 222545 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1009.28 s, system=8.83782 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1011.2 s]
/proc/loadavg: 4.12 4.13 4.15 5/246 222959
/proc/meminfo: memFree=118291736/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=99188 memory=73148 CPUtime=1008.29 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 13581 0 0 0 99949 880 0 0 20 0 1 0 24520879 101568512 18287 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 24797 18287 1894 992 0 16655 0
Current children cumulated CPU time: 1008.29 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 73148 KiB
[startup+1017.6 s]
/proc/loadavg: 4.11 4.12 4.15 5/246 222960
/proc/meminfo: memFree=118290028/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=99188 memory=73148 CPUtime=1014.66 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 13581 0 0 0 100584 882 0 0 20 0 1 0 24520879 101568512 18287 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 24797 18287 1894 992 0 16655 0
Current children cumulated CPU time: 1014.66 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 73148 KiB
[startup+1019.2 s]
/proc/loadavg: 4.11 4.12 4.15 5/246 222960
/proc/meminfo: memFree=118289496/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=99188 memory=73148 CPUtime=1016.26 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 13581 0 0 0 100743 883 0 0 20 0 1 0 24520879 101568512 18287 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 24797 18287 1894 992 0 16655 0
Current children cumulated CPU time: 1016.26 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 73148 KiB
[startup+1020 s]*
/proc/loadavg: 4.11 4.12 4.15 5/246 222960
/proc/meminfo: memFree=118289188/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=99188 memory=73148 CPUtime=1017.07 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 13582 0 0 0 100824 883 0 0 20 0 1 0 24520879 101568512 18287 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 24797 18287 1894 992 0 16655 0
Current children cumulated CPU time: 1017.07 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 73148 KiB
[startup+1020.8 s]
/proc/loadavg: 4.11 4.12 4.15 5/246 222960
/proc/meminfo: memFree=118289188/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=99188 memory=73148 CPUtime=1017.86 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 13582 0 0 0 100903 883 0 0 20 0 1 0 24520879 101568512 18287 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 24797 18287 1894 992 0 16655 0
Current children cumulated CPU time: 1017.86 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 73148 KiB
[startup+1021 s]*
/proc/loadavg: 4.10 4.12 4.15 5/246 222960
/proc/meminfo: memFree=118288880/131655788 swapFree=131071472/131071996
[pid=222545] ppid=222542 vsize=99188 memory=73148 CPUtime=1018.07 cores=1,3
/proc/222545/stat : 222545 (roundingsat) R 222542 222545 216639 0 -1 4194304 13582 0 0 0 100924 883 0 0 20 0 1 0 24520879 101568512 18287 134679101440 4194304 8254037 140728405439328 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36499456 140728405447516 140728405447778 140728405447778 140728405454793 0
/proc/222545/statm: 24797 18287 1894 992 0 16655 0
Current children cumulated CPU time: 1018.07 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 73148 KiB
Child status: 0
Real time (s): 1021.05
CPU time (s): 1018.12
CPU user time (s): 1009.28
CPU system time (s): 8.83782
CPU usage (%): 99.7125
Max. virtual memory (cumulated for all children) (KiB): 99188
Max. memory (cumulated for all children) (KiB): 73148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1009.28
system time used= 8.83782
maximum resident set size= 73148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13590
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1547352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28
involuntary context switches= 1383
# summary of solver processes directly reported to runsolver:
# pid: 222545
# total CPU time (s): 1018.12
# total CPU user time (s): 1009.28
# total CPU system time (s): 8.83782
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.95754 second user time and 10.7851 second system time
The end
Begin job on nodeC004 at 2024-07-25 07:28:39 IDJOB=4458909 IDBENCH=178266 IDSOLVER=3085 FILE ID=nodeC004/4458909-1721885319 RUNJOBID= nodeC004-1721877159-216651 SLURM_JOB_ID= 8089264 Free space on /tmp= 723748 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/normalized-maxcut_opt_complete_5-partite_inlv_nvert_27.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-4458909-1721885319/watcher-4458909-1721885319 -o /tmp/evaluation-result-4458909-1721885319/solver-4458909-1721885319 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721877159-216651 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4458909-1721885319 --lp-cut-gomory=0 HOME/instance-4458909-1721885319.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3b9231489038b4cdb94f511f52877e11 RANDOM SEED=1082982555 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 : 3675.373 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 : 3492.081 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.452 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.286 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 : 3655.060 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 : 3651.084 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 : 1197.552 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.477 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: 120013196 kB MemAvailable: 129326648 kB Buffers: 306404 kB Cached: 9796560 kB SwapCached: 60 kB Active: 2649068 kB Inactive: 8345232 kB Active(anon): 1436 kB Inactive(anon): 943820 kB Active(file): 2647632 kB Inactive(file): 7401412 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 170352 kB Writeback: 0 kB AnonPages: 883948 kB Mapped: 125224 kB Shmem: 53860 kB KReclaimable: 209216 kB Slab: 326852 kB SReclaimable: 209216 kB SUnreclaim: 117636 kB KernelStack: 3968 kB PageTables: 11204 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1206980 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20128 kB HardwareCorrupted: 0 kB AnonHugePages: 716800 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= 723744 MiB End job on nodeC004 at 2024-07-25 07:45:41