| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | -33 | 3600.1 | 3610.31 |
| 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.30/0.39 c #variables 760 #constraints 41263 0.87/0.94 c bounds - >= -760 @ 0.28848 0.87/0.94 c rational objective -380 1.27/1.39 c bounds 0 >= -760 @ 0.827919 1.27/1.39 c bounds 0 >= -759 @ 1.19645 1.27/1.39 c bounds 0 >= -758 @ 1.19686 1.27/1.39 c bounds 0 >= -757 @ 1.19726 1.27/1.39 c bounds 0 >= -756 @ 1.19766 1.27/1.39 c bounds -1 >= -756 @ 1.19846 1.27/1.39 c bounds -1 >= -755 @ 1.19878 1.27/1.39 c bounds -1 >= -754 @ 1.19916 1.27/1.39 c bounds -1 >= -753 @ 1.19954 1.27/1.39 c bounds -1 >= -752 @ 1.19994 1.27/1.39 c bounds -1 >= -751 @ 1.20032 1.27/1.39 c bounds -1 >= -750 @ 1.2007 1.27/1.39 c bounds -1 >= -749 @ 1.20109 1.27/1.39 c bounds -1 >= -748 @ 1.20148 1.27/1.39 c bounds -1 >= -747 @ 1.20186 1.27/1.39 c bounds -1 >= -746 @ 1.20225 1.27/1.39 c bounds -1 >= -745 @ 1.20264 1.27/1.39 c bounds -1 >= -744 @ 1.20302 1.27/1.39 c bounds -1 >= -743 @ 1.20341 1.27/1.39 c bounds -1 >= -742 @ 1.20345 1.27/1.39 c bounds -1 >= -741 @ 1.20345 1.27/1.39 c bounds -1 >= -740 @ 1.20366 1.27/1.39 c bounds -1 >= -739 @ 1.20401 1.27/1.39 c bounds -1 >= -738 @ 1.2044 1.27/1.39 c bounds -1 >= -737 @ 1.20479 1.27/1.39 c bounds -1 >= -736 @ 1.20518 1.27/1.39 c bounds -1 >= -735 @ 1.20557 1.27/1.39 c bounds -1 >= -734 @ 1.20596 1.27/1.39 c bounds -1 >= -733 @ 1.20635 1.27/1.39 c bounds -1 >= -732 @ 1.20673 1.27/1.39 c bounds -1 >= -731 @ 1.20713 1.27/1.39 c bounds -1 >= -730 @ 1.20751 1.27/1.39 c bounds -2 >= -730 @ 1.20843 1.27/1.39 c bounds -2 >= -729 @ 1.20843 1.27/1.39 c bounds -2 >= -728 @ 1.20883 1.27/1.39 c bounds -2 >= -727 @ 1.20921 1.27/1.39 c bounds -2 >= -726 @ 1.2096 1.27/1.39 c bounds -2 >= -725 @ 1.20999 1.27/1.39 c bounds -2 >= -724 @ 1.21037 1.27/1.39 c bounds -3 >= -724 @ 1.21071 1.27/1.39 c bounds -3 >= -723 @ 1.21109 1.27/1.39 c bounds -3 >= -722 @ 1.21149 1.27/1.39 c bounds -3 >= -721 @ 1.21188 1.27/1.39 c bounds -3 >= -720 @ 1.21226 1.27/1.39 c bounds -3 >= -719 @ 1.21265 1.27/1.39 c bounds -3 >= -718 @ 1.21304 1.27/1.39 c bounds -3 >= -717 @ 1.21343 1.27/1.39 c bounds -3 >= -716 @ 1.21382 1.27/1.39 c bounds -4 >= -716 @ 1.21749 1.27/1.39 c bounds -4 >= -715 @ 1.2179 1.27/1.39 c bounds -4 >= -714 @ 1.21829 1.27/1.39 c bounds -4 >= -713 @ 1.21868 1.27/1.39 c bounds -4 >= -712 @ 1.21908 1.27/1.39 c bounds -4 >= -711 @ 1.21946 1.27/1.39 c bounds -4 >= -710 @ 1.21986 1.27/1.39 c bounds -4 >= -709 @ 1.22026 1.27/1.39 c bounds -4 >= -708 @ 1.22064 1.27/1.39 c bounds -4 >= -707 @ 1.22104 1.27/1.39 c bounds -4 >= -706 @ 1.22144 1.27/1.39 c bounds -4 >= -705 @ 1.22184 1.27/1.39 c bounds -4 >= -704 @ 1.22223 1.27/1.39 c bounds -4 >= -703 @ 1.22263 1.27/1.39 c bounds -4 >= -702 @ 1.22302 1.27/1.39 c bounds -4 >= -701 @ 1.22342 1.27/1.39 c bounds -4 >= -700 @ 1.22381 1.27/1.39 c bounds -4 >= -699 @ 1.22419 1.27/1.39 c bounds -4 >= -698 @ 1.22459 1.27/1.39 c bounds -4 >= -697 @ 1.22498 1.27/1.39 c bounds -4 >= -696 @ 1.22537 1.27/1.39 c bounds -4 >= -695 @ 1.22577 1.27/1.39 c bounds -4 >= -694 @ 1.22618 1.27/1.39 c bounds -4 >= -693 @ 1.22657 1.27/1.39 c bounds -4 >= -692 @ 1.22697 1.27/1.39 c bounds -4 >= -691 @ 1.22737 1.27/1.39 c bounds -4 >= -690 @ 1.22775 1.27/1.39 c bounds -4 >= -689 @ 1.22815 1.27/1.39 c bounds -4 >= -688 @ 1.22855 1.27/1.39 c bounds -4 >= -687 @ 1.22894 1.27/1.39 c bounds -4 >= -686 @ 1.22934 1.27/1.39 c bounds -4 >= -685 @ 1.22938 1.27/1.39 c bounds -4 >= -684 @ 1.22938 1.27/1.39 c bounds -4 >= -683 @ 1.22961 1.27/1.39 c bounds -4 >= -682 @ 1.22998 1.27/1.39 c bounds -4 >= -681 @ 1.23033 1.27/1.39 c bounds -4 >= -680 @ 1.23073 1.27/1.39 c bounds -4 >= -679 @ 1.23113 1.27/1.39 c bounds -4 >= -678 @ 1.23154 1.27/1.39 c bounds -4 >= -677 @ 1.23194 1.27/1.39 c bounds -4 >= -676 @ 1.23234 1.27/1.39 c bounds -4 >= -675 @ 1.23274 1.27/1.39 c bounds -4 >= -674 @ 1.23313 1.27/1.39 c bounds -4 >= -673 @ 1.23353 1.27/1.39 c bounds -4 >= -672 @ 1.23392 1.27/1.39 c bounds -4 >= -671 @ 1.23432 1.27/1.39 c bounds -4 >= -670 @ 1.23471 1.27/1.39 c bounds -4 >= -669 @ 1.23511 1.27/1.39 c bounds -4 >= -668 @ 1.23551 1.27/1.39 c bounds -4 >= -667 @ 1.2359 1.27/1.39 c bounds -4 >= -666 @ 1.2363 1.27/1.39 c bounds -4 >= -665 @ 1.23671 1.27/1.39 c bounds -4 >= -664 @ 1.23712 1.27/1.39 c bounds -4 >= -663 @ 1.23752 1.27/1.39 c bounds -4 >= -662 @ 1.23792 1.27/1.39 c bounds -4 >= -661 @ 1.23831 1.27/1.39 c bounds -4 >= -660 @ 1.23871 1.27/1.39 c bounds -4 >= -659 @ 1.23911 1.27/1.39 c bounds -4 >= -658 @ 1.2395 1.27/1.39 c bounds -4 >= -657 @ 1.2399 1.27/1.39 c bounds -4 >= -656 @ 1.2403 1.27/1.39 c bounds -4 >= -655 @ 1.2407 1.27/1.39 c bounds -4 >= -654 @ 1.2411 1.27/1.39 c bounds -4 >= -653 @ 1.24149 1.27/1.39 c bounds -4 >= -652 @ 1.24189 1.27/1.39 c bounds -4 >= -651 @ 1.24229 1.27/1.39 c bounds -5 >= -651 @ 1.24425 1.27/1.39 c bounds -5 >= -650 @ 1.24465 1.27/1.39 c bounds -5 >= -649 @ 1.24504 1.27/1.39 c bounds -5 >= -648 @ 1.24544 1.27/1.39 c bounds -5 >= -647 @ 1.24584 1.27/1.39 c bounds -5 >= -646 @ 1.24624 1.27/1.39 c bounds -5 >= -645 @ 1.24663 1.27/1.39 c bounds -5 >= -644 @ 1.24703 1.27/1.39 c bounds -5 >= -643 @ 1.24742 1.27/1.39 c bounds -5 >= -642 @ 1.24782 1.27/1.39 c bounds -5 >= -641 @ 1.24821 1.27/1.39 c bounds -5 >= -640 @ 1.24861 1.27/1.39 c bounds -5 >= -639 @ 1.24906 1.27/1.39 c bounds -5 >= -638 @ 1.24949 1.27/1.39 c bounds -5 >= -637 @ 1.24993 1.27/1.39 c bounds -5 >= -636 @ 1.25036 1.27/1.39 c bounds -5 >= -635 @ 1.25081 1.27/1.39 c bounds -5 >= -634 @ 1.25124 1.27/1.39 c bounds -5 >= -633 @ 1.25168 1.27/1.39 c bounds -5 >= -632 @ 1.25212 1.27/1.39 c bounds -5 >= -631 @ 1.25257 1.27/1.39 c bounds -5 >= -630 @ 1.253 1.27/1.39 c bounds -5 >= -629 @ 1.25344 1.27/1.39 c bounds -5 >= -628 @ 1.25389 1.37/1.45 c bounds -5 >= -627 @ 1.25434 1.37/1.45 c bounds -5 >= -626 @ 1.25478 1.37/1.45 c bounds -5 >= -625 @ 1.25521 1.37/1.45 c bounds -5 >= -624 @ 1.25565 1.37/1.45 c bounds -5 >= -623 @ 1.25609 1.37/1.45 c bounds -5 >= -622 @ 1.25654 1.37/1.45 c bounds -5 >= -621 @ 1.25697 1.37/1.45 c bounds -5 >= -620 @ 1.25742 1.37/1.45 c bounds -5 >= -619 @ 1.25786 1.37/1.45 c bounds -5 >= -618 @ 1.25829 1.37/1.45 c bounds -5 >= -617 @ 1.25873 1.37/1.45 c bounds -5 >= -616 @ 1.25916 1.37/1.45 c bounds -5 >= -615 @ 1.25961 1.37/1.45 c bounds -5 >= -614 @ 1.26005 1.37/1.45 c bounds -5 >= -613 @ 1.26048 1.37/1.45 c bounds -5 >= -612 @ 1.26093 1.37/1.45 c bounds -5 >= -611 @ 1.26138 1.37/1.45 c bounds -5 >= -610 @ 1.26181 1.37/1.45 c bounds -5 >= -609 @ 1.26226 1.37/1.45 c bounds -5 >= -608 @ 1.2627 1.37/1.45 c bounds -5 >= -607 @ 1.26314 1.37/1.45 c bounds -5 >= -606 @ 1.26359 1.37/1.45 c bounds -5 >= -605 @ 1.26403 1.37/1.45 c bounds -5 >= -604 @ 1.26447 1.37/1.45 c bounds -5 >= -603 @ 1.26492 1.37/1.45 c bounds -5 >= -602 @ 1.26537 1.37/1.45 c bounds -5 >= -601 @ 1.26581 1.37/1.45 c bounds -5 >= -600 @ 1.26625 1.37/1.45 c bounds -5 >= -599 @ 1.26669 1.37/1.45 c bounds -5 >= -598 @ 1.26714 1.37/1.45 c bounds -5 >= -597 @ 1.26758 1.37/1.45 c bounds -5 >= -596 @ 1.26801 1.37/1.45 c bounds -5 >= -595 @ 1.26846 1.37/1.45 c bounds -5 >= -594 @ 1.2689 1.37/1.45 c bounds -5 >= -593 @ 1.26933 1.37/1.45 c bounds -5 >= -592 @ 1.26978 1.37/1.45 c bounds -5 >= -591 @ 1.27022 1.37/1.45 c bounds -5 >= -590 @ 1.27066 1.37/1.45 c bounds -5 >= -589 @ 1.2711 1.37/1.45 c bounds -5 >= -588 @ 1.27154 1.37/1.45 c bounds -5 >= -587 @ 1.27199 1.37/1.45 c bounds -5 >= -586 @ 1.27244 1.37/1.45 c bounds -5 >= -585 @ 1.27288 1.37/1.45 c bounds -5 >= -584 @ 1.27333 1.37/1.45 c bounds -5 >= -583 @ 1.27378 1.37/1.45 c bounds -5 >= -582 @ 1.27423 1.37/1.45 c bounds -5 >= -581 @ 1.27469 1.37/1.45 c bounds -5 >= -580 @ 1.27514 1.37/1.45 c bounds -5 >= -579 @ 1.27558 1.37/1.45 c bounds -5 >= -578 @ 1.27603 1.37/1.45 c bounds -5 >= -577 @ 1.27648 1.37/1.45 c bounds -5 >= -576 @ 1.27692 1.37/1.45 c bounds -5 >= -575 @ 1.27736 1.37/1.45 c bounds -5 >= -574 @ 1.27781 1.37/1.45 c bounds -5 >= -573 @ 1.27826 1.37/1.45 c bounds -5 >= -572 @ 1.27871 1.37/1.45 c bounds -6 >= -572 @ 1.27984 1.37/1.45 c bounds -6 >= -571 @ 1.28028 1.37/1.45 c bounds -6 >= -570 @ 1.28073 1.37/1.45 c bounds -6 >= -569 @ 1.28118 1.37/1.45 c bounds -6 >= -568 @ 1.28159 1.37/1.45 c bounds -6 >= -567 @ 1.282 1.37/1.45 c bounds -6 >= -566 @ 1.2824 1.37/1.45 c bounds -6 >= -565 @ 1.28281 1.37/1.45 c bounds -6 >= -564 @ 1.28321 1.37/1.45 c bounds -6 >= -563 @ 1.28362 1.37/1.45 c bounds -6 >= -562 @ 1.28403 1.37/1.45 c bounds -6 >= -561 @ 1.28443 1.37/1.45 c bounds -6 >= -560 @ 1.28484 1.37/1.45 c bounds -7 >= -560 @ 1.28522 1.37/1.45 c bounds -7 >= -559 @ 1.28541 1.37/1.45 c bounds -7 >= -558 @ 1.28578 1.37/1.45 c bounds -7 >= -557 @ 1.28616 1.37/1.45 c bounds -7 >= -556 @ 1.28656 1.37/1.45 c bounds -7 >= -555 @ 1.28697 1.37/1.45 c bounds -7 >= -554 @ 1.28738 1.37/1.45 c bounds -7 >= -553 @ 1.28779 1.37/1.45 c bounds -8 >= -553 @ 1.29033 1.37/1.45 c bounds -8 >= -552 @ 1.29075 1.37/1.45 c bounds -8 >= -551 @ 1.2912 1.37/1.45 c bounds -8 >= -550 @ 1.29166 1.37/1.45 c bounds -8 >= -549 @ 1.2921 1.37/1.45 c bounds -8 >= -548 @ 1.29256 1.37/1.45 c bounds -8 >= -547 @ 1.29301 1.37/1.45 c bounds -8 >= -546 @ 1.29345 1.37/1.45 c bounds -8 >= -545 @ 1.2939 1.37/1.45 c bounds -8 >= -544 @ 1.29434 1.37/1.45 c bounds -8 >= -543 @ 1.29479 1.37/1.45 c bounds -8 >= -542 @ 1.29524 1.37/1.45 c bounds -8 >= -541 @ 1.29568 1.37/1.45 c bounds -8 >= -540 @ 1.29613 1.37/1.45 c bounds -8 >= -539 @ 1.29658 1.37/1.45 c bounds -8 >= -538 @ 1.29703 1.37/1.45 c bounds -8 >= -537 @ 1.29749 1.37/1.45 c bounds -8 >= -536 @ 1.29794 1.37/1.45 c bounds -8 >= -535 @ 1.29838 1.37/1.45 c bounds -8 >= -534 @ 1.29883 1.37/1.45 c bounds -8 >= -533 @ 1.29926 1.37/1.45 c bounds -8 >= -532 @ 1.29967 1.37/1.45 c bounds -8 >= -531 @ 1.30008 1.37/1.45 c bounds -8 >= -530 @ 1.30048 1.37/1.45 c bounds -8 >= -529 @ 1.3009 1.37/1.45 c bounds -8 >= -528 @ 1.30131 1.37/1.45 c bounds -8 >= -527 @ 1.30171 1.37/1.45 c bounds -8 >= -526 @ 1.30216 1.37/1.45 c bounds -8 >= -525 @ 1.30261 1.37/1.45 c bounds -8 >= -524 @ 1.30306 1.37/1.45 c bounds -8 >= -523 @ 1.30351 1.37/1.45 c bounds -8 >= -522 @ 1.30395 1.37/1.45 c bounds -8 >= -521 @ 1.30441 1.37/1.45 c bounds -8 >= -520 @ 1.30486 1.37/1.45 c bounds -9 >= -520 @ 1.30529 1.37/1.45 c bounds -9 >= -519 @ 1.30574 1.37/1.45 c bounds -9 >= -518 @ 1.3062 1.37/1.45 c bounds -9 >= -517 @ 1.30665 1.37/1.45 c bounds -9 >= -516 @ 1.3071 1.37/1.45 c bounds -9 >= -515 @ 1.30756 1.37/1.45 c bounds -9 >= -514 @ 1.30801 1.37/1.45 c bounds -9 >= -513 @ 1.30847 1.37/1.45 c bounds -9 >= -512 @ 1.30893 1.37/1.45 c bounds -9 >= -511 @ 1.30938 1.37/1.45 c bounds -9 >= -510 @ 1.30983 1.37/1.45 c bounds -9 >= -509 @ 1.31028 1.37/1.45 c bounds -9 >= -508 @ 1.31073 1.37/1.45 c bounds -9 >= -507 @ 1.31119 1.37/1.45 c bounds -9 >= -506 @ 1.31164 1.37/1.45 c bounds -9 >= -505 @ 1.3121 1.37/1.45 c bounds -9 >= -504 @ 1.31256 1.37/1.45 c bounds -9 >= -503 @ 1.31302 1.37/1.45 c bounds -9 >= -502 @ 1.31348 1.37/1.45 c bounds -9 >= -501 @ 1.31394 1.37/1.45 c bounds -9 >= -500 @ 1.31439 1.37/1.45 c bounds -9 >= -499 @ 1.31485 1.37/1.45 c bounds -9 >= -498 @ 1.3153 1.37/1.45 c bounds -10 >= -498 @ 1.31606 1.37/1.45 c bounds -10 >= -497 @ 1.31606 1.37/1.45 c bounds -10 >= -496 @ 1.31652 1.47/1.53 c bounds -10 >= -495 @ 1.31671 1.47/1.53 c bounds -10 >= -494 @ 1.3171 1.47/1.53 c bounds -10 >= -493 @ 1.31752 1.47/1.53 c bounds -10 >= -492 @ 1.31793 1.47/1.53 c bounds -10 >= -491 @ 1.31834 1.47/1.53 c bounds -10 >= -490 @ 1.31877 1.47/1.53 c bounds -10 >= -489 @ 1.31919 1.47/1.53 c bounds -10 >= -488 @ 1.31961 1.47/1.53 c bounds -11 >= -488 @ 1.32052 1.47/1.53 c bounds -11 >= -487 @ 1.32093 1.47/1.53 c bounds -11 >= -486 @ 1.32135 1.47/1.53 c bounds -11 >= -485 @ 1.32177 1.47/1.53 c bounds -11 >= -484 @ 1.32219 1.47/1.53 c bounds -11 >= -483 @ 1.3226 1.47/1.53 c bounds -11 >= -482 @ 1.32302 1.47/1.53 c bounds -11 >= -481 @ 1.32345 1.47/1.53 c bounds -11 >= -480 @ 1.32386 1.47/1.53 c bounds -11 >= -479 @ 1.32428 1.47/1.53 c bounds -12 >= -479 @ 1.32535 1.47/1.53 c bounds -12 >= -478 @ 1.32578 1.47/1.53 c bounds -12 >= -477 @ 1.3262 1.47/1.53 c bounds -12 >= -476 @ 1.32663 1.47/1.53 c bounds -12 >= -475 @ 1.32704 1.47/1.53 c bounds -12 >= -474 @ 1.32746 1.47/1.53 c bounds -12 >= -473 @ 1.32789 1.47/1.53 c bounds -12 >= -472 @ 1.32831 1.47/1.53 c bounds -12 >= -471 @ 1.32873 1.47/1.53 c bounds -12 >= -470 @ 1.32915 1.47/1.53 c bounds -13 >= -470 @ 1.32999 1.47/1.53 c bounds -13 >= -469 @ 1.33042 1.47/1.53 c bounds -13 >= -468 @ 1.33086 1.47/1.53 c bounds -13 >= -467 @ 1.33129 1.47/1.53 c bounds -13 >= -466 @ 1.33172 1.47/1.53 c bounds -13 >= -465 @ 1.33214 1.47/1.53 c bounds -13 >= -464 @ 1.33257 1.47/1.53 c bounds -13 >= -463 @ 1.33299 1.47/1.53 c bounds -13 >= -462 @ 1.33342 1.47/1.53 c bounds -14 >= -462 @ 1.33695 1.47/1.53 c bounds -14 >= -461 @ 1.33739 1.47/1.53 c bounds -14 >= -460 @ 1.33782 1.47/1.53 c bounds -14 >= -459 @ 1.33826 1.47/1.53 c bounds -14 >= -458 @ 1.33869 1.47/1.53 c bounds -14 >= -457 @ 1.33911 1.47/1.53 c bounds -14 >= -456 @ 1.33954 1.47/1.53 c bounds -14 >= -455 @ 1.33997 1.47/1.53 c bounds -14 >= -454 @ 1.34039 1.47/1.53 c bounds -14 >= -453 @ 1.3408 1.47/1.53 c bounds -14 >= -452 @ 1.34122 1.47/1.53 c bounds -14 >= -451 @ 1.34165 1.47/1.53 c bounds -14 >= -450 @ 1.34206 1.47/1.53 c bounds -14 >= -449 @ 1.34248 1.47/1.53 c bounds -14 >= -448 @ 1.34291 1.47/1.53 c bounds -14 >= -447 @ 1.34333 1.47/1.53 c bounds -14 >= -446 @ 1.34375 1.47/1.53 c bounds -14 >= -445 @ 1.34417 1.47/1.53 c bounds -14 >= -444 @ 1.34459 1.47/1.53 c bounds -14 >= -443 @ 1.34502 1.47/1.53 c bounds -14 >= -442 @ 1.34544 1.47/1.53 c bounds -14 >= -441 @ 1.34586 1.47/1.53 c bounds -14 >= -440 @ 1.34629 1.47/1.53 c bounds -14 >= -439 @ 1.34672 1.47/1.53 c bounds -14 >= -438 @ 1.34715 1.47/1.53 c bounds -14 >= -437 @ 1.34756 1.47/1.53 c bounds -14 >= -436 @ 1.34799 1.47/1.53 c bounds -14 >= -435 @ 1.34842 1.47/1.53 c bounds -14 >= -434 @ 1.34885 1.47/1.53 c bounds -14 >= -433 @ 1.34931 1.47/1.53 c bounds -14 >= -432 @ 1.34973 1.47/1.53 c bounds -14 >= -431 @ 1.35017 1.47/1.53 c bounds -14 >= -430 @ 1.35059 1.47/1.53 c bounds -14 >= -429 @ 1.35101 1.47/1.53 c bounds -14 >= -428 @ 1.35144 1.47/1.53 c bounds -14 >= -427 @ 1.35186 1.47/1.53 c bounds -14 >= -426 @ 1.35229 1.47/1.53 c bounds -14 >= -425 @ 1.35271 1.47/1.53 c bounds -14 >= -424 @ 1.35313 1.47/1.53 c bounds -14 >= -423 @ 1.35356 1.47/1.53 c bounds -14 >= -422 @ 1.35398 1.47/1.53 c bounds -14 >= -421 @ 1.35439 1.47/1.53 c bounds -14 >= -420 @ 1.35482 1.47/1.53 c bounds -14 >= -419 @ 1.35524 1.47/1.53 c bounds -14 >= -418 @ 1.35567 1.47/1.53 c bounds -14 >= -417 @ 1.35609 1.47/1.53 c bounds -14 >= -416 @ 1.35652 1.47/1.53 c bounds -14 >= -415 @ 1.35695 1.47/1.53 c bounds -14 >= -414 @ 1.35739 1.47/1.53 c bounds -14 >= -413 @ 1.35782 1.47/1.53 c bounds -14 >= -412 @ 1.35787 1.47/1.53 c bounds -14 >= -411 @ 1.35787 1.47/1.53 c bounds -14 >= -410 @ 1.35819 1.47/1.53 c bounds -14 >= -409 @ 1.35859 1.47/1.53 c bounds -14 >= -408 @ 1.35899 1.47/1.53 c bounds -14 >= -407 @ 1.35943 1.47/1.53 c bounds -14 >= -406 @ 1.35986 1.47/1.53 c bounds -14 >= -405 @ 1.36029 1.47/1.53 c bounds -14 >= -404 @ 1.36074 1.47/1.53 c bounds -14 >= -403 @ 1.36117 1.47/1.53 c bounds -14 >= -402 @ 1.3616 1.47/1.53 c bounds -14 >= -401 @ 1.36204 1.47/1.53 c bounds -14 >= -400 @ 1.36249 1.47/1.53 c bounds -14 >= -399 @ 1.36293 1.47/1.53 c bounds -14 >= -398 @ 1.36337 1.47/1.53 c bounds -14 >= -397 @ 1.36381 1.47/1.53 c bounds -14 >= -396 @ 1.36425 1.47/1.53 c bounds -14 >= -395 @ 1.36469 1.47/1.53 c bounds -14 >= -394 @ 1.36513 1.47/1.53 c bounds -14 >= -393 @ 1.36556 1.47/1.53 c bounds -15 >= -393 @ 1.36693 1.47/1.53 c bounds -15 >= -392 @ 1.36738 1.47/1.53 c bounds -15 >= -391 @ 1.36781 1.47/1.53 c bounds -15 >= -390 @ 1.36827 1.47/1.53 c bounds -15 >= -389 @ 1.36872 1.47/1.53 c bounds -15 >= -388 @ 1.36915 1.47/1.53 c bounds -15 >= -387 @ 1.36959 1.47/1.53 c bounds -15 >= -386 @ 1.37003 1.47/1.53 c bounds -15 >= -385 @ 1.37047 1.47/1.53 c bounds -15 >= -384 @ 1.37091 1.47/1.53 c bounds -15 >= -383 @ 1.37095 1.47/1.53 c bounds -15 >= -382 @ 1.37095 1.47/1.53 c bounds -15 >= -381 @ 1.37129 1.47/1.53 c bounds -15 >= -380 @ 1.3717 1.47/1.53 c bounds -15 >= -379 @ 1.37215 1.47/1.53 c bounds -15 >= -378 @ 1.37296 1.47/1.53 c bounds -15 >= -377 @ 1.37309 1.47/1.53 c bounds -15 >= -376 @ 1.37482 1.47/1.53 c bounds -15 >= -375 @ 1.37495 1.47/1.53 c bounds -15 >= -374 @ 1.37496 1.47/1.53 c bounds -15 >= -373 @ 1.37595 1.47/1.53 c bounds -15 >= -372 @ 1.37633 1.47/1.53 c bounds -15 >= -371 @ 1.37723 1.47/1.53 c bounds -15 >= -370 @ 1.37795 1.47/1.53 c bounds -15 >= -369 @ 1.37934 1.67/1.75 c bounds -15 >= -368 @ 1.37994 1.67/1.75 c bounds -15 >= -367 @ 1.38106 1.67/1.75 c bounds -16 >= -367 @ 1.39011 1.67/1.75 c bounds -16 >= -366 @ 1.39134 1.67/1.75 c bounds -16 >= -365 @ 1.39225 1.67/1.75 c bounds -16 >= -364 @ 1.39402 1.67/1.75 c bounds -16 >= -363 @ 1.3959 1.67/1.75 c bounds -16 >= -362 @ 1.3959 1.67/1.75 c bounds -16 >= -361 @ 1.39684 1.67/1.75 c bounds -16 >= -360 @ 1.3969 1.67/1.75 c bounds -16 >= -359 @ 1.39727 1.67/1.75 c bounds -16 >= -358 @ 1.39897 1.67/1.75 c bounds -16 >= -357 @ 1.39989 1.67/1.75 c bounds -16 >= -356 @ 1.39989 1.67/1.75 c bounds -16 >= -355 @ 1.39989 1.67/1.75 c bounds -16 >= -354 @ 1.40021 1.67/1.75 c bounds -16 >= -353 @ 1.40187 1.67/1.75 c bounds -16 >= -352 @ 1.40288 1.67/1.75 c bounds -16 >= -351 @ 1.40288 1.67/1.75 c bounds -16 >= -350 @ 1.40322 1.67/1.75 c bounds -16 >= -349 @ 1.40388 1.67/1.75 c bounds -16 >= -348 @ 1.40476 1.67/1.75 c bounds -16 >= -347 @ 1.40488 1.67/1.75 c bounds -16 >= -346 @ 1.40491 1.67/1.75 c bounds -16 >= -345 @ 1.40588 1.67/1.75 c bounds -16 >= -344 @ 1.40639 1.67/1.75 c bounds -16 >= -343 @ 1.40809 1.67/1.75 c bounds -16 >= -342 @ 1.40887 1.67/1.75 c bounds -16 >= -341 @ 1.40987 1.67/1.75 c bounds -16 >= -340 @ 1.41015 1.67/1.75 c bounds -16 >= -339 @ 1.41087 1.67/1.75 c bounds -16 >= -338 @ 1.41087 1.67/1.75 c bounds -16 >= -337 @ 1.41136 1.67/1.75 c bounds -16 >= -336 @ 1.41214 1.67/1.75 c bounds -16 >= -335 @ 1.41376 1.67/1.75 c bounds -16 >= -334 @ 1.41386 1.67/1.75 c bounds -16 >= -333 @ 1.4147 1.67/1.75 c bounds -16 >= -332 @ 1.41696 1.67/1.75 c bounds -16 >= -331 @ 1.41866 1.67/1.75 c bounds -16 >= -330 @ 1.41885 1.67/1.75 c bounds -16 >= -329 @ 1.42001 1.67/1.75 c bounds -16 >= -328 @ 1.42164 1.67/1.75 c bounds -16 >= -327 @ 1.42184 1.67/1.75 c bounds -16 >= -326 @ 1.42284 1.67/1.75 c bounds -16 >= -325 @ 1.42383 1.67/1.75 c bounds -16 >= -324 @ 1.42383 1.67/1.75 c bounds -16 >= -323 @ 1.42459 1.67/1.75 c bounds -16 >= -322 @ 1.42518 1.67/1.75 c bounds -16 >= -321 @ 1.42583 1.67/1.75 c bounds -16 >= -320 @ 1.42583 1.67/1.75 c bounds -16 >= -319 @ 1.42685 1.67/1.75 c bounds -16 >= -318 @ 1.42782 1.67/1.75 c bounds -16 >= -317 @ 1.42807 1.67/1.75 c bounds -16 >= -316 @ 1.42882 1.67/1.75 c bounds -16 >= -315 @ 1.42916 1.67/1.75 c bounds -16 >= -314 @ 1.42982 1.67/1.75 c bounds -16 >= -313 @ 1.4312 1.67/1.75 c bounds -16 >= -312 @ 1.43274 1.67/1.75 c bounds -16 >= -311 @ 1.43279 1.67/1.75 c bounds -16 >= -310 @ 1.43279 1.67/1.75 c bounds -16 >= -309 @ 1.43436 1.67/1.75 c bounds -16 >= -308 @ 1.43588 1.67/1.75 c bounds -16 >= -307 @ 1.43678 1.67/1.75 c bounds -16 >= -306 @ 1.43792 1.67/1.75 c bounds -16 >= -305 @ 1.43878 1.67/1.75 c bounds -16 >= -304 @ 1.43904 1.67/1.75 c bounds -16 >= -303 @ 1.44008 1.67/1.75 c bounds -16 >= -302 @ 1.44111 1.67/1.75 c bounds -16 >= -301 @ 1.44177 1.67/1.75 c bounds -16 >= -300 @ 1.44211 1.67/1.75 c bounds -16 >= -299 @ 1.44277 1.67/1.75 c bounds -16 >= -298 @ 1.44376 1.67/1.75 c bounds -16 >= -297 @ 1.44397 1.67/1.75 c bounds -16 >= -296 @ 1.44535 1.67/1.75 c bounds -16 >= -295 @ 1.44592 1.67/1.75 c bounds -16 >= -294 @ 1.44775 1.67/1.75 c bounds -16 >= -293 @ 1.44875 1.67/1.75 c bounds -17 >= -293 @ 1.44875 1.67/1.75 c bounds -17 >= -292 @ 1.44875 1.67/1.75 c bounds -17 >= -291 @ 1.44911 1.67/1.75 c bounds -17 >= -290 @ 1.44975 1.67/1.75 c bounds -17 >= -289 @ 1.45041 1.67/1.75 c bounds -17 >= -288 @ 1.45091 1.67/1.75 c bounds -17 >= -287 @ 1.45174 1.67/1.75 c bounds -17 >= -286 @ 1.45174 1.67/1.75 c bounds -17 >= -285 @ 1.45201 1.67/1.75 c bounds -17 >= -284 @ 1.45274 1.67/1.75 c bounds -18 >= -284 @ 1.45276 1.67/1.75 c bounds -18 >= -283 @ 1.45374 1.67/1.75 c bounds -18 >= -282 @ 1.45449 1.67/1.75 c bounds -18 >= -281 @ 1.45474 1.67/1.75 c bounds -18 >= -280 @ 1.45474 1.67/1.75 c bounds -18 >= -279 @ 1.45474 1.67/1.75 c bounds -18 >= -278 @ 1.45581 1.67/1.75 c bounds -18 >= -277 @ 1.45708 1.67/1.75 c bounds -19 >= -277 @ 1.4579 1.67/1.75 c bounds -19 >= -276 @ 1.45872 1.67/1.75 c bounds -19 >= -275 @ 1.45954 1.67/1.75 c bounds -19 >= -274 @ 1.45993 1.67/1.75 c bounds -20 >= -274 @ 1.46065 1.67/1.75 c bounds -20 >= -273 @ 1.46193 1.67/1.75 c bounds -20 >= -272 @ 1.46271 1.67/1.75 c bounds -21 >= -272 @ 1.46297 1.67/1.75 c bounds -21 >= -271 @ 1.46383 1.67/1.75 c bounds -21 >= -270 @ 1.46509 1.67/1.75 c bounds -21 >= -269 @ 1.4657 1.67/1.75 c bounds -21 >= -268 @ 1.4657 1.67/1.75 c bounds -21 >= -267 @ 1.46697 1.67/1.75 c bounds -22 >= -267 @ 1.46814 1.67/1.75 c bounds -22 >= -266 @ 1.4687 1.67/1.75 c bounds -22 >= -265 @ 1.46901 1.67/1.75 c bounds -22 >= -264 @ 1.46969 1.67/1.75 c bounds -22 >= -263 @ 1.46969 1.67/1.75 c bounds -22 >= -262 @ 1.47088 1.67/1.75 c bounds -22 >= -261 @ 1.47169 1.67/1.75 c bounds -23 >= -261 @ 1.47169 1.67/1.75 c bounds -23 >= -260 @ 1.47169 1.67/1.75 c bounds -23 >= -259 @ 1.47169 1.67/1.75 c bounds -23 >= -258 @ 1.47187 1.67/1.75 c bounds -24 >= -258 @ 1.47249 1.67/1.75 c bounds -24 >= -257 @ 1.47285 1.67/1.75 c bounds -24 >= -256 @ 1.47368 1.67/1.75 c bounds -25 >= -256 @ 1.47528 1.67/1.75 c bounds -25 >= -255 @ 1.47568 1.67/1.75 c bounds -25 >= -254 @ 1.476 1.67/1.75 c bounds -25 >= -253 @ 1.47702 1.67/1.75 c bounds -25 >= -252 @ 1.47812 1.67/1.75 c bounds -25 >= -251 @ 1.47867 1.67/1.75 c bounds -25 >= -250 @ 1.47971 1.67/1.75 c bounds -25 >= -249 @ 1.48062 1.67/1.75 c bounds -25 >= -248 @ 1.48096 1.67/1.75 c bounds -25 >= -247 @ 1.48203 2.27/2.34 c bounds -25 >= -246 @ 1.48327 2.27/2.34 c bounds -25 >= -245 @ 1.48444 2.27/2.34 c bounds -25 >= -244 @ 1.4853 2.27/2.34 c bounds -26 >= -244 @ 1.4861 2.27/2.34 c bounds -26 >= -243 @ 1.48764 2.27/2.34 c bounds -26 >= -242 @ 1.48792 2.27/2.34 c bounds -26 >= -241 @ 1.48897 2.27/2.34 c bounds -26 >= -240 @ 1.48963 2.27/2.34 c bounds -27 >= -240 @ 1.49497 2.27/2.34 c bounds -27 >= -239 @ 1.49562 2.27/2.34 c bounds -27 >= -238 @ 1.49562 2.27/2.34 c bounds -27 >= -237 @ 1.4966 2.27/2.34 c bounds -27 >= -236 @ 1.49679 2.27/2.34 c bounds -27 >= -235 @ 1.49775 2.27/2.34 c bounds -27 >= -234 @ 1.49903 2.27/2.34 c bounds -27 >= -233 @ 1.50011 2.27/2.34 c bounds -27 >= -232 @ 1.50149 2.27/2.34 c bounds -27 >= -231 @ 1.5019 2.27/2.34 c bounds -27 >= -230 @ 1.5026 2.27/2.34 c bounds -27 >= -229 @ 1.50375 2.27/2.34 c bounds -27 >= -228 @ 1.50459 2.27/2.34 c bounds -27 >= -227 @ 1.5048 2.27/2.34 c bounds -27 >= -226 @ 1.50572 2.27/2.34 c bounds -27 >= -225 @ 1.50672 2.27/2.34 c bounds -27 >= -224 @ 1.50771 2.27/2.34 c bounds -27 >= -223 @ 1.50873 2.27/2.34 c bounds -27 >= -222 @ 1.50958 2.27/2.34 c bounds -27 >= -221 @ 1.50986 2.27/2.34 c bounds -27 >= -220 @ 1.51057 2.27/2.34 c bounds -27 >= -219 @ 1.51162 2.27/2.34 c bounds -27 >= -218 @ 1.51301 2.27/2.34 c bounds -27 >= -217 @ 1.51456 2.27/2.34 c bounds -27 >= -216 @ 1.51456 2.27/2.34 c bounds -28 >= -216 @ 1.51456 2.27/2.34 c bounds -28 >= -215 @ 1.62645 2.27/2.34 c bounds -29 >= -215 @ 1.6272 2.27/2.34 c bounds -29 >= -214 @ 1.62772 2.27/2.34 c bounds -30 >= -214 @ 1.62869 2.27/2.34 c bounds -30 >= -213 @ 1.62928 2.27/2.34 c bounds -30 >= -212 @ 1.62928 2.27/2.34 c bounds -31 >= -212 @ 1.63044 2.27/2.34 c bounds -31 >= -211 @ 1.63182 2.27/2.34 c bounds -31 >= -210 @ 1.63305 2.27/2.34 c bounds -31 >= -209 @ 1.63327 2.27/2.34 c #Conflicts: 1000 | #Constraints: 44119 2.27/2.34 c #Conflicts: 2000 | #Constraints: 45131 2.27/2.34 c INPROCESSING 2.27/2.34 c GARBAGE COLLECT 2.27/2.34 c rational objective -209 2.77/2.88 c bounds -31 >= -208 @ 2.06405 2.77/2.88 c bounds -31 >= -207 @ 2.06407 2.77/2.88 c bounds -31 >= -206 @ 2.06504 2.77/2.88 c bounds -31 >= -205 @ 2.06507 2.77/2.88 c bounds -31 >= -204 @ 2.06528 2.77/2.88 c bounds -31 >= -203 @ 2.06606 2.77/2.88 c bounds -31 >= -202 @ 2.0672 2.77/2.88 c bounds -31 >= -201 @ 2.06824 2.77/2.88 c bounds -31 >= -200 @ 2.06914 2.77/2.88 c bounds -31 >= -199 @ 2.16727 2.77/2.88 c bounds -31 >= -198 @ 2.16847 2.77/2.88 c bounds -31 >= -197 @ 2.16947 2.77/2.88 c bounds -31 >= -196 @ 2.17056 2.77/2.88 c bounds -31 >= -195 @ 2.1708 2.77/2.88 c bounds -31 >= -194 @ 2.1708 2.77/2.88 c bounds -31 >= -193 @ 2.1708 2.77/2.88 c bounds -31 >= -192 @ 2.17226 2.77/2.88 c bounds -31 >= -191 @ 2.17363 2.77/2.88 c bounds -31 >= -190 @ 2.174 2.77/2.88 c bounds -31 >= -189 @ 2.17487 2.77/2.88 c bounds -31 >= -188 @ 2.17644 2.77/2.88 c bounds -31 >= -187 @ 2.17738 2.77/2.88 c bounds -31 >= -186 @ 2.17828 2.77/2.88 c bounds -31 >= -185 @ 2.17878 2.77/2.88 c bounds -31 >= -184 @ 2.17946 2.77/2.88 c bounds -31 >= -183 @ 2.17978 2.77/2.88 c bounds -31 >= -182 @ 2.18118 2.77/2.88 c bounds -31 >= -181 @ 2.18267 2.77/2.88 c bounds -31 >= -180 @ 2.18297 2.77/2.88 c bounds -31 >= -179 @ 2.18377 2.77/2.88 c bounds -31 >= -178 @ 2.18397 2.77/2.88 c bounds -31 >= -177 @ 2.18524 2.77/2.88 c bounds -31 >= -176 @ 2.18576 2.77/2.88 c bounds -31 >= -175 @ 2.18576 2.77/2.88 c bounds -31 >= -174 @ 2.18615 2.77/2.88 c bounds -31 >= -173 @ 2.18676 2.77/2.88 c bounds -31 >= -172 @ 2.18734 2.77/2.88 c bounds -31 >= -171 @ 2.18875 2.77/2.88 c bounds -31 >= -170 @ 2.18975 2.77/2.88 c bounds -31 >= -169 @ 2.19204 2.77/2.88 c bounds -31 >= -168 @ 2.19291 2.77/2.88 c bounds -31 >= -167 @ 2.19436 2.77/2.88 c bounds -31 >= -166 @ 2.19626 2.77/2.88 c bounds -31 >= -165 @ 2.19773 2.77/2.88 c bounds -31 >= -164 @ 2.20114 2.77/2.88 c bounds -31 >= -163 @ 2.20272 2.77/2.88 c bounds -31 >= -162 @ 2.20629 2.77/2.88 c #Conflicts: 3000 | #Constraints: 44964 2.77/2.88 c bounds -31 >= -161 @ 2.21207 2.77/2.88 c bounds -31 >= -160 @ 2.30049 2.77/2.88 c bounds -31 >= -159 @ 2.3031 2.77/2.88 c bounds -31 >= -158 @ 2.30465 2.77/2.88 c bounds -31 >= -157 @ 2.30547 2.77/2.88 c bounds -31 >= -156 @ 2.30806 2.77/2.88 c bounds -31 >= -155 @ 2.31502 2.77/2.88 c bounds -31 >= -154 @ 2.32192 2.77/2.88 c bounds -31 >= -153 @ 2.32363 2.77/2.88 c bounds -31 >= -152 @ 2.3354 2.77/2.88 c bounds -31 >= -151 @ 2.42426 2.77/2.88 c #Conflicts: 4000 | #Constraints: 46120 2.77/2.88 c INPROCESSING 2.77/2.88 c GARBAGE COLLECT 2.77/2.88 c rational objective -151 3.67/3.76 c bounds -31 >= -150 @ 2.53406 3.67/3.76 c bounds -31 >= -149 @ 2.54613 3.67/3.76 c bounds -31 >= -148 @ 2.6359 3.67/3.76 c #Conflicts: 5000 | #Constraints: 45740 3.67/3.76 c bounds -31 >= -147 @ 2.64434 3.67/3.76 c bounds -31 >= -146 @ 2.75672 3.67/3.76 c #Conflicts: 6000 | #Constraints: 46761 3.67/3.76 c bounds -31 >= -145 @ 2.76821 3.67/3.76 c bounds -31 >= -144 @ 2.7824 3.67/3.76 c bounds -31 >= -143 @ 2.86078 3.67/3.76 c bounds -31 >= -142 @ 2.879 3.67/3.76 c bounds -31 >= -141 @ 2.87999 3.67/3.76 c bounds -31 >= -140 @ 2.88045 3.67/3.76 c #Conflicts: 7000 | #Constraints: 47833 3.67/3.76 c bounds -31 >= -139 @ 2.88647 3.67/3.76 c bounds -31 >= -138 @ 2.97678 3.67/3.76 c bounds -31 >= -137 @ 3.00078 3.67/3.76 c #Conflicts: 8000 | #Constraints: 48902 3.67/3.76 c bounds -31 >= -136 @ 3.08641 3.67/3.76 c bounds -31 >= -135 @ 3.09852 3.67/3.76 c bounds -31 >= -134 @ 3.17156 3.67/3.76 c bounds -31 >= -133 @ 3.18323 3.67/3.76 c #Conflicts: 9000 | #Constraints: 49992 3.67/3.76 c bounds -31 >= -132 @ 3.26892 3.67/3.76 c INPROCESSING 3.67/3.76 c rational objective -132 5.97/6.02 c bounds -31 >= -131 @ 3.373 5.97/6.02 c #Conflicts: 10000 | #Constraints: 47479 5.97/6.02 c bounds -31 >= -130 @ 3.50913 5.97/6.02 c #Conflicts: 11000 | #Constraints: 48518 5.97/6.02 c bounds -31 >= -129 @ 3.75299 5.97/6.02 c #Conflicts: 12000 | #Constraints: 49536 5.97/6.02 c bounds -31 >= -128 @ 3.88461 5.97/6.02 c #Conflicts: 13000 | #Constraints: 50560 5.97/6.02 c bounds -31 >= -127 @ 4.07098 5.97/6.02 c #Conflicts: 14000 | #Constraints: 51581 5.97/6.02 c #Conflicts: 15000 | #Constraints: 52612 5.97/6.02 c #Conflicts: 16000 | #Constraints: 53641 5.97/6.02 c INPROCESSING 5.97/6.02 c GARBAGE COLLECT 5.97/6.02 c rational objective -127 6.96/7.09 c #Conflicts: 17000 | #Constraints: 49252 6.96/7.09 c bounds -31 >= -126 @ 5.76648 6.96/7.09 c #Conflicts: 18000 | #Constraints: 50267 6.96/7.09 c bounds -31 >= -125 @ 5.92533 6.96/7.09 c bounds -31 >= -124 @ 6.01741 6.96/7.09 c #Conflicts: 19000 | #Constraints: 51315 6.96/7.09 c #Conflicts: 20000 | #Constraints: 52315 6.96/7.09 c bounds -31 >= -123 @ 6.43643 6.96/7.09 c #Conflicts: 21000 | #Constraints: 53339 6.96/7.09 c INPROCESSING 6.96/7.09 c GARBAGE COLLECT 6.96/7.09 c rational objective -123 11.15/11.22 c #Conflicts: 22000 | #Constraints: 50258 11.15/11.22 c bounds -31 >= -122 @ 7.04229 11.15/11.22 c #Conflicts: 23000 | #Constraints: 51294 11.15/11.22 c #Conflicts: 24000 | #Constraints: 52294 11.15/11.22 c bounds -31 >= -121 @ 7.80746 11.15/11.22 c #Conflicts: 25000 | #Constraints: 53315 11.15/11.22 c #Conflicts: 26000 | #Constraints: 54315 11.15/11.22 c #Conflicts: 27000 | #Constraints: 55315 11.15/11.22 c #Conflicts: 28000 | #Constraints: 56315 11.15/11.22 c bounds -31 >= -120 @ 9.54937 11.15/11.22 c #Conflicts: 29000 | #Constraints: 57336 11.15/11.22 c #Conflicts: 30000 | #Constraints: 58336 11.15/11.22 c #Conflicts: 31000 | #Constraints: 59336 11.15/11.22 c INPROCESSING 11.15/11.22 c GARBAGE COLLECT 11.15/11.22 c rational objective -120 20.22/20.35 c #Conflicts: 32000 | #Constraints: 52282 20.22/20.35 c #Conflicts: 33000 | #Constraints: 53320 20.22/20.35 c #Conflicts: 34000 | #Constraints: 54363 20.22/20.35 c #Conflicts: 35000 | #Constraints: 55397 20.22/20.35 c #Conflicts: 36000 | #Constraints: 56447 20.22/20.35 c #Conflicts: 37000 | #Constraints: 57484 20.22/20.35 c #Conflicts: 38000 | #Constraints: 58518 20.22/20.35 c #Conflicts: 39000 | #Constraints: 59554 20.22/20.35 c #Conflicts: 40000 | #Constraints: 60581 20.22/20.35 c #Conflicts: 41000 | #Constraints: 61617 20.22/20.35 c #Conflicts: 42000 | #Constraints: 62651 20.22/20.35 c #Conflicts: 43000 | #Constraints: 63671 20.22/20.35 c INPROCESSING 20.22/20.35 c GARBAGE COLLECT 20.22/20.35 c rational objective -120 23.71/23.83 c #Conflicts: 44000 | #Constraints: 54454 23.71/23.83 c #Conflicts: 45000 | #Constraints: 55454 23.71/23.83 c #Conflicts: 46000 | #Constraints: 56454 23.71/23.83 c #Conflicts: 47000 | #Constraints: 57454 23.71/23.83 c bounds -31 >= -119 @ 21.7529 23.71/23.83 c #Conflicts: 48000 | #Constraints: 58484 23.71/23.83 c #Conflicts: 49000 | #Constraints: 59484 23.71/23.83 c #Conflicts: 50000 | #Constraints: 60484 23.71/23.83 c INPROCESSING 23.71/23.83 c GARBAGE COLLECT 23.71/23.83 c rational objective -119 32.79/33.00 c #Conflicts: 51000 | #Constraints: 52952 32.79/33.00 c #Conflicts: 52000 | #Constraints: 53952 32.79/33.00 c #Conflicts: 53000 | #Constraints: 54952 32.79/33.00 c #Conflicts: 54000 | #Constraints: 55952 32.79/33.00 c #Conflicts: 55000 | #Constraints: 56952 32.79/33.00 c #Conflicts: 56000 | #Constraints: 57952 32.79/33.00 c #Conflicts: 57000 | #Constraints: 58952 32.79/33.00 c bounds -31 >= -118 @ 26.6279 32.79/33.00 c #Conflicts: 58000 | #Constraints: 59982 32.79/33.00 c #Conflicts: 59000 | #Constraints: 60982 32.79/33.00 c #Conflicts: 60000 | #Constraints: 61982 32.79/33.00 c #Conflicts: 61000 | #Constraints: 62982 32.79/33.00 c #Conflicts: 62000 | #Constraints: 63982 32.79/33.00 c #Conflicts: 63000 | #Constraints: 64982 32.79/33.00 c #Conflicts: 64000 | #Constraints: 65982 32.79/33.00 c #Conflicts: 65000 | #Constraints: 66982 32.79/33.00 c INPROCESSING 32.79/33.00 c GARBAGE COLLECT 32.79/33.00 c rational objective -118 38.17/38.39 c #Conflicts: 66000 | #Constraints: 56103 38.17/38.39 c #Conflicts: 67000 | #Constraints: 57103 38.17/38.39 c #Conflicts: 68000 | #Constraints: 58103 38.17/38.39 c #Conflicts: 69000 | #Constraints: 59103 38.17/38.39 c #Conflicts: 70000 | #Constraints: 60103 38.17/38.39 c #Conflicts: 71000 | #Constraints: 61103 38.17/38.39 c bounds -31 >= -117 @ 35.6419 38.17/38.39 c #Conflicts: 72000 | #Constraints: 62118 38.17/38.39 c #Conflicts: 73000 | #Constraints: 63118 38.17/38.39 c #Conflicts: 74000 | #Constraints: 64118 38.17/38.39 c INPROCESSING 38.17/38.39 c GARBAGE COLLECT 38.17/38.39 c rational objective -117 49.64/49.82 c #Conflicts: 75000 | #Constraints: 55053 49.64/49.82 c #Conflicts: 76000 | #Constraints: 56053 49.64/49.82 c #Conflicts: 77000 | #Constraints: 57053 49.64/49.82 c #Conflicts: 78000 | #Constraints: 58053 49.64/49.82 c #Conflicts: 79000 | #Constraints: 59053 49.64/49.82 c #Conflicts: 80000 | #Constraints: 60053 49.64/49.82 c #Conflicts: 81000 | #Constraints: 61053 49.64/49.82 c #Conflicts: 82000 | #Constraints: 62053 49.64/49.82 c #Conflicts: 83000 | #Constraints: 63053 49.64/49.82 c #Conflicts: 84000 | #Constraints: 64053 49.64/49.82 c #Conflicts: 85000 | #Constraints: 65053 49.64/49.82 c #Conflicts: 86000 | #Constraints: 66053 49.64/49.82 c #Conflicts: 87000 | #Constraints: 67053 49.64/49.82 c #Conflicts: 88000 | #Constraints: 68053 49.64/49.82 c bounds -31 >= -116 @ 45.9097 49.64/49.82 c #Conflicts: 89000 | #Constraints: 69083 49.64/49.82 c #Conflicts: 90000 | #Constraints: 70083 49.64/49.82 c #Conflicts: 91000 | #Constraints: 71083 49.64/49.82 c #Conflicts: 92000 | #Constraints: 72083 49.64/49.82 c INPROCESSING 49.64/49.82 c GARBAGE COLLECT 49.64/49.82 c rational objective -116 56.02/56.28 c #Conflicts: 93000 | #Constraints: 58823 56.02/56.28 c #Conflicts: 94000 | #Constraints: 59823 56.02/56.28 c #Conflicts: 95000 | #Constraints: 60823 56.02/56.28 c #Conflicts: 96000 | #Constraints: 61823 56.02/56.28 c #Conflicts: 97000 | #Constraints: 62823 56.02/56.28 c #Conflicts: 98000 | #Constraints: 63823 56.02/56.28 c #Conflicts: 99000 | #Constraints: 64823 56.02/56.28 c #Conflicts: 100000 | #Constraints: 65823 56.02/56.28 c #Conflicts: 101000 | #Constraints: 66823 56.02/56.28 c #Conflicts: 102000 | #Constraints: 67823 56.02/56.28 c INPROCESSING 56.02/56.28 c GARBAGE COLLECT 56.02/56.28 c rational objective -116 71.98/72.20 c #Conflicts: 103000 | #Constraints: 57343 71.98/72.20 c #Conflicts: 104000 | #Constraints: 58377 71.98/72.20 c #Conflicts: 105000 | #Constraints: 59434 71.98/72.20 c bounds -32 >= -116 @ 56.8457 71.98/72.20 c #Conflicts: 106000 | #Constraints: 60466 71.98/72.20 c #Conflicts: 107000 | #Constraints: 61466 71.98/72.20 c #Conflicts: 108000 | #Constraints: 62466 71.98/72.20 c #Conflicts: 109000 | #Constraints: 63466 71.98/72.20 c #Conflicts: 110000 | #Constraints: 64466 71.98/72.20 c #Conflicts: 111000 | #Constraints: 65466 71.98/72.20 c #Conflicts: 112000 | #Constraints: 66466 71.98/72.20 c #Conflicts: 113000 | #Constraints: 67466 71.98/72.20 c #Conflicts: 114000 | #Constraints: 68466 71.98/72.20 c #Conflicts: 115000 | #Constraints: 69466 71.98/72.20 c #Conflicts: 116000 | #Constraints: 70466 71.98/72.20 c bounds -32 >= -115 @ 65.2948 71.98/72.20 c #Conflicts: 117000 | #Constraints: 71497 71.98/72.20 c #Conflicts: 118000 | #Constraints: 72520 71.98/72.20 c #Conflicts: 119000 | #Constraints: 73556 71.98/72.20 c #Conflicts: 120000 | #Constraints: 74594 71.98/72.20 c #Conflicts: 121000 | #Constraints: 75627 71.98/72.20 c #Conflicts: 122000 | #Constraints: 76670 71.98/72.20 c #Conflicts: 123000 | #Constraints: 77712 71.98/72.20 c INPROCESSING 71.98/72.20 c GARBAGE COLLECT 71.98/72.20 c rational objective -115 79.77/80.10 c #Conflicts: 124000 | #Constraints: 61497 79.77/80.10 c #Conflicts: 125000 | #Constraints: 62497 79.77/80.10 c #Conflicts: 126000 | #Constraints: 63497 79.77/80.10 c #Conflicts: 127000 | #Constraints: 64497 79.77/80.10 c #Conflicts: 128000 | #Constraints: 65497 79.77/80.10 c #Conflicts: 129000 | #Constraints: 66497 79.77/80.10 c #Conflicts: 130000 | #Constraints: 67497 79.77/80.10 c #Conflicts: 131000 | #Constraints: 68497 79.77/80.10 c #Conflicts: 132000 | #Constraints: 69497 79.77/80.10 c #Conflicts: 133000 | #Constraints: 70497 79.77/80.10 c #Conflicts: 134000 | #Constraints: 71497 79.77/80.10 c INPROCESSING 79.77/80.10 c GARBAGE COLLECT 79.77/80.10 c rational objective -115 98.10/98.47 c #Conflicts: 135000 | #Constraints: 58749 98.10/98.47 c #Conflicts: 136000 | #Constraints: 59749 98.10/98.47 c #Conflicts: 137000 | #Constraints: 60749 98.10/98.47 c #Conflicts: 138000 | #Constraints: 61749 98.10/98.47 c #Conflicts: 139000 | #Constraints: 62749 98.10/98.47 c #Conflicts: 140000 | #Constraints: 63749 98.10/98.47 c #Conflicts: 141000 | #Constraints: 64749 98.10/98.47 c #Conflicts: 142000 | #Constraints: 65749 98.10/98.47 c #Conflicts: 143000 | #Constraints: 66749 98.10/98.47 c #Conflicts: 144000 | #Constraints: 67749 98.10/98.47 c #Conflicts: 145000 | #Constraints: 68749 98.10/98.47 c #Conflicts: 146000 | #Constraints: 69749 98.10/98.47 c #Conflicts: 147000 | #Constraints: 70749 98.10/98.47 c #Conflicts: 148000 | #Constraints: 71749 98.10/98.47 c #Conflicts: 149000 | #Constraints: 72749 98.10/98.47 c #Conflicts: 150000 | #Constraints: 73749 98.10/98.47 c #Conflicts: 151000 | #Constraints: 74749 98.10/98.47 c #Conflicts: 152000 | #Constraints: 75749 98.10/98.47 c bounds -32 >= -114 @ 91.654 98.10/98.47 c #Conflicts: 153000 | #Constraints: 76801 98.10/98.47 c #Conflicts: 154000 | #Constraints: 77836 98.10/98.47 c #Conflicts: 155000 | #Constraints: 78869 98.10/98.47 c #Conflicts: 156000 | #Constraints: 79903 98.10/98.47 c #Conflicts: 157000 | #Constraints: 80953 98.10/98.47 c #Conflicts: 158000 | #Constraints: 82011 98.10/98.47 c #Conflicts: 159000 | #Constraints: 83059 98.10/98.47 c INPROCESSING 98.10/98.47 c GARBAGE COLLECT 98.10/98.47 c rational objective -114 107.28/107.66 c #Conflicts: 160000 | #Constraints: 64495 107.28/107.66 c #Conflicts: 161000 | #Constraints: 65533 107.28/107.66 c #Conflicts: 162000 | #Constraints: 66574 107.28/107.66 c #Conflicts: 163000 | #Constraints: 67605 107.28/107.66 c #Conflicts: 164000 | #Constraints: 68636 107.28/107.66 c #Conflicts: 165000 | #Constraints: 69663 107.28/107.66 c #Conflicts: 166000 | #Constraints: 70685 107.28/107.66 c #Conflicts: 167000 | #Constraints: 71726 107.28/107.66 c #Conflicts: 168000 | #Constraints: 72774 107.28/107.66 c #Conflicts: 169000 | #Constraints: 73830 107.28/107.66 c #Conflicts: 170000 | #Constraints: 74887 107.28/107.66 c #Conflicts: 171000 | #Constraints: 75953 107.28/107.66 c INPROCESSING 107.28/107.66 c GARBAGE COLLECT 107.28/107.66 c rational objective -114 132.11/132.59 c #Conflicts: 172000 | #Constraints: 60822 132.11/132.59 c #Conflicts: 173000 | #Constraints: 61822 132.11/132.59 c #Conflicts: 174000 | #Constraints: 62822 132.11/132.59 c #Conflicts: 175000 | #Constraints: 63822 132.11/132.59 c #Conflicts: 176000 | #Constraints: 64822 132.11/132.59 c #Conflicts: 177000 | #Constraints: 65822 132.11/132.59 c #Conflicts: 178000 | #Constraints: 66822 132.11/132.59 c #Conflicts: 179000 | #Constraints: 67822 132.11/132.59 c #Conflicts: 180000 | #Constraints: 68822 132.11/132.59 c #Conflicts: 181000 | #Constraints: 69822 132.11/132.59 c #Conflicts: 182000 | #Constraints: 70822 132.11/132.59 c #Conflicts: 183000 | #Constraints: 71822 132.11/132.59 c #Conflicts: 184000 | #Constraints: 72822 132.11/132.59 c #Conflicts: 185000 | #Constraints: 73822 132.11/132.59 c #Conflicts: 186000 | #Constraints: 74822 132.11/132.59 c #Conflicts: 187000 | #Constraints: 75822 132.11/132.59 c #Conflicts: 188000 | #Constraints: 76822 132.11/132.59 c #Conflicts: 189000 | #Constraints: 77822 132.11/132.59 c #Conflicts: 190000 | #Constraints: 78822 132.11/132.59 c #Conflicts: 191000 | #Constraints: 79822 132.11/132.59 c #Conflicts: 192000 | #Constraints: 80822 132.11/132.59 c bounds -32 >= -113 @ 123.59 132.11/132.59 c #Conflicts: 193000 | #Constraints: 81858 132.11/132.59 c #Conflicts: 194000 | #Constraints: 82858 132.11/132.59 c #Conflicts: 195000 | #Constraints: 83858 132.11/132.59 c #Conflicts: 196000 | #Constraints: 84858 132.11/132.59 c #Conflicts: 197000 | #Constraints: 85858 132.11/132.59 c #Conflicts: 198000 | #Constraints: 86858 132.11/132.59 c INPROCESSING 132.11/132.59 c GARBAGE COLLECT 132.11/132.59 c rational objective -113 141.18/141.64 c bounds -33 >= -113 @ 129.943 141.18/141.64 c #Conflicts: 199000 | #Constraints: 65958 141.18/141.64 c #Conflicts: 200000 | #Constraints: 66984 141.18/141.64 c #Conflicts: 201000 | #Constraints: 68017 141.18/141.64 c #Conflicts: 202000 | #Constraints: 69052 141.18/141.64 c #Conflicts: 203000 | #Constraints: 70086 141.18/141.64 c #Conflicts: 204000 | #Constraints: 71118 141.18/141.64 c #Conflicts: 205000 | #Constraints: 72148 141.18/141.64 c #Conflicts: 206000 | #Constraints: 73174 141.18/141.64 c #Conflicts: 207000 | #Constraints: 74187 141.18/141.64 c #Conflicts: 208000 | #Constraints: 75198 141.18/141.64 c #Conflicts: 209000 | #Constraints: 76223 141.18/141.64 c #Conflicts: 210000 | #Constraints: 77247 141.18/141.64 c #Conflicts: 211000 | #Constraints: 78268 141.18/141.64 c #Conflicts: 212000 | #Constraints: 79290 141.18/141.64 c INPROCESSING 141.18/141.64 c GARBAGE COLLECT 141.18/141.64 c rational objective -113 167.02/167.53 c #Conflicts: 213000 | #Constraints: 62383 167.02/167.53 c #Conflicts: 214000 | #Constraints: 63383 167.02/167.53 c #Conflicts: 215000 | #Constraints: 64383 167.02/167.53 c #Conflicts: 216000 | #Constraints: 65383 167.02/167.53 c #Conflicts: 217000 | #Constraints: 66383 167.02/167.53 c #Conflicts: 218000 | #Constraints: 67383 167.02/167.53 c #Conflicts: 219000 | #Constraints: 68383 167.02/167.53 c #Conflicts: 220000 | #Constraints: 69383 167.02/167.53 c #Conflicts: 221000 | #Constraints: 70383 167.02/167.53 c #Conflicts: 222000 | #Constraints: 71383 167.02/167.53 c #Conflicts: 223000 | #Constraints: 72383 167.02/167.53 c #Conflicts: 224000 | #Constraints: 73383 167.02/167.53 c #Conflicts: 225000 | #Constraints: 74383 167.02/167.53 c #Conflicts: 226000 | #Constraints: 75383 167.02/167.53 c #Conflicts: 227000 | #Constraints: 76383 167.02/167.53 c #Conflicts: 228000 | #Constraints: 77383 167.02/167.53 c #Conflicts: 229000 | #Constraints: 78383 167.02/167.53 c #Conflicts: 230000 | #Constraints: 79383 167.02/167.53 c #Conflicts: 231000 | #Constraints: 80383 167.02/167.53 c #Conflicts: 232000 | #Constraints: 81383 167.02/167.53 c #Conflicts: 233000 | #Constraints: 82383 167.02/167.53 c #Conflicts: 234000 | #Constraints: 83383 167.02/167.53 c #Conflicts: 235000 | #Constraints: 84383 167.02/167.53 c #Conflicts: 236000 | #Constraints: 85383 167.02/167.53 c #Conflicts: 237000 | #Constraints: 86383 167.02/167.53 c bounds -33 >= -112 @ 158.52 167.02/167.53 c #Conflicts: 238000 | #Constraints: 87401 167.02/167.53 c #Conflicts: 239000 | #Constraints: 88401 167.02/167.53 c #Conflicts: 240000 | #Constraints: 89401 167.02/167.53 c #Conflicts: 241000 | #Constraints: 90401 167.02/167.53 c #Conflicts: 242000 | #Constraints: 91401 167.02/167.53 c #Conflicts: 243000 | #Constraints: 92401 167.02/167.53 c INPROCESSING 167.02/167.53 c GARBAGE COLLECT 167.02/167.53 c rational objective -112 182.27/182.80 c #Conflicts: 244000 | #Constraints: 68873 182.27/182.80 c #Conflicts: 245000 | #Constraints: 69908 182.27/182.80 c #Conflicts: 246000 | #Constraints: 70943 182.27/182.80 c #Conflicts: 247000 | #Constraints: 71976 182.27/182.80 c #Conflicts: 248000 | #Constraints: 73014 182.27/182.80 c #Conflicts: 249000 | #Constraints: 74044 182.27/182.80 c #Conflicts: 250000 | #Constraints: 75073 182.27/182.80 c #Conflicts: 251000 | #Constraints: 76127 182.27/182.80 c #Conflicts: 252000 | #Constraints: 77159 182.27/182.80 c #Conflicts: 253000 | #Constraints: 78198 182.27/182.80 c #Conflicts: 254000 | #Constraints: 79233 182.27/182.80 c #Conflicts: 255000 | #Constraints: 80280 182.27/182.80 c #Conflicts: 256000 | #Constraints: 81323 182.27/182.80 c #Conflicts: 257000 | #Constraints: 82364 182.27/182.80 c #Conflicts: 258000 | #Constraints: 83406 182.27/182.80 c INPROCESSING 182.27/182.80 c GARBAGE COLLECT 182.27/182.80 c rational objective -112 215.49/216.12 c #Conflicts: 259000 | #Constraints: 64653 215.49/216.12 c #Conflicts: 260000 | #Constraints: 65653 215.49/216.12 c #Conflicts: 261000 | #Constraints: 66653 215.49/216.12 c #Conflicts: 262000 | #Constraints: 67653 215.49/216.12 c #Conflicts: 263000 | #Constraints: 68653 215.49/216.12 c #Conflicts: 264000 | #Constraints: 69653 215.49/216.12 c #Conflicts: 265000 | #Constraints: 70653 215.49/216.12 c #Conflicts: 266000 | #Constraints: 71653 215.49/216.12 c #Conflicts: 267000 | #Constraints: 72653 215.49/216.12 c #Conflicts: 268000 | #Constraints: 73653 215.49/216.12 c #Conflicts: 269000 | #Constraints: 74653 215.49/216.12 c #Conflicts: 270000 | #Constraints: 75653 215.49/216.12 c #Conflicts: 271000 | #Constraints: 76653 215.49/216.12 c #Conflicts: 272000 | #Constraints: 77653 215.49/216.12 c #Conflicts: 273000 | #Constraints: 78653 215.49/216.12 c #Conflicts: 274000 | #Constraints: 79653 215.49/216.12 c #Conflicts: 275000 | #Constraints: 80653 215.49/216.12 c #Conflicts: 276000 | #Constraints: 81653 215.49/216.12 c #Conflicts: 277000 | #Constraints: 82653 215.49/216.12 c #Conflicts: 278000 | #Constraints: 83653 215.49/216.12 c #Conflicts: 279000 | #Constraints: 84653 215.49/216.12 c #Conflicts: 280000 | #Constraints: 85653 215.49/216.12 c #Conflicts: 281000 | #Constraints: 86653 215.49/216.12 c #Conflicts: 282000 | #Constraints: 87653 215.49/216.12 c #Conflicts: 283000 | #Constraints: 88653 215.49/216.12 c #Conflicts: 284000 | #Constraints: 89653 215.49/216.12 c #Conflicts: 285000 | #Constraints: 90653 215.49/216.12 c #Conflicts: 286000 | #Constraints: 91653 215.49/216.12 c #Conflicts: 287000 | #Constraints: 92653 215.49/216.12 c #Conflicts: 288000 | #Constraints: 93653 215.49/216.12 c #Conflicts: 289000 | #Constraints: 94653 215.49/216.12 c #Conflicts: 290000 | #Constraints: 95653 215.49/216.12 c #Conflicts: 291000 | #Constraints: 96653 215.49/216.12 c INPROCESSING 215.49/216.12 c GARBAGE COLLECT 215.49/216.12 c rational objective -112 236.62/237.32 c #Conflicts: 292000 | #Constraints: 70965 236.62/237.32 c #Conflicts: 293000 | #Constraints: 71988 236.62/237.32 c #Conflicts: 294000 | #Constraints: 73020 236.62/237.32 c #Conflicts: 295000 | #Constraints: 74054 236.62/237.32 c #Conflicts: 296000 | #Constraints: 75098 236.62/237.32 c #Conflicts: 297000 | #Constraints: 76143 236.62/237.32 c #Conflicts: 298000 | #Constraints: 77183 236.62/237.32 c #Conflicts: 299000 | #Constraints: 78221 236.62/237.32 c #Conflicts: 300000 | #Constraints: 79259 236.62/237.32 c #Conflicts: 301000 | #Constraints: 80302 236.62/237.32 c #Conflicts: 302000 | #Constraints: 81335 236.62/237.32 c #Conflicts: 303000 | #Constraints: 82377 236.62/237.32 c #Conflicts: 304000 | #Constraints: 83410 236.62/237.32 c #Conflicts: 305000 | #Constraints: 84447 236.62/237.32 c #Conflicts: 306000 | #Constraints: 85493 236.62/237.32 c #Conflicts: 307000 | #Constraints: 86530 236.62/237.32 c #Conflicts: 308000 | #Constraints: 87563 236.62/237.32 c INPROCESSING 236.62/237.32 c GARBAGE COLLECT 236.62/237.32 c rational objective -112 275.71/276.57 c #Conflicts: 309000 | #Constraints: 66725 275.71/276.57 c #Conflicts: 310000 | #Constraints: 67725 275.71/276.57 c #Conflicts: 311000 | #Constraints: 68725 275.71/276.57 c #Conflicts: 312000 | #Constraints: 69725 275.71/276.57 c #Conflicts: 313000 | #Constraints: 70725 275.71/276.57 c #Conflicts: 314000 | #Constraints: 71725 275.71/276.57 c #Conflicts: 315000 | #Constraints: 72725 275.71/276.57 c #Conflicts: 316000 | #Constraints: 73725 275.71/276.57 c #Conflicts: 317000 | #Constraints: 74725 275.71/276.57 c #Conflicts: 318000 | #Constraints: 75725 275.71/276.57 c #Conflicts: 319000 | #Constraints: 76725 275.71/276.57 c #Conflicts: 320000 | #Constraints: 77725 275.71/276.57 c #Conflicts: 321000 | #Constraints: 78725 275.71/276.57 c #Conflicts: 322000 | #Constraints: 79725 275.71/276.57 c #Conflicts: 323000 | #Constraints: 80725 275.71/276.57 c #Conflicts: 324000 | #Constraints: 81725 275.71/276.57 c #Conflicts: 325000 | #Constraints: 82725 275.71/276.57 c #Conflicts: 326000 | #Constraints: 83725 275.71/276.57 c #Conflicts: 327000 | #Constraints: 84725 275.71/276.57 c #Conflicts: 328000 | #Constraints: 85725 275.71/276.57 c #Conflicts: 329000 | #Constraints: 86725 275.71/276.57 c #Conflicts: 330000 | #Constraints: 87725 275.71/276.57 c #Conflicts: 331000 | #Constraints: 88725 275.71/276.57 c #Conflicts: 332000 | #Constraints: 89725 275.71/276.57 c #Conflicts: 333000 | #Constraints: 90725 275.71/276.57 c #Conflicts: 334000 | #Constraints: 91725 275.71/276.57 c bounds -33 >= -111 @ 259.287 275.71/276.57 c #Conflicts: 335000 | #Constraints: 92746 275.71/276.57 c #Conflicts: 336000 | #Constraints: 93746 275.71/276.57 c #Conflicts: 337000 | #Constraints: 94746 275.71/276.57 c #Conflicts: 338000 | #Constraints: 95746 275.71/276.57 c #Conflicts: 339000 | #Constraints: 96746 275.71/276.57 c #Conflicts: 340000 | #Constraints: 97746 275.71/276.57 c #Conflicts: 341000 | #Constraints: 98746 275.71/276.57 c #Conflicts: 342000 | #Constraints: 99746 275.71/276.57 c #Conflicts: 343000 | #Constraints: 100746 275.71/276.57 c #Conflicts: 344000 | #Constraints: 101746 275.71/276.57 c #Conflicts: 345000 | #Constraints: 102746 275.71/276.57 c INPROCESSING 275.71/276.57 c GARBAGE COLLECT 275.71/276.57 c rational objective -111 292.36/293.20 c #Conflicts: 346000 | #Constraints: 74439 292.36/293.20 c #Conflicts: 347000 | #Constraints: 75439 292.36/293.20 c #Conflicts: 348000 | #Constraints: 76439 292.36/293.20 c #Conflicts: 349000 | #Constraints: 77439 292.36/293.20 c #Conflicts: 350000 | #Constraints: 78439 292.36/293.20 c #Conflicts: 351000 | #Constraints: 79439 292.36/293.20 c #Conflicts: 352000 | #Constraints: 80439 292.36/293.20 c #Conflicts: 353000 | #Constraints: 81439 292.36/293.20 c #Conflicts: 354000 | #Constraints: 82439 292.36/293.20 c #Conflicts: 355000 | #Constraints: 83439 292.36/293.20 c #Conflicts: 356000 | #Constraints: 84439 292.36/293.20 c #Conflicts: 357000 | #Constraints: 85439 292.36/293.20 c #Conflicts: 358000 | #Constraints: 86439 292.36/293.20 c #Conflicts: 359000 | #Constraints: 87439 292.36/293.20 c #Conflicts: 360000 | #Constraints: 88439 292.36/293.20 c #Conflicts: 361000 | #Constraints: 89439 292.36/293.20 c #Conflicts: 362000 | #Constraints: 90439 292.36/293.20 c INPROCESSING 292.36/293.20 c GARBAGE COLLECT 292.36/293.20 c rational objective -111 332.55/333.59 c #Conflicts: 363000 | #Constraints: 68109 332.55/333.59 c #Conflicts: 364000 | #Constraints: 69109 332.55/333.59 c #Conflicts: 365000 | #Constraints: 70109 332.55/333.59 c #Conflicts: 366000 | #Constraints: 71109 332.55/333.59 c #Conflicts: 367000 | #Constraints: 72109 332.55/333.59 c #Conflicts: 368000 | #Constraints: 73109 332.55/333.59 c #Conflicts: 369000 | #Constraints: 74109 332.55/333.59 c #Conflicts: 370000 | #Constraints: 75109 332.55/333.59 c #Conflicts: 371000 | #Constraints: 76109 332.55/333.59 c #Conflicts: 372000 | #Constraints: 77109 332.55/333.59 c #Conflicts: 373000 | #Constraints: 78109 332.55/333.59 c #Conflicts: 374000 | #Constraints: 79109 332.55/333.59 c #Conflicts: 375000 | #Constraints: 80109 332.55/333.59 c #Conflicts: 376000 | #Constraints: 81109 332.55/333.59 c #Conflicts: 377000 | #Constraints: 82109 332.55/333.59 c #Conflicts: 378000 | #Constraints: 83109 332.55/333.59 c #Conflicts: 379000 | #Constraints: 84109 332.55/333.59 c #Conflicts: 380000 | #Constraints: 85109 332.55/333.59 c #Conflicts: 381000 | #Constraints: 86109 332.55/333.59 c #Conflicts: 382000 | #Constraints: 87109 332.55/333.59 c #Conflicts: 383000 | #Constraints: 88109 332.55/333.59 c #Conflicts: 384000 | #Constraints: 89109 332.55/333.59 c #Conflicts: 385000 | #Constraints: 90109 332.55/333.59 c #Conflicts: 386000 | #Constraints: 91109 332.55/333.59 c #Conflicts: 387000 | #Constraints: 92109 332.55/333.59 c #Conflicts: 388000 | #Constraints: 93109 332.55/333.59 c #Conflicts: 389000 | #Constraints: 94109 332.55/333.59 c #Conflicts: 390000 | #Constraints: 95109 332.55/333.59 c #Conflicts: 391000 | #Constraints: 96109 332.55/333.59 c #Conflicts: 392000 | #Constraints: 97109 332.55/333.59 c #Conflicts: 393000 | #Constraints: 98109 332.55/333.59 c #Conflicts: 394000 | #Constraints: 99109 332.55/333.59 c #Conflicts: 395000 | #Constraints: 100109 332.55/333.59 c #Conflicts: 396000 | #Constraints: 101109 332.55/333.59 c bounds -33 >= -110 @ 323.798 332.55/333.59 c #Conflicts: 397000 | #Constraints: 102136 332.55/333.59 c #Conflicts: 398000 | #Constraints: 103136 332.55/333.59 c #Conflicts: 399000 | #Constraints: 104170 332.55/333.59 c #Conflicts: 400000 | #Constraints: 105196 332.55/333.59 c #Conflicts: 401000 | #Constraints: 106231 332.55/333.59 c #Conflicts: 402000 | #Constraints: 107252 332.55/333.59 c INPROCESSING 332.55/333.59 c GARBAGE COLLECT 332.55/333.59 c rational objective -110 355.88/356.91 c #Conflicts: 403000 | #Constraints: 76354 355.88/356.91 c #Conflicts: 404000 | #Constraints: 77402 355.88/356.91 c #Conflicts: 405000 | #Constraints: 78449 355.88/356.91 c #Conflicts: 406000 | #Constraints: 79491 355.88/356.91 c #Conflicts: 407000 | #Constraints: 80526 355.88/356.91 c #Conflicts: 408000 | #Constraints: 81569 355.88/356.91 c #Conflicts: 409000 | #Constraints: 82607 355.88/356.91 c #Conflicts: 410000 | #Constraints: 83637 355.88/356.91 c #Conflicts: 411000 | #Constraints: 84676 355.88/356.91 c #Conflicts: 412000 | #Constraints: 85709 355.88/356.91 c #Conflicts: 413000 | #Constraints: 86754 355.88/356.91 c #Conflicts: 414000 | #Constraints: 87783 355.88/356.91 c #Conflicts: 415000 | #Constraints: 88810 355.88/356.91 c #Conflicts: 416000 | #Constraints: 89844 355.88/356.91 c #Conflicts: 417000 | #Constraints: 90872 355.88/356.91 c #Conflicts: 418000 | #Constraints: 91903 355.88/356.91 c #Conflicts: 419000 | #Constraints: 92930 355.88/356.91 c #Conflicts: 420000 | #Constraints: 93955 355.88/356.91 c #Conflicts: 421000 | #Constraints: 94984 355.88/356.91 c INPROCESSING 355.88/356.91 c GARBAGE COLLECT 355.88/356.91 c rational objective -110 406.85/408.10 c #Conflicts: 422000 | #Constraints: 70378 406.85/408.10 c #Conflicts: 423000 | #Constraints: 71378 406.85/408.10 c #Conflicts: 424000 | #Constraints: 72378 406.85/408.10 c #Conflicts: 425000 | #Constraints: 73378 406.85/408.10 c #Conflicts: 426000 | #Constraints: 74378 406.85/408.10 c #Conflicts: 427000 | #Constraints: 75378 406.85/408.10 c #Conflicts: 428000 | #Constraints: 76378 406.85/408.10 c #Conflicts: 429000 | #Constraints: 77378 406.85/408.10 c #Conflicts: 430000 | #Constraints: 78378 406.85/408.10 c #Conflicts: 431000 | #Constraints: 79378 406.85/408.10 c #Conflicts: 432000 | #Constraints: 80378 406.85/408.10 c #Conflicts: 433000 | #Constraints: 81378 406.85/408.10 c #Conflicts: 434000 | #Constraints: 82378 406.85/408.10 c #Conflicts: 435000 | #Constraints: 83378 406.85/408.10 c #Conflicts: 436000 | #Constraints: 84378 406.85/408.10 c #Conflicts: 437000 | #Constraints: 85378 406.85/408.10 c #Conflicts: 438000 | #Constraints: 86378 406.85/408.10 c #Conflicts: 439000 | #Constraints: 87378 406.85/408.10 c #Conflicts: 440000 | #Constraints: 88378 406.85/408.10 c #Conflicts: 441000 | #Constraints: 89378 406.85/408.10 c #Conflicts: 442000 | #Constraints: 90378 406.85/408.10 c #Conflicts: 443000 | #Constraints: 91378 406.85/408.10 c #Conflicts: 444000 | #Constraints: 92378 406.85/408.10 c #Conflicts: 445000 | #Constraints: 93378 406.85/408.10 c #Conflicts: 446000 | #Constraints: 94378 406.85/408.10 c #Conflicts: 447000 | #Constraints: 95378 406.85/408.10 c #Conflicts: 448000 | #Constraints: 96378 406.85/408.10 c #Conflicts: 449000 | #Constraints: 97378 406.85/408.10 c #Conflicts: 450000 | #Constraints: 98378 406.85/408.10 c #Conflicts: 451000 | #Constraints: 99378 406.85/408.10 c #Conflicts: 452000 | #Constraints: 100378 406.85/408.10 c #Conflicts: 453000 | #Constraints: 101378 406.85/408.10 c #Conflicts: 454000 | #Constraints: 102378 406.85/408.10 c #Conflicts: 455000 | #Constraints: 103378 406.85/408.10 c #Conflicts: 456000 | #Constraints: 104378 406.85/408.10 c #Conflicts: 457000 | #Constraints: 105378 406.85/408.10 c bounds -33 >= -109 @ 392.579 406.85/408.10 c #Conflicts: 458000 | #Constraints: 106402 406.85/408.10 c #Conflicts: 459000 | #Constraints: 107402 406.85/408.10 c #Conflicts: 460000 | #Constraints: 108402 406.85/408.10 c #Conflicts: 461000 | #Constraints: 109402 406.85/408.10 c #Conflicts: 462000 | #Constraints: 110402 406.85/408.10 c #Conflicts: 463000 | #Constraints: 111402 406.85/408.10 c #Conflicts: 464000 | #Constraints: 112402 406.85/408.10 c INPROCESSING 406.85/408.10 c GARBAGE COLLECT 406.85/408.10 c rational objective -109 443.54/444.80 c #Conflicts: 465000 | #Constraints: 79107 443.54/444.80 c #Conflicts: 466000 | #Constraints: 80155 443.54/444.80 c #Conflicts: 467000 | #Constraints: 81199 443.54/444.80 c #Conflicts: 468000 | #Constraints: 82238 443.54/444.80 c #Conflicts: 469000 | #Constraints: 83282 443.54/444.80 c #Conflicts: 470000 | #Constraints: 84327 443.54/444.80 c #Conflicts: 471000 | #Constraints: 85364 443.54/444.80 c #Conflicts: 472000 | #Constraints: 86395 443.54/444.80 c #Conflicts: 473000 | #Constraints: 87426 443.54/444.80 c #Conflicts: 474000 | #Constraints: 88469 443.54/444.80 c #Conflicts: 475000 | #Constraints: 89515 443.54/444.80 c #Conflicts: 476000 | #Constraints: 90558 443.54/444.80 c #Conflicts: 477000 | #Constraints: 91599 443.54/444.80 c #Conflicts: 478000 | #Constraints: 92631 443.54/444.80 c #Conflicts: 479000 | #Constraints: 93661 443.54/444.80 c #Conflicts: 480000 | #Constraints: 94699 443.54/444.80 c #Conflicts: 481000 | #Constraints: 95735 443.54/444.80 c #Conflicts: 482000 | #Constraints: 96767 443.54/444.80 c #Conflicts: 483000 | #Constraints: 97806 443.54/444.80 c #Conflicts: 484000 | #Constraints: 98846 443.54/444.80 c INPROCESSING 443.54/444.80 c GARBAGE COLLECT 443.54/444.80 c rational objective -109 498.88/500.34 c #Conflicts: 485000 | #Constraints: 72225 498.88/500.34 c #Conflicts: 486000 | #Constraints: 73225 498.88/500.34 c #Conflicts: 487000 | #Constraints: 74225 498.88/500.34 c #Conflicts: 488000 | #Constraints: 75225 498.88/500.34 c #Conflicts: 489000 | #Constraints: 76225 498.88/500.34 c #Conflicts: 490000 | #Constraints: 77225 498.88/500.34 c #Conflicts: 491000 | #Constraints: 78225 498.88/500.34 c #Conflicts: 492000 | #Constraints: 79225 498.88/500.34 c #Conflicts: 493000 | #Constraints: 80225 498.88/500.34 c #Conflicts: 494000 | #Constraints: 81225 498.88/500.34 c #Conflicts: 495000 | #Constraints: 82225 498.88/500.34 c #Conflicts: 496000 | #Constraints: 83225 498.88/500.34 c #Conflicts: 497000 | #Constraints: 84225 498.88/500.34 c #Conflicts: 498000 | #Constraints: 85225 498.88/500.34 c #Conflicts: 499000 | #Constraints: 86225 498.88/500.34 c #Conflicts: 500000 | #Constraints: 87225 498.88/500.34 c #Conflicts: 501000 | #Constraints: 88225 498.88/500.34 c #Conflicts: 502000 | #Constraints: 89225 498.88/500.34 c #Conflicts: 503000 | #Constraints: 90225 498.88/500.34 c #Conflicts: 504000 | #Constraints: 91225 498.88/500.34 c #Conflicts: 505000 | #Constraints: 92225 498.88/500.34 c #Conflicts: 506000 | #Constraints: 93225 498.88/500.34 c #Conflicts: 507000 | #Constraints: 94225 498.88/500.34 c #Conflicts: 508000 | #Constraints: 95225 498.88/500.34 c #Conflicts: 509000 | #Constraints: 96225 498.88/500.34 c #Conflicts: 510000 | #Constraints: 97225 498.88/500.34 c #Conflicts: 511000 | #Constraints: 98225 498.88/500.34 c #Conflicts: 512000 | #Constraints: 99225 498.88/500.34 c #Conflicts: 513000 | #Constraints: 100225 498.88/500.34 c #Conflicts: 514000 | #Constraints: 101225 498.88/500.34 c #Conflicts: 515000 | #Constraints: 102225 498.88/500.34 c #Conflicts: 516000 | #Constraints: 103225 498.88/500.34 c #Conflicts: 517000 | #Constraints: 104225 498.88/500.34 c #Conflicts: 518000 | #Constraints: 105225 498.88/500.34 c #Conflicts: 519000 | #Constraints: 106225 498.88/500.34 c #Conflicts: 520000 | #Constraints: 107225 498.88/500.34 c #Conflicts: 521000 | #Constraints: 108225 498.88/500.34 c #Conflicts: 522000 | #Constraints: 109225 498.88/500.34 c #Conflicts: 523000 | #Constraints: 110225 498.88/500.34 c #Conflicts: 524000 | #Constraints: 111225 498.88/500.34 c #Conflicts: 525000 | #Constraints: 112225 498.88/500.34 c #Conflicts: 526000 | #Constraints: 113225 498.88/500.34 c #Conflicts: 527000 | #Constraints: 114225 498.88/500.34 c #Conflicts: 528000 | #Constraints: 115225 498.88/500.34 c #Conflicts: 529000 | #Constraints: 116225 498.88/500.34 c #Conflicts: 530000 | #Constraints: 117225 498.88/500.34 c INPROCESSING 498.88/500.34 c GARBAGE COLLECT 498.88/500.34 c rational objective -109 519.73/521.28 c #Conflicts: 531000 | #Constraints: 80865 519.73/521.28 c #Conflicts: 532000 | #Constraints: 81865 519.73/521.28 c #Conflicts: 533000 | #Constraints: 82865 519.73/521.28 c #Conflicts: 534000 | #Constraints: 83865 519.73/521.28 c #Conflicts: 535000 | #Constraints: 84865 519.73/521.28 c #Conflicts: 536000 | #Constraints: 85865 519.73/521.28 c #Conflicts: 537000 | #Constraints: 86865 519.73/521.28 c #Conflicts: 538000 | #Constraints: 87865 519.73/521.28 c #Conflicts: 539000 | #Constraints: 88865 519.73/521.28 c #Conflicts: 540000 | #Constraints: 89865 519.73/521.28 c #Conflicts: 541000 | #Constraints: 90865 519.73/521.28 c #Conflicts: 542000 | #Constraints: 91865 519.73/521.28 c #Conflicts: 543000 | #Constraints: 92865 519.73/521.28 c #Conflicts: 544000 | #Constraints: 93865 519.73/521.28 c #Conflicts: 545000 | #Constraints: 94865 519.73/521.28 c #Conflicts: 546000 | #Constraints: 95865 519.73/521.28 c #Conflicts: 547000 | #Constraints: 96865 519.73/521.28 c #Conflicts: 548000 | #Constraints: 97865 519.73/521.28 c #Conflicts: 549000 | #Constraints: 98865 519.73/521.28 c #Conflicts: 550000 | #Constraints: 99865 519.73/521.28 c #Conflicts: 551000 | #Constraints: 100865 519.73/521.28 c #Conflicts: 552000 | #Constraints: 101865 519.73/521.28 c INPROCESSING 519.73/521.28 c GARBAGE COLLECT 519.73/521.28 c rational objective -109 575.76/577.45 c #Conflicts: 553000 | #Constraints: 74056 575.76/577.45 c #Conflicts: 554000 | #Constraints: 75056 575.76/577.45 c #Conflicts: 555000 | #Constraints: 76056 575.76/577.45 c #Conflicts: 556000 | #Constraints: 77056 575.76/577.45 c #Conflicts: 557000 | #Constraints: 78056 575.76/577.45 c #Conflicts: 558000 | #Constraints: 79056 575.76/577.45 c #Conflicts: 559000 | #Constraints: 80056 575.76/577.45 c #Conflicts: 560000 | #Constraints: 81056 575.76/577.45 c #Conflicts: 561000 | #Constraints: 82056 575.76/577.45 c #Conflicts: 562000 | #Constraints: 83056 575.76/577.45 c #Conflicts: 563000 | #Constraints: 84056 575.76/577.45 c #Conflicts: 564000 | #Constraints: 85056 575.76/577.45 c #Conflicts: 565000 | #Constraints: 86056 575.76/577.45 c #Conflicts: 566000 | #Constraints: 87056 575.76/577.45 c #Conflicts: 567000 | #Constraints: 88056 575.76/577.45 c #Conflicts: 568000 | #Constraints: 89056 575.76/577.45 c #Conflicts: 569000 | #Constraints: 90056 575.76/577.45 c #Conflicts: 570000 | #Constraints: 91056 575.76/577.45 c #Conflicts: 571000 | #Constraints: 92056 575.76/577.45 c #Conflicts: 572000 | #Constraints: 93056 575.76/577.45 c #Conflicts: 573000 | #Constraints: 94056 575.76/577.45 c #Conflicts: 574000 | #Constraints: 95056 575.76/577.45 c #Conflicts: 575000 | #Constraints: 96056 575.76/577.45 c #Conflicts: 576000 | #Constraints: 97056 575.76/577.45 c #Conflicts: 577000 | #Constraints: 98056 575.76/577.45 c #Conflicts: 578000 | #Constraints: 99056 575.76/577.45 c bounds -33 >= -108 @ 538.039 575.76/577.45 c #Conflicts: 579000 | #Constraints: 100080 575.76/577.45 c #Conflicts: 580000 | #Constraints: 101080 575.76/577.45 c #Conflicts: 581000 | #Constraints: 102080 575.76/577.45 c #Conflicts: 582000 | #Constraints: 103080 575.76/577.45 c #Conflicts: 583000 | #Constraints: 104080 575.76/577.45 c #Conflicts: 584000 | #Constraints: 105080 575.76/577.45 c #Conflicts: 585000 | #Constraints: 106080 575.76/577.45 c #Conflicts: 586000 | #Constraints: 107080 575.76/577.45 c #Conflicts: 587000 | #Constraints: 108080 575.76/577.45 c #Conflicts: 588000 | #Constraints: 109080 575.76/577.45 c #Conflicts: 589000 | #Constraints: 110080 575.76/577.45 c #Conflicts: 590000 | #Constraints: 111080 575.76/577.45 c #Conflicts: 591000 | #Constraints: 112080 575.76/577.45 c #Conflicts: 592000 | #Constraints: 113080 575.76/577.45 c #Conflicts: 593000 | #Constraints: 114080 575.76/577.45 c #Conflicts: 594000 | #Constraints: 115080 575.76/577.45 c #Conflicts: 595000 | #Constraints: 116080 575.76/577.45 c #Conflicts: 596000 | #Constraints: 117080 575.76/577.45 c #Conflicts: 597000 | #Constraints: 118080 575.76/577.45 c #Conflicts: 598000 | #Constraints: 119080 575.76/577.45 c #Conflicts: 599000 | #Constraints: 120080 575.76/577.45 c #Conflicts: 600000 | #Constraints: 121080 575.76/577.45 c #Conflicts: 601000 | #Constraints: 122080 575.76/577.45 c INPROCESSING 575.76/577.45 c GARBAGE COLLECT 575.76/577.45 c rational objective -108 616.84/618.61 c #Conflicts: 602000 | #Constraints: 83979 616.84/618.61 c #Conflicts: 603000 | #Constraints: 84999 616.84/618.61 c #Conflicts: 604000 | #Constraints: 86029 616.84/618.61 c #Conflicts: 605000 | #Constraints: 87059 616.84/618.61 c #Conflicts: 606000 | #Constraints: 88103 616.84/618.61 c #Conflicts: 607000 | #Constraints: 89152 616.84/618.61 c #Conflicts: 608000 | #Constraints: 90200 616.84/618.61 c #Conflicts: 609000 | #Constraints: 91252 616.84/618.61 c #Conflicts: 610000 | #Constraints: 92302 616.84/618.61 c #Conflicts: 611000 | #Constraints: 93348 616.84/618.61 c #Conflicts: 612000 | #Constraints: 94396 616.84/618.61 c #Conflicts: 613000 | #Constraints: 95435 616.84/618.61 c #Conflicts: 614000 | #Constraints: 96481 616.84/618.61 c #Conflicts: 615000 | #Constraints: 97526 616.84/618.61 c #Conflicts: 616000 | #Constraints: 98563 616.84/618.61 c #Conflicts: 617000 | #Constraints: 99595 616.84/618.61 c #Conflicts: 618000 | #Constraints: 100653 616.84/618.61 c #Conflicts: 619000 | #Constraints: 101695 616.84/618.61 c #Conflicts: 620000 | #Constraints: 102735 616.84/618.61 c #Conflicts: 621000 | #Constraints: 103778 616.84/618.61 c #Conflicts: 622000 | #Constraints: 104814 616.84/618.61 c #Conflicts: 623000 | #Constraints: 105859 616.84/618.61 c #Conflicts: 624000 | #Constraints: 106903 616.84/618.61 c INPROCESSING 616.84/618.61 c GARBAGE COLLECT 616.84/618.61 c rational objective -108 680.54/682.56 c #Conflicts: 625000 | #Constraints: 76434 680.54/682.56 c #Conflicts: 626000 | #Constraints: 77434 680.54/682.56 c #Conflicts: 627000 | #Constraints: 78434 680.54/682.56 c #Conflicts: 628000 | #Constraints: 79434 680.54/682.56 c #Conflicts: 629000 | #Constraints: 80434 680.54/682.56 c #Conflicts: 630000 | #Constraints: 81434 680.54/682.56 c #Conflicts: 631000 | #Constraints: 82434 680.54/682.56 c #Conflicts: 632000 | #Constraints: 83434 680.54/682.56 c #Conflicts: 633000 | #Constraints: 84434 680.54/682.56 c #Conflicts: 634000 | #Constraints: 85434 680.54/682.56 c #Conflicts: 635000 | #Constraints: 86434 680.54/682.56 c #Conflicts: 636000 | #Constraints: 87434 680.54/682.56 c #Conflicts: 637000 | #Constraints: 88434 680.54/682.56 c #Conflicts: 638000 | #Constraints: 89434 680.54/682.56 c #Conflicts: 639000 | #Constraints: 90434 680.54/682.56 c #Conflicts: 640000 | #Constraints: 91434 680.54/682.56 c #Conflicts: 641000 | #Constraints: 92434 680.54/682.56 c #Conflicts: 642000 | #Constraints: 93434 680.54/682.56 c #Conflicts: 643000 | #Constraints: 94434 680.54/682.56 c #Conflicts: 644000 | #Constraints: 95434 680.54/682.56 c #Conflicts: 645000 | #Constraints: 96434 680.54/682.56 c #Conflicts: 646000 | #Constraints: 97434 680.54/682.56 c #Conflicts: 647000 | #Constraints: 98434 680.54/682.56 c #Conflicts: 648000 | #Constraints: 99434 680.54/682.56 c #Conflicts: 649000 | #Constraints: 100434 680.54/682.56 c #Conflicts: 650000 | #Constraints: 101434 680.54/682.56 c #Conflicts: 651000 | #Constraints: 102434 680.54/682.56 c #Conflicts: 652000 | #Constraints: 103434 680.54/682.56 c #Conflicts: 653000 | #Constraints: 104434 680.54/682.56 c #Conflicts: 654000 | #Constraints: 105434 680.54/682.56 c #Conflicts: 655000 | #Constraints: 106434 680.54/682.56 c #Conflicts: 656000 | #Constraints: 107434 680.54/682.56 c #Conflicts: 657000 | #Constraints: 108434 680.54/682.56 c #Conflicts: 658000 | #Constraints: 109434 680.54/682.56 c #Conflicts: 659000 | #Constraints: 110434 680.54/682.56 c #Conflicts: 660000 | #Constraints: 111434 680.54/682.56 c #Conflicts: 661000 | #Constraints: 112434 680.54/682.56 c #Conflicts: 662000 | #Constraints: 113434 680.54/682.56 c #Conflicts: 663000 | #Constraints: 114434 680.54/682.56 c #Conflicts: 664000 | #Constraints: 115434 680.54/682.56 c #Conflicts: 665000 | #Constraints: 116434 680.54/682.56 c #Conflicts: 666000 | #Constraints: 117434 680.54/682.56 c #Conflicts: 667000 | #Constraints: 118434 680.54/682.56 c #Conflicts: 668000 | #Constraints: 119434 680.54/682.56 c #Conflicts: 669000 | #Constraints: 120434 680.54/682.56 c #Conflicts: 670000 | #Constraints: 121434 680.54/682.56 c #Conflicts: 671000 | #Constraints: 122434 680.54/682.56 c #Conflicts: 672000 | #Constraints: 123434 680.54/682.56 c #Conflicts: 673000 | #Constraints: 124434 680.54/682.56 c #Conflicts: 674000 | #Constraints: 125434 680.54/682.56 c #Conflicts: 675000 | #Constraints: 126434 680.54/682.56 c #Conflicts: 676000 | #Constraints: 127434 680.54/682.56 c INPROCESSING 680.54/682.56 c GARBAGE COLLECT 680.54/682.56 c rational objective -108 707.67/709.73 c #Conflicts: 677000 | #Constraints: 86617 707.67/709.73 c #Conflicts: 678000 | #Constraints: 87617 707.67/709.73 c #Conflicts: 679000 | #Constraints: 88617 707.67/709.73 c #Conflicts: 680000 | #Constraints: 89617 707.67/709.73 c #Conflicts: 681000 | #Constraints: 90617 707.67/709.73 c #Conflicts: 682000 | #Constraints: 91617 707.67/709.73 c #Conflicts: 683000 | #Constraints: 92617 707.67/709.73 c #Conflicts: 684000 | #Constraints: 93617 707.67/709.73 c #Conflicts: 685000 | #Constraints: 94617 707.67/709.73 c #Conflicts: 686000 | #Constraints: 95617 707.67/709.73 c #Conflicts: 687000 | #Constraints: 96617 707.67/709.73 c #Conflicts: 688000 | #Constraints: 97617 707.67/709.73 c #Conflicts: 689000 | #Constraints: 98617 707.67/709.73 c #Conflicts: 690000 | #Constraints: 99617 707.67/709.73 c #Conflicts: 691000 | #Constraints: 100617 707.67/709.73 c #Conflicts: 692000 | #Constraints: 101617 707.67/709.73 c #Conflicts: 693000 | #Constraints: 102617 707.67/709.73 c #Conflicts: 694000 | #Constraints: 103617 707.67/709.73 c #Conflicts: 695000 | #Constraints: 104617 707.67/709.73 c #Conflicts: 696000 | #Constraints: 105617 707.67/709.73 c #Conflicts: 697000 | #Constraints: 106617 707.67/709.73 c #Conflicts: 698000 | #Constraints: 107617 707.67/709.73 c #Conflicts: 699000 | #Constraints: 108617 707.67/709.73 c #Conflicts: 700000 | #Constraints: 109617 707.67/709.73 c INPROCESSING 707.67/709.73 c GARBAGE COLLECT 707.67/709.73 c rational objective -108 893.80/896.36 c #Conflicts: 701000 | #Constraints: 77762 893.80/896.36 c #Conflicts: 702000 | #Constraints: 78783 893.80/896.36 c #Conflicts: 703000 | #Constraints: 79803 893.80/896.36 c #Conflicts: 704000 | #Constraints: 80843 893.80/896.36 c #Conflicts: 705000 | #Constraints: 81899 893.80/896.36 c #Conflicts: 706000 | #Constraints: 82953 893.80/896.36 c #Conflicts: 707000 | #Constraints: 83995 893.80/896.36 c #Conflicts: 708000 | #Constraints: 85018 893.80/896.36 c #Conflicts: 709000 | #Constraints: 86050 893.80/896.36 c #Conflicts: 710000 | #Constraints: 87079 893.80/896.36 c #Conflicts: 711000 | #Constraints: 88116 893.80/896.36 c #Conflicts: 712000 | #Constraints: 89157 893.80/896.36 c #Conflicts: 713000 | #Constraints: 90190 893.80/896.36 c #Conflicts: 714000 | #Constraints: 91234 893.80/896.36 c #Conflicts: 715000 | #Constraints: 92280 893.80/896.36 c #Conflicts: 716000 | #Constraints: 93321 893.80/896.36 c #Conflicts: 717000 | #Constraints: 94364 893.80/896.36 c #Conflicts: 718000 | #Constraints: 95403 893.80/896.36 c #Conflicts: 719000 | #Constraints: 96456 893.80/896.36 c #Conflicts: 720000 | #Constraints: 97505 893.80/896.36 c #Conflicts: 721000 | #Constraints: 98554 893.80/896.36 c #Conflicts: 722000 | #Constraints: 99604 893.80/896.36 c #Conflicts: 723000 | #Constraints: 100663 893.80/896.36 c #Conflicts: 724000 | #Constraints: 101716 893.80/896.36 c #Conflicts: 725000 | #Constraints: 102771 893.80/896.36 c #Conflicts: 726000 | #Constraints: 103817 893.80/896.36 c #Conflicts: 727000 | #Constraints: 104864 893.80/896.36 c #Conflicts: 728000 | #Constraints: 105906 893.80/896.36 c #Conflicts: 729000 | #Constraints: 106962 893.80/896.36 c #Conflicts: 730000 | #Constraints: 108014 893.80/896.36 c #Conflicts: 731000 | #Constraints: 109057 893.80/896.36 c #Conflicts: 732000 | #Constraints: 110106 893.80/896.36 c #Conflicts: 733000 | #Constraints: 111158 893.80/896.36 c #Conflicts: 734000 | #Constraints: 112208 893.80/896.36 c #Conflicts: 735000 | #Constraints: 113253 893.80/896.36 c #Conflicts: 736000 | #Constraints: 114311 893.80/896.36 c #Conflicts: 737000 | #Constraints: 115362 893.80/896.36 c #Conflicts: 738000 | #Constraints: 116420 893.80/896.36 c #Conflicts: 739000 | #Constraints: 117475 893.80/896.36 c #Conflicts: 740000 | #Constraints: 118521 893.80/896.36 c #Conflicts: 741000 | #Constraints: 119570 893.80/896.36 c #Conflicts: 742000 | #Constraints: 120614 893.80/896.36 c #Conflicts: 743000 | #Constraints: 121667 893.80/896.36 c #Conflicts: 744000 | #Constraints: 122722 893.80/896.36 c #Conflicts: 745000 | #Constraints: 123785 893.80/896.36 c #Conflicts: 746000 | #Constraints: 124831 893.80/896.36 c #Conflicts: 747000 | #Constraints: 125885 893.80/896.36 c #Conflicts: 748000 | #Constraints: 126946 893.80/896.36 c #Conflicts: 749000 | #Constraints: 127998 893.80/896.36 c #Conflicts: 750000 | #Constraints: 129039 893.80/896.36 c #Conflicts: 751000 | #Constraints: 130097 893.80/896.36 c #Conflicts: 752000 | #Constraints: 131141 893.80/896.36 c #Conflicts: 753000 | #Constraints: 132202 893.80/896.36 c #Conflicts: 754000 | #Constraints: 133255 893.80/896.36 c #Conflicts: 755000 | #Constraints: 134310 893.80/896.36 c #Conflicts: 756000 | #Constraints: 135358 893.80/896.36 c INPROCESSING 893.80/896.36 c GARBAGE COLLECT 893.80/896.36 c rational objective -108 928.43/931.09 c #Conflicts: 757000 | #Constraints: 90690 928.43/931.09 c #Conflicts: 758000 | #Constraints: 91690 928.43/931.09 c #Conflicts: 759000 | #Constraints: 92690 928.43/931.09 c #Conflicts: 760000 | #Constraints: 93690 928.43/931.09 c #Conflicts: 761000 | #Constraints: 94690 928.43/931.09 c #Conflicts: 762000 | #Constraints: 95690 928.43/931.09 c #Conflicts: 763000 | #Constraints: 96690 928.43/931.09 c #Conflicts: 764000 | #Constraints: 97690 928.43/931.09 c #Conflicts: 765000 | #Constraints: 98690 928.43/931.09 c #Conflicts: 766000 | #Constraints: 99690 928.43/931.09 c #Conflicts: 767000 | #Constraints: 100690 928.43/931.09 c #Conflicts: 768000 | #Constraints: 101690 928.43/931.09 c #Conflicts: 769000 | #Constraints: 102690 928.43/931.09 c #Conflicts: 770000 | #Constraints: 103690 928.43/931.09 c #Conflicts: 771000 | #Constraints: 104690 928.43/931.09 c #Conflicts: 772000 | #Constraints: 105690 928.43/931.09 c #Conflicts: 773000 | #Constraints: 106690 928.43/931.09 c #Conflicts: 774000 | #Constraints: 107690 928.43/931.09 c #Conflicts: 775000 | #Constraints: 108690 928.43/931.09 c #Conflicts: 776000 | #Constraints: 109690 928.43/931.09 c #Conflicts: 777000 | #Constraints: 110690 928.43/931.09 c #Conflicts: 778000 | #Constraints: 111690 928.43/931.09 c #Conflicts: 779000 | #Constraints: 112690 928.43/931.09 c #Conflicts: 780000 | #Constraints: 113690 928.43/931.09 c #Conflicts: 781000 | #Constraints: 114690 928.43/931.09 c INPROCESSING 928.43/931.09 c GARBAGE COLLECT 928.43/931.09 c rational objective -108 956.03/958.70 c #Conflicts: 782000 | #Constraints: 80400 956.03/958.70 c #Conflicts: 783000 | #Constraints: 81400 956.03/958.70 c #Conflicts: 784000 | #Constraints: 82400 956.03/958.70 c #Conflicts: 785000 | #Constraints: 83400 956.03/958.70 c #Conflicts: 786000 | #Constraints: 84400 956.03/958.70 c #Conflicts: 787000 | #Constraints: 85400 956.03/958.70 c #Conflicts: 788000 | #Constraints: 86400 956.03/958.70 c #Conflicts: 789000 | #Constraints: 87400 956.03/958.70 c #Conflicts: 790000 | #Constraints: 88400 956.03/958.70 c #Conflicts: 791000 | #Constraints: 89400 956.03/958.70 c #Conflicts: 792000 | #Constraints: 90400 956.03/958.70 c #Conflicts: 793000 | #Constraints: 91400 956.03/958.70 c #Conflicts: 794000 | #Constraints: 92400 956.03/958.70 c #Conflicts: 795000 | #Constraints: 93400 956.03/958.70 c #Conflicts: 796000 | #Constraints: 94400 956.03/958.70 c #Conflicts: 797000 | #Constraints: 95400 956.03/958.70 c #Conflicts: 798000 | #Constraints: 96400 956.03/958.70 c #Conflicts: 799000 | #Constraints: 97400 956.03/958.70 c #Conflicts: 800000 | #Constraints: 98400 956.03/958.70 c #Conflicts: 801000 | #Constraints: 99400 956.03/958.70 c #Conflicts: 802000 | #Constraints: 100400 956.03/958.70 c #Conflicts: 803000 | #Constraints: 101400 956.03/958.70 c #Conflicts: 804000 | #Constraints: 102400 956.03/958.70 c #Conflicts: 805000 | #Constraints: 103400 956.03/958.70 c #Conflicts: 806000 | #Constraints: 104400 956.03/958.70 c INPROCESSING 956.03/958.70 c GARBAGE COLLECT 956.03/958.70 c rational objective -108 1043.70/1046.65 c #Conflicts: 807000 | #Constraints: 78221 1043.70/1046.65 c #Conflicts: 808000 | #Constraints: 79221 1043.70/1046.65 c #Conflicts: 809000 | #Constraints: 80221 1043.70/1046.65 c #Conflicts: 810000 | #Constraints: 81221 1043.70/1046.65 c #Conflicts: 811000 | #Constraints: 82221 1043.70/1046.65 c #Conflicts: 812000 | #Constraints: 83221 1043.70/1046.65 c #Conflicts: 813000 | #Constraints: 84221 1043.70/1046.65 c #Conflicts: 814000 | #Constraints: 85221 1043.70/1046.65 c #Conflicts: 815000 | #Constraints: 86221 1043.70/1046.65 c #Conflicts: 816000 | #Constraints: 87221 1043.70/1046.65 c #Conflicts: 817000 | #Constraints: 88221 1043.70/1046.65 c #Conflicts: 818000 | #Constraints: 89221 1043.70/1046.65 c #Conflicts: 819000 | #Constraints: 90221 1043.70/1046.65 c #Conflicts: 820000 | #Constraints: 91221 1043.70/1046.65 c #Conflicts: 821000 | #Constraints: 92221 1043.70/1046.65 c #Conflicts: 822000 | #Constraints: 93221 1043.70/1046.65 c #Conflicts: 823000 | #Constraints: 94221 1043.70/1046.65 c #Conflicts: 824000 | #Constraints: 95221 1043.70/1046.65 c #Conflicts: 825000 | #Constraints: 96221 1043.70/1046.65 c #Conflicts: 826000 | #Constraints: 97221 1043.70/1046.65 c #Conflicts: 827000 | #Constraints: 98221 1043.70/1046.65 c #Conflicts: 828000 | #Constraints: 99221 1043.70/1046.65 c #Conflicts: 829000 | #Constraints: 100221 1043.70/1046.65 c #Conflicts: 830000 | #Constraints: 101221 1043.70/1046.65 c #Conflicts: 831000 | #Constraints: 102221 1043.70/1046.65 c #Conflicts: 832000 | #Constraints: 103221 1043.70/1046.65 c #Conflicts: 833000 | #Constraints: 104221 1043.70/1046.65 c #Conflicts: 834000 | #Constraints: 105221 1043.70/1046.65 c #Conflicts: 835000 | #Constraints: 106221 1043.70/1046.65 c #Conflicts: 836000 | #Constraints: 107221 1043.70/1046.65 c #Conflicts: 837000 | #Constraints: 108221 1043.70/1046.65 c #Conflicts: 838000 | #Constraints: 109221 1043.70/1046.65 c #Conflicts: 839000 | #Constraints: 110221 1043.70/1046.65 c #Conflicts: 840000 | #Constraints: 111221 1043.70/1046.65 c #Conflicts: 841000 | #Constraints: 112221 1043.70/1046.65 c #Conflicts: 842000 | #Constraints: 113221 1043.70/1046.65 c #Conflicts: 843000 | #Constraints: 114221 1043.70/1046.65 c #Conflicts: 844000 | #Constraints: 115221 1043.70/1046.65 c #Conflicts: 845000 | #Constraints: 116221 1043.70/1046.65 c #Conflicts: 846000 | #Constraints: 117221 1043.70/1046.65 c #Conflicts: 847000 | #Constraints: 118221 1043.70/1046.65 c #Conflicts: 848000 | #Constraints: 119221 1043.70/1046.65 c #Conflicts: 849000 | #Constraints: 120221 1043.70/1046.65 c #Conflicts: 850000 | #Constraints: 121221 1043.70/1046.65 c #Conflicts: 851000 | #Constraints: 122221 1043.70/1046.65 c #Conflicts: 852000 | #Constraints: 123221 1043.70/1046.65 c bounds -33 >= -107 @ 1008.35 1043.70/1046.65 c #Conflicts: 853000 | #Constraints: 124254 1043.70/1046.65 c #Conflicts: 854000 | #Constraints: 125254 1043.70/1046.65 c #Conflicts: 855000 | #Constraints: 126254 1043.70/1046.65 c #Conflicts: 856000 | #Constraints: 127254 1043.70/1046.65 c #Conflicts: 857000 | #Constraints: 128254 1043.70/1046.65 c #Conflicts: 858000 | #Constraints: 129254 1043.70/1046.65 c #Conflicts: 859000 | #Constraints: 130254 1043.70/1046.65 c #Conflicts: 860000 | #Constraints: 131254 1043.70/1046.65 c #Conflicts: 861000 | #Constraints: 132254 1043.70/1046.65 c #Conflicts: 862000 | #Constraints: 133254 1043.70/1046.65 c #Conflicts: 863000 | #Constraints: 134254 1043.70/1046.65 c #Conflicts: 864000 | #Constraints: 135254 1043.70/1046.65 c #Conflicts: 865000 | #Constraints: 136254 1043.70/1046.65 c #Conflicts: 866000 | #Constraints: 137254 1043.70/1046.65 c INPROCESSING 1043.70/1046.65 c GARBAGE COLLECT 1043.70/1046.65 c rational objective -107 1079.21/1082.20 c #Conflicts: 867000 | #Constraints: 91489 1079.21/1082.20 c #Conflicts: 868000 | #Constraints: 92489 1079.21/1082.20 c #Conflicts: 869000 | #Constraints: 93489 1079.21/1082.20 c #Conflicts: 870000 | #Constraints: 94489 1079.21/1082.20 c #Conflicts: 871000 | #Constraints: 95489 1079.21/1082.20 c #Conflicts: 872000 | #Constraints: 96489 1079.21/1082.20 c #Conflicts: 873000 | #Constraints: 97489 1079.21/1082.20 c #Conflicts: 874000 | #Constraints: 98489 1079.21/1082.20 c #Conflicts: 875000 | #Constraints: 99489 1079.21/1082.20 c #Conflicts: 876000 | #Constraints: 100489 1079.21/1082.20 c #Conflicts: 877000 | #Constraints: 101489 1079.21/1082.20 c #Conflicts: 878000 | #Constraints: 102489 1079.21/1082.20 c #Conflicts: 879000 | #Constraints: 103489 1079.21/1082.20 c #Conflicts: 880000 | #Constraints: 104489 1079.21/1082.20 c #Conflicts: 881000 | #Constraints: 105489 1079.21/1082.20 c #Conflicts: 882000 | #Constraints: 106489 1079.21/1082.20 c #Conflicts: 883000 | #Constraints: 107489 1079.21/1082.20 c #Conflicts: 884000 | #Constraints: 108489 1079.21/1082.20 c #Conflicts: 885000 | #Constraints: 109489 1079.21/1082.20 c #Conflicts: 886000 | #Constraints: 110489 1079.21/1082.20 c #Conflicts: 887000 | #Constraints: 111489 1079.21/1082.20 c #Conflicts: 888000 | #Constraints: 112489 1079.21/1082.20 c #Conflicts: 889000 | #Constraints: 113489 1079.21/1082.20 c #Conflicts: 890000 | #Constraints: 114489 1079.21/1082.20 c #Conflicts: 891000 | #Constraints: 115489 1079.21/1082.20 c #Conflicts: 892000 | #Constraints: 116489 1079.21/1082.20 c #Conflicts: 893000 | #Constraints: 117489 1079.21/1082.20 c INPROCESSING 1079.21/1082.20 c GARBAGE COLLECT 1079.21/1082.20 c rational objective -107 1183.74/1187.05 c #Conflicts: 894000 | #Constraints: 81841 1183.74/1187.05 c #Conflicts: 895000 | #Constraints: 82841 1183.74/1187.05 c #Conflicts: 896000 | #Constraints: 83841 1183.74/1187.05 c #Conflicts: 897000 | #Constraints: 84841 1183.74/1187.05 c #Conflicts: 898000 | #Constraints: 85841 1183.74/1187.05 c #Conflicts: 899000 | #Constraints: 86841 1183.74/1187.05 c #Conflicts: 900000 | #Constraints: 87841 1183.74/1187.05 c #Conflicts: 901000 | #Constraints: 88841 1183.74/1187.05 c #Conflicts: 902000 | #Constraints: 89841 1183.74/1187.05 c #Conflicts: 903000 | #Constraints: 90841 1183.74/1187.05 c #Conflicts: 904000 | #Constraints: 91841 1183.74/1187.05 c #Conflicts: 905000 | #Constraints: 92841 1183.74/1187.05 c #Conflicts: 906000 | #Constraints: 93841 1183.74/1187.05 c #Conflicts: 907000 | #Constraints: 94841 1183.74/1187.05 c #Conflicts: 908000 | #Constraints: 95841 1183.74/1187.05 c #Conflicts: 909000 | #Constraints: 96841 1183.74/1187.05 c #Conflicts: 910000 | #Constraints: 97841 1183.74/1187.05 c #Conflicts: 911000 | #Constraints: 98841 1183.74/1187.05 c #Conflicts: 912000 | #Constraints: 99841 1183.74/1187.05 c #Conflicts: 913000 | #Constraints: 100841 1183.74/1187.05 c #Conflicts: 914000 | #Constraints: 101841 1183.74/1187.05 c #Conflicts: 915000 | #Constraints: 102841 1183.74/1187.05 c #Conflicts: 916000 | #Constraints: 103841 1183.74/1187.05 c #Conflicts: 917000 | #Constraints: 104841 1183.74/1187.05 c #Conflicts: 918000 | #Constraints: 105841 1183.74/1187.05 c #Conflicts: 919000 | #Constraints: 106841 1183.74/1187.05 c #Conflicts: 920000 | #Constraints: 107841 1183.74/1187.05 c #Conflicts: 921000 | #Constraints: 108841 1183.74/1187.05 c #Conflicts: 922000 | #Constraints: 109841 1183.74/1187.05 c #Conflicts: 923000 | #Constraints: 110841 1183.74/1187.05 c #Conflicts: 924000 | #Constraints: 111841 1183.74/1187.05 c #Conflicts: 925000 | #Constraints: 112841 1183.74/1187.05 c #Conflicts: 926000 | #Constraints: 113841 1183.74/1187.05 c #Conflicts: 927000 | #Constraints: 114841 1183.74/1187.05 c #Conflicts: 928000 | #Constraints: 115841 1183.74/1187.05 c #Conflicts: 929000 | #Constraints: 116841 1183.74/1187.05 c #Conflicts: 930000 | #Constraints: 117841 1183.74/1187.05 c #Conflicts: 931000 | #Constraints: 118841 1183.74/1187.05 c #Conflicts: 932000 | #Constraints: 119841 1183.74/1187.05 c #Conflicts: 933000 | #Constraints: 120841 1183.74/1187.05 c #Conflicts: 934000 | #Constraints: 121841 1183.74/1187.05 c #Conflicts: 935000 | #Constraints: 122841 1183.74/1187.05 c #Conflicts: 936000 | #Constraints: 123841 1183.74/1187.05 c #Conflicts: 937000 | #Constraints: 124841 1183.74/1187.05 c #Conflicts: 938000 | #Constraints: 125841 1183.74/1187.05 c #Conflicts: 939000 | #Constraints: 126841 1183.74/1187.05 c #Conflicts: 940000 | #Constraints: 127841 1183.74/1187.05 c #Conflicts: 941000 | #Constraints: 128841 1183.74/1187.05 c #Conflicts: 942000 | #Constraints: 129841 1183.74/1187.05 c #Conflicts: 943000 | #Constraints: 130841 1183.74/1187.05 c #Conflicts: 944000 | #Constraints: 131841 1183.74/1187.05 c #Conflicts: 945000 | #Constraints: 132841 1183.74/1187.05 c #Conflicts: 946000 | #Constraints: 133841 1183.74/1187.05 c #Conflicts: 947000 | #Constraints: 134841 1183.74/1187.05 c #Conflicts: 948000 | #Constraints: 135841 1183.74/1187.05 c #Conflicts: 949000 | #Constraints: 136841 1183.74/1187.05 c #Conflicts: 950000 | #Constraints: 137841 1183.74/1187.05 c #Conflicts: 951000 | #Constraints: 138841 1183.74/1187.05 c #Conflicts: 952000 | #Constraints: 139841 1183.74/1187.05 c #Conflicts: 953000 | #Constraints: 140841 1183.74/1187.05 c #Conflicts: 954000 | #Constraints: 141841 1183.74/1187.05 c #Conflicts: 955000 | #Constraints: 142841 1183.74/1187.05 c #Conflicts: 956000 | #Constraints: 143841 1183.74/1187.05 c INPROCESSING 1183.74/1187.05 c GARBAGE COLLECT 1183.74/1187.05 c rational objective -107 1225.02/1228.41 c #Conflicts: 957000 | #Constraints: 95072 1225.02/1228.41 c #Conflicts: 958000 | #Constraints: 96072 1225.02/1228.41 c #Conflicts: 959000 | #Constraints: 97072 1225.02/1228.41 c #Conflicts: 960000 | #Constraints: 98072 1225.02/1228.41 c #Conflicts: 961000 | #Constraints: 99072 1225.02/1228.41 c #Conflicts: 962000 | #Constraints: 100072 1225.02/1228.41 c #Conflicts: 963000 | #Constraints: 101072 1225.02/1228.41 c #Conflicts: 964000 | #Constraints: 102072 1225.02/1228.41 c #Conflicts: 965000 | #Constraints: 103072 1225.02/1228.41 c #Conflicts: 966000 | #Constraints: 104072 1225.02/1228.41 c #Conflicts: 967000 | #Constraints: 105072 1225.02/1228.41 c #Conflicts: 968000 | #Constraints: 106072 1225.02/1228.41 c #Conflicts: 969000 | #Constraints: 107072 1225.02/1228.41 c #Conflicts: 970000 | #Constraints: 108072 1225.02/1228.41 c #Conflicts: 971000 | #Constraints: 109072 1225.02/1228.41 c #Conflicts: 972000 | #Constraints: 110072 1225.02/1228.41 c #Conflicts: 973000 | #Constraints: 111072 1225.02/1228.41 c #Conflicts: 974000 | #Constraints: 112072 1225.02/1228.41 c #Conflicts: 975000 | #Constraints: 113072 1225.02/1228.41 c #Conflicts: 976000 | #Constraints: 114072 1225.02/1228.41 c #Conflicts: 977000 | #Constraints: 115072 1225.02/1228.41 c #Conflicts: 978000 | #Constraints: 116072 1225.02/1228.41 c #Conflicts: 979000 | #Constraints: 117072 1225.02/1228.41 c #Conflicts: 980000 | #Constraints: 118072 1225.02/1228.41 c #Conflicts: 981000 | #Constraints: 119072 1225.02/1228.41 c #Conflicts: 982000 | #Constraints: 120072 1225.02/1228.41 c #Conflicts: 983000 | #Constraints: 121072 1225.02/1228.41 c #Conflicts: 984000 | #Constraints: 122072 1225.02/1228.41 c INPROCESSING 1225.02/1228.41 c GARBAGE COLLECT 1225.02/1228.41 c rational objective -107 1346.18/1349.92 c #Conflicts: 985000 | #Constraints: 84227 1346.18/1349.92 c #Conflicts: 986000 | #Constraints: 85227 1346.18/1349.92 c #Conflicts: 987000 | #Constraints: 86227 1346.18/1349.92 c #Conflicts: 988000 | #Constraints: 87227 1346.18/1349.92 c #Conflicts: 989000 | #Constraints: 88227 1346.18/1349.92 c #Conflicts: 990000 | #Constraints: 89227 1346.18/1349.92 c #Conflicts: 991000 | #Constraints: 90227 1346.18/1349.92 c #Conflicts: 992000 | #Constraints: 91227 1346.18/1349.92 c #Conflicts: 993000 | #Constraints: 92227 1346.18/1349.92 c #Conflicts: 994000 | #Constraints: 93227 1346.18/1349.92 c #Conflicts: 995000 | #Constraints: 94227 1346.18/1349.92 c #Conflicts: 996000 | #Constraints: 95227 1346.18/1349.92 c #Conflicts: 997000 | #Constraints: 96227 1346.18/1349.92 c #Conflicts: 998000 | #Constraints: 97227 1346.18/1349.92 c #Conflicts: 999000 | #Constraints: 98227 1346.18/1349.92 c #Conflicts: 1000000 | #Constraints: 99227 1346.18/1349.92 c #Conflicts: 1001000 | #Constraints: 100227 1346.18/1349.92 c #Conflicts: 1002000 | #Constraints: 101227 1346.18/1349.92 c #Conflicts: 1003000 | #Constraints: 102227 1346.18/1349.92 c #Conflicts: 1004000 | #Constraints: 103227 1346.18/1349.92 c #Conflicts: 1005000 | #Constraints: 104227 1346.18/1349.92 c #Conflicts: 1006000 | #Constraints: 105227 1346.18/1349.92 c #Conflicts: 1007000 | #Constraints: 106227 1346.18/1349.92 c #Conflicts: 1008000 | #Constraints: 107227 1346.18/1349.92 c #Conflicts: 1009000 | #Constraints: 108227 1346.18/1349.92 c #Conflicts: 1010000 | #Constraints: 109227 1346.18/1349.92 c #Conflicts: 1011000 | #Constraints: 110227 1346.18/1349.92 c #Conflicts: 1012000 | #Constraints: 111227 1346.18/1349.92 c #Conflicts: 1013000 | #Constraints: 112227 1346.18/1349.92 c #Conflicts: 1014000 | #Constraints: 113227 1346.18/1349.92 c #Conflicts: 1015000 | #Constraints: 114227 1346.18/1349.92 c #Conflicts: 1016000 | #Constraints: 115227 1346.18/1349.92 c #Conflicts: 1017000 | #Constraints: 116227 1346.18/1349.92 c #Conflicts: 1018000 | #Constraints: 117227 1346.18/1349.92 c #Conflicts: 1019000 | #Constraints: 118227 1346.18/1349.92 c #Conflicts: 1020000 | #Constraints: 119227 1346.18/1349.92 c #Conflicts: 1021000 | #Constraints: 120227 1346.18/1349.92 c #Conflicts: 1022000 | #Constraints: 121227 1346.18/1349.92 c #Conflicts: 1023000 | #Constraints: 122227 1346.18/1349.92 c #Conflicts: 1024000 | #Constraints: 123227 1346.18/1349.92 c #Conflicts: 1025000 | #Constraints: 124227 1346.18/1349.92 c #Conflicts: 1026000 | #Constraints: 125227 1346.18/1349.92 c #Conflicts: 1027000 | #Constraints: 126227 1346.18/1349.92 c #Conflicts: 1028000 | #Constraints: 127227 1346.18/1349.92 c #Conflicts: 1029000 | #Constraints: 128227 1346.18/1349.92 c #Conflicts: 1030000 | #Constraints: 129227 1346.18/1349.92 c #Conflicts: 1031000 | #Constraints: 130227 1346.18/1349.92 c #Conflicts: 1032000 | #Constraints: 131227 1346.18/1349.92 c #Conflicts: 1033000 | #Constraints: 132227 1346.18/1349.92 c #Conflicts: 1034000 | #Constraints: 133227 1346.18/1349.92 c #Conflicts: 1035000 | #Constraints: 134227 1346.18/1349.92 c #Conflicts: 1036000 | #Constraints: 135227 1346.18/1349.92 c #Conflicts: 1037000 | #Constraints: 136227 1346.18/1349.92 c #Conflicts: 1038000 | #Constraints: 137227 1346.18/1349.92 c #Conflicts: 1039000 | #Constraints: 138227 1346.18/1349.92 c #Conflicts: 1040000 | #Constraints: 139227 1346.18/1349.92 c #Conflicts: 1041000 | #Constraints: 140227 1346.18/1349.92 c #Conflicts: 1042000 | #Constraints: 141227 1346.18/1349.92 c #Conflicts: 1043000 | #Constraints: 142227 1346.18/1349.92 c #Conflicts: 1044000 | #Constraints: 143227 1346.18/1349.92 c #Conflicts: 1045000 | #Constraints: 144227 1346.18/1349.92 c #Conflicts: 1046000 | #Constraints: 145227 1346.18/1349.92 c #Conflicts: 1047000 | #Constraints: 146227 1346.18/1349.92 c #Conflicts: 1048000 | #Constraints: 147227 1346.18/1349.92 c #Conflicts: 1049000 | #Constraints: 148227 1346.18/1349.92 c #Conflicts: 1050000 | #Constraints: 149227 1346.18/1349.92 c INPROCESSING 1346.18/1349.92 c GARBAGE COLLECT 1346.18/1349.92 c rational objective -107 1394.54/1398.47 c #Conflicts: 1051000 | #Constraints: 97782 1394.54/1398.47 c #Conflicts: 1052000 | #Constraints: 98782 1394.54/1398.47 c #Conflicts: 1053000 | #Constraints: 99782 1394.54/1398.47 c #Conflicts: 1054000 | #Constraints: 100782 1394.54/1398.47 c #Conflicts: 1055000 | #Constraints: 101782 1394.54/1398.47 c #Conflicts: 1056000 | #Constraints: 102782 1394.54/1398.47 c #Conflicts: 1057000 | #Constraints: 103782 1394.54/1398.47 c #Conflicts: 1058000 | #Constraints: 104782 1394.54/1398.47 c #Conflicts: 1059000 | #Constraints: 105782 1394.54/1398.47 c #Conflicts: 1060000 | #Constraints: 106782 1394.54/1398.47 c #Conflicts: 1061000 | #Constraints: 107782 1394.54/1398.47 c #Conflicts: 1062000 | #Constraints: 108782 1394.54/1398.47 c #Conflicts: 1063000 | #Constraints: 109782 1394.54/1398.47 c #Conflicts: 1064000 | #Constraints: 110782 1394.54/1398.47 c #Conflicts: 1065000 | #Constraints: 111782 1394.54/1398.47 c #Conflicts: 1066000 | #Constraints: 112782 1394.54/1398.47 c #Conflicts: 1067000 | #Constraints: 113782 1394.54/1398.47 c #Conflicts: 1068000 | #Constraints: 114782 1394.54/1398.47 c #Conflicts: 1069000 | #Constraints: 115782 1394.54/1398.47 c #Conflicts: 1070000 | #Constraints: 116782 1394.54/1398.47 c #Conflicts: 1071000 | #Constraints: 117782 1394.54/1398.47 c #Conflicts: 1072000 | #Constraints: 118782 1394.54/1398.47 c #Conflicts: 1073000 | #Constraints: 119782 1394.54/1398.47 c #Conflicts: 1074000 | #Constraints: 120782 1394.54/1398.47 c #Conflicts: 1075000 | #Constraints: 121782 1394.54/1398.47 c #Conflicts: 1076000 | #Constraints: 122782 1394.54/1398.47 c bounds -33 >= -106 @ 1376.94 1394.54/1398.47 c #Conflicts: 1077000 | #Constraints: 123815 1394.54/1398.47 c #Conflicts: 1078000 | #Constraints: 124815 1394.54/1398.47 c #Conflicts: 1079000 | #Constraints: 125815 1394.54/1398.47 c INPROCESSING 1394.54/1398.47 c GARBAGE COLLECT 1394.54/1398.47 c rational objective -106 1500.25/1504.47 c #Conflicts: 1080000 | #Constraints: 85905 1500.25/1504.47 c #Conflicts: 1081000 | #Constraints: 86905 1500.25/1504.47 c #Conflicts: 1082000 | #Constraints: 87905 1500.25/1504.47 c #Conflicts: 1083000 | #Constraints: 88905 1500.25/1504.47 c #Conflicts: 1084000 | #Constraints: 89905 1500.25/1504.47 c #Conflicts: 1085000 | #Constraints: 90905 1500.25/1504.47 c #Conflicts: 1086000 | #Constraints: 91905 1500.25/1504.47 c #Conflicts: 1087000 | #Constraints: 92905 1500.25/1504.47 c #Conflicts: 1088000 | #Constraints: 93905 1500.25/1504.47 c #Conflicts: 1089000 | #Constraints: 94905 1500.25/1504.47 c #Conflicts: 1090000 | #Constraints: 95905 1500.25/1504.47 c #Conflicts: 1091000 | #Constraints: 96905 1500.25/1504.47 c #Conflicts: 1092000 | #Constraints: 97905 1500.25/1504.47 c #Conflicts: 1093000 | #Constraints: 98905 1500.25/1504.47 c #Conflicts: 1094000 | #Constraints: 99905 1500.25/1504.47 c #Conflicts: 1095000 | #Constraints: 100905 1500.25/1504.47 c #Conflicts: 1096000 | #Constraints: 101905 1500.25/1504.47 c #Conflicts: 1097000 | #Constraints: 102905 1500.25/1504.47 c #Conflicts: 1098000 | #Constraints: 103905 1500.25/1504.47 c #Conflicts: 1099000 | #Constraints: 104905 1500.25/1504.47 c #Conflicts: 1100000 | #Constraints: 105905 1500.25/1504.47 c #Conflicts: 1101000 | #Constraints: 106905 1500.25/1504.47 c #Conflicts: 1102000 | #Constraints: 107905 1500.25/1504.47 c #Conflicts: 1103000 | #Constraints: 108905 1500.25/1504.47 c #Conflicts: 1104000 | #Constraints: 109905 1500.25/1504.47 c #Conflicts: 1105000 | #Constraints: 110905 1500.25/1504.47 c #Conflicts: 1106000 | #Constraints: 111905 1500.25/1504.47 c #Conflicts: 1107000 | #Constraints: 112905 1500.25/1504.47 c #Conflicts: 1108000 | #Constraints: 113905 1500.25/1504.47 c #Conflicts: 1109000 | #Constraints: 114905 1500.25/1504.47 c #Conflicts: 1110000 | #Constraints: 115905 1500.25/1504.47 c #Conflicts: 1111000 | #Constraints: 116905 1500.25/1504.47 c #Conflicts: 1112000 | #Constraints: 117905 1500.25/1504.47 c #Conflicts: 1113000 | #Constraints: 118905 1500.25/1504.47 c #Conflicts: 1114000 | #Constraints: 119905 1500.25/1504.47 c #Conflicts: 1115000 | #Constraints: 120905 1500.25/1504.47 c #Conflicts: 1116000 | #Constraints: 121905 1500.25/1504.47 c #Conflicts: 1117000 | #Constraints: 122905 1500.25/1504.47 c #Conflicts: 1118000 | #Constraints: 123905 1500.25/1504.47 c #Conflicts: 1119000 | #Constraints: 124905 1500.25/1504.47 c #Conflicts: 1120000 | #Constraints: 125905 1500.25/1504.47 c #Conflicts: 1121000 | #Constraints: 126905 1500.25/1504.47 c #Conflicts: 1122000 | #Constraints: 127905 1500.25/1504.47 c #Conflicts: 1123000 | #Constraints: 128905 1500.25/1504.47 c #Conflicts: 1124000 | #Constraints: 129905 1500.25/1504.47 c #Conflicts: 1125000 | #Constraints: 130905 1500.25/1504.47 c #Conflicts: 1126000 | #Constraints: 131905 1500.25/1504.47 c #Conflicts: 1127000 | #Constraints: 132905 1500.25/1504.47 c #Conflicts: 1128000 | #Constraints: 133905 1500.25/1504.47 c #Conflicts: 1129000 | #Constraints: 134905 1500.25/1504.47 c #Conflicts: 1130000 | #Constraints: 135905 1500.25/1504.47 c #Conflicts: 1131000 | #Constraints: 136905 1500.25/1504.47 c #Conflicts: 1132000 | #Constraints: 137905 1500.25/1504.47 c #Conflicts: 1133000 | #Constraints: 138905 1500.25/1504.47 c #Conflicts: 1134000 | #Constraints: 139905 1500.25/1504.47 c #Conflicts: 1135000 | #Constraints: 140905 1500.25/1504.47 c #Conflicts: 1136000 | #Constraints: 141905 1500.25/1504.47 c #Conflicts: 1137000 | #Constraints: 142905 1500.25/1504.47 c #Conflicts: 1138000 | #Constraints: 143905 1500.25/1504.47 c #Conflicts: 1139000 | #Constraints: 144905 1500.25/1504.48 c #Conflicts: 1140000 | #Constraints: 145905 1500.25/1504.48 c #Conflicts: 1141000 | #Constraints: 146905 1500.25/1504.48 c #Conflicts: 1142000 | #Constraints: 147905 1500.25/1504.48 c #Conflicts: 1143000 | #Constraints: 148905 1500.25/1504.48 c #Conflicts: 1144000 | #Constraints: 149905 1500.25/1504.48 c #Conflicts: 1145000 | #Constraints: 150905 1500.25/1504.48 c #Conflicts: 1146000 | #Constraints: 151905 1500.25/1504.48 c #Conflicts: 1147000 | #Constraints: 152905 1500.25/1504.48 c #Conflicts: 1148000 | #Constraints: 153905 1500.25/1504.48 c INPROCESSING 1500.25/1504.48 c GARBAGE COLLECT 1500.25/1504.48 c rational objective -106 1561.08/1565.47 c #Conflicts: 1149000 | #Constraints: 99937 1561.08/1565.47 c #Conflicts: 1150000 | #Constraints: 100986 1561.08/1565.47 c #Conflicts: 1151000 | #Constraints: 102049 1561.08/1565.47 c #Conflicts: 1152000 | #Constraints: 103107 1561.08/1565.47 c #Conflicts: 1153000 | #Constraints: 104166 1561.08/1565.47 c #Conflicts: 1154000 | #Constraints: 105207 1561.08/1565.47 c #Conflicts: 1155000 | #Constraints: 106252 1561.08/1565.47 c #Conflicts: 1156000 | #Constraints: 107297 1561.08/1565.47 c #Conflicts: 1157000 | #Constraints: 108369 1561.08/1565.47 c #Conflicts: 1158000 | #Constraints: 109429 1561.08/1565.47 c #Conflicts: 1159000 | #Constraints: 110486 1561.08/1565.47 c #Conflicts: 1160000 | #Constraints: 111550 1561.08/1565.47 c #Conflicts: 1161000 | #Constraints: 112607 1561.08/1565.47 c #Conflicts: 1162000 | #Constraints: 113663 1561.08/1565.47 c #Conflicts: 1163000 | #Constraints: 114715 1561.08/1565.47 c #Conflicts: 1164000 | #Constraints: 115774 1561.08/1565.47 c #Conflicts: 1165000 | #Constraints: 116820 1561.08/1565.47 c #Conflicts: 1166000 | #Constraints: 117872 1561.08/1565.47 c #Conflicts: 1167000 | #Constraints: 118928 1561.08/1565.47 c #Conflicts: 1168000 | #Constraints: 119969 1561.08/1565.47 c #Conflicts: 1169000 | #Constraints: 121010 1561.08/1565.47 c #Conflicts: 1170000 | #Constraints: 122038 1561.08/1565.47 c #Conflicts: 1171000 | #Constraints: 123056 1561.08/1565.47 c #Conflicts: 1172000 | #Constraints: 124085 1561.08/1565.47 c #Conflicts: 1173000 | #Constraints: 125127 1561.08/1565.47 c #Conflicts: 1174000 | #Constraints: 126210 1561.08/1565.47 c #Conflicts: 1175000 | #Constraints: 127262 1561.08/1565.47 c #Conflicts: 1176000 | #Constraints: 128317 1561.08/1565.47 c #Conflicts: 1177000 | #Constraints: 129372 1561.08/1565.47 c #Conflicts: 1178000 | #Constraints: 130432 1561.08/1565.47 c #Conflicts: 1179000 | #Constraints: 131501 1561.08/1565.47 c INPROCESSING 1561.08/1565.47 c GARBAGE COLLECT 1561.08/1565.47 c rational objective -106 1693.61/1698.30 c #Conflicts: 1180000 | #Constraints: 88798 1693.61/1698.30 c #Conflicts: 1181000 | #Constraints: 89798 1693.61/1698.30 c #Conflicts: 1182000 | #Constraints: 90798 1693.61/1698.30 c #Conflicts: 1183000 | #Constraints: 91798 1693.61/1698.30 c #Conflicts: 1184000 | #Constraints: 92798 1693.61/1698.30 c #Conflicts: 1185000 | #Constraints: 93798 1693.61/1698.30 c #Conflicts: 1186000 | #Constraints: 94798 1693.61/1698.30 c #Conflicts: 1187000 | #Constraints: 95798 1693.61/1698.30 c #Conflicts: 1188000 | #Constraints: 96798 1693.61/1698.30 c #Conflicts: 1189000 | #Constraints: 97798 1693.61/1698.30 c #Conflicts: 1190000 | #Constraints: 98798 1693.61/1698.30 c #Conflicts: 1191000 | #Constraints: 99798 1693.61/1698.30 c #Conflicts: 1192000 | #Constraints: 100798 1693.61/1698.30 c #Conflicts: 1193000 | #Constraints: 101798 1693.61/1698.30 c #Conflicts: 1194000 | #Constraints: 102798 1693.61/1698.30 c #Conflicts: 1195000 | #Constraints: 103798 1693.61/1698.30 c #Conflicts: 1196000 | #Constraints: 104798 1693.61/1698.30 c #Conflicts: 1197000 | #Constraints: 105798 1693.61/1698.30 c #Conflicts: 1198000 | #Constraints: 106798 1693.61/1698.30 c #Conflicts: 1199000 | #Constraints: 107798 1693.61/1698.30 c #Conflicts: 1200000 | #Constraints: 108798 1693.61/1698.30 c #Conflicts: 1201000 | #Constraints: 109798 1693.61/1698.30 c #Conflicts: 1202000 | #Constraints: 110798 1693.61/1698.30 c #Conflicts: 1203000 | #Constraints: 111798 1693.61/1698.30 c #Conflicts: 1204000 | #Constraints: 112798 1693.61/1698.30 c #Conflicts: 1205000 | #Constraints: 113798 1693.61/1698.30 c #Conflicts: 1206000 | #Constraints: 114798 1693.61/1698.30 c #Conflicts: 1207000 | #Constraints: 115798 1693.61/1698.30 c #Conflicts: 1208000 | #Constraints: 116798 1693.61/1698.30 c #Conflicts: 1209000 | #Constraints: 117798 1693.61/1698.30 c #Conflicts: 1210000 | #Constraints: 118798 1693.61/1698.30 c #Conflicts: 1211000 | #Constraints: 119798 1693.61/1698.30 c #Conflicts: 1212000 | #Constraints: 120798 1693.61/1698.30 c #Conflicts: 1213000 | #Constraints: 121798 1693.61/1698.30 c #Conflicts: 1214000 | #Constraints: 122798 1693.61/1698.30 c #Conflicts: 1215000 | #Constraints: 123798 1693.61/1698.30 c #Conflicts: 1216000 | #Constraints: 124798 1693.61/1698.30 c #Conflicts: 1217000 | #Constraints: 125798 1693.61/1698.30 c #Conflicts: 1218000 | #Constraints: 126798 1693.61/1698.30 c #Conflicts: 1219000 | #Constraints: 127798 1693.61/1698.30 c #Conflicts: 1220000 | #Constraints: 128798 1693.61/1698.30 c #Conflicts: 1221000 | #Constraints: 129798 1693.61/1698.30 c #Conflicts: 1222000 | #Constraints: 130798 1693.61/1698.30 c #Conflicts: 1223000 | #Constraints: 131798 1693.61/1698.30 c #Conflicts: 1224000 | #Constraints: 132798 1693.61/1698.30 c #Conflicts: 1225000 | #Constraints: 133798 1693.61/1698.30 c #Conflicts: 1226000 | #Constraints: 134798 1693.61/1698.30 c #Conflicts: 1227000 | #Constraints: 135798 1693.61/1698.30 c #Conflicts: 1228000 | #Constraints: 136798 1693.61/1698.30 c #Conflicts: 1229000 | #Constraints: 137798 1693.61/1698.30 c #Conflicts: 1230000 | #Constraints: 138798 1693.61/1698.30 c #Conflicts: 1231000 | #Constraints: 139798 1693.61/1698.30 c #Conflicts: 1232000 | #Constraints: 140798 1693.61/1698.30 c #Conflicts: 1233000 | #Constraints: 141798 1693.61/1698.30 c #Conflicts: 1234000 | #Constraints: 142798 1693.61/1698.30 c #Conflicts: 1235000 | #Constraints: 143798 1693.61/1698.30 c #Conflicts: 1236000 | #Constraints: 144798 1693.61/1698.30 c #Conflicts: 1237000 | #Constraints: 145798 1693.61/1698.30 c #Conflicts: 1238000 | #Constraints: 146798 1693.61/1698.30 c #Conflicts: 1239000 | #Constraints: 147798 1693.61/1698.30 c #Conflicts: 1240000 | #Constraints: 148798 1693.61/1698.30 c #Conflicts: 1241000 | #Constraints: 149798 1693.61/1698.30 c #Conflicts: 1242000 | #Constraints: 150798 1693.61/1698.30 c #Conflicts: 1243000 | #Constraints: 151798 1693.61/1698.30 c #Conflicts: 1244000 | #Constraints: 152798 1693.61/1698.30 c #Conflicts: 1245000 | #Constraints: 153798 1693.61/1698.30 c #Conflicts: 1246000 | #Constraints: 154798 1693.61/1698.30 c #Conflicts: 1247000 | #Constraints: 155798 1693.61/1698.30 c #Conflicts: 1248000 | #Constraints: 156798 1693.61/1698.30 c #Conflicts: 1249000 | #Constraints: 157798 1693.61/1698.30 c #Conflicts: 1250000 | #Constraints: 158798 1693.61/1698.30 c #Conflicts: 1251000 | #Constraints: 159798 1693.61/1698.30 c INPROCESSING 1693.61/1698.30 c GARBAGE COLLECT 1693.61/1698.30 c rational objective -106 1752.84/1757.78 c #Conflicts: 1252000 | #Constraints: 103005 1752.84/1757.78 c #Conflicts: 1253000 | #Constraints: 104030 1752.84/1757.78 c #Conflicts: 1254000 | #Constraints: 105084 1752.84/1757.78 c #Conflicts: 1255000 | #Constraints: 106126 1752.84/1757.78 c #Conflicts: 1256000 | #Constraints: 107176 1752.84/1757.78 c #Conflicts: 1257000 | #Constraints: 108215 1752.84/1757.78 c #Conflicts: 1258000 | #Constraints: 109256 1752.84/1757.78 c #Conflicts: 1259000 | #Constraints: 110295 1752.84/1757.78 c #Conflicts: 1260000 | #Constraints: 111341 1752.84/1757.78 c #Conflicts: 1261000 | #Constraints: 112393 1752.84/1757.78 c #Conflicts: 1262000 | #Constraints: 113448 1752.84/1757.78 c #Conflicts: 1263000 | #Constraints: 114497 1752.84/1757.78 c #Conflicts: 1264000 | #Constraints: 115538 1752.84/1757.78 c #Conflicts: 1265000 | #Constraints: 116585 1752.84/1757.78 c #Conflicts: 1266000 | #Constraints: 117623 1752.84/1757.78 c #Conflicts: 1267000 | #Constraints: 118658 1752.84/1757.78 c #Conflicts: 1268000 | #Constraints: 119684 1752.84/1757.78 c #Conflicts: 1269000 | #Constraints: 120714 1752.84/1757.78 c #Conflicts: 1270000 | #Constraints: 121763 1752.84/1757.78 c #Conflicts: 1271000 | #Constraints: 122813 1752.84/1757.78 c #Conflicts: 1272000 | #Constraints: 123864 1752.84/1757.78 c #Conflicts: 1273000 | #Constraints: 124912 1752.84/1757.78 c #Conflicts: 1274000 | #Constraints: 125958 1752.84/1757.78 c #Conflicts: 1275000 | #Constraints: 127003 1752.84/1757.78 c #Conflicts: 1276000 | #Constraints: 128050 1752.84/1757.78 c #Conflicts: 1277000 | #Constraints: 129098 1752.84/1757.78 c #Conflicts: 1278000 | #Constraints: 130154 1752.84/1757.78 c #Conflicts: 1279000 | #Constraints: 131202 1752.84/1757.78 c #Conflicts: 1280000 | #Constraints: 132253 1752.84/1757.78 c #Conflicts: 1281000 | #Constraints: 133303 1752.84/1757.78 c #Conflicts: 1282000 | #Constraints: 134347 1752.84/1757.78 c #Conflicts: 1283000 | #Constraints: 135402 1752.84/1757.78 c INPROCESSING 1752.84/1757.78 c GARBAGE COLLECT 1752.84/1757.78 c rational objective -106 1898.51/1903.83 c #Conflicts: 1284000 | #Constraints: 90682 1898.51/1903.83 c #Conflicts: 1285000 | #Constraints: 91682 1898.51/1903.83 c #Conflicts: 1286000 | #Constraints: 92682 1898.51/1903.83 c #Conflicts: 1287000 | #Constraints: 93682 1898.51/1903.83 c #Conflicts: 1288000 | #Constraints: 94682 1898.51/1903.83 c #Conflicts: 1289000 | #Constraints: 95682 1898.51/1903.83 c #Conflicts: 1290000 | #Constraints: 96682 1898.51/1903.83 c #Conflicts: 1291000 | #Constraints: 97682 1898.51/1903.83 c #Conflicts: 1292000 | #Constraints: 98682 1898.51/1903.83 c #Conflicts: 1293000 | #Constraints: 99682 1898.51/1903.83 c #Conflicts: 1294000 | #Constraints: 100682 1898.51/1903.83 c #Conflicts: 1295000 | #Constraints: 101682 1898.51/1903.83 c #Conflicts: 1296000 | #Constraints: 102682 1898.51/1903.83 c #Conflicts: 1297000 | #Constraints: 103682 1898.51/1903.83 c #Conflicts: 1298000 | #Constraints: 104682 1898.51/1903.83 c #Conflicts: 1299000 | #Constraints: 105682 1898.51/1903.83 c #Conflicts: 1300000 | #Constraints: 106682 1898.51/1903.83 c #Conflicts: 1301000 | #Constraints: 107682 1898.51/1903.83 c #Conflicts: 1302000 | #Constraints: 108682 1898.51/1903.83 c #Conflicts: 1303000 | #Constraints: 109682 1898.51/1903.83 c #Conflicts: 1304000 | #Constraints: 110682 1898.51/1903.83 c #Conflicts: 1305000 | #Constraints: 111682 1898.51/1903.83 c #Conflicts: 1306000 | #Constraints: 112682 1898.51/1903.83 c #Conflicts: 1307000 | #Constraints: 113682 1898.51/1903.83 c #Conflicts: 1308000 | #Constraints: 114682 1898.51/1903.83 c #Conflicts: 1309000 | #Constraints: 115682 1898.51/1903.83 c #Conflicts: 1310000 | #Constraints: 116682 1898.51/1903.83 c #Conflicts: 1311000 | #Constraints: 117682 1898.51/1903.83 c #Conflicts: 1312000 | #Constraints: 118682 1898.51/1903.83 c #Conflicts: 1313000 | #Constraints: 119682 1898.51/1903.83 c #Conflicts: 1314000 | #Constraints: 120682 1898.51/1903.83 c #Conflicts: 1315000 | #Constraints: 121682 1898.51/1903.83 c #Conflicts: 1316000 | #Constraints: 122682 1898.51/1903.83 c #Conflicts: 1317000 | #Constraints: 123682 1898.51/1903.83 c #Conflicts: 1318000 | #Constraints: 124682 1898.51/1903.83 c #Conflicts: 1319000 | #Constraints: 125682 1898.51/1903.83 c #Conflicts: 1320000 | #Constraints: 126682 1898.51/1903.83 c #Conflicts: 1321000 | #Constraints: 127682 1898.51/1903.83 c #Conflicts: 1322000 | #Constraints: 128682 1898.51/1903.83 c #Conflicts: 1323000 | #Constraints: 129682 1898.51/1903.83 c #Conflicts: 1324000 | #Constraints: 130682 1898.51/1903.83 c #Conflicts: 1325000 | #Constraints: 131682 1898.51/1903.83 c #Conflicts: 1326000 | #Constraints: 132682 1898.51/1903.83 c #Conflicts: 1327000 | #Constraints: 133682 1898.51/1903.83 c #Conflicts: 1328000 | #Constraints: 134682 1898.51/1903.83 c #Conflicts: 1329000 | #Constraints: 135682 1898.51/1903.83 c #Conflicts: 1330000 | #Constraints: 136682 1898.51/1903.83 c #Conflicts: 1331000 | #Constraints: 137682 1898.51/1903.83 c #Conflicts: 1332000 | #Constraints: 138682 1898.51/1903.83 c #Conflicts: 1333000 | #Constraints: 139682 1898.51/1903.83 c #Conflicts: 1334000 | #Constraints: 140682 1898.51/1903.83 c #Conflicts: 1335000 | #Constraints: 141682 1898.51/1903.83 c #Conflicts: 1336000 | #Constraints: 142682 1898.51/1903.83 c #Conflicts: 1337000 | #Constraints: 143682 1898.51/1903.83 c #Conflicts: 1338000 | #Constraints: 144682 1898.51/1903.83 c #Conflicts: 1339000 | #Constraints: 145682 1898.51/1903.83 c #Conflicts: 1340000 | #Constraints: 146682 1898.51/1903.83 c #Conflicts: 1341000 | #Constraints: 147682 1898.51/1903.83 c #Conflicts: 1342000 | #Constraints: 148682 1898.51/1903.83 c #Conflicts: 1343000 | #Constraints: 149682 1898.51/1903.83 c #Conflicts: 1344000 | #Constraints: 150682 1898.51/1903.83 c #Conflicts: 1345000 | #Constraints: 151682 1898.51/1903.83 c #Conflicts: 1346000 | #Constraints: 152682 1898.51/1903.83 c #Conflicts: 1347000 | #Constraints: 153682 1898.51/1903.83 c #Conflicts: 1348000 | #Constraints: 154682 1898.51/1903.83 c #Conflicts: 1349000 | #Constraints: 155682 1898.51/1903.83 c #Conflicts: 1350000 | #Constraints: 156682 1898.51/1903.83 c #Conflicts: 1351000 | #Constraints: 157682 1898.51/1903.83 c #Conflicts: 1352000 | #Constraints: 158682 1898.51/1903.83 c #Conflicts: 1353000 | #Constraints: 159682 1898.51/1903.83 c #Conflicts: 1354000 | #Constraints: 160682 1898.51/1903.83 c #Conflicts: 1355000 | #Constraints: 161682 1898.51/1903.83 c #Conflicts: 1356000 | #Constraints: 162682 1898.51/1903.83 c #Conflicts: 1357000 | #Constraints: 163682 1898.51/1903.83 c #Conflicts: 1358000 | #Constraints: 164682 1898.51/1903.83 c INPROCESSING 1898.51/1903.83 c GARBAGE COLLECT 1898.51/1903.83 c rational objective -106 1975.20/1980.78 c #Conflicts: 1359000 | #Constraints: 105354 1975.20/1980.78 c #Conflicts: 1360000 | #Constraints: 106390 1975.20/1980.78 c #Conflicts: 1361000 | #Constraints: 107430 1975.20/1980.78 c #Conflicts: 1362000 | #Constraints: 108467 1975.20/1980.78 c #Conflicts: 1363000 | #Constraints: 109505 1975.20/1980.78 c #Conflicts: 1364000 | #Constraints: 110537 1975.20/1980.78 c #Conflicts: 1365000 | #Constraints: 111570 1975.20/1980.78 c #Conflicts: 1366000 | #Constraints: 112624 1975.20/1980.78 c #Conflicts: 1367000 | #Constraints: 113662 1975.20/1980.78 c #Conflicts: 1368000 | #Constraints: 114711 1975.20/1980.78 c #Conflicts: 1369000 | #Constraints: 115753 1975.20/1980.78 c #Conflicts: 1370000 | #Constraints: 116790 1975.20/1980.78 c #Conflicts: 1371000 | #Constraints: 117828 1975.20/1980.78 c #Conflicts: 1372000 | #Constraints: 118866 1975.20/1980.78 c #Conflicts: 1373000 | #Constraints: 119908 1975.20/1980.78 c #Conflicts: 1374000 | #Constraints: 120950 1975.20/1980.78 c #Conflicts: 1375000 | #Constraints: 121990 1975.20/1980.78 c #Conflicts: 1376000 | #Constraints: 123028 1975.20/1980.78 c #Conflicts: 1377000 | #Constraints: 124069 1975.20/1980.78 c #Conflicts: 1378000 | #Constraints: 125106 1975.20/1980.78 c #Conflicts: 1379000 | #Constraints: 126140 1975.20/1980.78 c #Conflicts: 1380000 | #Constraints: 127185 1975.20/1980.78 c #Conflicts: 1381000 | #Constraints: 128234 1975.20/1980.78 c #Conflicts: 1382000 | #Constraints: 129268 1975.20/1980.78 c #Conflicts: 1383000 | #Constraints: 130314 1975.20/1980.78 c #Conflicts: 1384000 | #Constraints: 131349 1975.20/1980.78 c #Conflicts: 1385000 | #Constraints: 132394 1975.20/1980.78 c #Conflicts: 1386000 | #Constraints: 133435 1975.20/1980.78 c #Conflicts: 1387000 | #Constraints: 134460 1975.20/1980.78 c #Conflicts: 1388000 | #Constraints: 135489 1975.20/1980.78 c #Conflicts: 1389000 | #Constraints: 136528 1975.20/1980.78 c #Conflicts: 1390000 | #Constraints: 137572 1975.20/1980.78 c #Conflicts: 1391000 | #Constraints: 138612 1975.20/1980.78 c INPROCESSING 1975.20/1980.78 c GARBAGE COLLECT 1975.20/1980.78 c rational objective -106 2144.41/2150.48 c #Conflicts: 1392000 | #Constraints: 92042 2144.41/2150.48 c #Conflicts: 1393000 | #Constraints: 93042 2144.41/2150.48 c #Conflicts: 1394000 | #Constraints: 94042 2144.41/2150.48 c #Conflicts: 1395000 | #Constraints: 95042 2144.41/2150.48 c #Conflicts: 1396000 | #Constraints: 96042 2144.41/2150.48 c #Conflicts: 1397000 | #Constraints: 97042 2144.41/2150.48 c #Conflicts: 1398000 | #Constraints: 98042 2144.41/2150.48 c #Conflicts: 1399000 | #Constraints: 99042 2144.41/2150.48 c #Conflicts: 1400000 | #Constraints: 100042 2144.41/2150.48 c #Conflicts: 1401000 | #Constraints: 101042 2144.41/2150.48 c #Conflicts: 1402000 | #Constraints: 102042 2144.41/2150.48 c #Conflicts: 1403000 | #Constraints: 103042 2144.41/2150.48 c #Conflicts: 1404000 | #Constraints: 104042 2144.41/2150.48 c #Conflicts: 1405000 | #Constraints: 105042 2144.41/2150.48 c #Conflicts: 1406000 | #Constraints: 106042 2144.41/2150.48 c #Conflicts: 1407000 | #Constraints: 107042 2144.41/2150.48 c #Conflicts: 1408000 | #Constraints: 108042 2144.41/2150.48 c #Conflicts: 1409000 | #Constraints: 109042 2144.41/2150.48 c #Conflicts: 1410000 | #Constraints: 110042 2144.41/2150.48 c #Conflicts: 1411000 | #Constraints: 111042 2144.41/2150.48 c #Conflicts: 1412000 | #Constraints: 112042 2144.41/2150.48 c #Conflicts: 1413000 | #Constraints: 113042 2144.41/2150.48 c #Conflicts: 1414000 | #Constraints: 114042 2144.41/2150.48 c #Conflicts: 1415000 | #Constraints: 115042 2144.41/2150.48 c #Conflicts: 1416000 | #Constraints: 116042 2144.41/2150.48 c #Conflicts: 1417000 | #Constraints: 117042 2144.41/2150.48 c #Conflicts: 1418000 | #Constraints: 118042 2144.41/2150.48 c #Conflicts: 1419000 | #Constraints: 119042 2144.41/2150.48 c #Conflicts: 1420000 | #Constraints: 120042 2144.41/2150.48 c #Conflicts: 1421000 | #Constraints: 121042 2144.41/2150.48 c #Conflicts: 1422000 | #Constraints: 122042 2144.41/2150.48 c #Conflicts: 1423000 | #Constraints: 123042 2144.41/2150.48 c #Conflicts: 1424000 | #Constraints: 124042 2144.41/2150.48 c #Conflicts: 1425000 | #Constraints: 125042 2144.41/2150.48 c #Conflicts: 1426000 | #Constraints: 126042 2144.41/2150.48 c #Conflicts: 1427000 | #Constraints: 127042 2144.41/2150.48 c #Conflicts: 1428000 | #Constraints: 128042 2144.41/2150.48 c #Conflicts: 1429000 | #Constraints: 129042 2144.41/2150.48 c #Conflicts: 1430000 | #Constraints: 130042 2144.41/2150.48 c #Conflicts: 1431000 | #Constraints: 131042 2144.41/2150.48 c #Conflicts: 1432000 | #Constraints: 132042 2144.41/2150.48 c #Conflicts: 1433000 | #Constraints: 133042 2144.41/2150.48 c #Conflicts: 1434000 | #Constraints: 134042 2144.41/2150.48 c #Conflicts: 1435000 | #Constraints: 135042 2144.41/2150.48 c #Conflicts: 1436000 | #Constraints: 136042 2144.41/2150.48 c #Conflicts: 1437000 | #Constraints: 137042 2144.41/2150.48 c #Conflicts: 1438000 | #Constraints: 138042 2144.41/2150.48 c #Conflicts: 1439000 | #Constraints: 139042 2144.41/2150.48 c #Conflicts: 1440000 | #Constraints: 140042 2144.41/2150.48 c #Conflicts: 1441000 | #Constraints: 141042 2144.41/2150.48 c #Conflicts: 1442000 | #Constraints: 142042 2144.41/2150.48 c #Conflicts: 1443000 | #Constraints: 143042 2144.41/2150.48 c #Conflicts: 1444000 | #Constraints: 144042 2144.41/2150.48 c #Conflicts: 1445000 | #Constraints: 145042 2144.41/2150.48 c #Conflicts: 1446000 | #Constraints: 146042 2144.41/2150.48 c #Conflicts: 1447000 | #Constraints: 147042 2144.41/2150.48 c #Conflicts: 1448000 | #Constraints: 148042 2144.41/2150.48 c #Conflicts: 1449000 | #Constraints: 149042 2144.41/2150.48 c #Conflicts: 1450000 | #Constraints: 150042 2144.41/2150.48 c #Conflicts: 1451000 | #Constraints: 151042 2144.41/2150.48 c #Conflicts: 1452000 | #Constraints: 152042 2144.41/2150.48 c #Conflicts: 1453000 | #Constraints: 153042 2144.41/2150.48 c #Conflicts: 1454000 | #Constraints: 154042 2144.41/2150.48 c #Conflicts: 1455000 | #Constraints: 155042 2144.41/2150.48 c #Conflicts: 1456000 | #Constraints: 156042 2144.41/2150.48 c #Conflicts: 1457000 | #Constraints: 157042 2144.41/2150.48 c #Conflicts: 1458000 | #Constraints: 158042 2144.41/2150.48 c #Conflicts: 1459000 | #Constraints: 159042 2144.41/2150.48 c #Conflicts: 1460000 | #Constraints: 160042 2144.41/2150.48 c #Conflicts: 1461000 | #Constraints: 161042 2144.41/2150.48 c #Conflicts: 1462000 | #Constraints: 162042 2144.41/2150.48 c #Conflicts: 1463000 | #Constraints: 163042 2144.41/2150.48 c #Conflicts: 1464000 | #Constraints: 164042 2144.41/2150.48 c #Conflicts: 1465000 | #Constraints: 165042 2144.41/2150.48 c #Conflicts: 1466000 | #Constraints: 166042 2144.41/2150.48 c #Conflicts: 1467000 | #Constraints: 167042 2144.41/2150.48 c #Conflicts: 1468000 | #Constraints: 168042 2144.41/2150.48 c #Conflicts: 1469000 | #Constraints: 169042 2144.41/2150.48 c #Conflicts: 1470000 | #Constraints: 170042 2144.51/2150.56 c INPROCESSING 2144.51/2150.56 c GARBAGE COLLECT 2144.51/2150.56 c rational objective -106 2210.41/2216.60 c #Conflicts: 1471000 | #Constraints: 108187 2210.41/2216.60 c #Conflicts: 1472000 | #Constraints: 109187 2210.41/2216.60 c #Conflicts: 1473000 | #Constraints: 110187 2210.41/2216.60 c #Conflicts: 1474000 | #Constraints: 111187 2210.41/2216.60 c #Conflicts: 1475000 | #Constraints: 112187 2210.41/2216.60 c #Conflicts: 1476000 | #Constraints: 113187 2210.41/2216.60 c #Conflicts: 1477000 | #Constraints: 114187 2210.41/2216.60 c #Conflicts: 1478000 | #Constraints: 115187 2210.41/2216.60 c #Conflicts: 1479000 | #Constraints: 116187 2210.41/2216.60 c #Conflicts: 1480000 | #Constraints: 117187 2210.41/2216.60 c #Conflicts: 1481000 | #Constraints: 118187 2210.41/2216.60 c #Conflicts: 1482000 | #Constraints: 119187 2210.41/2216.60 c #Conflicts: 1483000 | #Constraints: 120187 2210.41/2216.60 c #Conflicts: 1484000 | #Constraints: 121187 2210.41/2216.60 c #Conflicts: 1485000 | #Constraints: 122187 2210.41/2216.60 c #Conflicts: 1486000 | #Constraints: 123187 2210.41/2216.60 c #Conflicts: 1487000 | #Constraints: 124187 2210.41/2216.60 c #Conflicts: 1488000 | #Constraints: 125187 2210.41/2216.60 c #Conflicts: 1489000 | #Constraints: 126187 2210.41/2216.60 c #Conflicts: 1490000 | #Constraints: 127187 2210.41/2216.60 c #Conflicts: 1491000 | #Constraints: 128187 2210.41/2216.60 c #Conflicts: 1492000 | #Constraints: 129187 2210.41/2216.60 c #Conflicts: 1493000 | #Constraints: 130187 2210.41/2216.60 c #Conflicts: 1494000 | #Constraints: 131187 2210.41/2216.60 c #Conflicts: 1495000 | #Constraints: 132187 2210.41/2216.60 c #Conflicts: 1496000 | #Constraints: 133187 2210.41/2216.60 c #Conflicts: 1497000 | #Constraints: 134187 2210.41/2216.60 c #Conflicts: 1498000 | #Constraints: 135187 2210.41/2216.60 c #Conflicts: 1499000 | #Constraints: 136187 2210.41/2216.60 c #Conflicts: 1500000 | #Constraints: 137187 2210.41/2216.60 c #Conflicts: 1501000 | #Constraints: 138187 2210.41/2216.60 c #Conflicts: 1502000 | #Constraints: 139187 2210.41/2216.60 c #Conflicts: 1503000 | #Constraints: 140187 2210.41/2216.60 c #Conflicts: 1504000 | #Constraints: 141187 2210.41/2216.60 c INPROCESSING 2210.41/2216.60 c GARBAGE COLLECT 2210.41/2216.60 c rational objective -106 2624.11/2631.58 c #Conflicts: 1505000 | #Constraints: 93506 2624.11/2631.58 c #Conflicts: 1506000 | #Constraints: 94507 2624.11/2631.58 c #Conflicts: 1507000 | #Constraints: 95534 2624.11/2631.58 c #Conflicts: 1508000 | #Constraints: 96567 2624.11/2631.58 c #Conflicts: 1509000 | #Constraints: 97620 2624.11/2631.58 c #Conflicts: 1510000 | #Constraints: 98677 2624.11/2631.58 c #Conflicts: 1511000 | #Constraints: 99742 2624.11/2631.58 c #Conflicts: 1512000 | #Constraints: 100822 2624.11/2631.58 c #Conflicts: 1513000 | #Constraints: 101879 2624.11/2631.58 c #Conflicts: 1514000 | #Constraints: 102934 2624.11/2631.58 c #Conflicts: 1515000 | #Constraints: 103994 2624.11/2631.58 c #Conflicts: 1516000 | #Constraints: 105047 2624.11/2631.58 c #Conflicts: 1517000 | #Constraints: 106097 2624.11/2631.58 c #Conflicts: 1518000 | #Constraints: 107159 2624.11/2631.58 c #Conflicts: 1519000 | #Constraints: 108217 2624.11/2631.58 c #Conflicts: 1520000 | #Constraints: 109271 2624.11/2631.58 c #Conflicts: 1521000 | #Constraints: 110328 2624.11/2631.58 c #Conflicts: 1522000 | #Constraints: 111394 2624.11/2631.58 c #Conflicts: 1523000 | #Constraints: 112455 2624.11/2631.58 c #Conflicts: 1524000 | #Constraints: 113497 2624.21/2631.63 c #Conflicts: 1525000 | #Constraints: 114541 2624.21/2631.63 c #Conflicts: 1526000 | #Constraints: 115588 2624.21/2631.63 c #Conflicts: 1527000 | #Constraints: 116651 2624.21/2631.63 c #Conflicts: 1528000 | #Constraints: 117709 2624.21/2631.63 c #Conflicts: 1529000 | #Constraints: 118769 2624.21/2631.63 c #Conflicts: 1530000 | #Constraints: 119822 2624.21/2631.63 c #Conflicts: 1531000 | #Constraints: 120875 2624.21/2631.63 c #Conflicts: 1532000 | #Constraints: 121924 2624.21/2631.63 c #Conflicts: 1533000 | #Constraints: 122986 2624.21/2631.63 c #Conflicts: 1534000 | #Constraints: 124039 2624.21/2631.63 c #Conflicts: 1535000 | #Constraints: 125101 2624.21/2631.63 c #Conflicts: 1536000 | #Constraints: 126166 2624.21/2631.63 c #Conflicts: 1537000 | #Constraints: 127227 2624.21/2631.63 c #Conflicts: 1538000 | #Constraints: 128295 2624.21/2631.63 c #Conflicts: 1539000 | #Constraints: 129348 2624.21/2631.63 c #Conflicts: 1540000 | #Constraints: 130411 2624.21/2631.63 c #Conflicts: 1541000 | #Constraints: 131475 2624.21/2631.63 c #Conflicts: 1542000 | #Constraints: 132534 2624.21/2631.63 c #Conflicts: 1543000 | #Constraints: 133600 2624.21/2631.63 c #Conflicts: 1544000 | #Constraints: 134652 2624.21/2631.63 c #Conflicts: 1545000 | #Constraints: 135704 2624.21/2631.63 c #Conflicts: 1546000 | #Constraints: 136764 2624.21/2631.63 c #Conflicts: 1547000 | #Constraints: 137810 2624.21/2631.63 c #Conflicts: 1548000 | #Constraints: 138858 2624.21/2631.63 c #Conflicts: 1549000 | #Constraints: 139907 2624.21/2631.63 c #Conflicts: 1550000 | #Constraints: 140964 2624.21/2631.63 c #Conflicts: 1551000 | #Constraints: 142002 2624.21/2631.63 c #Conflicts: 1552000 | #Constraints: 143061 2624.21/2631.63 c #Conflicts: 1553000 | #Constraints: 144128 2624.21/2631.63 c #Conflicts: 1554000 | #Constraints: 145182 2624.21/2631.63 c #Conflicts: 1555000 | #Constraints: 146237 2624.21/2631.63 c #Conflicts: 1556000 | #Constraints: 147288 2624.21/2631.63 c #Conflicts: 1557000 | #Constraints: 148337 2624.21/2631.63 c #Conflicts: 1558000 | #Constraints: 149388 2624.21/2631.63 c #Conflicts: 1559000 | #Constraints: 150442 2624.21/2631.63 c #Conflicts: 1560000 | #Constraints: 151498 2624.21/2631.63 c #Conflicts: 1561000 | #Constraints: 152547 2624.21/2631.63 c #Conflicts: 1562000 | #Constraints: 153596 2624.21/2631.63 c #Conflicts: 1563000 | #Constraints: 154639 2624.21/2631.63 c #Conflicts: 1564000 | #Constraints: 155689 2624.21/2631.63 c #Conflicts: 1565000 | #Constraints: 156741 2624.21/2631.63 c #Conflicts: 1566000 | #Constraints: 157782 2624.21/2631.63 c #Conflicts: 1567000 | #Constraints: 158824 2624.21/2631.63 c #Conflicts: 1568000 | #Constraints: 159873 2624.21/2631.63 c #Conflicts: 1569000 | #Constraints: 160919 2624.21/2631.63 c #Conflicts: 1570000 | #Constraints: 161958 2624.21/2631.63 c #Conflicts: 1571000 | #Constraints: 162997 2624.21/2631.63 c #Conflicts: 1572000 | #Constraints: 164045 2624.21/2631.63 c #Conflicts: 1573000 | #Constraints: 165085 2624.21/2631.63 c #Conflicts: 1574000 | #Constraints: 166117 2624.21/2631.63 c #Conflicts: 1575000 | #Constraints: 167163 2624.21/2631.63 c #Conflicts: 1576000 | #Constraints: 168199 2624.21/2631.63 c #Conflicts: 1577000 | #Constraints: 169241 2624.21/2631.63 c #Conflicts: 1578000 | #Constraints: 170278 2624.21/2631.63 c #Conflicts: 1579000 | #Constraints: 171320 2624.21/2631.63 c #Conflicts: 1580000 | #Constraints: 172361 2624.21/2631.63 c #Conflicts: 1581000 | #Constraints: 173407 2624.21/2631.63 c #Conflicts: 1582000 | #Constraints: 174450 2624.21/2631.63 c #Conflicts: 1583000 | #Constraints: 175487 2654.73/2662.20 c #Conflicts: 1584000 | #Constraints: 176530 2654.73/2662.20 c #Conflicts: 1585000 | #Constraints: 177575 2654.73/2662.20 c #Conflicts: 1586000 | #Constraints: 178620 2654.73/2662.20 c INPROCESSING 2654.73/2662.20 c GARBAGE COLLECT 2654.73/2662.20 c rational objective -106 2723.13/2730.83 c #Conflicts: 1587000 | #Constraints: 112364 2723.13/2730.83 c #Conflicts: 1588000 | #Constraints: 113364 2723.13/2730.83 c #Conflicts: 1589000 | #Constraints: 114364 2723.13/2730.83 c #Conflicts: 1590000 | #Constraints: 115364 2723.13/2730.83 c #Conflicts: 1591000 | #Constraints: 116364 2723.13/2730.83 c #Conflicts: 1592000 | #Constraints: 117364 2723.13/2730.83 c #Conflicts: 1593000 | #Constraints: 118364 2723.13/2730.83 c #Conflicts: 1594000 | #Constraints: 119364 2723.13/2730.83 c #Conflicts: 1595000 | #Constraints: 120364 2723.13/2730.83 c #Conflicts: 1596000 | #Constraints: 121364 2723.13/2730.83 c #Conflicts: 1597000 | #Constraints: 122364 2723.13/2730.83 c #Conflicts: 1598000 | #Constraints: 123364 2723.13/2730.83 c #Conflicts: 1599000 | #Constraints: 124364 2723.13/2730.83 c #Conflicts: 1600000 | #Constraints: 125364 2723.13/2730.83 c #Conflicts: 1601000 | #Constraints: 126364 2723.13/2730.83 c #Conflicts: 1602000 | #Constraints: 127364 2723.13/2730.83 c #Conflicts: 1603000 | #Constraints: 128364 2723.13/2730.83 c #Conflicts: 1604000 | #Constraints: 129364 2723.13/2730.83 c #Conflicts: 1605000 | #Constraints: 130364 2723.13/2730.83 c #Conflicts: 1606000 | #Constraints: 131364 2723.13/2730.83 c #Conflicts: 1607000 | #Constraints: 132364 2723.13/2730.83 c #Conflicts: 1608000 | #Constraints: 133364 2723.13/2730.83 c #Conflicts: 1609000 | #Constraints: 134364 2723.13/2730.83 c #Conflicts: 1610000 | #Constraints: 135364 2723.13/2730.83 c #Conflicts: 1611000 | #Constraints: 136364 2723.13/2730.83 c #Conflicts: 1612000 | #Constraints: 137364 2723.13/2730.83 c #Conflicts: 1613000 | #Constraints: 138364 2723.13/2730.83 c #Conflicts: 1614000 | #Constraints: 139364 2723.13/2730.83 c #Conflicts: 1615000 | #Constraints: 140364 2723.13/2730.83 c #Conflicts: 1616000 | #Constraints: 141364 2723.13/2730.83 c #Conflicts: 1617000 | #Constraints: 142364 2723.13/2730.83 c #Conflicts: 1618000 | #Constraints: 143364 2723.13/2730.83 c #Conflicts: 1619000 | #Constraints: 144364 2723.13/2730.83 c #Conflicts: 1620000 | #Constraints: 145364 2723.13/2730.83 c #Conflicts: 1621000 | #Constraints: 146364 2723.13/2730.83 c INPROCESSING 2723.13/2730.83 c GARBAGE COLLECT 2723.13/2730.83 c rational objective -106 2780.07/2787.91 c #Conflicts: 1622000 | #Constraints: 95973 2780.07/2787.91 c #Conflicts: 1623000 | #Constraints: 96973 2780.07/2787.91 c #Conflicts: 1624000 | #Constraints: 97973 2780.07/2787.91 c #Conflicts: 1625000 | #Constraints: 98973 2780.07/2787.91 c #Conflicts: 1626000 | #Constraints: 99973 2780.07/2787.91 c #Conflicts: 1627000 | #Constraints: 100973 2780.07/2787.91 c #Conflicts: 1628000 | #Constraints: 101973 2780.07/2787.91 c #Conflicts: 1629000 | #Constraints: 102973 2780.07/2787.91 c #Conflicts: 1630000 | #Constraints: 103973 2780.07/2787.91 c #Conflicts: 1631000 | #Constraints: 104973 2780.07/2787.91 c #Conflicts: 1632000 | #Constraints: 105973 2780.07/2787.91 c #Conflicts: 1633000 | #Constraints: 106973 2780.07/2787.91 c #Conflicts: 1634000 | #Constraints: 107973 2780.07/2787.91 c #Conflicts: 1635000 | #Constraints: 108973 2780.07/2787.91 c #Conflicts: 1636000 | #Constraints: 109973 2780.07/2787.91 c #Conflicts: 1637000 | #Constraints: 110973 2780.07/2787.91 c #Conflicts: 1638000 | #Constraints: 111973 2780.07/2787.91 c #Conflicts: 1639000 | #Constraints: 112973 2780.07/2787.91 c #Conflicts: 1640000 | #Constraints: 113973 2780.07/2787.91 c #Conflicts: 1641000 | #Constraints: 114973 2780.07/2787.91 c #Conflicts: 1642000 | #Constraints: 115973 2780.07/2787.91 c #Conflicts: 1643000 | #Constraints: 116973 2780.07/2787.91 c #Conflicts: 1644000 | #Constraints: 117973 2780.07/2787.91 c #Conflicts: 1645000 | #Constraints: 118973 2780.07/2787.91 c #Conflicts: 1646000 | #Constraints: 119973 2780.07/2787.91 c #Conflicts: 1647000 | #Constraints: 120973 2780.07/2787.91 c #Conflicts: 1648000 | #Constraints: 121973 2780.07/2787.91 c #Conflicts: 1649000 | #Constraints: 122973 2780.07/2787.91 c #Conflicts: 1650000 | #Constraints: 123973 2780.07/2787.91 c #Conflicts: 1651000 | #Constraints: 124973 2780.07/2787.91 c #Conflicts: 1652000 | #Constraints: 125973 2780.07/2787.91 c #Conflicts: 1653000 | #Constraints: 126973 2780.07/2787.91 c #Conflicts: 1654000 | #Constraints: 127973 2780.07/2787.91 c #Conflicts: 1655000 | #Constraints: 128973 2780.07/2787.91 c #Conflicts: 1656000 | #Constraints: 129973 2780.07/2787.91 c #Conflicts: 1657000 | #Constraints: 130973 2780.07/2787.91 c INPROCESSING 2780.07/2787.91 c GARBAGE COLLECT 2780.07/2787.91 c rational objective -106 2949.58/2957.93 c #Conflicts: 1658000 | #Constraints: 94455 2949.58/2957.93 c #Conflicts: 1659000 | #Constraints: 95455 2949.58/2957.93 c #Conflicts: 1660000 | #Constraints: 96455 2949.58/2957.93 c #Conflicts: 1661000 | #Constraints: 97455 2949.58/2957.93 c #Conflicts: 1662000 | #Constraints: 98455 2949.58/2957.93 c #Conflicts: 1663000 | #Constraints: 99455 2949.58/2957.93 c #Conflicts: 1664000 | #Constraints: 100455 2949.58/2957.93 c #Conflicts: 1665000 | #Constraints: 101455 2949.58/2957.93 c #Conflicts: 1666000 | #Constraints: 102455 2949.58/2957.93 c #Conflicts: 1667000 | #Constraints: 103455 2949.58/2957.93 c #Conflicts: 1668000 | #Constraints: 104455 2949.58/2957.93 c #Conflicts: 1669000 | #Constraints: 105455 2949.58/2957.93 c #Conflicts: 1670000 | #Constraints: 106455 2949.58/2957.93 c #Conflicts: 1671000 | #Constraints: 107455 2949.58/2957.93 c #Conflicts: 1672000 | #Constraints: 108455 2949.58/2957.93 c #Conflicts: 1673000 | #Constraints: 109455 2949.58/2957.93 c #Conflicts: 1674000 | #Constraints: 110455 2949.58/2957.93 c #Conflicts: 1675000 | #Constraints: 111455 2949.58/2957.93 c #Conflicts: 1676000 | #Constraints: 112455 2949.58/2957.93 c #Conflicts: 1677000 | #Constraints: 113455 2949.58/2957.93 c #Conflicts: 1678000 | #Constraints: 114455 2949.58/2957.93 c #Conflicts: 1679000 | #Constraints: 115455 2949.58/2957.93 c #Conflicts: 1680000 | #Constraints: 116455 2949.58/2957.93 c #Conflicts: 1681000 | #Constraints: 117455 2949.58/2957.93 c #Conflicts: 1682000 | #Constraints: 118455 2949.58/2957.93 c #Conflicts: 1683000 | #Constraints: 119455 2949.58/2957.93 c #Conflicts: 1684000 | #Constraints: 120455 2949.58/2957.93 c #Conflicts: 1685000 | #Constraints: 121455 2949.58/2957.93 c #Conflicts: 1686000 | #Constraints: 122455 2949.58/2957.93 c #Conflicts: 1687000 | #Constraints: 123455 2949.58/2957.93 c #Conflicts: 1688000 | #Constraints: 124455 2949.58/2957.93 c #Conflicts: 1689000 | #Constraints: 125455 2949.58/2957.93 c #Conflicts: 1690000 | #Constraints: 126455 2949.58/2957.93 c #Conflicts: 1691000 | #Constraints: 127455 2949.58/2957.93 c #Conflicts: 1692000 | #Constraints: 128455 2949.58/2957.93 c #Conflicts: 1693000 | #Constraints: 129455 2949.58/2957.93 c #Conflicts: 1694000 | #Constraints: 130455 2949.58/2957.93 c #Conflicts: 1695000 | #Constraints: 131455 2949.58/2957.93 c #Conflicts: 1696000 | #Constraints: 132455 2949.58/2957.93 c #Conflicts: 1697000 | #Constraints: 133455 2949.58/2957.93 c #Conflicts: 1698000 | #Constraints: 134455 2949.58/2957.93 c #Conflicts: 1699000 | #Constraints: 135455 2949.58/2957.93 c #Conflicts: 1700000 | #Constraints: 136455 2949.58/2957.93 c #Conflicts: 1701000 | #Constraints: 137455 2949.58/2957.93 c #Conflicts: 1702000 | #Constraints: 138455 2949.58/2957.93 c #Conflicts: 1703000 | #Constraints: 139455 2949.58/2957.93 c #Conflicts: 1704000 | #Constraints: 140455 2949.58/2957.93 c #Conflicts: 1705000 | #Constraints: 141455 2949.58/2957.93 c #Conflicts: 1706000 | #Constraints: 142455 2949.58/2957.93 c #Conflicts: 1707000 | #Constraints: 143455 2949.58/2957.93 c #Conflicts: 1708000 | #Constraints: 144455 2949.58/2957.93 c #Conflicts: 1709000 | #Constraints: 145455 2949.58/2957.93 c #Conflicts: 1710000 | #Constraints: 146455 2949.58/2957.93 c #Conflicts: 1711000 | #Constraints: 147455 2949.58/2957.93 c #Conflicts: 1712000 | #Constraints: 148455 2949.58/2957.93 c #Conflicts: 1713000 | #Constraints: 149455 2949.58/2957.93 c #Conflicts: 1714000 | #Constraints: 150455 2949.58/2957.93 c #Conflicts: 1715000 | #Constraints: 151455 2949.58/2957.93 c #Conflicts: 1716000 | #Constraints: 152455 2949.58/2957.93 c #Conflicts: 1717000 | #Constraints: 153455 2949.58/2957.93 c #Conflicts: 1718000 | #Constraints: 154455 2949.58/2957.93 c #Conflicts: 1719000 | #Constraints: 155455 2949.58/2957.93 c #Conflicts: 1720000 | #Constraints: 156455 2949.58/2957.93 c #Conflicts: 1721000 | #Constraints: 157455 2949.58/2957.93 c #Conflicts: 1722000 | #Constraints: 158455 2949.58/2957.93 c #Conflicts: 1723000 | #Constraints: 159455 2949.58/2957.93 c bounds -33 >= -105 @ 2895.09 2949.58/2957.93 c #Conflicts: 1724000 | #Constraints: 160488 2949.58/2957.93 c #Conflicts: 1725000 | #Constraints: 161488 2949.58/2957.93 c #Conflicts: 1726000 | #Constraints: 162488 2949.58/2957.93 c #Conflicts: 1727000 | #Constraints: 163488 2949.58/2957.93 c #Conflicts: 1728000 | #Constraints: 164488 2949.58/2957.93 c #Conflicts: 1729000 | #Constraints: 165488 2949.58/2957.93 c #Conflicts: 1730000 | #Constraints: 166488 2949.58/2957.93 c #Conflicts: 1731000 | #Constraints: 167488 2949.58/2957.93 c #Conflicts: 1732000 | #Constraints: 168488 2949.58/2957.93 c #Conflicts: 1733000 | #Constraints: 169488 2949.58/2957.93 c #Conflicts: 1734000 | #Constraints: 170488 2949.58/2957.93 c #Conflicts: 1735000 | #Constraints: 171488 2949.58/2957.93 c #Conflicts: 1736000 | #Constraints: 172488 2976.79/2985.25 c #Conflicts: 1737000 | #Constraints: 173488 2976.79/2985.25 c #Conflicts: 1738000 | #Constraints: 174488 2976.79/2985.25 c #Conflicts: 1739000 | #Constraints: 175488 2976.79/2985.25 c #Conflicts: 1740000 | #Constraints: 176488 2976.79/2985.25 c #Conflicts: 1741000 | #Constraints: 177488 2976.79/2985.25 c #Conflicts: 1742000 | #Constraints: 178488 2976.79/2985.25 c #Conflicts: 1743000 | #Constraints: 179488 2976.79/2985.25 c INPROCESSING 2976.79/2985.25 c GARBAGE COLLECT 2976.79/2985.25 c rational objective -105 3047.07/3055.72 c #Conflicts: 1744000 | #Constraints: 112697 3047.07/3055.72 c #Conflicts: 1745000 | #Constraints: 113697 3047.07/3055.72 c #Conflicts: 1746000 | #Constraints: 114697 3047.07/3055.72 c #Conflicts: 1747000 | #Constraints: 115697 3047.07/3055.72 c #Conflicts: 1748000 | #Constraints: 116697 3047.07/3055.72 c #Conflicts: 1749000 | #Constraints: 117697 3047.07/3055.72 c #Conflicts: 1750000 | #Constraints: 118697 3047.07/3055.72 c #Conflicts: 1751000 | #Constraints: 119697 3047.07/3055.72 c #Conflicts: 1752000 | #Constraints: 120697 3047.07/3055.72 c #Conflicts: 1753000 | #Constraints: 121697 3047.07/3055.72 c #Conflicts: 1754000 | #Constraints: 122697 3047.07/3055.72 c #Conflicts: 1755000 | #Constraints: 123697 3047.07/3055.72 c #Conflicts: 1756000 | #Constraints: 124697 3047.07/3055.72 c #Conflicts: 1757000 | #Constraints: 125697 3047.07/3055.72 c #Conflicts: 1758000 | #Constraints: 126697 3047.07/3055.72 c #Conflicts: 1759000 | #Constraints: 127697 3047.07/3055.72 c #Conflicts: 1760000 | #Constraints: 128697 3047.07/3055.72 c #Conflicts: 1761000 | #Constraints: 129697 3047.07/3055.72 c #Conflicts: 1762000 | #Constraints: 130697 3047.07/3055.72 c #Conflicts: 1763000 | #Constraints: 131697 3047.07/3055.72 c #Conflicts: 1764000 | #Constraints: 132697 3047.07/3055.72 c #Conflicts: 1765000 | #Constraints: 133697 3047.07/3055.72 c #Conflicts: 1766000 | #Constraints: 134697 3047.07/3055.72 c #Conflicts: 1767000 | #Constraints: 135697 3047.07/3055.72 c #Conflicts: 1768000 | #Constraints: 136697 3047.07/3055.72 c #Conflicts: 1769000 | #Constraints: 137697 3047.07/3055.72 c #Conflicts: 1770000 | #Constraints: 138697 3047.07/3055.72 c #Conflicts: 1771000 | #Constraints: 139697 3047.07/3055.72 c #Conflicts: 1772000 | #Constraints: 140697 3047.07/3055.72 c #Conflicts: 1773000 | #Constraints: 141697 3047.07/3055.72 c #Conflicts: 1774000 | #Constraints: 142697 3047.07/3055.72 c #Conflicts: 1775000 | #Constraints: 143697 3047.07/3055.72 c #Conflicts: 1776000 | #Constraints: 144697 3047.07/3055.72 c #Conflicts: 1777000 | #Constraints: 145697 3047.07/3055.72 c #Conflicts: 1778000 | #Constraints: 146697 3047.07/3055.72 c #Conflicts: 1779000 | #Constraints: 147697 3047.07/3055.72 c #Conflicts: 1780000 | #Constraints: 148697 3047.07/3055.72 c INPROCESSING 3047.07/3055.72 c GARBAGE COLLECT 3047.07/3055.72 c rational objective -105 3221.68/3230.85 c #Conflicts: 1781000 | #Constraints: 97373 3221.68/3230.85 c #Conflicts: 1782000 | #Constraints: 98373 3221.68/3230.85 c #Conflicts: 1783000 | #Constraints: 99373 3221.68/3230.85 c #Conflicts: 1784000 | #Constraints: 100373 3221.68/3230.85 c #Conflicts: 1785000 | #Constraints: 101373 3221.68/3230.85 c #Conflicts: 1786000 | #Constraints: 102373 3221.68/3230.85 c #Conflicts: 1787000 | #Constraints: 103373 3221.68/3230.85 c #Conflicts: 1788000 | #Constraints: 104373 3221.68/3230.85 c #Conflicts: 1789000 | #Constraints: 105373 3221.68/3230.85 c #Conflicts: 1790000 | #Constraints: 106373 3221.68/3230.85 c #Conflicts: 1791000 | #Constraints: 107373 3221.68/3230.85 c #Conflicts: 1792000 | #Constraints: 108373 3221.68/3230.85 c #Conflicts: 1793000 | #Constraints: 109373 3221.68/3230.85 c #Conflicts: 1794000 | #Constraints: 110373 3221.68/3230.85 c #Conflicts: 1795000 | #Constraints: 111373 3221.68/3230.85 c #Conflicts: 1796000 | #Constraints: 112373 3221.68/3230.85 c #Conflicts: 1797000 | #Constraints: 113373 3221.68/3230.85 c #Conflicts: 1798000 | #Constraints: 114373 3221.68/3230.85 c #Conflicts: 1799000 | #Constraints: 115373 3221.68/3230.85 c #Conflicts: 1800000 | #Constraints: 116373 3221.68/3230.85 c #Conflicts: 1801000 | #Constraints: 117373 3221.68/3230.85 c #Conflicts: 1802000 | #Constraints: 118373 3221.68/3230.85 c #Conflicts: 1803000 | #Constraints: 119373 3221.68/3230.85 c #Conflicts: 1804000 | #Constraints: 120373 3221.68/3230.85 c #Conflicts: 1805000 | #Constraints: 121373 3221.68/3230.85 c #Conflicts: 1806000 | #Constraints: 122373 3221.68/3230.85 c #Conflicts: 1807000 | #Constraints: 123373 3221.68/3230.85 c #Conflicts: 1808000 | #Constraints: 124373 3221.68/3230.85 c #Conflicts: 1809000 | #Constraints: 125373 3221.68/3230.85 c #Conflicts: 1810000 | #Constraints: 126373 3221.68/3230.85 c #Conflicts: 1811000 | #Constraints: 127373 3221.68/3230.85 c #Conflicts: 1812000 | #Constraints: 128373 3221.68/3230.85 c #Conflicts: 1813000 | #Constraints: 129373 3221.68/3230.85 c #Conflicts: 1814000 | #Constraints: 130373 3221.68/3230.85 c #Conflicts: 1815000 | #Constraints: 131373 3221.68/3230.85 c #Conflicts: 1816000 | #Constraints: 132373 3221.68/3230.85 c #Conflicts: 1817000 | #Constraints: 133373 3221.68/3230.85 c #Conflicts: 1818000 | #Constraints: 134373 3221.68/3230.85 c #Conflicts: 1819000 | #Constraints: 135373 3221.68/3230.85 c #Conflicts: 1820000 | #Constraints: 136373 3221.68/3230.85 c #Conflicts: 1821000 | #Constraints: 137373 3221.68/3230.85 c #Conflicts: 1822000 | #Constraints: 138373 3221.68/3230.85 c #Conflicts: 1823000 | #Constraints: 139373 3221.68/3230.85 c #Conflicts: 1824000 | #Constraints: 140373 3221.68/3230.85 c #Conflicts: 1825000 | #Constraints: 141373 3221.68/3230.85 c #Conflicts: 1826000 | #Constraints: 142373 3221.68/3230.85 c #Conflicts: 1827000 | #Constraints: 143373 3221.68/3230.85 c #Conflicts: 1828000 | #Constraints: 144373 3221.68/3230.85 c #Conflicts: 1829000 | #Constraints: 145373 3221.68/3230.85 c #Conflicts: 1830000 | #Constraints: 146373 3221.68/3230.85 c #Conflicts: 1831000 | #Constraints: 147373 3221.68/3230.85 c #Conflicts: 1832000 | #Constraints: 148373 3221.68/3230.85 c #Conflicts: 1833000 | #Constraints: 149373 3221.68/3230.85 c #Conflicts: 1834000 | #Constraints: 150373 3221.68/3230.85 c #Conflicts: 1835000 | #Constraints: 151373 3221.68/3230.85 c #Conflicts: 1836000 | #Constraints: 152373 3221.68/3230.85 c #Conflicts: 1837000 | #Constraints: 153373 3221.68/3230.85 c #Conflicts: 1838000 | #Constraints: 154373 3221.68/3230.85 c #Conflicts: 1839000 | #Constraints: 155373 3221.68/3230.85 c #Conflicts: 1840000 | #Constraints: 156373 3221.68/3230.85 c #Conflicts: 1841000 | #Constraints: 157373 3221.68/3230.85 c #Conflicts: 1842000 | #Constraints: 158373 3221.68/3230.85 c #Conflicts: 1843000 | #Constraints: 159373 3221.68/3230.85 c #Conflicts: 1844000 | #Constraints: 160373 3221.68/3230.85 c #Conflicts: 1845000 | #Constraints: 161373 3221.68/3230.85 c #Conflicts: 1846000 | #Constraints: 162373 3221.68/3230.85 c #Conflicts: 1847000 | #Constraints: 163373 3221.68/3230.85 c #Conflicts: 1848000 | #Constraints: 164373 3221.68/3230.85 c #Conflicts: 1849000 | #Constraints: 165373 3221.68/3230.85 c #Conflicts: 1850000 | #Constraints: 166373 3221.68/3230.85 c #Conflicts: 1851000 | #Constraints: 167373 3221.68/3230.85 c #Conflicts: 1852000 | #Constraints: 168373 3221.68/3230.85 c #Conflicts: 1853000 | #Constraints: 169373 3221.68/3230.85 c #Conflicts: 1854000 | #Constraints: 170373 3221.68/3230.85 c #Conflicts: 1855000 | #Constraints: 171373 3221.68/3230.85 c #Conflicts: 1856000 | #Constraints: 172373 3221.68/3230.85 c #Conflicts: 1857000 | #Constraints: 173373 3221.68/3230.85 c #Conflicts: 1858000 | #Constraints: 174373 3221.68/3230.85 c #Conflicts: 1859000 | #Constraints: 175373 3260.17/3269.45 c #Conflicts: 1860000 | #Constraints: 176373 3260.17/3269.45 c #Conflicts: 1861000 | #Constraints: 177373 3260.17/3269.45 c #Conflicts: 1862000 | #Constraints: 178373 3260.17/3269.45 c #Conflicts: 1863000 | #Constraints: 179373 3260.17/3269.45 c #Conflicts: 1864000 | #Constraints: 180373 3260.17/3269.45 c #Conflicts: 1865000 | #Constraints: 181373 3260.17/3269.45 c #Conflicts: 1866000 | #Constraints: 182373 3260.17/3269.45 c #Conflicts: 1867000 | #Constraints: 183373 3260.17/3269.45 c #Conflicts: 1868000 | #Constraints: 184373 3260.17/3269.45 c #Conflicts: 1869000 | #Constraints: 185373 3260.17/3269.45 c INPROCESSING 3260.17/3269.45 c GARBAGE COLLECT 3260.17/3269.45 c rational objective -105 3330.58/3340.10 c #Conflicts: 1870000 | #Constraints: 115575 3330.58/3340.10 c #Conflicts: 1871000 | #Constraints: 116575 3330.58/3340.10 c #Conflicts: 1872000 | #Constraints: 117575 3330.58/3340.10 c #Conflicts: 1873000 | #Constraints: 118575 3330.58/3340.10 c #Conflicts: 1874000 | #Constraints: 119575 3330.58/3340.10 c #Conflicts: 1875000 | #Constraints: 120575 3330.58/3340.10 c #Conflicts: 1876000 | #Constraints: 121575 3330.58/3340.10 c #Conflicts: 1877000 | #Constraints: 122575 3330.58/3340.10 c #Conflicts: 1878000 | #Constraints: 123575 3330.58/3340.10 c #Conflicts: 1879000 | #Constraints: 124575 3330.58/3340.10 c #Conflicts: 1880000 | #Constraints: 125575 3330.58/3340.10 c #Conflicts: 1881000 | #Constraints: 126575 3330.58/3340.10 c #Conflicts: 1882000 | #Constraints: 127575 3330.58/3340.10 c #Conflicts: 1883000 | #Constraints: 128575 3330.58/3340.10 c #Conflicts: 1884000 | #Constraints: 129575 3330.58/3340.10 c #Conflicts: 1885000 | #Constraints: 130575 3330.58/3340.10 c #Conflicts: 1886000 | #Constraints: 131575 3330.58/3340.10 c bounds -33 >= -104 @ 3265.56 3330.58/3340.10 c #Conflicts: 1887000 | #Constraints: 132611 3330.58/3340.10 c #Conflicts: 1888000 | #Constraints: 133611 3330.58/3340.10 c #Conflicts: 1889000 | #Constraints: 134611 3330.58/3340.10 c #Conflicts: 1890000 | #Constraints: 135611 3330.58/3340.10 c #Conflicts: 1891000 | #Constraints: 136611 3330.58/3340.10 c #Conflicts: 1892000 | #Constraints: 137611 3330.58/3340.10 c #Conflicts: 1893000 | #Constraints: 138611 3330.58/3340.10 c #Conflicts: 1894000 | #Constraints: 139611 3330.58/3340.10 c #Conflicts: 1895000 | #Constraints: 140611 3330.58/3340.10 c #Conflicts: 1896000 | #Constraints: 141611 3330.58/3340.10 c #Conflicts: 1897000 | #Constraints: 142611 3330.58/3340.10 c #Conflicts: 1898000 | #Constraints: 143611 3330.58/3340.10 c #Conflicts: 1899000 | #Constraints: 144611 3330.58/3340.10 c #Conflicts: 1900000 | #Constraints: 145611 3330.58/3340.10 c #Conflicts: 1901000 | #Constraints: 146611 3330.58/3340.10 c #Conflicts: 1902000 | #Constraints: 147611 3330.58/3340.10 c #Conflicts: 1903000 | #Constraints: 148611 3330.58/3340.10 c #Conflicts: 1904000 | #Constraints: 149611 3330.58/3340.10 c #Conflicts: 1905000 | #Constraints: 150611 3330.58/3340.10 c #Conflicts: 1906000 | #Constraints: 151611 3330.58/3340.10 c #Conflicts: 1907000 | #Constraints: 152611 3330.58/3340.10 c #Conflicts: 1908000 | #Constraints: 153611 3330.58/3340.10 c INPROCESSING 3330.58/3340.10 c GARBAGE COLLECT 3330.58/3340.10 c rational objective -104 3492.12/3502.05 c #Conflicts: 1909000 | #Constraints: 100788 3492.12/3502.05 c #Conflicts: 1910000 | #Constraints: 101788 3492.12/3502.05 c #Conflicts: 1911000 | #Constraints: 102788 3492.12/3502.05 c #Conflicts: 1912000 | #Constraints: 103788 3492.12/3502.05 c #Conflicts: 1913000 | #Constraints: 104788 3492.12/3502.05 c #Conflicts: 1914000 | #Constraints: 105788 3492.12/3502.05 c #Conflicts: 1915000 | #Constraints: 106788 3492.12/3502.05 c #Conflicts: 1916000 | #Constraints: 107788 3492.12/3502.05 c #Conflicts: 1917000 | #Constraints: 108788 3492.12/3502.05 c #Conflicts: 1918000 | #Constraints: 109788 3492.12/3502.05 c #Conflicts: 1919000 | #Constraints: 110788 3492.12/3502.05 c #Conflicts: 1920000 | #Constraints: 111788 3492.12/3502.05 c #Conflicts: 1921000 | #Constraints: 112788 3492.12/3502.05 c #Conflicts: 1922000 | #Constraints: 113788 3492.12/3502.05 c #Conflicts: 1923000 | #Constraints: 114788 3492.12/3502.05 c #Conflicts: 1924000 | #Constraints: 115788 3492.12/3502.05 c #Conflicts: 1925000 | #Constraints: 116788 3492.12/3502.05 c #Conflicts: 1926000 | #Constraints: 117788 3492.12/3502.05 c #Conflicts: 1927000 | #Constraints: 118788 3492.12/3502.05 c #Conflicts: 1928000 | #Constraints: 119788 3492.12/3502.05 c #Conflicts: 1929000 | #Constraints: 120788 3492.12/3502.05 c #Conflicts: 1930000 | #Constraints: 121788 3492.12/3502.05 c #Conflicts: 1931000 | #Constraints: 122788 3492.12/3502.05 c #Conflicts: 1932000 | #Constraints: 123788 3492.12/3502.05 c #Conflicts: 1933000 | #Constraints: 124788 3492.12/3502.05 c #Conflicts: 1934000 | #Constraints: 125788 3492.12/3502.05 c #Conflicts: 1935000 | #Constraints: 126788 3492.12/3502.05 c #Conflicts: 1936000 | #Constraints: 127788 3492.12/3502.05 c #Conflicts: 1937000 | #Constraints: 128788 3492.12/3502.05 c #Conflicts: 1938000 | #Constraints: 129788 3492.12/3502.05 c #Conflicts: 1939000 | #Constraints: 130788 3492.12/3502.05 c #Conflicts: 1940000 | #Constraints: 131788 3492.12/3502.05 c #Conflicts: 1941000 | #Constraints: 132788 3492.12/3502.05 c #Conflicts: 1942000 | #Constraints: 133788 3492.12/3502.05 c #Conflicts: 1943000 | #Constraints: 134788 3492.12/3502.05 c #Conflicts: 1944000 | #Constraints: 135788 3492.12/3502.05 c #Conflicts: 1945000 | #Constraints: 136788 3492.12/3502.05 c #Conflicts: 1946000 | #Constraints: 137788 3492.12/3502.05 c #Conflicts: 1947000 | #Constraints: 138788 3492.12/3502.05 c #Conflicts: 1948000 | #Constraints: 139788 3492.12/3502.05 c #Conflicts: 1949000 | #Constraints: 140788 3492.12/3502.05 c #Conflicts: 1950000 | #Constraints: 141788 3492.12/3502.05 c #Conflicts: 1951000 | #Constraints: 142788 3492.12/3502.05 c #Conflicts: 1952000 | #Constraints: 143788 3492.12/3502.05 c #Conflicts: 1953000 | #Constraints: 144788 3492.12/3502.05 c #Conflicts: 1954000 | #Constraints: 145788 3492.12/3502.05 c #Conflicts: 1955000 | #Constraints: 146788 3492.12/3502.05 c #Conflicts: 1956000 | #Constraints: 147788 3492.12/3502.05 c #Conflicts: 1957000 | #Constraints: 148788 3492.12/3502.05 c #Conflicts: 1958000 | #Constraints: 149788 3492.12/3502.05 c #Conflicts: 1959000 | #Constraints: 150788 3492.12/3502.05 c #Conflicts: 1960000 | #Constraints: 151788 3492.12/3502.05 c #Conflicts: 1961000 | #Constraints: 152788 3492.12/3502.05 c #Conflicts: 1962000 | #Constraints: 153788 3492.12/3502.05 c #Conflicts: 1963000 | #Constraints: 154788 3492.12/3502.05 c #Conflicts: 1964000 | #Constraints: 155788 3492.12/3502.05 c #Conflicts: 1965000 | #Constraints: 156788 3492.12/3502.05 c #Conflicts: 1966000 | #Constraints: 157788 3492.12/3502.05 c #Conflicts: 1967000 | #Constraints: 158788 3492.12/3502.05 c #Conflicts: 1968000 | #Constraints: 159788 3492.12/3502.05 c #Conflicts: 1969000 | #Constraints: 160788 3492.12/3502.05 c #Conflicts: 1970000 | #Constraints: 161788 3492.12/3502.05 c #Conflicts: 1971000 | #Constraints: 162788 3492.12/3502.05 c #Conflicts: 1972000 | #Constraints: 163788 3492.12/3502.05 c #Conflicts: 1973000 | #Constraints: 164788 3492.12/3502.05 c #Conflicts: 1974000 | #Constraints: 165788 3492.12/3502.05 c #Conflicts: 1975000 | #Constraints: 166788 3492.12/3502.05 c #Conflicts: 1976000 | #Constraints: 167788 3492.12/3502.05 c #Conflicts: 1977000 | #Constraints: 168788 3492.12/3502.05 c #Conflicts: 1978000 | #Constraints: 169788 3492.12/3502.05 c #Conflicts: 1979000 | #Constraints: 170788 3492.12/3502.05 c #Conflicts: 1980000 | #Constraints: 171788 3492.12/3502.05 c #Conflicts: 1981000 | #Constraints: 172788 3492.12/3502.05 c #Conflicts: 1982000 | #Constraints: 173788 3492.12/3502.05 c #Conflicts: 1983000 | #Constraints: 174788 3492.12/3502.05 c #Conflicts: 1984000 | #Constraints: 175788 3492.12/3502.05 c #Conflicts: 1985000 | #Constraints: 176788 3492.12/3502.05 c #Conflicts: 1986000 | #Constraints: 177788 3492.12/3502.05 c #Conflicts: 1987000 | #Constraints: 178788 3534.29/3544.31 c #Conflicts: 1988000 | #Constraints: 179788 3534.29/3544.31 c #Conflicts: 1989000 | #Constraints: 180788 3534.29/3544.31 c #Conflicts: 1990000 | #Constraints: 181788 3534.29/3544.31 c #Conflicts: 1991000 | #Constraints: 182788 3534.29/3544.31 c #Conflicts: 1992000 | #Constraints: 183788 3534.29/3544.31 c #Conflicts: 1993000 | #Constraints: 184788 3534.29/3544.31 c #Conflicts: 1994000 | #Constraints: 185788 3534.29/3544.31 c #Conflicts: 1995000 | #Constraints: 186788 3534.29/3544.31 c #Conflicts: 1996000 | #Constraints: 187788 3534.29/3544.31 c #Conflicts: 1997000 | #Constraints: 188788 3534.29/3544.31 c #Conflicts: 1998000 | #Constraints: 189788 3534.29/3544.31 c #Conflicts: 1999000 | #Constraints: 190788 3534.29/3544.31 c #Conflicts: 2000000 | #Constraints: 191788 3534.29/3544.31 c INPROCESSING 3534.29/3544.31 c GARBAGE COLLECT 3534.29/3544.31 c rational objective -104 3600.08/3610.30 c #Conflicts: 2001000 | #Constraints: 119079 3600.08/3610.30 c #Conflicts: 2002000 | #Constraints: 120079 3600.08/3610.30 c #Conflicts: 2003000 | #Constraints: 121079 3600.08/3610.30 c #Conflicts: 2004000 | #Constraints: 122079 3600.08/3610.30 c #Conflicts: 2005000 | #Constraints: 123079 3600.08/3610.30 c #Conflicts: 2006000 | #Constraints: 124079 3600.08/3610.30 c #Conflicts: 2007000 | #Constraints: 125079 3600.08/3610.30 c #Conflicts: 2008000 | #Constraints: 126079 3600.08/3610.30 c #Conflicts: 2009000 | #Constraints: 127079 3600.08/3610.30 c #Conflicts: 2010000 | #Constraints: 128079 3600.08/3610.30 c #Conflicts: 2011000 | #Constraints: 129079 3600.08/3610.30 c #Conflicts: 2012000 | #Constraints: 130079 3600.08/3610.30 c #Conflicts: 2013000 | #Constraints: 131079 3600.08/3610.30 c #Conflicts: 2014000 | #Constraints: 132079 3600.08/3610.30 c #Conflicts: 2015000 | #Constraints: 133079 3600.08/3610.30 c #Conflicts: 2016000 | #Constraints: 134079 3600.08/3610.30 c #Conflicts: 2017000 | #Constraints: 135079 3600.08/3610.30 c #Conflicts: 2018000 | #Constraints: 136079 3600.08/3610.30 c #Conflicts: 2019000 | #Constraints: 137079 3600.08/3610.30 c #Conflicts: 2020000 | #Constraints: 138079 3600.08/3610.30 c #Conflicts: 2021000 | #Constraints: 139079 3600.08/3610.30 c #Conflicts: 2022000 | #Constraints: 140079 3600.08/3610.30 c #Conflicts: 2023000 | #Constraints: 141079 3600.08/3610.30 c #Conflicts: 2024000 | #Constraints: 142079 3600.08/3610.30 c #Conflicts: 2025000 | #Constraints: 143079 3600.08/3610.30 c #Conflicts: 2026000 | #Constraints: 144079 3600.08/3610.30 c #Conflicts: 2027000 | #Constraints: 145079 3600.08/3610.30 c #Conflicts: 2028000 | #Constraints: 146079 3600.08/3610.30 c #Conflicts: 2029000 | #Constraints: 147079 3600.08/3610.30 c #Conflicts: 2030000 | #Constraints: 148079 3600.08/3610.30 c #Conflicts: 2031000 | #Constraints: 149079 3600.08/3610.30 c #Conflicts: 2032000 | #Constraints: 150079 3600.08/3610.30 c #Conflicts: 2033000 | #Constraints: 151079 3600.08/3610.30 c #Conflicts: 2034000 | #Constraints: 152079 3600.08/3610.30 c #Conflicts: 2035000 | #Constraints: 153079 3600.08/3610.30 c #Conflicts: 2036000 | #Constraints: 154079 3600.08/3610.30 c Program interrupted by user. 3600.08/3610.30 c cpu time 3574.95 s 3600.08/3610.30 c deterministic time 455015563989 4.55e+11 3600.08/3610.30 c optimization time 65.5391 s 3600.08/3610.30 c total solve time 3509.13 s 3600.08/3610.30 c core-guided solve time 2501.87 s 3600.08/3610.30 c propagation time 3179.94 s 3600.08/3610.30 c conflict analysis time 363.778 s 3600.08/3610.30 c propagations 412060087 3600.08/3610.30 c resolve steps 41161802 3600.08/3610.30 c decisions 4451371 3600.08/3610.30 c conflicts 2036813 3600.08/3610.30 c restarts 4025 3600.08/3610.30 c inprocessing phases 59 3600.08/3610.30 c input clauses 42412 3600.08/3610.30 c input cardinalities 1344 3600.08/3610.30 c input general constraints 1040 3600.08/3610.30 c input average constraint length 13.88 3600.08/3610.30 c input average constraint degree 5.91 3600.08/3610.30 c learned clauses 1581214 3600.08/3610.30 c learned cardinalities 70139 3600.08/3610.30 c learned general constraints 402028 3600.08/3610.30 c learned average constraint length 198.59 3600.08/3610.30 c learned average constraint degree 13957841.14 3600.08/3610.30 c watched constraints 377951 3600.08/3610.30 c counting constraints 25117 3600.08/3610.30 c gcd simplifications 100652 3600.08/3610.30 c detected cardinalities 14250 3600.08/3610.30 c weakened non-implied lits 16282831 3600.08/3610.30 c weakened non-implying lits 331418 3600.08/3610.30 c original variables 760 3600.08/3610.30 c clausal propagations 307682935 3600.08/3610.30 c cardinality propagations 25213827 3600.08/3610.30 c watched propagations 20549868 3600.08/3610.30 c counting propagations 56506699 3600.08/3610.30 c watch lookups 45062857144 3600.08/3610.30 c watch backjump lookups 31251279435 3600.08/3610.30 c watch checks 366808260650 3600.08/3610.30 c propagation checks 9904904838 3600.08/3610.30 c constraint additions 1151175552 3600.08/3610.30 c trail pops 418531251 3600.08/3610.30 c formula constraints 41263 3600.08/3610.30 c learned constraints 2020257 3600.08/3610.30 c bound constraints 690 3600.08/3610.30 c core-guided constraints 2843 3600.08/3610.30 c encountered formula constraints 6199599 3600.08/3610.30 c encountered learned constraints 28323757 3600.08/3610.30 c encountered bound constraints 596 3600.08/3610.30 c encountered core-guided constraints 8482315 3600.08/3610.30 c LP total time 503.699 s 3600.08/3610.30 c LP solve time 483.41 s 3600.08/3610.30 c LP constraints added 41263 3600.08/3610.30 c LP constraints removed 0 3600.08/3610.30 c LP pivots internal 2036829 3600.08/3610.30 c LP pivots root 6831 3600.08/3610.30 c LP calls 76903 3600.08/3610.30 c LP optimalities 60341 3600.08/3610.30 c LP no pivot count 33158 3600.08/3610.30 c LP infeasibilities 16562 3600.08/3610.30 c LP valid Farkas constraints 16562 3600.08/3610.30 c LP learned Farkas constraints 16562 3600.08/3610.30 c LP basis resets 0 3600.08/3610.30 c LP cycling count 0 3600.08/3610.30 c LP singular count 0 3600.08/3610.30 c LP no primal count 0 3600.08/3610.30 c LP no farkas count 0 3600.08/3610.30 c LP other issue count 0 3600.08/3610.30 c LP Gomory cuts 0 3600.08/3610.30 c LP learned cuts 0 3600.08/3610.30 c LP deleted cuts 0 3600.08/3610.30 c LP encountered Gomory constraints 0 3600.08/3610.30 c LP encountered Farkas constraints 136656 3600.08/3610.30 c LP encountered learned Farkas constraints 39130 3600.08/3610.30 c CG auxiliary variables introduced 1167 3600.08/3610.30 c CG solutions found 34 3600.08/3610.30 c CG cores constructed 656 3600.08/3610.30 c CG core cardinality constraints returned 0 3600.08/3610.30 c CG unit cores 0 3600.08/3610.30 c CG single cores 656 3600.08/3610.30 c CG blocks removed during cardinality reduction 0 3600.08/3610.30 c CG first core best 0 3600.08/3610.30 c CG decision core best 0 3600.08/3610.30 c CG core reduction tie 0 3600.08/3610.30 c CG core degree average 1.00 3600.08/3610.30 c CG core slack average 1.89 3600.08/3610.30 s SATISFIABLE 3600.08/3610.30 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760
OK -33
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: 64059 MiB (61738 MiB free)
memory of node 1: 64510 MiB (59264 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456666-1721765631/watcher-4456666-1721765631 -o /tmp/evaluation-result-4456666-1721765631/solver-4456666-1721765631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721765593-124355 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456666-1721765631 --lp-cut-gomory=0 HOME/instance-4456666-1721765631.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=124563, runsolver pid=124560
[startup+0.106456 s]*
/proc/loadavg: 3.28 2.46 2.22 5/259 124564
/proc/meminfo: memFree=123905228/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=37932 memory=6812 CPUtime=0.09 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 503 0 0 0 7 2 0 0 20 0 1 0 12552659 38842368 1703 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 9483 1703 1367 992 0 1341 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37932 KiB
Current children cumulated memory: 6812 KiB
[startup+0.213818 s]*
/proc/loadavg: 3.28 2.46 2.22 5/259 124564
/proc/meminfo: memFree=123903340/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=38328 memory=7604 CPUtime=0.2 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 748 0 0 0 15 5 0 0 20 0 1 0 12552659 39247872 1901 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 9582 1901 1367 992 0 1440 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38328 KiB
Current children cumulated memory: 7604 KiB
[startup+0.313982 s]*
/proc/loadavg: 3.28 2.46 2.22 5/259 124564
/proc/meminfo: memFree=123902228/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=39652 memory=10620 CPUtime=0.3 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 1230 0 0 0 23 7 0 0 20 0 1 0 12552659 40603648 2655 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 9913 2655 1665 992 0 1771 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39652 KiB
Current children cumulated memory: 10620 KiB
[startup+0.700277 s]
/proc/loadavg: 3.28 2.46 2.22 5/259 124564
/proc/meminfo: memFree=123881436/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=55816 memory=27184 CPUtime=0.67 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 8038 0 0 0 58 9 0 0 20 0 1 0 12552659 57155584 6796 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 13954 6796 1728 992 0 5812 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 55816 KiB
Current children cumulated memory: 27184 KiB
[startup+1.5003 s]
/proc/loadavg: 3.28 2.46 2.22 5/259 124564
/proc/meminfo: memFree=123873248/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=56280 memory=30348 CPUtime=1.47 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 8962 0 0 0 135 12 0 0 20 0 1 0 12552659 57630720 7587 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 14070 7587 1824 992 0 5928 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 56280 KiB
Current children cumulated memory: 30348 KiB
[startup+3.11358 s]
/proc/loadavg: 3.28 2.46 2.22 5/259 124565
/proc/meminfo: memFree=123827772/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=67856 memory=38684 CPUtime=3.08 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 10461 0 0 0 274 34 0 0 20 0 1 0 12552659 69484544 9671 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 16964 9671 1900 992 0 8822 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 67856 KiB
Current children cumulated memory: 38684 KiB
[startup+6.30031 s]
/proc/loadavg: 3.34 2.48 2.23 5/259 124565
/proc/meminfo: memFree=123781684/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=76344 memory=47212 CPUtime=6.25 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 11574 0 0 0 579 46 0 0 20 0 1 0 12552659 78176256 11803 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 19086 11803 1900 992 0 10944 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 76344 KiB
Current children cumulated memory: 47212 KiB
[startup+12.7003 s]
/proc/loadavg: 3.39 2.51 2.24 5/259 124567
/proc/meminfo: memFree=123727344/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=77816 memory=48796 CPUtime=12.64 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 11948 0 0 0 1203 61 0 0 20 0 1 0 12552659 79683584 12199 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 19454 12199 1900 992 0 11312 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 77816 KiB
Current children cumulated memory: 48796 KiB
[startup+25.5003 s]
/proc/loadavg: 3.53 2.58 2.27 5/258 124568
/proc/meminfo: memFree=123432168/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=112700 memory=83336 CPUtime=25.41 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 13977 0 0 0 2459 82 0 0 20 0 1 0 12552659 115404800 20834 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 28175 20834 1900 992 0 20033 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 112700 KiB
Current children cumulated memory: 83336 KiB
[startup+51.1136 s]
/proc/loadavg: 3.76 2.71 2.32 5/257 124571
/proc/meminfo: memFree=123180564/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=114824 memory=85568 CPUtime=50.94 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 14579 0 0 0 4971 123 0 0 20 0 1 0 12552659 117579776 21392 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 28706 21392 1900 992 0 20564 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 114824 KiB
Current children cumulated memory: 85568 KiB
[startup+102.3 s]
/proc/loadavg: 4.01 2.95 2.42 5/255 124582
/proc/meminfo: memFree=122658140/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=120612 memory=91308 CPUtime=102 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 16036 0 0 0 10003 197 0 0 20 0 1 0 12552659 123506688 22827 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 30153 22827 1900 992 0 22011 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 120612 KiB
Current children cumulated memory: 91308 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 3.16 2.53 5/253 124592
/proc/meminfo: memFree=122111136/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=158268 memory=102228 CPUtime=161.82 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 18320 0 0 0 15912 270 0 0 20 0 1 0 12552659 162066432 25557 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 39567 25557 1900 992 0 31425 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 158268 KiB
Current children cumulated memory: 102228 KiB
[startup+222.3 s]
/proc/loadavg: 4.36 3.39 2.65 5/253 124604
/proc/meminfo: memFree=121732832/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=161408 memory=113824 CPUtime=221.66 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 19137 0 0 0 21825 341 0 0 20 0 1 0 12552659 165281792 28456 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 40352 28456 1900 992 0 32210 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 161408 KiB
Current children cumulated memory: 113824 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 3.52 2.74 5/248 124615
/proc/meminfo: memFree=121128892/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=167876 memory=126252 CPUtime=281.49 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 20767 0 0 0 27750 399 0 0 20 0 1 0 12552659 171905024 31563 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 41969 31563 1900 992 0 33827 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 167876 KiB
Current children cumulated memory: 126252 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.63 2.83 5/247 124625
/proc/meminfo: memFree=120795772/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=168028 memory=126516 CPUtime=341.32 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 20787 0 0 0 33663 469 0 0 20 0 1 0 12552659 172060672 31629 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 42007 31629 1900 992 0 33865 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 168028 KiB
Current children cumulated memory: 126516 KiB
[startup+402.3 s]
/proc/loadavg: 4.23 3.76 2.92 5/250 124640
/proc/meminfo: memFree=119956604/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=172292 memory=138848 CPUtime=401.16 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 21892 0 0 0 39595 521 0 0 20 0 1 0 12552659 176427008 34712 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 43073 34712 1900 992 0 34931 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 172292 KiB
Current children cumulated memory: 138848 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.80 3.00 5/250 124651
/proc/meminfo: memFree=119753636/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=226996 memory=153580 CPUtime=460.99 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 23548 0 0 0 45534 565 0 0 20 0 1 0 12552659 232443904 38395 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 56749 38395 1900 992 0 48607 0
################
# More data... #
################
Current children cumulated memory: 475460 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.19 4.10 5/252 126281
/proc/meminfo: memFree=105591568/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=514584 memory=475460 CPUtime=2914.08 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 44737 0 0 0 289311 2097 0 0 20 0 1 0 12552659 526934016 118865 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 128646 118865 1900 992 0 120504 0
Current children cumulated CPU time: 2914.08 s
Current children cumulated vsize: 514584 KiB
Current children cumulated memory: 475460 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.18 4.10 5/250 126292
/proc/meminfo: memFree=105296048/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=514584 memory=475460 CPUtime=2973.9 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 44800 0 0 0 295267 2123 0 0 20 0 1 0 12552659 526934016 118865 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 128646 118865 1900 992 0 120504 0
Current children cumulated CPU time: 2973.9 s
Current children cumulated vsize: 514584 KiB
Current children cumulated memory: 475460 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.16 4.09 5/249 126302
/proc/meminfo: memFree=105043224/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=515616 memory=476500 CPUtime=3033.7 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 45121 0 0 0 301203 2167 0 0 20 0 1 0 12552659 527990784 119125 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 128904 119125 1900 992 0 120762 0
Current children cumulated CPU time: 3033.7 s
Current children cumulated vsize: 515616 KiB
Current children cumulated memory: 476500 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.16 4.10 5/246 126312
/proc/meminfo: memFree=104803884/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=515616 memory=476500 CPUtime=3093.55 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 45183 0 0 0 307142 2213 0 0 20 0 1 0 12552659 527990784 119125 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 128904 119125 1900 992 0 120762 0
Current children cumulated CPU time: 3093.55 s
Current children cumulated vsize: 515616 KiB
Current children cumulated memory: 476500 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/250 126326
/proc/meminfo: memFree=104521348/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=515616 memory=476500 CPUtime=3153.37 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 45245 0 0 0 313092 2245 0 0 20 0 1 0 12552659 527990784 119125 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 128904 119125 1900 992 0 120762 0
Current children cumulated CPU time: 3153.37 s
Current children cumulated vsize: 515616 KiB
Current children cumulated memory: 476500 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/251 126338
/proc/meminfo: memFree=104263836/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=515616 memory=476500 CPUtime=3213.21 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 45308 0 0 0 319050 2271 0 0 20 0 1 0 12552659 527990784 119125 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 128904 119125 1900 992 0 120762 0
Current children cumulated CPU time: 3213.21 s
Current children cumulated vsize: 515616 KiB
Current children cumulated memory: 476500 KiB
[startup+3282.3 s]
/proc/loadavg: 4.45 4.23 4.12 5/251 126348
/proc/meminfo: memFree=103631980/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=515616 memory=476500 CPUtime=3273.03 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 45381 0 0 0 325001 2302 0 0 20 0 1 0 12552659 527990784 119125 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 128904 119125 1900 992 0 120762 0
Current children cumulated CPU time: 3273.03 s
Current children cumulated vsize: 515616 KiB
Current children cumulated memory: 476500 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.20 4.12 5/251 126358
/proc/meminfo: memFree=103464008/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=515616 memory=476540 CPUtime=3332.86 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 45443 0 0 0 330943 2343 0 0 20 0 1 0 12552659 527990784 119135 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 128904 119135 1900 992 0 120762 0
Current children cumulated CPU time: 3332.86 s
Current children cumulated vsize: 515616 KiB
Current children cumulated memory: 476540 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.18 4.11 5/253 126373
/proc/meminfo: memFree=103303548/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=515616 memory=476540 CPUtime=3392.69 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 45505 0 0 0 336878 2391 0 0 20 0 1 0 12552659 527990784 119135 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 128904 119135 1900 992 0 120762 0
Current children cumulated CPU time: 3392.69 s
Current children cumulated vsize: 515616 KiB
Current children cumulated memory: 476540 KiB
[startup+3462.3 s]
/proc/loadavg: 4.54 4.27 4.14 5/250 126384
/proc/meminfo: memFree=103185836/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=515616 memory=476540 CPUtime=3452.52 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 45567 0 0 0 342822 2430 0 0 20 0 1 0 12552659 527990784 119135 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 128904 119135 1900 992 0 120762 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 515616 KiB
Current children cumulated memory: 476540 KiB
[startup+3522.3 s]
/proc/loadavg: 4.61 4.37 4.19 5/250 126394
/proc/meminfo: memFree=103045756/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=515616 memory=476540 CPUtime=3512.35 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 45629 0 0 0 348774 2461 0 0 20 0 1 0 12552659 527990784 119135 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 128904 119135 1900 992 0 120762 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 515616 KiB
Current children cumulated memory: 476540 KiB
[startup+3582.3 s]
/proc/loadavg: 4.41 4.35 4.19 5/249 127097
/proc/meminfo: memFree=107808112/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=515616 memory=476548 CPUtime=3572.17 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 45701 0 0 0 354721 2496 0 0 20 0 1 0 12552659 527990784 119137 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 128904 119137 1900 992 0 120762 0
Current children cumulated CPU time: 3572.17 s
Current children cumulated vsize: 515616 KiB
Current children cumulated memory: 476548 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.25 4.31 4.18 5/249 127100
/proc/meminfo: memFree=103578312/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=515616 memory=476576 CPUtime=3600.08 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 45732 0 0 0 357495 2513 0 0 20 0 1 0 12552659 527990784 119144 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 128904 119144 1900 992 0 120762 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 515616 KiB
Current children cumulated memory: 476576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 124563 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3574.96 s, system=25.1444 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.25 4.31 4.18 5/249 127100
/proc/meminfo: memFree=103578312/131655788 swapFree=131071996/131071996
[pid=124563] ppid=124560 vsize=515616 memory=476576 CPUtime=3600.08 cores=5,7
/proc/124563/stat : 124563 (roundingsat) R 124560 124563 124342 0 -1 4194304 45732 0 0 0 357495 2513 0 0 20 0 1 0 12552659 527990784 119144 134679101440 4194304 8254037 140731267817248 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25620480 140731267822428 140731267822690 140731267822690 140731267829705 0
/proc/124563/statm: 128904 119144 1900 992 0 120762 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 515616 KiB
Current children cumulated memory: 476576 KiB
Child status: 0
Real time (s): 3610.31
CPU time (s): 3600.1
CPU user time (s): 3574.96
CPU system time (s): 25.1444
CPU usage (%): 99.7171
Max. virtual memory (cumulated for all children) (KiB): 515616
Max. memory (cumulated for all children) (KiB): 476576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.96
system time used= 25.1444
maximum resident set size= 476616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45748
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3856464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94
involuntary context switches= 8443
# summary of solver processes directly reported to runsolver:
# pid: 124563
# total CPU time (s): 3600.1
# total CPU user time (s): 3574.96
# total CPU system time (s): 25.1444
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3489 second user time and 38.1876 second system time
The end
Begin job on nodeC010 at 2024-07-23 22:13:51 IDJOB=4456666 IDBENCH=146695 IDSOLVER=3085 FILE ID=nodeC010/4456666-1721765631 RUNJOBID= nodeC010-1721765593-124355 SLURM_JOB_ID= 7770665 Free space on /tmp= 723764 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-4456666-1721765631/watcher-4456666-1721765631 -o /tmp/evaluation-result-4456666-1721765631/solver-4456666-1721765631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721765593-124355 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456666-1721765631 --lp-cut-gomory=0 HOME/instance-4456666-1721765631.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= dbca78014701662c42e2f44b8d3d4cf2 RANDOM SEED=743937962 nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3521.549 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3654.101 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.336 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.206 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3671.737 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.193 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.422 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.206 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 123907544 kB MemAvailable: 129443580 kB Buffers: 186844 kB Cached: 6133316 kB SwapCached: 0 kB Active: 1236516 kB Inactive: 5878284 kB Active(anon): 1480 kB Inactive(anon): 839152 kB Active(file): 1235036 kB Inactive(file): 5039132 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 79448 kB Writeback: 12 kB AnonPages: 794168 kB Mapped: 116816 kB Shmem: 45896 kB KReclaimable: 203796 kB Slab: 315376 kB SReclaimable: 203796 kB SUnreclaim: 111580 kB KernelStack: 4128 kB PageTables: 11080 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1249880 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18688 kB HardwareCorrupted: 0 kB AnonHugePages: 339968 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: 351048 kB DirectMap2M: 45690880 kB DirectMap1G: 90177536 kB Free space on /tmp at the end= 723732 MiB End job on nodeC010 at 2024-07-23 23:14:02