| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | OPT cert. | -180 | 1034.07 | 1036.6 |
| 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.04 c #variables 351 #constraints 11700 0.40/0.44 c bounds - >= -291 @ 0.034364 0.40/0.44 c bounds 0 >= -291 @ 0.24748 0.40/0.44 c bounds 0 >= -290 @ 0.247582 0.40/0.44 c bounds 0 >= -289 @ 0.247622 0.40/0.44 c bounds 0 >= -288 @ 0.247659 0.40/0.44 c bounds 0 >= -287 @ 0.247694 0.40/0.44 c bounds 0 >= -286 @ 0.247729 0.40/0.44 c bounds 0 >= -285 @ 0.247763 0.40/0.44 c bounds 0 >= -284 @ 0.247798 0.40/0.44 c bounds 0 >= -283 @ 0.247832 0.40/0.44 c bounds 0 >= -282 @ 0.247865 0.40/0.44 c bounds 0 >= -281 @ 0.247899 0.40/0.44 c bounds 0 >= -280 @ 0.247939 0.40/0.44 c bounds 0 >= -279 @ 0.247974 0.40/0.44 c bounds 0 >= -278 @ 0.248013 0.40/0.44 c bounds 0 >= -277 @ 0.248054 0.40/0.44 c bounds 0 >= -276 @ 0.248093 0.40/0.44 c bounds 0 >= -275 @ 0.248126 0.40/0.44 c bounds 0 >= -274 @ 0.248163 0.40/0.44 c bounds 0 >= -273 @ 0.248197 0.40/0.44 c bounds 0 >= -272 @ 0.248233 0.40/0.44 c bounds 0 >= -271 @ 0.248271 0.40/0.44 c bounds 0 >= -270 @ 0.248306 0.40/0.44 c bounds 0 >= -269 @ 0.248344 0.40/0.44 c bounds 0 >= -268 @ 0.248379 0.40/0.44 c bounds 0 >= -267 @ 0.248415 0.40/0.44 c bounds 0 >= -266 @ 0.248449 0.40/0.44 c bounds 0 >= -265 @ 0.248486 0.40/0.44 c bounds 0 >= -264 @ 0.248519 0.40/0.44 c bounds 0 >= -263 @ 0.248559 0.40/0.44 c bounds 0 >= -262 @ 0.248595 0.40/0.44 c bounds 0 >= -261 @ 0.248631 0.40/0.44 c bounds 0 >= -260 @ 0.248666 0.40/0.44 c bounds 0 >= -259 @ 0.248701 0.40/0.44 c bounds 0 >= -258 @ 0.248736 0.40/0.44 c bounds 0 >= -257 @ 0.24877 0.40/0.44 c bounds 0 >= -256 @ 0.248803 0.40/0.44 c bounds 0 >= -255 @ 0.248836 0.40/0.44 c bounds 0 >= -254 @ 0.24887 0.40/0.44 c bounds 0 >= -253 @ 0.248904 0.40/0.44 c bounds 0 >= -252 @ 0.248942 0.40/0.44 c bounds 0 >= -251 @ 0.248974 0.40/0.44 c bounds 0 >= -250 @ 0.249039 0.40/0.44 c bounds 0 >= -249 @ 0.249073 0.40/0.44 c bounds 0 >= -248 @ 0.249108 0.40/0.44 c bounds 0 >= -247 @ 0.249142 0.40/0.44 c bounds 0 >= -246 @ 0.249184 0.40/0.44 c bounds 0 >= -245 @ 0.24922 0.40/0.44 c bounds 0 >= -244 @ 0.249259 0.40/0.44 c bounds 0 >= -243 @ 0.249294 0.40/0.44 c bounds 0 >= -242 @ 0.249331 0.40/0.44 c bounds 0 >= -241 @ 0.249366 0.40/0.44 c bounds 0 >= -240 @ 0.249404 0.40/0.44 c bounds 0 >= -239 @ 0.249439 0.40/0.44 c bounds 0 >= -238 @ 0.249483 0.40/0.44 c bounds 0 >= -237 @ 0.249521 0.40/0.44 c bounds 0 >= -236 @ 0.249559 0.40/0.44 c bounds 0 >= -235 @ 0.249601 0.40/0.44 c bounds 0 >= -234 @ 0.249641 0.40/0.44 c bounds 0 >= -233 @ 0.249676 0.40/0.44 c bounds 0 >= -232 @ 0.249724 0.40/0.44 c bounds 0 >= -231 @ 0.249763 0.40/0.44 c bounds 0 >= -230 @ 0.249801 0.40/0.44 c bounds 0 >= -229 @ 0.249843 0.40/0.44 c bounds 0 >= -228 @ 0.249883 0.40/0.44 c bounds 0 >= -227 @ 0.249923 0.40/0.44 c bounds 0 >= -226 @ 0.249994 0.40/0.44 c bounds 0 >= -225 @ 0.250039 0.40/0.44 c bounds 0 >= -224 @ 0.250075 0.40/0.44 c bounds 0 >= -223 @ 0.250109 0.40/0.44 c bounds 0 >= -222 @ 0.25014 0.40/0.44 c bounds 0 >= -221 @ 0.250174 0.40/0.44 c bounds 0 >= -220 @ 0.250219 0.40/0.44 c bounds 0 >= -219 @ 0.250259 0.40/0.44 c bounds 0 >= -218 @ 0.250296 0.40/0.44 c bounds 0 >= -217 @ 0.250329 0.40/0.44 c bounds 0 >= -216 @ 0.250382 0.40/0.44 c bounds 0 >= -215 @ 0.250431 0.40/0.44 c bounds 0 >= -214 @ 0.250478 0.40/0.44 c bounds 0 >= -213 @ 0.25054 0.40/0.44 c bounds -21 >= -213 @ 0.250919 0.40/0.44 c bounds -21 >= -212 @ 0.250971 0.40/0.44 c bounds -21 >= -211 @ 0.251025 0.40/0.44 c bounds -21 >= -210 @ 0.251073 0.40/0.44 c bounds -21 >= -209 @ 0.251131 0.40/0.44 c bounds -21 >= -208 @ 0.251184 0.40/0.44 c bounds -21 >= -207 @ 0.251253 0.40/0.44 c bounds -21 >= -206 @ 0.251342 0.40/0.44 c bounds -21 >= -205 @ 0.25143 0.40/0.44 c bounds -21 >= -204 @ 0.25151 0.40/0.44 c bounds -42 >= -204 @ 0.251859 0.40/0.44 c bounds -42 >= -203 @ 0.252015 0.40/0.44 c bounds -42 >= -202 @ 0.252102 0.40/0.44 c bounds -42 >= -201 @ 0.252356 0.40/0.44 c bounds -63 >= -201 @ 0.252723 0.40/0.44 c bounds -63 >= -200 @ 0.253051 0.40/0.44 c bounds -63 >= -199 @ 0.253973 0.40/0.44 c bounds -79 >= -199 @ 0.254562 0.40/0.44 c bounds -79 >= -198 @ 0.254896 0.40/0.44 c bounds -95 >= -198 @ 0.254913 0.40/0.44 c bounds -111 >= -198 @ 0.255018 0.40/0.44 c bounds -111 >= -197 @ 0.255909 0.40/0.44 c bounds -120 >= -197 @ 0.256417 0.40/0.44 c bounds -129 >= -197 @ 0.257721 0.40/0.44 c bounds -138 >= -197 @ 0.258474 0.40/0.44 c bounds -138 >= -196 @ 0.259896 0.40/0.44 c bounds -147 >= -196 @ 0.259896 0.40/0.44 c bounds -154 >= -196 @ 0.26173 0.40/0.44 c bounds -154 >= -195 @ 0.26656 0.40/0.44 c bounds -161 >= -195 @ 0.268758 0.40/0.44 c bounds -166 >= -195 @ 0.280527 0.40/0.44 WSVECS04 Frhs2[1]: 6 0 1.00005 shouldn't be 0.40/0.44 WSVECS04 Frhs2[2]: 6 0 1.00009 shouldn't be 0.40/0.44 WSVECS04 Frhs2[12]: 6 0 1.00006 shouldn't be 0.40/0.44 WSVECS04 Frhs2[16]: 6 0 1.00001 shouldn't be 0.40/0.44 WSVECS04 Frhs2[22]: 6 0 1.00008 shouldn't be 0.40/0.44 WSVECS04 Frhs2[27]: 6 0 1.00002 shouldn't be 0.40/0.44 WSVECS04 Frhs2[35]: 6 0 1.00007 shouldn't be 0.40/0.44 WSVECS04 Frhs2[37]: 6 0 1.00005 shouldn't be 0.40/0.44 WSVECS04 Frhs2[40]: 6 0 1.00002 shouldn't be 0.40/0.44 WSVECS04 Frhs2[45]: 6 0 1.00005 shouldn't be 0.40/0.44 WSVECS04 Frhs2[47]: 6 0 1.00008 shouldn't be 0.40/0.44 WSVECS04 Frhs2[50]: 6 0 1.00002 shouldn't be 0.40/0.44 WSVECS04 Frhs2[59]: 6 0 1.00007 shouldn't be 0.40/0.44 WSVECS04 Frhs2[64]: 6 0 1.00005 shouldn't be 0.40/0.44 WSVECS04 Frhs2[65]: 6 0 1.00005 shouldn't be 0.40/0.44 WSVECS04 Frhs2[69]: 6 0 1.00004 shouldn't be 0.40/0.44 WSVECS04 Frhs2[70]: 6 0 1.00004 shouldn't be 0.40/0.44 WSVECS04 Frhs2[74]: 6 0 1.00002 shouldn't be 0.40/0.44 WSVECS04 Frhs2[75]: 6 0 1.00005 shouldn't be 0.40/0.44 WSVECS04 Frhs2[99]: 6 0 1.00008 shouldn't be 0.40/0.44 WSVECS04 Frhs2[101]: 6 0 1.00006 shouldn't be 0.40/0.44 WSVECS04 Frhs2[105]: 6 0 1.00007 shouldn't be 0.40/0.44 WSVECS04 Frhs2[107]: 6 0 1.00002 shouldn't be 0.40/0.44 WSVECS04 Frhs2[111]: 6 0 1.00009 shouldn't be 0.40/0.44 WSVECS04 Frhs2[112]: 6 0 1.00005 shouldn't be 0.40/0.44 WSVECS04 Frhs2[117]: 6 0 1.00008 shouldn't be 0.40/0.44 WSVECS04 Frhs2[122]: 6 0 1.0001 shouldn't be 0.40/0.44 WSVECS04 Frhs2[124]: 6 0 1.00009 shouldn't be 0.40/0.44 WSVECS04 Frhs2[126]: 6 0 1.00007 shouldn't be 0.40/0.44 WSVECS04 Frhs2[128]: 6 0 1.00004 shouldn't be 0.40/0.44 WSVECS04 Frhs2[129]: 6 0 1.00008 shouldn't be 0.40/0.44 WSVECS04 Frhs2[132]: 6 0 1.00005 shouldn't be 0.40/0.44 WSVECS04 Frhs2[133]: 6 0 1.00003 shouldn't be 0.40/0.44 WSVECS04 Frhs2[134]: 6 0 1.00001 shouldn't be 0.40/0.44 WSVECS04 Frhs2[138]: 6 0 1.00009 shouldn't be 0.40/0.44 WSVECS04 Frhs2[139]: 6 0 1.00005 shouldn't be 0.40/0.44 WSVECS04 Frhs2[163]: 6 0 1.00007 shouldn't be 0.40/0.44 WSVECS04 Frhs2[165]: 6 0 1.00008 shouldn't be 0.40/0.44 WSVECS04 Frhs2[167]: 6 0 1.00001 shouldn't be 0.40/0.44 WSVECS04 Frhs2[168]: 6 0 1.00004 shouldn't be 0.40/0.44 WSVECS04 Frhs2[172]: 6 0 1.00008 shouldn't be 0.40/0.44 WSVECS04 Frhs2[173]: 6 0 1.00007 shouldn't be 0.40/0.44 WSVECS04 Frhs2[177]: 6 0 1.00008 shouldn't be 0.40/0.44 WSVECS04 Frhs2[178]: 6 0 1.00007 shouldn't be 0.40/0.44 WSVECS04 Frhs2[200]: 6 0 1.00003 shouldn't be 0.40/0.44 WSVECS04 Frhs2[202]: 6 0 1.00007 shouldn't be 0.40/0.44 WSVECS04 Frhs2[206]: 6 0 1.00003 shouldn't be 0.40/0.44 WSVECS04 Frhs2[207]: 6 0 1.00003 shouldn't be 0.40/0.44 WSVECS04 Frhs2[212]: 6 0 1.00009 shouldn't be 0.40/0.44 WSVECS04 Frhs2[217]: 6 0 1.00006 shouldn't be 0.40/0.44 WSVECS04 Frhs2[221]: 6 0 1.00008 shouldn't be 0.40/0.44 WSVECS04 Frhs2[226]: 6 0 1.00008 shouldn't be 0.40/0.44 WSVECS04 Frhs2[227]: 6 0 1.00005 shouldn't be 0.40/0.44 WSVECS04 Frhs2[231]: 6 0 1.00006 shouldn't be 0.40/0.44 WSVECS04 Frhs2[233]: 6 0 1.00002 shouldn't be 0.40/0.44 WSVECS04 Frhs2[234]: 6 0 1.00007 shouldn't be 0.40/0.44 WSVECS04 Frhs2[237]: 6 0 1.00006 shouldn't be 0.40/0.44 WSVECS04 Frhs2[238]: 6 0 1.00005 shouldn't be 0.40/0.44 WSVECS04 Frhs2[239]: 6 0 1.00003 shouldn't be 0.40/0.44 WSVECS04 Frhs2[243]: 6 0 1.00002 shouldn't be 0.40/0.44 WSVECS04 Frhs2[244]: 6 0 1.00004 shouldn't be 0.40/0.44 WSVECS04 Frhs2[249]: 6 0 1.00007 shouldn't be 0.40/0.44 WSVECS04 Frhs2[250]: 6 0 1.00008 shouldn't be 0.40/0.44 WSVECS04 Frhs2[254]: 6 0 1.00009 shouldn't be 0.40/0.44 WSVECS04 Frhs2[255]: 6 0 1.00007 shouldn't be 0.40/0.44 WSVECS04 Frhs2[259]: 6 0 1.00005 shouldn't be 0.40/0.44 WSVECS04 Frhs2[260]: 6 0 1.00005 shouldn't be 0.40/0.44 WSVECS04 Frhs2[261]: 6 0 1.00007 shouldn't be 0.40/0.44 WSVECS04 Frhs2[264]: 6 0 1.00002 shouldn't be 0.40/0.44 WSVECS04 Frhs2[266]: 6 0 1.00002 shouldn't be 0.40/0.44 WSVECS04 Frhs2[271]: 6 0 1.00003 shouldn't be 0.40/0.44 WSVECS04 Frhs2[277]: 6 0 1.00001 shouldn't be 0.40/0.44 WSVECS04 Frhs2[282]: 6 0 1.00005 shouldn't be 0.40/0.44 WSVECS04 Frhs2[286]: 6 0 1.00001 shouldn't be 0.40/0.44 WSVECS04 Frhs2[292]: 6 0 1.00008 shouldn't be 0.40/0.44 WSVECS04 Frhs2[296]: 6 0 1.00008 shouldn't be 0.40/0.44 WSVECS04 Frhs2[300]: 6 0 1.00001 shouldn't be 0.40/0.44 WSVECS04 Frhs2[302]: 6 0 1.00009 shouldn't be 0.40/0.44 WSVECS04 Frhs2[305]: 6 0 1.00002 shouldn't be 0.40/0.44 WSVECS04 Frhs2[307]: 6 0 1.00006 shouldn't be 0.40/0.44 WSVECS04 Frhs2[308]: 6 0 1.00003 shouldn't be 0.40/0.44 WSVECS04 Frhs2[312]: 6 0 1.00003 shouldn't be 0.40/0.44 WSVECS04 Frhs2[313]: 6 0 1.00003 shouldn't be 0.40/0.44 WSVECS04 Frhs2[316]: 6 0 1.00007 shouldn't be 0.40/0.44 WSVECS04 Frhs2[321]: 6 0 1.00003 shouldn't be 0.40/0.44 WSVECS04 Frhs2[327]: 6 0 1.00007 shouldn't be 0.40/0.44 WSVECS04 Frhs2[332]: 6 0 1.00009 shouldn't be 0.40/0.44 WSVECS04 Frhs2[336]: 6 0 1.00008 shouldn't be 0.40/0.44 WSVECS04 Frhs2[337]: 6 0 1.00002 shouldn't be 0.40/0.44 WSVECS04 Frhs2[340]: 6 0 1.00002 shouldn't be 0.40/0.44 WSVECS04 Frhs2[344]: 6 0 1.00002 shouldn't be 0.40/0.44 WSVECS04 Frhs2[345]: 6 0 1.00003 shouldn't be 0.40/0.44 WSVECS04 Frhs2[346]: 6 0 1.00009 shouldn't be 0.40/0.44 WSVECS04 Frhs2[351]: 6 0 1.00004 shouldn't be 0.99/1.05 c bounds -166 >= -194 @ 0.662449 0.99/1.05 c bounds -171 >= -194 @ 0.663168 0.99/1.05 c bounds -172 >= -194 @ 0.666742 0.99/1.05 c bounds -173 >= -194 @ 0.671361 0.99/1.05 c bounds -174 >= -194 @ 0.696825 0.99/1.05 c #Conflicts: 1000 | #Constraints: 13256 0.99/1.05 c bounds -174 >= -193 @ 0.736722 0.99/1.05 c bounds -175 >= -193 @ 0.740763 0.99/1.05 c bounds -176 >= -193 @ 0.744941 0.99/1.05 c #Conflicts: 2000 | #Constraints: 14275 0.99/1.05 c INPROCESSING 0.99/1.05 c GARBAGE COLLECT 0.99/1.05 WSVECS04 Frhs2[89]: 6 0 1.00005 shouldn't be 0.99/1.05 WSVECS04 Frhs2[92]: 6 0 1.0001 shouldn't be 0.99/1.05 WSVECS04 Frhs2[274]: 6 0 1.00009 shouldn't be 0.99/1.05 WSVECS04 Frhs2[280]: 6 0 1.00006 shouldn't be 0.99/1.05 WSVECS04 Frhs2[291]: 6 0 1.00005 shouldn't be 0.99/1.05 WSVECS04 Frhs2[309]: 6 0 1.00008 shouldn't be 1.29/1.32 c rational objective -194 2.58/2.68 c #Conflicts: 3000 | #Constraints: 14266 2.58/2.68 c bounds -176 >= -192 @ 1.75659 2.58/2.68 c #Conflicts: 4000 | #Constraints: 15295 2.58/2.68 c INPROCESSING 2.58/2.68 c GARBAGE COLLECT 2.58/2.68 c rational objective -194 4.78/4.88 c #Conflicts: 5000 | #Constraints: 14707 4.78/4.88 c #Conflicts: 6000 | #Constraints: 15709 4.78/4.88 c INPROCESSING 4.78/4.88 c GARBAGE COLLECT 4.78/4.88 c #Conflicts: 7000 | #Constraints: 14710 4.78/4.88 c #Conflicts: 8000 | #Constraints: 15710 4.78/4.88 c #Conflicts: 9000 | #Constraints: 16710 4.78/4.88 WSVECS04 Frhs2[6]: 6 -4.17278 0 shouldn't be 4.78/4.88 WSVECS04 Frhs2[16]: 6 0 4.51728 shouldn't be 4.78/4.88 WSVECS04 Frhs2[25]: 6 0 2.00064 shouldn't be 4.78/4.88 WSVECS04 Frhs2[26]: 6 -3.51916 0 shouldn't be 4.78/4.88 WSVECS04 Frhs2[151]: 6 -3.95391 0 shouldn't be 4.78/4.88 WSVECS04 Frhs2[152]: 6 -6.42764 0 shouldn't be 4.78/4.88 WSVECS04 Frhs2[160]: 6 -2.00002 0 shouldn't be 4.78/4.88 WSVECS04 Frhs2[297]: 6 0 3.18598 shouldn't be 4.78/4.88 WSVECS04 Frhs2[306]: 6 -7.73462 0 shouldn't be 4.78/4.88 WSVECS04 Frhs2[314]: 6 0 2.41989 shouldn't be 4.78/4.88 WSVECS04 Frhs2[351]: 6 -5.53317 0 shouldn't be 5.67/5.72 c INPROCESSING 5.67/5.72 c GARBAGE COLLECT 5.67/5.72 c rational objective -194 6.28/6.36 c #Conflicts: 10000 | #Constraints: 15422 6.28/6.36 c #Conflicts: 11000 | #Constraints: 16422 6.28/6.36 c #Conflicts: 12000 | #Constraints: 17422 6.28/6.36 c INPROCESSING 6.28/6.36 c GARBAGE COLLECT 6.28/6.36 c rational objective -194 9.17/9.24 c bounds -176 >= -191 @ 6.2717 9.17/9.24 c #Conflicts: 13000 | #Constraints: 15899 9.17/9.24 c bounds -176 >= -190 @ 6.55063 9.17/9.24 c #Conflicts: 14000 | #Constraints: 16916 9.17/9.24 c #Conflicts: 15000 | #Constraints: 17919 9.17/9.24 c INPROCESSING 9.17/9.24 c GARBAGE COLLECT 9.17/9.24 c #Conflicts: 16000 | #Constraints: 16146 9.17/9.24 c #Conflicts: 17000 | #Constraints: 17146 9.17/9.24 WSVECS04 Frhs2[4]: 6 0 1.37921 shouldn't be 9.17/9.24 WSVECS04 Frhs2[16]: 6 -1.44805 0 shouldn't be 9.17/9.24 WSVECS04 Frhs2[17]: 6 -3.775 0 shouldn't be 9.17/9.24 WSVECS04 Frhs2[26]: 6 -4.63617 0 shouldn't be 9.17/9.24 WSVECS04 Frhs2[110]: 6 -4.79718 0 shouldn't be 9.17/9.24 WSVECS04 Frhs2[120]: 6 -2.95161 0 shouldn't be 9.17/9.24 WSVECS04 Frhs2[297]: 6 0 1.33555 shouldn't be 9.17/9.24 WSVECS04 Frhs2[305]: 6 -2.00002 0 shouldn't be 9.17/9.24 WSVECS04 Frhs2[306]: 6 0 0.0904537 shouldn't be 9.17/9.24 WSVECS04 Frhs2[314]: 6 -7.67923 0 shouldn't be 9.17/9.24 WSVECS04 Frhs2[315]: 6 0 2.77502 shouldn't be 10.57/10.63 c bounds -176 >= -189 @ 9.81269 10.57/10.63 c #Conflicts: 18000 | #Constraints: 18163 10.57/10.63 c INPROCESSING 10.57/10.63 c GARBAGE COLLECT 10.57/10.63 c rational objective -194 15.46/15.58 c #Conflicts: 19000 | #Constraints: 16183 15.46/15.58 c #Conflicts: 20000 | #Constraints: 17183 15.46/15.58 c #Conflicts: 21000 | #Constraints: 18183 15.46/15.58 c bounds -176 >= -188 @ 11.0246 15.46/15.58 c #Conflicts: 22000 | #Constraints: 19227 15.46/15.58 c #Conflicts: 23000 | #Constraints: 20229 15.46/15.58 c #Conflicts: 24000 | #Constraints: 21232 15.46/15.58 c #Conflicts: 25000 | #Constraints: 22236 15.46/15.58 c #Conflicts: 26000 | #Constraints: 23240 15.46/15.58 c #Conflicts: 27000 | #Constraints: 24243 15.46/15.58 c #Conflicts: 28000 | #Constraints: 25246 15.46/15.58 c INPROCESSING 15.46/15.58 c GARBAGE COLLECT 15.46/15.58 c rational objective -194 18.55/18.63 c #Conflicts: 29000 | #Constraints: 19457 18.55/18.63 c #Conflicts: 30000 | #Constraints: 20457 18.55/18.63 c #Conflicts: 31000 | #Constraints: 21457 18.55/18.63 c #Conflicts: 32000 | #Constraints: 22457 18.55/18.63 c #Conflicts: 33000 | #Constraints: 23457 18.55/18.63 c INPROCESSING 18.55/18.63 c GARBAGE COLLECT 18.55/18.63 c rational objective -194 21.83/21.95 c #Conflicts: 34000 | #Constraints: 18820 21.83/21.95 c #Conflicts: 35000 | #Constraints: 19823 21.83/21.95 c #Conflicts: 36000 | #Constraints: 20829 21.83/21.95 c #Conflicts: 37000 | #Constraints: 21834 21.83/21.95 c #Conflicts: 38000 | #Constraints: 22838 21.83/21.95 c INPROCESSING 21.83/21.95 c GARBAGE COLLECT 21.83/21.95 c rational objective -194 22.83/22.99 c #Conflicts: 39000 | #Constraints: 18649 22.83/22.99 WSVECS04 Frhs2[59]: 6 0 3.03874 shouldn't be 22.83/22.99 WSVECS04 Frhs2[67]: 6 0 1.00005 shouldn't be 22.83/22.99 WSVECS04 Frhs2[68]: 6 -1.24861 0 shouldn't be 22.83/22.99 WSVECS04 Frhs2[72]: 6 0 2.88286 shouldn't be 22.83/22.99 WSVECS04 Frhs2[74]: 6 -2.00009 0 shouldn't be 22.83/22.99 WSVECS04 Frhs2[75]: 6 -2.46417 0 shouldn't be 22.83/22.99 WSVECS04 Frhs2[223]: 6 0 2.00001 shouldn't be 22.83/22.99 WSVECS04 Frhs2[224]: 6 -0.580929 0 shouldn't be 22.83/22.99 WSVECS04 Frhs2[228]: 6 0 4.55714 shouldn't be 22.83/22.99 WSVECS04 Frhs2[229]: 6 -2.55504 0 shouldn't be 22.83/22.99 WSVECS04 Frhs2[230]: 6 -1.18597 0 shouldn't be 22.83/22.99 WSVECS04 Frhs2[231]: 6 -5.75589 0 shouldn't be 22.83/22.99 WSVECS04 Frhs2[316]: 6 -2.00007 0 shouldn't be 22.83/22.99 WSVECS04 Frhs2[321]: 6 -6.17826 0 shouldn't be 22.83/22.99 WSVECS04 Frhs2[322]: 6 -2.00774 0 shouldn't be 22.83/22.99 WSVECS04 Frhs2[323]: 6 -0.317174 0 shouldn't be 22.83/22.99 WSVECS04 Frhs2[327]: 6 -0.384251 0 shouldn't be 22.83/22.99 WSVECS04 Frhs2[330]: 6 0 1.84754 shouldn't be 22.83/22.99 WSVECS04 Frhs2[346]: 6 -2.61888 0 shouldn't be 22.83/22.99 WSVECS04 Frhs2[347]: 6 -5.99474 0 shouldn't be 22.83/22.99 WSVECS04 Frhs2[348]: 6 -1.31717 0 shouldn't be 22.83/22.99 WSVECS04 Frhs2[349]: 6 0 1.00001 shouldn't be 22.83/22.99 WSVECS04 Frhs2[350]: 6 0 1.689 shouldn't be 22.83/22.99 WSVECS04 Frhs2[351]: 6 0 3.00776 shouldn't be 24.83/24.96 c #Conflicts: 40000 | #Constraints: 19649 24.83/24.96 c #Conflicts: 41000 | #Constraints: 20649 24.83/24.96 c bounds -176 >= -187 @ 23.7045 24.83/24.96 c #Conflicts: 42000 | #Constraints: 21681 24.83/24.96 c INPROCESSING 24.83/24.96 c GARBAGE COLLECT 24.83/24.96 c rational objective -194 34.81/35.00 c #Conflicts: 43000 | #Constraints: 17636 34.81/35.00 c #Conflicts: 44000 | #Constraints: 18636 34.81/35.00 c #Conflicts: 45000 | #Constraints: 19636 34.81/35.00 c #Conflicts: 46000 | #Constraints: 20636 34.81/35.00 c #Conflicts: 47000 | #Constraints: 21636 34.81/35.00 c #Conflicts: 48000 | #Constraints: 22636 34.81/35.00 c #Conflicts: 49000 | #Constraints: 23636 34.81/35.00 c #Conflicts: 50000 | #Constraints: 24636 34.81/35.00 c #Conflicts: 51000 | #Constraints: 25636 34.81/35.00 c #Conflicts: 52000 | #Constraints: 26636 34.81/35.00 c bounds -176 >= -186 @ 28.6642 34.81/35.00 c #Conflicts: 53000 | #Constraints: 27663 34.81/35.00 c #Conflicts: 54000 | #Constraints: 28665 34.81/35.00 c #Conflicts: 55000 | #Constraints: 29670 34.81/35.00 c #Conflicts: 56000 | #Constraints: 30677 34.81/35.00 c #Conflicts: 57000 | #Constraints: 31680 34.81/35.00 c #Conflicts: 58000 | #Constraints: 32683 34.81/35.00 c INPROCESSING 34.81/35.00 c GARBAGE COLLECT 34.81/35.00 c rational objective -194 39.10/39.26 c #Conflicts: 59000 | #Constraints: 23211 39.10/39.26 c #Conflicts: 60000 | #Constraints: 24214 39.10/39.26 c #Conflicts: 61000 | #Constraints: 25219 39.10/39.26 c #Conflicts: 62000 | #Constraints: 26228 39.10/39.26 c #Conflicts: 63000 | #Constraints: 27234 39.10/39.26 c #Conflicts: 64000 | #Constraints: 28242 39.10/39.26 c #Conflicts: 65000 | #Constraints: 29246 39.10/39.26 c INPROCESSING 39.10/39.26 c GARBAGE COLLECT 39.10/39.26 c rational objective -194 40.00/40.15 c #Conflicts: 66000 | #Constraints: 21888 40.00/40.15 WSVECS04 Frhs2[15]: 6 0 1.19141 shouldn't be 40.00/40.15 WSVECS04 Frhs2[17]: 6 0 1.54181 shouldn't be 40.00/40.15 WSVECS04 Frhs2[26]: 6 -3.274 0 shouldn't be 40.00/40.15 WSVECS04 Frhs2[109]: 6 -5.22869 0 shouldn't be 40.00/40.15 WSVECS04 Frhs2[110]: 6 0 1.27554 shouldn't be 40.00/40.15 WSVECS04 Frhs2[111]: 6 -6.05245 0 shouldn't be 40.00/40.15 WSVECS04 Frhs2[119]: 6 -0.898842 0 shouldn't be 40.00/40.15 WSVECS04 Frhs2[120]: 6 0 0.951414 shouldn't be 40.00/40.15 WSVECS04 Frhs2[287]: 6 0 1.00002 shouldn't be 40.00/40.15 WSVECS04 Frhs2[295]: 6 0 2.20568 shouldn't be 40.00/40.15 WSVECS04 Frhs2[296]: 6 -4.2559 0 shouldn't be 40.00/40.15 WSVECS04 Frhs2[297]: 6 -0.625347 0 shouldn't be 40.00/40.15 WSVECS04 Frhs2[305]: 6 -7.62552 0 shouldn't be 40.00/40.15 WSVECS04 Frhs2[306]: 6 0 0.91969 shouldn't be 40.00/40.15 WSVECS04 Frhs2[314]: 6 0 1.48045 shouldn't be 40.20/40.39 WSVECS04 Frhs2[16]: 6 -2.55329 0 shouldn't be 40.79/40.90 WSVECS04 Frhs2[286]: 6 -1.19262 0 shouldn't be 43.59/43.73 c #Conflicts: 67000 | #Constraints: 22888 43.59/43.73 c #Conflicts: 68000 | #Constraints: 23888 43.59/43.73 c #Conflicts: 69000 | #Constraints: 24888 43.59/43.73 c #Conflicts: 70000 | #Constraints: 25888 43.59/43.73 c #Conflicts: 71000 | #Constraints: 26888 43.59/43.73 c INPROCESSING 43.59/43.73 c GARBAGE COLLECT 43.59/43.73 c rational objective -194 57.15/57.34 c #Conflicts: 72000 | #Constraints: 20566 57.15/57.34 c #Conflicts: 73000 | #Constraints: 21569 57.15/57.34 c #Conflicts: 74000 | #Constraints: 22575 57.15/57.34 c #Conflicts: 75000 | #Constraints: 23583 57.15/57.34 c #Conflicts: 76000 | #Constraints: 24587 57.15/57.34 c #Conflicts: 77000 | #Constraints: 25591 57.15/57.34 c #Conflicts: 78000 | #Constraints: 26595 57.15/57.34 c #Conflicts: 79000 | #Constraints: 27600 57.15/57.34 c #Conflicts: 80000 | #Constraints: 28609 57.15/57.34 c #Conflicts: 81000 | #Constraints: 29614 57.15/57.34 c #Conflicts: 82000 | #Constraints: 30618 57.15/57.34 c #Conflicts: 83000 | #Constraints: 31625 57.15/57.34 c #Conflicts: 84000 | #Constraints: 32630 57.15/57.34 c #Conflicts: 85000 | #Constraints: 33636 57.15/57.34 c #Conflicts: 86000 | #Constraints: 34643 57.15/57.34 c #Conflicts: 87000 | #Constraints: 35651 57.15/57.34 c #Conflicts: 88000 | #Constraints: 36654 57.15/57.34 c #Conflicts: 89000 | #Constraints: 37660 57.15/57.34 c #Conflicts: 90000 | #Constraints: 38665 57.15/57.34 c #Conflicts: 91000 | #Constraints: 39669 57.15/57.34 c INPROCESSING 57.15/57.34 c GARBAGE COLLECT 57.15/57.34 c rational objective -194 58.25/58.47 c #Conflicts: 92000 | #Constraints: 26862 58.25/58.47 c #Conflicts: 93000 | #Constraints: 27862 58.25/58.47 WSVECS04 Frhs2[2]: 6 -4.76607 0 shouldn't be 58.25/58.47 WSVECS04 Frhs2[13]: 6 -3.00003 0 shouldn't be 58.25/58.47 WSVECS04 Frhs2[14]: 6 0 3.27396 shouldn't be 58.25/58.47 WSVECS04 Frhs2[15]: 6 0 1.03522 shouldn't be 58.25/58.47 WSVECS04 Frhs2[62]: 6 0 3.12636 shouldn't be 58.25/58.47 WSVECS04 Frhs2[63]: 6 -2.63972 0 shouldn't be 58.25/58.47 WSVECS04 Frhs2[66]: 6 0 0.322594 shouldn't be 58.25/58.47 WSVECS04 Frhs2[74]: 6 -1.00005 0 shouldn't be 58.25/58.47 WSVECS04 Frhs2[261]: 6 -4.00004 0 shouldn't be 58.25/58.47 WSVECS04 Frhs2[264]: 6 0 1.02609 shouldn't be 58.25/58.47 WSVECS04 Frhs2[272]: 6 -2.87373 0 shouldn't be 58.25/58.47 WSVECS04 Frhs2[274]: 6 0 1.00003 shouldn't be 58.25/58.47 WSVECS04 Frhs2[276]: 6 -2.94765 0 shouldn't be 58.25/58.47 WSVECS04 Frhs2[284]: 6 0 1.26057 shouldn't be 58.25/58.47 WSVECS04 Frhs2[287]: 6 -4.23311 0 shouldn't be 58.25/58.47 WSVECS04 Frhs2[323]: 6 0 3.70411 shouldn't be 61.45/61.60 c #Conflicts: 94000 | #Constraints: 28862 61.45/61.60 c #Conflicts: 95000 | #Constraints: 29862 61.45/61.60 c #Conflicts: 96000 | #Constraints: 30862 61.45/61.60 c #Conflicts: 97000 | #Constraints: 31862 61.45/61.60 WSVECS04 Frhs2[1]: 6 -2.18607 0 shouldn't be 61.45/61.60 WSVECS04 Frhs2[16]: 6 -5.0001 0 shouldn't be 61.45/61.60 WSVECS04 Frhs2[17]: 6 0 2.53821 shouldn't be 61.45/61.60 WSVECS04 Frhs2[25]: 6 0 3.71018 shouldn't be 61.45/61.60 WSVECS04 Frhs2[26]: 6 -3.03557 0 shouldn't be 61.45/61.60 WSVECS04 Frhs2[41]: 6 0 4.04777 shouldn't be 61.45/61.60 WSVECS04 Frhs2[42]: 6 -4.42482 0 shouldn't be 61.45/61.60 WSVECS04 Frhs2[50]: 6 -10.5639 0 shouldn't be 61.45/61.60 WSVECS04 Frhs2[51]: 6 0 2.72272 shouldn't be 61.45/61.60 WSVECS04 Frhs2[279]: 6 -14.9802 0 shouldn't be 61.45/61.60 WSVECS04 Frhs2[291]: 6 -14.518 0 shouldn't be 61.45/61.60 WSVECS04 Frhs2[305]: 6 -9.19596 0 shouldn't be 61.45/61.60 WSVECS04 Frhs2[306]: 6 0 0.979423 shouldn't be 61.45/61.60 WSVECS04 Frhs2[315]: 6 -5.82323 0 shouldn't be 61.45/61.60 WSVECS04 Frhs2[351]: 6 -0.54326 0 shouldn't be 64.14/64.36 c #Conflicts: 98000 | #Constraints: 32862 64.14/64.36 c bounds -176 >= -185 @ 61.3152 64.14/64.36 c #Conflicts: 99000 | #Constraints: 33891 64.14/64.36 c INPROCESSING 64.14/64.36 c GARBAGE COLLECT 64.14/64.36 c rational objective -194 65.43/65.61 c #Conflicts: 100000 | #Constraints: 24144 65.43/65.61 c #Conflicts: 101000 | #Constraints: 25144 65.43/65.61 WSVECS04 Frhs2[147]: 6 0 1.31917 shouldn't be 65.43/65.61 WSVECS04 Frhs2[150]: 6 0 1.15587 shouldn't be 65.43/65.61 WSVECS04 Frhs2[196]: 6 -9.98796 0 shouldn't be 65.43/65.61 WSVECS04 Frhs2[198]: 6 -8.69723 0 shouldn't be 65.43/65.61 WSVECS04 Frhs2[206]: 6 0 2.05656 shouldn't be 65.43/65.61 WSVECS04 Frhs2[209]: 6 0 3.13905 shouldn't be 65.43/65.61 WSVECS04 Frhs2[214]: 6 0 1.00005 shouldn't be 65.43/65.61 WSVECS04 Frhs2[249]: 6 0 1.98732 shouldn't be 65.43/65.61 WSVECS04 Frhs2[309]: 6 0 1.57619 shouldn't be 65.43/65.61 WSVECS04 Frhs2[314]: 6 0 1.70633 shouldn't be 65.43/65.61 WSVECS04 Frhs2[335]: 6 0 0.422828 shouldn't be 65.43/65.61 WSVECS04 Frhs2[350]: 6 0 1.43232 shouldn't be 68.93/69.16 c #Conflicts: 102000 | #Constraints: 26144 68.93/69.16 c #Conflicts: 103000 | #Constraints: 27144 68.93/69.16 c #Conflicts: 104000 | #Constraints: 28144 68.93/69.16 c #Conflicts: 105000 | #Constraints: 29144 68.93/69.16 c #Conflicts: 106000 | #Constraints: 30144 68.93/69.16 WSVECS04 Frhs2[100]: 6 -6.87651 0 shouldn't be 68.93/69.16 WSVECS04 Frhs2[102]: 6 0 5.68641 shouldn't be 68.93/69.16 WSVECS04 Frhs2[142]: 6 0 3.69806 shouldn't be 68.93/69.16 WSVECS04 Frhs2[143]: 6 -8.57455 0 shouldn't be 68.93/69.16 WSVECS04 Frhs2[162]: 6 -5.30207 0 shouldn't be 70.22/70.41 c #Conflicts: 107000 | #Constraints: 31145 70.22/70.41 c INPROCESSING 70.22/70.41 c GARBAGE COLLECT 70.22/70.41 c rational objective -194 87.98/88.29 c #Conflicts: 108000 | #Constraints: 22822 87.98/88.29 c #Conflicts: 109000 | #Constraints: 23827 87.98/88.29 c #Conflicts: 110000 | #Constraints: 24831 87.98/88.29 c #Conflicts: 111000 | #Constraints: 25837 87.98/88.29 c #Conflicts: 112000 | #Constraints: 26843 87.98/88.29 c #Conflicts: 113000 | #Constraints: 27850 87.98/88.29 c #Conflicts: 114000 | #Constraints: 28857 87.98/88.29 c #Conflicts: 115000 | #Constraints: 29861 87.98/88.29 c #Conflicts: 116000 | #Constraints: 30865 87.98/88.29 c #Conflicts: 117000 | #Constraints: 31870 87.98/88.29 c #Conflicts: 118000 | #Constraints: 32874 87.98/88.29 c #Conflicts: 119000 | #Constraints: 33876 87.98/88.29 c #Conflicts: 120000 | #Constraints: 34880 87.98/88.29 c #Conflicts: 121000 | #Constraints: 35885 87.98/88.29 c #Conflicts: 122000 | #Constraints: 36887 87.98/88.29 c #Conflicts: 123000 | #Constraints: 37890 87.98/88.29 c #Conflicts: 124000 | #Constraints: 38892 87.98/88.29 c #Conflicts: 125000 | #Constraints: 39895 87.98/88.29 c #Conflicts: 126000 | #Constraints: 40897 87.98/88.29 c #Conflicts: 127000 | #Constraints: 41900 87.98/88.29 c #Conflicts: 128000 | #Constraints: 42903 87.98/88.29 c #Conflicts: 129000 | #Constraints: 43905 87.98/88.29 c #Conflicts: 130000 | #Constraints: 44908 87.98/88.29 c #Conflicts: 131000 | #Constraints: 45910 87.98/88.29 c INPROCESSING 87.98/88.29 c GARBAGE COLLECT 87.98/88.29 c rational objective -194 88.78/89.02 c #Conflicts: 132000 | #Constraints: 30054 88.78/89.02 WSVECS04 Frhs2[4]: 6 0 1.89167 shouldn't be 88.78/89.02 WSVECS04 Frhs2[6]: 6 -0.530456 0 shouldn't be 88.78/89.02 WSVECS04 Frhs2[7]: 6 0 1.00002 shouldn't be 88.78/89.02 WSVECS04 Frhs2[12]: 6 -0.473958 0 shouldn't be 88.78/89.02 WSVECS04 Frhs2[13]: 6 0 1.47393 shouldn't be 88.78/89.02 WSVECS04 Frhs2[18]: 6 -2.17814 0 shouldn't be 88.78/89.02 WSVECS04 Frhs2[22]: 6 -1.69412 0 shouldn't be 88.78/89.02 WSVECS04 Frhs2[101]: 6 0 0.546979 shouldn't be 88.78/89.02 WSVECS04 Frhs2[110]: 6 -0.252779 0 shouldn't be 88.78/89.02 WSVECS04 Frhs2[120]: 6 0 1.00007 shouldn't be 88.78/89.02 WSVECS04 Frhs2[146]: 6 0 0.0391762 shouldn't be 88.78/89.02 WSVECS04 Frhs2[152]: 6 0 1.16874 shouldn't be 88.78/89.02 WSVECS04 Frhs2[155]: 6 0 0.943704 shouldn't be 88.78/89.02 WSVECS04 Frhs2[157]: 6 0 1.00009 shouldn't be 88.78/89.02 WSVECS04 Frhs2[166]: 6 -1.37475 0 shouldn't be 88.78/89.02 WSVECS04 Frhs2[176]: 6 -0.165176 0 shouldn't be 88.78/89.02 WSVECS04 Frhs2[180]: 6 0 1.00004 shouldn't be 88.78/89.02 WSVECS04 Frhs2[232]: 6 0 1.30231 shouldn't be 88.78/89.02 WSVECS04 Frhs2[233]: 6 -1.93682 0 shouldn't be 88.78/89.02 WSVECS04 Frhs2[237]: 6 0 1.78845 shouldn't be 88.78/89.02 WSVECS04 Frhs2[238]: 6 0 1.501 shouldn't be 88.78/89.02 WSVECS04 Frhs2[240]: 6 0 1.00007 shouldn't be 88.78/89.02 WSVECS04 Frhs2[242]: 6 0 1.45455 shouldn't be 88.78/89.02 WSVECS04 Frhs2[246]: 6 -0.759582 0 shouldn't be 88.78/89.02 WSVECS04 Frhs2[254]: 6 0 1.17544 shouldn't be 88.78/89.02 WSVECS04 Frhs2[265]: 6 -0.993187 0 shouldn't be 88.78/89.02 WSVECS04 Frhs2[267]: 6 -5.58119 0 shouldn't be 88.78/89.02 WSVECS04 Frhs2[269]: 6 -0.319151 0 shouldn't be 88.78/89.02 WSVECS04 Frhs2[297]: 6 0 1.00009 shouldn't be 88.78/89.02 WSVECS04 Frhs2[300]: 6 0 1.00004 shouldn't be 88.78/89.02 WSVECS04 Frhs2[302]: 6 0 1.00007 shouldn't be 88.78/89.02 WSVECS04 Frhs2[306]: 6 -1.61157 0 shouldn't be 88.78/89.02 WSVECS04 Frhs2[309]: 6 0 1.0001 shouldn't be 88.78/89.02 WSVECS04 Frhs2[317]: 6 0 1.70325 shouldn't be 88.78/89.02 WSVECS04 Frhs2[319]: 6 0 1.60942 shouldn't be 88.78/89.02 WSVECS04 Frhs2[345]: 6 -1.51369 0 shouldn't be 92.37/92.63 c #Conflicts: 133000 | #Constraints: 31055 92.37/92.63 c #Conflicts: 134000 | #Constraints: 32056 92.37/92.63 c #Conflicts: 135000 | #Constraints: 33056 92.37/92.63 c #Conflicts: 136000 | #Constraints: 34056 92.37/92.63 WSVECS04 Frhs2[165]: 6 0 1.8446 shouldn't be 92.37/92.63 WSVECS04 Frhs2[166]: 6 0 4.55158 shouldn't be 92.37/92.63 WSVECS04 Frhs2[167]: 6 0 2.67078 shouldn't be 92.37/92.63 WSVECS04 Frhs2[177]: 6 -1.09342 0 shouldn't be 92.37/92.63 WSVECS04 Frhs2[178]: 6 -3.83176 0 shouldn't be 92.37/92.63 WSVECS04 Frhs2[180]: 6 0 3.45741 shouldn't be 92.37/92.63 WSVECS04 Frhs2[232]: 6 0 1.38216 shouldn't be 92.37/92.63 WSVECS04 Frhs2[233]: 6 0 2.14381 shouldn't be 92.37/92.63 WSVECS04 Frhs2[243]: 6 -1.00008 0 shouldn't be 92.37/92.63 WSVECS04 Frhs2[244]: 6 -1.00009 0 shouldn't be 92.37/92.63 WSVECS04 Frhs2[246]: 6 0 2.91285 shouldn't be 92.37/92.63 WSVECS04 Frhs2[257]: 6 -5.695 0 shouldn't be 92.37/92.63 WSVECS04 Frhs2[270]: 6 -1.07672 0 shouldn't be 92.37/92.63 WSVECS04 Frhs2[346]: 6 0 7.44112 shouldn't be 92.37/92.63 WSVECS04 Frhs2[348]: 6 -2.11157 0 shouldn't be 95.86/96.12 c #Conflicts: 137000 | #Constraints: 35056 95.86/96.12 c bounds -176 >= -184 @ 91.986 95.86/96.12 c #Conflicts: 138000 | #Constraints: 36088 95.86/96.12 c #Conflicts: 139000 | #Constraints: 37088 95.86/96.12 c #Conflicts: 140000 | #Constraints: 38088 95.86/96.12 c INPROCESSING 95.86/96.12 c GARBAGE COLLECT 95.86/96.12 c rational objective -194 97.46/97.70 c #Conflicts: 141000 | #Constraints: 26074 97.46/97.70 c #Conflicts: 142000 | #Constraints: 27074 97.46/97.70 c #Conflicts: 143000 | #Constraints: 28075 97.46/97.70 WSVECS04 Frhs2[58]: 6 -5.12372 0 shouldn't be 97.46/97.70 WSVECS04 Frhs2[60]: 6 -0.237084 0 shouldn't be 97.46/97.70 WSVECS04 Frhs2[71]: 6 0 4.30352 shouldn't be 97.46/97.70 WSVECS04 Frhs2[74]: 6 0 3.11815 shouldn't be 97.46/97.70 WSVECS04 Frhs2[104]: 6 -1.09084 0 shouldn't be 97.46/97.70 WSVECS04 Frhs2[106]: 6 -3.53282 0 shouldn't be 97.46/97.70 WSVECS04 Frhs2[108]: 6 0 1.97601 shouldn't be 97.46/97.70 WSVECS04 Frhs2[112]: 6 -4.06506 0 shouldn't be 97.46/97.70 WSVECS04 Frhs2[113]: 6 0 1.08598 shouldn't be 97.46/97.70 WSVECS04 Frhs2[120]: 6 -5.10582 0 shouldn't be 97.46/97.70 WSVECS04 Frhs2[200]: 6 0 3.38986 shouldn't be 97.46/97.70 WSVECS04 Frhs2[214]: 6 -1.78057 0 shouldn't be 97.46/97.70 WSVECS04 Frhs2[217]: 6 0 1.00003 shouldn't be 97.46/97.70 WSVECS04 Frhs2[219]: 6 -7.16707 0 shouldn't be 97.46/97.70 WSVECS04 Frhs2[223]: 6 0 2.97054 shouldn't be 97.46/97.70 WSVECS04 Frhs2[231]: 6 0 5.32193 shouldn't be 97.46/97.70 WSVECS04 Frhs2[242]: 6 -1.72435 0 shouldn't be 97.46/97.70 WSVECS04 Frhs2[245]: 6 -0.773679 0 shouldn't be 97.46/97.70 WSVECS04 Frhs2[252]: 6 0 1.00002 shouldn't be 97.46/97.70 WSVECS04 Frhs2[253]: 6 -4.26529 0 shouldn't be 97.46/97.70 WSVECS04 Frhs2[260]: 6 0 1.17764 shouldn't be 97.46/97.70 WSVECS04 Frhs2[277]: 6 -0.575494 0 shouldn't be 97.46/97.70 WSVECS04 Frhs2[278]: 6 0 0.401222 shouldn't be 97.46/97.70 WSVECS04 Frhs2[323]: 6 0 1.57543 shouldn't be 97.46/97.70 WSVECS04 Frhs2[330]: 6 -0.801693 0 shouldn't be 97.46/97.70 WSVECS04 Frhs2[344]: 6 0 1.98218 shouldn't be 100.45/100.70 c #Conflicts: 144000 | #Constraints: 29075 100.45/100.70 c #Conflicts: 145000 | #Constraints: 30075 100.45/100.70 c #Conflicts: 146000 | #Constraints: 31075 100.45/100.70 c #Conflicts: 147000 | #Constraints: 32075 100.45/100.70 WSVECS04 Frhs2[347]: 6 0 4.32354 shouldn't be 100.45/100.70 WSVECS04 Frhs2[348]: 6 -14.5045 0 shouldn't be 100.45/100.70 WSVECS04 Frhs2[351]: 6 -4.78312 0 shouldn't be 103.85/104.16 c #Conflicts: 148000 | #Constraints: 33075 103.85/104.16 c #Conflicts: 149000 | #Constraints: 34075 103.85/104.16 c #Conflicts: 150000 | #Constraints: 35075 103.85/104.16 c INPROCESSING 103.85/104.16 c GARBAGE COLLECT 103.85/104.16 c rational objective -194 107.74/108.02 c #Conflicts: 151000 | #Constraints: 24645 107.74/108.02 c #Conflicts: 152000 | #Constraints: 25645 107.74/108.02 c #Conflicts: 153000 | #Constraints: 26645 107.74/108.02 c #Conflicts: 154000 | #Constraints: 27645 107.74/108.02 c #Conflicts: 155000 | #Constraints: 28645 107.74/108.02 WSVECS04 Frhs2[239]: 6 -3.57808 0 shouldn't be 107.74/108.02 WSVECS04 Frhs2[245]: 6 0 1.01704 shouldn't be 107.74/108.02 WSVECS04 Frhs2[327]: 6 0 2.48677 shouldn't be 107.74/108.02 WSVECS04 Frhs2[328]: 6 0 4.51342 shouldn't be 107.74/108.02 WSVECS04 Frhs2[329]: 6 -5.50785 0 shouldn't be 107.74/108.02 WSVECS04 Frhs2[330]: 6 -4.52485 0 shouldn't be 107.74/108.02 WSVECS04 Frhs2[349]: 6 -3.26161 0 shouldn't be 107.74/108.02 WSVECS04 Frhs2[351]: 6 0 6.00009 shouldn't be 107.93/108.25 WSVECS04 Frhs2[347]: 6 -0.297907 0 shouldn't be 126.19/126.50 c #Conflicts: 156000 | #Constraints: 29645 126.19/126.50 c bounds -176 >= -183 @ 107.358 126.19/126.50 c #Conflicts: 157000 | #Constraints: 30677 126.19/126.50 c #Conflicts: 158000 | #Constraints: 31677 126.19/126.50 c #Conflicts: 159000 | #Constraints: 32677 126.19/126.50 c #Conflicts: 160000 | #Constraints: 33677 126.19/126.50 c #Conflicts: 161000 | #Constraints: 34677 126.19/126.50 c #Conflicts: 162000 | #Constraints: 35679 126.19/126.50 c #Conflicts: 163000 | #Constraints: 36681 126.19/126.50 c #Conflicts: 164000 | #Constraints: 37687 126.19/126.50 c #Conflicts: 165000 | #Constraints: 38691 126.19/126.50 c #Conflicts: 166000 | #Constraints: 39695 126.19/126.50 c #Conflicts: 167000 | #Constraints: 40699 126.19/126.50 c #Conflicts: 168000 | #Constraints: 41702 126.19/126.50 c #Conflicts: 169000 | #Constraints: 42706 126.19/126.50 c #Conflicts: 170000 | #Constraints: 43710 126.19/126.50 c #Conflicts: 171000 | #Constraints: 44711 126.19/126.50 c #Conflicts: 172000 | #Constraints: 45713 126.19/126.50 c #Conflicts: 173000 | #Constraints: 46717 126.19/126.50 c #Conflicts: 174000 | #Constraints: 47720 126.19/126.50 c #Conflicts: 175000 | #Constraints: 48725 126.19/126.50 c #Conflicts: 176000 | #Constraints: 49727 126.19/126.50 c #Conflicts: 177000 | #Constraints: 50731 126.19/126.50 c #Conflicts: 178000 | #Constraints: 51734 126.19/126.50 c INPROCESSING 126.19/126.50 c GARBAGE COLLECT 126.19/126.50 c rational objective -194 127.98/128.30 c #Conflicts: 179000 | #Constraints: 32949 127.98/128.30 c #Conflicts: 180000 | #Constraints: 33950 127.98/128.30 WSVECS04 Frhs2[60]: 6 -2.00001 0 shouldn't be 127.98/128.30 WSVECS04 Frhs2[62]: 6 -1.25216 0 shouldn't be 127.98/128.30 WSVECS04 Frhs2[68]: 6 -0.739856 0 shouldn't be 127.98/128.30 WSVECS04 Frhs2[164]: 6 -0.661377 0 shouldn't be 127.98/128.30 WSVECS04 Frhs2[165]: 6 -1.07184 0 shouldn't be 127.98/128.30 WSVECS04 Frhs2[169]: 6 0 1.00006 shouldn't be 127.98/128.30 WSVECS04 Frhs2[171]: 6 -0.868331 0 shouldn't be 127.98/128.30 WSVECS04 Frhs2[173]: 6 -1.4297 0 shouldn't be 127.98/128.30 WSVECS04 Frhs2[177]: 6 0 1.00007 shouldn't be 127.98/128.30 WSVECS04 Frhs2[180]: 6 -0.0110765 0 shouldn't be 127.98/128.30 WSVECS04 Frhs2[218]: 6 0 1.00001 shouldn't be 127.98/128.30 WSVECS04 Frhs2[220]: 6 -0.48314 0 shouldn't be 127.98/128.30 WSVECS04 Frhs2[264]: 6 0 1.06193 shouldn't be 127.98/128.30 WSVECS04 Frhs2[266]: 6 0 1.30826 shouldn't be 127.98/128.30 WSVECS04 Frhs2[269]: 6 -1.14229 0 shouldn't be 127.98/128.30 WSVECS04 Frhs2[270]: 6 -1.69309 0 shouldn't be 127.98/128.30 WSVECS04 Frhs2[273]: 6 0 1.00007 shouldn't be 127.98/128.30 WSVECS04 Frhs2[292]: 6 0 1.95714 shouldn't be 127.98/128.30 WSVECS04 Frhs2[294]: 6 0 0.638258 shouldn't be 127.98/128.30 WSVECS04 Frhs2[311]: 6 -2.15509 0 shouldn't be 127.98/128.30 WSVECS04 Frhs2[326]: 6 -0.447607 0 shouldn't be 127.98/128.30 WSVECS04 Frhs2[343]: 6 0 0.0612737 shouldn't be 131.67/132.08 c #Conflicts: 181000 | #Constraints: 34951 131.67/132.08 c #Conflicts: 182000 | #Constraints: 35951 131.67/132.08 c #Conflicts: 183000 | #Constraints: 36951 131.67/132.08 c #Conflicts: 184000 | #Constraints: 37951 131.67/132.08 WSVECS04 Frhs2[279]: 6 -11.374 0 shouldn't be 131.67/132.08 WSVECS04 Frhs2[291]: 6 -11.7825 0 shouldn't be 131.67/132.08 WSVECS04 Frhs2[305]: 6 -9.66367 0 shouldn't be 136.67/137.04 c #Conflicts: 185000 | #Constraints: 38952 136.67/137.04 c #Conflicts: 186000 | #Constraints: 39953 136.67/137.04 c #Conflicts: 187000 | #Constraints: 40953 136.67/137.04 c #Conflicts: 188000 | #Constraints: 41953 136.67/137.04 c #Conflicts: 189000 | #Constraints: 42953 136.67/137.04 WSVECS04 Frhs2[217]: 6 0 3.93361 shouldn't be 136.67/137.04 WSVECS04 Frhs2[223]: 6 0 1.0001 shouldn't be 136.67/137.04 WSVECS04 Frhs2[228]: 6 -7.51636 0 shouldn't be 136.67/137.04 WSVECS04 Frhs2[229]: 6 0 2.44156 shouldn't be 136.67/137.04 WSVECS04 Frhs2[231]: 6 -2.15977 0 shouldn't be 136.67/137.04 WSVECS04 Frhs2[232]: 6 0 1.33198 shouldn't be 136.67/137.04 WSVECS04 Frhs2[238]: 6 0 2.195 shouldn't be 136.67/137.04 WSVECS04 Frhs2[243]: 6 -2.73375 0 shouldn't be 136.67/137.04 WSVECS04 Frhs2[244]: 6 0 4.32078 shouldn't be 136.67/137.04 WSVECS04 Frhs2[246]: 6 -3.75261 0 shouldn't be 136.67/137.04 WSVECS04 Frhs2[257]: 6 -6.16628 0 shouldn't be 136.67/137.04 WSVECS04 Frhs2[258]: 6 0 3.35013 shouldn't be 136.67/137.04 WSVECS04 Frhs2[320]: 6 -5.68433 0 shouldn't be 136.67/137.04 WSVECS04 Frhs2[321]: 6 0 1.73899 shouldn't be 136.67/137.04 WSVECS04 Frhs2[346]: 6 -3.14906 0 shouldn't be 136.67/137.04 WSVECS04 Frhs2[348]: 6 0 5.71426 shouldn't be 136.67/137.04 WSVECS04 Frhs2[350]: 6 -2.86027 0 shouldn't be 137.06/137.49 WSVECS04 Frhs2[216]: 6 0 3.03579 shouldn't be 138.76/139.16 c INPROCESSING 138.76/139.16 c GARBAGE COLLECT 138.76/139.16 c rational objective -194 148.64/149.03 c #Conflicts: 190000 | #Constraints: 28715 148.64/149.03 c #Conflicts: 191000 | #Constraints: 29715 148.64/149.03 c #Conflicts: 192000 | #Constraints: 30715 148.64/149.03 c #Conflicts: 193000 | #Constraints: 31715 148.64/149.03 c #Conflicts: 194000 | #Constraints: 32715 148.64/149.03 c #Conflicts: 195000 | #Constraints: 33715 148.64/149.03 c #Conflicts: 196000 | #Constraints: 34715 148.64/149.03 c #Conflicts: 197000 | #Constraints: 35716 148.64/149.03 c #Conflicts: 198000 | #Constraints: 36717 148.64/149.03 c #Conflicts: 199000 | #Constraints: 37718 148.64/149.03 c #Conflicts: 200000 | #Constraints: 38719 148.64/149.03 c INPROCESSING 148.64/149.03 c GARBAGE COLLECT 148.64/149.03 c rational objective -194 176.36/176.82 c #Conflicts: 201000 | #Constraints: 26714 176.36/176.82 c #Conflicts: 202000 | #Constraints: 27717 176.36/176.82 c #Conflicts: 203000 | #Constraints: 28720 176.36/176.82 c #Conflicts: 204000 | #Constraints: 29726 176.36/176.82 c #Conflicts: 205000 | #Constraints: 30731 176.36/176.82 c #Conflicts: 206000 | #Constraints: 31735 176.36/176.82 c #Conflicts: 207000 | #Constraints: 32738 176.36/176.82 c #Conflicts: 208000 | #Constraints: 33745 176.36/176.82 c #Conflicts: 209000 | #Constraints: 34751 176.36/176.82 c #Conflicts: 210000 | #Constraints: 35757 176.36/176.82 c #Conflicts: 211000 | #Constraints: 36763 176.36/176.82 c #Conflicts: 212000 | #Constraints: 37767 176.36/176.82 c #Conflicts: 213000 | #Constraints: 38773 176.36/176.82 c #Conflicts: 214000 | #Constraints: 39777 176.36/176.82 c #Conflicts: 215000 | #Constraints: 40780 176.36/176.82 c #Conflicts: 216000 | #Constraints: 41782 176.36/176.82 c #Conflicts: 217000 | #Constraints: 42786 176.36/176.82 c #Conflicts: 218000 | #Constraints: 43790 176.36/176.82 c #Conflicts: 219000 | #Constraints: 44794 176.36/176.82 c #Conflicts: 220000 | #Constraints: 45799 176.36/176.82 c #Conflicts: 221000 | #Constraints: 46803 176.36/176.82 c #Conflicts: 222000 | #Constraints: 47807 176.36/176.82 c #Conflicts: 223000 | #Constraints: 48814 176.36/176.82 c #Conflicts: 224000 | #Constraints: 49817 176.36/176.82 c #Conflicts: 225000 | #Constraints: 50821 176.36/176.82 c #Conflicts: 226000 | #Constraints: 51824 176.36/176.82 c #Conflicts: 227000 | #Constraints: 52830 176.36/176.82 c #Conflicts: 228000 | #Constraints: 53838 176.36/176.82 c #Conflicts: 229000 | #Constraints: 54844 176.36/176.82 c #Conflicts: 230000 | #Constraints: 55846 176.36/176.82 c #Conflicts: 231000 | #Constraints: 56851 176.36/176.82 c #Conflicts: 232000 | #Constraints: 57858 176.36/176.82 c INPROCESSING 176.36/176.82 c GARBAGE COLLECT 176.36/176.82 c rational objective -194 177.96/178.43 c #Conflicts: 233000 | #Constraints: 35865 177.96/178.43 c #Conflicts: 234000 | #Constraints: 36865 177.96/178.43 WSVECS04 Frhs2[7]: 6 0 0.764957 shouldn't be 177.96/178.43 WSVECS04 Frhs2[12]: 6 0 2.49057 shouldn't be 177.96/178.43 WSVECS04 Frhs2[17]: 6 0 4.89883 shouldn't be 177.96/178.43 WSVECS04 Frhs2[26]: 6 -1.28815 0 shouldn't be 177.96/178.43 WSVECS04 Frhs2[169]: 6 0 1.00002 shouldn't be 177.96/178.43 WSVECS04 Frhs2[171]: 6 0 2.65408 shouldn't be 177.96/178.43 WSVECS04 Frhs2[177]: 6 -7.5606 0 shouldn't be 177.96/178.43 WSVECS04 Frhs2[180]: 6 -1.00699 0 shouldn't be 177.96/178.43 WSVECS04 Frhs2[249]: 6 0 2.15689 shouldn't be 177.96/178.43 WSVECS04 Frhs2[251]: 6 0 1.83688 shouldn't be 177.96/178.43 WSVECS04 Frhs2[258]: 6 -3.52288 0 shouldn't be 177.96/178.43 WSVECS04 Frhs2[287]: 6 0 4.22088 shouldn't be 177.96/178.43 WSVECS04 Frhs2[294]: 6 -1.97802 0 shouldn't be 177.96/178.43 WSVECS04 Frhs2[296]: 6 -0.693992 0 shouldn't be 177.96/178.43 WSVECS04 Frhs2[313]: 6 -2.00004 0 shouldn't be 177.96/178.43 WSVECS04 Frhs2[315]: 6 -4.99313 0 shouldn't be 177.96/178.43 WSVECS04 Frhs2[346]: 6 0 3.22789 shouldn't be 177.96/178.43 WSVECS04 Frhs2[350]: 6 0 1.72703 shouldn't be 182.85/183.39 c #Conflicts: 235000 | #Constraints: 37865 182.85/183.39 c #Conflicts: 236000 | #Constraints: 38865 182.85/183.39 c #Conflicts: 237000 | #Constraints: 39865 182.85/183.39 c #Conflicts: 238000 | #Constraints: 40865 182.85/183.39 c #Conflicts: 239000 | #Constraints: 41865 182.85/183.39 WSVECS04 Frhs2[125]: 6 0 2.03126 shouldn't be 182.85/183.39 WSVECS04 Frhs2[138]: 6 -4.11296 0 shouldn't be 182.85/183.39 WSVECS04 Frhs2[217]: 6 0 2.51985 shouldn't be 182.85/183.39 WSVECS04 Frhs2[218]: 6 -2.93273 0 shouldn't be 182.85/183.39 WSVECS04 Frhs2[231]: 6 0 3.82032 shouldn't be 182.85/183.39 WSVECS04 Frhs2[257]: 6 -6.71624 0 shouldn't be 182.85/183.39 WSVECS04 Frhs2[270]: 6 0 4.97479 shouldn't be 182.85/183.39 WSVECS04 Frhs2[348]: 6 -9.00305 0 shouldn't be 187.44/187.97 c #Conflicts: 240000 | #Constraints: 42866 187.44/187.97 c #Conflicts: 241000 | #Constraints: 43866 187.44/187.97 c #Conflicts: 242000 | #Constraints: 44866 187.44/187.97 c #Conflicts: 243000 | #Constraints: 45866 187.44/187.97 WSVECS04 Frhs2[295]: 6 -9.50283 0 shouldn't be 187.44/187.97 WSVECS04 Frhs2[351]: 6 -12.0492 0 shouldn't be 190.73/191.29 c #Conflicts: 244000 | #Constraints: 46866 190.73/191.29 c #Conflicts: 245000 | #Constraints: 47866 190.73/191.29 c INPROCESSING 190.73/191.29 c GARBAGE COLLECT 190.73/191.29 c rational objective -194 195.32/195.86 c #Conflicts: 246000 | #Constraints: 31278 195.32/195.86 c #Conflicts: 247000 | #Constraints: 32278 195.32/195.86 c #Conflicts: 248000 | #Constraints: 33278 195.32/195.86 c #Conflicts: 249000 | #Constraints: 34278 195.32/195.86 c #Conflicts: 250000 | #Constraints: 35278 195.32/195.86 c bounds -176 >= -182 @ 191.546 195.32/195.86 c #Conflicts: 251000 | #Constraints: 36313 195.32/195.86 WSVECS04 Frhs2[163]: 6 -6.01314 0 shouldn't be 195.32/195.86 WSVECS04 Frhs2[173]: 6 -3.7409 0 shouldn't be 195.32/195.86 WSVECS04 Frhs2[177]: 6 0 4.07036 shouldn't be 195.32/195.86 WSVECS04 Frhs2[208]: 6 0 0.320168 shouldn't be 195.32/195.86 WSVECS04 Frhs2[212]: 6 -6.79651 0 shouldn't be 195.32/195.86 WSVECS04 Frhs2[215]: 6 -8.31854 0 shouldn't be 195.32/195.86 WSVECS04 Frhs2[327]: 6 -6.92973 0 shouldn't be 195.32/195.86 WSVECS04 Frhs2[330]: 6 -5.29388 0 shouldn't be 199.91/200.41 c #Conflicts: 252000 | #Constraints: 37314 199.91/200.41 c #Conflicts: 253000 | #Constraints: 38314 199.91/200.41 c #Conflicts: 254000 | #Constraints: 39314 199.91/200.41 c #Conflicts: 255000 | #Constraints: 40314 199.91/200.41 WSVECS04 Frhs2[16]: 6 -6.76416 0 shouldn't be 199.91/200.41 WSVECS04 Frhs2[17]: 6 -5.84938 0 shouldn't be 199.91/200.41 WSVECS04 Frhs2[109]: 6 -8.59673 0 shouldn't be 199.91/200.41 WSVECS04 Frhs2[115]: 6 -11.0451 0 shouldn't be 199.91/200.41 WSVECS04 Frhs2[291]: 6 0 2.59199 shouldn't be 199.91/200.41 WSVECS04 Frhs2[297]: 6 0 4.97971 shouldn't be 199.91/200.41 WSVECS04 Frhs2[305]: 6 -8.41837 0 shouldn't be 199.91/200.41 WSVECS04 Frhs2[314]: 6 -5.04756 0 shouldn't be 202.30/202.85 c #Conflicts: 256000 | #Constraints: 41314 202.30/202.85 c #Conflicts: 257000 | #Constraints: 42314 202.30/202.85 c INPROCESSING 202.30/202.85 c GARBAGE COLLECT 202.30/202.85 c rational objective -194 236.72/237.37 c #Conflicts: 258000 | #Constraints: 28159 236.72/237.37 c #Conflicts: 259000 | #Constraints: 29160 236.72/237.37 c #Conflicts: 260000 | #Constraints: 30164 236.72/237.37 c #Conflicts: 261000 | #Constraints: 31167 236.72/237.37 c #Conflicts: 262000 | #Constraints: 32173 236.72/237.37 c #Conflicts: 263000 | #Constraints: 33178 236.72/237.37 c #Conflicts: 264000 | #Constraints: 34185 236.72/237.37 c #Conflicts: 265000 | #Constraints: 35188 236.72/237.37 c #Conflicts: 266000 | #Constraints: 36195 236.72/237.37 c #Conflicts: 267000 | #Constraints: 37203 236.72/237.37 c #Conflicts: 268000 | #Constraints: 38206 236.72/237.37 c #Conflicts: 269000 | #Constraints: 39210 236.72/237.37 c #Conflicts: 270000 | #Constraints: 40217 236.72/237.37 c #Conflicts: 271000 | #Constraints: 41221 236.72/237.37 c #Conflicts: 272000 | #Constraints: 42224 236.72/237.37 c #Conflicts: 273000 | #Constraints: 43232 236.72/237.37 c #Conflicts: 274000 | #Constraints: 44240 236.72/237.37 c #Conflicts: 275000 | #Constraints: 45250 236.72/237.37 c #Conflicts: 276000 | #Constraints: 46253 236.72/237.37 c #Conflicts: 277000 | #Constraints: 47256 236.72/237.37 c #Conflicts: 278000 | #Constraints: 48262 236.72/237.37 c #Conflicts: 279000 | #Constraints: 49266 236.72/237.37 c #Conflicts: 280000 | #Constraints: 50271 236.72/237.37 c #Conflicts: 281000 | #Constraints: 51274 236.72/237.37 c #Conflicts: 282000 | #Constraints: 52280 236.72/237.37 c #Conflicts: 283000 | #Constraints: 53283 236.72/237.37 c #Conflicts: 284000 | #Constraints: 54288 236.72/237.37 c #Conflicts: 285000 | #Constraints: 55290 236.72/237.37 c #Conflicts: 286000 | #Constraints: 56293 236.72/237.37 c #Conflicts: 287000 | #Constraints: 57298 236.72/237.37 c #Conflicts: 288000 | #Constraints: 58302 236.72/237.37 c #Conflicts: 289000 | #Constraints: 59305 236.72/237.37 c #Conflicts: 290000 | #Constraints: 60306 236.72/237.37 c #Conflicts: 291000 | #Constraints: 61309 236.72/237.37 c #Conflicts: 292000 | #Constraints: 62313 236.72/237.37 c #Conflicts: 293000 | #Constraints: 63316 236.72/237.37 c #Conflicts: 294000 | #Constraints: 64320 236.72/237.37 c INPROCESSING 236.72/237.37 c GARBAGE COLLECT 236.72/237.37 c rational objective -194 238.42/239.03 c #Conflicts: 295000 | #Constraints: 39359 238.42/239.03 WSVECS04 Frhs2[7]: 6 0 0.379119 shouldn't be 238.42/239.03 WSVECS04 Frhs2[10]: 6 -0.190278 0 shouldn't be 238.42/239.03 WSVECS04 Frhs2[22]: 6 0 1.92739 shouldn't be 238.42/239.03 WSVECS04 Frhs2[26]: 6 -2.26624 0 shouldn't be 238.42/239.03 WSVECS04 Frhs2[166]: 6 -2.68429 0 shouldn't be 238.42/239.03 WSVECS04 Frhs2[174]: 6 0 2.25776 shouldn't be 238.42/239.03 WSVECS04 Frhs2[217]: 6 0 1.56497 shouldn't be 238.42/239.03 WSVECS04 Frhs2[218]: 6 0 1.04913 shouldn't be 238.42/239.03 WSVECS04 Frhs2[225]: 6 -5.78484 0 shouldn't be 238.42/239.03 WSVECS04 Frhs2[227]: 6 -4.25321 0 shouldn't be 238.42/239.03 WSVECS04 Frhs2[247]: 6 0 1.00002 shouldn't be 238.42/239.03 WSVECS04 Frhs2[256]: 6 -2.97873 0 shouldn't be 238.42/239.03 WSVECS04 Frhs2[258]: 6 0 2.19693 shouldn't be 238.42/239.03 WSVECS04 Frhs2[260]: 6 0 2.03636 shouldn't be 238.42/239.03 WSVECS04 Frhs2[269]: 6 -7.09715 0 shouldn't be 238.42/239.03 WSVECS04 Frhs2[271]: 6 0 1.01077 shouldn't be 238.42/239.03 WSVECS04 Frhs2[334]: 6 -0.3602 0 shouldn't be 238.42/239.03 WSVECS04 Frhs2[336]: 6 -0.0518362 0 shouldn't be 238.42/239.03 WSVECS04 Frhs2[343]: 6 -2.29175 0 shouldn't be 238.42/239.03 WSVECS04 Frhs2[345]: 6 -5.14056 0 shouldn't be 238.62/239.25 WSVECS04 Frhs2[12]: 6 -5.79253 0 shouldn't be 244.10/244.76 c #Conflicts: 296000 | #Constraints: 40360 244.10/244.76 c #Conflicts: 297000 | #Constraints: 41360 244.10/244.76 c #Conflicts: 298000 | #Constraints: 42360 244.10/244.76 c #Conflicts: 299000 | #Constraints: 43360 244.10/244.76 c #Conflicts: 300000 | #Constraints: 44360 244.10/244.76 c #Conflicts: 301000 | #Constraints: 45360 244.10/244.76 WSVECS04 Frhs2[166]: 6 0 0.640394 shouldn't be 244.10/244.76 WSVECS04 Frhs2[176]: 6 0 5.25827 shouldn't be 244.10/244.76 WSVECS04 Frhs2[232]: 6 0 3.87583 shouldn't be 244.10/244.76 WSVECS04 Frhs2[242]: 6 0 2.92712 shouldn't be 244.10/244.76 WSVECS04 Frhs2[256]: 6 0 2.3233 shouldn't be 244.10/244.76 WSVECS04 Frhs2[259]: 6 -2.10985 0 shouldn't be 244.10/244.76 WSVECS04 Frhs2[269]: 6 -9.35239 0 shouldn't be 244.10/244.76 WSVECS04 Frhs2[344]: 6 -5.62889 0 shouldn't be 244.10/244.76 WSVECS04 Frhs2[345]: 6 -1.0016 0 shouldn't be 254.18/254.81 c #Conflicts: 302000 | #Constraints: 46361 254.18/254.81 c #Conflicts: 303000 | #Constraints: 47362 254.18/254.81 c #Conflicts: 304000 | #Constraints: 48362 254.18/254.81 c #Conflicts: 305000 | #Constraints: 49362 254.18/254.81 c #Conflicts: 306000 | #Constraints: 50362 254.18/254.81 c #Conflicts: 307000 | #Constraints: 51362 254.18/254.81 c #Conflicts: 308000 | #Constraints: 52364 254.18/254.81 c INPROCESSING 254.18/254.81 c GARBAGE COLLECT 254.18/254.81 c rational objective -194 255.58/256.21 c #Conflicts: 309000 | #Constraints: 33414 255.58/256.21 WSVECS04 Frhs2[2]: 6 0 1.92497 shouldn't be 255.58/256.21 WSVECS04 Frhs2[3]: 6 -1.78396 0 shouldn't be 255.58/256.21 WSVECS04 Frhs2[10]: 6 -0.429625 0 shouldn't be 255.58/256.21 WSVECS04 Frhs2[11]: 6 0 1.03744 shouldn't be 255.58/256.21 WSVECS04 Frhs2[12]: 6 0 1.00003 shouldn't be 255.58/256.21 WSVECS04 Frhs2[26]: 6 -0.560164 0 shouldn't be 255.58/256.21 WSVECS04 Frhs2[54]: 6 0 1.00002 shouldn't be 255.58/256.21 WSVECS04 Frhs2[60]: 6 0 1.39307 shouldn't be 255.58/256.21 WSVECS04 Frhs2[66]: 6 -1.15806 0 shouldn't be 255.58/256.21 WSVECS04 Frhs2[73]: 6 -2.15507 0 shouldn't be 255.58/256.21 WSVECS04 Frhs2[75]: 6 -1.00887 0 shouldn't be 255.58/256.21 WSVECS04 Frhs2[78]: 6 0 0.518051 shouldn't be 255.58/256.21 WSVECS04 Frhs2[82]: 6 0 1.00005 shouldn't be 255.58/256.21 WSVECS04 Frhs2[89]: 6 0 0.931646 shouldn't be 255.58/256.21 WSVECS04 Frhs2[96]: 6 0 1.18026 shouldn't be 255.58/256.21 WSVECS04 Frhs2[99]: 6 -0.845693 0 shouldn't be 255.58/256.21 WSVECS04 Frhs2[104]: 6 0 1.14349 shouldn't be 255.58/256.21 WSVECS04 Frhs2[112]: 6 0 2.92625 shouldn't be 255.58/256.21 WSVECS04 Frhs2[120]: 6 0 1.55518 shouldn't be 255.58/256.21 WSVECS04 Frhs2[126]: 6 0 1.00002 shouldn't be 255.58/256.21 WSVECS04 Frhs2[127]: 6 0 1.34814 shouldn't be 255.58/256.21 WSVECS04 Frhs2[140]: 6 0 0.52717 shouldn't be 255.58/256.21 WSVECS04 Frhs2[145]: 6 0 0.308475 shouldn't be 255.58/256.21 WSVECS04 Frhs2[146]: 6 -0.261717 0 shouldn't be 255.58/256.21 WSVECS04 Frhs2[153]: 6 0 0.672147 shouldn't be 255.58/256.21 WSVECS04 Frhs2[159]: 6 0 1.91346 shouldn't be 255.58/256.21 WSVECS04 Frhs2[217]: 6 -1.26468 0 shouldn't be 255.58/256.21 WSVECS04 Frhs2[229]: 6 0 1.37672 shouldn't be 255.58/256.21 WSVECS04 Frhs2[232]: 6 0 1.00007 shouldn't be 255.58/256.21 WSVECS04 Frhs2[237]: 6 -0.0169085 0 shouldn't be 255.58/256.21 WSVECS04 Frhs2[238]: 6 -1.55564 0 shouldn't be 255.58/256.21 WSVECS04 Frhs2[251]: 6 -0.546614 0 shouldn't be 255.58/256.21 WSVECS04 Frhs2[307]: 6 0 1.11448 shouldn't be 255.58/256.21 WSVECS04 Frhs2[313]: 6 0 1.00002 shouldn't be 255.58/256.21 WSVECS04 Frhs2[315]: 6 0 0.938063 shouldn't be 255.58/256.21 WSVECS04 Frhs2[321]: 6 0 0.806831 shouldn't be 267.15/267.80 c #Conflicts: 310000 | #Constraints: 34416 267.15/267.80 c #Conflicts: 311000 | #Constraints: 35416 267.15/267.80 c #Conflicts: 312000 | #Constraints: 36417 267.15/267.80 c #Conflicts: 313000 | #Constraints: 37418 267.15/267.80 c #Conflicts: 314000 | #Constraints: 38418 267.15/267.80 c #Conflicts: 315000 | #Constraints: 39418 267.15/267.80 c #Conflicts: 316000 | #Constraints: 40418 267.15/267.80 c #Conflicts: 317000 | #Constraints: 41418 267.15/267.80 c #Conflicts: 318000 | #Constraints: 42418 267.15/267.80 c #Conflicts: 319000 | #Constraints: 43418 267.15/267.80 c #Conflicts: 320000 | #Constraints: 44419 267.15/267.80 WSVECS04 Frhs2[13]: 6 -0.790729 0 shouldn't be 267.15/267.80 WSVECS04 Frhs2[19]: 6 0 1.37033 shouldn't be 267.15/267.80 WSVECS04 Frhs2[23]: 6 -0.533484 0 shouldn't be 267.15/267.80 WSVECS04 Frhs2[24]: 6 0 1.43569 shouldn't be 267.15/267.80 WSVECS04 Frhs2[26]: 6 0 1.00005 shouldn't be 267.15/267.80 WSVECS04 Frhs2[58]: 6 0 1.04701 shouldn't be 267.15/267.80 WSVECS04 Frhs2[60]: 6 0 1.00004 shouldn't be 267.15/267.80 WSVECS04 Frhs2[62]: 6 0 2.41054 shouldn't be 267.15/267.80 WSVECS04 Frhs2[75]: 6 -1.79275 0 shouldn't be 267.15/267.80 WSVECS04 Frhs2[76]: 6 -1.53122 0 shouldn't be 267.15/267.80 WSVECS04 Frhs2[81]: 6 0 1.00002 shouldn't be 267.15/267.80 WSVECS04 Frhs2[84]: 6 0 1.00006 shouldn't be 267.15/267.80 WSVECS04 Frhs2[98]: 6 -0.161061 0 shouldn't be 267.15/267.80 WSVECS04 Frhs2[103]: 6 -2.25151 0 shouldn't be 267.15/267.80 WSVECS04 Frhs2[105]: 6 -2.93165 0 shouldn't be 267.15/267.80 WSVECS04 Frhs2[106]: 6 -0.845508 0 shouldn't be 267.15/267.80 WSVECS04 Frhs2[118]: 6 0 0.937898 shouldn't be 267.15/267.80 WSVECS04 Frhs2[201]: 6 0 1.28265 shouldn't be 267.15/267.80 WSVECS04 Frhs2[202]: 6 0 0.937982 shouldn't be 267.15/267.80 WSVECS04 Frhs2[208]: 6 -2.47825 0 shouldn't be 267.15/267.80 WSVECS04 Frhs2[212]: 6 0 1.28129 shouldn't be 267.15/267.80 WSVECS04 Frhs2[213]: 6 -0.743641 0 shouldn't be 267.15/267.80 WSVECS04 Frhs2[215]: 6 -2.05763 0 shouldn't be 267.15/267.80 WSVECS04 Frhs2[233]: 6 0 1.00004 shouldn't be 267.15/267.80 WSVECS04 Frhs2[243]: 6 0 0.685664 shouldn't be 267.15/267.80 WSVECS04 Frhs2[246]: 6 -1.00005 0 shouldn't be 267.15/267.80 WSVECS04 Frhs2[247]: 6 0 1.00009 shouldn't be 267.15/267.80 WSVECS04 Frhs2[253]: 6 -0.62978 0 shouldn't be 267.15/267.80 WSVECS04 Frhs2[258]: 6 -0.247468 0 shouldn't be 267.15/267.80 WSVECS04 Frhs2[266]: 6 -1.10363 0 shouldn't be 267.15/267.80 WSVECS04 Frhs2[324]: 6 0 2.02157 shouldn't be 267.15/267.80 WSVECS04 Frhs2[327]: 6 -1.90054 0 shouldn't be 267.15/267.80 WSVECS04 Frhs2[330]: 6 0 1.00004 shouldn't be 267.15/267.80 WSVECS04 Frhs2[346]: 6 -1.33127 0 shouldn't be 267.15/267.80 WSVECS04 Frhs2[348]: 6 -0.103609 0 shouldn't be 267.35/268.04 WSVECS04 Frhs2[200]: 6 0 1.0001 shouldn't be 270.35/271.01 c #Conflicts: 321000 | #Constraints: 45419 270.35/271.01 c INPROCESSING 270.35/271.01 c GARBAGE COLLECT 270.35/271.01 c rational objective -194 312.03/312.83 c #Conflicts: 322000 | #Constraints: 29855 312.03/312.83 c #Conflicts: 323000 | #Constraints: 30855 312.03/312.83 c #Conflicts: 324000 | #Constraints: 31855 312.03/312.83 c #Conflicts: 325000 | #Constraints: 32855 312.03/312.83 c #Conflicts: 326000 | #Constraints: 33858 312.03/312.83 c #Conflicts: 327000 | #Constraints: 34863 312.03/312.83 c #Conflicts: 328000 | #Constraints: 35868 312.03/312.83 c #Conflicts: 329000 | #Constraints: 36876 312.03/312.83 c #Conflicts: 330000 | #Constraints: 37881 312.03/312.83 c #Conflicts: 331000 | #Constraints: 38884 312.03/312.83 c #Conflicts: 332000 | #Constraints: 39887 312.03/312.83 c #Conflicts: 333000 | #Constraints: 40892 312.03/312.83 c #Conflicts: 334000 | #Constraints: 41896 312.03/312.83 c #Conflicts: 335000 | #Constraints: 42901 312.03/312.83 c #Conflicts: 336000 | #Constraints: 43905 312.03/312.83 c #Conflicts: 337000 | #Constraints: 44908 312.03/312.83 c #Conflicts: 338000 | #Constraints: 45913 312.03/312.83 c #Conflicts: 339000 | #Constraints: 46918 312.03/312.83 c #Conflicts: 340000 | #Constraints: 47921 312.03/312.83 c #Conflicts: 341000 | #Constraints: 48923 312.03/312.83 c #Conflicts: 342000 | #Constraints: 49927 312.03/312.83 c #Conflicts: 343000 | #Constraints: 50933 312.03/312.83 c #Conflicts: 344000 | #Constraints: 51936 312.03/312.83 c #Conflicts: 345000 | #Constraints: 52939 312.03/312.83 c #Conflicts: 346000 | #Constraints: 53943 312.03/312.83 c #Conflicts: 347000 | #Constraints: 54948 312.03/312.83 c #Conflicts: 348000 | #Constraints: 55953 312.03/312.83 c #Conflicts: 349000 | #Constraints: 56957 312.03/312.83 c #Conflicts: 350000 | #Constraints: 57962 312.03/312.83 c #Conflicts: 351000 | #Constraints: 58970 312.03/312.83 c #Conflicts: 352000 | #Constraints: 59974 312.03/312.83 c #Conflicts: 353000 | #Constraints: 60977 312.03/312.83 c #Conflicts: 354000 | #Constraints: 61982 312.03/312.83 c #Conflicts: 355000 | #Constraints: 62984 312.03/312.83 c #Conflicts: 356000 | #Constraints: 63989 312.03/312.83 c #Conflicts: 357000 | #Constraints: 64994 312.03/312.83 c #Conflicts: 358000 | #Constraints: 65997 312.03/312.83 c #Conflicts: 359000 | #Constraints: 67003 312.03/312.83 c #Conflicts: 360000 | #Constraints: 68008 312.03/312.83 c #Conflicts: 361000 | #Constraints: 69011 312.03/312.83 c #Conflicts: 362000 | #Constraints: 70014 312.03/312.83 c #Conflicts: 363000 | #Constraints: 71017 312.03/312.83 c INPROCESSING 312.03/312.83 c GARBAGE COLLECT 312.03/312.83 c rational objective -194 312.93/313.77 WSVECS04 Frhs2[28]: 6 0 1.09258 shouldn't be 312.93/313.77 WSVECS04 Frhs2[33]: 6 0 0.832302 shouldn't be 312.93/313.77 WSVECS04 Frhs2[37]: 6 0 1.00007 shouldn't be 312.93/313.77 WSVECS04 Frhs2[43]: 6 0 1.02595 shouldn't be 312.93/313.77 WSVECS04 Frhs2[53]: 6 0 1.00002 shouldn't be 312.93/313.77 WSVECS04 Frhs2[54]: 6 0 1.00002 shouldn't be 312.93/313.77 WSVECS04 Frhs2[56]: 6 0 0.523 shouldn't be 312.93/313.77 WSVECS04 Frhs2[59]: 6 0 0.606457 shouldn't be 312.93/313.77 WSVECS04 Frhs2[60]: 6 -0.549648 0 shouldn't be 312.93/313.77 WSVECS04 Frhs2[68]: 6 0 0.898736 shouldn't be 312.93/313.77 WSVECS04 Frhs2[69]: 6 0 0.523013 shouldn't be 312.93/313.77 WSVECS04 Frhs2[71]: 6 0 0.257539 shouldn't be 312.93/313.77 WSVECS04 Frhs2[75]: 6 -0.335301 0 shouldn't be 312.93/313.77 WSVECS04 Frhs2[77]: 6 -1.08392 0 shouldn't be 312.93/313.77 WSVECS04 Frhs2[82]: 6 -0.261606 0 shouldn't be 312.93/313.77 WSVECS04 Frhs2[85]: 6 0 0.0925491 shouldn't be 312.93/313.77 WSVECS04 Frhs2[102]: 6 -1.28023 0 shouldn't be 312.93/313.77 WSVECS04 Frhs2[104]: 6 0 1.00005 shouldn't be 312.93/313.77 WSVECS04 Frhs2[132]: 6 0 1.93502 shouldn't be 312.93/313.77 WSVECS04 Frhs2[135]: 6 0 0.146345 shouldn't be 312.93/313.77 WSVECS04 Frhs2[142]: 6 -1.4018 0 shouldn't be 312.93/313.77 WSVECS04 Frhs2[155]: 6 -2.26619 0 shouldn't be 312.93/313.77 WSVECS04 Frhs2[162]: 6 -0.288763 0 shouldn't be 312.93/313.77 WSVECS04 Frhs2[164]: 6 0 0.803158 shouldn't be 312.93/313.77 WSVECS04 Frhs2[167]: 6 -1.44292 0 shouldn't be 312.93/313.77 WSVECS04 Frhs2[173]: 6 0 1.00008 shouldn't be 312.93/313.77 WSVECS04 Frhs2[174]: 6 0 1.27311 shouldn't be 312.93/313.77 WSVECS04 Frhs2[184]: 6 0 1.00003 shouldn't be 312.93/313.77 WSVECS04 Frhs2[188]: 6 0 1.00006 shouldn't be 312.93/313.77 WSVECS04 Frhs2[198]: 6 0 0.724815 shouldn't be 312.93/313.77 WSVECS04 Frhs2[222]: 6 0 0.877544 shouldn't be 312.93/313.77 WSVECS04 Frhs2[229]: 6 0 0.221735 shouldn't be 312.93/313.77 WSVECS04 Frhs2[238]: 6 0 1.24032 shouldn't be 312.93/313.77 WSVECS04 Frhs2[242]: 6 -0.0709512 0 shouldn't be 312.93/313.77 WSVECS04 Frhs2[247]: 6 0 0.161786 shouldn't be 312.93/313.77 WSVECS04 Frhs2[251]: 6 -0.957494 0 shouldn't be 312.93/313.77 WSVECS04 Frhs2[252]: 6 0 1.00004 shouldn't be 312.93/313.77 WSVECS04 Frhs2[256]: 6 -0.257499 0 shouldn't be 312.93/313.77 WSVECS04 Frhs2[267]: 6 -0.325586 0 shouldn't be 312.93/313.77 WSVECS04 Frhs2[271]: 6 -1.1546 0 shouldn't be 312.93/313.77 WSVECS04 Frhs2[297]: 6 -1.19253 0 shouldn't be 312.93/313.77 WSVECS04 Frhs2[298]: 6 0 1.19695 shouldn't be 312.93/313.77 WSVECS04 Frhs2[307]: 6 -0.0693061 0 shouldn't be 312.93/313.77 WSVECS04 Frhs2[308]: 6 0 0.618868 shouldn't be 312.93/313.77 WSVECS04 Frhs2[311]: 6 0 0.642184 shouldn't be 312.93/313.77 WSVECS04 Frhs2[324]: 6 0 1.17952 shouldn't be 312.93/313.77 WSVECS04 Frhs2[344]: 6 0 0.772482 shouldn't be 312.93/313.77 WSVECS04 Frhs2[345]: 6 -1.5355 0 shouldn't be 331.98/332.85 c #Conflicts: 364000 | #Constraints: 42861 331.98/332.85 c #Conflicts: 365000 | #Constraints: 43861 331.98/332.85 c #Conflicts: 366000 | #Constraints: 44861 331.98/332.85 c #Conflicts: 367000 | #Constraints: 45861 331.98/332.85 c #Conflicts: 368000 | #Constraints: 46861 331.98/332.85 c #Conflicts: 369000 | #Constraints: 47861 331.98/332.85 c #Conflicts: 370000 | #Constraints: 48861 331.98/332.85 c #Conflicts: 371000 | #Constraints: 49861 331.98/332.85 c #Conflicts: 372000 | #Constraints: 50861 331.98/332.85 c #Conflicts: 373000 | #Constraints: 51861 331.98/332.85 c #Conflicts: 374000 | #Constraints: 52862 331.98/332.85 c #Conflicts: 375000 | #Constraints: 53863 331.98/332.85 c #Conflicts: 376000 | #Constraints: 54863 331.98/332.85 c #Conflicts: 377000 | #Constraints: 55863 331.98/332.85 WSVECS04 Frhs2[122]: 6 -3.84348 0 shouldn't be 331.98/332.85 WSVECS04 Frhs2[124]: 6 -1.44491 0 shouldn't be 331.98/332.85 WSVECS04 Frhs2[125]: 6 0 1.13346 shouldn't be 331.98/332.85 WSVECS04 Frhs2[126]: 6 0 3.00009 shouldn't be 331.98/332.85 WSVECS04 Frhs2[127]: 6 -2.46804 0 shouldn't be 331.98/332.85 WSVECS04 Frhs2[139]: 6 -1.00008 0 shouldn't be 331.98/332.85 WSVECS04 Frhs2[141]: 6 0 1.00006 shouldn't be 331.98/332.85 WSVECS04 Frhs2[163]: 6 0 5.00008 shouldn't be 331.98/332.85 WSVECS04 Frhs2[164]: 6 -2.00005 0 shouldn't be 331.98/332.85 WSVECS04 Frhs2[209]: 6 -2.67024 0 shouldn't be 331.98/332.85 WSVECS04 Frhs2[213]: 6 0 1.00007 shouldn't be 331.98/332.85 WSVECS04 Frhs2[229]: 6 -2.75761 0 shouldn't be 331.98/332.85 WSVECS04 Frhs2[240]: 6 0 1.84655 shouldn't be 331.98/332.85 WSVECS04 Frhs2[244]: 6 -4.29653 0 shouldn't be 331.98/332.85 WSVECS04 Frhs2[258]: 6 0 1.55666 shouldn't be 331.98/332.85 WSVECS04 Frhs2[336]: 6 0 4.19627 shouldn't be 331.98/332.85 WSVECS04 Frhs2[346]: 6 -1.38492 0 shouldn't be 331.98/332.85 WSVECS04 Frhs2[350]: 6 -2.4918 0 shouldn't be 332.18/333.09 WSVECS04 Frhs2[174]: 6 -5.66061 0 shouldn't be 332.18/333.09 WSVECS04 Frhs2[177]: 6 -6.81716 0 shouldn't be 332.18/333.09 WSVECS04 Frhs2[178]: 6 0 1.00005 shouldn't be 332.48/333.32 WSVECS04 Frhs2[166]: 6 0 3.00005 shouldn't be 333.58/334.48 c #Conflicts: 378000 | #Constraints: 56863 333.58/334.48 c INPROCESSING 333.58/334.48 c GARBAGE COLLECT 333.58/334.48 c rational objective -194 352.54/353.48 c #Conflicts: 379000 | #Constraints: 35684 352.54/353.48 c #Conflicts: 380000 | #Constraints: 36684 352.54/353.48 c #Conflicts: 381000 | #Constraints: 37684 352.54/353.48 c #Conflicts: 382000 | #Constraints: 38685 352.54/353.48 c #Conflicts: 383000 | #Constraints: 39686 352.54/353.48 c #Conflicts: 384000 | #Constraints: 40686 352.54/353.48 c #Conflicts: 385000 | #Constraints: 41687 352.54/353.48 c #Conflicts: 386000 | #Constraints: 42687 352.54/353.48 c #Conflicts: 387000 | #Constraints: 43687 352.54/353.48 c #Conflicts: 388000 | #Constraints: 44687 352.54/353.48 c #Conflicts: 389000 | #Constraints: 45687 352.54/353.48 c #Conflicts: 390000 | #Constraints: 46687 352.54/353.48 c #Conflicts: 391000 | #Constraints: 47687 352.54/353.48 c #Conflicts: 392000 | #Constraints: 48688 352.54/353.48 c #Conflicts: 393000 | #Constraints: 49689 352.54/353.48 c INPROCESSING 352.54/353.48 c GARBAGE COLLECT 352.54/353.48 c rational objective -194 399.02/400.05 c #Conflicts: 394000 | #Constraints: 32529 399.02/400.05 c #Conflicts: 395000 | #Constraints: 33529 399.02/400.05 c #Conflicts: 396000 | #Constraints: 34530 399.02/400.05 c #Conflicts: 397000 | #Constraints: 35533 399.02/400.05 c #Conflicts: 398000 | #Constraints: 36536 399.02/400.05 c #Conflicts: 399000 | #Constraints: 37538 399.02/400.05 c #Conflicts: 400000 | #Constraints: 38542 399.02/400.05 c #Conflicts: 401000 | #Constraints: 39548 399.02/400.05 c #Conflicts: 402000 | #Constraints: 40551 399.02/400.05 c #Conflicts: 403000 | #Constraints: 41554 399.02/400.05 c #Conflicts: 404000 | #Constraints: 42556 399.02/400.05 c #Conflicts: 405000 | #Constraints: 43559 399.02/400.05 c #Conflicts: 406000 | #Constraints: 44564 399.02/400.05 c #Conflicts: 407000 | #Constraints: 45568 399.02/400.05 c #Conflicts: 408000 | #Constraints: 46573 399.02/400.05 c #Conflicts: 409000 | #Constraints: 47576 399.02/400.05 c #Conflicts: 410000 | #Constraints: 48583 399.02/400.05 c #Conflicts: 411000 | #Constraints: 49587 399.02/400.05 c #Conflicts: 412000 | #Constraints: 50589 399.02/400.05 c #Conflicts: 413000 | #Constraints: 51592 399.02/400.05 c #Conflicts: 414000 | #Constraints: 52595 399.02/400.05 c #Conflicts: 415000 | #Constraints: 53597 399.02/400.05 c #Conflicts: 416000 | #Constraints: 54601 399.02/400.05 c #Conflicts: 417000 | #Constraints: 55603 399.02/400.05 c #Conflicts: 418000 | #Constraints: 56605 399.02/400.05 c #Conflicts: 419000 | #Constraints: 57609 399.02/400.05 c #Conflicts: 420000 | #Constraints: 58612 399.02/400.05 c #Conflicts: 421000 | #Constraints: 59616 399.02/400.05 c #Conflicts: 422000 | #Constraints: 60619 399.02/400.05 c #Conflicts: 423000 | #Constraints: 61624 399.02/400.05 c #Conflicts: 424000 | #Constraints: 62625 399.02/400.05 c #Conflicts: 425000 | #Constraints: 63628 399.02/400.05 c #Conflicts: 426000 | #Constraints: 64631 399.02/400.05 c #Conflicts: 427000 | #Constraints: 65634 399.02/400.05 c #Conflicts: 428000 | #Constraints: 66638 399.02/400.05 c #Conflicts: 429000 | #Constraints: 67642 399.02/400.05 c #Conflicts: 430000 | #Constraints: 68649 399.02/400.05 c #Conflicts: 431000 | #Constraints: 69654 399.02/400.05 c #Conflicts: 432000 | #Constraints: 70657 399.02/400.05 c #Conflicts: 433000 | #Constraints: 71661 399.02/400.05 c #Conflicts: 434000 | #Constraints: 72666 399.02/400.05 c #Conflicts: 435000 | #Constraints: 73670 399.02/400.05 c #Conflicts: 436000 | #Constraints: 74674 399.02/400.05 c #Conflicts: 437000 | #Constraints: 75677 399.02/400.05 c #Conflicts: 438000 | #Constraints: 76682 399.02/400.05 c INPROCESSING 399.02/400.05 c GARBAGE COLLECT 399.02/400.05 c rational objective -194 400.52/401.59 c #Conflicts: 439000 | #Constraints: 45247 400.52/401.59 c #Conflicts: 440000 | #Constraints: 46248 400.52/401.59 WSVECS04 Frhs2[59]: 6 -1.06741 0 shouldn't be 400.52/401.59 WSVECS04 Frhs2[61]: 6 0 0.357965 shouldn't be 400.52/401.59 WSVECS04 Frhs2[67]: 6 0 1.41667 shouldn't be 400.52/401.59 WSVECS04 Frhs2[69]: 6 -1.43594 0 shouldn't be 400.52/401.59 WSVECS04 Frhs2[102]: 6 -1.1501 0 shouldn't be 400.52/401.59 WSVECS04 Frhs2[106]: 6 0 1.00006 shouldn't be 400.52/401.59 WSVECS04 Frhs2[173]: 6 0 1.95529 shouldn't be 400.52/401.59 WSVECS04 Frhs2[178]: 6 0 0.549716 shouldn't be 400.52/401.59 WSVECS04 Frhs2[182]: 6 0 1.62966 shouldn't be 400.52/401.59 WSVECS04 Frhs2[190]: 6 -0.947611 0 shouldn't be 400.52/401.59 WSVECS04 Frhs2[195]: 6 -1.65202 0 shouldn't be 400.52/401.59 WSVECS04 Frhs2[197]: 6 0 1.8304 shouldn't be 400.52/401.59 WSVECS04 Frhs2[223]: 6 -0.792455 0 shouldn't be 400.52/401.59 WSVECS04 Frhs2[224]: 6 -1.65755 0 shouldn't be 400.52/401.59 WSVECS04 Frhs2[239]: 6 0 1.061 shouldn't be 400.52/401.59 WSVECS04 Frhs2[240]: 6 -2.02315 0 shouldn't be 400.52/401.59 WSVECS04 Frhs2[249]: 6 -1.00006 0 shouldn't be 400.52/401.59 WSVECS04 Frhs2[252]: 6 0 1.00008 shouldn't be 400.52/401.59 WSVECS04 Frhs2[257]: 6 0 2.53826 shouldn't be 400.52/401.59 WSVECS04 Frhs2[258]: 6 0 0.865632 shouldn't be 400.52/401.59 WSVECS04 Frhs2[260]: 6 -1.83294 0 shouldn't be 400.52/401.59 WSVECS04 Frhs2[288]: 6 -1.11017 0 shouldn't be 400.52/401.59 WSVECS04 Frhs2[290]: 6 0 0.700733 shouldn't be 400.52/401.59 WSVECS04 Frhs2[316]: 6 0 1.00007 shouldn't be 400.52/401.59 WSVECS04 Frhs2[321]: 6 0 1.33075 shouldn't be 400.52/401.59 WSVECS04 Frhs2[322]: 6 -0.673005 0 shouldn't be 400.52/401.59 WSVECS04 Frhs2[327]: 6 0 1.00001 shouldn't be 400.52/401.59 WSVECS04 Frhs2[328]: 6 0 0.0388641 shouldn't be 400.52/401.59 WSVECS04 Frhs2[333]: 6 -0.683966 0 shouldn't be 400.52/401.59 WSVECS04 Frhs2[336]: 6 0 1.61418 shouldn't be 400.82/401.83 WSVECS04 Frhs2[253]: 6 0 1.00003 shouldn't be 409.39/410.44 c #Conflicts: 441000 | #Constraints: 47249 409.39/410.44 c #Conflicts: 442000 | #Constraints: 48249 409.39/410.44 c #Conflicts: 443000 | #Constraints: 49249 409.39/410.44 c #Conflicts: 444000 | #Constraints: 50250 409.39/410.44 c #Conflicts: 445000 | #Constraints: 51251 409.39/410.44 c #Conflicts: 446000 | #Constraints: 52251 409.39/410.44 WSVECS04 Frhs2[28]: 6 -1.47712 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[37]: 6 -2.47708 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[40]: 6 0 5.80641 shouldn't be 409.39/410.44 WSVECS04 Frhs2[42]: 6 -1.69492 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[44]: 6 -0.345945 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[45]: 6 0 1.27656 shouldn't be 409.39/410.44 WSVECS04 Frhs2[48]: 6 -1.95419 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[50]: 6 0 1.74899 shouldn't be 409.39/410.44 WSVECS04 Frhs2[82]: 6 -2.00009 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[86]: 6 0 2.0001 shouldn't be 409.39/410.44 WSVECS04 Frhs2[87]: 6 -0.766799 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[89]: 6 0 0.678169 shouldn't be 409.39/410.44 WSVECS04 Frhs2[91]: 6 0 4.87445 shouldn't be 409.39/410.44 WSVECS04 Frhs2[217]: 6 -0.0690853 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[219]: 6 -1.00002 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[224]: 6 -0.512041 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[225]: 6 0 1.16112 shouldn't be 409.39/410.44 WSVECS04 Frhs2[228]: 6 -0.335014 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[230]: 6 0 1.33797 shouldn't be 409.39/410.44 WSVECS04 Frhs2[231]: 6 0 1.18557 shouldn't be 409.39/410.44 WSVECS04 Frhs2[248]: 6 0 2.52738 shouldn't be 409.39/410.44 WSVECS04 Frhs2[251]: 6 0 0.868736 shouldn't be 409.39/410.44 WSVECS04 Frhs2[253]: 6 0 1.87493 shouldn't be 409.39/410.44 WSVECS04 Frhs2[254]: 6 -2.56523 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[257]: 6 0 2.4727 shouldn't be 409.39/410.44 WSVECS04 Frhs2[259]: 6 -1.86866 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[260]: 6 -5.49498 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[276]: 6 0 1.75702 shouldn't be 409.39/410.44 WSVECS04 Frhs2[278]: 6 0 1.41569 shouldn't be 409.39/410.44 WSVECS04 Frhs2[279]: 6 -1.13714 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[282]: 6 0 1.00004 shouldn't be 409.39/410.44 WSVECS04 Frhs2[284]: 6 -1.66471 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[285]: 6 -1.00004 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[289]: 6 -2.6172 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[290]: 6 0 1.39779 shouldn't be 409.39/410.44 WSVECS04 Frhs2[296]: 6 0 1.00005 shouldn't be 409.39/410.44 WSVECS04 Frhs2[308]: 6 0 2.98139 shouldn't be 409.39/410.44 WSVECS04 Frhs2[309]: 6 -1.05788 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[312]: 6 0 1.12893 shouldn't be 409.39/410.44 WSVECS04 Frhs2[315]: 6 -5.46534 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[324]: 6 -1.12832 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[327]: 6 0 1.00007 shouldn't be 409.39/410.44 WSVECS04 Frhs2[333]: 6 -0.79794 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[335]: 6 0 1.00004 shouldn't be 409.39/410.44 WSVECS04 Frhs2[347]: 6 -0.450518 0 shouldn't be 409.39/410.44 WSVECS04 Frhs2[348]: 6 -0.575371 0 shouldn't be 413.19/414.27 c #Conflicts: 447000 | #Constraints: 53251 413.19/414.27 c #Conflicts: 448000 | #Constraints: 54251 413.19/414.27 c #Conflicts: 449000 | #Constraints: 55251 413.19/414.27 WSVECS04 Frhs2[4]: 6 -1.94299 0 shouldn't be 413.19/414.27 WSVECS04 Frhs2[15]: 6 0 0.0403095 shouldn't be 413.19/414.27 WSVECS04 Frhs2[16]: 6 -1.77273 0 shouldn't be 413.19/414.27 WSVECS04 Frhs2[25]: 6 0 1.55448 shouldn't be 413.19/414.27 WSVECS04 Frhs2[109]: 6 -2.38985 0 shouldn't be 413.19/414.27 WSVECS04 Frhs2[110]: 6 0 3.44157 shouldn't be 413.19/414.27 WSVECS04 Frhs2[119]: 6 -7.21844 0 shouldn't be 413.19/414.27 WSVECS04 Frhs2[286]: 6 -6.34952 0 shouldn't be 413.19/414.27 WSVECS04 Frhs2[295]: 6 0 2.75012 shouldn't be 413.19/414.27 WSVECS04 Frhs2[305]: 6 -5.36373 0 shouldn't be 417.98/419.08 c #Conflicts: 450000 | #Constraints: 56251 417.98/419.08 c #Conflicts: 451000 | #Constraints: 57251 417.98/419.08 c #Conflicts: 452000 | #Constraints: 58251 417.98/419.08 c #Conflicts: 453000 | #Constraints: 59251 417.98/419.08 WSVECS04 Frhs2[80]: 6 0 5.92313 shouldn't be 417.98/419.08 WSVECS04 Frhs2[82]: 6 -3.65473 0 shouldn't be 417.98/419.08 WSVECS04 Frhs2[83]: 6 -0.98725 0 shouldn't be 417.98/419.08 WSVECS04 Frhs2[90]: 6 0 2.00008 shouldn't be 417.98/419.08 WSVECS04 Frhs2[91]: 6 0 1.40073 shouldn't be 417.98/419.08 WSVECS04 Frhs2[96]: 6 -6.14065 0 shouldn't be 417.98/419.08 WSVECS04 Frhs2[98]: 6 -3.42387 0 shouldn't be 417.98/419.08 WSVECS04 Frhs2[182]: 6 -4.20037 0 shouldn't be 417.98/419.08 WSVECS04 Frhs2[183]: 6 -7.99334 0 shouldn't be 417.98/419.08 WSVECS04 Frhs2[190]: 6 0 1.00003 shouldn't be 417.98/419.08 WSVECS04 Frhs2[196]: 6 -8.8623 0 shouldn't be 417.98/419.08 WSVECS04 Frhs2[216]: 6 0 3.10848 shouldn't be 417.98/419.08 WSVECS04 Frhs2[223]: 6 -3.12871 0 shouldn't be 417.98/419.08 WSVECS04 Frhs2[224]: 6 -1.70436 0 shouldn't be 417.98/419.08 WSVECS04 Frhs2[229]: 6 0 3.43482 shouldn't be 417.98/419.08 WSVECS04 Frhs2[231]: 6 0 4.00003 shouldn't be 417.98/419.08 WSVECS04 Frhs2[238]: 6 -3.6603 0 shouldn't be 417.98/419.08 WSVECS04 Frhs2[246]: 6 0 0.606132 shouldn't be 417.98/419.08 WSVECS04 Frhs2[316]: 6 0 3.08911 shouldn't be 417.98/419.08 WSVECS04 Frhs2[328]: 6 -4.64527 0 shouldn't be 417.98/419.08 WSVECS04 Frhs2[350]: 6 0 3.0969 shouldn't be 422.76/423.87 c #Conflicts: 454000 | #Constraints: 60252 422.76/423.87 c #Conflicts: 455000 | #Constraints: 61253 422.76/423.87 c INPROCESSING 422.76/423.87 c GARBAGE COLLECT 422.76/423.87 c rational objective -194 431.35/432.46 c #Conflicts: 456000 | #Constraints: 37683 431.35/432.46 c #Conflicts: 457000 | #Constraints: 38684 431.35/432.46 c #Conflicts: 458000 | #Constraints: 39684 431.35/432.46 c #Conflicts: 459000 | #Constraints: 40684 431.35/432.46 c #Conflicts: 460000 | #Constraints: 41684 431.35/432.46 c #Conflicts: 461000 | #Constraints: 42684 431.35/432.46 c #Conflicts: 462000 | #Constraints: 43685 431.35/432.46 c #Conflicts: 463000 | #Constraints: 44686 431.35/432.46 WSVECS04 Frhs2[28]: 6 0 1.00005 shouldn't be 431.35/432.46 WSVECS04 Frhs2[35]: 6 0 0.537299 shouldn't be 431.35/432.46 WSVECS04 Frhs2[39]: 6 0 1.12974 shouldn't be 431.35/432.46 WSVECS04 Frhs2[40]: 6 0 1.47713 shouldn't be 431.35/432.46 WSVECS04 Frhs2[47]: 6 -0.492127 0 shouldn't be 431.35/432.46 WSVECS04 Frhs2[51]: 6 -0.453815 0 shouldn't be 431.35/432.46 WSVECS04 Frhs2[52]: 6 0 0.731176 shouldn't be 431.35/432.46 WSVECS04 Frhs2[64]: 6 0 0.765566 shouldn't be 431.35/432.46 WSVECS04 Frhs2[65]: 6 -0.239657 0 shouldn't be 431.35/432.46 WSVECS04 Frhs2[66]: 6 -0.01535 0 shouldn't be 431.35/432.46 WSVECS04 Frhs2[68]: 6 0 0.535709 shouldn't be 431.35/432.46 WSVECS04 Frhs2[73]: 6 0 1.00004 shouldn't be 431.35/432.46 WSVECS04 Frhs2[75]: 6 -1.42147 0 shouldn't be 431.35/432.46 WSVECS04 Frhs2[86]: 6 0 1.0422 shouldn't be 431.35/432.46 WSVECS04 Frhs2[88]: 6 -1.94745 0 shouldn't be 431.35/432.46 WSVECS04 Frhs2[92]: 6 -1.03282 0 shouldn't be 431.35/432.46 WSVECS04 Frhs2[97]: 6 0 1.78212 shouldn't be 431.35/432.46 WSVECS04 Frhs2[98]: 6 -0.0620035 0 shouldn't be 431.35/432.46 WSVECS04 Frhs2[263]: 6 0 1.00005 shouldn't be 431.35/432.46 WSVECS04 Frhs2[264]: 6 0 1.00005 shouldn't be 431.35/432.46 WSVECS04 Frhs2[266]: 6 -0.256786 0 shouldn't be 431.35/432.46 WSVECS04 Frhs2[267]: 6 0 0.116808 shouldn't be 431.35/432.46 WSVECS04 Frhs2[269]: 6 0 1.26021 shouldn't be 431.35/432.46 WSVECS04 Frhs2[275]: 6 -7.38418 0 shouldn't be 431.35/432.46 WSVECS04 Frhs2[276]: 6 -0.0309398 0 shouldn't be 431.35/432.46 WSVECS04 Frhs2[279]: 6 -4.56291 0 shouldn't be 431.35/432.46 WSVECS04 Frhs2[284]: 6 0 3.49513 shouldn't be 431.35/432.46 WSVECS04 Frhs2[287]: 6 -1.33855 0 shouldn't be 431.35/432.46 WSVECS04 Frhs2[289]: 6 0 1.00007 shouldn't be 431.35/432.46 WSVECS04 Frhs2[290]: 6 -1.00009 0 shouldn't be 431.35/432.46 WSVECS04 Frhs2[291]: 6 -4.14204 0 shouldn't be 431.35/432.46 WSVECS04 Frhs2[296]: 6 -0.31907 0 shouldn't be 431.35/432.46 WSVECS04 Frhs2[300]: 6 0 4.46267 shouldn't be 431.35/432.46 WSVECS04 Frhs2[305]: 6 -3.01226 0 shouldn't be 431.35/432.46 WSVECS04 Frhs2[309]: 6 0 0.592646 shouldn't be 431.35/432.46 WSVECS04 Frhs2[313]: 6 -0.463593 0 shouldn't be 431.35/432.46 WSVECS04 Frhs2[315]: 6 0 1.0001 shouldn't be 431.35/432.46 WSVECS04 Frhs2[329]: 6 0 1.00002 shouldn't be 431.35/432.46 WSVECS04 Frhs2[331]: 6 0 0.895397 shouldn't be 431.35/432.46 WSVECS04 Frhs2[335]: 6 -0.407444 0 shouldn't be 431.35/432.46 WSVECS04 Frhs2[343]: 6 -1.29369 0 shouldn't be 438.93/440.05 c #Conflicts: 464000 | #Constraints: 45686 438.93/440.05 c #Conflicts: 465000 | #Constraints: 46686 438.93/440.05 c #Conflicts: 466000 | #Constraints: 47686 438.93/440.05 c #Conflicts: 467000 | #Constraints: 48686 438.93/440.05 c #Conflicts: 468000 | #Constraints: 49686 438.93/440.05 WSVECS04 Frhs2[351]: 6 -17.5001 0 shouldn't be 445.61/446.77 c #Conflicts: 469000 | #Constraints: 50687 445.61/446.77 c #Conflicts: 470000 | #Constraints: 51687 445.61/446.77 c #Conflicts: 471000 | #Constraints: 52687 445.61/446.77 c #Conflicts: 472000 | #Constraints: 53688 445.61/446.77 c INPROCESSING 445.61/446.77 c GARBAGE COLLECT 445.61/446.77 c rational objective -194 498.38/499.60 c #Conflicts: 473000 | #Constraints: 34908 498.38/499.60 c #Conflicts: 474000 | #Constraints: 35908 498.38/499.60 c #Conflicts: 475000 | #Constraints: 36912 498.38/499.60 c #Conflicts: 476000 | #Constraints: 37916 498.38/499.60 c #Conflicts: 477000 | #Constraints: 38921 498.38/499.60 c #Conflicts: 478000 | #Constraints: 39923 498.38/499.60 c #Conflicts: 479000 | #Constraints: 40926 498.38/499.60 c #Conflicts: 480000 | #Constraints: 41931 498.38/499.60 c #Conflicts: 481000 | #Constraints: 42935 498.38/499.60 c #Conflicts: 482000 | #Constraints: 43940 498.38/499.60 c #Conflicts: 483000 | #Constraints: 44944 498.38/499.60 c #Conflicts: 484000 | #Constraints: 45950 498.38/499.60 c #Conflicts: 485000 | #Constraints: 46955 498.38/499.60 c #Conflicts: 486000 | #Constraints: 47958 498.38/499.60 c #Conflicts: 487000 | #Constraints: 48960 498.38/499.60 c #Conflicts: 488000 | #Constraints: 49962 498.38/499.60 c #Conflicts: 489000 | #Constraints: 50966 498.38/499.60 c #Conflicts: 490000 | #Constraints: 51969 498.38/499.60 c #Conflicts: 491000 | #Constraints: 52972 498.38/499.60 c #Conflicts: 492000 | #Constraints: 53974 498.38/499.60 c #Conflicts: 493000 | #Constraints: 54978 498.38/499.60 c #Conflicts: 494000 | #Constraints: 55981 498.38/499.60 c #Conflicts: 495000 | #Constraints: 56986 498.38/499.60 c #Conflicts: 496000 | #Constraints: 57991 498.38/499.60 c #Conflicts: 497000 | #Constraints: 58995 498.38/499.60 c #Conflicts: 498000 | #Constraints: 59998 498.38/499.60 c #Conflicts: 499000 | #Constraints: 61004 498.38/499.60 c #Conflicts: 500000 | #Constraints: 62009 498.38/499.60 c #Conflicts: 501000 | #Constraints: 63013 498.38/499.60 c #Conflicts: 502000 | #Constraints: 64014 498.38/499.60 c #Conflicts: 503000 | #Constraints: 65019 498.38/499.60 c #Conflicts: 504000 | #Constraints: 66021 498.38/499.60 c #Conflicts: 505000 | #Constraints: 67026 498.38/499.60 c #Conflicts: 506000 | #Constraints: 68028 498.38/499.60 c #Conflicts: 507000 | #Constraints: 69031 498.38/499.60 c #Conflicts: 508000 | #Constraints: 70035 498.38/499.60 c #Conflicts: 509000 | #Constraints: 71041 498.38/499.60 c #Conflicts: 510000 | #Constraints: 72045 498.38/499.60 c #Conflicts: 511000 | #Constraints: 73049 498.38/499.60 c #Conflicts: 512000 | #Constraints: 74055 498.38/499.60 c #Conflicts: 513000 | #Constraints: 75058 498.38/499.60 c #Conflicts: 514000 | #Constraints: 76061 498.38/499.60 c #Conflicts: 515000 | #Constraints: 77067 498.38/499.60 c #Conflicts: 516000 | #Constraints: 78072 498.38/499.60 c #Conflicts: 517000 | #Constraints: 79076 498.38/499.60 c #Conflicts: 518000 | #Constraints: 80078 498.38/499.60 c #Conflicts: 519000 | #Constraints: 81080 498.38/499.60 c #Conflicts: 520000 | #Constraints: 82084 498.38/499.60 c #Conflicts: 521000 | #Constraints: 83086 498.38/499.60 c #Conflicts: 522000 | #Constraints: 84087 498.38/499.60 c INPROCESSING 498.38/499.60 c GARBAGE COLLECT 498.38/499.60 c rational objective -194 500.89/502.11 c #Conflicts: 523000 | #Constraints: 49400 500.89/502.11 WSVECS04 Frhs2[53]: 6 -0.100024 0 shouldn't be 500.89/502.11 WSVECS04 Frhs2[55]: 6 -0.942647 0 shouldn't be 500.89/502.11 WSVECS04 Frhs2[56]: 6 0 0.454551 shouldn't be 500.89/502.11 WSVECS04 Frhs2[59]: 6 0 1.00004 shouldn't be 500.89/502.11 WSVECS04 Frhs2[61]: 6 0 0.00891964 shouldn't be 500.89/502.11 WSVECS04 Frhs2[62]: 6 -0.0539516 0 shouldn't be 500.89/502.11 WSVECS04 Frhs2[64]: 6 0 0.249296 shouldn't be 500.89/502.11 WSVECS04 Frhs2[66]: 6 0 1.33661 shouldn't be 500.89/502.11 WSVECS04 Frhs2[100]: 6 0 2.62944 shouldn't be 500.89/502.11 WSVECS04 Frhs2[101]: 6 -4.1128 0 shouldn't be 500.89/502.11 WSVECS04 Frhs2[104]: 6 -0.148092 0 shouldn't be 500.89/502.11 WSVECS04 Frhs2[106]: 6 -0.253516 0 shouldn't be 500.89/502.11 WSVECS04 Frhs2[107]: 6 0 1.00005 shouldn't be 500.89/502.11 WSVECS04 Frhs2[109]: 6 -1.69767 0 shouldn't be 500.89/502.11 WSVECS04 Frhs2[111]: 6 -0.222924 0 shouldn't be 500.89/502.11 WSVECS04 Frhs2[119]: 6 0 1.08238 shouldn't be 500.89/502.11 WSVECS04 Frhs2[120]: 6 0 2.57431 shouldn't be 500.89/502.11 WSVECS04 Frhs2[142]: 6 -1.39752 0 shouldn't be 500.89/502.11 WSVECS04 Frhs2[145]: 6 -0.1784 0 shouldn't be 500.89/502.11 WSVECS04 Frhs2[148]: 6 0 1.39747 shouldn't be 500.89/502.11 WSVECS04 Frhs2[152]: 6 -0.776544 0 shouldn't be 500.89/502.11 WSVECS04 Frhs2[160]: 6 0 1.00003 shouldn't be 500.89/502.11 WSVECS04 Frhs2[167]: 6 -1.00008 0 shouldn't be 500.89/502.11 WSVECS04 Frhs2[169]: 6 0 1.00006 shouldn't be 500.89/502.11 WSVECS04 Frhs2[217]: 6 0 1.84142 shouldn't be 500.89/502.11 WSVECS04 Frhs2[218]: 6 -0.623439 0 shouldn't be 500.89/502.11 WSVECS04 Frhs2[222]: 6 0 1.53199 shouldn't be 500.89/502.11 WSVECS04 Frhs2[231]: 6 -3.49195 0 shouldn't be 500.89/502.11 WSVECS04 Frhs2[247]: 6 -1.57429 0 shouldn't be 500.89/502.11 WSVECS04 Frhs2[249]: 6 0 2.0541 shouldn't be 500.89/502.11 WSVECS04 Frhs2[264]: 6 -2.47987 0 shouldn't be 500.89/502.11 WSVECS04 Frhs2[272]: 6 0 1.59501 shouldn't be 501.08/502.34 WSVECS04 Frhs2[220]: 6 0 0.163822 shouldn't be 510.45/511.70 c #Conflicts: 524000 | #Constraints: 50400 510.45/511.70 c #Conflicts: 525000 | #Constraints: 51400 510.45/511.70 c #Conflicts: 526000 | #Constraints: 52400 510.45/511.70 c #Conflicts: 527000 | #Constraints: 53400 510.45/511.70 c #Conflicts: 528000 | #Constraints: 54400 510.45/511.70 c #Conflicts: 529000 | #Constraints: 55400 510.45/511.70 WSVECS04 Frhs2[287]: 6 -5.60104 0 shouldn't be 510.45/511.70 WSVECS04 Frhs2[314]: 6 -7.4828 0 shouldn't be 510.45/511.70 WSVECS04 Frhs2[315]: 6 0 3.40366 shouldn't be 524.62/525.90 c #Conflicts: 530000 | #Constraints: 56401 524.62/525.90 c #Conflicts: 531000 | #Constraints: 57401 524.62/525.90 c #Conflicts: 532000 | #Constraints: 58401 524.62/525.90 c #Conflicts: 533000 | #Constraints: 59401 524.62/525.90 c #Conflicts: 534000 | #Constraints: 60401 524.62/525.90 c #Conflicts: 535000 | #Constraints: 61401 524.62/525.90 c #Conflicts: 536000 | #Constraints: 62401 524.62/525.90 c #Conflicts: 537000 | #Constraints: 63402 524.62/525.90 WSVECS04 Frhs2[4]: 6 -5.00062 0 shouldn't be 524.62/525.90 WSVECS04 Frhs2[7]: 6 -2.57192 0 shouldn't be 524.62/525.90 WSVECS04 Frhs2[13]: 6 -0.872351 0 shouldn't be 524.62/525.90 WSVECS04 Frhs2[15]: 6 0 0.190255 shouldn't be 524.62/525.90 WSVECS04 Frhs2[16]: 6 -2.73588 0 shouldn't be 524.62/525.90 WSVECS04 Frhs2[17]: 6 -10.7545 0 shouldn't be 524.62/525.90 WSVECS04 Frhs2[26]: 6 0 1.54651 shouldn't be 524.62/525.90 WSVECS04 Frhs2[101]: 6 0 2.1801 shouldn't be 524.62/525.90 WSVECS04 Frhs2[107]: 6 0 2.00006 shouldn't be 524.62/525.90 WSVECS04 Frhs2[109]: 6 -1.00008 0 shouldn't be 524.62/525.90 WSVECS04 Frhs2[110]: 6 0 4.62153 shouldn't be 524.62/525.90 WSVECS04 Frhs2[119]: 6 -3.55799 0 shouldn't be 524.62/525.90 WSVECS04 Frhs2[120]: 6 -4.00004 0 shouldn't be 524.62/525.90 WSVECS04 Frhs2[167]: 6 0 2.00001 shouldn't be 524.62/525.90 WSVECS04 Frhs2[169]: 6 -0.491124 0 shouldn't be 524.62/525.90 WSVECS04 Frhs2[180]: 6 -2.00006 0 shouldn't be 524.62/525.90 WSVECS04 Frhs2[263]: 6 0 2.00003 shouldn't be 524.62/525.90 WSVECS04 Frhs2[264]: 6 0 1.94748 shouldn't be 524.62/525.90 WSVECS04 Frhs2[272]: 6 -2.6124 0 shouldn't be 524.62/525.90 WSVECS04 Frhs2[286]: 6 -2.45359 0 shouldn't be 524.62/525.90 WSVECS04 Frhs2[296]: 6 0 2.59963 shouldn't be 524.62/525.90 WSVECS04 Frhs2[305]: 6 -0.127701 0 shouldn't be 524.62/525.90 WSVECS04 Frhs2[306]: 6 -3.93658 0 shouldn't be 530.00/531.30 c #Conflicts: 538000 | #Constraints: 64402 530.00/531.30 c #Conflicts: 539000 | #Constraints: 65402 530.00/531.30 c #Conflicts: 540000 | #Constraints: 66402 530.00/531.30 c INPROCESSING 530.00/531.30 c GARBAGE COLLECT 530.00/531.30 c rational objective -194 534.59/535.99 c #Conflicts: 541000 | #Constraints: 40459 534.59/535.99 c #Conflicts: 542000 | #Constraints: 41459 534.59/535.99 c #Conflicts: 543000 | #Constraints: 42460 534.59/535.99 c #Conflicts: 544000 | #Constraints: 43460 534.59/535.99 WSVECS04 Frhs2[31]: 6 -4.26363 0 shouldn't be 534.59/535.99 WSVECS04 Frhs2[38]: 6 -3.85897 0 shouldn't be 534.59/535.99 WSVECS04 Frhs2[39]: 6 -3.81077 0 shouldn't be 534.59/535.99 WSVECS04 Frhs2[40]: 6 0 1.00009 shouldn't be 534.59/535.99 WSVECS04 Frhs2[41]: 6 -1.00002 0 shouldn't be 534.59/535.99 WSVECS04 Frhs2[42]: 6 -1.52049 0 shouldn't be 534.59/535.99 WSVECS04 Frhs2[50]: 6 0 2.99723 shouldn't be 534.59/535.99 WSVECS04 Frhs2[148]: 6 0 1.71549 shouldn't be 534.59/535.99 WSVECS04 Frhs2[160]: 6 -1.00006 0 shouldn't be 534.59/535.99 WSVECS04 Frhs2[261]: 6 0 2.62431 shouldn't be 534.59/535.99 WSVECS04 Frhs2[262]: 6 -5.86203 0 shouldn't be 534.59/535.99 WSVECS04 Frhs2[263]: 6 0 3.81635 shouldn't be 534.59/535.99 WSVECS04 Frhs2[264]: 6 0 2.82162 shouldn't be 534.59/535.99 WSVECS04 Frhs2[284]: 6 -0.956176 0 shouldn't be 534.59/535.99 WSVECS04 Frhs2[295]: 6 0 3.39109 shouldn't be 534.59/535.99 WSVECS04 Frhs2[305]: 6 -2.70757 0 shouldn't be 539.08/540.40 c #Conflicts: 545000 | #Constraints: 44460 539.08/540.40 c #Conflicts: 546000 | #Constraints: 45460 539.08/540.40 c #Conflicts: 547000 | #Constraints: 46460 539.08/540.40 WSVECS04 Frhs2[13]: 6 -3.85154 0 shouldn't be 539.08/540.40 WSVECS04 Frhs2[25]: 6 0 3.70991 shouldn't be 539.08/540.40 WSVECS04 Frhs2[26]: 6 -4.76226 0 shouldn't be 539.08/540.40 WSVECS04 Frhs2[107]: 6 -5.47221 0 shouldn't be 539.08/540.40 WSVECS04 Frhs2[119]: 6 0 3.77361 shouldn't be 539.08/540.40 WSVECS04 Frhs2[120]: 6 -5.51746 0 shouldn't be 539.08/540.40 WSVECS04 Frhs2[149]: 6 -4.16745 0 shouldn't be 539.08/540.40 WSVECS04 Frhs2[150]: 6 0 6.34826 shouldn't be 539.08/540.40 WSVECS04 Frhs2[151]: 6 0 3.27796 shouldn't be 539.08/540.40 WSVECS04 Frhs2[152]: 6 0 1.65206 shouldn't be 539.08/540.40 WSVECS04 Frhs2[272]: 6 -7.26405 0 shouldn't be 539.08/540.40 WSVECS04 Frhs2[273]: 6 0 2.05971 shouldn't be 539.08/540.40 WSVECS04 Frhs2[274]: 6 -5.38346 0 shouldn't be 539.08/540.40 WSVECS04 Frhs2[275]: 6 -1.54649 0 shouldn't be 539.08/540.40 WSVECS04 Frhs2[276]: 6 -2.00437 0 shouldn't be 539.08/540.40 WSVECS04 Frhs2[286]: 6 0 4.12225 shouldn't be 539.08/540.40 WSVECS04 Frhs2[297]: 6 0 2.19166 shouldn't be 539.08/540.40 WSVECS04 Frhs2[351]: 6 -5.10021 0 shouldn't be 546.67/548.04 c #Conflicts: 548000 | #Constraints: 47460 546.67/548.04 c #Conflicts: 549000 | #Constraints: 48460 546.67/548.04 c bounds -176 >= -181 @ 536.599 546.67/548.04 c #Conflicts: 550000 | #Constraints: 49498 546.67/548.04 c #Conflicts: 551000 | #Constraints: 50498 546.67/548.04 c #Conflicts: 552000 | #Constraints: 51498 546.67/548.04 WSVECS04 Frhs2[274]: 6 0 1.00002 shouldn't be 546.67/548.04 WSVECS04 Frhs2[282]: 6 0 2.2696 shouldn't be 546.67/548.04 WSVECS04 Frhs2[285]: 6 0 1.25804 shouldn't be 546.67/548.04 WSVECS04 Frhs2[293]: 6 0 1.03237 shouldn't be 546.67/548.04 WSVECS04 Frhs2[296]: 6 0 1.40837 shouldn't be 554.34/555.75 c #Conflicts: 553000 | #Constraints: 52499 554.34/555.75 c #Conflicts: 554000 | #Constraints: 53499 554.34/555.75 c #Conflicts: 555000 | #Constraints: 54499 554.34/555.75 c #Conflicts: 556000 | #Constraints: 55499 554.34/555.75 c #Conflicts: 557000 | #Constraints: 56499 554.34/555.75 WSVECS04 Frhs2[245]: 6 0 4.36583 shouldn't be 554.34/555.75 WSVECS04 Frhs2[322]: 6 0 3.10645 shouldn't be 554.34/555.75 WSVECS04 Frhs2[341]: 6 -21 0 shouldn't be 556.75/558.10 c #Conflicts: 558000 | #Constraints: 57500 556.75/558.10 c INPROCESSING 556.75/558.10 c GARBAGE COLLECT 556.75/558.10 c rational objective -194 624.88/626.42 c #Conflicts: 559000 | #Constraints: 37516 624.88/626.42 c #Conflicts: 560000 | #Constraints: 38519 624.88/626.42 c #Conflicts: 561000 | #Constraints: 39524 624.88/626.42 c #Conflicts: 562000 | #Constraints: 40530 624.88/626.42 c #Conflicts: 563000 | #Constraints: 41536 624.88/626.42 c #Conflicts: 564000 | #Constraints: 42541 624.88/626.42 c #Conflicts: 565000 | #Constraints: 43546 624.88/626.42 c #Conflicts: 566000 | #Constraints: 44549 624.88/626.42 c #Conflicts: 567000 | #Constraints: 45551 624.88/626.42 c #Conflicts: 568000 | #Constraints: 46554 624.88/626.42 c #Conflicts: 569000 | #Constraints: 47557 624.88/626.42 c #Conflicts: 570000 | #Constraints: 48559 624.88/626.42 c #Conflicts: 571000 | #Constraints: 49561 624.88/626.42 c #Conflicts: 572000 | #Constraints: 50565 624.88/626.42 c #Conflicts: 573000 | #Constraints: 51567 624.88/626.42 c #Conflicts: 574000 | #Constraints: 52570 624.88/626.42 c #Conflicts: 575000 | #Constraints: 53573 624.88/626.42 c #Conflicts: 576000 | #Constraints: 54577 624.88/626.42 c #Conflicts: 577000 | #Constraints: 55581 624.88/626.42 c #Conflicts: 578000 | #Constraints: 56585 624.88/626.42 c #Conflicts: 579000 | #Constraints: 57592 624.88/626.42 c #Conflicts: 580000 | #Constraints: 58597 624.88/626.42 c #Conflicts: 581000 | #Constraints: 59599 624.88/626.42 c #Conflicts: 582000 | #Constraints: 60602 624.88/626.42 c #Conflicts: 583000 | #Constraints: 61605 624.88/626.42 c #Conflicts: 584000 | #Constraints: 62606 624.88/626.42 c #Conflicts: 585000 | #Constraints: 63610 624.88/626.42 c #Conflicts: 586000 | #Constraints: 64614 624.88/626.42 c #Conflicts: 587000 | #Constraints: 65616 624.88/626.42 c #Conflicts: 588000 | #Constraints: 66620 624.88/626.42 c #Conflicts: 589000 | #Constraints: 67623 624.88/626.42 c #Conflicts: 590000 | #Constraints: 68627 624.88/626.42 c #Conflicts: 591000 | #Constraints: 69630 624.88/626.42 c #Conflicts: 592000 | #Constraints: 70634 624.88/626.42 c #Conflicts: 593000 | #Constraints: 71636 624.88/626.42 c #Conflicts: 594000 | #Constraints: 72640 624.88/626.42 c #Conflicts: 595000 | #Constraints: 73643 624.88/626.42 c #Conflicts: 596000 | #Constraints: 74647 624.88/626.42 c #Conflicts: 597000 | #Constraints: 75651 624.88/626.42 c #Conflicts: 598000 | #Constraints: 76655 624.88/626.42 c #Conflicts: 599000 | #Constraints: 77657 624.88/626.42 c #Conflicts: 600000 | #Constraints: 78659 624.88/626.42 c #Conflicts: 601000 | #Constraints: 79662 624.88/626.42 c #Conflicts: 602000 | #Constraints: 80666 624.88/626.42 c #Conflicts: 603000 | #Constraints: 81669 624.88/626.42 c #Conflicts: 604000 | #Constraints: 82672 624.88/626.42 c #Conflicts: 605000 | #Constraints: 83675 624.88/626.42 c #Conflicts: 606000 | #Constraints: 84681 624.88/626.42 c #Conflicts: 607000 | #Constraints: 85686 624.88/626.42 c #Conflicts: 608000 | #Constraints: 86690 624.88/626.42 c #Conflicts: 609000 | #Constraints: 87692 624.88/626.42 c #Conflicts: 610000 | #Constraints: 88695 624.88/626.42 c #Conflicts: 611000 | #Constraints: 89699 624.88/626.42 c #Conflicts: 612000 | #Constraints: 90702 624.88/626.42 c INPROCESSING 624.88/626.42 c GARBAGE COLLECT 624.88/626.42 c rational objective -194 625.88/627.49 WSVECS04 Frhs2[8]: 6 0 1.08379 shouldn't be 625.88/627.49 WSVECS04 Frhs2[12]: 6 0 1.49904 shouldn't be 625.88/627.49 WSVECS04 Frhs2[18]: 6 0 1.0001 shouldn't be 625.88/627.49 WSVECS04 Frhs2[102]: 6 -0.458663 0 shouldn't be 625.88/627.49 WSVECS04 Frhs2[107]: 6 -1.47025 0 shouldn't be 625.88/627.49 WSVECS04 Frhs2[114]: 6 0 1.00008 shouldn't be 625.88/627.49 WSVECS04 Frhs2[166]: 6 -1.39504 0 shouldn't be 625.88/627.49 WSVECS04 Frhs2[168]: 6 0 1.40737 shouldn't be 625.88/627.49 WSVECS04 Frhs2[169]: 6 -1.76417 0 shouldn't be 625.88/627.49 WSVECS04 Frhs2[174]: 6 0 1.22674 shouldn't be 625.88/627.49 WSVECS04 Frhs2[184]: 6 0 1.48016 shouldn't be 625.88/627.49 WSVECS04 Frhs2[186]: 6 -0.215492 0 shouldn't be 625.88/627.49 WSVECS04 Frhs2[188]: 6 -1.70451 0 shouldn't be 625.88/627.49 WSVECS04 Frhs2[192]: 6 -0.481227 0 shouldn't be 625.88/627.49 WSVECS04 Frhs2[197]: 6 0 1.0875 shouldn't be 625.88/627.49 WSVECS04 Frhs2[198]: 6 -0.271228 0 shouldn't be 625.88/627.49 WSVECS04 Frhs2[247]: 6 0 1.00006 shouldn't be 625.88/627.49 WSVECS04 Frhs2[249]: 6 0 2.4673 shouldn't be 625.88/627.49 WSVECS04 Frhs2[253]: 6 0 1.58146 shouldn't be 625.88/627.49 WSVECS04 Frhs2[254]: 6 -1.43648 0 shouldn't be 625.88/627.49 WSVECS04 Frhs2[257]: 6 -1.44975 0 shouldn't be 625.88/627.49 WSVECS04 Frhs2[261]: 6 -1.73198 0 shouldn't be 625.88/627.49 WSVECS04 Frhs2[265]: 6 0 3.63567 shouldn't be 625.88/627.49 WSVECS04 Frhs2[274]: 6 -0.127542 0 shouldn't be 625.88/627.49 WSVECS04 Frhs2[286]: 6 -0.696431 0 shouldn't be 625.88/627.49 WSVECS04 Frhs2[288]: 6 0 1.01497 shouldn't be 625.88/627.49 WSVECS04 Frhs2[289]: 6 0 1.00003 shouldn't be 625.88/627.49 WSVECS04 Frhs2[298]: 6 -1.059 0 shouldn't be 625.88/627.49 WSVECS04 Frhs2[303]: 6 0 1.0001 shouldn't be 625.88/627.49 WSVECS04 Frhs2[306]: 6 0 0.169139 shouldn't be 625.88/627.49 WSVECS04 Frhs2[316]: 6 0 0.446937 shouldn't be 625.88/627.49 WSVECS04 Frhs2[320]: 6 -2.03256 0 shouldn't be 625.88/627.49 WSVECS04 Frhs2[323]: 6 -1.02388 0 shouldn't be 625.88/627.49 WSVECS04 Frhs2[336]: 6 0 0.787196 shouldn't be 626.17/627.73 WSVECS04 Frhs2[272]: 6 0 1.00002 shouldn't be 626.37/627.95 WSVECS04 Frhs2[262]: 6 0 1.00008 shouldn't be 633.35/634.97 c #Conflicts: 613000 | #Constraints: 52576 633.35/634.97 c #Conflicts: 614000 | #Constraints: 53576 633.35/634.97 c #Conflicts: 615000 | #Constraints: 54576 633.35/634.97 c #Conflicts: 616000 | #Constraints: 55576 633.35/634.97 c #Conflicts: 617000 | #Constraints: 56576 633.35/634.97 WSVECS04 Frhs2[167]: 6 -6.54444 0 shouldn't be 633.35/634.97 WSVECS04 Frhs2[173]: 6 -3.84679 0 shouldn't be 633.35/634.97 WSVECS04 Frhs2[177]: 6 0 2.2104 shouldn't be 633.35/634.97 WSVECS04 Frhs2[180]: 6 0 5.63345 shouldn't be 633.35/634.97 WSVECS04 Frhs2[266]: 6 0 4.09484 shouldn't be 633.35/634.97 WSVECS04 Frhs2[270]: 6 -3.95421 0 shouldn't be 633.35/634.97 WSVECS04 Frhs2[273]: 6 -4.40382 0 shouldn't be 633.35/634.97 WSVECS04 Frhs2[327]: 6 -9.12444 0 shouldn't be 633.35/634.97 WSVECS04 Frhs2[348]: 6 0 7.82413 shouldn't be 643.93/645.50 c #Conflicts: 618000 | #Constraints: 57576 643.93/645.50 c #Conflicts: 619000 | #Constraints: 58576 643.93/645.50 c #Conflicts: 620000 | #Constraints: 59576 643.93/645.50 c #Conflicts: 621000 | #Constraints: 60577 643.93/645.50 c #Conflicts: 622000 | #Constraints: 61577 643.93/645.50 c #Conflicts: 623000 | #Constraints: 62577 643.93/645.50 c #Conflicts: 624000 | #Constraints: 63577 643.93/645.50 WSVECS04 Frhs2[62]: 6 0 5.00183 shouldn't be 643.93/645.50 WSVECS04 Frhs2[71]: 6 -8.94096 0 shouldn't be 643.93/645.50 WSVECS04 Frhs2[208]: 6 0 3.64564 shouldn't be 643.93/645.50 WSVECS04 Frhs2[239]: 6 -1.76491 0 shouldn't be 643.93/645.50 WSVECS04 Frhs2[269]: 6 -6.59536 0 shouldn't be 643.93/645.50 WSVECS04 Frhs2[329]: 6 -8.54016 0 shouldn't be 643.93/645.50 WSVECS04 Frhs2[350]: 6 -11.9003 0 shouldn't be 653.61/655.23 c #Conflicts: 625000 | #Constraints: 64578 653.61/655.23 c #Conflicts: 626000 | #Constraints: 65578 653.61/655.23 c #Conflicts: 627000 | #Constraints: 66578 653.61/655.23 c #Conflicts: 628000 | #Constraints: 67578 653.61/655.23 c #Conflicts: 629000 | #Constraints: 68579 653.61/655.23 WSVECS04 Frhs2[30]: 6 0 1.00003 shouldn't be 653.61/655.23 WSVECS04 Frhs2[37]: 6 0 0.403906 shouldn't be 653.61/655.23 WSVECS04 Frhs2[38]: 6 0 1.00001 shouldn't be 653.61/655.23 WSVECS04 Frhs2[40]: 6 -1.85713 0 shouldn't be 653.61/655.23 WSVECS04 Frhs2[43]: 6 -0.974158 0 shouldn't be 653.61/655.23 WSVECS04 Frhs2[48]: 6 0 1.00007 shouldn't be 653.61/655.23 WSVECS04 Frhs2[49]: 6 0 1.00005 shouldn't be 653.61/655.23 WSVECS04 Frhs2[51]: 6 -1.36106 0 shouldn't be 653.61/655.23 WSVECS04 Frhs2[77]: 6 0 0.694734 shouldn't be 653.61/655.23 WSVECS04 Frhs2[88]: 6 -1.86145 0 shouldn't be 653.61/655.23 WSVECS04 Frhs2[93]: 6 0 1.47884 shouldn't be 653.61/655.23 WSVECS04 Frhs2[127]: 6 0 1.3349 shouldn't be 653.61/655.23 WSVECS04 Frhs2[129]: 6 0 0.583556 shouldn't be 653.61/655.23 WSVECS04 Frhs2[133]: 6 -1.01043 0 shouldn't be 653.61/655.23 WSVECS04 Frhs2[140]: 6 -0.0173558 0 shouldn't be 653.61/655.23 WSVECS04 Frhs2[247]: 6 0 1.23482 shouldn't be 653.61/655.23 WSVECS04 Frhs2[248]: 6 0 1.00003 shouldn't be 653.61/655.23 WSVECS04 Frhs2[253]: 6 -0.0837109 0 shouldn't be 653.61/655.23 WSVECS04 Frhs2[254]: 6 -0.135544 0 shouldn't be 653.61/655.23 WSVECS04 Frhs2[255]: 6 0 1.22292 shouldn't be 653.61/655.23 WSVECS04 Frhs2[257]: 6 0 1.00006 shouldn't be 653.61/655.23 WSVECS04 Frhs2[259]: 6 -1.06366 0 shouldn't be 653.61/655.23 WSVECS04 Frhs2[261]: 6 0 1.00006 shouldn't be 653.61/655.23 WSVECS04 Frhs2[277]: 6 -0.777247 0 shouldn't be 653.61/655.23 WSVECS04 Frhs2[278]: 6 -0.173131 0 shouldn't be 653.61/655.23 WSVECS04 Frhs2[282]: 6 0 1.00002 shouldn't be 653.61/655.23 WSVECS04 Frhs2[286]: 6 0 0.455767 shouldn't be 653.61/655.23 WSVECS04 Frhs2[291]: 6 -0.0515053 0 shouldn't be 653.61/655.23 WSVECS04 Frhs2[293]: 6 -1.15801 0 shouldn't be 653.61/655.23 WSVECS04 Frhs2[298]: 6 0 1.00006 shouldn't be 653.61/655.23 WSVECS04 Frhs2[299]: 6 0 1.02197 shouldn't be 653.61/655.23 WSVECS04 Frhs2[300]: 6 0 1.00003 shouldn't be 653.61/655.23 WSVECS04 Frhs2[305]: 6 0 0.47187 shouldn't be 653.61/655.23 WSVECS04 Frhs2[309]: 6 -0.753532 0 shouldn't be 653.61/655.23 WSVECS04 Frhs2[317]: 6 0 1.23473 shouldn't be 653.61/655.23 WSVECS04 Frhs2[318]: 6 -2.06719 0 shouldn't be 653.61/655.23 WSVECS04 Frhs2[320]: 6 -0.596342 0 shouldn't be 653.61/655.23 WSVECS04 Frhs2[322]: 6 0 0.182112 shouldn't be 653.61/655.23 WSVECS04 Frhs2[331]: 6 -0.348805 0 shouldn't be 659.09/660.76 c #Conflicts: 630000 | #Constraints: 69579 659.09/660.76 c #Conflicts: 631000 | #Constraints: 70579 659.09/660.76 c #Conflicts: 632000 | #Constraints: 71579 659.09/660.76 c INPROCESSING 659.09/660.76 c GARBAGE COLLECT 659.09/660.76 c rational objective -194 661.29/662.93 c #Conflicts: 633000 | #Constraints: 43167 661.29/662.93 WSVECS04 Frhs2[6]: 6 0 1.00009 shouldn't be 661.29/662.93 WSVECS04 Frhs2[10]: 6 -2.66116 0 shouldn't be 661.29/662.93 WSVECS04 Frhs2[13]: 6 0 0.772897 shouldn't be 661.29/662.93 WSVECS04 Frhs2[14]: 6 -2.84 0 shouldn't be 661.29/662.93 WSVECS04 Frhs2[15]: 6 -2.10988 0 shouldn't be 661.29/662.93 WSVECS04 Frhs2[16]: 6 -3.13893 0 shouldn't be 661.29/662.93 WSVECS04 Frhs2[24]: 6 -1.67917 0 shouldn't be 661.29/662.93 WSVECS04 Frhs2[25]: 6 0 2.10984 shouldn't be 661.29/662.93 WSVECS04 Frhs2[148]: 6 0 1.58683 shouldn't be 661.29/662.93 WSVECS04 Frhs2[149]: 6 -1.07017 0 shouldn't be 661.29/662.93 WSVECS04 Frhs2[150]: 6 -2.00002 0 shouldn't be 661.29/662.93 WSVECS04 Frhs2[151]: 6 -1.00395 0 shouldn't be 661.29/662.93 WSVECS04 Frhs2[158]: 6 -0.0923868 0 shouldn't be 661.29/662.93 WSVECS04 Frhs2[159]: 6 -1.00002 0 shouldn't be 661.29/662.93 WSVECS04 Frhs2[160]: 6 0 0.833241 shouldn't be 661.29/662.93 WSVECS04 Frhs2[222]: 6 0 1.18586 shouldn't be 661.29/662.93 WSVECS04 Frhs2[230]: 6 -0.370041 0 shouldn't be 661.29/662.93 WSVECS04 Frhs2[262]: 6 -0.576359 0 shouldn't be 661.29/662.93 WSVECS04 Frhs2[276]: 6 0 1.39583 shouldn't be 661.29/662.93 WSVECS04 Frhs2[286]: 6 0 1.00002 shouldn't be 661.29/662.93 WSVECS04 Frhs2[287]: 6 0 0.604981 shouldn't be 661.29/662.93 WSVECS04 Frhs2[293]: 6 0 1.0001 shouldn't be 661.29/662.93 WSVECS04 Frhs2[297]: 6 0 1.39652 shouldn't be 661.29/662.93 WSVECS04 Frhs2[303]: 6 0 1.00009 shouldn't be 661.29/662.93 WSVECS04 Frhs2[304]: 6 0 1.8383 shouldn't be 661.29/662.93 WSVECS04 Frhs2[305]: 6 -0.177035 0 shouldn't be 661.29/662.93 WSVECS04 Frhs2[306]: 6 -1.24151 0 shouldn't be 661.29/662.93 WSVECS04 Frhs2[312]: 6 0 0.850386 shouldn't be 661.29/662.93 WSVECS04 Frhs2[313]: 6 0 1.16525 shouldn't be 661.29/662.93 WSVECS04 Frhs2[315]: 6 -0.969867 0 shouldn't be 661.29/662.93 WSVECS04 Frhs2[349]: 6 -0.581589 0 shouldn't be 661.29/662.93 WSVECS04 Frhs2[351]: 6 0 1.84502 shouldn't be 681.74/683.41 c #Conflicts: 634000 | #Constraints: 44168 681.74/683.41 c #Conflicts: 635000 | #Constraints: 45169 681.74/683.41 c #Conflicts: 636000 | #Constraints: 46170 681.74/683.41 c #Conflicts: 637000 | #Constraints: 47170 681.74/683.41 c #Conflicts: 638000 | #Constraints: 48170 681.74/683.41 c #Conflicts: 639000 | #Constraints: 49170 681.74/683.41 c #Conflicts: 640000 | #Constraints: 50170 681.74/683.41 c #Conflicts: 641000 | #Constraints: 51172 681.74/683.41 c #Conflicts: 642000 | #Constraints: 52173 681.74/683.41 c #Conflicts: 643000 | #Constraints: 53174 681.74/683.41 c #Conflicts: 644000 | #Constraints: 54175 681.74/683.41 c #Conflicts: 645000 | #Constraints: 55175 681.74/683.41 c #Conflicts: 646000 | #Constraints: 56175 681.74/683.41 WSVECS04 Frhs2[14]: 6 0 2.00007 shouldn't be 681.74/683.41 WSVECS04 Frhs2[15]: 6 0 8.39992 shouldn't be 681.74/683.41 WSVECS04 Frhs2[16]: 6 -2.01396 0 shouldn't be 681.74/683.41 WSVECS04 Frhs2[17]: 6 0 2.00008 shouldn't be 681.74/683.41 WSVECS04 Frhs2[21]: 6 -7.12711 0 shouldn't be 681.74/683.41 WSVECS04 Frhs2[26]: 6 -4.00641 0 shouldn't be 681.74/683.41 WSVECS04 Frhs2[274]: 6 0 2.13855 shouldn't be 681.74/683.41 WSVECS04 Frhs2[275]: 6 -1.86802 0 shouldn't be 681.74/683.41 WSVECS04 Frhs2[276]: 6 0 4.00001 shouldn't be 681.74/683.41 WSVECS04 Frhs2[280]: 6 -4.90205 0 shouldn't be 681.74/683.41 WSVECS04 Frhs2[282]: 6 -0.397592 0 shouldn't be 681.74/683.41 WSVECS04 Frhs2[284]: 6 0 5.30606 shouldn't be 681.74/683.41 WSVECS04 Frhs2[286]: 6 -7.77048 0 shouldn't be 681.74/683.41 WSVECS04 Frhs2[287]: 6 0 2.00001 shouldn't be 681.74/683.41 WSVECS04 Frhs2[295]: 6 0 7.61157 shouldn't be 681.74/683.41 WSVECS04 Frhs2[301]: 6 0 2.07556 shouldn't be 681.74/683.41 WSVECS04 Frhs2[303]: 6 0 1.06475 shouldn't be 681.74/683.41 WSVECS04 Frhs2[305]: 6 -3.19849 0 shouldn't be 681.74/683.41 WSVECS04 Frhs2[306]: 6 0 7.1795 shouldn't be 681.74/683.41 WSVECS04 Frhs2[310]: 6 -0.232106 0 shouldn't be 681.74/683.41 WSVECS04 Frhs2[312]: 6 -0.162843 0 shouldn't be 681.74/683.41 WSVECS04 Frhs2[314]: 6 0 3.60248 shouldn't be 681.74/683.41 WSVECS04 Frhs2[315]: 6 -3.81457 0 shouldn't be 681.74/683.41 WSVECS04 Frhs2[338]: 6 0 3.77828 shouldn't be 681.74/683.41 WSVECS04 Frhs2[351]: 6 -2.00005 0 shouldn't be 691.52/693.20 c #Conflicts: 647000 | #Constraints: 57176 691.52/693.20 c #Conflicts: 648000 | #Constraints: 58176 691.52/693.20 c #Conflicts: 649000 | #Constraints: 59177 691.52/693.20 c #Conflicts: 650000 | #Constraints: 60178 691.52/693.20 c #Conflicts: 651000 | #Constraints: 61178 691.52/693.20 c INPROCESSING 691.52/693.20 c GARBAGE COLLECT 691.52/693.20 c rational objective -194 771.02/772.96 c #Conflicts: 652000 | #Constraints: 39963 771.02/772.96 c #Conflicts: 653000 | #Constraints: 40963 771.02/772.96 c #Conflicts: 654000 | #Constraints: 41964 771.02/772.96 c #Conflicts: 655000 | #Constraints: 42968 771.02/772.96 c #Conflicts: 656000 | #Constraints: 43971 771.02/772.96 c #Conflicts: 657000 | #Constraints: 44976 771.02/772.96 c #Conflicts: 658000 | #Constraints: 45981 771.02/772.96 c #Conflicts: 659000 | #Constraints: 46985 771.02/772.96 c #Conflicts: 660000 | #Constraints: 47990 771.02/772.96 c #Conflicts: 661000 | #Constraints: 48993 771.02/772.96 c #Conflicts: 662000 | #Constraints: 49994 771.02/772.96 c #Conflicts: 663000 | #Constraints: 50997 771.02/772.96 c #Conflicts: 664000 | #Constraints: 52000 771.02/772.96 c #Conflicts: 665000 | #Constraints: 53003 771.02/772.96 c #Conflicts: 666000 | #Constraints: 54011 771.02/772.96 c #Conflicts: 667000 | #Constraints: 55019 771.02/772.96 c #Conflicts: 668000 | #Constraints: 56023 771.02/772.96 c #Conflicts: 669000 | #Constraints: 57028 771.02/772.96 c #Conflicts: 670000 | #Constraints: 58031 771.02/772.96 c #Conflicts: 671000 | #Constraints: 59034 771.02/772.96 c #Conflicts: 672000 | #Constraints: 60037 771.02/772.96 c #Conflicts: 673000 | #Constraints: 61039 771.02/772.96 c #Conflicts: 674000 | #Constraints: 62041 771.02/772.96 c #Conflicts: 675000 | #Constraints: 63045 771.02/772.96 c #Conflicts: 676000 | #Constraints: 64054 771.02/772.96 c #Conflicts: 677000 | #Constraints: 65059 771.02/772.96 c #Conflicts: 678000 | #Constraints: 66064 771.02/772.96 c #Conflicts: 679000 | #Constraints: 67068 771.02/772.96 c #Conflicts: 680000 | #Constraints: 68070 771.02/772.96 c #Conflicts: 681000 | #Constraints: 69074 771.02/772.96 c #Conflicts: 682000 | #Constraints: 70079 771.02/772.96 c #Conflicts: 683000 | #Constraints: 71082 771.02/772.96 c #Conflicts: 684000 | #Constraints: 72084 771.02/772.96 c #Conflicts: 685000 | #Constraints: 73088 771.02/772.96 c #Conflicts: 686000 | #Constraints: 74090 771.02/772.96 c #Conflicts: 687000 | #Constraints: 75094 771.02/772.96 c #Conflicts: 688000 | #Constraints: 76097 771.02/772.96 c #Conflicts: 689000 | #Constraints: 77099 771.02/772.96 c #Conflicts: 690000 | #Constraints: 78101 771.02/772.96 c #Conflicts: 691000 | #Constraints: 79104 771.02/772.96 c #Conflicts: 692000 | #Constraints: 80105 771.02/772.96 c #Conflicts: 693000 | #Constraints: 81108 771.02/772.96 c #Conflicts: 694000 | #Constraints: 82112 771.02/772.96 c #Conflicts: 695000 | #Constraints: 83117 771.02/772.96 c #Conflicts: 696000 | #Constraints: 84121 771.02/772.96 c #Conflicts: 697000 | #Constraints: 85125 771.02/772.96 c #Conflicts: 698000 | #Constraints: 86130 771.02/772.96 c #Conflicts: 699000 | #Constraints: 87132 771.02/772.96 c #Conflicts: 700000 | #Constraints: 88136 771.02/772.96 c #Conflicts: 701000 | #Constraints: 89139 771.02/772.96 c #Conflicts: 702000 | #Constraints: 90141 771.02/772.96 c #Conflicts: 703000 | #Constraints: 91143 771.02/772.96 c #Conflicts: 704000 | #Constraints: 92146 771.02/772.96 c #Conflicts: 705000 | #Constraints: 93150 771.02/772.96 c #Conflicts: 706000 | #Constraints: 94152 771.02/772.96 c #Conflicts: 707000 | #Constraints: 95156 771.02/772.96 c #Conflicts: 708000 | #Constraints: 96159 771.02/772.96 c #Conflicts: 709000 | #Constraints: 97162 771.02/772.96 c INPROCESSING 771.02/772.96 c GARBAGE COLLECT 771.02/772.96 c rational objective -194 772.92/774.89 c #Conflicts: 710000 | #Constraints: 55564 772.92/774.89 WSVECS04 Frhs2[79]: 6 -1.00004 0 shouldn't be 772.92/774.89 WSVECS04 Frhs2[80]: 6 0 1.29962 shouldn't be 772.92/774.89 WSVECS04 Frhs2[83]: 6 0 2.13535 shouldn't be 772.92/774.89 WSVECS04 Frhs2[93]: 6 0 1.11925 shouldn't be 772.92/774.89 WSVECS04 Frhs2[95]: 6 -2.25357 0 shouldn't be 772.92/774.89 WSVECS04 Frhs2[162]: 6 -0.596987 0 shouldn't be 772.92/774.89 WSVECS04 Frhs2[169]: 6 -2.0522 0 shouldn't be 772.92/774.89 WSVECS04 Frhs2[171]: 6 -2.61049 0 shouldn't be 772.92/774.89 WSVECS04 Frhs2[178]: 6 0 2.4514 shouldn't be 772.92/774.89 WSVECS04 Frhs2[181]: 6 -3.19445 0 shouldn't be 772.92/774.89 WSVECS04 Frhs2[182]: 6 0 1.00008 shouldn't be 772.92/774.89 WSVECS04 Frhs2[183]: 6 0 1.03155 shouldn't be 772.92/774.89 WSVECS04 Frhs2[189]: 6 0 1.22059 shouldn't be 772.92/774.89 WSVECS04 Frhs2[193]: 6 0 1.00002 shouldn't be 772.92/774.89 WSVECS04 Frhs2[198]: 6 0 1.00008 shouldn't be 772.92/774.89 WSVECS04 Frhs2[199]: 6 -1.21787 0 shouldn't be 772.92/774.89 WSVECS04 Frhs2[200]: 6 -0.632057 0 shouldn't be 772.92/774.89 WSVECS04 Frhs2[204]: 6 -4.89389 0 shouldn't be 772.92/774.89 WSVECS04 Frhs2[206]: 6 -1.01113 0 shouldn't be 772.92/774.89 WSVECS04 Frhs2[212]: 6 0 0.00266949 shouldn't be 772.92/774.89 WSVECS04 Frhs2[215]: 6 -1.28764 0 shouldn't be 772.92/774.89 WSVECS04 Frhs2[222]: 6 0 1.54561 shouldn't be 772.92/774.89 WSVECS04 Frhs2[226]: 6 0 1.3818 shouldn't be 772.92/774.89 WSVECS04 Frhs2[241]: 6 0 0.96062 shouldn't be 772.92/774.89 WSVECS04 Frhs2[291]: 6 0 1.39833 shouldn't be 772.92/774.89 WSVECS04 Frhs2[310]: 6 0 1.90918 shouldn't be 772.92/774.89 WSVECS04 Frhs2[312]: 6 -0.74895 0 shouldn't be 772.92/774.89 WSVECS04 Frhs2[313]: 6 -0.1926 0 shouldn't be 772.92/774.89 WSVECS04 Frhs2[315]: 6 0 0.870458 shouldn't be 772.92/774.89 WSVECS04 Frhs2[339]: 6 -1.8705 0 shouldn't be 772.92/774.89 WSVECS04 Frhs2[341]: 6 0 1.07761 shouldn't be 781.99/783.91 c #Conflicts: 711000 | #Constraints: 56566 781.99/783.91 c #Conflicts: 712000 | #Constraints: 57566 781.99/783.91 c #Conflicts: 713000 | #Constraints: 58566 781.99/783.91 c #Conflicts: 714000 | #Constraints: 59566 781.99/783.91 c #Conflicts: 715000 | #Constraints: 60566 781.99/783.91 c #Conflicts: 716000 | #Constraints: 61566 781.99/783.91 WSVECS04 Frhs2[25]: 6 -21 0 shouldn't be 788.58/790.54 c #Conflicts: 717000 | #Constraints: 62566 788.58/790.54 c #Conflicts: 718000 | #Constraints: 63566 788.58/790.54 c #Conflicts: 719000 | #Constraints: 64566 788.58/790.54 WSVECS04 Frhs2[59]: 6 0 2.61647 shouldn't be 788.58/790.54 WSVECS04 Frhs2[62]: 6 -3.43258 0 shouldn't be 788.58/790.54 WSVECS04 Frhs2[72]: 6 0 5.19807 shouldn't be 788.58/790.54 WSVECS04 Frhs2[74]: 6 0 4.79107 shouldn't be 788.58/790.54 WSVECS04 Frhs2[147]: 6 0 3.7527 shouldn't be 788.58/790.54 WSVECS04 Frhs2[150]: 6 0 4.05741 shouldn't be 788.58/790.54 WSVECS04 Frhs2[218]: 6 -7.03483 0 shouldn't be 788.58/790.54 WSVECS04 Frhs2[228]: 6 0 1.00001 shouldn't be 788.58/790.54 WSVECS04 Frhs2[230]: 6 0 2.57966 shouldn't be 788.58/790.54 WSVECS04 Frhs2[249]: 6 0 1.06384 shouldn't be 788.58/790.54 WSVECS04 Frhs2[270]: 6 -5.04618 0 shouldn't be 788.58/790.54 WSVECS04 Frhs2[272]: 6 -4.45544 0 shouldn't be 788.58/790.54 WSVECS04 Frhs2[347]: 6 0 3.3087 shouldn't be 797.86/799.87 c #Conflicts: 720000 | #Constraints: 65567 797.86/799.87 c #Conflicts: 721000 | #Constraints: 66567 797.86/799.87 c #Conflicts: 722000 | #Constraints: 67567 797.86/799.87 c #Conflicts: 723000 | #Constraints: 68567 797.86/799.87 c #Conflicts: 724000 | #Constraints: 69567 797.86/799.87 WSVECS04 Frhs2[109]: 6 0 8.57993 shouldn't be 797.86/799.87 WSVECS04 Frhs2[113]: 6 -4.00008 0 shouldn't be 797.86/799.87 WSVECS04 Frhs2[119]: 6 -9.57851 0 shouldn't be 797.86/799.87 WSVECS04 Frhs2[120]: 6 -9.92495 0 shouldn't be 797.86/799.87 WSVECS04 Frhs2[233]: 6 -14.3 0 shouldn't be 797.86/799.87 WSVECS04 Frhs2[258]: 6 0 5.42924 shouldn't be 797.86/799.87 WSVECS04 Frhs2[289]: 6 -3.87018 0 shouldn't be 797.86/799.87 WSVECS04 Frhs2[295]: 6 -1.25474 0 shouldn't be 797.86/799.87 WSVECS04 Frhs2[296]: 6 -7.13395 0 shouldn't be 797.86/799.87 WSVECS04 Frhs2[329]: 6 0 2.7296 shouldn't be 797.86/799.87 WSVECS04 Frhs2[330]: 6 0 2.44086 shouldn't be 805.05/807.01 c #Conflicts: 725000 | #Constraints: 70567 805.05/807.01 c #Conflicts: 726000 | #Constraints: 71567 805.05/807.01 c #Conflicts: 727000 | #Constraints: 72567 805.05/807.01 WSVECS04 Frhs2[279]: 6 -13.6885 0 shouldn't be 805.05/807.01 WSVECS04 Frhs2[291]: 6 -13.0227 0 shouldn't be 811.53/813.54 c #Conflicts: 728000 | #Constraints: 73568 811.53/813.54 c #Conflicts: 729000 | #Constraints: 74568 811.53/813.54 c #Conflicts: 730000 | #Constraints: 75568 811.53/813.54 c #Conflicts: 731000 | #Constraints: 76568 811.53/813.54 c INPROCESSING 811.53/813.54 c GARBAGE COLLECT 811.53/813.54 c rational objective -194 813.93/815.92 c #Conflicts: 732000 | #Constraints: 45675 813.93/815.92 WSVECS04 Frhs2[2]: 6 0 1.03998 shouldn't be 813.93/815.92 WSVECS04 Frhs2[8]: 6 0 1.00008 shouldn't be 813.93/815.92 WSVECS04 Frhs2[13]: 6 0 1.60155 shouldn't be 813.93/815.92 WSVECS04 Frhs2[14]: 6 0 1.03554 shouldn't be 813.93/815.92 WSVECS04 Frhs2[20]: 6 -1.92174 0 shouldn't be 813.93/815.92 WSVECS04 Frhs2[57]: 6 0 1.1142 shouldn't be 813.93/815.92 WSVECS04 Frhs2[62]: 6 0 1.00007 shouldn't be 813.93/815.92 WSVECS04 Frhs2[63]: 6 0 1.8095 shouldn't be 813.93/815.92 WSVECS04 Frhs2[64]: 6 0 1.80951 shouldn't be 813.93/815.92 WSVECS04 Frhs2[65]: 6 -3.17163 0 shouldn't be 813.93/815.92 WSVECS04 Frhs2[74]: 6 0 1.81688 shouldn't be 813.93/815.92 WSVECS04 Frhs2[186]: 6 0 2.00008 shouldn't be 813.93/815.92 WSVECS04 Frhs2[187]: 6 0 1.19065 shouldn't be 813.93/815.92 WSVECS04 Frhs2[188]: 6 -1.00008 0 shouldn't be 813.93/815.92 WSVECS04 Frhs2[192]: 6 -6.11419 0 shouldn't be 813.93/815.92 WSVECS04 Frhs2[197]: 6 0 2.19058 shouldn't be 813.93/815.92 WSVECS04 Frhs2[262]: 6 0 1.00003 shouldn't be 813.93/815.92 WSVECS04 Frhs2[263]: 6 -1.48027 0 shouldn't be 813.93/815.92 WSVECS04 Frhs2[274]: 6 0 1.00008 shouldn't be 813.93/815.92 WSVECS04 Frhs2[279]: 6 -1.03643 0 shouldn't be 813.93/815.92 WSVECS04 Frhs2[284]: 6 0 1.87303 shouldn't be 813.93/815.92 WSVECS04 Frhs2[290]: 6 -1.91706 0 shouldn't be 813.93/815.92 WSVECS04 Frhs2[295]: 6 0 0.134642 shouldn't be 813.93/815.92 WSVECS04 Frhs2[335]: 6 -1.49448 0 shouldn't be 813.93/815.92 WSVECS04 Frhs2[350]: 6 0 1.364 shouldn't be 814.13/816.17 WSVECS04 Frhs2[16]: 6 -1.87235 0 shouldn't be 831.68/833.71 c #Conflicts: 733000 | #Constraints: 46675 831.68/833.71 c #Conflicts: 734000 | #Constraints: 47675 831.68/833.71 c #Conflicts: 735000 | #Constraints: 48675 831.68/833.71 c #Conflicts: 736000 | #Constraints: 49675 831.68/833.71 c #Conflicts: 737000 | #Constraints: 50675 831.68/833.71 c #Conflicts: 738000 | #Constraints: 51675 831.68/833.71 c #Conflicts: 739000 | #Constraints: 52675 831.68/833.71 c #Conflicts: 740000 | #Constraints: 53675 831.68/833.71 c #Conflicts: 741000 | #Constraints: 54675 831.68/833.71 c #Conflicts: 742000 | #Constraints: 55675 831.68/833.71 c #Conflicts: 743000 | #Constraints: 56676 831.68/833.71 WSVECS04 Frhs2[52]: 6 0 1.00002 shouldn't be 831.68/833.71 WSVECS04 Frhs2[59]: 6 -1.00004 0 shouldn't be 831.68/833.71 WSVECS04 Frhs2[60]: 6 -1.678 0 shouldn't be 831.68/833.71 WSVECS04 Frhs2[67]: 6 0 1.00007 shouldn't be 831.68/833.71 WSVECS04 Frhs2[69]: 6 0 1.00002 shouldn't be 831.68/833.71 WSVECS04 Frhs2[72]: 6 0 2.42436 shouldn't be 831.68/833.71 WSVECS04 Frhs2[73]: 6 -3.4415 0 shouldn't be 831.68/833.71 WSVECS04 Frhs2[77]: 6 -0.0339777 0 shouldn't be 831.68/833.71 WSVECS04 Frhs2[90]: 6 0 0.384314 shouldn't be 831.68/833.71 WSVECS04 Frhs2[91]: 6 0 1.44356 shouldn't be 831.68/833.71 WSVECS04 Frhs2[92]: 6 0 1.82328 shouldn't be 831.68/833.71 WSVECS04 Frhs2[97]: 6 -2.99034 0 shouldn't be 831.68/833.71 WSVECS04 Frhs2[127]: 6 0 1.00008 shouldn't be 831.68/833.71 WSVECS04 Frhs2[134]: 6 -2.03439 0 shouldn't be 831.68/833.71 WSVECS04 Frhs2[135]: 6 -1.51987 0 shouldn't be 831.68/833.71 WSVECS04 Frhs2[138]: 6 -1.91422 0 shouldn't be 831.68/833.71 WSVECS04 Frhs2[141]: 6 0 1.50456 shouldn't be 831.68/833.71 WSVECS04 Frhs2[216]: 6 0 1.00005 shouldn't be 831.68/833.71 WSVECS04 Frhs2[217]: 6 0 2.07857 shouldn't be 831.68/833.71 WSVECS04 Frhs2[225]: 6 -0.298002 0 shouldn't be 831.68/833.71 WSVECS04 Frhs2[228]: 6 -0.0787727 0 shouldn't be 831.68/833.71 WSVECS04 Frhs2[229]: 6 0 1.00007 shouldn't be 831.68/833.71 WSVECS04 Frhs2[231]: 6 0 1.00001 shouldn't be 831.68/833.71 WSVECS04 Frhs2[238]: 6 -1.13793 0 shouldn't be 831.68/833.71 WSVECS04 Frhs2[316]: 6 0 1.18331 shouldn't be 831.68/833.71 WSVECS04 Frhs2[317]: 6 0 0.942027 shouldn't be 831.68/833.71 WSVECS04 Frhs2[320]: 6 0 0.151278 shouldn't be 831.68/833.71 WSVECS04 Frhs2[329]: 6 -1.02327 0 shouldn't be 831.68/833.71 WSVECS04 Frhs2[347]: 6 -0.754139 0 shouldn't be 831.68/833.71 WSVECS04 Frhs2[349]: 6 0 1.00008 shouldn't be 831.68/833.71 WSVECS04 Frhs2[351]: 6 0 1.1258 shouldn't be 850.82/852.95 c #Conflicts: 744000 | #Constraints: 57677 850.82/852.95 c #Conflicts: 745000 | #Constraints: 58677 850.82/852.95 c #Conflicts: 746000 | #Constraints: 59677 850.82/852.95 c #Conflicts: 747000 | #Constraints: 60677 850.82/852.95 c #Conflicts: 748000 | #Constraints: 61678 850.82/852.95 c #Conflicts: 749000 | #Constraints: 62679 850.82/852.95 c #Conflicts: 750000 | #Constraints: 63679 850.82/852.95 c #Conflicts: 751000 | #Constraints: 64680 850.82/852.95 c #Conflicts: 752000 | #Constraints: 65681 850.82/852.95 c INPROCESSING 850.82/852.95 c GARBAGE COLLECT 850.82/852.95 c rational objective -194 950.88/953.28 c #Conflicts: 753000 | #Constraints: 44227 950.88/953.28 c #Conflicts: 754000 | #Constraints: 45227 950.88/953.28 c #Conflicts: 755000 | #Constraints: 46227 950.88/953.28 c #Conflicts: 756000 | #Constraints: 47228 950.88/953.28 c #Conflicts: 757000 | #Constraints: 48230 950.88/953.28 c #Conflicts: 758000 | #Constraints: 49233 950.88/953.28 c #Conflicts: 759000 | #Constraints: 50238 950.88/953.28 c #Conflicts: 760000 | #Constraints: 51242 950.88/953.28 c #Conflicts: 761000 | #Constraints: 52245 950.88/953.28 c #Conflicts: 762000 | #Constraints: 53248 950.88/953.28 c #Conflicts: 763000 | #Constraints: 54253 950.88/953.28 c #Conflicts: 764000 | #Constraints: 55257 950.88/953.28 c #Conflicts: 765000 | #Constraints: 56260 950.88/953.28 c #Conflicts: 766000 | #Constraints: 57264 950.88/953.28 c #Conflicts: 767000 | #Constraints: 58267 950.88/953.28 c #Conflicts: 768000 | #Constraints: 59269 950.88/953.28 c #Conflicts: 769000 | #Constraints: 60273 950.88/953.28 c #Conflicts: 770000 | #Constraints: 61278 950.88/953.28 c #Conflicts: 771000 | #Constraints: 62284 950.88/953.28 c #Conflicts: 772000 | #Constraints: 63287 950.88/953.28 c #Conflicts: 773000 | #Constraints: 64291 950.88/953.28 c #Conflicts: 774000 | #Constraints: 65293 950.88/953.28 c #Conflicts: 775000 | #Constraints: 66297 950.88/953.28 c #Conflicts: 776000 | #Constraints: 67300 950.88/953.28 c #Conflicts: 777000 | #Constraints: 68304 950.88/953.28 c #Conflicts: 778000 | #Constraints: 69305 950.88/953.28 c #Conflicts: 779000 | #Constraints: 70308 950.88/953.28 c #Conflicts: 780000 | #Constraints: 71312 950.88/953.28 c #Conflicts: 781000 | #Constraints: 72317 950.88/953.28 c #Conflicts: 782000 | #Constraints: 73318 950.88/953.28 c #Conflicts: 783000 | #Constraints: 74323 950.88/953.28 c #Conflicts: 784000 | #Constraints: 75327 950.88/953.28 c #Conflicts: 785000 | #Constraints: 76334 950.88/953.28 c #Conflicts: 786000 | #Constraints: 77340 950.88/953.28 c #Conflicts: 787000 | #Constraints: 78343 950.88/953.28 c #Conflicts: 788000 | #Constraints: 79345 950.88/953.28 c #Conflicts: 789000 | #Constraints: 80348 950.88/953.28 c #Conflicts: 790000 | #Constraints: 81350 950.88/953.28 c #Conflicts: 791000 | #Constraints: 82353 950.88/953.28 c #Conflicts: 792000 | #Constraints: 83357 950.88/953.28 c #Conflicts: 793000 | #Constraints: 84358 950.88/953.28 c #Conflicts: 794000 | #Constraints: 85360 950.88/953.28 c #Conflicts: 795000 | #Constraints: 86363 950.88/953.28 c #Conflicts: 796000 | #Constraints: 87367 950.88/953.28 c #Conflicts: 797000 | #Constraints: 88370 950.88/953.28 c #Conflicts: 798000 | #Constraints: 89374 950.88/953.28 c #Conflicts: 799000 | #Constraints: 90377 950.88/953.28 c #Conflicts: 800000 | #Constraints: 91380 950.88/953.28 c #Conflicts: 801000 | #Constraints: 92383 950.88/953.28 c #Conflicts: 802000 | #Constraints: 93387 950.88/953.28 c #Conflicts: 803000 | #Constraints: 94389 950.88/953.28 c #Conflicts: 804000 | #Constraints: 95392 950.88/953.28 c #Conflicts: 805000 | #Constraints: 96395 950.88/953.28 c #Conflicts: 806000 | #Constraints: 97399 950.88/953.28 c #Conflicts: 807000 | #Constraints: 98401 950.88/953.28 c #Conflicts: 808000 | #Constraints: 99404 950.88/953.28 c #Conflicts: 809000 | #Constraints: 100406 950.88/953.28 c #Conflicts: 810000 | #Constraints: 101407 950.88/953.28 c #Conflicts: 811000 | #Constraints: 102410 950.88/953.28 c #Conflicts: 812000 | #Constraints: 103413 950.88/953.28 c #Conflicts: 813000 | #Constraints: 104415 950.88/953.28 c #Conflicts: 814000 | #Constraints: 105417 950.88/953.28 c INPROCESSING 950.88/953.28 c GARBAGE COLLECT 950.88/953.28 c rational objective -194 986.19/988.66 c #Conflicts: 815000 | #Constraints: 59846 986.19/988.66 c #Conflicts: 816000 | #Constraints: 60846 986.19/988.66 c #Conflicts: 817000 | #Constraints: 61846 986.19/988.66 c #Conflicts: 818000 | #Constraints: 62846 986.19/988.66 c #Conflicts: 819000 | #Constraints: 63846 986.19/988.66 c #Conflicts: 820000 | #Constraints: 64846 986.19/988.66 c #Conflicts: 821000 | #Constraints: 65846 986.19/988.66 c #Conflicts: 822000 | #Constraints: 66846 986.19/988.66 c #Conflicts: 823000 | #Constraints: 67846 986.19/988.66 c #Conflicts: 824000 | #Constraints: 68847 986.19/988.66 c #Conflicts: 825000 | #Constraints: 69847 986.19/988.66 c #Conflicts: 826000 | #Constraints: 70847 986.19/988.66 c #Conflicts: 827000 | #Constraints: 71847 986.19/988.66 c #Conflicts: 828000 | #Constraints: 72848 986.19/988.66 c #Conflicts: 829000 | #Constraints: 73848 986.19/988.66 WSVECS04 Frhs2[59]: 6 0 0.177365 shouldn't be 986.19/988.66 WSVECS04 Frhs2[60]: 6 0 3.02298 shouldn't be 986.19/988.66 WSVECS04 Frhs2[64]: 6 0 3.47653 shouldn't be 986.19/988.66 WSVECS04 Frhs2[72]: 6 -4.53503 0 shouldn't be 986.19/988.66 WSVECS04 Frhs2[75]: 6 -2.54236 0 shouldn't be 986.19/988.66 WSVECS04 Frhs2[199]: 6 0 2.227 shouldn't be 986.19/988.66 WSVECS04 Frhs2[200]: 6 0 1.00003 shouldn't be 986.19/988.66 WSVECS04 Frhs2[204]: 6 0 1.66201 shouldn't be 986.19/988.66 WSVECS04 Frhs2[212]: 6 -2.54241 0 shouldn't be 986.19/988.66 WSVECS04 Frhs2[213]: 6 -8.49332 0 shouldn't be 986.19/988.66 WSVECS04 Frhs2[216]: 6 0 4.01296 shouldn't be 986.19/988.66 WSVECS04 Frhs2[228]: 6 -4.00008 0 shouldn't be 986.19/988.66 WSVECS04 Frhs2[229]: 6 -3.82337 0 shouldn't be 986.19/988.66 WSVECS04 Frhs2[231]: 6 -1.24051 0 shouldn't be 986.19/988.66 WSVECS04 Frhs2[235]: 6 0 2.30461 shouldn't be 986.19/988.66 WSVECS04 Frhs2[294]: 6 -4.46305 0 shouldn't be 986.19/988.66 WSVECS04 Frhs2[296]: 6 -1.80648 0 shouldn't be 986.19/988.66 WSVECS04 Frhs2[346]: 6 0 3.29506 shouldn't be 986.19/988.66 WSVECS04 Frhs2[348]: 6 0 3.28764 shouldn't be 1008.43/1010.90 c #Conflicts: 830000 | #Constraints: 74849 1008.43/1010.90 c #Conflicts: 831000 | #Constraints: 75849 1008.43/1010.90 c #Conflicts: 832000 | #Constraints: 76849 1008.43/1010.90 c #Conflicts: 833000 | #Constraints: 77850 1008.43/1010.90 c #Conflicts: 834000 | #Constraints: 78851 1008.43/1010.90 c #Conflicts: 835000 | #Constraints: 79851 1008.43/1010.90 c #Conflicts: 836000 | #Constraints: 80851 1008.43/1010.90 c #Conflicts: 837000 | #Constraints: 81851 1008.43/1010.90 c INPROCESSING 1008.43/1010.90 c GARBAGE COLLECT 1008.43/1010.90 c rational objective -194 1019.51/1022.01 c #Conflicts: 838000 | #Constraints: 48219 1019.51/1022.01 c #Conflicts: 839000 | #Constraints: 49219 1019.51/1022.01 c #Conflicts: 840000 | #Constraints: 50220 1019.51/1022.01 c #Conflicts: 841000 | #Constraints: 51220 1019.51/1022.01 c #Conflicts: 842000 | #Constraints: 52220 1019.51/1022.01 c #Conflicts: 843000 | #Constraints: 53220 1019.51/1022.01 WSVECS04 Frhs2[250]: 6 -7.6083 0 shouldn't be 1019.51/1022.01 WSVECS04 Frhs2[303]: 6 -6.71859 0 shouldn't be 1019.51/1022.01 WSVECS04 Frhs2[304]: 6 -7.84678 0 shouldn't be 1019.51/1022.01 WSVECS04 Frhs2[306]: 6 0 5.95698 shouldn't be 1030.09/1032.69 c #Conflicts: 844000 | #Constraints: 54221 1030.09/1032.69 c #Conflicts: 845000 | #Constraints: 55221 1030.09/1032.69 c #Conflicts: 846000 | #Constraints: 56221 1030.09/1032.69 c #Conflicts: 847000 | #Constraints: 57221 1030.09/1032.69 c #Conflicts: 848000 | #Constraints: 58221 1030.09/1032.69 WSVECS04 Frhs2[247]: 6 0 4.98745 shouldn't be 1030.09/1032.69 WSVECS04 Frhs2[271]: 6 -6.84344 0 shouldn't be 1033.98/1036.58 c #Conflicts: 849000 | #Constraints: 59221 1033.98/1036.58 c bounds -176 >= -180 @ 1022.29 1033.98/1036.58 c #Conflicts: 850000 | #Constraints: 60247 1033.98/1036.58 c bounds -180 >= -180 @ 1024.48 1033.98/1036.58 c cpu time 1024.49 s 1033.98/1036.58 c deterministic time 72605039439 7.26e+10 1033.98/1036.58 c optimization time 0.006685 s 1033.98/1036.58 c total solve time 1024.44 s 1033.98/1036.58 c core-guided solve time 505.807 s 1033.98/1036.58 c propagation time 836.822 s 1033.98/1036.58 c conflict analysis time 148.569 s 1033.98/1036.58 c propagations 102093964 1033.98/1036.58 c resolve steps 17255128 1033.98/1036.58 c decisions 1705094 1033.98/1036.58 c conflicts 850218 1033.98/1036.58 c restarts 1812 1033.98/1036.58 c inprocessing phases 46 1033.98/1036.58 c input clauses 12050 1033.98/1036.58 c input cardinalities 131 1033.98/1036.58 c input general constraints 492 1033.98/1036.58 c input average constraint length 3.85 1033.98/1036.58 c input average constraint degree 1.43 1033.98/1036.58 c learned clauses 691534 1033.98/1036.58 c learned cardinalities 6566 1033.98/1036.58 c learned general constraints 153970 1033.98/1036.58 c learned average constraint length 72.25 1033.98/1036.58 c learned average constraint degree 12227968.91 1033.98/1036.58 c watched constraints 113411 1033.98/1036.58 c counting constraints 41051 1033.98/1036.58 c gcd simplifications 101921 1033.98/1036.58 c detected cardinalities 6 1033.98/1036.58 c weakened non-implied lits 46104709 1033.98/1036.58 c weakened non-implying lits 309519 1033.98/1036.58 c original variables 351 1033.98/1036.58 c clausal propagations 65006862 1033.98/1036.58 c cardinality propagations 1513588 1033.98/1036.58 c watched propagations 3403015 1033.98/1036.58 c counting propagations 31217024 1033.98/1036.58 c watch lookups 20228269749 1033.98/1036.58 c watch backjump lookups 15279104410 1033.98/1036.58 c watch checks 33841991651 1033.98/1036.58 c propagation checks 2796067839 1033.98/1036.58 c constraint additions 250177884 1033.98/1036.58 c trail pops 104647404 1033.98/1036.58 c formula constraints 11700 1033.98/1036.58 c learned constraints 848382 1033.98/1036.58 c bound constraints 43 1033.98/1036.58 c core-guided constraints 930 1033.98/1036.58 c encountered formula constraints 11933804 1033.98/1036.58 c encountered learned constraints 4551352 1033.98/1036.58 c encountered bound constraints 2142 1033.98/1036.58 c encountered core-guided constraints 1603806 1033.98/1036.58 c LP total time 222.662 s 1033.98/1036.58 c LP solve time 220.86 s 1033.98/1036.58 c LP constraints added 11700 1033.98/1036.58 c LP constraints removed 0 1033.98/1036.58 c LP pivots internal 851153 1033.98/1036.58 c LP pivots root 130290 1033.98/1036.58 c LP calls 2005 1033.98/1036.58 c LP optimalities 158 1033.98/1036.58 c LP no pivot count 12 1033.98/1036.58 c LP infeasibilities 1844 1033.98/1036.58 c LP valid Farkas constraints 1844 1033.98/1036.58 c LP learned Farkas constraints 1844 1033.98/1036.58 c LP basis resets 0 1033.98/1036.58 c LP cycling count 0 1033.98/1036.58 c LP singular count 0 1033.98/1036.58 c LP no primal count 0 1033.98/1036.58 c LP no farkas count 0 1033.98/1036.58 c LP other issue count 0 1033.98/1036.58 c LP Gomory cuts 0 1033.98/1036.58 c LP learned cuts 0 1033.98/1036.58 c LP deleted cuts 0 1033.98/1036.58 c LP encountered Gomory constraints 0 1033.98/1036.58 c LP encountered Farkas constraints 10047 1033.98/1036.58 c LP encountered learned Farkas constraints 2351 1033.98/1036.58 c CG auxiliary variables introduced 347 1033.98/1036.58 c CG solutions found 21 1033.98/1036.58 c CG cores constructed 111 1033.98/1036.58 c CG core cardinality constraints returned 0 1033.98/1036.58 c CG unit cores 0 1033.98/1036.58 c CG single cores 111 1033.98/1036.58 c CG blocks removed during cardinality reduction 0 1033.98/1036.58 c CG first core best 0 1033.98/1036.58 c CG decision core best 0 1033.98/1036.58 c CG core reduction tie 0 1033.98/1036.58 c CG core degree average 1.00 1033.98/1036.58 c CG core slack average 4.55 1033.98/1036.58 o -180 1033.98/1036.58 s OPTIMUM FOUND 1033.98/1036.59 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: 63968 MiB (54443 MiB free)
memory of node 1: 64473 MiB (56577 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463325-1722348878/watcher-4463325-1722348878 -o /tmp/evaluation-result-4463325-1722348878/solver-4463325-1722348878 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722340763-6898 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463325-1722348878 --lp-cut-gomory=0 HOME/instance-4463325-1722348878.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
solver pid=12558, runsolver pid=12555
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.15 4.16 4.17 5/263 12559
/proc/meminfo: memFree=113677560/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=43696 memory=13724 CPUtime=0.1 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 3063 0 0 0 9 1 0 0 20 0 1 0 1492124 44744704 3431 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 10924 3431 1678 992 0 2782 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 13724 KiB
[startup+0.205784 s]*
/proc/loadavg: 4.15 4.16 4.17 5/263 12559
/proc/meminfo: memFree=113677224/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=43696 memory=13724 CPUtime=0.2 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 3063 0 0 0 19 1 0 0 20 0 1 0 1492124 44744704 3431 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 10924 3431 1678 992 0 2782 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 13724 KiB
[startup+0.30575 s]*
/proc/loadavg: 4.15 4.16 4.17 5/263 12559
/proc/meminfo: memFree=113675532/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=44160 memory=14544 CPUtime=0.3 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 3482 0 0 0 28 2 0 0 20 0 1 0 1492124 45219840 3636 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 11040 3636 1774 992 0 2898 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44160 KiB
Current children cumulated memory: 14544 KiB
[startup+0.700207 s]
/proc/loadavg: 4.15 4.16 4.17 5/263 12559
/proc/meminfo: memFree=113670164/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=44160 memory=15092 CPUtime=0.69 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 3561 0 0 0 66 3 0 0 20 0 1 0 1492124 45219840 3773 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 11040 3773 1851 992 0 2898 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44160 KiB
Current children cumulated memory: 15092 KiB
[startup+1.50022 s]
/proc/loadavg: 4.15 4.16 4.17 5/263 12560
/proc/meminfo: memFree=113661044/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=45324 memory=16676 CPUtime=1.48 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 3985 0 0 0 143 5 0 0 20 0 1 0 1492124 46411776 4169 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 11331 4169 1851 992 0 3189 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45324 KiB
Current children cumulated memory: 16676 KiB
[startup+3.10565 s]
/proc/loadavg: 4.13 4.16 4.17 5/263 12560
/proc/meminfo: memFree=113630684/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=45324 memory=17204 CPUtime=3.09 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 4090 0 0 0 301 8 0 0 20 0 1 0 1492124 46411776 4301 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 11331 4301 1851 992 0 3189 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 45324 KiB
Current children cumulated memory: 17204 KiB
[startup+6.30016 s]
/proc/loadavg: 4.13 4.16 4.17 5/263 12560
/proc/meminfo: memFree=113588996/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=45948 memory=20036 CPUtime=6.28 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 4303 0 0 0 613 15 0 0 20 0 1 0 1492124 47050752 5009 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 11487 5009 1851 992 0 3345 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 45948 KiB
Current children cumulated memory: 20036 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.16 4.17 5/263 12608
/proc/meminfo: memFree=121101708/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=47088 memory=21084 CPUtime=12.66 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 4539 0 0 0 1237 29 0 0 20 0 1 0 1492124 48218112 5271 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 11772 5271 1851 992 0 3630 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 47088 KiB
Current children cumulated memory: 21084 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.15 4.17 5/263 12657
/proc/meminfo: memFree=120994496/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=51616 memory=24624 CPUtime=25.42 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 5416 0 0 0 2492 50 0 0 20 0 1 0 1492124 52854784 6156 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 12904 6156 1851 992 0 4762 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 51616 KiB
Current children cumulated memory: 24624 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.15 4.17 5/260 12661
/proc/meminfo: memFree=120317192/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=57824 memory=30076 CPUtime=50.97 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 6315 0 0 0 5006 91 0 0 20 0 1 0 1492124 59211776 7519 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 14456 7519 1851 992 0 6314 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 57824 KiB
Current children cumulated memory: 30076 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.16 4.17 5/259 12717
/proc/meminfo: memFree=117041696/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=69224 memory=40604 CPUtime=102.04 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 7415 0 0 0 10044 160 0 0 20 0 1 0 1492124 70885376 10151 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 17306 10151 1851 992 0 9164 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 69224 KiB
Current children cumulated memory: 40604 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/258 12728
/proc/meminfo: memFree=116295612/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=71224 memory=42708 CPUtime=161.9 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 7916 0 0 0 15956 234 0 0 20 0 1 0 1492124 72933376 10677 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 17806 10677 1851 992 0 9664 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 71224 KiB
Current children cumulated memory: 42708 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/260 12742
/proc/meminfo: memFree=115333976/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=73052 memory=46584 CPUtime=221.76 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 8382 0 0 0 21873 303 0 0 20 0 1 0 1492124 74805248 11646 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 18263 11646 1851 992 0 10121 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 73052 KiB
Current children cumulated memory: 46584 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.15 4.17 5/261 12753
/proc/meminfo: memFree=114858348/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=86916 memory=52828 CPUtime=281.61 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 9436 0 0 0 27794 367 0 0 20 0 1 0 1492124 89001984 13207 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 21729 13207 1851 992 0 13587 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 86916 KiB
Current children cumulated memory: 52828 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/263 12767
/proc/meminfo: memFree=114500072/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=88348 memory=56160 CPUtime=341.46 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 9759 0 0 0 33724 422 0 0 20 0 1 0 1492124 90468352 14040 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 22087 14040 1851 992 0 13945 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 88348 KiB
Current children cumulated memory: 56160 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/263 12778
/proc/meminfo: memFree=113726728/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=90704 memory=60296 CPUtime=401.31 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 10327 0 0 0 39651 480 0 0 20 0 1 0 1492124 92880896 15074 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 22676 15074 1851 992 0 14534 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 90704 KiB
Current children cumulated memory: 60296 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/262 12788
/proc/meminfo: memFree=113019188/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=90704 memory=60552 CPUtime=461.17 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 10361 0 0 0 45578 539 0 0 20 0 1 0 1492124 92880896 15138 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 22676 15138 1851 992 0 14534 0
################
# More data... #
################
/proc/loadavg: 4.58 4.26 4.20 5/264 13210
/proc/meminfo: memFree=110733244/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=94364 memory=68268 CPUtime=640.74 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 11310 0 0 0 63385 689 0 0 20 0 1 0 1492124 96628736 17067 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 23591 17067 1851 992 0 15449 0
Current children cumulated CPU time: 640.74 s
Current children cumulated vsize: 94364 KiB
Current children cumulated memory: 68268 KiB
[startup+702.3 s]
/proc/loadavg: 4.26 4.23 4.19 5/263 13221
/proc/meminfo: memFree=110070928/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=94364 memory=68268 CPUtime=700.6 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 11313 0 0 0 69322 738 0 0 20 0 1 0 1492124 96628736 17067 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 23591 17067 1851 992 0 15449 0
Current children cumulated CPU time: 700.6 s
Current children cumulated vsize: 94364 KiB
Current children cumulated memory: 68268 KiB
[startup+762.3 s]
/proc/loadavg: 4.21 4.21 4.18 5/263 13232
/proc/meminfo: memFree=109508708/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=94364 memory=68500 CPUtime=760.45 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 11331 0 0 0 75260 785 0 0 20 0 1 0 1492124 96628736 17125 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 23591 17125 1851 992 0 15449 0
Current children cumulated CPU time: 760.45 s
Current children cumulated vsize: 94364 KiB
Current children cumulated memory: 68500 KiB
[startup+822.3 s]
/proc/loadavg: 4.21 4.22 4.18 5/264 13413
/proc/meminfo: memFree=108749308/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=114192 memory=70128 CPUtime=820.31 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 11798 0 0 0 81202 829 0 0 20 0 1 0 1492124 116932608 17532 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 28548 17532 1851 992 0 20406 0
Current children cumulated CPU time: 820.31 s
Current children cumulated vsize: 114192 KiB
Current children cumulated memory: 70128 KiB
[startup+882.3 s]
/proc/loadavg: 4.12 4.19 4.18 5/264 13423
/proc/meminfo: memFree=108366556/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=115548 memory=71448 CPUtime=880.15 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 12104 0 0 0 87146 869 0 0 20 0 1 0 1492124 118321152 17862 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 28887 17862 1851 992 0 20745 0
Current children cumulated CPU time: 880.15 s
Current children cumulated vsize: 115548 KiB
Current children cumulated memory: 71448 KiB
[startup+942.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/264 13492
/proc/meminfo: memFree=107886596/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=115548 memory=74816 CPUtime=940.01 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 12437 0 0 0 93096 905 0 0 20 0 1 0 1492124 118321152 18704 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 28887 18704 1851 992 0 20745 0
Current children cumulated CPU time: 940.01 s
Current children cumulated vsize: 115548 KiB
Current children cumulated memory: 74816 KiB
[startup+1002.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/264 13504
/proc/meminfo: memFree=107363836/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=117124 memory=78440 CPUtime=999.86 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 12802 0 0 0 99048 938 0 0 20 0 1 0 1492124 119934976 19610 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 29281 19610 1851 992 0 21139 0
Current children cumulated CPU time: 999.86 s
Current children cumulated vsize: 117124 KiB
Current children cumulated memory: 78440 KiB
[startup+1036.6 s]
# the end of solver process 12558 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1024.49 s, system=9.58682 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1011.2 s]
/proc/loadavg: 4.13 4.17 4.17 5/264 13506
/proc/meminfo: memFree=107240968/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=117920 memory=79232 CPUtime=1008.74 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 13035 0 0 0 99932 942 0 0 20 0 1 0 1492124 120750080 19808 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 29480 19808 1851 992 0 21338 0
Current children cumulated CPU time: 1008.74 s
Current children cumulated vsize: 117920 KiB
Current children cumulated memory: 79232 KiB
[startup+1024 s]*
/proc/loadavg: 4.10 4.16 4.17 5/264 13508
/proc/meminfo: memFree=107022856/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=117920 memory=79232 CPUtime=1021.51 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 13039 0 0 0 101201 950 0 0 20 0 1 0 1492124 120750080 19808 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 29480 19808 1851 992 0 21338 0
Current children cumulated CPU time: 1021.51 s
Current children cumulated vsize: 117920 KiB
Current children cumulated memory: 79232 KiB
[startup+1030.4 s]
/proc/loadavg: 4.09 4.16 4.17 5/264 13508
/proc/meminfo: memFree=106912920/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=117920 memory=79232 CPUtime=1027.89 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 13039 0 0 0 101835 954 0 0 20 0 1 0 1492124 120750080 19808 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 29480 19808 1851 992 0 21338 0
Current children cumulated CPU time: 1027.89 s
Current children cumulated vsize: 117920 KiB
Current children cumulated memory: 79232 KiB
[startup+1033.6 s]
/proc/loadavg: 4.09 4.16 4.17 5/264 13510
/proc/meminfo: memFree=106874524/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=117920 memory=79232 CPUtime=1031.09 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 13039 0 0 0 102153 956 0 0 20 0 1 0 1492124 120750080 19808 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 29480 19808 1851 992 0 21338 0
Current children cumulated CPU time: 1031.09 s
Current children cumulated vsize: 117920 KiB
Current children cumulated memory: 79232 KiB
[startup+1035.2 s]
/proc/loadavg: 4.09 4.16 4.17 5/264 13510
/proc/meminfo: memFree=106841116/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=117920 memory=79232 CPUtime=1032.68 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 13039 0 0 0 102311 957 0 0 20 0 1 0 1492124 120750080 19808 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 29480 19808 1851 992 0 21338 0
Current children cumulated CPU time: 1032.68 s
Current children cumulated vsize: 117920 KiB
Current children cumulated memory: 79232 KiB
[startup+1036 s]*
/proc/loadavg: 4.09 4.16 4.17 5/264 13510
/proc/meminfo: memFree=106825888/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=117920 memory=79232 CPUtime=1033.48 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 13039 0 0 0 102391 957 0 0 20 0 1 0 1492124 120750080 19808 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 29480 19808 1851 992 0 21338 0
Current children cumulated CPU time: 1033.48 s
Current children cumulated vsize: 117920 KiB
Current children cumulated memory: 79232 KiB
[startup+1036.4 s]
/proc/loadavg: 4.09 4.16 4.17 5/264 13510
/proc/meminfo: memFree=106825888/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=117920 memory=79232 CPUtime=1033.88 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 13039 0 0 0 102430 958 0 0 20 0 1 0 1492124 120750080 19808 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 29480 19808 1851 992 0 21338 0
Current children cumulated CPU time: 1033.88 s
Current children cumulated vsize: 117920 KiB
Current children cumulated memory: 79232 KiB
[startup+1036.5 s]
/proc/loadavg: 4.09 4.16 4.17 5/264 13510
/proc/meminfo: memFree=106825888/131524600 swapFree=131071996/131071996
[pid=12558] ppid=12555 vsize=117920 memory=79232 CPUtime=1033.98 cores=1,3
/proc/12558/stat : 12558 (roundingsat) R 12555 12558 6885 0 -1 4194304 13039 0 0 0 102440 958 0 0 20 0 1 0 1492124 120750080 19808 134679101440 4194304 8255733 140733137395296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30257152 140733137396574 140733137396836 140733137396836 140733137403849 0
/proc/12558/statm: 29480 19808 1851 992 0 21338 0
Current children cumulated CPU time: 1033.98 s
Current children cumulated vsize: 117920 KiB
Current children cumulated memory: 79232 KiB
Child status: 0
Real time (s): 1036.6
CPU time (s): 1034.07
CPU user time (s): 1024.49
CPU system time (s): 9.58682
CPU usage (%): 99.7563
Max. virtual memory (cumulated for all children) (KiB): 117920
Max. memory (cumulated for all children) (KiB): 79232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1024.49
system time used= 9.58682
maximum resident set size= 79272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13047
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1656824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 153
involuntary context switches= 1525
# summary of solver processes directly reported to runsolver:
# pid: 12558
# total CPU time (s): 1034.07
# total CPU user time (s): 1024.49
# total CPU system time (s): 9.58682
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.83295 second user time and 4.86317 second system time
The end
Begin job on nodeC034 at 2024-07-30 16:14:38 IDJOB=4463325 IDBENCH=178266 IDSOLVER=3089 FILE ID=nodeC034/4463325-1722348878 RUNJOBID= nodeC034-1722340763-6898 SLURM_JOB_ID= 8249007 Free space on /tmp= 890036 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-4463325-1722348878/watcher-4463325-1722348878 -o /tmp/evaluation-result-4463325-1722348878/solver-4463325-1722348878 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722340763-6898 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463325-1722348878 --lp-cut-gomory=0 HOME/instance-4463325-1722348878.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3b9231489038b4cdb94f511f52877e11 RANDOM SEED=44683222 nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3683.447 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3658.348 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.865 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.260 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3683.459 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3687.858 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.785 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3641.572 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 113686064 kB MemAvailable: 122929444 kB Buffers: 55592 kB Cached: 10013640 kB SwapCached: 0 kB Active: 196172 kB Inactive: 17137760 kB Active(anon): 1540 kB Inactive(anon): 7284248 kB Active(file): 194632 kB Inactive(file): 9853512 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 135400 kB Writeback: 0 kB AnonPages: 7262040 kB Mapped: 98008 kB Shmem: 21336 kB KReclaimable: 70120 kB Slab: 153424 kB SReclaimable: 70120 kB SUnreclaim: 83304 kB KernelStack: 4192 kB PageTables: 23332 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 9312728 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8992 kB HardwareCorrupted: 0 kB AnonHugePages: 2469888 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: 185044 kB DirectMap2M: 5879808 kB DirectMap1G: 130023424 kB Free space on /tmp at the end= 889952 MiB End job on nodeC034 at 2024-07-30 16:31:55