| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.04 | 3616.52 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb |
| MD5SUM | dbca78014701662c42e2f44b8d3d4cf2 |
| 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 | -40 |
| Best CPU time to get the best result obtained on this benchmark | 30.0879 |
| 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 | 760 |
| Total number of constraints | 41263 |
| Number of constraints which are clauses | 41263 |
| 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 | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 760 |
| 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 | 760 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 760 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.09/0.13 c #variables 760 #constraints 41263 0.29/0.35 c bounds - >= -760 @ 0.098593 0.29/0.35 c rational objective -380 0.48/0.59 c bounds 0 >= -760 @ 0.300023 0.48/0.59 c bounds 0 >= -759 @ 0.488905 0.48/0.59 c bounds 0 >= -758 @ 0.488971 0.48/0.59 c bounds 0 >= -757 @ 0.488971 0.48/0.59 c bounds 0 >= -756 @ 0.488971 0.48/0.59 c bounds -1 >= -756 @ 0.489881 0.48/0.59 c bounds -1 >= -755 @ 0.490162 0.48/0.59 c bounds -1 >= -754 @ 0.49044 0.48/0.59 c bounds -1 >= -753 @ 0.490711 0.48/0.59 c bounds -1 >= -752 @ 0.490988 0.48/0.59 c bounds -1 >= -751 @ 0.491246 0.48/0.59 c bounds -1 >= -750 @ 0.491498 0.48/0.59 c bounds -1 >= -749 @ 0.491775 0.48/0.59 c bounds -1 >= -748 @ 0.492071 0.48/0.59 c bounds -1 >= -747 @ 0.492342 0.48/0.59 c bounds -1 >= -746 @ 0.492619 0.48/0.59 c bounds -1 >= -745 @ 0.492893 0.48/0.59 c bounds -1 >= -744 @ 0.493165 0.48/0.59 c bounds -1 >= -743 @ 0.493441 0.48/0.59 c bounds -1 >= -742 @ 0.493696 0.48/0.59 c bounds -1 >= -741 @ 0.493945 0.48/0.59 c bounds -1 >= -740 @ 0.494224 0.48/0.59 c bounds -1 >= -739 @ 0.494495 0.48/0.59 c bounds -1 >= -738 @ 0.494765 0.48/0.59 c bounds -1 >= -737 @ 0.495087 0.48/0.59 c bounds -1 >= -736 @ 0.495364 0.48/0.59 c bounds -1 >= -735 @ 0.495615 0.48/0.59 c bounds -1 >= -734 @ 0.495868 0.48/0.59 c bounds -1 >= -733 @ 0.496146 0.48/0.59 c bounds -1 >= -732 @ 0.496415 0.48/0.59 c bounds -1 >= -731 @ 0.496672 0.48/0.59 c bounds -1 >= -730 @ 0.496927 0.48/0.59 c bounds -2 >= -730 @ 0.497955 0.48/0.59 c bounds -2 >= -729 @ 0.498236 0.48/0.59 c bounds -2 >= -728 @ 0.498534 0.48/0.59 c bounds -2 >= -727 @ 0.498784 0.48/0.59 c bounds -2 >= -726 @ 0.499056 0.48/0.59 c bounds -2 >= -725 @ 0.49933 0.48/0.59 c bounds -2 >= -724 @ 0.49958 0.48/0.59 c bounds -3 >= -724 @ 0.500007 0.48/0.59 c bounds -3 >= -723 @ 0.500007 0.48/0.59 c bounds -3 >= -722 @ 0.500007 0.48/0.59 c bounds -3 >= -721 @ 0.500265 0.48/0.59 c bounds -3 >= -720 @ 0.500515 0.48/0.59 c bounds -3 >= -719 @ 0.500795 0.48/0.59 c bounds -3 >= -718 @ 0.501093 0.48/0.59 c bounds -3 >= -717 @ 0.501367 0.48/0.59 c bounds -3 >= -716 @ 0.501624 0.48/0.59 c bounds -4 >= -716 @ 0.503728 0.48/0.59 c bounds -4 >= -715 @ 0.503992 0.48/0.59 c bounds -4 >= -714 @ 0.50427 0.48/0.59 c bounds -4 >= -713 @ 0.504544 0.48/0.59 c bounds -4 >= -712 @ 0.504803 0.48/0.59 c bounds -4 >= -711 @ 0.505056 0.48/0.59 c bounds -4 >= -710 @ 0.505314 0.48/0.59 c bounds -4 >= -709 @ 0.505572 0.48/0.59 c bounds -4 >= -708 @ 0.505824 0.48/0.59 c bounds -4 >= -707 @ 0.506109 0.48/0.59 c bounds -4 >= -706 @ 0.506382 0.48/0.59 c bounds -4 >= -705 @ 0.506635 0.48/0.59 c bounds -4 >= -704 @ 0.506917 0.48/0.59 c bounds -4 >= -703 @ 0.507199 0.48/0.59 c bounds -4 >= -702 @ 0.507453 0.48/0.59 c bounds -4 >= -701 @ 0.50771 0.48/0.59 c bounds -4 >= -700 @ 0.507989 0.48/0.59 c bounds -4 >= -699 @ 0.508268 0.48/0.59 c bounds -4 >= -698 @ 0.508525 0.48/0.59 c bounds -4 >= -697 @ 0.508783 0.48/0.59 c bounds -4 >= -696 @ 0.509061 0.48/0.59 c bounds -4 >= -695 @ 0.509333 0.48/0.59 c bounds -4 >= -694 @ 0.509625 0.48/0.59 c bounds -4 >= -693 @ 0.509901 0.48/0.59 c bounds -4 >= -692 @ 0.510171 0.48/0.59 c bounds -4 >= -691 @ 0.510469 0.48/0.59 c bounds -4 >= -690 @ 0.51074 0.48/0.59 c bounds -4 >= -689 @ 0.51102 0.48/0.59 c bounds -4 >= -688 @ 0.511287 0.48/0.59 c bounds -4 >= -687 @ 0.51156 0.48/0.59 c bounds -4 >= -686 @ 0.511819 0.48/0.59 c bounds -4 >= -685 @ 0.512101 0.48/0.59 c bounds -4 >= -684 @ 0.512428 0.48/0.59 c bounds -4 >= -683 @ 0.512706 0.48/0.59 c bounds -4 >= -682 @ 0.512752 0.48/0.59 c bounds -4 >= -681 @ 0.512752 0.48/0.59 c bounds -4 >= -680 @ 0.512752 0.48/0.59 c bounds -4 >= -679 @ 0.51284 0.48/0.59 c bounds -4 >= -678 @ 0.513115 0.48/0.59 c bounds -4 >= -677 @ 0.513392 0.48/0.59 c bounds -4 >= -676 @ 0.513657 0.48/0.59 c bounds -4 >= -675 @ 0.51391 0.48/0.59 c bounds -4 >= -674 @ 0.514194 0.48/0.59 c bounds -4 >= -673 @ 0.51446 0.48/0.59 c bounds -4 >= -672 @ 0.514732 0.48/0.59 c bounds -4 >= -671 @ 0.515013 0.48/0.59 c bounds -4 >= -670 @ 0.515292 0.48/0.59 c bounds -4 >= -669 @ 0.515576 0.48/0.59 c bounds -4 >= -668 @ 0.515854 0.48/0.59 c bounds -4 >= -667 @ 0.516135 0.48/0.59 c bounds -4 >= -666 @ 0.516402 0.48/0.59 c bounds -4 >= -665 @ 0.516685 0.48/0.59 c bounds -4 >= -664 @ 0.51695 0.48/0.59 c bounds -4 >= -663 @ 0.517213 0.48/0.59 c bounds -4 >= -662 @ 0.517475 0.48/0.59 c bounds -4 >= -661 @ 0.517732 0.48/0.59 c bounds -4 >= -660 @ 0.518017 0.48/0.59 c bounds -4 >= -659 @ 0.518317 0.48/0.59 c bounds -4 >= -658 @ 0.518596 0.48/0.59 c bounds -4 >= -657 @ 0.518857 0.48/0.59 c bounds -4 >= -656 @ 0.519142 0.48/0.59 c bounds -4 >= -655 @ 0.519426 0.48/0.59 c bounds -4 >= -654 @ 0.519688 0.48/0.59 c bounds -4 >= -653 @ 0.519969 0.48/0.59 c bounds -4 >= -652 @ 0.520245 0.48/0.59 c bounds -4 >= -651 @ 0.520525 0.48/0.59 c bounds -5 >= -651 @ 0.522907 0.48/0.59 c bounds -5 >= -650 @ 0.523194 0.48/0.59 c bounds -5 >= -649 @ 0.523474 0.48/0.59 c bounds -5 >= -648 @ 0.523735 0.48/0.59 c bounds -5 >= -647 @ 0.524014 0.48/0.59 c bounds -5 >= -646 @ 0.5243 0.48/0.59 c bounds -5 >= -645 @ 0.524563 0.48/0.59 c bounds -5 >= -644 @ 0.524817 0.48/0.59 c bounds -5 >= -643 @ 0.524861 0.48/0.59 c bounds -5 >= -642 @ 0.524861 0.48/0.59 c bounds -5 >= -641 @ 0.524861 0.48/0.59 c bounds -5 >= -640 @ 0.524908 0.48/0.59 c bounds -5 >= -639 @ 0.525198 0.48/0.59 c bounds -5 >= -638 @ 0.525482 0.48/0.59 c bounds -5 >= -637 @ 0.525769 0.48/0.59 c bounds -5 >= -636 @ 0.525818 0.48/0.59 c bounds -5 >= -635 @ 0.525818 0.48/0.59 c bounds -5 >= -634 @ 0.525818 0.48/0.59 c bounds -5 >= -633 @ 0.525878 0.58/0.63 c bounds -5 >= -632 @ 0.525908 0.58/0.63 c bounds -5 >= -631 @ 0.525908 0.58/0.63 c bounds -5 >= -630 @ 0.525908 0.58/0.63 c bounds -5 >= -629 @ 0.526072 0.58/0.63 c bounds -5 >= -628 @ 0.526311 0.58/0.63 c bounds -5 >= -627 @ 0.526543 0.58/0.63 c bounds -5 >= -626 @ 0.526784 0.58/0.63 c bounds -5 >= -625 @ 0.527041 0.58/0.63 c bounds -5 >= -624 @ 0.527301 0.58/0.63 c bounds -5 >= -623 @ 0.527566 0.58/0.63 c bounds -5 >= -622 @ 0.527831 0.58/0.63 c bounds -5 >= -621 @ 0.528086 0.58/0.63 c bounds -5 >= -620 @ 0.528349 0.58/0.63 c bounds -5 >= -619 @ 0.528612 0.58/0.63 c bounds -5 >= -618 @ 0.528868 0.58/0.63 c bounds -5 >= -617 @ 0.529133 0.58/0.63 c bounds -5 >= -616 @ 0.529393 0.58/0.63 c bounds -5 >= -615 @ 0.529659 0.58/0.63 c bounds -5 >= -614 @ 0.529926 0.58/0.63 c bounds -5 >= -613 @ 0.53019 0.58/0.63 c bounds -5 >= -612 @ 0.530455 0.58/0.63 c bounds -5 >= -611 @ 0.530721 0.58/0.63 c bounds -5 >= -610 @ 0.530981 0.58/0.63 c bounds -5 >= -609 @ 0.531245 0.58/0.63 c bounds -5 >= -608 @ 0.531513 0.58/0.63 c bounds -5 >= -607 @ 0.531775 0.58/0.63 c bounds -5 >= -606 @ 0.532045 0.58/0.63 c bounds -5 >= -605 @ 0.532311 0.58/0.63 c bounds -5 >= -604 @ 0.532575 0.58/0.63 c bounds -5 >= -603 @ 0.532839 0.58/0.63 c bounds -5 >= -602 @ 0.533108 0.58/0.63 c bounds -5 >= -601 @ 0.533371 0.58/0.63 c bounds -5 >= -600 @ 0.533639 0.58/0.63 c bounds -5 >= -599 @ 0.533904 0.58/0.63 c bounds -5 >= -598 @ 0.534171 0.58/0.63 c bounds -5 >= -597 @ 0.534435 0.58/0.63 c bounds -5 >= -596 @ 0.534695 0.58/0.63 c bounds -5 >= -595 @ 0.534958 0.58/0.63 c bounds -5 >= -594 @ 0.535222 0.58/0.63 c bounds -5 >= -593 @ 0.535481 0.58/0.63 c bounds -5 >= -592 @ 0.535746 0.58/0.63 c bounds -5 >= -591 @ 0.536013 0.58/0.63 c bounds -5 >= -590 @ 0.536276 0.58/0.63 c bounds -5 >= -589 @ 0.536541 0.58/0.63 c bounds -5 >= -588 @ 0.536801 0.58/0.63 c bounds -5 >= -587 @ 0.537077 0.58/0.63 c bounds -5 >= -586 @ 0.537348 0.58/0.63 c bounds -5 >= -585 @ 0.537613 0.58/0.63 c bounds -5 >= -584 @ 0.537884 0.58/0.63 c bounds -5 >= -583 @ 0.538158 0.58/0.63 c bounds -5 >= -582 @ 0.538425 0.58/0.63 c bounds -5 >= -581 @ 0.538699 0.58/0.63 c bounds -5 >= -580 @ 0.538971 0.58/0.63 c bounds -5 >= -579 @ 0.539241 0.58/0.63 c bounds -5 >= -578 @ 0.539509 0.58/0.63 c bounds -5 >= -577 @ 0.53978 0.58/0.63 c bounds -5 >= -576 @ 0.540052 0.58/0.63 c bounds -5 >= -575 @ 0.540326 0.58/0.63 c bounds -5 >= -574 @ 0.540592 0.58/0.63 c bounds -5 >= -573 @ 0.540874 0.58/0.63 c bounds -5 >= -572 @ 0.541149 0.58/0.63 c bounds -6 >= -572 @ 0.541876 0.58/0.63 c bounds -6 >= -571 @ 0.542151 0.58/0.63 c bounds -6 >= -570 @ 0.542421 0.58/0.63 c bounds -6 >= -569 @ 0.54269 0.58/0.63 c bounds -6 >= -568 @ 0.542967 0.58/0.63 c bounds -6 >= -567 @ 0.543261 0.58/0.63 c bounds -6 >= -566 @ 0.543549 0.58/0.63 c bounds -6 >= -565 @ 0.543845 0.58/0.63 c bounds -6 >= -564 @ 0.544134 0.58/0.63 c bounds -6 >= -563 @ 0.54443 0.58/0.63 c bounds -6 >= -562 @ 0.544724 0.58/0.63 c bounds -6 >= -561 @ 0.545017 0.58/0.63 c bounds -6 >= -560 @ 0.545314 0.58/0.63 c bounds -7 >= -560 @ 0.545753 0.58/0.63 c bounds -7 >= -559 @ 0.545753 0.58/0.63 c bounds -7 >= -558 @ 0.545753 0.58/0.63 c bounds -7 >= -557 @ 0.545753 0.58/0.63 c bounds -7 >= -556 @ 0.545753 0.58/0.63 c bounds -7 >= -555 @ 0.545753 0.58/0.63 c bounds -7 >= -554 @ 0.545905 0.58/0.63 c bounds -7 >= -553 @ 0.546174 0.58/0.63 c bounds -8 >= -553 @ 0.547796 0.58/0.63 c bounds -8 >= -552 @ 0.548095 0.58/0.63 c bounds -8 >= -551 @ 0.548395 0.58/0.63 c bounds -8 >= -550 @ 0.548695 0.58/0.63 c bounds -8 >= -549 @ 0.548986 0.58/0.63 c bounds -8 >= -548 @ 0.549286 0.58/0.63 c bounds -8 >= -547 @ 0.549584 0.58/0.63 c bounds -8 >= -546 @ 0.549887 0.58/0.63 c bounds -8 >= -545 @ 0.550178 0.58/0.63 c bounds -8 >= -544 @ 0.550447 0.58/0.63 c bounds -8 >= -543 @ 0.550719 0.58/0.63 c bounds -8 >= -542 @ 0.551018 0.58/0.63 c bounds -8 >= -541 @ 0.551306 0.58/0.63 c bounds -8 >= -540 @ 0.551581 0.58/0.63 c bounds -8 >= -539 @ 0.551875 0.58/0.63 c bounds -8 >= -538 @ 0.552221 0.58/0.63 c bounds -8 >= -537 @ 0.552515 0.58/0.63 c bounds -8 >= -536 @ 0.552558 0.58/0.63 c bounds -8 >= -535 @ 0.552558 0.58/0.63 c bounds -8 >= -534 @ 0.552558 0.58/0.63 c bounds -8 >= -533 @ 0.552659 0.58/0.63 c bounds -8 >= -532 @ 0.552952 0.58/0.63 c bounds -8 >= -531 @ 0.55326 0.58/0.63 c bounds -8 >= -530 @ 0.553554 0.58/0.63 c bounds -8 >= -529 @ 0.553852 0.58/0.63 c bounds -8 >= -528 @ 0.554147 0.58/0.63 c bounds -8 >= -527 @ 0.554415 0.58/0.63 c bounds -8 >= -526 @ 0.554705 0.58/0.63 c bounds -8 >= -525 @ 0.554982 0.58/0.63 c bounds -8 >= -524 @ 0.555271 0.58/0.63 c bounds -8 >= -523 @ 0.555544 0.58/0.63 c bounds -8 >= -522 @ 0.555833 0.58/0.63 c bounds -8 >= -521 @ 0.556128 0.58/0.63 c bounds -8 >= -520 @ 0.556406 0.58/0.63 c bounds -9 >= -520 @ 0.557375 0.58/0.63 c bounds -9 >= -519 @ 0.557659 0.58/0.63 c bounds -9 >= -518 @ 0.557959 0.58/0.63 c bounds -9 >= -517 @ 0.558274 0.58/0.63 c bounds -9 >= -516 @ 0.558569 0.58/0.63 c bounds -9 >= -515 @ 0.558613 0.58/0.63 c bounds -9 >= -514 @ 0.558613 0.58/0.63 c bounds -9 >= -513 @ 0.558613 0.58/0.63 c bounds -9 >= -512 @ 0.558858 0.58/0.63 c bounds -9 >= -511 @ 0.559128 0.58/0.63 c bounds -9 >= -510 @ 0.559373 0.58/0.63 c bounds -9 >= -509 @ 0.559623 0.58/0.63 c bounds -9 >= -508 @ 0.559914 0.58/0.63 c bounds -9 >= -507 @ 0.560202 0.58/0.63 c bounds -9 >= -506 @ 0.560478 0.58/0.63 c bounds -9 >= -505 @ 0.560775 0.58/0.63 c bounds -9 >= -504 @ 0.561078 0.58/0.67 c bounds -9 >= -503 @ 0.561361 0.58/0.67 c bounds -9 >= -502 @ 0.561635 0.58/0.67 c bounds -9 >= -501 @ 0.561936 0.58/0.67 c bounds -9 >= -500 @ 0.562232 0.58/0.67 c bounds -9 >= -499 @ 0.562506 0.58/0.67 c bounds -9 >= -498 @ 0.562803 0.58/0.67 c bounds -10 >= -498 @ 0.563408 0.58/0.67 c bounds -10 >= -497 @ 0.563767 0.58/0.67 c bounds -10 >= -496 @ 0.564279 0.58/0.67 c bounds -10 >= -495 @ 0.564279 0.58/0.67 c bounds -10 >= -494 @ 0.564426 0.58/0.67 c bounds -10 >= -493 @ 0.564678 0.58/0.67 c bounds -10 >= -492 @ 0.564969 0.58/0.67 c bounds -10 >= -491 @ 0.565266 0.58/0.67 c bounds -10 >= -490 @ 0.565553 0.58/0.67 c bounds -10 >= -489 @ 0.565851 0.58/0.67 c bounds -10 >= -488 @ 0.566151 0.58/0.67 c bounds -11 >= -488 @ 0.566744 0.58/0.67 c bounds -11 >= -487 @ 0.56702 0.58/0.67 c bounds -11 >= -486 @ 0.567296 0.58/0.67 c bounds -11 >= -485 @ 0.567571 0.58/0.67 c bounds -11 >= -484 @ 0.567869 0.58/0.67 c bounds -11 >= -483 @ 0.568164 0.58/0.67 c bounds -11 >= -482 @ 0.568442 0.58/0.67 c bounds -11 >= -481 @ 0.56872 0.58/0.67 c bounds -11 >= -480 @ 0.568994 0.58/0.67 c bounds -11 >= -479 @ 0.569276 0.58/0.67 c bounds -12 >= -479 @ 0.569693 0.58/0.67 c bounds -12 >= -478 @ 0.569693 0.58/0.67 c bounds -12 >= -477 @ 0.569693 0.58/0.67 c bounds -12 >= -476 @ 0.569909 0.58/0.67 c bounds -12 >= -475 @ 0.570157 0.58/0.67 c bounds -12 >= -474 @ 0.570409 0.58/0.67 c bounds -12 >= -473 @ 0.570666 0.58/0.67 c bounds -12 >= -472 @ 0.570943 0.58/0.67 c bounds -12 >= -471 @ 0.571225 0.58/0.67 c bounds -12 >= -470 @ 0.571505 0.58/0.67 c bounds -13 >= -470 @ 0.57169 0.58/0.67 c bounds -13 >= -469 @ 0.57169 0.58/0.67 c bounds -13 >= -468 @ 0.57169 0.58/0.67 c bounds -13 >= -467 @ 0.571933 0.58/0.67 c bounds -13 >= -466 @ 0.572214 0.58/0.67 c bounds -13 >= -465 @ 0.572492 0.58/0.67 c bounds -13 >= -464 @ 0.572779 0.58/0.67 c bounds -13 >= -463 @ 0.573064 0.58/0.67 c bounds -13 >= -462 @ 0.573345 0.58/0.67 c bounds -14 >= -462 @ 0.574648 0.58/0.67 c bounds -14 >= -461 @ 0.574938 0.58/0.67 c bounds -14 >= -460 @ 0.575223 0.58/0.67 c bounds -14 >= -459 @ 0.575509 0.58/0.67 c bounds -14 >= -458 @ 0.575793 0.58/0.67 c bounds -14 >= -457 @ 0.576079 0.58/0.67 c bounds -14 >= -456 @ 0.576362 0.58/0.67 c bounds -14 >= -455 @ 0.576644 0.58/0.67 c bounds -14 >= -454 @ 0.57693 0.58/0.67 c bounds -14 >= -453 @ 0.577204 0.58/0.67 c bounds -14 >= -452 @ 0.577485 0.58/0.67 c bounds -14 >= -451 @ 0.577791 0.58/0.67 c bounds -14 >= -450 @ 0.578092 0.58/0.67 c bounds -14 >= -449 @ 0.578369 0.58/0.67 c bounds -14 >= -448 @ 0.57865 0.58/0.67 c bounds -14 >= -447 @ 0.578663 0.58/0.67 c bounds -14 >= -446 @ 0.578663 0.58/0.67 c bounds -14 >= -445 @ 0.578663 0.58/0.67 c bounds -14 >= -444 @ 0.578861 0.58/0.67 c bounds -14 >= -443 @ 0.579121 0.58/0.67 c bounds -14 >= -442 @ 0.57937 0.58/0.67 c bounds -14 >= -441 @ 0.579684 0.58/0.67 c bounds -14 >= -440 @ 0.579988 0.58/0.67 c bounds -14 >= -439 @ 0.580276 0.58/0.67 c bounds -14 >= -438 @ 0.580556 0.58/0.67 c bounds -14 >= -437 @ 0.580858 0.58/0.67 c bounds -14 >= -436 @ 0.581165 0.58/0.67 c bounds -14 >= -435 @ 0.581447 0.58/0.67 c bounds -14 >= -434 @ 0.581728 0.58/0.67 c bounds -14 >= -433 @ 0.582032 0.58/0.67 c bounds -14 >= -432 @ 0.582337 0.58/0.67 c bounds -14 >= -431 @ 0.582625 0.58/0.67 c bounds -14 >= -430 @ 0.58291 0.58/0.67 c bounds -14 >= -429 @ 0.583189 0.58/0.67 c bounds -14 >= -428 @ 0.583473 0.58/0.67 c bounds -14 >= -427 @ 0.583774 0.58/0.67 c bounds -14 >= -426 @ 0.584079 0.58/0.67 c bounds -14 >= -425 @ 0.584359 0.58/0.67 c bounds -14 >= -424 @ 0.584625 0.58/0.67 c bounds -14 >= -423 @ 0.584625 0.58/0.67 c bounds -14 >= -422 @ 0.584625 0.58/0.67 c bounds -14 >= -421 @ 0.584625 0.58/0.67 c bounds -14 >= -420 @ 0.584881 0.58/0.67 c bounds -14 >= -419 @ 0.585181 0.58/0.67 c bounds -14 >= -418 @ 0.585453 0.58/0.67 c bounds -14 >= -417 @ 0.585753 0.58/0.67 c bounds -14 >= -416 @ 0.586053 0.58/0.67 c bounds -14 >= -415 @ 0.586367 0.58/0.67 c bounds -14 >= -414 @ 0.586673 0.58/0.67 c bounds -14 >= -413 @ 0.586959 0.58/0.67 c bounds -14 >= -412 @ 0.587243 0.58/0.67 c bounds -14 >= -411 @ 0.587523 0.58/0.67 c bounds -14 >= -410 @ 0.58783 0.58/0.67 c bounds -14 >= -409 @ 0.588133 0.58/0.67 c bounds -14 >= -408 @ 0.58842 0.58/0.67 c bounds -14 >= -407 @ 0.588733 0.58/0.67 c bounds -14 >= -406 @ 0.589039 0.58/0.67 c bounds -14 >= -405 @ 0.589326 0.58/0.67 c bounds -14 >= -404 @ 0.589598 0.58/0.67 c bounds -14 >= -403 @ 0.589598 0.58/0.67 c bounds -14 >= -402 @ 0.589598 0.58/0.67 c bounds -14 >= -401 @ 0.589598 0.58/0.67 c bounds -14 >= -400 @ 0.589908 0.58/0.67 c bounds -14 >= -399 @ 0.5902 0.58/0.67 c bounds -14 >= -398 @ 0.590488 0.58/0.67 c bounds -14 >= -397 @ 0.59053 0.58/0.67 c bounds -14 >= -396 @ 0.59053 0.58/0.67 c bounds -14 >= -395 @ 0.59053 0.58/0.67 c bounds -14 >= -394 @ 0.590811 0.58/0.67 c bounds -14 >= -393 @ 0.591101 0.58/0.67 c bounds -15 >= -393 @ 0.592623 0.58/0.67 c bounds -15 >= -392 @ 0.59293 0.58/0.67 c bounds -15 >= -391 @ 0.59322 0.58/0.67 c bounds -15 >= -390 @ 0.59352 0.58/0.67 c bounds -15 >= -389 @ 0.593838 0.58/0.67 c bounds -15 >= -388 @ 0.594145 0.58/0.67 c bounds -15 >= -387 @ 0.594465 0.58/0.67 c bounds -15 >= -386 @ 0.594773 0.58/0.67 c bounds -15 >= -385 @ 0.595069 0.58/0.67 c bounds -15 >= -384 @ 0.595369 0.58/0.67 c bounds -15 >= -383 @ 0.595657 0.58/0.67 c bounds -15 >= -382 @ 0.595977 0.78/0.82 c bounds -15 >= -381 @ 0.596297 0.78/0.82 c bounds -15 >= -380 @ 0.596607 0.78/0.82 c bounds -15 >= -379 @ 0.596932 0.78/0.82 c bounds -15 >= -378 @ 0.597573 0.78/0.82 c bounds -15 >= -377 @ 0.597575 0.78/0.82 c bounds -15 >= -376 @ 0.597575 0.78/0.82 c bounds -15 >= -375 @ 0.597575 0.78/0.82 c bounds -15 >= -374 @ 0.597832 0.78/0.82 c bounds -15 >= -373 @ 0.598571 0.78/0.82 c bounds -15 >= -372 @ 0.598571 0.78/0.82 c bounds -15 >= -371 @ 0.599534 0.78/0.82 c bounds -15 >= -370 @ 0.600305 0.78/0.82 c bounds -15 >= -369 @ 0.600567 0.78/0.82 c bounds -15 >= -368 @ 0.600569 0.78/0.82 c bounds -15 >= -367 @ 0.600569 0.78/0.82 c bounds -16 >= -367 @ 0.606289 0.78/0.82 c bounds -16 >= -366 @ 0.606553 0.78/0.82 c bounds -16 >= -365 @ 0.607354 0.78/0.82 c bounds -16 >= -364 @ 0.607721 0.78/0.82 c bounds -16 >= -363 @ 0.609258 0.78/0.82 c bounds -16 >= -362 @ 0.610434 0.78/0.82 c bounds -16 >= -361 @ 0.611065 0.78/0.82 c bounds -16 >= -360 @ 0.612685 0.78/0.82 c bounds -16 >= -359 @ 0.613864 0.78/0.82 c bounds -16 >= -358 @ 0.614531 0.78/0.82 c bounds -16 >= -357 @ 0.614533 0.78/0.82 c bounds -16 >= -356 @ 0.614533 0.78/0.82 c bounds -16 >= -355 @ 0.614533 0.78/0.82 c bounds -16 >= -354 @ 0.615669 0.78/0.82 c bounds -16 >= -353 @ 0.616804 0.78/0.82 c bounds -16 >= -352 @ 0.617527 0.78/0.82 c bounds -16 >= -351 @ 0.618156 0.78/0.82 c bounds -16 >= -350 @ 0.618524 0.78/0.82 c bounds -16 >= -349 @ 0.618778 0.78/0.82 c bounds -16 >= -348 @ 0.61952 0.78/0.82 c bounds -16 >= -347 @ 0.619523 0.78/0.82 c bounds -16 >= -346 @ 0.619523 0.78/0.82 c bounds -16 >= -345 @ 0.619523 0.78/0.82 c bounds -16 >= -344 @ 0.619707 0.78/0.82 c bounds -16 >= -343 @ 0.620786 0.78/0.82 c bounds -16 >= -342 @ 0.621506 0.78/0.82 c bounds -16 >= -341 @ 0.622504 0.78/0.82 c bounds -16 >= -340 @ 0.622681 0.78/0.82 c bounds -16 >= -339 @ 0.623506 0.78/0.82 c bounds -16 >= -338 @ 0.623772 0.78/0.82 c bounds -16 >= -337 @ 0.624504 0.78/0.82 c bounds -16 >= -336 @ 0.624504 0.78/0.82 c bounds -16 >= -335 @ 0.624504 0.78/0.82 c bounds -16 >= -334 @ 0.625205 0.78/0.82 c bounds -16 >= -333 @ 0.626826 0.78/0.82 c bounds -16 >= -332 @ 0.627492 0.78/0.82 c bounds -16 >= -331 @ 0.627492 0.78/0.82 c bounds -16 >= -330 @ 0.627723 0.78/0.82 c bounds -16 >= -329 @ 0.62872 0.78/0.82 c bounds -16 >= -328 @ 0.629486 0.78/0.82 c bounds -16 >= -327 @ 0.629486 0.78/0.82 c bounds -16 >= -326 @ 0.629486 0.78/0.82 c bounds -16 >= -325 @ 0.629486 0.78/0.82 c bounds -16 >= -324 @ 0.629487 0.78/0.82 c bounds -16 >= -323 @ 0.630171 0.78/0.82 c bounds -16 >= -322 @ 0.630483 0.78/0.82 c bounds -16 >= -321 @ 0.630484 0.78/0.82 c bounds -16 >= -320 @ 0.630484 0.78/0.82 c bounds -16 >= -319 @ 0.630485 0.78/0.82 c bounds -16 >= -318 @ 0.630485 0.78/0.82 c bounds -16 >= -317 @ 0.630485 0.78/0.82 c bounds -16 >= -316 @ 0.630485 0.78/0.82 c bounds -16 >= -315 @ 0.630693 0.78/0.82 c bounds -16 >= -314 @ 0.631624 0.78/0.82 c bounds -16 >= -313 @ 0.63269 0.78/0.82 c bounds -16 >= -312 @ 0.633784 0.78/0.82 c bounds -16 >= -311 @ 0.63447 0.78/0.82 c bounds -16 >= -310 @ 0.63447 0.78/0.82 c bounds -16 >= -309 @ 0.634471 0.78/0.82 c bounds -16 >= -308 @ 0.634471 0.78/0.82 c bounds -16 >= -307 @ 0.634471 0.78/0.82 c bounds -16 >= -306 @ 0.634471 0.78/0.82 c bounds -16 >= -305 @ 0.634471 0.78/0.82 c bounds -16 >= -304 @ 0.634471 0.78/0.82 c bounds -16 >= -303 @ 0.63469 0.78/0.82 c bounds -16 >= -302 @ 0.635932 0.78/0.82 c bounds -16 >= -301 @ 0.636462 0.78/0.82 c bounds -16 >= -300 @ 0.636462 0.78/0.82 c bounds -16 >= -299 @ 0.636462 0.78/0.82 c bounds -16 >= -298 @ 0.636462 0.78/0.82 c bounds -16 >= -297 @ 0.636462 0.78/0.82 c bounds -16 >= -296 @ 0.636462 0.78/0.82 c bounds -16 >= -295 @ 0.636462 0.78/0.82 c bounds -16 >= -294 @ 0.636697 0.78/0.82 c bounds -16 >= -293 @ 0.637626 0.78/0.82 c bounds -17 >= -293 @ 0.638326 0.78/0.82 c bounds -17 >= -292 @ 0.638453 0.78/0.82 c bounds -17 >= -291 @ 0.638455 0.78/0.82 c bounds -17 >= -290 @ 0.638455 0.78/0.82 c bounds -17 >= -289 @ 0.63961 0.78/0.82 c bounds -17 >= -288 @ 0.640448 0.78/0.82 c bounds -17 >= -287 @ 0.640448 0.78/0.82 c bounds -17 >= -286 @ 0.641123 0.78/0.82 c bounds -17 >= -285 @ 0.642037 0.78/0.82 c bounds -17 >= -284 @ 0.642442 0.78/0.82 c bounds -18 >= -284 @ 0.64301 0.78/0.82 c bounds -18 >= -283 @ 0.643438 0.78/0.82 c bounds -18 >= -282 @ 0.643438 0.78/0.82 c bounds -18 >= -281 @ 0.64379 0.78/0.82 c bounds -18 >= -280 @ 0.644687 0.78/0.82 c bounds -18 >= -279 @ 0.645597 0.78/0.82 c bounds -18 >= -278 @ 0.646454 0.78/0.82 c bounds -18 >= -277 @ 0.647267 0.78/0.82 c bounds -19 >= -277 @ 0.64781 0.78/0.82 c bounds -19 >= -276 @ 0.648425 0.78/0.82 c bounds -19 >= -275 @ 0.648659 0.78/0.82 c bounds -19 >= -274 @ 0.649417 0.78/0.82 c bounds -20 >= -274 @ 0.650015 0.78/0.82 c bounds -20 >= -273 @ 0.650416 0.78/0.82 c bounds -20 >= -272 @ 0.650417 0.78/0.82 c bounds -21 >= -272 @ 0.65092 0.78/0.82 c bounds -21 >= -271 @ 0.651573 0.78/0.82 c bounds -21 >= -270 @ 0.652438 0.78/0.82 c bounds -21 >= -269 @ 0.653325 0.78/0.82 c bounds -21 >= -268 @ 0.653407 0.78/0.82 c bounds -21 >= -267 @ 0.654097 0.78/0.82 c bounds -22 >= -267 @ 0.654926 0.78/0.82 c bounds -22 >= -266 @ 0.655538 0.78/0.82 c bounds -22 >= -265 @ 0.656129 0.78/0.82 c bounds -22 >= -264 @ 0.656987 0.78/0.82 c bounds -22 >= -263 @ 0.658002 0.78/0.82 c bounds -22 >= -262 @ 0.65886 0.78/0.82 c bounds -22 >= -261 @ 0.659284 0.78/0.82 c bounds -23 >= -261 @ 0.659496 1.27/1.32 c bounds -23 >= -260 @ 0.66028 1.27/1.32 c bounds -23 >= -259 @ 0.660298 1.27/1.32 c bounds -23 >= -258 @ 0.6603 1.27/1.32 c bounds -24 >= -258 @ 0.660505 1.27/1.32 c bounds -24 >= -257 @ 0.661289 1.27/1.32 c bounds -24 >= -256 @ 0.661538 1.27/1.32 c bounds -25 >= -256 @ 0.663452 1.27/1.32 c bounds -25 >= -255 @ 0.664013 1.27/1.32 c bounds -25 >= -254 @ 0.664561 1.27/1.32 c bounds -25 >= -253 @ 0.665341 1.27/1.32 c bounds -25 >= -252 @ 0.666082 1.27/1.32 c bounds -25 >= -251 @ 0.666271 1.27/1.32 c bounds -25 >= -250 @ 0.666271 1.27/1.32 c bounds -25 >= -249 @ 0.66649 1.27/1.32 c bounds -25 >= -248 @ 0.66722 1.27/1.32 c bounds -25 >= -247 @ 0.667269 1.27/1.32 c bounds -25 >= -246 @ 0.667269 1.27/1.32 c bounds -25 >= -245 @ 0.667269 1.27/1.32 c bounds -25 >= -244 @ 0.667269 1.27/1.32 c bounds -26 >= -244 @ 0.66727 1.27/1.32 c bounds -26 >= -243 @ 0.66727 1.27/1.32 c bounds -26 >= -242 @ 0.66727 1.27/1.32 c bounds -26 >= -241 @ 0.667477 1.27/1.32 c bounds -26 >= -240 @ 0.668129 1.27/1.32 c bounds -27 >= -240 @ 0.67205 1.27/1.32 c bounds -27 >= -239 @ 0.672243 1.27/1.32 c bounds -27 >= -238 @ 0.67319 1.27/1.32 c bounds -27 >= -237 @ 0.673477 1.27/1.32 c bounds -27 >= -236 @ 0.674049 1.27/1.32 c bounds -27 >= -235 @ 0.674234 1.27/1.32 c bounds -27 >= -234 @ 0.67466 1.27/1.32 c bounds -27 >= -233 @ 0.675382 1.27/1.32 c bounds -27 >= -232 @ 0.676374 1.27/1.32 c bounds -27 >= -231 @ 0.677328 1.27/1.32 c bounds -27 >= -230 @ 0.678445 1.27/1.32 c bounds -27 >= -229 @ 0.679276 1.27/1.32 c bounds -27 >= -228 @ 0.680211 1.27/1.32 c bounds -27 >= -227 @ 0.680409 1.27/1.32 c bounds -27 >= -226 @ 0.680981 1.27/1.32 c bounds -27 >= -225 @ 0.681628 1.27/1.32 c bounds -27 >= -224 @ 0.682279 1.27/1.32 c bounds -27 >= -223 @ 0.682949 1.27/1.32 c bounds -27 >= -222 @ 0.683202 1.27/1.32 c bounds -27 >= -221 @ 0.684021 1.27/1.32 c bounds -27 >= -220 @ 0.684199 1.27/1.32 c bounds -27 >= -219 @ 0.684199 1.27/1.32 c bounds -27 >= -218 @ 0.685193 1.27/1.32 c bounds -27 >= -217 @ 0.685194 1.27/1.32 c bounds -27 >= -216 @ 0.685194 1.27/1.32 c bounds -28 >= -216 @ 0.685194 1.27/1.32 c bounds -28 >= -215 @ 0.778473 1.27/1.32 c bounds -29 >= -215 @ 0.779105 1.27/1.32 c bounds -29 >= -214 @ 0.780374 1.27/1.32 c bounds -30 >= -214 @ 0.781171 1.27/1.32 c bounds -30 >= -213 @ 0.782078 1.27/1.32 c bounds -30 >= -212 @ 0.783225 1.27/1.32 c bounds -31 >= -212 @ 0.784382 1.27/1.32 c bounds -31 >= -211 @ 0.785565 1.27/1.32 c bounds -31 >= -210 @ 0.7859 1.27/1.32 c bounds -31 >= -209 @ 0.786759 1.27/1.32 c #Conflicts: 1000 | #Constraints: 44119 1.27/1.32 c #Conflicts: 2000 | #Constraints: 45131 1.27/1.32 c INPROCESSING 1.27/1.32 c GARBAGE COLLECT 1.27/1.32 c rational objective -209 1.78/1.83 c bounds -31 >= -208 @ 1.14232 1.78/1.83 c bounds -31 >= -207 @ 1.14321 1.78/1.83 c bounds -31 >= -206 @ 1.14352 1.78/1.83 c bounds -31 >= -205 @ 1.14352 1.78/1.83 c bounds -31 >= -204 @ 1.14352 1.78/1.83 c bounds -31 >= -203 @ 1.14371 1.78/1.83 c bounds -31 >= -202 @ 1.14452 1.78/1.83 c bounds -31 >= -201 @ 1.14453 1.78/1.83 c bounds -31 >= -200 @ 1.14453 1.78/1.83 c bounds -31 >= -199 @ 1.2374 1.78/1.83 c bounds -31 >= -198 @ 1.23853 1.78/1.83 c bounds -31 >= -197 @ 1.23947 1.78/1.83 c bounds -31 >= -196 @ 1.24016 1.78/1.83 c bounds -31 >= -195 @ 1.24039 1.78/1.83 c bounds -31 >= -194 @ 1.24116 1.78/1.83 c bounds -31 >= -193 @ 1.24144 1.78/1.83 c bounds -31 >= -192 @ 1.24306 1.78/1.83 c bounds -31 >= -191 @ 1.24341 1.78/1.83 c bounds -31 >= -190 @ 1.24463 1.78/1.83 c bounds -31 >= -189 @ 1.24514 1.78/1.83 c bounds -31 >= -188 @ 1.24607 1.78/1.83 c bounds -31 >= -187 @ 1.247 1.78/1.83 c bounds -31 >= -186 @ 1.24788 1.78/1.83 c bounds -31 >= -185 @ 1.24813 1.78/1.83 c bounds -31 >= -184 @ 1.24813 1.78/1.83 c bounds -31 >= -183 @ 1.24813 1.78/1.83 c bounds -31 >= -182 @ 1.24855 1.78/1.83 c bounds -31 >= -181 @ 1.24998 1.78/1.83 c bounds -31 >= -180 @ 1.25033 1.78/1.83 c bounds -31 >= -179 @ 1.25128 1.78/1.83 c bounds -31 >= -178 @ 1.25211 1.78/1.83 c bounds -31 >= -177 @ 1.25336 1.78/1.83 c bounds -31 >= -176 @ 1.25411 1.78/1.83 c bounds -31 >= -175 @ 1.25411 1.78/1.83 c bounds -31 >= -174 @ 1.25429 1.78/1.83 c bounds -31 >= -173 @ 1.25516 1.78/1.83 c bounds -31 >= -172 @ 1.25604 1.78/1.83 c bounds -31 >= -171 @ 1.25629 1.78/1.83 c bounds -31 >= -170 @ 1.25807 1.78/1.83 c bounds -31 >= -169 @ 1.2601 1.78/1.83 c bounds -31 >= -168 @ 1.26043 1.78/1.83 c bounds -31 >= -167 @ 1.26179 1.78/1.83 c bounds -31 >= -166 @ 1.26359 1.78/1.83 c bounds -31 >= -165 @ 1.26548 1.78/1.83 c bounds -31 >= -164 @ 1.26944 1.78/1.83 c bounds -31 >= -163 @ 1.27181 1.78/1.83 c bounds -31 >= -162 @ 1.27455 1.78/1.83 c #Conflicts: 3000 | #Constraints: 44964 1.78/1.83 c bounds -31 >= -161 @ 1.2822 1.78/1.83 c bounds -31 >= -160 @ 1.36957 1.78/1.83 c bounds -31 >= -159 @ 1.37315 1.78/1.83 c bounds -31 >= -158 @ 1.37377 1.78/1.83 c bounds -31 >= -157 @ 1.37443 1.78/1.83 c bounds -31 >= -156 @ 1.37797 1.78/1.83 c bounds -31 >= -155 @ 1.38467 1.78/1.83 c bounds -31 >= -154 @ 1.39051 1.78/1.83 c bounds -31 >= -153 @ 1.39319 1.78/1.83 c bounds -31 >= -152 @ 1.40587 1.78/1.83 c bounds -31 >= -151 @ 1.48665 1.78/1.83 c #Conflicts: 4000 | #Constraints: 46120 1.78/1.83 c INPROCESSING 1.78/1.83 c GARBAGE COLLECT 1.78/1.83 c rational objective -151 2.57/2.69 c bounds -31 >= -150 @ 1.58873 2.57/2.69 c bounds -31 >= -149 @ 1.5984 2.57/2.69 c bounds -31 >= -148 @ 1.68258 2.57/2.69 c #Conflicts: 5000 | #Constraints: 45740 2.57/2.69 c bounds -31 >= -147 @ 1.69172 2.57/2.69 c bounds -31 >= -146 @ 1.79661 2.57/2.69 c #Conflicts: 6000 | #Constraints: 46761 2.57/2.69 c bounds -31 >= -145 @ 1.81209 2.57/2.69 c bounds -31 >= -144 @ 1.8243 2.57/2.69 c bounds -31 >= -143 @ 1.89835 2.57/2.69 c bounds -31 >= -142 @ 1.91831 2.57/2.69 c bounds -31 >= -141 @ 1.92039 2.57/2.69 c bounds -31 >= -140 @ 1.92091 2.57/2.69 c #Conflicts: 7000 | #Constraints: 47833 2.57/2.69 c bounds -31 >= -139 @ 1.92587 2.57/2.69 c bounds -31 >= -138 @ 2.0127 2.57/2.69 c bounds -31 >= -137 @ 2.03502 2.57/2.69 c #Conflicts: 8000 | #Constraints: 48902 2.57/2.69 c bounds -31 >= -136 @ 2.12284 2.57/2.69 c bounds -31 >= -135 @ 2.1356 2.57/2.69 c bounds -31 >= -134 @ 2.20488 2.57/2.69 c bounds -31 >= -133 @ 2.21683 2.57/2.69 c #Conflicts: 9000 | #Constraints: 49992 2.57/2.69 c bounds -31 >= -132 @ 2.29856 2.57/2.69 c INPROCESSING 2.57/2.69 c rational objective -132 4.87/4.90 c bounds -31 >= -131 @ 2.40218 4.87/4.90 c #Conflicts: 10000 | #Constraints: 47479 4.87/4.90 c bounds -31 >= -130 @ 2.53498 4.87/4.90 c #Conflicts: 11000 | #Constraints: 48518 4.87/4.90 c bounds -31 >= -129 @ 2.78275 4.87/4.90 c #Conflicts: 12000 | #Constraints: 49536 4.87/4.90 c bounds -31 >= -128 @ 2.90947 4.87/4.90 c #Conflicts: 13000 | #Constraints: 50560 4.87/4.90 c bounds -31 >= -127 @ 3.10414 4.87/4.90 c #Conflicts: 14000 | #Constraints: 51581 4.87/4.90 c #Conflicts: 15000 | #Constraints: 52612 4.87/4.90 c #Conflicts: 16000 | #Constraints: 53641 4.87/4.90 c INPROCESSING 4.87/4.90 c GARBAGE COLLECT 4.87/4.90 c rational objective -127 5.86/5.98 c #Conflicts: 17000 | #Constraints: 49252 5.86/5.98 c bounds -31 >= -126 @ 4.78467 5.86/5.98 c #Conflicts: 18000 | #Constraints: 50267 5.86/5.98 c bounds -31 >= -125 @ 4.94286 5.86/5.98 c bounds -31 >= -124 @ 5.03249 5.86/5.98 c #Conflicts: 19000 | #Constraints: 51315 5.86/5.98 c #Conflicts: 20000 | #Constraints: 52315 5.86/5.98 c bounds -31 >= -123 @ 5.45677 5.86/5.98 c #Conflicts: 21000 | #Constraints: 53339 5.86/5.98 c INPROCESSING 5.86/5.98 c GARBAGE COLLECT 5.86/5.98 c rational objective -123 10.15/10.24 c #Conflicts: 22000 | #Constraints: 50258 10.15/10.24 c bounds -31 >= -122 @ 6.07208 10.15/10.24 c #Conflicts: 23000 | #Constraints: 51294 10.15/10.24 c #Conflicts: 24000 | #Constraints: 52294 10.15/10.24 c bounds -31 >= -121 @ 6.84975 10.15/10.24 c #Conflicts: 25000 | #Constraints: 53315 10.15/10.24 c #Conflicts: 26000 | #Constraints: 54315 10.15/10.24 c #Conflicts: 27000 | #Constraints: 55315 10.15/10.24 c #Conflicts: 28000 | #Constraints: 56315 10.15/10.24 c bounds -31 >= -120 @ 8.66541 10.15/10.24 c #Conflicts: 29000 | #Constraints: 57336 10.15/10.24 c #Conflicts: 30000 | #Constraints: 58336 10.15/10.24 c #Conflicts: 31000 | #Constraints: 59336 10.15/10.24 c INPROCESSING 10.15/10.24 c GARBAGE COLLECT 10.15/10.24 c rational objective -120 19.61/19.77 c #Conflicts: 32000 | #Constraints: 52282 19.61/19.77 c #Conflicts: 33000 | #Constraints: 53320 19.61/19.77 c #Conflicts: 34000 | #Constraints: 54363 19.61/19.77 c #Conflicts: 35000 | #Constraints: 55397 19.61/19.77 c #Conflicts: 36000 | #Constraints: 56447 19.61/19.77 c #Conflicts: 37000 | #Constraints: 57484 19.61/19.77 c #Conflicts: 38000 | #Constraints: 58518 19.61/19.77 c #Conflicts: 39000 | #Constraints: 59554 19.61/19.77 c #Conflicts: 40000 | #Constraints: 60581 19.61/19.77 c #Conflicts: 41000 | #Constraints: 61617 19.61/19.77 c #Conflicts: 42000 | #Constraints: 62651 19.61/19.77 c #Conflicts: 43000 | #Constraints: 63671 19.61/19.77 c INPROCESSING 19.61/19.77 c GARBAGE COLLECT 19.61/19.77 c rational objective -120 23.20/23.39 c #Conflicts: 44000 | #Constraints: 54454 23.20/23.39 c #Conflicts: 45000 | #Constraints: 55454 23.20/23.39 c #Conflicts: 46000 | #Constraints: 56454 23.20/23.39 c #Conflicts: 47000 | #Constraints: 57454 23.20/23.39 c bounds -31 >= -119 @ 21.4101 23.20/23.39 c #Conflicts: 48000 | #Constraints: 58484 23.20/23.39 c #Conflicts: 49000 | #Constraints: 59484 23.20/23.39 c #Conflicts: 50000 | #Constraints: 60484 23.20/23.39 c INPROCESSING 23.20/23.39 c GARBAGE COLLECT 23.20/23.39 c rational objective -119 32.76/32.93 c #Conflicts: 51000 | #Constraints: 52952 32.76/32.93 c #Conflicts: 52000 | #Constraints: 53952 32.76/32.93 c #Conflicts: 53000 | #Constraints: 54952 32.76/32.93 c #Conflicts: 54000 | #Constraints: 55952 32.76/32.93 c #Conflicts: 55000 | #Constraints: 56952 32.76/32.93 c #Conflicts: 56000 | #Constraints: 57952 32.76/32.93 c #Conflicts: 57000 | #Constraints: 58952 32.76/32.93 c bounds -31 >= -118 @ 26.4274 32.76/32.93 c #Conflicts: 58000 | #Constraints: 59982 32.76/32.93 c #Conflicts: 59000 | #Constraints: 60982 32.76/32.93 c #Conflicts: 60000 | #Constraints: 61982 32.76/32.93 c #Conflicts: 61000 | #Constraints: 62982 32.76/32.93 c #Conflicts: 62000 | #Constraints: 63982 32.76/32.93 c #Conflicts: 63000 | #Constraints: 64982 32.76/32.93 c #Conflicts: 64000 | #Constraints: 65982 32.76/32.93 c #Conflicts: 65000 | #Constraints: 66982 32.76/32.93 c INPROCESSING 32.76/32.93 c GARBAGE COLLECT 32.76/32.93 c rational objective -118 38.35/38.57 c #Conflicts: 66000 | #Constraints: 56103 38.35/38.57 c #Conflicts: 67000 | #Constraints: 57103 38.35/38.57 c #Conflicts: 68000 | #Constraints: 58103 38.35/38.57 c #Conflicts: 69000 | #Constraints: 59103 38.35/38.57 c #Conflicts: 70000 | #Constraints: 60103 38.35/38.57 c #Conflicts: 71000 | #Constraints: 61103 38.35/38.57 c bounds -31 >= -117 @ 35.8888 38.35/38.57 c #Conflicts: 72000 | #Constraints: 62118 38.35/38.57 c #Conflicts: 73000 | #Constraints: 63118 38.35/38.57 c #Conflicts: 74000 | #Constraints: 64118 38.35/38.57 c INPROCESSING 38.35/38.57 c GARBAGE COLLECT 38.35/38.57 c rational objective -117 49.99/50.25 c #Conflicts: 75000 | #Constraints: 55053 49.99/50.25 c #Conflicts: 76000 | #Constraints: 56053 49.99/50.25 c #Conflicts: 77000 | #Constraints: 57053 49.99/50.25 c #Conflicts: 78000 | #Constraints: 58053 49.99/50.25 c #Conflicts: 79000 | #Constraints: 59053 49.99/50.25 c #Conflicts: 80000 | #Constraints: 60053 49.99/50.25 c #Conflicts: 81000 | #Constraints: 61053 49.99/50.25 c #Conflicts: 82000 | #Constraints: 62053 49.99/50.25 c #Conflicts: 83000 | #Constraints: 63053 49.99/50.25 c #Conflicts: 84000 | #Constraints: 64053 49.99/50.25 c #Conflicts: 85000 | #Constraints: 65053 49.99/50.25 c #Conflicts: 86000 | #Constraints: 66053 49.99/50.25 c #Conflicts: 87000 | #Constraints: 67053 49.99/50.25 c #Conflicts: 88000 | #Constraints: 68053 49.99/50.25 c bounds -31 >= -116 @ 46.3754 49.99/50.25 c #Conflicts: 89000 | #Constraints: 69083 49.99/50.25 c #Conflicts: 90000 | #Constraints: 70083 49.99/50.25 c #Conflicts: 91000 | #Constraints: 71083 49.99/50.25 c #Conflicts: 92000 | #Constraints: 72083 49.99/50.25 c INPROCESSING 49.99/50.25 c GARBAGE COLLECT 49.99/50.25 c rational objective -116 56.69/57.04 c #Conflicts: 93000 | #Constraints: 58823 56.69/57.04 c #Conflicts: 94000 | #Constraints: 59823 56.69/57.04 c #Conflicts: 95000 | #Constraints: 60823 56.69/57.04 c #Conflicts: 96000 | #Constraints: 61823 56.69/57.04 c #Conflicts: 97000 | #Constraints: 62823 56.69/57.04 c #Conflicts: 98000 | #Constraints: 63823 56.69/57.04 c #Conflicts: 99000 | #Constraints: 64823 56.69/57.04 c #Conflicts: 100000 | #Constraints: 65823 56.69/57.04 c #Conflicts: 101000 | #Constraints: 66823 56.69/57.04 c #Conflicts: 102000 | #Constraints: 67823 56.69/57.04 c INPROCESSING 56.69/57.04 c GARBAGE COLLECT 56.69/57.04 c rational objective -116 73.24/73.66 c #Conflicts: 103000 | #Constraints: 57343 73.24/73.66 c #Conflicts: 104000 | #Constraints: 58377 73.24/73.66 c #Conflicts: 105000 | #Constraints: 59434 73.24/73.66 c bounds -32 >= -116 @ 57.5339 73.24/73.66 c #Conflicts: 106000 | #Constraints: 60466 73.24/73.66 c #Conflicts: 107000 | #Constraints: 61466 73.24/73.66 c #Conflicts: 108000 | #Constraints: 62466 73.24/73.66 c #Conflicts: 109000 | #Constraints: 63466 73.24/73.66 c #Conflicts: 110000 | #Constraints: 64466 73.24/73.66 c #Conflicts: 111000 | #Constraints: 65466 73.24/73.66 c #Conflicts: 112000 | #Constraints: 66466 73.24/73.66 c #Conflicts: 113000 | #Constraints: 67466 73.24/73.66 c #Conflicts: 114000 | #Constraints: 68466 73.24/73.66 c #Conflicts: 115000 | #Constraints: 69466 73.24/73.66 c #Conflicts: 116000 | #Constraints: 70466 73.24/73.66 c bounds -32 >= -115 @ 66.3486 73.24/73.66 c #Conflicts: 117000 | #Constraints: 71497 73.24/73.66 c #Conflicts: 118000 | #Constraints: 72520 73.24/73.66 c #Conflicts: 119000 | #Constraints: 73556 73.24/73.66 c #Conflicts: 120000 | #Constraints: 74594 73.24/73.66 c #Conflicts: 121000 | #Constraints: 75627 73.24/73.66 c #Conflicts: 122000 | #Constraints: 76670 73.24/73.66 c #Conflicts: 123000 | #Constraints: 77712 73.24/73.66 c INPROCESSING 73.24/73.66 c GARBAGE COLLECT 73.24/73.66 c rational objective -115 81.50/82.00 c #Conflicts: 124000 | #Constraints: 61497 81.50/82.00 c #Conflicts: 125000 | #Constraints: 62497 81.50/82.00 c #Conflicts: 126000 | #Constraints: 63497 81.50/82.00 c #Conflicts: 127000 | #Constraints: 64497 81.50/82.00 c #Conflicts: 128000 | #Constraints: 65497 81.50/82.00 c #Conflicts: 129000 | #Constraints: 66497 81.50/82.00 c #Conflicts: 130000 | #Constraints: 67497 81.50/82.00 c #Conflicts: 131000 | #Constraints: 68497 81.50/82.00 c #Conflicts: 132000 | #Constraints: 69497 81.50/82.00 c #Conflicts: 133000 | #Constraints: 70497 81.50/82.00 c #Conflicts: 134000 | #Constraints: 71497 81.50/82.00 c INPROCESSING 81.50/82.00 c GARBAGE COLLECT 81.50/82.00 c rational objective -115 100.75/101.37 c #Conflicts: 135000 | #Constraints: 58749 100.75/101.37 c #Conflicts: 136000 | #Constraints: 59749 100.75/101.37 c #Conflicts: 137000 | #Constraints: 60749 100.75/101.37 c #Conflicts: 138000 | #Constraints: 61749 100.75/101.37 c #Conflicts: 139000 | #Constraints: 62749 100.75/101.37 c #Conflicts: 140000 | #Constraints: 63749 100.75/101.37 c #Conflicts: 141000 | #Constraints: 64749 100.75/101.37 c #Conflicts: 142000 | #Constraints: 65749 100.75/101.37 c #Conflicts: 143000 | #Constraints: 66749 100.75/101.37 c #Conflicts: 144000 | #Constraints: 67749 100.75/101.37 c #Conflicts: 145000 | #Constraints: 68749 100.75/101.37 c #Conflicts: 146000 | #Constraints: 69749 100.75/101.37 c #Conflicts: 147000 | #Constraints: 70749 100.75/101.37 c #Conflicts: 148000 | #Constraints: 71749 100.75/101.37 c #Conflicts: 149000 | #Constraints: 72749 100.75/101.37 c #Conflicts: 150000 | #Constraints: 73749 100.75/101.37 c #Conflicts: 151000 | #Constraints: 74749 100.75/101.37 c #Conflicts: 152000 | #Constraints: 75749 100.75/101.37 c bounds -32 >= -114 @ 94.0124 100.75/101.37 c #Conflicts: 153000 | #Constraints: 76801 100.75/101.37 c #Conflicts: 154000 | #Constraints: 77836 100.75/101.37 c #Conflicts: 155000 | #Constraints: 78869 100.75/101.37 c #Conflicts: 156000 | #Constraints: 79903 100.75/101.37 c #Conflicts: 157000 | #Constraints: 80953 100.75/101.37 c #Conflicts: 158000 | #Constraints: 82011 100.75/101.37 c #Conflicts: 159000 | #Constraints: 83059 100.75/101.37 c INPROCESSING 100.75/101.37 c GARBAGE COLLECT 100.75/101.37 c rational objective -114 110.42/111.07 c #Conflicts: 160000 | #Constraints: 64495 110.42/111.07 c #Conflicts: 161000 | #Constraints: 65533 110.42/111.07 c #Conflicts: 162000 | #Constraints: 66574 110.42/111.07 c #Conflicts: 163000 | #Constraints: 67605 110.42/111.07 c #Conflicts: 164000 | #Constraints: 68636 110.42/111.07 c #Conflicts: 165000 | #Constraints: 69663 110.42/111.07 c #Conflicts: 166000 | #Constraints: 70685 110.42/111.07 c #Conflicts: 167000 | #Constraints: 71726 110.42/111.07 c #Conflicts: 168000 | #Constraints: 72774 110.42/111.07 c #Conflicts: 169000 | #Constraints: 73830 110.42/111.07 c #Conflicts: 170000 | #Constraints: 74887 110.42/111.07 c #Conflicts: 171000 | #Constraints: 75953 110.42/111.07 c INPROCESSING 110.42/111.07 c GARBAGE COLLECT 110.42/111.07 c rational objective -114 135.93/136.67 c #Conflicts: 172000 | #Constraints: 60822 135.93/136.67 c #Conflicts: 173000 | #Constraints: 61822 135.93/136.67 c #Conflicts: 174000 | #Constraints: 62822 135.93/136.67 c #Conflicts: 175000 | #Constraints: 63822 135.93/136.67 c #Conflicts: 176000 | #Constraints: 64822 135.93/136.67 c #Conflicts: 177000 | #Constraints: 65822 135.93/136.67 c #Conflicts: 178000 | #Constraints: 66822 135.93/136.67 c #Conflicts: 179000 | #Constraints: 67822 135.93/136.67 c #Conflicts: 180000 | #Constraints: 68822 135.93/136.67 c #Conflicts: 181000 | #Constraints: 69822 135.93/136.67 c #Conflicts: 182000 | #Constraints: 70822 135.93/136.67 c #Conflicts: 183000 | #Constraints: 71822 135.93/136.67 c #Conflicts: 184000 | #Constraints: 72822 135.93/136.67 c #Conflicts: 185000 | #Constraints: 73822 135.93/136.67 c #Conflicts: 186000 | #Constraints: 74822 135.93/136.67 c #Conflicts: 187000 | #Constraints: 75822 135.93/136.67 c #Conflicts: 188000 | #Constraints: 76822 135.93/136.67 c #Conflicts: 189000 | #Constraints: 77822 135.93/136.67 c #Conflicts: 190000 | #Constraints: 78822 135.93/136.67 c #Conflicts: 191000 | #Constraints: 79822 135.93/136.67 c #Conflicts: 192000 | #Constraints: 80822 135.93/136.67 c bounds -32 >= -113 @ 127.224 135.93/136.67 c #Conflicts: 193000 | #Constraints: 81858 135.93/136.67 c #Conflicts: 194000 | #Constraints: 82858 135.93/136.67 c #Conflicts: 195000 | #Constraints: 83858 135.93/136.67 c #Conflicts: 196000 | #Constraints: 84858 135.93/136.67 c #Conflicts: 197000 | #Constraints: 85858 135.93/136.67 c #Conflicts: 198000 | #Constraints: 86858 135.93/136.67 c INPROCESSING 135.93/136.67 c GARBAGE COLLECT 135.93/136.67 c rational objective -113 145.40/146.13 c bounds -33 >= -113 @ 133.58 145.40/146.13 c #Conflicts: 199000 | #Constraints: 65958 145.40/146.13 c #Conflicts: 200000 | #Constraints: 66984 145.40/146.13 c #Conflicts: 201000 | #Constraints: 68017 145.40/146.13 c #Conflicts: 202000 | #Constraints: 69052 145.40/146.13 c #Conflicts: 203000 | #Constraints: 70086 145.40/146.13 c #Conflicts: 204000 | #Constraints: 71118 145.40/146.13 c #Conflicts: 205000 | #Constraints: 72148 145.40/146.13 c #Conflicts: 206000 | #Constraints: 73174 145.40/146.13 c #Conflicts: 207000 | #Constraints: 74187 145.40/146.13 c #Conflicts: 208000 | #Constraints: 75198 145.40/146.13 c #Conflicts: 209000 | #Constraints: 76223 145.40/146.13 c #Conflicts: 210000 | #Constraints: 77247 145.40/146.13 c #Conflicts: 211000 | #Constraints: 78268 145.40/146.13 c #Conflicts: 212000 | #Constraints: 79290 145.40/146.13 c INPROCESSING 145.40/146.13 c GARBAGE COLLECT 145.40/146.13 c rational objective -113 171.51/172.31 c #Conflicts: 213000 | #Constraints: 62383 171.51/172.31 c #Conflicts: 214000 | #Constraints: 63383 171.51/172.31 c #Conflicts: 215000 | #Constraints: 64383 171.51/172.31 c #Conflicts: 216000 | #Constraints: 65383 171.51/172.31 c #Conflicts: 217000 | #Constraints: 66383 171.51/172.31 c #Conflicts: 218000 | #Constraints: 67383 171.51/172.31 c #Conflicts: 219000 | #Constraints: 68383 171.51/172.31 c #Conflicts: 220000 | #Constraints: 69383 171.51/172.31 c #Conflicts: 221000 | #Constraints: 70383 171.51/172.31 c #Conflicts: 222000 | #Constraints: 71383 171.51/172.31 c #Conflicts: 223000 | #Constraints: 72383 171.51/172.31 c #Conflicts: 224000 | #Constraints: 73383 171.51/172.31 c #Conflicts: 225000 | #Constraints: 74383 171.51/172.31 c #Conflicts: 226000 | #Constraints: 75383 171.51/172.31 c #Conflicts: 227000 | #Constraints: 76383 171.51/172.31 c #Conflicts: 228000 | #Constraints: 77383 171.51/172.31 c #Conflicts: 229000 | #Constraints: 78383 171.51/172.31 c #Conflicts: 230000 | #Constraints: 79383 171.51/172.31 c #Conflicts: 231000 | #Constraints: 80383 171.51/172.31 c #Conflicts: 232000 | #Constraints: 81383 171.51/172.31 c #Conflicts: 233000 | #Constraints: 82383 171.51/172.31 c #Conflicts: 234000 | #Constraints: 83383 171.51/172.31 c #Conflicts: 235000 | #Constraints: 84383 171.51/172.31 c #Conflicts: 236000 | #Constraints: 85383 171.51/172.31 c #Conflicts: 237000 | #Constraints: 86383 171.51/172.31 c bounds -33 >= -112 @ 162.695 171.51/172.31 c #Conflicts: 238000 | #Constraints: 87401 171.51/172.31 c #Conflicts: 239000 | #Constraints: 88401 171.51/172.31 c #Conflicts: 240000 | #Constraints: 89401 171.51/172.31 c #Conflicts: 241000 | #Constraints: 90401 171.51/172.31 c #Conflicts: 242000 | #Constraints: 91401 171.51/172.31 c #Conflicts: 243000 | #Constraints: 92401 171.51/172.31 c INPROCESSING 171.51/172.31 c GARBAGE COLLECT 171.51/172.31 c rational objective -112 186.94/187.80 c #Conflicts: 244000 | #Constraints: 68873 186.94/187.80 c #Conflicts: 245000 | #Constraints: 69908 186.94/187.80 c #Conflicts: 246000 | #Constraints: 70943 186.94/187.80 c #Conflicts: 247000 | #Constraints: 71976 186.94/187.80 c #Conflicts: 248000 | #Constraints: 73014 186.94/187.80 c #Conflicts: 249000 | #Constraints: 74044 186.94/187.80 c #Conflicts: 250000 | #Constraints: 75073 186.94/187.80 c #Conflicts: 251000 | #Constraints: 76127 186.94/187.80 c #Conflicts: 252000 | #Constraints: 77159 186.94/187.80 c #Conflicts: 253000 | #Constraints: 78198 186.94/187.80 c #Conflicts: 254000 | #Constraints: 79233 186.94/187.80 c #Conflicts: 255000 | #Constraints: 80280 186.94/187.80 c #Conflicts: 256000 | #Constraints: 81323 186.94/187.80 c #Conflicts: 257000 | #Constraints: 82364 186.94/187.80 c #Conflicts: 258000 | #Constraints: 83406 186.94/187.80 c INPROCESSING 186.94/187.80 c GARBAGE COLLECT 186.94/187.80 c rational objective -112 218.93/219.93 c #Conflicts: 259000 | #Constraints: 64653 218.93/219.93 c #Conflicts: 260000 | #Constraints: 65653 218.93/219.93 c #Conflicts: 261000 | #Constraints: 66653 218.93/219.93 c #Conflicts: 262000 | #Constraints: 67653 218.93/219.93 c #Conflicts: 263000 | #Constraints: 68653 218.93/219.93 c #Conflicts: 264000 | #Constraints: 69653 218.93/219.93 c #Conflicts: 265000 | #Constraints: 70653 218.93/219.93 c #Conflicts: 266000 | #Constraints: 71653 218.93/219.93 c #Conflicts: 267000 | #Constraints: 72653 218.93/219.93 c #Conflicts: 268000 | #Constraints: 73653 218.93/219.93 c #Conflicts: 269000 | #Constraints: 74653 218.93/219.93 c #Conflicts: 270000 | #Constraints: 75653 218.93/219.93 c #Conflicts: 271000 | #Constraints: 76653 218.93/219.93 c #Conflicts: 272000 | #Constraints: 77653 218.93/219.93 c #Conflicts: 273000 | #Constraints: 78653 218.93/219.93 c #Conflicts: 274000 | #Constraints: 79653 218.93/219.93 c #Conflicts: 275000 | #Constraints: 80653 218.93/219.93 c #Conflicts: 276000 | #Constraints: 81653 218.93/219.93 c #Conflicts: 277000 | #Constraints: 82653 218.93/219.93 c #Conflicts: 278000 | #Constraints: 83653 218.93/219.93 c #Conflicts: 279000 | #Constraints: 84653 218.93/219.93 c #Conflicts: 280000 | #Constraints: 85653 218.93/219.93 c #Conflicts: 281000 | #Constraints: 86653 218.93/219.93 c #Conflicts: 282000 | #Constraints: 87653 218.93/219.93 c #Conflicts: 283000 | #Constraints: 88653 218.93/219.93 c #Conflicts: 284000 | #Constraints: 89653 218.93/219.93 c #Conflicts: 285000 | #Constraints: 90653 218.93/219.93 c #Conflicts: 286000 | #Constraints: 91653 218.93/219.93 c #Conflicts: 287000 | #Constraints: 92653 218.93/219.93 c #Conflicts: 288000 | #Constraints: 93653 218.93/219.93 c #Conflicts: 289000 | #Constraints: 94653 218.93/219.93 c #Conflicts: 290000 | #Constraints: 95653 218.93/219.93 c #Conflicts: 291000 | #Constraints: 96653 218.93/219.93 c INPROCESSING 218.93/219.93 c GARBAGE COLLECT 218.93/219.93 c rational objective -112 236.98/238.07 c #Conflicts: 292000 | #Constraints: 70965 236.98/238.07 c #Conflicts: 293000 | #Constraints: 71988 236.98/238.07 c #Conflicts: 294000 | #Constraints: 73020 236.98/238.07 c #Conflicts: 295000 | #Constraints: 74054 236.98/238.07 c #Conflicts: 296000 | #Constraints: 75098 236.98/238.07 c #Conflicts: 297000 | #Constraints: 76143 236.98/238.07 c #Conflicts: 298000 | #Constraints: 77183 236.98/238.07 c #Conflicts: 299000 | #Constraints: 78221 236.98/238.07 c #Conflicts: 300000 | #Constraints: 79259 236.98/238.07 c #Conflicts: 301000 | #Constraints: 80302 236.98/238.07 c #Conflicts: 302000 | #Constraints: 81335 236.98/238.07 c #Conflicts: 303000 | #Constraints: 82377 236.98/238.07 c #Conflicts: 304000 | #Constraints: 83410 236.98/238.07 c #Conflicts: 305000 | #Constraints: 84447 236.98/238.07 c #Conflicts: 306000 | #Constraints: 85493 236.98/238.07 c #Conflicts: 307000 | #Constraints: 86530 236.98/238.07 c #Conflicts: 308000 | #Constraints: 87563 236.98/238.07 c INPROCESSING 236.98/238.07 c GARBAGE COLLECT 236.98/238.07 c rational objective -112 272.86/274.07 c #Conflicts: 309000 | #Constraints: 66725 272.86/274.07 c #Conflicts: 310000 | #Constraints: 67725 272.86/274.07 c #Conflicts: 311000 | #Constraints: 68725 272.86/274.07 c #Conflicts: 312000 | #Constraints: 69725 272.86/274.07 c #Conflicts: 313000 | #Constraints: 70725 272.86/274.07 c #Conflicts: 314000 | #Constraints: 71725 272.86/274.07 c #Conflicts: 315000 | #Constraints: 72725 272.86/274.07 c #Conflicts: 316000 | #Constraints: 73725 272.86/274.07 c #Conflicts: 317000 | #Constraints: 74725 272.86/274.07 c #Conflicts: 318000 | #Constraints: 75725 272.86/274.07 c #Conflicts: 319000 | #Constraints: 76725 272.86/274.07 c #Conflicts: 320000 | #Constraints: 77725 272.86/274.07 c #Conflicts: 321000 | #Constraints: 78725 272.86/274.07 c #Conflicts: 322000 | #Constraints: 79725 272.86/274.07 c #Conflicts: 323000 | #Constraints: 80725 272.86/274.07 c #Conflicts: 324000 | #Constraints: 81725 272.86/274.07 c #Conflicts: 325000 | #Constraints: 82725 272.86/274.07 c #Conflicts: 326000 | #Constraints: 83725 272.86/274.07 c #Conflicts: 327000 | #Constraints: 84725 272.86/274.07 c #Conflicts: 328000 | #Constraints: 85725 272.86/274.07 c #Conflicts: 329000 | #Constraints: 86725 272.86/274.07 c #Conflicts: 330000 | #Constraints: 87725 272.86/274.07 c #Conflicts: 331000 | #Constraints: 88725 272.86/274.07 c #Conflicts: 332000 | #Constraints: 89725 272.86/274.07 c #Conflicts: 333000 | #Constraints: 90725 272.86/274.07 c #Conflicts: 334000 | #Constraints: 91725 272.86/274.07 c bounds -33 >= -111 @ 257.663 272.86/274.07 c #Conflicts: 335000 | #Constraints: 92746 272.86/274.07 c #Conflicts: 336000 | #Constraints: 93746 272.86/274.07 c #Conflicts: 337000 | #Constraints: 94746 272.86/274.07 c #Conflicts: 338000 | #Constraints: 95746 272.86/274.07 c #Conflicts: 339000 | #Constraints: 96746 272.86/274.07 c #Conflicts: 340000 | #Constraints: 97746 272.86/274.07 c #Conflicts: 341000 | #Constraints: 98746 272.86/274.07 c #Conflicts: 342000 | #Constraints: 99746 272.86/274.07 c #Conflicts: 343000 | #Constraints: 100746 272.86/274.07 c #Conflicts: 344000 | #Constraints: 101746 272.86/274.07 c #Conflicts: 345000 | #Constraints: 102746 272.86/274.07 c INPROCESSING 272.86/274.07 c GARBAGE COLLECT 272.86/274.07 c rational objective -111 288.21/289.44 c #Conflicts: 346000 | #Constraints: 74439 288.21/289.44 c #Conflicts: 347000 | #Constraints: 75439 288.21/289.44 c #Conflicts: 348000 | #Constraints: 76439 288.21/289.44 c #Conflicts: 349000 | #Constraints: 77439 288.21/289.44 c #Conflicts: 350000 | #Constraints: 78439 288.21/289.44 c #Conflicts: 351000 | #Constraints: 79439 288.21/289.44 c #Conflicts: 352000 | #Constraints: 80439 288.21/289.44 c #Conflicts: 353000 | #Constraints: 81439 288.21/289.44 c #Conflicts: 354000 | #Constraints: 82439 288.21/289.44 c #Conflicts: 355000 | #Constraints: 83439 288.21/289.44 c #Conflicts: 356000 | #Constraints: 84439 288.21/289.44 c #Conflicts: 357000 | #Constraints: 85439 288.21/289.44 c #Conflicts: 358000 | #Constraints: 86439 288.21/289.44 c #Conflicts: 359000 | #Constraints: 87439 288.21/289.44 c #Conflicts: 360000 | #Constraints: 88439 288.21/289.44 c #Conflicts: 361000 | #Constraints: 89439 288.21/289.44 c #Conflicts: 362000 | #Constraints: 90439 288.21/289.44 c INPROCESSING 288.21/289.44 c GARBAGE COLLECT 288.21/289.44 c rational objective -111 325.29/326.60 c #Conflicts: 363000 | #Constraints: 68109 325.29/326.60 c #Conflicts: 364000 | #Constraints: 69109 325.29/326.60 c #Conflicts: 365000 | #Constraints: 70109 325.29/326.60 c #Conflicts: 366000 | #Constraints: 71109 325.29/326.60 c #Conflicts: 367000 | #Constraints: 72109 325.29/326.60 c #Conflicts: 368000 | #Constraints: 73109 325.29/326.60 c #Conflicts: 369000 | #Constraints: 74109 325.29/326.60 c #Conflicts: 370000 | #Constraints: 75109 325.29/326.60 c #Conflicts: 371000 | #Constraints: 76109 325.29/326.60 c #Conflicts: 372000 | #Constraints: 77109 325.29/326.60 c #Conflicts: 373000 | #Constraints: 78109 325.29/326.60 c #Conflicts: 374000 | #Constraints: 79109 325.29/326.60 c #Conflicts: 375000 | #Constraints: 80109 325.29/326.60 c #Conflicts: 376000 | #Constraints: 81109 325.29/326.60 c #Conflicts: 377000 | #Constraints: 82109 325.29/326.60 c #Conflicts: 378000 | #Constraints: 83109 325.29/326.60 c #Conflicts: 379000 | #Constraints: 84109 325.29/326.60 c #Conflicts: 380000 | #Constraints: 85109 325.29/326.60 c #Conflicts: 381000 | #Constraints: 86109 325.29/326.60 c #Conflicts: 382000 | #Constraints: 87109 325.29/326.60 c #Conflicts: 383000 | #Constraints: 88109 325.29/326.60 c #Conflicts: 384000 | #Constraints: 89109 325.29/326.60 c #Conflicts: 385000 | #Constraints: 90109 325.29/326.60 c #Conflicts: 386000 | #Constraints: 91109 325.29/326.60 c #Conflicts: 387000 | #Constraints: 92109 325.29/326.60 c #Conflicts: 388000 | #Constraints: 93109 325.29/326.60 c #Conflicts: 389000 | #Constraints: 94109 325.29/326.60 c #Conflicts: 390000 | #Constraints: 95109 325.29/326.60 c #Conflicts: 391000 | #Constraints: 96109 325.29/326.60 c #Conflicts: 392000 | #Constraints: 97109 325.29/326.60 c #Conflicts: 393000 | #Constraints: 98109 325.29/326.60 c #Conflicts: 394000 | #Constraints: 99109 325.29/326.60 c #Conflicts: 395000 | #Constraints: 100109 325.29/326.60 c #Conflicts: 396000 | #Constraints: 101109 325.29/326.60 c bounds -33 >= -110 @ 316.873 325.29/326.60 c #Conflicts: 397000 | #Constraints: 102136 325.29/326.60 c #Conflicts: 398000 | #Constraints: 103136 325.29/326.60 c #Conflicts: 399000 | #Constraints: 104170 325.29/326.60 c #Conflicts: 400000 | #Constraints: 105196 325.29/326.60 c #Conflicts: 401000 | #Constraints: 106231 325.29/326.60 c #Conflicts: 402000 | #Constraints: 107252 325.29/326.60 c INPROCESSING 325.29/326.60 c GARBAGE COLLECT 325.29/326.60 c rational objective -110 345.42/346.89 c #Conflicts: 403000 | #Constraints: 76354 345.42/346.89 c #Conflicts: 404000 | #Constraints: 77402 345.42/346.89 c #Conflicts: 405000 | #Constraints: 78449 345.42/346.89 c #Conflicts: 406000 | #Constraints: 79491 345.42/346.89 c #Conflicts: 407000 | #Constraints: 80526 345.42/346.89 c #Conflicts: 408000 | #Constraints: 81569 345.42/346.89 c #Conflicts: 409000 | #Constraints: 82607 345.42/346.89 c #Conflicts: 410000 | #Constraints: 83637 345.42/346.89 c #Conflicts: 411000 | #Constraints: 84676 345.42/346.89 c #Conflicts: 412000 | #Constraints: 85709 345.42/346.89 c #Conflicts: 413000 | #Constraints: 86754 345.42/346.89 c #Conflicts: 414000 | #Constraints: 87783 345.42/346.89 c #Conflicts: 415000 | #Constraints: 88810 345.42/346.89 c #Conflicts: 416000 | #Constraints: 89844 345.42/346.89 c #Conflicts: 417000 | #Constraints: 90872 345.42/346.89 c #Conflicts: 418000 | #Constraints: 91903 345.42/346.89 c #Conflicts: 419000 | #Constraints: 92930 345.42/346.89 c #Conflicts: 420000 | #Constraints: 93955 345.42/346.89 c #Conflicts: 421000 | #Constraints: 94984 345.42/346.89 c INPROCESSING 345.42/346.89 c GARBAGE COLLECT 345.42/346.89 c rational objective -110 392.06/393.64 c #Conflicts: 422000 | #Constraints: 70378 392.06/393.64 c #Conflicts: 423000 | #Constraints: 71378 392.06/393.64 c #Conflicts: 424000 | #Constraints: 72378 392.06/393.64 c #Conflicts: 425000 | #Constraints: 73378 392.06/393.64 c #Conflicts: 426000 | #Constraints: 74378 392.06/393.64 c #Conflicts: 427000 | #Constraints: 75378 392.06/393.64 c #Conflicts: 428000 | #Constraints: 76378 392.06/393.64 c #Conflicts: 429000 | #Constraints: 77378 392.06/393.64 c #Conflicts: 430000 | #Constraints: 78378 392.06/393.64 c #Conflicts: 431000 | #Constraints: 79378 392.06/393.64 c #Conflicts: 432000 | #Constraints: 80378 392.06/393.64 c #Conflicts: 433000 | #Constraints: 81378 392.06/393.64 c #Conflicts: 434000 | #Constraints: 82378 392.06/393.64 c #Conflicts: 435000 | #Constraints: 83378 392.06/393.64 c #Conflicts: 436000 | #Constraints: 84378 392.06/393.64 c #Conflicts: 437000 | #Constraints: 85378 392.06/393.64 c #Conflicts: 438000 | #Constraints: 86378 392.06/393.64 c #Conflicts: 439000 | #Constraints: 87378 392.06/393.64 c #Conflicts: 440000 | #Constraints: 88378 392.06/393.64 c #Conflicts: 441000 | #Constraints: 89378 392.06/393.64 c #Conflicts: 442000 | #Constraints: 90378 392.06/393.64 c #Conflicts: 443000 | #Constraints: 91378 392.06/393.64 c #Conflicts: 444000 | #Constraints: 92378 392.06/393.64 c #Conflicts: 445000 | #Constraints: 93378 392.06/393.64 c #Conflicts: 446000 | #Constraints: 94378 392.06/393.64 c #Conflicts: 447000 | #Constraints: 95378 392.06/393.64 c #Conflicts: 448000 | #Constraints: 96378 392.06/393.64 c #Conflicts: 449000 | #Constraints: 97378 392.06/393.64 c #Conflicts: 450000 | #Constraints: 98378 392.06/393.64 c #Conflicts: 451000 | #Constraints: 99378 392.06/393.64 c #Conflicts: 452000 | #Constraints: 100378 392.06/393.64 c #Conflicts: 453000 | #Constraints: 101378 392.06/393.64 c #Conflicts: 454000 | #Constraints: 102378 392.06/393.64 c #Conflicts: 455000 | #Constraints: 103378 392.06/393.64 c #Conflicts: 456000 | #Constraints: 104378 392.06/393.64 c #Conflicts: 457000 | #Constraints: 105378 392.06/393.64 c bounds -33 >= -109 @ 378.807 392.06/393.64 c #Conflicts: 458000 | #Constraints: 106402 392.06/393.64 c #Conflicts: 459000 | #Constraints: 107402 392.06/393.64 c #Conflicts: 460000 | #Constraints: 108402 392.06/393.64 c #Conflicts: 461000 | #Constraints: 109402 392.06/393.64 c #Conflicts: 462000 | #Constraints: 110402 392.06/393.64 c #Conflicts: 463000 | #Constraints: 111402 392.06/393.64 c #Conflicts: 464000 | #Constraints: 112402 392.06/393.64 c INPROCESSING 392.06/393.64 c GARBAGE COLLECT 392.06/393.64 c rational objective -109 423.95/425.60 c #Conflicts: 465000 | #Constraints: 79107 423.95/425.60 c #Conflicts: 466000 | #Constraints: 80155 423.95/425.60 c #Conflicts: 467000 | #Constraints: 81199 423.95/425.60 c #Conflicts: 468000 | #Constraints: 82238 423.95/425.60 c #Conflicts: 469000 | #Constraints: 83282 423.95/425.60 c #Conflicts: 470000 | #Constraints: 84327 423.95/425.60 c #Conflicts: 471000 | #Constraints: 85364 423.95/425.60 c #Conflicts: 472000 | #Constraints: 86395 423.95/425.60 c #Conflicts: 473000 | #Constraints: 87426 423.95/425.60 c #Conflicts: 474000 | #Constraints: 88469 423.95/425.60 c #Conflicts: 475000 | #Constraints: 89515 423.95/425.60 c #Conflicts: 476000 | #Constraints: 90558 423.95/425.60 c #Conflicts: 477000 | #Constraints: 91599 423.95/425.60 c #Conflicts: 478000 | #Constraints: 92631 423.95/425.60 c #Conflicts: 479000 | #Constraints: 93661 423.95/425.60 c #Conflicts: 480000 | #Constraints: 94699 423.95/425.60 c #Conflicts: 481000 | #Constraints: 95735 423.95/425.60 c #Conflicts: 482000 | #Constraints: 96767 423.95/425.60 c #Conflicts: 483000 | #Constraints: 97806 423.95/425.60 c #Conflicts: 484000 | #Constraints: 98846 423.95/425.60 c INPROCESSING 423.95/425.60 c GARBAGE COLLECT 423.95/425.60 c rational objective -109 473.88/475.71 c #Conflicts: 485000 | #Constraints: 72225 473.88/475.71 c #Conflicts: 486000 | #Constraints: 73225 473.88/475.71 c #Conflicts: 487000 | #Constraints: 74225 473.88/475.71 c #Conflicts: 488000 | #Constraints: 75225 473.88/475.71 c #Conflicts: 489000 | #Constraints: 76225 473.88/475.71 c #Conflicts: 490000 | #Constraints: 77225 473.88/475.71 c #Conflicts: 491000 | #Constraints: 78225 473.88/475.71 c #Conflicts: 492000 | #Constraints: 79225 473.88/475.71 c #Conflicts: 493000 | #Constraints: 80225 473.88/475.71 c #Conflicts: 494000 | #Constraints: 81225 473.88/475.71 c #Conflicts: 495000 | #Constraints: 82225 473.88/475.71 c #Conflicts: 496000 | #Constraints: 83225 473.88/475.71 c #Conflicts: 497000 | #Constraints: 84225 473.88/475.71 c #Conflicts: 498000 | #Constraints: 85225 473.88/475.71 c #Conflicts: 499000 | #Constraints: 86225 473.88/475.71 c #Conflicts: 500000 | #Constraints: 87225 473.88/475.71 c #Conflicts: 501000 | #Constraints: 88225 473.88/475.71 c #Conflicts: 502000 | #Constraints: 89225 473.88/475.71 c #Conflicts: 503000 | #Constraints: 90225 473.88/475.71 c #Conflicts: 504000 | #Constraints: 91225 473.88/475.71 c #Conflicts: 505000 | #Constraints: 92225 473.88/475.71 c #Conflicts: 506000 | #Constraints: 93225 473.88/475.71 c #Conflicts: 507000 | #Constraints: 94225 473.88/475.71 c #Conflicts: 508000 | #Constraints: 95225 473.88/475.71 c #Conflicts: 509000 | #Constraints: 96225 473.88/475.71 c #Conflicts: 510000 | #Constraints: 97225 473.88/475.71 c #Conflicts: 511000 | #Constraints: 98225 473.88/475.71 c #Conflicts: 512000 | #Constraints: 99225 473.88/475.71 c #Conflicts: 513000 | #Constraints: 100225 473.88/475.71 c #Conflicts: 514000 | #Constraints: 101225 473.88/475.71 c #Conflicts: 515000 | #Constraints: 102225 473.88/475.71 c #Conflicts: 516000 | #Constraints: 103225 473.88/475.71 c #Conflicts: 517000 | #Constraints: 104225 473.88/475.71 c #Conflicts: 518000 | #Constraints: 105225 473.88/475.71 c #Conflicts: 519000 | #Constraints: 106225 473.88/475.71 c #Conflicts: 520000 | #Constraints: 107225 473.88/475.71 c #Conflicts: 521000 | #Constraints: 108225 473.88/475.71 c #Conflicts: 522000 | #Constraints: 109225 473.88/475.71 c #Conflicts: 523000 | #Constraints: 110225 473.88/475.71 c #Conflicts: 524000 | #Constraints: 111225 473.88/475.71 c #Conflicts: 525000 | #Constraints: 112225 473.88/475.71 c #Conflicts: 526000 | #Constraints: 113225 473.88/475.71 c #Conflicts: 527000 | #Constraints: 114225 473.88/475.71 c #Conflicts: 528000 | #Constraints: 115225 473.88/475.71 c #Conflicts: 529000 | #Constraints: 116225 473.88/475.71 c #Conflicts: 530000 | #Constraints: 117225 473.88/475.71 c INPROCESSING 473.88/475.71 c GARBAGE COLLECT 473.88/475.71 c rational objective -109 493.01/494.98 c #Conflicts: 531000 | #Constraints: 80865 493.01/494.98 c #Conflicts: 532000 | #Constraints: 81865 493.01/494.98 c #Conflicts: 533000 | #Constraints: 82865 493.01/494.98 c #Conflicts: 534000 | #Constraints: 83865 493.01/494.98 c #Conflicts: 535000 | #Constraints: 84865 493.01/494.98 c #Conflicts: 536000 | #Constraints: 85865 493.01/494.98 c #Conflicts: 537000 | #Constraints: 86865 493.01/494.98 c #Conflicts: 538000 | #Constraints: 87865 493.01/494.98 c #Conflicts: 539000 | #Constraints: 88865 493.01/494.98 c #Conflicts: 540000 | #Constraints: 89865 493.01/494.98 c #Conflicts: 541000 | #Constraints: 90865 493.01/494.98 c #Conflicts: 542000 | #Constraints: 91865 493.01/494.98 c #Conflicts: 543000 | #Constraints: 92865 493.01/494.98 c #Conflicts: 544000 | #Constraints: 93865 493.01/494.98 c #Conflicts: 545000 | #Constraints: 94865 493.01/494.98 c #Conflicts: 546000 | #Constraints: 95865 493.01/494.98 c #Conflicts: 547000 | #Constraints: 96865 493.01/494.98 c #Conflicts: 548000 | #Constraints: 97865 493.01/494.98 c #Conflicts: 549000 | #Constraints: 98865 493.01/494.98 c #Conflicts: 550000 | #Constraints: 99865 493.01/494.98 c #Conflicts: 551000 | #Constraints: 100865 493.01/494.98 c #Conflicts: 552000 | #Constraints: 101865 493.01/494.98 c INPROCESSING 493.01/494.98 c GARBAGE COLLECT 493.01/494.98 c rational objective -109 543.43/545.55 c #Conflicts: 553000 | #Constraints: 74056 543.43/545.55 c #Conflicts: 554000 | #Constraints: 75056 543.43/545.55 c #Conflicts: 555000 | #Constraints: 76056 543.43/545.55 c #Conflicts: 556000 | #Constraints: 77056 543.43/545.55 c #Conflicts: 557000 | #Constraints: 78056 543.43/545.55 c #Conflicts: 558000 | #Constraints: 79056 543.43/545.55 c #Conflicts: 559000 | #Constraints: 80056 543.43/545.55 c #Conflicts: 560000 | #Constraints: 81056 543.43/545.55 c #Conflicts: 561000 | #Constraints: 82056 543.43/545.55 c #Conflicts: 562000 | #Constraints: 83056 543.43/545.55 c #Conflicts: 563000 | #Constraints: 84056 543.43/545.55 c #Conflicts: 564000 | #Constraints: 85056 543.43/545.55 c #Conflicts: 565000 | #Constraints: 86056 543.43/545.55 c #Conflicts: 566000 | #Constraints: 87056 543.43/545.55 c #Conflicts: 567000 | #Constraints: 88056 543.43/545.55 c #Conflicts: 568000 | #Constraints: 89056 543.43/545.55 c #Conflicts: 569000 | #Constraints: 90056 543.43/545.55 c #Conflicts: 570000 | #Constraints: 91056 543.43/545.55 c #Conflicts: 571000 | #Constraints: 92056 543.43/545.55 c #Conflicts: 572000 | #Constraints: 93056 543.43/545.55 c #Conflicts: 573000 | #Constraints: 94056 543.43/545.55 c #Conflicts: 574000 | #Constraints: 95056 543.43/545.55 c #Conflicts: 575000 | #Constraints: 96056 543.43/545.55 c #Conflicts: 576000 | #Constraints: 97056 543.43/545.55 c #Conflicts: 577000 | #Constraints: 98056 543.43/545.55 c #Conflicts: 578000 | #Constraints: 99056 543.43/545.55 c bounds -33 >= -108 @ 509.494 543.43/545.55 c #Conflicts: 579000 | #Constraints: 100080 543.43/545.55 c #Conflicts: 580000 | #Constraints: 101080 543.43/545.55 c #Conflicts: 581000 | #Constraints: 102080 543.43/545.55 c #Conflicts: 582000 | #Constraints: 103080 543.43/545.55 c #Conflicts: 583000 | #Constraints: 104080 543.43/545.55 c #Conflicts: 584000 | #Constraints: 105080 543.43/545.55 c #Conflicts: 585000 | #Constraints: 106080 543.43/545.55 c #Conflicts: 586000 | #Constraints: 107080 543.43/545.55 c #Conflicts: 587000 | #Constraints: 108080 543.43/545.55 c #Conflicts: 588000 | #Constraints: 109080 543.43/545.55 c #Conflicts: 589000 | #Constraints: 110080 543.43/545.55 c #Conflicts: 590000 | #Constraints: 111080 543.43/545.55 c #Conflicts: 591000 | #Constraints: 112080 543.43/545.55 c #Conflicts: 592000 | #Constraints: 113080 543.43/545.55 c #Conflicts: 593000 | #Constraints: 114080 543.43/545.55 c #Conflicts: 594000 | #Constraints: 115080 543.43/545.55 c #Conflicts: 595000 | #Constraints: 116080 543.43/545.55 c #Conflicts: 596000 | #Constraints: 117080 543.43/545.55 c #Conflicts: 597000 | #Constraints: 118080 543.43/545.55 c #Conflicts: 598000 | #Constraints: 119080 543.43/545.55 c #Conflicts: 599000 | #Constraints: 120080 543.43/545.55 c #Conflicts: 600000 | #Constraints: 121080 543.43/545.55 c #Conflicts: 601000 | #Constraints: 122080 543.43/545.55 c INPROCESSING 543.43/545.55 c GARBAGE COLLECT 543.43/545.55 c rational objective -108 578.50/580.75 c #Conflicts: 602000 | #Constraints: 83979 578.50/580.75 c #Conflicts: 603000 | #Constraints: 84999 578.50/580.75 c #Conflicts: 604000 | #Constraints: 86029 578.50/580.75 c #Conflicts: 605000 | #Constraints: 87059 578.50/580.75 c #Conflicts: 606000 | #Constraints: 88103 578.50/580.75 c #Conflicts: 607000 | #Constraints: 89152 578.50/580.75 c #Conflicts: 608000 | #Constraints: 90200 578.50/580.75 c #Conflicts: 609000 | #Constraints: 91252 578.50/580.75 c #Conflicts: 610000 | #Constraints: 92302 578.50/580.75 c #Conflicts: 611000 | #Constraints: 93348 578.50/580.75 c #Conflicts: 612000 | #Constraints: 94396 578.50/580.75 c #Conflicts: 613000 | #Constraints: 95435 578.50/580.75 c #Conflicts: 614000 | #Constraints: 96481 578.50/580.75 c #Conflicts: 615000 | #Constraints: 97526 578.50/580.75 c #Conflicts: 616000 | #Constraints: 98563 578.50/580.75 c #Conflicts: 617000 | #Constraints: 99595 578.50/580.75 c #Conflicts: 618000 | #Constraints: 100653 578.50/580.75 c #Conflicts: 619000 | #Constraints: 101695 578.50/580.75 c #Conflicts: 620000 | #Constraints: 102735 578.50/580.75 c #Conflicts: 621000 | #Constraints: 103778 578.50/580.75 c #Conflicts: 622000 | #Constraints: 104814 578.50/580.75 c #Conflicts: 623000 | #Constraints: 105859 578.50/580.75 c #Conflicts: 624000 | #Constraints: 106903 578.50/580.75 c INPROCESSING 578.50/580.75 c GARBAGE COLLECT 578.50/580.75 c rational objective -108 638.81/641.21 c #Conflicts: 625000 | #Constraints: 76434 638.81/641.21 c #Conflicts: 626000 | #Constraints: 77434 638.81/641.21 c #Conflicts: 627000 | #Constraints: 78434 638.81/641.21 c #Conflicts: 628000 | #Constraints: 79434 638.81/641.21 c #Conflicts: 629000 | #Constraints: 80434 638.81/641.21 c #Conflicts: 630000 | #Constraints: 81434 638.81/641.21 c #Conflicts: 631000 | #Constraints: 82434 638.81/641.21 c #Conflicts: 632000 | #Constraints: 83434 638.81/641.21 c #Conflicts: 633000 | #Constraints: 84434 638.81/641.21 c #Conflicts: 634000 | #Constraints: 85434 638.81/641.21 c #Conflicts: 635000 | #Constraints: 86434 638.81/641.21 c #Conflicts: 636000 | #Constraints: 87434 638.81/641.21 c #Conflicts: 637000 | #Constraints: 88434 638.81/641.21 c #Conflicts: 638000 | #Constraints: 89434 638.81/641.21 c #Conflicts: 639000 | #Constraints: 90434 638.81/641.21 c #Conflicts: 640000 | #Constraints: 91434 638.81/641.21 c #Conflicts: 641000 | #Constraints: 92434 638.81/641.21 c #Conflicts: 642000 | #Constraints: 93434 638.81/641.21 c #Conflicts: 643000 | #Constraints: 94434 638.81/641.21 c #Conflicts: 644000 | #Constraints: 95434 638.81/641.21 c #Conflicts: 645000 | #Constraints: 96434 638.81/641.21 c #Conflicts: 646000 | #Constraints: 97434 638.81/641.21 c #Conflicts: 647000 | #Constraints: 98434 638.81/641.21 c #Conflicts: 648000 | #Constraints: 99434 638.81/641.21 c #Conflicts: 649000 | #Constraints: 100434 638.81/641.21 c #Conflicts: 650000 | #Constraints: 101434 638.81/641.21 c #Conflicts: 651000 | #Constraints: 102434 638.81/641.21 c #Conflicts: 652000 | #Constraints: 103434 638.81/641.21 c #Conflicts: 653000 | #Constraints: 104434 638.81/641.21 c #Conflicts: 654000 | #Constraints: 105434 638.81/641.21 c #Conflicts: 655000 | #Constraints: 106434 638.81/641.21 c #Conflicts: 656000 | #Constraints: 107434 638.81/641.21 c #Conflicts: 657000 | #Constraints: 108434 638.81/641.21 c #Conflicts: 658000 | #Constraints: 109434 638.81/641.21 c #Conflicts: 659000 | #Constraints: 110434 638.81/641.21 c #Conflicts: 660000 | #Constraints: 111434 638.81/641.21 c #Conflicts: 661000 | #Constraints: 112434 638.81/641.21 c #Conflicts: 662000 | #Constraints: 113434 638.81/641.21 c #Conflicts: 663000 | #Constraints: 114434 638.81/641.21 c #Conflicts: 664000 | #Constraints: 115434 638.81/641.21 c #Conflicts: 665000 | #Constraints: 116434 638.81/641.21 c #Conflicts: 666000 | #Constraints: 117434 638.81/641.21 c #Conflicts: 667000 | #Constraints: 118434 638.81/641.21 c #Conflicts: 668000 | #Constraints: 119434 638.81/641.21 c #Conflicts: 669000 | #Constraints: 120434 638.81/641.21 c #Conflicts: 670000 | #Constraints: 121434 638.81/641.21 c #Conflicts: 671000 | #Constraints: 122434 638.81/641.21 c #Conflicts: 672000 | #Constraints: 123434 638.81/641.21 c #Conflicts: 673000 | #Constraints: 124434 638.81/641.21 c #Conflicts: 674000 | #Constraints: 125434 638.81/641.21 c #Conflicts: 675000 | #Constraints: 126434 638.81/641.21 c #Conflicts: 676000 | #Constraints: 127434 638.81/641.21 c INPROCESSING 638.81/641.21 c GARBAGE COLLECT 638.81/641.21 c rational objective -108 664.42/666.97 c #Conflicts: 677000 | #Constraints: 86617 664.42/666.97 c #Conflicts: 678000 | #Constraints: 87617 664.42/666.97 c #Conflicts: 679000 | #Constraints: 88617 664.42/666.97 c #Conflicts: 680000 | #Constraints: 89617 664.42/666.97 c #Conflicts: 681000 | #Constraints: 90617 664.42/666.97 c #Conflicts: 682000 | #Constraints: 91617 664.42/666.97 c #Conflicts: 683000 | #Constraints: 92617 664.42/666.97 c #Conflicts: 684000 | #Constraints: 93617 664.42/666.97 c #Conflicts: 685000 | #Constraints: 94617 664.42/666.97 c #Conflicts: 686000 | #Constraints: 95617 664.42/666.97 c #Conflicts: 687000 | #Constraints: 96617 664.42/666.97 c #Conflicts: 688000 | #Constraints: 97617 664.42/666.97 c #Conflicts: 689000 | #Constraints: 98617 664.42/666.97 c #Conflicts: 690000 | #Constraints: 99617 664.42/666.97 c #Conflicts: 691000 | #Constraints: 100617 664.42/666.97 c #Conflicts: 692000 | #Constraints: 101617 664.42/666.97 c #Conflicts: 693000 | #Constraints: 102617 664.42/666.97 c #Conflicts: 694000 | #Constraints: 103617 664.42/666.97 c #Conflicts: 695000 | #Constraints: 104617 664.42/666.97 c #Conflicts: 696000 | #Constraints: 105617 664.42/666.97 c #Conflicts: 697000 | #Constraints: 106617 664.42/666.97 c #Conflicts: 698000 | #Constraints: 107617 664.42/666.97 c #Conflicts: 699000 | #Constraints: 108617 664.42/666.97 c #Conflicts: 700000 | #Constraints: 109617 664.42/666.97 c INPROCESSING 664.42/666.97 c GARBAGE COLLECT 664.42/666.97 c rational objective -108 840.94/844.04 c #Conflicts: 701000 | #Constraints: 77762 840.94/844.04 c #Conflicts: 702000 | #Constraints: 78783 840.94/844.04 c #Conflicts: 703000 | #Constraints: 79803 840.94/844.04 c #Conflicts: 704000 | #Constraints: 80843 840.94/844.04 c #Conflicts: 705000 | #Constraints: 81899 840.94/844.04 c #Conflicts: 706000 | #Constraints: 82953 840.94/844.04 c #Conflicts: 707000 | #Constraints: 83995 840.94/844.04 c #Conflicts: 708000 | #Constraints: 85018 840.94/844.04 c #Conflicts: 709000 | #Constraints: 86050 840.94/844.04 c #Conflicts: 710000 | #Constraints: 87079 840.94/844.04 c #Conflicts: 711000 | #Constraints: 88116 840.94/844.04 c #Conflicts: 712000 | #Constraints: 89157 840.94/844.04 c #Conflicts: 713000 | #Constraints: 90190 840.94/844.04 c #Conflicts: 714000 | #Constraints: 91234 840.94/844.04 c #Conflicts: 715000 | #Constraints: 92280 840.94/844.04 c #Conflicts: 716000 | #Constraints: 93321 840.94/844.04 c #Conflicts: 717000 | #Constraints: 94364 840.94/844.04 c #Conflicts: 718000 | #Constraints: 95403 840.94/844.04 c #Conflicts: 719000 | #Constraints: 96456 840.94/844.04 c #Conflicts: 720000 | #Constraints: 97505 840.94/844.04 c #Conflicts: 721000 | #Constraints: 98554 840.94/844.04 c #Conflicts: 722000 | #Constraints: 99604 840.94/844.04 c #Conflicts: 723000 | #Constraints: 100663 840.94/844.04 c #Conflicts: 724000 | #Constraints: 101716 840.94/844.04 c #Conflicts: 725000 | #Constraints: 102771 840.94/844.04 c #Conflicts: 726000 | #Constraints: 103817 840.94/844.04 c #Conflicts: 727000 | #Constraints: 104864 840.94/844.04 c #Conflicts: 728000 | #Constraints: 105906 840.94/844.04 c #Conflicts: 729000 | #Constraints: 106962 840.94/844.04 c #Conflicts: 730000 | #Constraints: 108014 840.94/844.04 c #Conflicts: 731000 | #Constraints: 109057 840.94/844.04 c #Conflicts: 732000 | #Constraints: 110106 840.94/844.04 c #Conflicts: 733000 | #Constraints: 111158 840.94/844.04 c #Conflicts: 734000 | #Constraints: 112208 840.94/844.04 c #Conflicts: 735000 | #Constraints: 113253 840.94/844.04 c #Conflicts: 736000 | #Constraints: 114311 840.94/844.04 c #Conflicts: 737000 | #Constraints: 115362 840.94/844.04 c #Conflicts: 738000 | #Constraints: 116420 840.94/844.04 c #Conflicts: 739000 | #Constraints: 117475 840.94/844.04 c #Conflicts: 740000 | #Constraints: 118521 840.94/844.04 c #Conflicts: 741000 | #Constraints: 119570 840.94/844.04 c #Conflicts: 742000 | #Constraints: 120614 840.94/844.04 c #Conflicts: 743000 | #Constraints: 121667 840.94/844.04 c #Conflicts: 744000 | #Constraints: 122722 840.94/844.04 c #Conflicts: 745000 | #Constraints: 123785 840.94/844.04 c #Conflicts: 746000 | #Constraints: 124831 840.94/844.04 c #Conflicts: 747000 | #Constraints: 125885 840.94/844.04 c #Conflicts: 748000 | #Constraints: 126946 840.94/844.04 c #Conflicts: 749000 | #Constraints: 127998 840.94/844.04 c #Conflicts: 750000 | #Constraints: 129039 840.94/844.04 c #Conflicts: 751000 | #Constraints: 130097 840.94/844.04 c #Conflicts: 752000 | #Constraints: 131141 840.94/844.04 c #Conflicts: 753000 | #Constraints: 132202 840.94/844.04 c #Conflicts: 754000 | #Constraints: 133255 840.94/844.04 c #Conflicts: 755000 | #Constraints: 134310 840.94/844.04 c #Conflicts: 756000 | #Constraints: 135358 840.94/844.04 c INPROCESSING 840.94/844.04 c GARBAGE COLLECT 840.94/844.04 c rational objective -108 873.93/877.14 c #Conflicts: 757000 | #Constraints: 90690 873.93/877.14 c #Conflicts: 758000 | #Constraints: 91690 873.93/877.14 c #Conflicts: 759000 | #Constraints: 92690 873.93/877.14 c #Conflicts: 760000 | #Constraints: 93690 873.93/877.14 c #Conflicts: 761000 | #Constraints: 94690 873.93/877.14 c #Conflicts: 762000 | #Constraints: 95690 873.93/877.14 c #Conflicts: 763000 | #Constraints: 96690 873.93/877.14 c #Conflicts: 764000 | #Constraints: 97690 873.93/877.14 c #Conflicts: 765000 | #Constraints: 98690 873.93/877.14 c #Conflicts: 766000 | #Constraints: 99690 873.93/877.14 c #Conflicts: 767000 | #Constraints: 100690 873.93/877.14 c #Conflicts: 768000 | #Constraints: 101690 873.93/877.14 c #Conflicts: 769000 | #Constraints: 102690 873.93/877.14 c #Conflicts: 770000 | #Constraints: 103690 873.93/877.14 c #Conflicts: 771000 | #Constraints: 104690 873.93/877.14 c #Conflicts: 772000 | #Constraints: 105690 873.93/877.14 c #Conflicts: 773000 | #Constraints: 106690 873.93/877.14 c #Conflicts: 774000 | #Constraints: 107690 873.93/877.14 c #Conflicts: 775000 | #Constraints: 108690 873.93/877.14 c #Conflicts: 776000 | #Constraints: 109690 873.93/877.14 c #Conflicts: 777000 | #Constraints: 110690 873.93/877.14 c #Conflicts: 778000 | #Constraints: 111690 873.93/877.14 c #Conflicts: 779000 | #Constraints: 112690 873.93/877.14 c #Conflicts: 780000 | #Constraints: 113690 873.93/877.14 c #Conflicts: 781000 | #Constraints: 114690 873.93/877.14 c INPROCESSING 873.93/877.14 c GARBAGE COLLECT 873.93/877.14 c rational objective -108 899.94/903.25 c #Conflicts: 782000 | #Constraints: 80400 899.94/903.25 c #Conflicts: 783000 | #Constraints: 81400 899.94/903.25 c #Conflicts: 784000 | #Constraints: 82400 899.94/903.25 c #Conflicts: 785000 | #Constraints: 83400 899.94/903.25 c #Conflicts: 786000 | #Constraints: 84400 899.94/903.25 c #Conflicts: 787000 | #Constraints: 85400 899.94/903.25 c #Conflicts: 788000 | #Constraints: 86400 899.94/903.25 c #Conflicts: 789000 | #Constraints: 87400 899.94/903.25 c #Conflicts: 790000 | #Constraints: 88400 899.94/903.25 c #Conflicts: 791000 | #Constraints: 89400 899.94/903.25 c #Conflicts: 792000 | #Constraints: 90400 899.94/903.25 c #Conflicts: 793000 | #Constraints: 91400 899.94/903.25 c #Conflicts: 794000 | #Constraints: 92400 899.94/903.25 c #Conflicts: 795000 | #Constraints: 93400 899.94/903.25 c #Conflicts: 796000 | #Constraints: 94400 899.94/903.25 c #Conflicts: 797000 | #Constraints: 95400 899.94/903.25 c #Conflicts: 798000 | #Constraints: 96400 899.94/903.25 c #Conflicts: 799000 | #Constraints: 97400 899.94/903.25 c #Conflicts: 800000 | #Constraints: 98400 899.94/903.25 c #Conflicts: 801000 | #Constraints: 99400 899.94/903.25 c #Conflicts: 802000 | #Constraints: 100400 899.94/903.25 c #Conflicts: 803000 | #Constraints: 101400 899.94/903.25 c #Conflicts: 804000 | #Constraints: 102400 899.94/903.25 c #Conflicts: 805000 | #Constraints: 103400 899.94/903.25 c #Conflicts: 806000 | #Constraints: 104400 899.94/903.25 c INPROCESSING 899.94/903.25 c GARBAGE COLLECT 899.94/903.25 c rational objective -108 985.64/989.24 c #Conflicts: 807000 | #Constraints: 78221 985.64/989.24 c #Conflicts: 808000 | #Constraints: 79221 985.64/989.24 c #Conflicts: 809000 | #Constraints: 80221 985.64/989.24 c #Conflicts: 810000 | #Constraints: 81221 985.64/989.24 c #Conflicts: 811000 | #Constraints: 82221 985.64/989.24 c #Conflicts: 812000 | #Constraints: 83221 985.64/989.24 c #Conflicts: 813000 | #Constraints: 84221 985.64/989.24 c #Conflicts: 814000 | #Constraints: 85221 985.64/989.24 c #Conflicts: 815000 | #Constraints: 86221 985.64/989.24 c #Conflicts: 816000 | #Constraints: 87221 985.64/989.24 c #Conflicts: 817000 | #Constraints: 88221 985.64/989.24 c #Conflicts: 818000 | #Constraints: 89221 985.64/989.24 c #Conflicts: 819000 | #Constraints: 90221 985.64/989.24 c #Conflicts: 820000 | #Constraints: 91221 985.64/989.24 c #Conflicts: 821000 | #Constraints: 92221 985.64/989.24 c #Conflicts: 822000 | #Constraints: 93221 985.64/989.24 c #Conflicts: 823000 | #Constraints: 94221 985.64/989.24 c #Conflicts: 824000 | #Constraints: 95221 985.64/989.24 c #Conflicts: 825000 | #Constraints: 96221 985.64/989.24 c #Conflicts: 826000 | #Constraints: 97221 985.64/989.24 c #Conflicts: 827000 | #Constraints: 98221 985.64/989.24 c #Conflicts: 828000 | #Constraints: 99221 985.64/989.24 c #Conflicts: 829000 | #Constraints: 100221 985.64/989.24 c #Conflicts: 830000 | #Constraints: 101221 985.64/989.24 c #Conflicts: 831000 | #Constraints: 102221 985.64/989.24 c #Conflicts: 832000 | #Constraints: 103221 985.64/989.24 c #Conflicts: 833000 | #Constraints: 104221 985.64/989.24 c #Conflicts: 834000 | #Constraints: 105221 985.64/989.24 c #Conflicts: 835000 | #Constraints: 106221 985.64/989.24 c #Conflicts: 836000 | #Constraints: 107221 985.64/989.24 c #Conflicts: 837000 | #Constraints: 108221 985.64/989.24 c #Conflicts: 838000 | #Constraints: 109221 985.64/989.24 c #Conflicts: 839000 | #Constraints: 110221 985.64/989.24 c #Conflicts: 840000 | #Constraints: 111221 985.64/989.24 c #Conflicts: 841000 | #Constraints: 112221 985.64/989.24 c #Conflicts: 842000 | #Constraints: 113221 985.64/989.24 c #Conflicts: 843000 | #Constraints: 114221 985.64/989.24 c #Conflicts: 844000 | #Constraints: 115221 985.64/989.24 c #Conflicts: 845000 | #Constraints: 116221 985.64/989.24 c #Conflicts: 846000 | #Constraints: 117221 985.64/989.24 c #Conflicts: 847000 | #Constraints: 118221 985.64/989.24 c #Conflicts: 848000 | #Constraints: 119221 985.64/989.24 c #Conflicts: 849000 | #Constraints: 120221 985.64/989.24 c #Conflicts: 850000 | #Constraints: 121221 985.64/989.24 c #Conflicts: 851000 | #Constraints: 122221 985.64/989.24 c #Conflicts: 852000 | #Constraints: 123221 985.64/989.24 c bounds -33 >= -107 @ 951.916 985.64/989.24 c #Conflicts: 853000 | #Constraints: 124254 985.64/989.24 c #Conflicts: 854000 | #Constraints: 125254 985.64/989.24 c #Conflicts: 855000 | #Constraints: 126254 985.64/989.24 c #Conflicts: 856000 | #Constraints: 127254 985.64/989.24 c #Conflicts: 857000 | #Constraints: 128254 985.64/989.24 c #Conflicts: 858000 | #Constraints: 129254 985.64/989.24 c #Conflicts: 859000 | #Constraints: 130254 985.64/989.24 c #Conflicts: 860000 | #Constraints: 131254 985.64/989.24 c #Conflicts: 861000 | #Constraints: 132254 985.64/989.24 c #Conflicts: 862000 | #Constraints: 133254 985.64/989.24 c #Conflicts: 863000 | #Constraints: 134254 985.64/989.24 c #Conflicts: 864000 | #Constraints: 135254 985.64/989.24 c #Conflicts: 865000 | #Constraints: 136254 985.64/989.24 c #Conflicts: 866000 | #Constraints: 137254 985.64/989.24 c INPROCESSING 985.64/989.24 c GARBAGE COLLECT 985.64/989.24 c rational objective -107 1019.13/1022.89 c #Conflicts: 867000 | #Constraints: 91489 1019.13/1022.89 c #Conflicts: 868000 | #Constraints: 92489 1019.13/1022.89 c #Conflicts: 869000 | #Constraints: 93489 1019.13/1022.89 c #Conflicts: 870000 | #Constraints: 94489 1019.13/1022.89 c #Conflicts: 871000 | #Constraints: 95489 1019.13/1022.89 c #Conflicts: 872000 | #Constraints: 96489 1019.13/1022.89 c #Conflicts: 873000 | #Constraints: 97489 1019.13/1022.89 c #Conflicts: 874000 | #Constraints: 98489 1019.13/1022.89 c #Conflicts: 875000 | #Constraints: 99489 1019.13/1022.89 c #Conflicts: 876000 | #Constraints: 100489 1019.13/1022.89 c #Conflicts: 877000 | #Constraints: 101489 1019.13/1022.89 c #Conflicts: 878000 | #Constraints: 102489 1019.13/1022.89 c #Conflicts: 879000 | #Constraints: 103489 1019.13/1022.89 c #Conflicts: 880000 | #Constraints: 104489 1019.13/1022.89 c #Conflicts: 881000 | #Constraints: 105489 1019.13/1022.89 c #Conflicts: 882000 | #Constraints: 106489 1019.13/1022.89 c #Conflicts: 883000 | #Constraints: 107489 1019.13/1022.89 c #Conflicts: 884000 | #Constraints: 108489 1019.13/1022.89 c #Conflicts: 885000 | #Constraints: 109489 1019.13/1022.89 c #Conflicts: 886000 | #Constraints: 110489 1019.13/1022.89 c #Conflicts: 887000 | #Constraints: 111489 1019.13/1022.89 c #Conflicts: 888000 | #Constraints: 112489 1019.13/1022.89 c #Conflicts: 889000 | #Constraints: 113489 1019.13/1022.89 c #Conflicts: 890000 | #Constraints: 114489 1019.13/1022.89 c #Conflicts: 891000 | #Constraints: 115489 1019.13/1022.89 c #Conflicts: 892000 | #Constraints: 116489 1019.13/1022.89 c #Conflicts: 893000 | #Constraints: 117489 1019.13/1022.89 c INPROCESSING 1019.13/1022.89 c GARBAGE COLLECT 1019.13/1022.89 c rational objective -107 1121.68/1125.71 c #Conflicts: 894000 | #Constraints: 81841 1121.68/1125.71 c #Conflicts: 895000 | #Constraints: 82841 1121.68/1125.71 c #Conflicts: 896000 | #Constraints: 83841 1121.68/1125.71 c #Conflicts: 897000 | #Constraints: 84841 1121.68/1125.71 c #Conflicts: 898000 | #Constraints: 85841 1121.68/1125.71 c #Conflicts: 899000 | #Constraints: 86841 1121.68/1125.71 c #Conflicts: 900000 | #Constraints: 87841 1121.68/1125.71 c #Conflicts: 901000 | #Constraints: 88841 1121.68/1125.71 c #Conflicts: 902000 | #Constraints: 89841 1121.68/1125.71 c #Conflicts: 903000 | #Constraints: 90841 1121.68/1125.71 c #Conflicts: 904000 | #Constraints: 91841 1121.68/1125.71 c #Conflicts: 905000 | #Constraints: 92841 1121.68/1125.71 c #Conflicts: 906000 | #Constraints: 93841 1121.68/1125.71 c #Conflicts: 907000 | #Constraints: 94841 1121.68/1125.71 c #Conflicts: 908000 | #Constraints: 95841 1121.68/1125.71 c #Conflicts: 909000 | #Constraints: 96841 1121.68/1125.71 c #Conflicts: 910000 | #Constraints: 97841 1121.68/1125.71 c #Conflicts: 911000 | #Constraints: 98841 1121.68/1125.71 c #Conflicts: 912000 | #Constraints: 99841 1121.68/1125.71 c #Conflicts: 913000 | #Constraints: 100841 1121.68/1125.71 c #Conflicts: 914000 | #Constraints: 101841 1121.68/1125.71 c #Conflicts: 915000 | #Constraints: 102841 1121.68/1125.71 c #Conflicts: 916000 | #Constraints: 103841 1121.68/1125.71 c #Conflicts: 917000 | #Constraints: 104841 1121.68/1125.71 c #Conflicts: 918000 | #Constraints: 105841 1121.68/1125.71 c #Conflicts: 919000 | #Constraints: 106841 1121.68/1125.71 c #Conflicts: 920000 | #Constraints: 107841 1121.68/1125.71 c #Conflicts: 921000 | #Constraints: 108841 1121.68/1125.71 c #Conflicts: 922000 | #Constraints: 109841 1121.68/1125.71 c #Conflicts: 923000 | #Constraints: 110841 1121.68/1125.71 c #Conflicts: 924000 | #Constraints: 111841 1121.68/1125.71 c #Conflicts: 925000 | #Constraints: 112841 1121.68/1125.71 c #Conflicts: 926000 | #Constraints: 113841 1121.68/1125.71 c #Conflicts: 927000 | #Constraints: 114841 1121.68/1125.71 c #Conflicts: 928000 | #Constraints: 115841 1121.68/1125.71 c #Conflicts: 929000 | #Constraints: 116841 1121.68/1125.71 c #Conflicts: 930000 | #Constraints: 117841 1121.68/1125.71 c #Conflicts: 931000 | #Constraints: 118841 1121.68/1125.71 c #Conflicts: 932000 | #Constraints: 119841 1121.68/1125.71 c #Conflicts: 933000 | #Constraints: 120841 1121.68/1125.71 c #Conflicts: 934000 | #Constraints: 121841 1121.68/1125.71 c #Conflicts: 935000 | #Constraints: 122841 1121.68/1125.71 c #Conflicts: 936000 | #Constraints: 123841 1121.68/1125.71 c #Conflicts: 937000 | #Constraints: 124841 1121.68/1125.71 c #Conflicts: 938000 | #Constraints: 125841 1121.68/1125.71 c #Conflicts: 939000 | #Constraints: 126841 1121.68/1125.71 c #Conflicts: 940000 | #Constraints: 127841 1121.68/1125.71 c #Conflicts: 941000 | #Constraints: 128841 1121.68/1125.71 c #Conflicts: 942000 | #Constraints: 129841 1121.68/1125.71 c #Conflicts: 943000 | #Constraints: 130841 1121.68/1125.71 c #Conflicts: 944000 | #Constraints: 131841 1121.68/1125.71 c #Conflicts: 945000 | #Constraints: 132841 1121.68/1125.71 c #Conflicts: 946000 | #Constraints: 133841 1121.68/1125.71 c #Conflicts: 947000 | #Constraints: 134841 1121.68/1125.71 c #Conflicts: 948000 | #Constraints: 135841 1121.68/1125.71 c #Conflicts: 949000 | #Constraints: 136841 1121.68/1125.71 c #Conflicts: 950000 | #Constraints: 137841 1121.68/1125.71 c #Conflicts: 951000 | #Constraints: 138841 1121.68/1125.71 c #Conflicts: 952000 | #Constraints: 139841 1121.68/1125.71 c #Conflicts: 953000 | #Constraints: 140841 1121.68/1125.71 c #Conflicts: 954000 | #Constraints: 141841 1121.68/1125.71 c #Conflicts: 955000 | #Constraints: 142841 1121.68/1125.71 c #Conflicts: 956000 | #Constraints: 143841 1121.68/1125.71 c INPROCESSING 1121.68/1125.71 c GARBAGE COLLECT 1121.68/1125.71 c rational objective -107 1160.95/1165.17 c #Conflicts: 957000 | #Constraints: 95072 1160.95/1165.17 c #Conflicts: 958000 | #Constraints: 96072 1160.95/1165.17 c #Conflicts: 959000 | #Constraints: 97072 1160.95/1165.17 c #Conflicts: 960000 | #Constraints: 98072 1160.95/1165.17 c #Conflicts: 961000 | #Constraints: 99072 1160.95/1165.17 c #Conflicts: 962000 | #Constraints: 100072 1160.95/1165.17 c #Conflicts: 963000 | #Constraints: 101072 1160.95/1165.17 c #Conflicts: 964000 | #Constraints: 102072 1160.95/1165.17 c #Conflicts: 965000 | #Constraints: 103072 1160.95/1165.17 c #Conflicts: 966000 | #Constraints: 104072 1160.95/1165.17 c #Conflicts: 967000 | #Constraints: 105072 1160.95/1165.17 c #Conflicts: 968000 | #Constraints: 106072 1160.95/1165.17 c #Conflicts: 969000 | #Constraints: 107072 1160.95/1165.17 c #Conflicts: 970000 | #Constraints: 108072 1160.95/1165.17 c #Conflicts: 971000 | #Constraints: 109072 1160.95/1165.17 c #Conflicts: 972000 | #Constraints: 110072 1160.95/1165.17 c #Conflicts: 973000 | #Constraints: 111072 1160.95/1165.17 c #Conflicts: 974000 | #Constraints: 112072 1160.95/1165.17 c #Conflicts: 975000 | #Constraints: 113072 1160.95/1165.17 c #Conflicts: 976000 | #Constraints: 114072 1160.95/1165.17 c #Conflicts: 977000 | #Constraints: 115072 1160.95/1165.17 c #Conflicts: 978000 | #Constraints: 116072 1160.95/1165.17 c #Conflicts: 979000 | #Constraints: 117072 1160.95/1165.17 c #Conflicts: 980000 | #Constraints: 118072 1160.95/1165.17 c #Conflicts: 981000 | #Constraints: 119072 1160.95/1165.17 c #Conflicts: 982000 | #Constraints: 120072 1160.95/1165.17 c #Conflicts: 983000 | #Constraints: 121072 1160.95/1165.17 c #Conflicts: 984000 | #Constraints: 122072 1160.95/1165.17 c INPROCESSING 1160.95/1165.17 c GARBAGE COLLECT 1160.95/1165.17 c rational objective -107 1276.32/1280.97 c #Conflicts: 985000 | #Constraints: 84227 1276.32/1280.97 c #Conflicts: 986000 | #Constraints: 85227 1276.32/1280.97 c #Conflicts: 987000 | #Constraints: 86227 1276.32/1280.97 c #Conflicts: 988000 | #Constraints: 87227 1276.32/1280.97 c #Conflicts: 989000 | #Constraints: 88227 1276.32/1280.97 c #Conflicts: 990000 | #Constraints: 89227 1276.32/1280.97 c #Conflicts: 991000 | #Constraints: 90227 1276.32/1280.97 c #Conflicts: 992000 | #Constraints: 91227 1276.32/1280.97 c #Conflicts: 993000 | #Constraints: 92227 1276.32/1280.97 c #Conflicts: 994000 | #Constraints: 93227 1276.32/1280.97 c #Conflicts: 995000 | #Constraints: 94227 1276.32/1280.97 c #Conflicts: 996000 | #Constraints: 95227 1276.32/1280.97 c #Conflicts: 997000 | #Constraints: 96227 1276.32/1280.97 c #Conflicts: 998000 | #Constraints: 97227 1276.32/1280.97 c #Conflicts: 999000 | #Constraints: 98227 1276.32/1280.97 c #Conflicts: 1000000 | #Constraints: 99227 1276.32/1280.97 c #Conflicts: 1001000 | #Constraints: 100227 1276.32/1280.97 c #Conflicts: 1002000 | #Constraints: 101227 1276.32/1280.97 c #Conflicts: 1003000 | #Constraints: 102227 1276.32/1280.97 c #Conflicts: 1004000 | #Constraints: 103227 1276.32/1280.97 c #Conflicts: 1005000 | #Constraints: 104227 1276.32/1280.97 c #Conflicts: 1006000 | #Constraints: 105227 1276.32/1280.97 c #Conflicts: 1007000 | #Constraints: 106227 1276.32/1280.97 c #Conflicts: 1008000 | #Constraints: 107227 1276.32/1280.97 c #Conflicts: 1009000 | #Constraints: 108227 1276.32/1280.97 c #Conflicts: 1010000 | #Constraints: 109227 1276.32/1280.97 c #Conflicts: 1011000 | #Constraints: 110227 1276.32/1280.97 c #Conflicts: 1012000 | #Constraints: 111227 1276.32/1280.97 c #Conflicts: 1013000 | #Constraints: 112227 1276.32/1280.97 c #Conflicts: 1014000 | #Constraints: 113227 1276.32/1280.97 c #Conflicts: 1015000 | #Constraints: 114227 1276.32/1280.97 c #Conflicts: 1016000 | #Constraints: 115227 1276.32/1280.97 c #Conflicts: 1017000 | #Constraints: 116227 1276.32/1280.97 c #Conflicts: 1018000 | #Constraints: 117227 1276.32/1280.97 c #Conflicts: 1019000 | #Constraints: 118227 1276.32/1280.97 c #Conflicts: 1020000 | #Constraints: 119227 1276.32/1280.97 c #Conflicts: 1021000 | #Constraints: 120227 1276.32/1280.97 c #Conflicts: 1022000 | #Constraints: 121227 1276.32/1280.97 c #Conflicts: 1023000 | #Constraints: 122227 1276.32/1280.97 c #Conflicts: 1024000 | #Constraints: 123227 1276.32/1280.97 c #Conflicts: 1025000 | #Constraints: 124227 1276.32/1280.97 c #Conflicts: 1026000 | #Constraints: 125227 1276.32/1280.97 c #Conflicts: 1027000 | #Constraints: 126227 1276.32/1280.97 c #Conflicts: 1028000 | #Constraints: 127227 1276.32/1280.97 c #Conflicts: 1029000 | #Constraints: 128227 1276.32/1280.97 c #Conflicts: 1030000 | #Constraints: 129227 1276.32/1280.97 c #Conflicts: 1031000 | #Constraints: 130227 1276.32/1280.97 c #Conflicts: 1032000 | #Constraints: 131227 1276.32/1280.97 c #Conflicts: 1033000 | #Constraints: 132227 1276.32/1280.97 c #Conflicts: 1034000 | #Constraints: 133227 1276.32/1280.97 c #Conflicts: 1035000 | #Constraints: 134227 1276.32/1280.97 c #Conflicts: 1036000 | #Constraints: 135227 1276.32/1280.97 c #Conflicts: 1037000 | #Constraints: 136227 1276.32/1280.97 c #Conflicts: 1038000 | #Constraints: 137227 1276.32/1280.97 c #Conflicts: 1039000 | #Constraints: 138227 1276.32/1280.97 c #Conflicts: 1040000 | #Constraints: 139227 1276.32/1280.97 c #Conflicts: 1041000 | #Constraints: 140227 1276.32/1280.97 c #Conflicts: 1042000 | #Constraints: 141227 1276.32/1280.97 c #Conflicts: 1043000 | #Constraints: 142227 1276.32/1280.97 c #Conflicts: 1044000 | #Constraints: 143227 1276.32/1280.97 c #Conflicts: 1045000 | #Constraints: 144227 1276.32/1280.97 c #Conflicts: 1046000 | #Constraints: 145227 1276.32/1280.97 c #Conflicts: 1047000 | #Constraints: 146227 1276.32/1280.97 c #Conflicts: 1048000 | #Constraints: 147227 1276.32/1280.97 c #Conflicts: 1049000 | #Constraints: 148227 1276.32/1280.97 c #Conflicts: 1050000 | #Constraints: 149227 1276.32/1280.97 c INPROCESSING 1276.32/1280.97 c GARBAGE COLLECT 1276.32/1280.97 c rational objective -107 1322.76/1327.50 c #Conflicts: 1051000 | #Constraints: 97782 1322.76/1327.50 c #Conflicts: 1052000 | #Constraints: 98782 1322.76/1327.50 c #Conflicts: 1053000 | #Constraints: 99782 1322.76/1327.50 c #Conflicts: 1054000 | #Constraints: 100782 1322.76/1327.50 c #Conflicts: 1055000 | #Constraints: 101782 1322.76/1327.50 c #Conflicts: 1056000 | #Constraints: 102782 1322.76/1327.50 c #Conflicts: 1057000 | #Constraints: 103782 1322.76/1327.50 c #Conflicts: 1058000 | #Constraints: 104782 1322.76/1327.50 c #Conflicts: 1059000 | #Constraints: 105782 1322.76/1327.50 c #Conflicts: 1060000 | #Constraints: 106782 1322.76/1327.50 c #Conflicts: 1061000 | #Constraints: 107782 1322.76/1327.50 c #Conflicts: 1062000 | #Constraints: 108782 1322.76/1327.50 c #Conflicts: 1063000 | #Constraints: 109782 1322.76/1327.50 c #Conflicts: 1064000 | #Constraints: 110782 1322.76/1327.50 c #Conflicts: 1065000 | #Constraints: 111782 1322.76/1327.50 c #Conflicts: 1066000 | #Constraints: 112782 1322.76/1327.50 c #Conflicts: 1067000 | #Constraints: 113782 1322.76/1327.50 c #Conflicts: 1068000 | #Constraints: 114782 1322.76/1327.50 c #Conflicts: 1069000 | #Constraints: 115782 1322.76/1327.50 c #Conflicts: 1070000 | #Constraints: 116782 1322.76/1327.50 c #Conflicts: 1071000 | #Constraints: 117782 1322.76/1327.50 c #Conflicts: 1072000 | #Constraints: 118782 1322.76/1327.50 c #Conflicts: 1073000 | #Constraints: 119782 1322.76/1327.50 c #Conflicts: 1074000 | #Constraints: 120782 1322.76/1327.50 c #Conflicts: 1075000 | #Constraints: 121782 1322.76/1327.50 c #Conflicts: 1076000 | #Constraints: 122782 1322.76/1327.50 c bounds -33 >= -106 @ 1305.85 1322.76/1327.50 c #Conflicts: 1077000 | #Constraints: 123815 1322.76/1327.50 c #Conflicts: 1078000 | #Constraints: 124815 1322.76/1327.50 c #Conflicts: 1079000 | #Constraints: 125815 1322.76/1327.50 c INPROCESSING 1322.76/1327.50 c GARBAGE COLLECT 1322.76/1327.50 c rational objective -106 1427.28/1432.45 c #Conflicts: 1080000 | #Constraints: 85905 1427.28/1432.45 c #Conflicts: 1081000 | #Constraints: 86905 1427.28/1432.45 c #Conflicts: 1082000 | #Constraints: 87905 1427.28/1432.45 c #Conflicts: 1083000 | #Constraints: 88905 1427.28/1432.45 c #Conflicts: 1084000 | #Constraints: 89905 1427.28/1432.45 c #Conflicts: 1085000 | #Constraints: 90905 1427.28/1432.45 c #Conflicts: 1086000 | #Constraints: 91905 1427.28/1432.45 c #Conflicts: 1087000 | #Constraints: 92905 1427.28/1432.45 c #Conflicts: 1088000 | #Constraints: 93905 1427.28/1432.45 c #Conflicts: 1089000 | #Constraints: 94905 1427.28/1432.45 c #Conflicts: 1090000 | #Constraints: 95905 1427.28/1432.45 c #Conflicts: 1091000 | #Constraints: 96905 1427.28/1432.45 c #Conflicts: 1092000 | #Constraints: 97905 1427.28/1432.45 c #Conflicts: 1093000 | #Constraints: 98905 1427.28/1432.45 c #Conflicts: 1094000 | #Constraints: 99905 1427.28/1432.45 c #Conflicts: 1095000 | #Constraints: 100905 1427.28/1432.45 c #Conflicts: 1096000 | #Constraints: 101905 1427.28/1432.45 c #Conflicts: 1097000 | #Constraints: 102905 1427.28/1432.45 c #Conflicts: 1098000 | #Constraints: 103905 1427.28/1432.45 c #Conflicts: 1099000 | #Constraints: 104905 1427.28/1432.45 c #Conflicts: 1100000 | #Constraints: 105905 1427.28/1432.45 c #Conflicts: 1101000 | #Constraints: 106905 1427.28/1432.45 c #Conflicts: 1102000 | #Constraints: 107905 1427.28/1432.45 c #Conflicts: 1103000 | #Constraints: 108905 1427.28/1432.45 c #Conflicts: 1104000 | #Constraints: 109905 1427.28/1432.45 c #Conflicts: 1105000 | #Constraints: 110905 1427.28/1432.45 c #Conflicts: 1106000 | #Constraints: 111905 1427.28/1432.45 c #Conflicts: 1107000 | #Constraints: 112905 1427.28/1432.45 c #Conflicts: 1108000 | #Constraints: 113905 1427.28/1432.45 c #Conflicts: 1109000 | #Constraints: 114905 1427.28/1432.45 c #Conflicts: 1110000 | #Constraints: 115905 1427.28/1432.45 c #Conflicts: 1111000 | #Constraints: 116905 1427.28/1432.45 c #Conflicts: 1112000 | #Constraints: 117905 1427.28/1432.45 c #Conflicts: 1113000 | #Constraints: 118905 1427.28/1432.45 c #Conflicts: 1114000 | #Constraints: 119905 1427.28/1432.45 c #Conflicts: 1115000 | #Constraints: 120905 1427.28/1432.45 c #Conflicts: 1116000 | #Constraints: 121905 1427.28/1432.45 c #Conflicts: 1117000 | #Constraints: 122905 1427.28/1432.45 c #Conflicts: 1118000 | #Constraints: 123905 1427.28/1432.45 c #Conflicts: 1119000 | #Constraints: 124905 1427.28/1432.45 c #Conflicts: 1120000 | #Constraints: 125905 1427.28/1432.45 c #Conflicts: 1121000 | #Constraints: 126905 1427.28/1432.45 c #Conflicts: 1122000 | #Constraints: 127905 1427.28/1432.45 c #Conflicts: 1123000 | #Constraints: 128905 1427.28/1432.45 c #Conflicts: 1124000 | #Constraints: 129905 1427.28/1432.45 c #Conflicts: 1125000 | #Constraints: 130905 1427.28/1432.45 c #Conflicts: 1126000 | #Constraints: 131905 1427.28/1432.45 c #Conflicts: 1127000 | #Constraints: 132905 1427.28/1432.45 c #Conflicts: 1128000 | #Constraints: 133905 1427.28/1432.45 c #Conflicts: 1129000 | #Constraints: 134905 1427.28/1432.45 c #Conflicts: 1130000 | #Constraints: 135905 1427.28/1432.45 c #Conflicts: 1131000 | #Constraints: 136905 1427.28/1432.45 c #Conflicts: 1132000 | #Constraints: 137905 1427.28/1432.45 c #Conflicts: 1133000 | #Constraints: 138905 1427.28/1432.45 c #Conflicts: 1134000 | #Constraints: 139905 1427.28/1432.45 c #Conflicts: 1135000 | #Constraints: 140905 1427.28/1432.45 c #Conflicts: 1136000 | #Constraints: 141905 1427.28/1432.45 c #Conflicts: 1137000 | #Constraints: 142905 1427.28/1432.45 c #Conflicts: 1138000 | #Constraints: 143905 1427.28/1432.45 c #Conflicts: 1139000 | #Constraints: 144905 1427.28/1432.45 c #Conflicts: 1140000 | #Constraints: 145905 1427.28/1432.45 c #Conflicts: 1141000 | #Constraints: 146905 1427.28/1432.45 c #Conflicts: 1142000 | #Constraints: 147905 1427.28/1432.45 c #Conflicts: 1143000 | #Constraints: 148905 1427.28/1432.45 c #Conflicts: 1144000 | #Constraints: 149905 1427.28/1432.45 c #Conflicts: 1145000 | #Constraints: 150905 1427.28/1432.45 c #Conflicts: 1146000 | #Constraints: 151905 1427.28/1432.45 c #Conflicts: 1147000 | #Constraints: 152905 1427.28/1432.45 c #Conflicts: 1148000 | #Constraints: 153905 1427.28/1432.45 c INPROCESSING 1427.28/1432.45 c GARBAGE COLLECT 1427.28/1432.45 c rational objective -106 1484.99/1490.36 c #Conflicts: 1149000 | #Constraints: 99937 1484.99/1490.36 c #Conflicts: 1150000 | #Constraints: 100986 1484.99/1490.36 c #Conflicts: 1151000 | #Constraints: 102049 1484.99/1490.36 c #Conflicts: 1152000 | #Constraints: 103107 1484.99/1490.36 c #Conflicts: 1153000 | #Constraints: 104166 1484.99/1490.36 c #Conflicts: 1154000 | #Constraints: 105207 1484.99/1490.36 c #Conflicts: 1155000 | #Constraints: 106252 1484.99/1490.36 c #Conflicts: 1156000 | #Constraints: 107297 1484.99/1490.36 c #Conflicts: 1157000 | #Constraints: 108369 1484.99/1490.36 c #Conflicts: 1158000 | #Constraints: 109429 1484.99/1490.36 c #Conflicts: 1159000 | #Constraints: 110486 1484.99/1490.36 c #Conflicts: 1160000 | #Constraints: 111550 1484.99/1490.36 c #Conflicts: 1161000 | #Constraints: 112607 1484.99/1490.36 c #Conflicts: 1162000 | #Constraints: 113663 1484.99/1490.36 c #Conflicts: 1163000 | #Constraints: 114715 1484.99/1490.36 c #Conflicts: 1164000 | #Constraints: 115774 1484.99/1490.36 c #Conflicts: 1165000 | #Constraints: 116820 1484.99/1490.36 c #Conflicts: 1166000 | #Constraints: 117872 1484.99/1490.36 c #Conflicts: 1167000 | #Constraints: 118928 1484.99/1490.36 c #Conflicts: 1168000 | #Constraints: 119969 1484.99/1490.36 c #Conflicts: 1169000 | #Constraints: 121010 1484.99/1490.36 c #Conflicts: 1170000 | #Constraints: 122038 1484.99/1490.36 c #Conflicts: 1171000 | #Constraints: 123056 1484.99/1490.36 c #Conflicts: 1172000 | #Constraints: 124085 1484.99/1490.36 c #Conflicts: 1173000 | #Constraints: 125127 1484.99/1490.36 c #Conflicts: 1174000 | #Constraints: 126210 1484.99/1490.36 c #Conflicts: 1175000 | #Constraints: 127262 1484.99/1490.36 c #Conflicts: 1176000 | #Constraints: 128317 1484.99/1490.36 c #Conflicts: 1177000 | #Constraints: 129372 1484.99/1490.36 c #Conflicts: 1178000 | #Constraints: 130432 1484.99/1490.36 c #Conflicts: 1179000 | #Constraints: 131501 1484.99/1490.36 c INPROCESSING 1484.99/1490.36 c GARBAGE COLLECT 1484.99/1490.36 c rational objective -106 1614.44/1620.28 c #Conflicts: 1180000 | #Constraints: 88798 1614.44/1620.28 c #Conflicts: 1181000 | #Constraints: 89798 1614.44/1620.28 c #Conflicts: 1182000 | #Constraints: 90798 1614.44/1620.28 c #Conflicts: 1183000 | #Constraints: 91798 1614.44/1620.28 c #Conflicts: 1184000 | #Constraints: 92798 1614.44/1620.28 c #Conflicts: 1185000 | #Constraints: 93798 1614.44/1620.28 c #Conflicts: 1186000 | #Constraints: 94798 1614.44/1620.28 c #Conflicts: 1187000 | #Constraints: 95798 1614.44/1620.28 c #Conflicts: 1188000 | #Constraints: 96798 1614.44/1620.28 c #Conflicts: 1189000 | #Constraints: 97798 1614.44/1620.28 c #Conflicts: 1190000 | #Constraints: 98798 1614.44/1620.28 c #Conflicts: 1191000 | #Constraints: 99798 1614.44/1620.28 c #Conflicts: 1192000 | #Constraints: 100798 1614.44/1620.28 c #Conflicts: 1193000 | #Constraints: 101798 1614.44/1620.28 c #Conflicts: 1194000 | #Constraints: 102798 1614.44/1620.28 c #Conflicts: 1195000 | #Constraints: 103798 1614.44/1620.28 c #Conflicts: 1196000 | #Constraints: 104798 1614.44/1620.28 c #Conflicts: 1197000 | #Constraints: 105798 1614.44/1620.28 c #Conflicts: 1198000 | #Constraints: 106798 1614.44/1620.28 c #Conflicts: 1199000 | #Constraints: 107798 1614.44/1620.29 c #Conflicts: 1200000 | #Constraints: 108798 1614.44/1620.29 c #Conflicts: 1201000 | #Constraints: 109798 1614.44/1620.29 c #Conflicts: 1202000 | #Constraints: 110798 1614.44/1620.29 c #Conflicts: 1203000 | #Constraints: 111798 1614.44/1620.29 c #Conflicts: 1204000 | #Constraints: 112798 1614.44/1620.29 c #Conflicts: 1205000 | #Constraints: 113798 1614.44/1620.29 c #Conflicts: 1206000 | #Constraints: 114798 1614.44/1620.29 c #Conflicts: 1207000 | #Constraints: 115798 1614.44/1620.29 c #Conflicts: 1208000 | #Constraints: 116798 1614.44/1620.29 c #Conflicts: 1209000 | #Constraints: 117798 1614.44/1620.29 c #Conflicts: 1210000 | #Constraints: 118798 1614.44/1620.29 c #Conflicts: 1211000 | #Constraints: 119798 1614.44/1620.29 c #Conflicts: 1212000 | #Constraints: 120798 1614.44/1620.29 c #Conflicts: 1213000 | #Constraints: 121798 1614.44/1620.29 c #Conflicts: 1214000 | #Constraints: 122798 1614.44/1620.29 c #Conflicts: 1215000 | #Constraints: 123798 1614.44/1620.29 c #Conflicts: 1216000 | #Constraints: 124798 1614.44/1620.29 c #Conflicts: 1217000 | #Constraints: 125798 1614.44/1620.29 c #Conflicts: 1218000 | #Constraints: 126798 1614.44/1620.29 c #Conflicts: 1219000 | #Constraints: 127798 1614.44/1620.29 c #Conflicts: 1220000 | #Constraints: 128798 1614.44/1620.29 c #Conflicts: 1221000 | #Constraints: 129798 1614.44/1620.29 c #Conflicts: 1222000 | #Constraints: 130798 1614.44/1620.29 c #Conflicts: 1223000 | #Constraints: 131798 1614.44/1620.29 c #Conflicts: 1224000 | #Constraints: 132798 1614.44/1620.29 c #Conflicts: 1225000 | #Constraints: 133798 1614.44/1620.29 c #Conflicts: 1226000 | #Constraints: 134798 1614.44/1620.29 c #Conflicts: 1227000 | #Constraints: 135798 1614.44/1620.29 c #Conflicts: 1228000 | #Constraints: 136798 1614.44/1620.29 c #Conflicts: 1229000 | #Constraints: 137798 1614.44/1620.29 c #Conflicts: 1230000 | #Constraints: 138798 1614.44/1620.29 c #Conflicts: 1231000 | #Constraints: 139798 1614.44/1620.29 c #Conflicts: 1232000 | #Constraints: 140798 1614.44/1620.29 c #Conflicts: 1233000 | #Constraints: 141798 1614.44/1620.29 c #Conflicts: 1234000 | #Constraints: 142798 1614.44/1620.29 c #Conflicts: 1235000 | #Constraints: 143798 1614.44/1620.29 c #Conflicts: 1236000 | #Constraints: 144798 1614.44/1620.29 c #Conflicts: 1237000 | #Constraints: 145798 1614.44/1620.29 c #Conflicts: 1238000 | #Constraints: 146798 1614.44/1620.29 c #Conflicts: 1239000 | #Constraints: 147798 1614.44/1620.29 c #Conflicts: 1240000 | #Constraints: 148798 1614.44/1620.29 c #Conflicts: 1241000 | #Constraints: 149798 1614.44/1620.29 c #Conflicts: 1242000 | #Constraints: 150798 1614.44/1620.29 c #Conflicts: 1243000 | #Constraints: 151798 1614.44/1620.29 c #Conflicts: 1244000 | #Constraints: 152798 1614.44/1620.29 c #Conflicts: 1245000 | #Constraints: 153798 1614.44/1620.29 c #Conflicts: 1246000 | #Constraints: 154798 1614.44/1620.29 c #Conflicts: 1247000 | #Constraints: 155798 1614.44/1620.29 c #Conflicts: 1248000 | #Constraints: 156798 1614.44/1620.29 c #Conflicts: 1249000 | #Constraints: 157798 1614.44/1620.29 c #Conflicts: 1250000 | #Constraints: 158798 1614.44/1620.29 c #Conflicts: 1251000 | #Constraints: 159798 1614.44/1620.29 c INPROCESSING 1614.44/1620.29 c GARBAGE COLLECT 1614.44/1620.29 c rational objective -106 1671.17/1677.18 c #Conflicts: 1252000 | #Constraints: 103005 1671.17/1677.18 c #Conflicts: 1253000 | #Constraints: 104030 1671.17/1677.18 c #Conflicts: 1254000 | #Constraints: 105084 1671.17/1677.18 c #Conflicts: 1255000 | #Constraints: 106126 1671.17/1677.18 c #Conflicts: 1256000 | #Constraints: 107176 1671.17/1677.18 c #Conflicts: 1257000 | #Constraints: 108215 1671.17/1677.18 c #Conflicts: 1258000 | #Constraints: 109256 1671.17/1677.18 c #Conflicts: 1259000 | #Constraints: 110295 1671.17/1677.18 c #Conflicts: 1260000 | #Constraints: 111341 1671.17/1677.18 c #Conflicts: 1261000 | #Constraints: 112393 1671.17/1677.18 c #Conflicts: 1262000 | #Constraints: 113448 1671.17/1677.18 c #Conflicts: 1263000 | #Constraints: 114497 1671.17/1677.18 c #Conflicts: 1264000 | #Constraints: 115538 1671.17/1677.18 c #Conflicts: 1265000 | #Constraints: 116585 1671.17/1677.18 c #Conflicts: 1266000 | #Constraints: 117623 1671.17/1677.18 c #Conflicts: 1267000 | #Constraints: 118658 1671.17/1677.18 c #Conflicts: 1268000 | #Constraints: 119684 1671.17/1677.18 c #Conflicts: 1269000 | #Constraints: 120714 1671.17/1677.18 c #Conflicts: 1270000 | #Constraints: 121763 1671.17/1677.18 c #Conflicts: 1271000 | #Constraints: 122813 1671.17/1677.18 c #Conflicts: 1272000 | #Constraints: 123864 1671.17/1677.18 c #Conflicts: 1273000 | #Constraints: 124912 1671.17/1677.18 c #Conflicts: 1274000 | #Constraints: 125958 1671.17/1677.18 c #Conflicts: 1275000 | #Constraints: 127003 1671.17/1677.18 c #Conflicts: 1276000 | #Constraints: 128050 1671.17/1677.18 c #Conflicts: 1277000 | #Constraints: 129098 1671.17/1677.18 c #Conflicts: 1278000 | #Constraints: 130154 1671.17/1677.18 c #Conflicts: 1279000 | #Constraints: 131202 1671.17/1677.18 c #Conflicts: 1280000 | #Constraints: 132253 1671.17/1677.18 c #Conflicts: 1281000 | #Constraints: 133303 1671.17/1677.18 c #Conflicts: 1282000 | #Constraints: 134347 1671.17/1677.18 c #Conflicts: 1283000 | #Constraints: 135402 1671.17/1677.18 c INPROCESSING 1671.17/1677.18 c GARBAGE COLLECT 1671.17/1677.18 c rational objective -106 1808.39/1814.82 c #Conflicts: 1284000 | #Constraints: 90682 1808.39/1814.82 c #Conflicts: 1285000 | #Constraints: 91682 1808.39/1814.82 c #Conflicts: 1286000 | #Constraints: 92682 1808.39/1814.82 c #Conflicts: 1287000 | #Constraints: 93682 1808.39/1814.82 c #Conflicts: 1288000 | #Constraints: 94682 1808.39/1814.82 c #Conflicts: 1289000 | #Constraints: 95682 1808.39/1814.82 c #Conflicts: 1290000 | #Constraints: 96682 1808.39/1814.82 c #Conflicts: 1291000 | #Constraints: 97682 1808.39/1814.82 c #Conflicts: 1292000 | #Constraints: 98682 1808.39/1814.82 c #Conflicts: 1293000 | #Constraints: 99682 1808.39/1814.82 c #Conflicts: 1294000 | #Constraints: 100682 1808.39/1814.82 c #Conflicts: 1295000 | #Constraints: 101682 1808.39/1814.82 c #Conflicts: 1296000 | #Constraints: 102682 1808.39/1814.82 c #Conflicts: 1297000 | #Constraints: 103682 1808.39/1814.82 c #Conflicts: 1298000 | #Constraints: 104682 1808.39/1814.82 c #Conflicts: 1299000 | #Constraints: 105682 1808.39/1814.82 c #Conflicts: 1300000 | #Constraints: 106682 1808.39/1814.82 c #Conflicts: 1301000 | #Constraints: 107682 1808.39/1814.82 c #Conflicts: 1302000 | #Constraints: 108682 1808.39/1814.82 c #Conflicts: 1303000 | #Constraints: 109682 1808.39/1814.82 c #Conflicts: 1304000 | #Constraints: 110682 1808.39/1814.82 c #Conflicts: 1305000 | #Constraints: 111682 1808.39/1814.82 c #Conflicts: 1306000 | #Constraints: 112682 1808.39/1814.82 c #Conflicts: 1307000 | #Constraints: 113682 1808.39/1814.82 c #Conflicts: 1308000 | #Constraints: 114682 1808.39/1814.82 c #Conflicts: 1309000 | #Constraints: 115682 1808.39/1814.82 c #Conflicts: 1310000 | #Constraints: 116682 1808.39/1814.82 c #Conflicts: 1311000 | #Constraints: 117682 1808.39/1814.82 c #Conflicts: 1312000 | #Constraints: 118682 1808.39/1814.82 c #Conflicts: 1313000 | #Constraints: 119682 1808.39/1814.82 c #Conflicts: 1314000 | #Constraints: 120682 1808.39/1814.82 c #Conflicts: 1315000 | #Constraints: 121682 1808.39/1814.82 c #Conflicts: 1316000 | #Constraints: 122682 1808.39/1814.82 c #Conflicts: 1317000 | #Constraints: 123682 1808.39/1814.82 c #Conflicts: 1318000 | #Constraints: 124682 1808.39/1814.82 c #Conflicts: 1319000 | #Constraints: 125682 1808.39/1814.82 c #Conflicts: 1320000 | #Constraints: 126682 1808.39/1814.82 c #Conflicts: 1321000 | #Constraints: 127682 1808.39/1814.82 c #Conflicts: 1322000 | #Constraints: 128682 1808.39/1814.82 c #Conflicts: 1323000 | #Constraints: 129682 1808.39/1814.82 c #Conflicts: 1324000 | #Constraints: 130682 1808.39/1814.82 c #Conflicts: 1325000 | #Constraints: 131682 1808.39/1814.82 c #Conflicts: 1326000 | #Constraints: 132682 1808.39/1814.82 c #Conflicts: 1327000 | #Constraints: 133682 1808.39/1814.82 c #Conflicts: 1328000 | #Constraints: 134682 1808.39/1814.82 c #Conflicts: 1329000 | #Constraints: 135682 1808.39/1814.82 c #Conflicts: 1330000 | #Constraints: 136682 1808.39/1814.82 c #Conflicts: 1331000 | #Constraints: 137682 1808.39/1814.82 c #Conflicts: 1332000 | #Constraints: 138682 1808.39/1814.82 c #Conflicts: 1333000 | #Constraints: 139682 1808.39/1814.82 c #Conflicts: 1334000 | #Constraints: 140682 1808.39/1814.82 c #Conflicts: 1335000 | #Constraints: 141682 1808.39/1814.82 c #Conflicts: 1336000 | #Constraints: 142682 1808.39/1814.82 c #Conflicts: 1337000 | #Constraints: 143682 1808.39/1814.82 c #Conflicts: 1338000 | #Constraints: 144682 1808.39/1814.82 c #Conflicts: 1339000 | #Constraints: 145682 1808.39/1814.82 c #Conflicts: 1340000 | #Constraints: 146682 1808.39/1814.82 c #Conflicts: 1341000 | #Constraints: 147682 1808.39/1814.82 c #Conflicts: 1342000 | #Constraints: 148682 1808.39/1814.82 c #Conflicts: 1343000 | #Constraints: 149682 1808.39/1814.82 c #Conflicts: 1344000 | #Constraints: 150682 1808.39/1814.82 c #Conflicts: 1345000 | #Constraints: 151682 1808.39/1814.82 c #Conflicts: 1346000 | #Constraints: 152682 1808.39/1814.82 c #Conflicts: 1347000 | #Constraints: 153682 1808.39/1814.82 c #Conflicts: 1348000 | #Constraints: 154682 1808.39/1814.82 c #Conflicts: 1349000 | #Constraints: 155682 1808.39/1814.82 c #Conflicts: 1350000 | #Constraints: 156682 1808.39/1814.82 c #Conflicts: 1351000 | #Constraints: 157682 1808.39/1814.82 c #Conflicts: 1352000 | #Constraints: 158682 1808.39/1814.82 c #Conflicts: 1353000 | #Constraints: 159682 1808.39/1814.82 c #Conflicts: 1354000 | #Constraints: 160682 1808.39/1814.82 c #Conflicts: 1355000 | #Constraints: 161682 1808.39/1814.82 c #Conflicts: 1356000 | #Constraints: 162682 1808.39/1814.82 c #Conflicts: 1357000 | #Constraints: 163682 1808.39/1814.82 c #Conflicts: 1358000 | #Constraints: 164682 1808.39/1814.82 c INPROCESSING 1808.39/1814.82 c GARBAGE COLLECT 1808.39/1814.82 c rational objective -106 1881.74/1888.41 c #Conflicts: 1359000 | #Constraints: 105354 1881.74/1888.41 c #Conflicts: 1360000 | #Constraints: 106390 1881.74/1888.41 c #Conflicts: 1361000 | #Constraints: 107430 1881.74/1888.41 c #Conflicts: 1362000 | #Constraints: 108467 1881.74/1888.41 c #Conflicts: 1363000 | #Constraints: 109505 1881.74/1888.41 c #Conflicts: 1364000 | #Constraints: 110537 1881.74/1888.41 c #Conflicts: 1365000 | #Constraints: 111570 1881.74/1888.41 c #Conflicts: 1366000 | #Constraints: 112624 1881.74/1888.41 c #Conflicts: 1367000 | #Constraints: 113662 1881.74/1888.41 c #Conflicts: 1368000 | #Constraints: 114711 1881.74/1888.41 c #Conflicts: 1369000 | #Constraints: 115753 1881.74/1888.41 c #Conflicts: 1370000 | #Constraints: 116790 1881.74/1888.41 c #Conflicts: 1371000 | #Constraints: 117828 1881.74/1888.41 c #Conflicts: 1372000 | #Constraints: 118866 1881.74/1888.41 c #Conflicts: 1373000 | #Constraints: 119908 1881.74/1888.41 c #Conflicts: 1374000 | #Constraints: 120950 1881.74/1888.41 c #Conflicts: 1375000 | #Constraints: 121990 1881.74/1888.41 c #Conflicts: 1376000 | #Constraints: 123028 1881.74/1888.41 c #Conflicts: 1377000 | #Constraints: 124069 1881.74/1888.41 c #Conflicts: 1378000 | #Constraints: 125106 1881.74/1888.41 c #Conflicts: 1379000 | #Constraints: 126140 1881.74/1888.41 c #Conflicts: 1380000 | #Constraints: 127185 1881.74/1888.41 c #Conflicts: 1381000 | #Constraints: 128234 1881.74/1888.41 c #Conflicts: 1382000 | #Constraints: 129268 1881.74/1888.41 c #Conflicts: 1383000 | #Constraints: 130314 1881.74/1888.41 c #Conflicts: 1384000 | #Constraints: 131349 1881.74/1888.41 c #Conflicts: 1385000 | #Constraints: 132394 1881.74/1888.41 c #Conflicts: 1386000 | #Constraints: 133435 1881.74/1888.41 c #Conflicts: 1387000 | #Constraints: 134460 1881.74/1888.41 c #Conflicts: 1388000 | #Constraints: 135489 1881.74/1888.41 c #Conflicts: 1389000 | #Constraints: 136528 1881.74/1888.41 c #Conflicts: 1390000 | #Constraints: 137572 1881.74/1888.41 c #Conflicts: 1391000 | #Constraints: 138612 1881.74/1888.41 c INPROCESSING 1881.74/1888.41 c GARBAGE COLLECT 1881.74/1888.41 c rational objective -106 2042.49/2049.71 c #Conflicts: 1392000 | #Constraints: 92042 2042.49/2049.71 c #Conflicts: 1393000 | #Constraints: 93042 2042.49/2049.71 c #Conflicts: 1394000 | #Constraints: 94042 2042.49/2049.71 c #Conflicts: 1395000 | #Constraints: 95042 2042.49/2049.71 c #Conflicts: 1396000 | #Constraints: 96042 2042.49/2049.71 c #Conflicts: 1397000 | #Constraints: 97042 2042.49/2049.71 c #Conflicts: 1398000 | #Constraints: 98042 2042.49/2049.71 c #Conflicts: 1399000 | #Constraints: 99042 2042.49/2049.71 c #Conflicts: 1400000 | #Constraints: 100042 2042.49/2049.71 c #Conflicts: 1401000 | #Constraints: 101042 2042.49/2049.71 c #Conflicts: 1402000 | #Constraints: 102042 2042.49/2049.71 c #Conflicts: 1403000 | #Constraints: 103042 2042.49/2049.71 c #Conflicts: 1404000 | #Constraints: 104042 2042.49/2049.71 c #Conflicts: 1405000 | #Constraints: 105042 2042.49/2049.71 c #Conflicts: 1406000 | #Constraints: 106042 2042.49/2049.71 c #Conflicts: 1407000 | #Constraints: 107042 2042.49/2049.71 c #Conflicts: 1408000 | #Constraints: 108042 2042.49/2049.71 c #Conflicts: 1409000 | #Constraints: 109042 2042.49/2049.71 c #Conflicts: 1410000 | #Constraints: 110042 2042.49/2049.71 c #Conflicts: 1411000 | #Constraints: 111042 2042.49/2049.71 c #Conflicts: 1412000 | #Constraints: 112042 2042.49/2049.71 c #Conflicts: 1413000 | #Constraints: 113042 2042.49/2049.71 c #Conflicts: 1414000 | #Constraints: 114042 2042.49/2049.71 c #Conflicts: 1415000 | #Constraints: 115042 2042.49/2049.71 c #Conflicts: 1416000 | #Constraints: 116042 2042.49/2049.71 c #Conflicts: 1417000 | #Constraints: 117042 2042.49/2049.71 c #Conflicts: 1418000 | #Constraints: 118042 2042.49/2049.71 c #Conflicts: 1419000 | #Constraints: 119042 2042.49/2049.71 c #Conflicts: 1420000 | #Constraints: 120042 2042.49/2049.71 c #Conflicts: 1421000 | #Constraints: 121042 2042.49/2049.71 c #Conflicts: 1422000 | #Constraints: 122042 2042.49/2049.71 c #Conflicts: 1423000 | #Constraints: 123042 2042.49/2049.71 c #Conflicts: 1424000 | #Constraints: 124042 2042.49/2049.71 c #Conflicts: 1425000 | #Constraints: 125042 2042.49/2049.71 c #Conflicts: 1426000 | #Constraints: 126042 2042.49/2049.71 c #Conflicts: 1427000 | #Constraints: 127042 2042.49/2049.71 c #Conflicts: 1428000 | #Constraints: 128042 2042.49/2049.71 c #Conflicts: 1429000 | #Constraints: 129042 2042.49/2049.71 c #Conflicts: 1430000 | #Constraints: 130042 2042.49/2049.71 c #Conflicts: 1431000 | #Constraints: 131042 2042.49/2049.71 c #Conflicts: 1432000 | #Constraints: 132042 2042.49/2049.71 c #Conflicts: 1433000 | #Constraints: 133042 2042.49/2049.71 c #Conflicts: 1434000 | #Constraints: 134042 2042.49/2049.71 c #Conflicts: 1435000 | #Constraints: 135042 2042.49/2049.71 c #Conflicts: 1436000 | #Constraints: 136042 2042.49/2049.71 c #Conflicts: 1437000 | #Constraints: 137042 2042.49/2049.71 c #Conflicts: 1438000 | #Constraints: 138042 2042.49/2049.71 c #Conflicts: 1439000 | #Constraints: 139042 2042.49/2049.71 c #Conflicts: 1440000 | #Constraints: 140042 2042.49/2049.71 c #Conflicts: 1441000 | #Constraints: 141042 2042.49/2049.71 c #Conflicts: 1442000 | #Constraints: 142042 2042.49/2049.71 c #Conflicts: 1443000 | #Constraints: 143042 2042.49/2049.71 c #Conflicts: 1444000 | #Constraints: 144042 2042.49/2049.71 c #Conflicts: 1445000 | #Constraints: 145042 2042.49/2049.71 c #Conflicts: 1446000 | #Constraints: 146042 2042.49/2049.71 c #Conflicts: 1447000 | #Constraints: 147042 2042.49/2049.71 c #Conflicts: 1448000 | #Constraints: 148042 2042.49/2049.71 c #Conflicts: 1449000 | #Constraints: 149042 2042.49/2049.71 c #Conflicts: 1450000 | #Constraints: 150042 2042.49/2049.71 c #Conflicts: 1451000 | #Constraints: 151042 2042.49/2049.71 c #Conflicts: 1452000 | #Constraints: 152042 2042.49/2049.71 c #Conflicts: 1453000 | #Constraints: 153042 2042.49/2049.71 c #Conflicts: 1454000 | #Constraints: 154042 2042.49/2049.71 c #Conflicts: 1455000 | #Constraints: 155042 2042.49/2049.71 c #Conflicts: 1456000 | #Constraints: 156042 2042.49/2049.71 c #Conflicts: 1457000 | #Constraints: 157042 2042.49/2049.71 c #Conflicts: 1458000 | #Constraints: 158042 2042.49/2049.71 c #Conflicts: 1459000 | #Constraints: 159042 2042.49/2049.71 c #Conflicts: 1460000 | #Constraints: 160042 2042.49/2049.71 c #Conflicts: 1461000 | #Constraints: 161042 2042.49/2049.71 c #Conflicts: 1462000 | #Constraints: 162042 2042.49/2049.71 c #Conflicts: 1463000 | #Constraints: 163042 2042.49/2049.71 c #Conflicts: 1464000 | #Constraints: 164042 2042.49/2049.71 c #Conflicts: 1465000 | #Constraints: 165042 2042.49/2049.71 c #Conflicts: 1466000 | #Constraints: 166042 2042.49/2049.71 c #Conflicts: 1467000 | #Constraints: 167042 2042.49/2049.71 c #Conflicts: 1468000 | #Constraints: 168042 2042.49/2049.71 c #Conflicts: 1469000 | #Constraints: 169042 2042.49/2049.71 c #Conflicts: 1470000 | #Constraints: 170042 2042.49/2049.78 c INPROCESSING 2042.49/2049.78 c GARBAGE COLLECT 2042.49/2049.78 c rational objective -106 2102.70/2110.12 c #Conflicts: 1471000 | #Constraints: 108187 2102.70/2110.12 c #Conflicts: 1472000 | #Constraints: 109187 2102.70/2110.12 c #Conflicts: 1473000 | #Constraints: 110187 2102.70/2110.12 c #Conflicts: 1474000 | #Constraints: 111187 2102.70/2110.12 c #Conflicts: 1475000 | #Constraints: 112187 2102.70/2110.12 c #Conflicts: 1476000 | #Constraints: 113187 2102.70/2110.12 c #Conflicts: 1477000 | #Constraints: 114187 2102.70/2110.12 c #Conflicts: 1478000 | #Constraints: 115187 2102.70/2110.12 c #Conflicts: 1479000 | #Constraints: 116187 2102.70/2110.12 c #Conflicts: 1480000 | #Constraints: 117187 2102.70/2110.12 c #Conflicts: 1481000 | #Constraints: 118187 2102.70/2110.12 c #Conflicts: 1482000 | #Constraints: 119187 2102.70/2110.12 c #Conflicts: 1483000 | #Constraints: 120187 2102.70/2110.12 c #Conflicts: 1484000 | #Constraints: 121187 2102.70/2110.12 c #Conflicts: 1485000 | #Constraints: 122187 2102.70/2110.12 c #Conflicts: 1486000 | #Constraints: 123187 2102.70/2110.12 c #Conflicts: 1487000 | #Constraints: 124187 2102.70/2110.12 c #Conflicts: 1488000 | #Constraints: 125187 2102.70/2110.12 c #Conflicts: 1489000 | #Constraints: 126187 2102.70/2110.12 c #Conflicts: 1490000 | #Constraints: 127187 2102.70/2110.12 c #Conflicts: 1491000 | #Constraints: 128187 2102.70/2110.12 c #Conflicts: 1492000 | #Constraints: 129187 2102.70/2110.12 c #Conflicts: 1493000 | #Constraints: 130187 2102.70/2110.12 c #Conflicts: 1494000 | #Constraints: 131187 2102.70/2110.12 c #Conflicts: 1495000 | #Constraints: 132187 2102.70/2110.12 c #Conflicts: 1496000 | #Constraints: 133187 2102.70/2110.12 c #Conflicts: 1497000 | #Constraints: 134187 2102.70/2110.12 c #Conflicts: 1498000 | #Constraints: 135187 2102.70/2110.12 c #Conflicts: 1499000 | #Constraints: 136187 2102.70/2110.12 c #Conflicts: 1500000 | #Constraints: 137187 2102.70/2110.12 c #Conflicts: 1501000 | #Constraints: 138187 2102.70/2110.12 c #Conflicts: 1502000 | #Constraints: 139187 2102.70/2110.12 c #Conflicts: 1503000 | #Constraints: 140187 2102.70/2110.12 c #Conflicts: 1504000 | #Constraints: 141187 2102.70/2110.12 c INPROCESSING 2102.70/2110.12 c GARBAGE COLLECT 2102.70/2110.12 c rational objective -106 2484.18/2492.91 c #Conflicts: 1505000 | #Constraints: 93506 2484.18/2492.91 c #Conflicts: 1506000 | #Constraints: 94507 2484.18/2492.91 c #Conflicts: 1507000 | #Constraints: 95534 2484.18/2492.91 c #Conflicts: 1508000 | #Constraints: 96567 2484.18/2492.91 c #Conflicts: 1509000 | #Constraints: 97620 2484.18/2492.91 c #Conflicts: 1510000 | #Constraints: 98677 2484.18/2492.91 c #Conflicts: 1511000 | #Constraints: 99742 2484.18/2492.91 c #Conflicts: 1512000 | #Constraints: 100822 2484.18/2492.91 c #Conflicts: 1513000 | #Constraints: 101879 2484.18/2492.91 c #Conflicts: 1514000 | #Constraints: 102934 2484.18/2492.91 c #Conflicts: 1515000 | #Constraints: 103994 2484.18/2492.91 c #Conflicts: 1516000 | #Constraints: 105047 2484.18/2492.91 c #Conflicts: 1517000 | #Constraints: 106097 2484.18/2492.91 c #Conflicts: 1518000 | #Constraints: 107159 2484.18/2492.91 c #Conflicts: 1519000 | #Constraints: 108217 2484.18/2492.91 c #Conflicts: 1520000 | #Constraints: 109271 2484.18/2492.91 c #Conflicts: 1521000 | #Constraints: 110328 2484.18/2492.91 c #Conflicts: 1522000 | #Constraints: 111394 2484.18/2492.91 c #Conflicts: 1523000 | #Constraints: 112455 2484.18/2492.91 c #Conflicts: 1524000 | #Constraints: 113497 2484.18/2492.91 c #Conflicts: 1525000 | #Constraints: 114541 2484.18/2492.91 c #Conflicts: 1526000 | #Constraints: 115588 2484.18/2492.91 c #Conflicts: 1527000 | #Constraints: 116651 2484.18/2492.91 c #Conflicts: 1528000 | #Constraints: 117709 2484.18/2492.91 c #Conflicts: 1529000 | #Constraints: 118769 2484.18/2492.91 c #Conflicts: 1530000 | #Constraints: 119822 2484.18/2492.91 c #Conflicts: 1531000 | #Constraints: 120875 2484.18/2492.91 c #Conflicts: 1532000 | #Constraints: 121924 2484.18/2492.91 c #Conflicts: 1533000 | #Constraints: 122986 2484.18/2492.91 c #Conflicts: 1534000 | #Constraints: 124039 2484.18/2492.91 c #Conflicts: 1535000 | #Constraints: 125101 2484.18/2492.91 c #Conflicts: 1536000 | #Constraints: 126166 2484.18/2492.91 c #Conflicts: 1537000 | #Constraints: 127227 2484.18/2492.91 c #Conflicts: 1538000 | #Constraints: 128295 2484.18/2492.91 c #Conflicts: 1539000 | #Constraints: 129348 2484.18/2492.91 c #Conflicts: 1540000 | #Constraints: 130411 2484.18/2492.91 c #Conflicts: 1541000 | #Constraints: 131475 2484.18/2492.91 c #Conflicts: 1542000 | #Constraints: 132534 2484.18/2492.91 c #Conflicts: 1543000 | #Constraints: 133600 2484.18/2492.91 c #Conflicts: 1544000 | #Constraints: 134652 2484.18/2492.91 c #Conflicts: 1545000 | #Constraints: 135704 2484.18/2492.91 c #Conflicts: 1546000 | #Constraints: 136764 2484.18/2492.91 c #Conflicts: 1547000 | #Constraints: 137810 2484.18/2492.91 c #Conflicts: 1548000 | #Constraints: 138858 2484.18/2492.91 c #Conflicts: 1549000 | #Constraints: 139907 2484.18/2492.91 c #Conflicts: 1550000 | #Constraints: 140964 2484.18/2492.91 c #Conflicts: 1551000 | #Constraints: 142002 2484.18/2492.91 c #Conflicts: 1552000 | #Constraints: 143061 2484.18/2492.91 c #Conflicts: 1553000 | #Constraints: 144128 2484.18/2492.91 c #Conflicts: 1554000 | #Constraints: 145182 2484.18/2492.91 c #Conflicts: 1555000 | #Constraints: 146237 2484.18/2492.91 c #Conflicts: 1556000 | #Constraints: 147288 2484.18/2492.91 c #Conflicts: 1557000 | #Constraints: 148337 2484.18/2492.91 c #Conflicts: 1558000 | #Constraints: 149388 2484.18/2492.91 c #Conflicts: 1559000 | #Constraints: 150442 2484.18/2492.91 c #Conflicts: 1560000 | #Constraints: 151498 2484.18/2492.91 c #Conflicts: 1561000 | #Constraints: 152547 2484.18/2492.91 c #Conflicts: 1562000 | #Constraints: 153596 2484.18/2492.91 c #Conflicts: 1563000 | #Constraints: 154639 2484.18/2492.91 c #Conflicts: 1564000 | #Constraints: 155689 2484.18/2492.91 c #Conflicts: 1565000 | #Constraints: 156741 2484.18/2492.91 c #Conflicts: 1566000 | #Constraints: 157782 2484.18/2492.91 c #Conflicts: 1567000 | #Constraints: 158824 2484.18/2492.91 c #Conflicts: 1568000 | #Constraints: 159873 2484.18/2492.91 c #Conflicts: 1569000 | #Constraints: 160919 2484.18/2492.91 c #Conflicts: 1570000 | #Constraints: 161958 2484.18/2492.91 c #Conflicts: 1571000 | #Constraints: 162997 2484.18/2492.91 c #Conflicts: 1572000 | #Constraints: 164045 2484.18/2492.91 c #Conflicts: 1573000 | #Constraints: 165085 2484.18/2492.91 c #Conflicts: 1574000 | #Constraints: 166117 2484.18/2492.91 c #Conflicts: 1575000 | #Constraints: 167163 2484.18/2492.91 c #Conflicts: 1576000 | #Constraints: 168199 2484.18/2492.91 c #Conflicts: 1577000 | #Constraints: 169241 2484.18/2492.91 c #Conflicts: 1578000 | #Constraints: 170278 2484.18/2492.91 c #Conflicts: 1579000 | #Constraints: 171320 2484.18/2492.91 c #Conflicts: 1580000 | #Constraints: 172361 2484.18/2492.91 c #Conflicts: 1581000 | #Constraints: 173407 2484.18/2492.91 c #Conflicts: 1582000 | #Constraints: 174450 2484.18/2492.91 c #Conflicts: 1583000 | #Constraints: 175487 2512.89/2521.76 c #Conflicts: 1584000 | #Constraints: 176530 2512.89/2521.76 c #Conflicts: 1585000 | #Constraints: 177575 2512.89/2521.76 c #Conflicts: 1586000 | #Constraints: 178620 2512.89/2521.76 c INPROCESSING 2512.89/2521.76 c GARBAGE COLLECT 2512.89/2521.76 c rational objective -106 2577.57/2586.62 c #Conflicts: 1587000 | #Constraints: 112364 2577.57/2586.62 c #Conflicts: 1588000 | #Constraints: 113364 2577.57/2586.62 c #Conflicts: 1589000 | #Constraints: 114364 2577.57/2586.62 c #Conflicts: 1590000 | #Constraints: 115364 2577.57/2586.62 c #Conflicts: 1591000 | #Constraints: 116364 2577.57/2586.62 c #Conflicts: 1592000 | #Constraints: 117364 2577.57/2586.62 c #Conflicts: 1593000 | #Constraints: 118364 2577.57/2586.62 c #Conflicts: 1594000 | #Constraints: 119364 2577.57/2586.62 c #Conflicts: 1595000 | #Constraints: 120364 2577.57/2586.62 c #Conflicts: 1596000 | #Constraints: 121364 2577.57/2586.62 c #Conflicts: 1597000 | #Constraints: 122364 2577.57/2586.62 c #Conflicts: 1598000 | #Constraints: 123364 2577.57/2586.62 c #Conflicts: 1599000 | #Constraints: 124364 2577.57/2586.62 c #Conflicts: 1600000 | #Constraints: 125364 2577.57/2586.62 c #Conflicts: 1601000 | #Constraints: 126364 2577.57/2586.62 c #Conflicts: 1602000 | #Constraints: 127364 2577.57/2586.62 c #Conflicts: 1603000 | #Constraints: 128364 2577.57/2586.62 c #Conflicts: 1604000 | #Constraints: 129364 2577.57/2586.62 c #Conflicts: 1605000 | #Constraints: 130364 2577.57/2586.62 c #Conflicts: 1606000 | #Constraints: 131364 2577.57/2586.62 c #Conflicts: 1607000 | #Constraints: 132364 2577.57/2586.62 c #Conflicts: 1608000 | #Constraints: 133364 2577.57/2586.62 c #Conflicts: 1609000 | #Constraints: 134364 2577.57/2586.62 c #Conflicts: 1610000 | #Constraints: 135364 2577.57/2586.62 c #Conflicts: 1611000 | #Constraints: 136364 2577.57/2586.62 c #Conflicts: 1612000 | #Constraints: 137364 2577.57/2586.62 c #Conflicts: 1613000 | #Constraints: 138364 2577.57/2586.62 c #Conflicts: 1614000 | #Constraints: 139364 2577.57/2586.62 c #Conflicts: 1615000 | #Constraints: 140364 2577.57/2586.62 c #Conflicts: 1616000 | #Constraints: 141364 2577.57/2586.62 c #Conflicts: 1617000 | #Constraints: 142364 2577.57/2586.62 c #Conflicts: 1618000 | #Constraints: 143364 2577.57/2586.62 c #Conflicts: 1619000 | #Constraints: 144364 2577.57/2586.62 c #Conflicts: 1620000 | #Constraints: 145364 2577.57/2586.62 c #Conflicts: 1621000 | #Constraints: 146364 2577.57/2586.62 c INPROCESSING 2577.57/2586.62 c GARBAGE COLLECT 2577.57/2586.62 c rational objective -106 2633.48/2642.71 c #Conflicts: 1622000 | #Constraints: 95973 2633.48/2642.71 c #Conflicts: 1623000 | #Constraints: 96973 2633.48/2642.71 c #Conflicts: 1624000 | #Constraints: 97973 2633.48/2642.71 c #Conflicts: 1625000 | #Constraints: 98973 2633.48/2642.71 c #Conflicts: 1626000 | #Constraints: 99973 2633.48/2642.71 c #Conflicts: 1627000 | #Constraints: 100973 2633.48/2642.71 c #Conflicts: 1628000 | #Constraints: 101973 2633.48/2642.71 c #Conflicts: 1629000 | #Constraints: 102973 2633.48/2642.71 c #Conflicts: 1630000 | #Constraints: 103973 2633.48/2642.71 c #Conflicts: 1631000 | #Constraints: 104973 2633.48/2642.71 c #Conflicts: 1632000 | #Constraints: 105973 2633.48/2642.71 c #Conflicts: 1633000 | #Constraints: 106973 2633.48/2642.71 c #Conflicts: 1634000 | #Constraints: 107973 2633.48/2642.71 c #Conflicts: 1635000 | #Constraints: 108973 2633.48/2642.71 c #Conflicts: 1636000 | #Constraints: 109973 2633.48/2642.71 c #Conflicts: 1637000 | #Constraints: 110973 2633.48/2642.71 c #Conflicts: 1638000 | #Constraints: 111973 2633.48/2642.71 c #Conflicts: 1639000 | #Constraints: 112973 2633.48/2642.71 c #Conflicts: 1640000 | #Constraints: 113973 2633.48/2642.71 c #Conflicts: 1641000 | #Constraints: 114973 2633.48/2642.71 c #Conflicts: 1642000 | #Constraints: 115973 2633.48/2642.71 c #Conflicts: 1643000 | #Constraints: 116973 2633.48/2642.71 c #Conflicts: 1644000 | #Constraints: 117973 2633.48/2642.71 c #Conflicts: 1645000 | #Constraints: 118973 2633.48/2642.71 c #Conflicts: 1646000 | #Constraints: 119973 2633.48/2642.71 c #Conflicts: 1647000 | #Constraints: 120973 2633.48/2642.71 c #Conflicts: 1648000 | #Constraints: 121973 2633.48/2642.71 c #Conflicts: 1649000 | #Constraints: 122973 2633.48/2642.71 c #Conflicts: 1650000 | #Constraints: 123973 2633.48/2642.71 c #Conflicts: 1651000 | #Constraints: 124973 2633.48/2642.71 c #Conflicts: 1652000 | #Constraints: 125973 2633.48/2642.71 c #Conflicts: 1653000 | #Constraints: 126973 2633.48/2642.71 c #Conflicts: 1654000 | #Constraints: 127973 2633.48/2642.71 c #Conflicts: 1655000 | #Constraints: 128973 2633.48/2642.71 c #Conflicts: 1656000 | #Constraints: 129973 2633.48/2642.71 c #Conflicts: 1657000 | #Constraints: 130973 2633.48/2642.71 c INPROCESSING 2633.48/2642.71 c GARBAGE COLLECT 2633.48/2642.71 c rational objective -106 2797.89/2807.76 c #Conflicts: 1658000 | #Constraints: 94455 2797.89/2807.76 c #Conflicts: 1659000 | #Constraints: 95455 2797.89/2807.76 c #Conflicts: 1660000 | #Constraints: 96455 2797.89/2807.76 c #Conflicts: 1661000 | #Constraints: 97455 2797.89/2807.76 c #Conflicts: 1662000 | #Constraints: 98455 2797.89/2807.76 c #Conflicts: 1663000 | #Constraints: 99455 2797.89/2807.76 c #Conflicts: 1664000 | #Constraints: 100455 2797.89/2807.76 c #Conflicts: 1665000 | #Constraints: 101455 2797.89/2807.76 c #Conflicts: 1666000 | #Constraints: 102455 2797.89/2807.76 c #Conflicts: 1667000 | #Constraints: 103455 2797.89/2807.76 c #Conflicts: 1668000 | #Constraints: 104455 2797.89/2807.76 c #Conflicts: 1669000 | #Constraints: 105455 2797.89/2807.76 c #Conflicts: 1670000 | #Constraints: 106455 2797.89/2807.76 c #Conflicts: 1671000 | #Constraints: 107455 2797.89/2807.76 c #Conflicts: 1672000 | #Constraints: 108455 2797.89/2807.76 c #Conflicts: 1673000 | #Constraints: 109455 2797.89/2807.76 c #Conflicts: 1674000 | #Constraints: 110455 2797.89/2807.76 c #Conflicts: 1675000 | #Constraints: 111455 2797.89/2807.76 c #Conflicts: 1676000 | #Constraints: 112455 2797.89/2807.76 c #Conflicts: 1677000 | #Constraints: 113455 2797.89/2807.76 c #Conflicts: 1678000 | #Constraints: 114455 2797.89/2807.76 c #Conflicts: 1679000 | #Constraints: 115455 2797.89/2807.76 c #Conflicts: 1680000 | #Constraints: 116455 2797.89/2807.76 c #Conflicts: 1681000 | #Constraints: 117455 2797.89/2807.76 c #Conflicts: 1682000 | #Constraints: 118455 2797.89/2807.76 c #Conflicts: 1683000 | #Constraints: 119455 2797.89/2807.76 c #Conflicts: 1684000 | #Constraints: 120455 2797.89/2807.76 c #Conflicts: 1685000 | #Constraints: 121455 2797.89/2807.76 c #Conflicts: 1686000 | #Constraints: 122455 2797.89/2807.76 c #Conflicts: 1687000 | #Constraints: 123455 2797.89/2807.76 c #Conflicts: 1688000 | #Constraints: 124455 2797.89/2807.76 c #Conflicts: 1689000 | #Constraints: 125455 2797.89/2807.76 c #Conflicts: 1690000 | #Constraints: 126455 2797.89/2807.76 c #Conflicts: 1691000 | #Constraints: 127455 2797.89/2807.76 c #Conflicts: 1692000 | #Constraints: 128455 2797.89/2807.76 c #Conflicts: 1693000 | #Constraints: 129455 2797.89/2807.76 c #Conflicts: 1694000 | #Constraints: 130455 2797.89/2807.76 c #Conflicts: 1695000 | #Constraints: 131455 2797.89/2807.76 c #Conflicts: 1696000 | #Constraints: 132455 2797.89/2807.76 c #Conflicts: 1697000 | #Constraints: 133455 2797.89/2807.76 c #Conflicts: 1698000 | #Constraints: 134455 2797.89/2807.76 c #Conflicts: 1699000 | #Constraints: 135455 2797.89/2807.76 c #Conflicts: 1700000 | #Constraints: 136455 2797.89/2807.76 c #Conflicts: 1701000 | #Constraints: 137455 2797.89/2807.76 c #Conflicts: 1702000 | #Constraints: 138455 2797.89/2807.76 c #Conflicts: 1703000 | #Constraints: 139455 2797.89/2807.76 c #Conflicts: 1704000 | #Constraints: 140455 2797.89/2807.76 c #Conflicts: 1705000 | #Constraints: 141455 2797.89/2807.76 c #Conflicts: 1706000 | #Constraints: 142455 2797.89/2807.76 c #Conflicts: 1707000 | #Constraints: 143455 2797.89/2807.76 c #Conflicts: 1708000 | #Constraints: 144455 2797.89/2807.76 c #Conflicts: 1709000 | #Constraints: 145455 2797.89/2807.76 c #Conflicts: 1710000 | #Constraints: 146455 2797.89/2807.76 c #Conflicts: 1711000 | #Constraints: 147455 2797.89/2807.76 c #Conflicts: 1712000 | #Constraints: 148455 2797.89/2807.76 c #Conflicts: 1713000 | #Constraints: 149455 2797.89/2807.76 c #Conflicts: 1714000 | #Constraints: 150455 2797.89/2807.76 c #Conflicts: 1715000 | #Constraints: 151455 2797.89/2807.76 c #Conflicts: 1716000 | #Constraints: 152455 2797.89/2807.76 c #Conflicts: 1717000 | #Constraints: 153455 2797.89/2807.76 c #Conflicts: 1718000 | #Constraints: 154455 2797.89/2807.76 c #Conflicts: 1719000 | #Constraints: 155455 2797.89/2807.76 c #Conflicts: 1720000 | #Constraints: 156455 2797.89/2807.76 c #Conflicts: 1721000 | #Constraints: 157455 2797.89/2807.76 c #Conflicts: 1722000 | #Constraints: 158455 2797.89/2807.76 c #Conflicts: 1723000 | #Constraints: 159455 2797.89/2807.76 c bounds -33 >= -105 @ 2748.48 2797.89/2807.76 c #Conflicts: 1724000 | #Constraints: 160488 2797.89/2807.76 c #Conflicts: 1725000 | #Constraints: 161488 2797.89/2807.76 c #Conflicts: 1726000 | #Constraints: 162488 2797.89/2807.76 c #Conflicts: 1727000 | #Constraints: 163488 2797.89/2807.76 c #Conflicts: 1728000 | #Constraints: 164488 2797.89/2807.76 c #Conflicts: 1729000 | #Constraints: 165488 2797.89/2807.76 c #Conflicts: 1730000 | #Constraints: 166488 2797.89/2807.76 c #Conflicts: 1731000 | #Constraints: 167488 2797.89/2807.76 c #Conflicts: 1732000 | #Constraints: 168488 2797.89/2807.76 c #Conflicts: 1733000 | #Constraints: 169488 2797.89/2807.76 c #Conflicts: 1734000 | #Constraints: 170488 2797.89/2807.76 c #Conflicts: 1735000 | #Constraints: 171488 2797.89/2807.76 c #Conflicts: 1736000 | #Constraints: 172488 2821.81/2831.70 c #Conflicts: 1737000 | #Constraints: 173488 2821.81/2831.70 c #Conflicts: 1738000 | #Constraints: 174488 2821.81/2831.70 c #Conflicts: 1739000 | #Constraints: 175488 2821.81/2831.70 c #Conflicts: 1740000 | #Constraints: 176488 2821.81/2831.70 c #Conflicts: 1741000 | #Constraints: 177488 2821.81/2831.70 c #Conflicts: 1742000 | #Constraints: 178488 2821.81/2831.70 c #Conflicts: 1743000 | #Constraints: 179488 2821.81/2831.70 c INPROCESSING 2821.81/2831.70 c GARBAGE COLLECT 2821.81/2831.70 c rational objective -105 2886.11/2896.25 c #Conflicts: 1744000 | #Constraints: 112697 2886.11/2896.25 c #Conflicts: 1745000 | #Constraints: 113697 2886.11/2896.25 c #Conflicts: 1746000 | #Constraints: 114697 2886.11/2896.25 c #Conflicts: 1747000 | #Constraints: 115697 2886.11/2896.25 c #Conflicts: 1748000 | #Constraints: 116697 2886.11/2896.25 c #Conflicts: 1749000 | #Constraints: 117697 2886.11/2896.25 c #Conflicts: 1750000 | #Constraints: 118697 2886.11/2896.25 c #Conflicts: 1751000 | #Constraints: 119697 2886.11/2896.25 c #Conflicts: 1752000 | #Constraints: 120697 2886.11/2896.25 c #Conflicts: 1753000 | #Constraints: 121697 2886.11/2896.25 c #Conflicts: 1754000 | #Constraints: 122697 2886.11/2896.25 c #Conflicts: 1755000 | #Constraints: 123697 2886.11/2896.25 c #Conflicts: 1756000 | #Constraints: 124697 2886.11/2896.25 c #Conflicts: 1757000 | #Constraints: 125697 2886.11/2896.25 c #Conflicts: 1758000 | #Constraints: 126697 2886.11/2896.25 c #Conflicts: 1759000 | #Constraints: 127697 2886.11/2896.25 c #Conflicts: 1760000 | #Constraints: 128697 2886.11/2896.25 c #Conflicts: 1761000 | #Constraints: 129697 2886.11/2896.25 c #Conflicts: 1762000 | #Constraints: 130697 2886.11/2896.25 c #Conflicts: 1763000 | #Constraints: 131697 2886.11/2896.25 c #Conflicts: 1764000 | #Constraints: 132697 2886.11/2896.25 c #Conflicts: 1765000 | #Constraints: 133697 2886.11/2896.25 c #Conflicts: 1766000 | #Constraints: 134697 2886.11/2896.25 c #Conflicts: 1767000 | #Constraints: 135697 2886.11/2896.25 c #Conflicts: 1768000 | #Constraints: 136697 2886.11/2896.25 c #Conflicts: 1769000 | #Constraints: 137697 2886.11/2896.25 c #Conflicts: 1770000 | #Constraints: 138697 2886.11/2896.25 c #Conflicts: 1771000 | #Constraints: 139697 2886.11/2896.25 c #Conflicts: 1772000 | #Constraints: 140697 2886.11/2896.25 c #Conflicts: 1773000 | #Constraints: 141697 2886.11/2896.25 c #Conflicts: 1774000 | #Constraints: 142697 2886.11/2896.25 c #Conflicts: 1775000 | #Constraints: 143697 2886.11/2896.25 c #Conflicts: 1776000 | #Constraints: 144697 2886.11/2896.25 c #Conflicts: 1777000 | #Constraints: 145697 2886.11/2896.25 c #Conflicts: 1778000 | #Constraints: 146697 2886.11/2896.25 c #Conflicts: 1779000 | #Constraints: 147697 2886.11/2896.25 c #Conflicts: 1780000 | #Constraints: 148697 2886.11/2896.25 c INPROCESSING 2886.11/2896.25 c GARBAGE COLLECT 2886.11/2896.25 c rational objective -105 3041.79/3052.48 c #Conflicts: 1781000 | #Constraints: 97373 3041.79/3052.48 c #Conflicts: 1782000 | #Constraints: 98373 3041.79/3052.48 c #Conflicts: 1783000 | #Constraints: 99373 3041.79/3052.48 c #Conflicts: 1784000 | #Constraints: 100373 3041.79/3052.48 c #Conflicts: 1785000 | #Constraints: 101373 3041.79/3052.48 c #Conflicts: 1786000 | #Constraints: 102373 3041.79/3052.48 c #Conflicts: 1787000 | #Constraints: 103373 3041.79/3052.48 c #Conflicts: 1788000 | #Constraints: 104373 3041.79/3052.48 c #Conflicts: 1789000 | #Constraints: 105373 3041.79/3052.48 c #Conflicts: 1790000 | #Constraints: 106373 3041.79/3052.48 c #Conflicts: 1791000 | #Constraints: 107373 3041.79/3052.48 c #Conflicts: 1792000 | #Constraints: 108373 3041.79/3052.48 c #Conflicts: 1793000 | #Constraints: 109373 3041.79/3052.48 c #Conflicts: 1794000 | #Constraints: 110373 3041.79/3052.48 c #Conflicts: 1795000 | #Constraints: 111373 3041.79/3052.48 c #Conflicts: 1796000 | #Constraints: 112373 3041.79/3052.48 c #Conflicts: 1797000 | #Constraints: 113373 3041.79/3052.48 c #Conflicts: 1798000 | #Constraints: 114373 3041.79/3052.48 c #Conflicts: 1799000 | #Constraints: 115373 3041.79/3052.48 c #Conflicts: 1800000 | #Constraints: 116373 3041.79/3052.48 c #Conflicts: 1801000 | #Constraints: 117373 3041.79/3052.48 c #Conflicts: 1802000 | #Constraints: 118373 3041.79/3052.48 c #Conflicts: 1803000 | #Constraints: 119373 3041.79/3052.48 c #Conflicts: 1804000 | #Constraints: 120373 3041.79/3052.48 c #Conflicts: 1805000 | #Constraints: 121373 3041.79/3052.48 c #Conflicts: 1806000 | #Constraints: 122373 3041.79/3052.48 c #Conflicts: 1807000 | #Constraints: 123373 3041.79/3052.48 c #Conflicts: 1808000 | #Constraints: 124373 3041.79/3052.48 c #Conflicts: 1809000 | #Constraints: 125373 3041.79/3052.48 c #Conflicts: 1810000 | #Constraints: 126373 3041.79/3052.48 c #Conflicts: 1811000 | #Constraints: 127373 3041.79/3052.48 c #Conflicts: 1812000 | #Constraints: 128373 3041.79/3052.48 c #Conflicts: 1813000 | #Constraints: 129373 3041.79/3052.48 c #Conflicts: 1814000 | #Constraints: 130373 3041.79/3052.48 c #Conflicts: 1815000 | #Constraints: 131373 3041.79/3052.48 c #Conflicts: 1816000 | #Constraints: 132373 3041.79/3052.48 c #Conflicts: 1817000 | #Constraints: 133373 3041.79/3052.48 c #Conflicts: 1818000 | #Constraints: 134373 3041.79/3052.48 c #Conflicts: 1819000 | #Constraints: 135373 3041.79/3052.48 c #Conflicts: 1820000 | #Constraints: 136373 3041.79/3052.48 c #Conflicts: 1821000 | #Constraints: 137373 3041.79/3052.48 c #Conflicts: 1822000 | #Constraints: 138373 3041.79/3052.48 c #Conflicts: 1823000 | #Constraints: 139373 3041.79/3052.48 c #Conflicts: 1824000 | #Constraints: 140373 3041.79/3052.48 c #Conflicts: 1825000 | #Constraints: 141373 3041.79/3052.48 c #Conflicts: 1826000 | #Constraints: 142373 3041.79/3052.48 c #Conflicts: 1827000 | #Constraints: 143373 3041.79/3052.48 c #Conflicts: 1828000 | #Constraints: 144373 3041.79/3052.48 c #Conflicts: 1829000 | #Constraints: 145373 3041.79/3052.48 c #Conflicts: 1830000 | #Constraints: 146373 3041.79/3052.48 c #Conflicts: 1831000 | #Constraints: 147373 3041.79/3052.48 c #Conflicts: 1832000 | #Constraints: 148373 3041.79/3052.48 c #Conflicts: 1833000 | #Constraints: 149373 3041.79/3052.48 c #Conflicts: 1834000 | #Constraints: 150373 3041.79/3052.48 c #Conflicts: 1835000 | #Constraints: 151373 3041.79/3052.48 c #Conflicts: 1836000 | #Constraints: 152373 3041.79/3052.48 c #Conflicts: 1837000 | #Constraints: 153373 3041.79/3052.48 c #Conflicts: 1838000 | #Constraints: 154373 3041.79/3052.48 c #Conflicts: 1839000 | #Constraints: 155373 3041.79/3052.48 c #Conflicts: 1840000 | #Constraints: 156373 3041.79/3052.48 c #Conflicts: 1841000 | #Constraints: 157373 3041.79/3052.48 c #Conflicts: 1842000 | #Constraints: 158373 3041.79/3052.48 c #Conflicts: 1843000 | #Constraints: 159373 3041.79/3052.48 c #Conflicts: 1844000 | #Constraints: 160373 3041.79/3052.48 c #Conflicts: 1845000 | #Constraints: 161373 3041.79/3052.48 c #Conflicts: 1846000 | #Constraints: 162373 3041.79/3052.48 c #Conflicts: 1847000 | #Constraints: 163373 3041.79/3052.48 c #Conflicts: 1848000 | #Constraints: 164373 3041.79/3052.48 c #Conflicts: 1849000 | #Constraints: 165373 3041.79/3052.48 c #Conflicts: 1850000 | #Constraints: 166373 3041.79/3052.48 c #Conflicts: 1851000 | #Constraints: 167373 3041.79/3052.48 c #Conflicts: 1852000 | #Constraints: 168373 3041.79/3052.48 c #Conflicts: 1853000 | #Constraints: 169373 3041.79/3052.48 c #Conflicts: 1854000 | #Constraints: 170373 3041.79/3052.48 c #Conflicts: 1855000 | #Constraints: 171373 3041.79/3052.48 c #Conflicts: 1856000 | #Constraints: 172373 3041.79/3052.48 c #Conflicts: 1857000 | #Constraints: 173373 3041.79/3052.48 c #Conflicts: 1858000 | #Constraints: 174373 3041.79/3052.48 c #Conflicts: 1859000 | #Constraints: 175373 3074.88/3085.62 c #Conflicts: 1860000 | #Constraints: 176373 3074.88/3085.62 c #Conflicts: 1861000 | #Constraints: 177373 3074.88/3085.62 c #Conflicts: 1862000 | #Constraints: 178373 3074.88/3085.62 c #Conflicts: 1863000 | #Constraints: 179373 3074.88/3085.62 c #Conflicts: 1864000 | #Constraints: 180373 3074.88/3085.62 c #Conflicts: 1865000 | #Constraints: 181373 3074.88/3085.62 c #Conflicts: 1866000 | #Constraints: 182373 3074.88/3085.62 c #Conflicts: 1867000 | #Constraints: 183373 3074.88/3085.62 c #Conflicts: 1868000 | #Constraints: 184373 3074.88/3085.62 c #Conflicts: 1869000 | #Constraints: 185373 3074.88/3085.62 c INPROCESSING 3074.88/3085.62 c GARBAGE COLLECT 3074.88/3085.62 c rational objective -105 3138.87/3149.89 c #Conflicts: 1870000 | #Constraints: 115575 3138.87/3149.89 c #Conflicts: 1871000 | #Constraints: 116575 3138.87/3149.89 c #Conflicts: 1872000 | #Constraints: 117575 3138.87/3149.89 c #Conflicts: 1873000 | #Constraints: 118575 3138.87/3149.89 c #Conflicts: 1874000 | #Constraints: 119575 3138.87/3149.89 c #Conflicts: 1875000 | #Constraints: 120575 3138.87/3149.89 c #Conflicts: 1876000 | #Constraints: 121575 3138.87/3149.89 c #Conflicts: 1877000 | #Constraints: 122575 3138.87/3149.89 c #Conflicts: 1878000 | #Constraints: 123575 3138.87/3149.89 c #Conflicts: 1879000 | #Constraints: 124575 3138.87/3149.89 c #Conflicts: 1880000 | #Constraints: 125575 3138.87/3149.89 c #Conflicts: 1881000 | #Constraints: 126575 3138.87/3149.89 c #Conflicts: 1882000 | #Constraints: 127575 3138.87/3149.89 c #Conflicts: 1883000 | #Constraints: 128575 3138.87/3149.89 c #Conflicts: 1884000 | #Constraints: 129575 3138.87/3149.89 c #Conflicts: 1885000 | #Constraints: 130575 3138.87/3149.89 c #Conflicts: 1886000 | #Constraints: 131575 3138.87/3149.89 c bounds -33 >= -104 @ 3078.94 3138.87/3149.89 c #Conflicts: 1887000 | #Constraints: 132611 3138.87/3149.89 c #Conflicts: 1888000 | #Constraints: 133611 3138.87/3149.89 c #Conflicts: 1889000 | #Constraints: 134611 3138.87/3149.89 c #Conflicts: 1890000 | #Constraints: 135611 3138.87/3149.89 c #Conflicts: 1891000 | #Constraints: 136611 3138.87/3149.89 c #Conflicts: 1892000 | #Constraints: 137611 3138.87/3149.89 c #Conflicts: 1893000 | #Constraints: 138611 3138.87/3149.89 c #Conflicts: 1894000 | #Constraints: 139611 3138.87/3149.89 c #Conflicts: 1895000 | #Constraints: 140611 3138.87/3149.89 c #Conflicts: 1896000 | #Constraints: 141611 3138.87/3149.89 c #Conflicts: 1897000 | #Constraints: 142611 3138.87/3149.89 c #Conflicts: 1898000 | #Constraints: 143611 3138.87/3149.89 c #Conflicts: 1899000 | #Constraints: 144611 3138.87/3149.89 c #Conflicts: 1900000 | #Constraints: 145611 3138.87/3149.89 c #Conflicts: 1901000 | #Constraints: 146611 3138.87/3149.89 c #Conflicts: 1902000 | #Constraints: 147611 3138.87/3149.89 c #Conflicts: 1903000 | #Constraints: 148611 3138.87/3149.89 c #Conflicts: 1904000 | #Constraints: 149611 3138.87/3149.89 c #Conflicts: 1905000 | #Constraints: 150611 3138.87/3149.89 c #Conflicts: 1906000 | #Constraints: 151611 3138.87/3149.89 c #Conflicts: 1907000 | #Constraints: 152611 3138.87/3149.89 c #Conflicts: 1908000 | #Constraints: 153611 3138.87/3149.89 c INPROCESSING 3138.87/3149.89 c GARBAGE COLLECT 3138.87/3149.89 c rational objective -104 3285.00/3296.44 c #Conflicts: 1909000 | #Constraints: 100788 3285.00/3296.44 c #Conflicts: 1910000 | #Constraints: 101788 3285.00/3296.44 c #Conflicts: 1911000 | #Constraints: 102788 3285.00/3296.44 c #Conflicts: 1912000 | #Constraints: 103788 3285.00/3296.44 c #Conflicts: 1913000 | #Constraints: 104788 3285.00/3296.44 c #Conflicts: 1914000 | #Constraints: 105788 3285.00/3296.44 c #Conflicts: 1915000 | #Constraints: 106788 3285.00/3296.44 c #Conflicts: 1916000 | #Constraints: 107788 3285.00/3296.44 c #Conflicts: 1917000 | #Constraints: 108788 3285.00/3296.44 c #Conflicts: 1918000 | #Constraints: 109788 3285.00/3296.44 c #Conflicts: 1919000 | #Constraints: 110788 3285.00/3296.44 c #Conflicts: 1920000 | #Constraints: 111788 3285.00/3296.44 c #Conflicts: 1921000 | #Constraints: 112788 3285.00/3296.44 c #Conflicts: 1922000 | #Constraints: 113788 3285.00/3296.44 c #Conflicts: 1923000 | #Constraints: 114788 3285.00/3296.44 c #Conflicts: 1924000 | #Constraints: 115788 3285.00/3296.44 c #Conflicts: 1925000 | #Constraints: 116788 3285.00/3296.44 c #Conflicts: 1926000 | #Constraints: 117788 3285.00/3296.44 c #Conflicts: 1927000 | #Constraints: 118788 3285.00/3296.44 c #Conflicts: 1928000 | #Constraints: 119788 3285.00/3296.44 c #Conflicts: 1929000 | #Constraints: 120788 3285.00/3296.44 c #Conflicts: 1930000 | #Constraints: 121788 3285.00/3296.44 c #Conflicts: 1931000 | #Constraints: 122788 3285.00/3296.44 c #Conflicts: 1932000 | #Constraints: 123788 3285.00/3296.44 c #Conflicts: 1933000 | #Constraints: 124788 3285.00/3296.44 c #Conflicts: 1934000 | #Constraints: 125788 3285.00/3296.44 c #Conflicts: 1935000 | #Constraints: 126788 3285.00/3296.44 c #Conflicts: 1936000 | #Constraints: 127788 3285.00/3296.44 c #Conflicts: 1937000 | #Constraints: 128788 3285.00/3296.44 c #Conflicts: 1938000 | #Constraints: 129788 3285.00/3296.44 c #Conflicts: 1939000 | #Constraints: 130788 3285.00/3296.44 c #Conflicts: 1940000 | #Constraints: 131788 3285.00/3296.44 c #Conflicts: 1941000 | #Constraints: 132788 3285.00/3296.44 c #Conflicts: 1942000 | #Constraints: 133788 3285.00/3296.44 c #Conflicts: 1943000 | #Constraints: 134788 3285.00/3296.44 c #Conflicts: 1944000 | #Constraints: 135788 3285.00/3296.44 c #Conflicts: 1945000 | #Constraints: 136788 3285.00/3296.44 c #Conflicts: 1946000 | #Constraints: 137788 3285.00/3296.44 c #Conflicts: 1947000 | #Constraints: 138788 3285.00/3296.44 c #Conflicts: 1948000 | #Constraints: 139788 3285.00/3296.44 c #Conflicts: 1949000 | #Constraints: 140788 3285.00/3296.44 c #Conflicts: 1950000 | #Constraints: 141788 3285.00/3296.44 c #Conflicts: 1951000 | #Constraints: 142788 3285.00/3296.44 c #Conflicts: 1952000 | #Constraints: 143788 3285.00/3296.44 c #Conflicts: 1953000 | #Constraints: 144788 3285.00/3296.44 c #Conflicts: 1954000 | #Constraints: 145788 3285.00/3296.44 c #Conflicts: 1955000 | #Constraints: 146788 3285.00/3296.44 c #Conflicts: 1956000 | #Constraints: 147788 3285.00/3296.44 c #Conflicts: 1957000 | #Constraints: 148788 3285.00/3296.44 c #Conflicts: 1958000 | #Constraints: 149788 3285.00/3296.44 c #Conflicts: 1959000 | #Constraints: 150788 3285.00/3296.44 c #Conflicts: 1960000 | #Constraints: 151788 3285.00/3296.44 c #Conflicts: 1961000 | #Constraints: 152788 3285.00/3296.44 c #Conflicts: 1962000 | #Constraints: 153788 3285.00/3296.44 c #Conflicts: 1963000 | #Constraints: 154788 3285.00/3296.44 c #Conflicts: 1964000 | #Constraints: 155788 3285.00/3296.44 c #Conflicts: 1965000 | #Constraints: 156788 3285.00/3296.44 c #Conflicts: 1966000 | #Constraints: 157788 3285.00/3296.44 c #Conflicts: 1967000 | #Constraints: 158788 3285.00/3296.44 c #Conflicts: 1968000 | #Constraints: 159788 3285.00/3296.44 c #Conflicts: 1969000 | #Constraints: 160788 3285.00/3296.44 c #Conflicts: 1970000 | #Constraints: 161788 3285.00/3296.44 c #Conflicts: 1971000 | #Constraints: 162788 3285.00/3296.44 c #Conflicts: 1972000 | #Constraints: 163788 3285.00/3296.44 c #Conflicts: 1973000 | #Constraints: 164788 3285.00/3296.44 c #Conflicts: 1974000 | #Constraints: 165788 3285.00/3296.44 c #Conflicts: 1975000 | #Constraints: 166788 3285.00/3296.44 c #Conflicts: 1976000 | #Constraints: 167788 3285.00/3296.44 c #Conflicts: 1977000 | #Constraints: 168788 3285.00/3296.44 c #Conflicts: 1978000 | #Constraints: 169788 3285.00/3296.44 c #Conflicts: 1979000 | #Constraints: 170788 3285.00/3296.44 c #Conflicts: 1980000 | #Constraints: 171788 3285.00/3296.44 c #Conflicts: 1981000 | #Constraints: 172788 3285.00/3296.44 c #Conflicts: 1982000 | #Constraints: 173788 3285.00/3296.44 c #Conflicts: 1983000 | #Constraints: 174788 3285.00/3296.44 c #Conflicts: 1984000 | #Constraints: 175788 3285.00/3296.44 c #Conflicts: 1985000 | #Constraints: 176788 3285.00/3296.44 c #Conflicts: 1986000 | #Constraints: 177788 3285.00/3296.44 c #Conflicts: 1987000 | #Constraints: 178788 3321.87/3333.45 c #Conflicts: 1988000 | #Constraints: 179788 3321.87/3333.45 c #Conflicts: 1989000 | #Constraints: 180788 3321.87/3333.45 c #Conflicts: 1990000 | #Constraints: 181788 3321.87/3333.45 c #Conflicts: 1991000 | #Constraints: 182788 3321.87/3333.45 c #Conflicts: 1992000 | #Constraints: 183788 3321.87/3333.45 c #Conflicts: 1993000 | #Constraints: 184788 3321.87/3333.45 c #Conflicts: 1994000 | #Constraints: 185788 3321.87/3333.45 c #Conflicts: 1995000 | #Constraints: 186788 3321.87/3333.45 c #Conflicts: 1996000 | #Constraints: 187788 3321.87/3333.45 c #Conflicts: 1997000 | #Constraints: 188788 3321.87/3333.45 c #Conflicts: 1998000 | #Constraints: 189788 3321.87/3333.45 c #Conflicts: 1999000 | #Constraints: 190788 3321.87/3333.45 c #Conflicts: 2000000 | #Constraints: 191788 3321.87/3333.45 c INPROCESSING 3321.87/3333.45 c GARBAGE COLLECT 3321.87/3333.45 c rational objective -104 3390.45/3402.29 c #Conflicts: 2001000 | #Constraints: 119079 3390.45/3402.29 c #Conflicts: 2002000 | #Constraints: 120079 3390.45/3402.29 c #Conflicts: 2003000 | #Constraints: 121079 3390.45/3402.29 c #Conflicts: 2004000 | #Constraints: 122079 3390.45/3402.29 c #Conflicts: 2005000 | #Constraints: 123079 3390.45/3402.29 c #Conflicts: 2006000 | #Constraints: 124079 3390.45/3402.29 c #Conflicts: 2007000 | #Constraints: 125079 3390.45/3402.29 c #Conflicts: 2008000 | #Constraints: 126079 3390.45/3402.29 c #Conflicts: 2009000 | #Constraints: 127079 3390.45/3402.29 c #Conflicts: 2010000 | #Constraints: 128079 3390.45/3402.29 c #Conflicts: 2011000 | #Constraints: 129079 3390.45/3402.29 c #Conflicts: 2012000 | #Constraints: 130079 3390.45/3402.29 c #Conflicts: 2013000 | #Constraints: 131079 3390.45/3402.29 c #Conflicts: 2014000 | #Constraints: 132079 3390.45/3402.29 c #Conflicts: 2015000 | #Constraints: 133079 3390.45/3402.29 c #Conflicts: 2016000 | #Constraints: 134079 3390.45/3402.29 c #Conflicts: 2017000 | #Constraints: 135079 3390.45/3402.29 c #Conflicts: 2018000 | #Constraints: 136079 3390.45/3402.29 c #Conflicts: 2019000 | #Constraints: 137079 3390.45/3402.29 c #Conflicts: 2020000 | #Constraints: 138079 3390.45/3402.29 c #Conflicts: 2021000 | #Constraints: 139079 3390.45/3402.29 c #Conflicts: 2022000 | #Constraints: 140079 3390.45/3402.29 c #Conflicts: 2023000 | #Constraints: 141079 3390.45/3402.29 c #Conflicts: 2024000 | #Constraints: 142079 3390.45/3402.29 c #Conflicts: 2025000 | #Constraints: 143079 3390.45/3402.29 c #Conflicts: 2026000 | #Constraints: 144079 3390.45/3402.29 c #Conflicts: 2027000 | #Constraints: 145079 3390.45/3402.29 c #Conflicts: 2028000 | #Constraints: 146079 3390.45/3402.29 c #Conflicts: 2029000 | #Constraints: 147079 3390.45/3402.29 c #Conflicts: 2030000 | #Constraints: 148079 3390.45/3402.29 c #Conflicts: 2031000 | #Constraints: 149079 3390.45/3402.29 c #Conflicts: 2032000 | #Constraints: 150079 3390.45/3402.29 c #Conflicts: 2033000 | #Constraints: 151079 3390.45/3402.29 c #Conflicts: 2034000 | #Constraints: 152079 3390.45/3402.29 c #Conflicts: 2035000 | #Constraints: 153079 3390.45/3402.29 c #Conflicts: 2036000 | #Constraints: 154079 3390.45/3402.29 c #Conflicts: 2037000 | #Constraints: 155079 3390.45/3402.29 c #Conflicts: 2038000 | #Constraints: 156079 3390.45/3402.29 c #Conflicts: 2039000 | #Constraints: 157079 3390.45/3402.29 c #Conflicts: 2040000 | #Constraints: 158079 3390.45/3402.29 c INPROCESSING 3390.45/3402.29 c GARBAGE COLLECT 3390.45/3402.29 c rational objective -104 3538.95/3551.25 c #Conflicts: 2041000 | #Constraints: 104667 3538.95/3551.25 c #Conflicts: 2042000 | #Constraints: 105667 3538.95/3551.25 c #Conflicts: 2043000 | #Constraints: 106667 3538.95/3551.25 c #Conflicts: 2044000 | #Constraints: 107667 3538.95/3551.25 c #Conflicts: 2045000 | #Constraints: 108667 3538.95/3551.25 c #Conflicts: 2046000 | #Constraints: 109667 3538.95/3551.25 c #Conflicts: 2047000 | #Constraints: 110667 3538.95/3551.25 c #Conflicts: 2048000 | #Constraints: 111667 3538.95/3551.25 c #Conflicts: 2049000 | #Constraints: 112667 3538.95/3551.25 c #Conflicts: 2050000 | #Constraints: 113667 3538.95/3551.25 c #Conflicts: 2051000 | #Constraints: 114667 3538.95/3551.25 c #Conflicts: 2052000 | #Constraints: 115667 3538.95/3551.25 c #Conflicts: 2053000 | #Constraints: 116667 3538.95/3551.25 c #Conflicts: 2054000 | #Constraints: 117667 3538.95/3551.25 c #Conflicts: 2055000 | #Constraints: 118667 3538.95/3551.25 c #Conflicts: 2056000 | #Constraints: 119667 3538.95/3551.25 c #Conflicts: 2057000 | #Constraints: 120667 3538.95/3551.25 c #Conflicts: 2058000 | #Constraints: 121667 3538.95/3551.25 c #Conflicts: 2059000 | #Constraints: 122667 3538.95/3551.25 c #Conflicts: 2060000 | #Constraints: 123667 3538.95/3551.25 c #Conflicts: 2061000 | #Constraints: 124667 3538.95/3551.25 c #Conflicts: 2062000 | #Constraints: 125667 3538.95/3551.25 c #Conflicts: 2063000 | #Constraints: 126667 3538.95/3551.25 c #Conflicts: 2064000 | #Constraints: 127667 3538.95/3551.25 c #Conflicts: 2065000 | #Constraints: 128667 3538.95/3551.25 c #Conflicts: 2066000 | #Constraints: 129667 3538.95/3551.25 c #Conflicts: 2067000 | #Constraints: 130667 3538.95/3551.25 c #Conflicts: 2068000 | #Constraints: 131667 3538.95/3551.25 c #Conflicts: 2069000 | #Constraints: 132667 3538.95/3551.25 c #Conflicts: 2070000 | #Constraints: 133667 3538.95/3551.25 c #Conflicts: 2071000 | #Constraints: 134667 3538.95/3551.25 c #Conflicts: 2072000 | #Constraints: 135667 3538.95/3551.25 c #Conflicts: 2073000 | #Constraints: 136667 3538.95/3551.25 c #Conflicts: 2074000 | #Constraints: 137667 3538.95/3551.25 c #Conflicts: 2075000 | #Constraints: 138667 3538.95/3551.25 c #Conflicts: 2076000 | #Constraints: 139667 3538.95/3551.25 c #Conflicts: 2077000 | #Constraints: 140667 3538.95/3551.25 c #Conflicts: 2078000 | #Constraints: 141667 3538.95/3551.25 c #Conflicts: 2079000 | #Constraints: 142667 3538.95/3551.25 c #Conflicts: 2080000 | #Constraints: 143667 3538.95/3551.25 c #Conflicts: 2081000 | #Constraints: 144667 3538.95/3551.25 c #Conflicts: 2082000 | #Constraints: 145667 3538.95/3551.25 c #Conflicts: 2083000 | #Constraints: 146667 3538.95/3551.25 c #Conflicts: 2084000 | #Constraints: 147667 3538.95/3551.25 c #Conflicts: 2085000 | #Constraints: 148667 3538.95/3551.25 c #Conflicts: 2086000 | #Constraints: 149667 3538.95/3551.25 c #Conflicts: 2087000 | #Constraints: 150667 3538.95/3551.25 c #Conflicts: 2088000 | #Constraints: 151667 3538.95/3551.25 c #Conflicts: 2089000 | #Constraints: 152667 3538.95/3551.25 c #Conflicts: 2090000 | #Constraints: 153667 3538.95/3551.25 c #Conflicts: 2091000 | #Constraints: 154667 3538.95/3551.25 c #Conflicts: 2092000 | #Constraints: 155667 3538.95/3551.25 c #Conflicts: 2093000 | #Constraints: 156667 3538.95/3551.25 c #Conflicts: 2094000 | #Constraints: 157667 3538.95/3551.25 c #Conflicts: 2095000 | #Constraints: 158667 3538.95/3551.25 c #Conflicts: 2096000 | #Constraints: 159667 3538.95/3551.25 c #Conflicts: 2097000 | #Constraints: 160667 3538.95/3551.25 c #Conflicts: 2098000 | #Constraints: 161667 3538.95/3551.25 c #Conflicts: 2099000 | #Constraints: 162667 3538.95/3551.25 c #Conflicts: 2100000 | #Constraints: 163667 3538.95/3551.25 c #Conflicts: 2101000 | #Constraints: 164667 3538.95/3551.25 c #Conflicts: 2102000 | #Constraints: 165667 3538.95/3551.25 c #Conflicts: 2103000 | #Constraints: 166667 3538.95/3551.25 c #Conflicts: 2104000 | #Constraints: 167667 3538.95/3551.25 c #Conflicts: 2105000 | #Constraints: 168667 3538.95/3551.25 c #Conflicts: 2106000 | #Constraints: 169667 3538.95/3551.25 c #Conflicts: 2107000 | #Constraints: 170667 3538.95/3551.25 c #Conflicts: 2108000 | #Constraints: 171667 3538.95/3551.25 c #Conflicts: 2109000 | #Constraints: 172667 3538.95/3551.25 c #Conflicts: 2110000 | #Constraints: 173667 3538.95/3551.25 c #Conflicts: 2111000 | #Constraints: 174667 3538.95/3551.25 c #Conflicts: 2112000 | #Constraints: 175667 3538.95/3551.25 c #Conflicts: 2113000 | #Constraints: 176667 3538.95/3551.25 c #Conflicts: 2114000 | #Constraints: 177667 3538.95/3551.25 c #Conflicts: 2115000 | #Constraints: 178667 3538.95/3551.25 c #Conflicts: 2116000 | #Constraints: 179667 3538.95/3551.25 c #Conflicts: 2117000 | #Constraints: 180667 3538.95/3551.25 c #Conflicts: 2118000 | #Constraints: 181667 3538.95/3551.25 c #Conflicts: 2119000 | #Constraints: 182667 3586.38/3598.80 c #Conflicts: 2120000 | #Constraints: 183667 3586.38/3598.80 c #Conflicts: 2121000 | #Constraints: 184667 3586.38/3598.80 c #Conflicts: 2122000 | #Constraints: 185667 3586.38/3598.80 c #Conflicts: 2123000 | #Constraints: 186667 3586.38/3598.80 c #Conflicts: 2124000 | #Constraints: 187667 3586.38/3598.80 c #Conflicts: 2125000 | #Constraints: 188667 3586.38/3598.80 c #Conflicts: 2126000 | #Constraints: 189667 3586.38/3598.80 c #Conflicts: 2127000 | #Constraints: 190667 3586.38/3598.80 c #Conflicts: 2128000 | #Constraints: 191667 3586.38/3598.80 c #Conflicts: 2129000 | #Constraints: 192667 3586.38/3598.80 c #Conflicts: 2130000 | #Constraints: 193667 3586.38/3598.80 c #Conflicts: 2131000 | #Constraints: 194667 3586.38/3598.80 c #Conflicts: 2132000 | #Constraints: 195667 3586.38/3598.80 c #Conflicts: 2133000 | #Constraints: 196667 3586.38/3598.80 c #Conflicts: 2134000 | #Constraints: 197667 3586.38/3598.80 c #Conflicts: 2135000 | #Constraints: 198667 3586.38/3598.80 c INPROCESSING 3586.38/3598.80 c GARBAGE COLLECT 3586.38/3598.80 c rational objective -104 3600.03/3612.50 c #Conflicts: 2136000 | #Constraints: 122561 3600.03/3612.50 c #Conflicts: 2137000 | #Constraints: 123561 3600.03/3612.50 c #Conflicts: 2138000 | #Constraints: 124561 3600.03/3612.50 c #Conflicts: 2139000 | #Constraints: 125561 3600.03/3612.50 c #Conflicts: 2140000 | #Constraints: 126561 3600.03/3612.50 c #Conflicts: 2141000 | #Constraints: 127561 3600.03/3612.50 c #Conflicts: 2142000 | #Constraints: 128561 3600.03/3612.50 c #Conflicts: 2143000 | #Constraints: 129561 3600.03/3612.50 c #Conflicts: 2144000 | #Constraints: 130561 3600.03/3612.50 c Program interrupted by user. 3600.03/3612.50 c cpu time 3575.11 s 3600.03/3612.50 c deterministic time 474816997037 4.75e+11 3600.03/3612.50 c optimization time 13.6781 s 3600.03/3612.50 c total solve time 3561.34 s 3600.03/3612.50 c core-guided solve time 2622.36 s 3600.03/3612.50 c propagation time 3168.02 s 3600.03/3612.50 c conflict analysis time 376.813 s 3600.03/3612.50 c propagations 439005569 3600.03/3612.50 c resolve steps 43668963 3600.03/3612.50 c decisions 4675943 3600.03/3612.50 c conflicts 2144276 3600.03/3612.50 c restarts 4092 3600.03/3612.50 c inprocessing phases 61 3600.03/3612.50 c input clauses 42412 3600.03/3612.50 c input cardinalities 1344 3600.03/3612.50 c input general constraints 1040 3600.03/3612.50 c input average constraint length 13.88 3600.03/3612.50 c input average constraint degree 5.91 3600.03/3612.50 c learned clauses 1669866 3600.03/3612.50 c learned cardinalities 70141 3600.03/3612.50 c learned general constraints 420837 3600.03/3612.50 c learned average constraint length 193.08 3600.03/3612.50 c learned average constraint degree 13266018.26 3600.03/3612.50 c watched constraints 395502 3600.03/3612.50 c counting constraints 26375 3600.03/3612.50 c gcd simplifications 102972 3600.03/3612.50 c detected cardinalities 14250 3600.03/3612.50 c weakened non-implied lits 17048037 3600.03/3612.50 c weakened non-implying lits 351234 3600.03/3612.50 c original variables 760 3600.03/3612.50 c clausal propagations 328375189 3600.03/3612.50 c cardinality propagations 26970801 3600.03/3612.50 c watched propagations 21620556 3600.03/3612.50 c counting propagations 59840424 3600.03/3612.50 c watch lookups 49195306882 3600.03/3612.50 c watch backjump lookups 34450104028 3600.03/3612.50 c watch checks 378489194628 3600.03/3612.50 c propagation checks 10605434000 3600.03/3612.50 c constraint additions 1185316093 3600.03/3612.50 c trail pops 445808788 3600.03/3612.50 c formula constraints 41263 3600.03/3612.50 c learned constraints 2127720 3600.03/3612.50 c bound constraints 690 3600.03/3612.50 c core-guided constraints 2843 3600.03/3612.50 c encountered formula constraints 6463044 3600.03/3612.50 c encountered learned constraints 30188488 3600.03/3612.50 c encountered bound constraints 596 3600.03/3612.50 c encountered core-guided constraints 8968763 3600.03/3612.50 c LP total time 523.928 s 3600.03/3612.50 c LP solve time 502.22 s 3600.03/3612.50 c LP constraints added 41263 3600.03/3612.50 c LP constraints removed 0 3600.03/3612.50 c LP pivots internal 2144274 3600.03/3612.50 c LP pivots root 6831 3600.03/3612.50 c LP calls 80152 3600.03/3612.50 c LP optimalities 63590 3600.03/3612.50 c LP no pivot count 34846 3600.03/3612.50 c LP infeasibilities 16562 3600.03/3612.50 c LP valid Farkas constraints 16562 3600.03/3612.50 c LP learned Farkas constraints 16562 3600.03/3612.50 c LP basis resets 0 3600.03/3612.50 c LP cycling count 0 3600.03/3612.50 c LP singular count 0 3600.03/3612.50 c LP no primal count 0 3600.03/3612.50 c LP no farkas count 0 3600.03/3612.50 c LP other issue count 0 3600.03/3612.50 c LP Gomory cuts 0 3600.03/3612.50 c LP learned cuts 0 3600.03/3612.50 c LP deleted cuts 0 3600.03/3612.50 c LP encountered Gomory constraints 0 3600.03/3612.50 c LP encountered Farkas constraints 136656 3600.03/3612.50 c LP encountered learned Farkas constraints 39130 3600.03/3612.50 c CG auxiliary variables introduced 1167 3600.03/3612.50 c CG solutions found 34 3600.03/3612.50 c CG cores constructed 656 3600.03/3612.50 c CG core cardinality constraints returned 0 3600.03/3612.50 c CG unit cores 0 3600.03/3612.50 c CG single cores 656 3600.03/3612.50 c CG blocks removed during cardinality reduction 0 3600.03/3612.50 c CG first core best 0 3600.03/3612.50 c CG decision core best 0 3600.03/3612.50 c CG core reduction tie 0 3600.03/3612.50 c CG core degree average 1.00 3600.03/3612.50 c CG core slack average 1.89 3600.03/3612.50 s SATISFIABLE 3600.03/3612.50 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 -x2
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (50220 MiB free)
memory of node 1: 64473 MiB (56473 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460235-1722064836/watcher-4460235-1722064836 -o /tmp/evaluation-result-4460235-1722064836/solver-4460235-1722064836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722064836-375111 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460235-1722064836 --lp-cut-gomory=0 HOME/instance-4460235-1722064836.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=375128, runsolver pid=375125
[startup+0.100875 s]*
/proc/loadavg: 0.12 0.11 0.09 4/245 375153
/proc/meminfo: memFree=109212124/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=38852 memory=9628 CPUtime=0.09 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 781 0 1 0 7 2 0 0 20 0 1 0 43013048 39784448 2407 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 9713 2407 1348 992 0 1571 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38852 KiB
Current children cumulated memory: 9628 KiB
[startup+0.205859 s]*
/proc/loadavg: 0.12 0.11 0.09 5/257 375175
/proc/meminfo: memFree=109161776/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=55816 memory=28316 CPUtime=0.18 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 8331 0 1 0 15 3 0 0 20 0 1 0 43013048 57155584 7079 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 13954 7079 1714 992 0 5812 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 55816 KiB
Current children cumulated memory: 28316 KiB
[startup+0.305615 s]*
/proc/loadavg: 0.12 0.11 0.09 4/255 375175
/proc/meminfo: memFree=109151172/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=55816 memory=28316 CPUtime=0.29 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 8331 0 1 0 25 4 0 0 20 0 1 0 43013048 57155584 7079 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 13954 7079 1714 992 0 5812 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 55816 KiB
Current children cumulated memory: 28316 KiB
[startup+0.700153 s]
/proc/loadavg: 0.12 0.11 0.09 4/252 375183
/proc/meminfo: memFree=109143952/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=56544 memory=29692 CPUtime=0.68 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 9302 0 1 0 60 8 0 0 20 0 1 0 43013048 57901056 7423 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 14136 7423 1809 992 0 5994 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56544 KiB
Current children cumulated memory: 29692 KiB
[startup+1.5002 s]
/proc/loadavg: 0.59 0.21 0.12 4/252 375183
/proc/meminfo: memFree=109088612/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=67472 memory=39868 CPUtime=1.47 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 11268 0 1 0 126 21 0 0 20 0 1 0 43013048 69091328 9967 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 16868 9967 1883 992 0 8726 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 67472 KiB
Current children cumulated memory: 39868 KiB
[startup+3.1051 s]
/proc/loadavg: 0.59 0.21 0.12 5/257 375222
/proc/meminfo: memFree=108876092/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=67856 memory=40132 CPUtime=3.07 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 11370 0 1 0 278 29 0 0 20 0 1 0 43013048 69484544 10033 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 16964 10033 1883 992 0 8822 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 67856 KiB
Current children cumulated memory: 40132 KiB
[startup+6.30016 s]
/proc/loadavg: 0.94 0.29 0.15 5/257 375224
/proc/meminfo: memFree=108602964/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=76344 memory=45824 CPUtime=6.26 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 11791 0 1 0 588 38 0 0 20 0 1 0 43013048 78176256 11456 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 19086 11456 1883 992 0 10944 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 76344 KiB
Current children cumulated memory: 45824 KiB
[startup+12.7002 s]
/proc/loadavg: 1.27 0.37 0.18 5/257 375224
/proc/meminfo: memFree=108238052/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=78024 memory=51756 CPUtime=12.64 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 12191 0 1 0 1215 49 0 0 20 0 1 0 43013048 79896576 12939 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 19506 12939 1883 992 0 11364 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 78024 KiB
Current children cumulated memory: 51756 KiB
[startup+25.5002 s]
/proc/loadavg: 1.69 0.49 0.22 5/260 375230
/proc/meminfo: memFree=107785336/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=112700 memory=84068 CPUtime=25.39 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 14166 0 1 0 2471 68 0 0 20 0 1 0 43013048 115404800 21017 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 28175 21017 1883 992 0 20033 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 112700 KiB
Current children cumulated memory: 84068 KiB
[startup+51.1057 s]
/proc/loadavg: 2.67 0.84 0.34 5/260 375233
/proc/meminfo: memFree=107269972/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=114824 memory=86280 CPUtime=50.9 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 14768 0 1 0 4979 111 0 0 20 0 1 0 43013048 117579776 21570 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 28706 21570 1883 992 0 20564 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 114824 KiB
Current children cumulated memory: 86280 KiB
[startup+102.3 s]
/proc/loadavg: 3.49 1.35 0.54 5/260 375242
/proc/meminfo: memFree=105715892/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=120612 memory=91736 CPUtime=101.75 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 16206 0 1 0 9972 203 0 0 20 0 1 0 43013048 123506688 22934 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 30153 22934 1883 992 0 22011 0
Current children cumulated CPU time: 101.75 s
Current children cumulated vsize: 120612 KiB
Current children cumulated memory: 91736 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 1.85 0.77 5/260 375253
/proc/meminfo: memFree=103636424/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=158268 memory=102160 CPUtime=161.54 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 18331 0 1 0 15875 279 0 0 20 0 1 0 43013048 162066432 25540 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 39567 25540 1883 992 0 31425 0
Current children cumulated CPU time: 161.54 s
Current children cumulated vsize: 158268 KiB
Current children cumulated memory: 102160 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 2.30 0.99 4/255 375291
/proc/meminfo: memFree=102461024/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=161408 memory=114440 CPUtime=221.32 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 19391 0 1 0 21782 350 0 0 20 0 1 0 43013048 165281792 28610 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 40352 28610 1883 992 0 32210 0
Current children cumulated CPU time: 221.32 s
Current children cumulated vsize: 161408 KiB
Current children cumulated memory: 114440 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.63 1.19 5/262 375323
/proc/meminfo: memFree=101421436/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=167876 memory=127148 CPUtime=281.13 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 21083 0 1 0 27707 406 0 0 20 0 1 0 43013048 171905024 31787 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 41969 31787 1883 992 0 33827 0
Current children cumulated CPU time: 281.13 s
Current children cumulated vsize: 167876 KiB
Current children cumulated memory: 127148 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 2.90 1.37 5/262 375717
/proc/meminfo: memFree=100179504/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=170060 memory=128796 CPUtime=340.93 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 21522 0 1 0 33626 467 0 0 20 0 1 0 43013048 174141440 32199 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 42515 32199 1883 992 0 34373 0
Current children cumulated CPU time: 340.93 s
Current children cumulated vsize: 170060 KiB
Current children cumulated memory: 128796 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 3.14 1.56 5/261 375728
/proc/meminfo: memFree=99113180/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=173616 memory=140808 CPUtime=400.73 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 22559 0 1 0 39554 519 0 0 20 0 1 0 43013048 177782784 35202 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 43404 35202 1883 992 0 35262 0
Current children cumulated CPU time: 400.73 s
Current children cumulated vsize: 173616 KiB
Current children cumulated memory: 140808 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 3.33 1.72 5/261 375738
/proc/meminfo: memFree=98231016/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=226996 memory=152544 CPUtime=460.51 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 23960 0 1 0 45485 566 0 0 20 0 1 0 43013048 232443904 38136 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 56749 38136 1883 992 0 48607 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.09 4.19 4.09 5/262 377061
/proc/meminfo: memFree=56452820/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=515616 memory=480252 CPUtime=3211.13 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 45667 0 1 0 318829 2284 0 0 20 0 1 0 43013048 527990784 120063 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 128904 120063 1883 992 0 120762 0
Current children cumulated CPU time: 3211.13 s
Current children cumulated vsize: 515616 KiB
Current children cumulated memory: 480252 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.17 4.09 5/262 377071
/proc/meminfo: memFree=55915332/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=515616 memory=480252 CPUtime=3270.94 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 45751 0 1 0 324781 2313 0 0 20 0 1 0 43013048 527990784 120063 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 128904 120063 1883 992 0 120762 0
Current children cumulated CPU time: 3270.94 s
Current children cumulated vsize: 515616 KiB
Current children cumulated memory: 480252 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.15 4.09 9/260 377083
/proc/meminfo: memFree=55393392/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=515616 memory=480252 CPUtime=3330.75 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 45844 0 1 0 330734 2341 0 0 20 0 1 0 43013048 527990784 120063 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 128904 120063 1883 992 0 120762 0
Current children cumulated CPU time: 3330.75 s
Current children cumulated vsize: 515616 KiB
Current children cumulated memory: 480252 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/260 377096
/proc/meminfo: memFree=55058516/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=515616 memory=480268 CPUtime=3390.55 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 45922 0 1 0 336676 2379 0 0 20 0 1 0 43013048 527990784 120067 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 128904 120067 1883 992 0 120762 0
Current children cumulated CPU time: 3390.55 s
Current children cumulated vsize: 515616 KiB
Current children cumulated memory: 480268 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/260 377107
/proc/meminfo: memFree=54728656/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=515616 memory=480268 CPUtime=3450.35 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 45998 0 1 0 342616 2419 0 0 20 0 1 0 43013048 527990784 120067 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 128904 120067 1883 992 0 120762 0
Current children cumulated CPU time: 3450.35 s
Current children cumulated vsize: 515616 KiB
Current children cumulated memory: 480268 KiB
[startup+3522.3 s]
/proc/loadavg: 4.04 4.11 4.08 5/260 377117
/proc/meminfo: memFree=54427104/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=515616 memory=480268 CPUtime=3510.15 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 46082 0 1 0 348563 2452 0 0 20 0 1 0 43013048 527990784 120067 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 128904 120067 1883 992 0 120762 0
Current children cumulated CPU time: 3510.15 s
Current children cumulated vsize: 515616 KiB
Current children cumulated memory: 480268 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/259 377128
/proc/meminfo: memFree=53701728/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=515616 memory=480268 CPUtime=3569.95 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 46170 0 1 0 354520 2475 0 0 20 0 1 0 43013048 527990784 120067 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 128904 120067 1883 992 0 120762 0
Current children cumulated CPU time: 3569.95 s
Current children cumulated vsize: 515616 KiB
Current children cumulated memory: 480268 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.5 s]
/proc/loadavg: 4.09 4.12 4.09 3/260 377140
/proc/meminfo: memFree=53061212/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=515920 memory=480464 CPUtime=3600.03 cores=0,2
/proc/375128/stat : 375128 (roundingsat) R 375125 375128 375101 0 -1 4194304 46326 0 1 0 357511 2492 0 0 20 0 1 0 43013048 528302080 120116 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 128980 120116 1883 992 0 120838 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 515920 KiB
Current children cumulated memory: 480464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.09 4.12 4.09 2/260 377140
/proc/meminfo: memFree=53058316/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=515920 memory=480464 CPUtime=3600.03 cores=0,2
/proc/375128/stat : 375128 (roundingsat) D 375125 375128 375101 0 -1 4194304 46332 0 1 0 357511 2492 0 0 20 0 1 0 43013048 528302080 120116 134679101440 4194304 8254357 140734105266368 0 0 256 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 128980 120116 1883 992 0 120838 0
??? kill 375128 sig 9
??? end of watcher thread
[startup+3616.52 s]
# the end of solver process 375128 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3575.11 s, system=24.925 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.09 4.12 4.09 3/260 377140
/proc/meminfo: memFree=53061212/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=515920 memory=480464 CPUtime=3600.03 cores=0,2
/proc/375128/stat : 375128 (roundingsat) D 375125 375128 375101 0 -1 4194304 46332 0 1 0 357511 2492 0 0 20 0 1 0 43013048 528302080 120116 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 128980 120116 1883 992 0 120838 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 515920 KiB
Current children cumulated memory: 480464 KiB
[startup+3613.6 s]
/proc/loadavg: 4.09 4.12 4.09 2/260 377140
/proc/meminfo: memFree=53059772/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=515920 memory=480464 CPUtime=3600.03 cores=0,2
/proc/375128/stat : 375128 (roundingsat) D 375125 375128 375101 0 -1 4194304 46332 0 1 0 357511 2492 0 0 20 0 1 0 43013048 528302080 120116 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 128980 120116 1883 992 0 120838 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 515920 KiB
Current children cumulated memory: 480464 KiB
[startup+3614 s]*
/proc/loadavg: 4.09 4.12 4.09 2/260 377140
/proc/meminfo: memFree=53058708/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=515920 memory=480464 CPUtime=3600.03 cores=0,2
/proc/375128/stat : 375128 (roundingsat) D 375125 375128 375101 0 -1 4194304 46332 0 1 0 357511 2492 0 0 20 0 1 0 43013048 528302080 120116 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 128980 120116 1883 992 0 120838 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 515920 KiB
Current children cumulated memory: 480464 KiB
[startup+3614.4 s]
/proc/loadavg: 4.09 4.12 4.09 2/260 377140
/proc/meminfo: memFree=53058708/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=515920 memory=480464 CPUtime=3600.03 cores=0,2
/proc/375128/stat : 375128 (roundingsat) D 375125 375128 375101 0 -1 4194304 46332 0 1 0 357511 2492 0 0 20 0 1 0 43013048 528302080 120116 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 128980 120116 1883 992 0 120838 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 515920 KiB
Current children cumulated memory: 480464 KiB
[startup+3614.5 s]
/proc/loadavg: 4.09 4.12 4.09 2/260 377140
/proc/meminfo: memFree=53058708/131524600 swapFree=131071728/131071996
[pid=375128] ppid=375125 vsize=515920 memory=480464 CPUtime=3600.03 cores=0,2
/proc/375128/stat : 375128 (roundingsat) D 375125 375128 375101 0 -1 4194304 46332 0 1 0 357511 2492 0 0 20 0 1 0 43013048 528302080 120116 134679101440 4194304 8254357 140734105266368 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41664512 140734105269083 140734105269345 140734105269345 140734105276361 0
/proc/375128/statm: 128980 120116 1883 992 0 120838 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 515920 KiB
Current children cumulated memory: 480464 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3616.52
CPU time (s): 3600.04
CPU user time (s): 3575.11
CPU system time (s): 24.925
CPU usage (%): 99.5443
Max. virtual memory (cumulated for all children) (KiB): 515920
Max. memory (cumulated for all children) (KiB): 480464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.11
system time used= 24.925
maximum resident set size= 480884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46332
page faults= 1
swaps= 0
block input operations= 264
block output operations= 4043728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106
involuntary context switches= 25493
# summary of solver processes directly reported to runsolver:
# pid: 375128
# total CPU time (s): 3600.04
# total CPU user time (s): 3575.11
# total CPU system time (s): 24.925
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89645 second user time and 17.1822 second system time
The end
Begin job on nodeC029 at 2024-07-27 09:20:36 IDJOB=4460235 IDBENCH=146695 IDSOLVER=3086 FILE ID=nodeC029/4460235-1722064836 RUNJOBID= nodeC029-1722064836-375111 SLURM_JOB_ID= 8248097 Free space on /tmp= 890084 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.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-4460235-1722064836/watcher-4460235-1722064836 -o /tmp/evaluation-result-4460235-1722064836/solver-4460235-1722064836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722064836-375111 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460235-1722064836 --lp-cut-gomory=0 HOME/instance-4460235-1722064836.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= dbca78014701662c42e2f44b8d3d4cf2 RANDOM SEED=425005107 nodeC029.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 : 3478.202 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.50 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 : 2643.587 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.34 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 : 3458.782 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.50 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 : 1876.156 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.34 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 : 2962.855 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.50 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 : 2182.704 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.34 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 : 1909.475 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.50 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 : 3689.710 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.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 109255384 kB MemAvailable: 129572548 kB Buffers: 365472 kB Cached: 20654764 kB SwapCached: 44 kB Active: 2935260 kB Inactive: 18452508 kB Active(anon): 1448 kB Inactive(anon): 420092 kB Active(file): 2933812 kB Inactive(file): 18032416 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071728 kB Dirty: 6840 kB Writeback: 0 kB AnonPages: 367488 kB Mapped: 120704 kB Shmem: 54012 kB KReclaimable: 381520 kB Slab: 517780 kB SReclaimable: 381520 kB SUnreclaim: 136260 kB KernelStack: 3748 kB PageTables: 9208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 807456 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 24608 kB HardwareCorrupted: 0 kB AnonHugePages: 241664 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: 350932 kB DirectMap2M: 44511232 kB DirectMap1G: 91226112 kB Free space on /tmp at the end= 890056 MiB End job on nodeC029 at 2024-07-27 10:20:53