0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
299.23/300.18 c [STEP] preprocessing done, loading into solver
299.23/300.18 c [STEP] solving
299.23/300.18 c #variables 1691 #constraints 3373
299.23/300.18 c SMALL=int, LARGE=long long
299.23/300.18 c bounds - >= 0 @ 299.068
299.23/300.18 c stratification level: 0
299.52/300.48 c bounds - >= 690 @ 299.074
299.52/300.48 c bounds - >= 691 @ 299.075
299.52/300.48 c bounds - >= 692 @ 299.075
299.52/300.48 c bounds - >= 693 @ 299.075
299.52/300.48 c bounds - >= 694 @ 299.076
299.52/300.48 c bounds - >= 695 @ 299.076
299.52/300.48 c bounds - >= 696 @ 299.076
299.52/300.48 c bounds - >= 697 @ 299.076
299.52/300.48 c bounds - >= 698 @ 299.076
299.52/300.48 c bounds - >= 699 @ 299.077
299.52/300.48 c bounds - >= 700 @ 299.077
299.52/300.48 c bounds - >= 701 @ 299.077
299.52/300.48 c bounds - >= 702 @ 299.077
299.52/300.48 c bounds - >= 703 @ 299.077
299.52/300.48 c bounds - >= 704 @ 299.077
299.52/300.48 c bounds - >= 705 @ 299.077
299.52/300.48 c bounds - >= 706 @ 299.077
299.52/300.48 c bounds - >= 707 @ 299.077
299.52/300.48 c bounds - >= 708 @ 299.078
299.52/300.48 c bounds - >= 709 @ 299.078
299.52/300.48 c bounds - >= 710 @ 299.078
299.52/300.48 c bounds - >= 711 @ 299.078
299.52/300.48 c bounds - >= 712 @ 299.079
299.52/300.48 c bounds - >= 713 @ 299.079
299.52/300.48 c bounds - >= 714 @ 299.079
299.52/300.48 c bounds - >= 715 @ 299.079
299.52/300.48 c bounds - >= 716 @ 299.079
299.52/300.48 c bounds - >= 717 @ 299.08
299.52/300.48 c bounds - >= 718 @ 299.08
299.52/300.48 c bounds - >= 719 @ 299.08
299.52/300.48 c bounds - >= 720 @ 299.08
299.52/300.48 c bounds - >= 721 @ 299.081
299.52/300.48 c bounds - >= 722 @ 299.081
299.52/300.48 c bounds - >= 723 @ 299.081
299.52/300.48 c bounds - >= 724 @ 299.081
299.52/300.48 c bounds - >= 725 @ 299.082
299.52/300.48 c bounds - >= 726 @ 299.082
299.52/300.48 c bounds - >= 727 @ 299.082
299.52/300.48 c bounds - >= 728 @ 299.082
299.52/300.48 c bounds - >= 729 @ 299.083
299.52/300.48 c bounds - >= 730 @ 299.083
299.52/300.48 c bounds - >= 731 @ 299.083
299.52/300.48 c bounds - >= 732 @ 299.083
299.52/300.48 c bounds - >= 733 @ 299.083
299.52/300.48 c bounds - >= 734 @ 299.083
299.52/300.48 c bounds - >= 735 @ 299.083
299.52/300.48 c bounds - >= 736 @ 299.083
299.52/300.48 c bounds - >= 737 @ 299.084
299.52/300.48 c bounds - >= 738 @ 299.084
299.52/300.48 c bounds - >= 739 @ 299.084
299.52/300.48 c bounds - >= 740 @ 299.084
299.52/300.48 c bounds - >= 741 @ 299.085
299.52/300.48 c bounds - >= 742 @ 299.085
299.52/300.48 c bounds - >= 743 @ 299.085
299.52/300.48 c bounds - >= 744 @ 299.085
299.52/300.48 c bounds - >= 745 @ 299.086
299.52/300.48 c bounds - >= 746 @ 299.086
299.52/300.48 c bounds - >= 747 @ 299.086
299.52/300.48 c bounds - >= 748 @ 299.086
299.52/300.48 c bounds - >= 749 @ 299.087
299.52/300.48 c bounds - >= 750 @ 299.087
299.52/300.48 c bounds - >= 751 @ 299.087
299.52/300.48 c bounds - >= 752 @ 299.087
299.52/300.48 c bounds - >= 753 @ 299.087
299.52/300.48 c bounds - >= 754 @ 299.087
299.52/300.48 c bounds - >= 755 @ 299.087
299.52/300.48 c bounds - >= 756 @ 299.088
299.52/300.48 c bounds - >= 757 @ 299.088
299.52/300.48 c bounds - >= 758 @ 299.088
299.52/300.48 c bounds - >= 759 @ 299.088
299.52/300.48 c bounds - >= 760 @ 299.088
299.52/300.48 c bounds - >= 761 @ 299.088
299.52/300.48 c bounds - >= 762 @ 299.088
299.52/300.48 c bounds - >= 763 @ 299.088
299.52/300.48 c bounds - >= 764 @ 299.088
299.52/300.48 c bounds - >= 765 @ 299.088
299.52/300.48 c bounds - >= 766 @ 299.088
299.52/300.48 c bounds - >= 767 @ 299.089
299.52/300.48 c bounds - >= 768 @ 299.089
299.52/300.48 c bounds - >= 769 @ 299.089
299.52/300.48 c bounds - >= 770 @ 299.089
299.52/300.48 c bounds - >= 771 @ 299.089
299.52/300.48 c bounds - >= 772 @ 299.089
299.52/300.48 c bounds - >= 773 @ 299.089
299.52/300.48 c bounds - >= 774 @ 299.09
299.52/300.48 c bounds - >= 775 @ 299.09
299.52/300.48 c bounds - >= 776 @ 299.09
299.52/300.48 c bounds - >= 777 @ 299.09
299.52/300.48 c bounds - >= 778 @ 299.09
299.52/300.48 c bounds - >= 779 @ 299.09
299.52/300.48 c bounds - >= 780 @ 299.09
299.52/300.48 c bounds - >= 781 @ 299.091
299.52/300.48 c bounds - >= 782 @ 299.091
299.52/300.48 c bounds - >= 783 @ 299.091
299.52/300.48 c bounds - >= 784 @ 299.092
299.52/300.48 c bounds - >= 785 @ 299.092
299.52/300.48 c bounds - >= 786 @ 299.092
299.52/300.48 c bounds - >= 787 @ 299.092
299.52/300.48 c bounds - >= 788 @ 299.092
299.52/300.48 c bounds - >= 789 @ 299.092
299.52/300.48 c bounds - >= 790 @ 299.092
299.52/300.48 c bounds - >= 791 @ 299.093
299.52/300.48 c bounds - >= 792 @ 299.093
299.52/300.48 c bounds - >= 793 @ 299.093
299.52/300.48 c bounds - >= 794 @ 299.094
299.52/300.48 c bounds - >= 795 @ 299.094
299.52/300.48 c bounds - >= 796 @ 299.094
299.52/300.48 c bounds - >= 797 @ 299.095
299.52/300.48 c bounds - >= 798 @ 299.095
299.52/300.48 c bounds - >= 799 @ 299.095
299.52/300.48 c bounds - >= 800 @ 299.096
299.52/300.48 c bounds - >= 801 @ 299.096
299.52/300.48 c bounds - >= 802 @ 299.096
299.52/300.48 c bounds - >= 803 @ 299.097
299.52/300.48 c bounds - >= 804 @ 299.097
299.52/300.48 c bounds - >= 805 @ 299.097
299.52/300.48 c bounds - >= 806 @ 299.098
299.52/300.48 c bounds - >= 807 @ 299.098
299.52/300.48 c bounds - >= 808 @ 299.098
299.52/300.48 c bounds - >= 809 @ 299.099
299.52/300.48 c bounds - >= 810 @ 299.099
299.52/300.48 c bounds - >= 811 @ 299.099
299.52/300.48 c bounds - >= 812 @ 299.099
299.52/300.48 c bounds - >= 813 @ 299.099
299.52/300.48 c bounds - >= 814 @ 299.099
299.52/300.48 c bounds - >= 815 @ 299.099
299.52/300.48 c bounds - >= 816 @ 299.099
299.52/300.48 c bounds - >= 817 @ 299.1
299.52/300.48 c bounds - >= 818 @ 299.101
299.52/300.48 c bounds - >= 819 @ 299.101
299.52/300.48 c bounds - >= 820 @ 299.101
299.52/300.48 c bounds - >= 821 @ 299.102
299.52/300.48 c bounds - >= 822 @ 299.102
299.52/300.48 c bounds - >= 823 @ 299.102
299.52/300.48 c bounds - >= 824 @ 299.102
299.52/300.48 c bounds - >= 825 @ 299.102
299.52/300.48 c bounds - >= 826 @ 299.103
299.52/300.48 c bounds - >= 827 @ 299.103
299.52/300.48 c bounds - >= 828 @ 299.104
299.52/300.48 c bounds - >= 829 @ 299.104
299.52/300.48 c bounds - >= 830 @ 299.104
299.52/300.48 c bounds - >= 831 @ 299.105
299.52/300.48 c bounds - >= 832 @ 299.105
299.52/300.48 c bounds - >= 833 @ 299.106
299.52/300.48 c bounds - >= 834 @ 299.106
299.52/300.48 c bounds - >= 835 @ 299.106
299.52/300.48 c #Conflicts: 1000 | #Constraints: 5349
360.66/361.72 c #Conflicts: 2000 | #Constraints: 6349
360.66/361.72 c INPROCESSING
360.66/361.72 c GARBAGE COLLECT
360.66/361.72 c #Conflicts: 3000 | #Constraints: 6198
360.66/361.72 c #Conflicts: 4000 | #Constraints: 7198
360.66/361.72 c INPROCESSING
360.66/361.72 c GARBAGE COLLECT
360.66/361.72 c #Conflicts: 5000 | #Constraints: 6578
360.66/361.72 c #Conflicts: 6000 | #Constraints: 7578
360.66/361.72 c INPROCESSING
360.66/361.72 c GARBAGE COLLECT
360.66/361.72 c #Conflicts: 7000 | #Constraints: 6569
360.66/361.72 c #Conflicts: 8000 | #Constraints: 7569
360.66/361.72 c #Conflicts: 9000 | #Constraints: 8569
360.66/361.72 c INPROCESSING
360.66/361.72 c GARBAGE COLLECT
360.66/361.72 c #Conflicts: 10000 | #Constraints: 7260
360.66/361.72 c #Conflicts: 11000 | #Constraints: 8260
360.66/361.72 c #Conflicts: 12000 | #Constraints: 9260
360.66/361.72 c INPROCESSING
360.66/361.72 c GARBAGE COLLECT
360.66/361.72 c #Conflicts: 13000 | #Constraints: 7710
360.66/361.72 c #Conflicts: 14000 | #Constraints: 8710
360.66/361.72 c #Conflicts: 15000 | #Constraints: 9710
360.66/361.72 c INPROCESSING
360.66/361.72 c GARBAGE COLLECT
360.66/361.72 c #Conflicts: 16000 | #Constraints: 7930
360.66/361.72 c #Conflicts: 17000 | #Constraints: 8930
360.66/361.72 c #Conflicts: 18000 | #Constraints: 9930
360.66/361.72 c INPROCESSING
360.66/361.72 c GARBAGE COLLECT
360.66/361.72 c #Conflicts: 19000 | #Constraints: 7940
360.66/361.72 c #Conflicts: 20000 | #Constraints: 8940
360.66/361.72 c #Conflicts: 21000 | #Constraints: 9940
360.66/361.72 c INPROCESSING
360.66/361.72 c GARBAGE COLLECT
360.66/361.72 c #Conflicts: 22000 | #Constraints: 7748
360.66/361.72 c #Conflicts: 23000 | #Constraints: 8748
360.66/361.72 c #Conflicts: 24000 | #Constraints: 9748
360.66/361.72 c #Conflicts: 25000 | #Constraints: 10748
360.66/361.72 c INPROCESSING
360.66/361.72 c GARBAGE COLLECT
360.66/361.72 c #Conflicts: 26000 | #Constraints: 8352
360.66/361.72 c #Conflicts: 27000 | #Constraints: 9352
360.66/361.72 c #Conflicts: 28000 | #Constraints: 10352
360.66/361.72 c #Conflicts: 29000 | #Constraints: 11352
360.66/361.72 c INPROCESSING
360.66/361.72 c GARBAGE COLLECT
360.66/361.72 c #Conflicts: 30000 | #Constraints: 8751
360.66/361.72 c #Conflicts: 31000 | #Constraints: 9751
360.66/361.72 c #Conflicts: 32000 | #Constraints: 10751
360.66/361.72 c #Conflicts: 33000 | #Constraints: 11751
360.66/361.72 c INPROCESSING
360.66/361.72 c GARBAGE COLLECT
360.66/361.72 c #Conflicts: 34000 | #Constraints: 8949
360.66/361.72 c #Conflicts: 35000 | #Constraints: 9949
360.66/361.72 c #Conflicts: 36000 | #Constraints: 10949
360.66/361.72 c #Conflicts: 37000 | #Constraints: 11949
360.66/361.72 c INPROCESSING
360.66/361.72 c GARBAGE COLLECT
360.66/361.72 c #Conflicts: 38000 | #Constraints: 8954
360.66/361.72 c #Conflicts: 39000 | #Constraints: 9954
360.66/361.72 c #Conflicts: 40000 | #Constraints: 10954
360.66/361.72 c #Conflicts: 41000 | #Constraints: 11954
360.66/361.72 c INPROCESSING
360.66/361.72 c GARBAGE COLLECT
360.66/361.72 c #Conflicts: 42000 | #Constraints: 8757
360.66/361.72 c #Conflicts: 43000 | #Constraints: 9757
360.66/361.72 c #Conflicts: 44000 | #Constraints: 10757
360.66/361.72 c #Conflicts: 45000 | #Constraints: 11757
360.66/361.72 c #Conflicts: 46000 | #Constraints: 12757
360.66/361.72 c INPROCESSING
360.66/361.72 c GARBAGE COLLECT
360.66/361.72 c #Conflicts: 47000 | #Constraints: 9352
360.66/361.72 c #Conflicts: 48000 | #Constraints: 10352
360.66/361.72 c #Conflicts: 49000 | #Constraints: 11352
360.66/361.72 c #Conflicts: 50000 | #Constraints: 12352
360.66/361.72 c #Conflicts: 51000 | #Constraints: 13352
360.66/361.72 c INPROCESSING
360.66/361.72 c GARBAGE COLLECT
360.66/361.72 c #Conflicts: 52000 | #Constraints: 9745
360.66/361.72 c #Conflicts: 53000 | #Constraints: 10745
360.66/361.72 c #Conflicts: 54000 | #Constraints: 11745
360.66/361.72 c #Conflicts: 55000 | #Constraints: 12745
360.66/361.72 c #Conflicts: 56000 | #Constraints: 13745
360.66/361.72 c INPROCESSING
360.66/361.72 c GARBAGE COLLECT
360.66/361.72 c #Conflicts: 57000 | #Constraints: 9952
360.66/361.72 c #Conflicts: 58000 | #Constraints: 10952
360.66/361.72 c #Conflicts: 59000 | #Constraints: 11952
360.66/361.72 c #Conflicts: 60000 | #Constraints: 12952
360.66/361.72 c #Conflicts: 61000 | #Constraints: 13952
360.66/361.72 c INPROCESSING
360.66/361.72 c GARBAGE COLLECT
360.66/361.72 c #Conflicts: 62000 | #Constraints: 9959
360.66/361.72 c #Conflicts: 63000 | #Constraints: 10959
360.66/361.72 c #Conflicts: 64000 | #Constraints: 11959
360.66/361.72 c #Conflicts: 65000 | #Constraints: 12959
360.66/361.72 c #Conflicts: 66000 | #Constraints: 13959
360.66/361.72 c INPROCESSING
360.66/361.72 c GARBAGE COLLECT
360.66/361.72 c #Conflicts: 67000 | #Constraints: 9755
360.66/361.72 c #Conflicts: 68000 | #Constraints: 10755
430.69/431.98 c #Conflicts: 69000 | #Constraints: 11755
430.69/431.98 c #Conflicts: 70000 | #Constraints: 12755
430.69/431.98 c #Conflicts: 71000 | #Constraints: 13755
430.69/431.98 c #Conflicts: 72000 | #Constraints: 14755
430.69/431.98 c INPROCESSING
430.69/431.98 c GARBAGE COLLECT
430.69/431.98 c #Conflicts: 73000 | #Constraints: 10349
430.69/431.98 c #Conflicts: 74000 | #Constraints: 11349
430.69/431.98 c #Conflicts: 75000 | #Constraints: 12349
430.69/431.98 c #Conflicts: 76000 | #Constraints: 13349
430.69/431.98 c #Conflicts: 77000 | #Constraints: 14349
430.69/431.98 c #Conflicts: 78000 | #Constraints: 15349
430.69/431.98 c INPROCESSING
430.69/431.98 c GARBAGE COLLECT
430.69/431.98 c #Conflicts: 79000 | #Constraints: 10754
430.69/431.98 c #Conflicts: 80000 | #Constraints: 11754
430.69/431.98 c #Conflicts: 81000 | #Constraints: 12754
430.69/431.98 c #Conflicts: 82000 | #Constraints: 13754
430.69/431.98 c #Conflicts: 83000 | #Constraints: 14754
430.69/431.98 c #Conflicts: 84000 | #Constraints: 15754
430.69/431.98 c INPROCESSING
430.69/431.98 c GARBAGE COLLECT
430.69/431.98 c #Conflicts: 85000 | #Constraints: 10951
430.69/431.98 c #Conflicts: 86000 | #Constraints: 11951
430.69/431.98 c #Conflicts: 87000 | #Constraints: 12951
430.69/431.98 c #Conflicts: 88000 | #Constraints: 13951
430.69/431.98 c #Conflicts: 89000 | #Constraints: 14951
430.69/431.98 c #Conflicts: 90000 | #Constraints: 15951
430.69/431.98 c INPROCESSING
430.69/431.98 c GARBAGE COLLECT
430.69/431.98 c #Conflicts: 91000 | #Constraints: 10953
430.69/431.98 c #Conflicts: 92000 | #Constraints: 11953
430.69/431.98 c #Conflicts: 93000 | #Constraints: 12953
430.69/431.98 c #Conflicts: 94000 | #Constraints: 13953
430.69/431.98 c #Conflicts: 95000 | #Constraints: 14953
430.69/431.98 c #Conflicts: 96000 | #Constraints: 15953
430.69/431.98 c INPROCESSING
430.69/431.98 c GARBAGE COLLECT
430.69/431.98 c #Conflicts: 97000 | #Constraints: 10755
430.69/431.98 c bounds - >= 836 @ 392.158
430.69/431.98 c #Conflicts: 98000 | #Constraints: 11756
430.69/431.98 c #Conflicts: 99000 | #Constraints: 12756
430.69/431.98 c #Conflicts: 100000 | #Constraints: 13756
430.69/431.98 c #Conflicts: 101000 | #Constraints: 14756
430.69/431.98 c #Conflicts: 102000 | #Constraints: 15756
430.69/431.98 c #Conflicts: 103000 | #Constraints: 16756
430.69/431.98 c INPROCESSING
430.69/431.98 c GARBAGE COLLECT
430.69/431.98 c #Conflicts: 104000 | #Constraints: 11355
430.69/431.98 c #Conflicts: 105000 | #Constraints: 12355
430.69/431.98 c #Conflicts: 106000 | #Constraints: 13355
430.69/431.98 c #Conflicts: 107000 | #Constraints: 14355
430.69/431.98 c #Conflicts: 108000 | #Constraints: 15355
430.69/431.98 c #Conflicts: 109000 | #Constraints: 16355
430.69/431.98 c #Conflicts: 110000 | #Constraints: 17355
430.69/431.98 c INPROCESSING
430.69/431.98 c GARBAGE COLLECT
430.69/431.98 c #Conflicts: 111000 | #Constraints: 11764
430.69/431.98 c #Conflicts: 112000 | #Constraints: 12764
430.69/431.98 c #Conflicts: 113000 | #Constraints: 13764
430.69/431.98 c #Conflicts: 114000 | #Constraints: 14764
430.69/431.98 c #Conflicts: 115000 | #Constraints: 15764
430.69/431.98 c #Conflicts: 116000 | #Constraints: 16764
430.69/431.98 c #Conflicts: 117000 | #Constraints: 17764
430.69/431.98 c INPROCESSING
430.69/431.98 c GARBAGE COLLECT
430.69/431.98 c #Conflicts: 118000 | #Constraints: 11965
430.69/431.98 c #Conflicts: 119000 | #Constraints: 12965
430.69/431.98 c #Conflicts: 120000 | #Constraints: 13965
430.69/431.98 c #Conflicts: 121000 | #Constraints: 14965
430.69/431.98 c #Conflicts: 122000 | #Constraints: 15965
430.69/431.98 c #Conflicts: 123000 | #Constraints: 16965
430.69/431.98 c #Conflicts: 124000 | #Constraints: 17965
430.69/431.98 c INPROCESSING
430.69/431.98 c GARBAGE COLLECT
430.69/431.98 c #Conflicts: 125000 | #Constraints: 11947
430.69/431.98 c #Conflicts: 126000 | #Constraints: 12947
430.69/431.98 c #Conflicts: 127000 | #Constraints: 13947
430.69/431.98 c #Conflicts: 128000 | #Constraints: 14947
430.69/431.98 c #Conflicts: 129000 | #Constraints: 15947
430.69/431.98 c #Conflicts: 130000 | #Constraints: 16947
430.69/431.98 c #Conflicts: 131000 | #Constraints: 17947
430.69/431.98 c INPROCESSING
430.69/431.98 c GARBAGE COLLECT
430.69/431.98 c #Conflicts: 132000 | #Constraints: 11745
430.69/431.98 c #Conflicts: 133000 | #Constraints: 12745
430.69/431.98 c #Conflicts: 134000 | #Constraints: 13745
430.69/431.98 c #Conflicts: 135000 | #Constraints: 14745
430.69/431.98 c #Conflicts: 136000 | #Constraints: 15745
430.69/431.98 c #Conflicts: 137000 | #Constraints: 16745
430.69/431.98 c #Conflicts: 138000 | #Constraints: 17745
430.69/431.98 c #Conflicts: 139000 | #Constraints: 18745
430.69/431.98 c INPROCESSING
430.69/431.98 c GARBAGE COLLECT
528.66/530.18 c #Conflicts: 140000 | #Constraints: 12357
528.66/530.18 c #Conflicts: 141000 | #Constraints: 13357
528.66/530.18 c #Conflicts: 142000 | #Constraints: 14357
528.66/530.18 c #Conflicts: 143000 | #Constraints: 15357
528.66/530.18 c #Conflicts: 144000 | #Constraints: 16357
528.66/530.18 c #Conflicts: 145000 | #Constraints: 17357
528.66/530.18 c #Conflicts: 146000 | #Constraints: 18357
528.66/530.18 c #Conflicts: 147000 | #Constraints: 19357
528.66/530.18 c INPROCESSING
528.66/530.18 c GARBAGE COLLECT
528.66/530.18 c #Conflicts: 148000 | #Constraints: 12758
528.66/530.18 c #Conflicts: 149000 | #Constraints: 13758
528.66/530.18 c #Conflicts: 150000 | #Constraints: 14758
528.66/530.18 c #Conflicts: 151000 | #Constraints: 15758
528.66/530.18 c #Conflicts: 152000 | #Constraints: 16758
528.66/530.18 c #Conflicts: 153000 | #Constraints: 17758
528.66/530.18 c #Conflicts: 154000 | #Constraints: 18758
528.66/530.18 c #Conflicts: 155000 | #Constraints: 19758
528.66/530.18 c INPROCESSING
528.66/530.18 c GARBAGE COLLECT
528.66/530.18 c #Conflicts: 156000 | #Constraints: 12953
528.66/530.18 c #Conflicts: 157000 | #Constraints: 13953
528.66/530.18 c #Conflicts: 158000 | #Constraints: 14953
528.66/530.18 c #Conflicts: 159000 | #Constraints: 15953
528.66/530.18 c #Conflicts: 160000 | #Constraints: 16953
528.66/530.18 c #Conflicts: 161000 | #Constraints: 17953
528.66/530.18 c #Conflicts: 162000 | #Constraints: 18953
528.66/530.18 c #Conflicts: 163000 | #Constraints: 19953
528.66/530.18 c INPROCESSING
528.66/530.18 c GARBAGE COLLECT
528.66/530.18 c #Conflicts: 164000 | #Constraints: 12939
528.66/530.18 c #Conflicts: 165000 | #Constraints: 13939
528.66/530.18 c #Conflicts: 166000 | #Constraints: 14939
528.66/530.18 c #Conflicts: 167000 | #Constraints: 15939
528.66/530.18 c #Conflicts: 168000 | #Constraints: 16939
528.66/530.18 c #Conflicts: 169000 | #Constraints: 17939
528.66/530.18 c #Conflicts: 170000 | #Constraints: 18939
528.66/530.18 c #Conflicts: 171000 | #Constraints: 19939
528.66/530.18 c INPROCESSING
528.66/530.18 c GARBAGE COLLECT
528.66/530.18 c #Conflicts: 172000 | #Constraints: 12740
528.66/530.18 c #Conflicts: 173000 | #Constraints: 13740
528.66/530.18 c #Conflicts: 174000 | #Constraints: 14740
528.66/530.18 c #Conflicts: 175000 | #Constraints: 15740
528.66/530.18 c #Conflicts: 176000 | #Constraints: 16740
528.66/530.18 c #Conflicts: 177000 | #Constraints: 17740
528.66/530.18 c #Conflicts: 178000 | #Constraints: 18740
528.66/530.18 c #Conflicts: 179000 | #Constraints: 19740
528.66/530.18 c #Conflicts: 180000 | #Constraints: 20740
528.66/530.18 c INPROCESSING
528.66/530.18 c GARBAGE COLLECT
528.66/530.18 c #Conflicts: 181000 | #Constraints: 13340
528.66/530.18 c #Conflicts: 182000 | #Constraints: 14340
528.66/530.18 c #Conflicts: 183000 | #Constraints: 15340
528.66/530.18 c #Conflicts: 184000 | #Constraints: 16340
528.66/530.18 c #Conflicts: 185000 | #Constraints: 17340
528.66/530.18 c #Conflicts: 186000 | #Constraints: 18340
528.66/530.18 c #Conflicts: 187000 | #Constraints: 19340
528.66/530.18 c #Conflicts: 188000 | #Constraints: 20340
528.66/530.18 c #Conflicts: 189000 | #Constraints: 21340
528.66/530.18 c INPROCESSING
528.66/530.18 c GARBAGE COLLECT
528.66/530.18 c #Conflicts: 190000 | #Constraints: 13741
528.66/530.18 c #Conflicts: 191000 | #Constraints: 14741
528.66/530.18 c #Conflicts: 192000 | #Constraints: 15741
528.66/530.18 c #Conflicts: 193000 | #Constraints: 16741
528.66/530.18 c #Conflicts: 194000 | #Constraints: 17741
528.66/530.18 c #Conflicts: 195000 | #Constraints: 18741
528.66/530.18 c #Conflicts: 196000 | #Constraints: 19741
528.66/530.18 c #Conflicts: 197000 | #Constraints: 20741
528.66/530.18 c #Conflicts: 198000 | #Constraints: 21741
528.66/530.18 c INPROCESSING
528.66/530.18 c GARBAGE COLLECT
528.66/530.18 c #Conflicts: 199000 | #Constraints: 13941
528.66/530.18 c #Conflicts: 200000 | #Constraints: 14941
528.66/530.18 c #Conflicts: 201000 | #Constraints: 15941
528.66/530.18 c #Conflicts: 202000 | #Constraints: 16941
528.66/530.18 c #Conflicts: 203000 | #Constraints: 17941
528.66/530.18 c #Conflicts: 204000 | #Constraints: 18941
528.66/530.18 c #Conflicts: 205000 | #Constraints: 19941
528.66/530.18 c #Conflicts: 206000 | #Constraints: 20941
528.66/530.18 c #Conflicts: 207000 | #Constraints: 21941
528.66/530.18 c INPROCESSING
528.66/530.18 c GARBAGE COLLECT
528.66/530.18 c #Conflicts: 208000 | #Constraints: 13943
528.66/530.18 c #Conflicts: 209000 | #Constraints: 14943
528.66/530.18 c #Conflicts: 210000 | #Constraints: 15943
528.66/530.18 c #Conflicts: 211000 | #Constraints: 16943
528.66/530.18 c #Conflicts: 212000 | #Constraints: 17943
528.66/530.18 c #Conflicts: 213000 | #Constraints: 18943
657.44/659.25 c #Conflicts: 214000 | #Constraints: 19943
657.44/659.25 c #Conflicts: 215000 | #Constraints: 20943
657.44/659.25 c #Conflicts: 216000 | #Constraints: 21943
657.44/659.25 c INPROCESSING
657.44/659.25 c GARBAGE COLLECT
657.44/659.25 c #Conflicts: 217000 | #Constraints: 13749
657.44/659.25 c #Conflicts: 218000 | #Constraints: 14749
657.44/659.25 c #Conflicts: 219000 | #Constraints: 15749
657.44/659.25 c #Conflicts: 220000 | #Constraints: 16749
657.44/659.25 c #Conflicts: 221000 | #Constraints: 17749
657.44/659.25 c #Conflicts: 222000 | #Constraints: 18749
657.44/659.25 c #Conflicts: 223000 | #Constraints: 19749
657.44/659.25 c #Conflicts: 224000 | #Constraints: 20749
657.44/659.25 c #Conflicts: 225000 | #Constraints: 21749
657.44/659.25 c #Conflicts: 226000 | #Constraints: 22749
657.44/659.25 c INPROCESSING
657.44/659.25 c GARBAGE COLLECT
657.44/659.25 c #Conflicts: 227000 | #Constraints: 14362
657.44/659.25 c #Conflicts: 228000 | #Constraints: 15362
657.44/659.25 c #Conflicts: 229000 | #Constraints: 16362
657.44/659.25 c #Conflicts: 230000 | #Constraints: 17362
657.44/659.25 c #Conflicts: 231000 | #Constraints: 18362
657.44/659.25 c #Conflicts: 232000 | #Constraints: 19362
657.44/659.25 c #Conflicts: 233000 | #Constraints: 20362
657.44/659.25 c #Conflicts: 234000 | #Constraints: 21362
657.44/659.25 c #Conflicts: 235000 | #Constraints: 22362
657.44/659.25 c #Conflicts: 236000 | #Constraints: 23362
657.44/659.25 c INPROCESSING
657.44/659.25 c GARBAGE COLLECT
657.44/659.25 c #Conflicts: 237000 | #Constraints: 14740
657.44/659.25 c #Conflicts: 238000 | #Constraints: 15740
657.44/659.25 c #Conflicts: 239000 | #Constraints: 16740
657.44/659.25 c #Conflicts: 240000 | #Constraints: 17740
657.44/659.25 c #Conflicts: 241000 | #Constraints: 18740
657.44/659.25 c #Conflicts: 242000 | #Constraints: 19740
657.44/659.25 c #Conflicts: 243000 | #Constraints: 20740
657.44/659.25 c #Conflicts: 244000 | #Constraints: 21740
657.44/659.25 c #Conflicts: 245000 | #Constraints: 22740
657.44/659.25 c #Conflicts: 246000 | #Constraints: 23740
657.44/659.25 c INPROCESSING
657.44/659.25 c GARBAGE COLLECT
657.44/659.25 c #Conflicts: 247000 | #Constraints: 14934
657.44/659.25 c #Conflicts: 248000 | #Constraints: 15934
657.44/659.25 c #Conflicts: 249000 | #Constraints: 16934
657.44/659.25 c #Conflicts: 250000 | #Constraints: 17934
657.44/659.25 c #Conflicts: 251000 | #Constraints: 18934
657.44/659.25 c #Conflicts: 252000 | #Constraints: 19934
657.44/659.25 c #Conflicts: 253000 | #Constraints: 20934
657.44/659.25 c #Conflicts: 254000 | #Constraints: 21934
657.44/659.25 c #Conflicts: 255000 | #Constraints: 22934
657.44/659.25 c #Conflicts: 256000 | #Constraints: 23934
657.44/659.25 c INPROCESSING
657.44/659.25 c GARBAGE COLLECT
657.44/659.25 c #Conflicts: 257000 | #Constraints: 14925
657.44/659.25 c #Conflicts: 258000 | #Constraints: 15925
657.44/659.25 c #Conflicts: 259000 | #Constraints: 16925
657.44/659.25 c #Conflicts: 260000 | #Constraints: 17925
657.44/659.25 c #Conflicts: 261000 | #Constraints: 18925
657.44/659.25 c #Conflicts: 262000 | #Constraints: 19925
657.44/659.25 c #Conflicts: 263000 | #Constraints: 20925
657.44/659.25 c #Conflicts: 264000 | #Constraints: 21925
657.44/659.25 c #Conflicts: 265000 | #Constraints: 22925
657.44/659.25 c #Conflicts: 266000 | #Constraints: 23925
657.44/659.25 c INPROCESSING
657.44/659.25 c GARBAGE COLLECT
657.44/659.25 c #Conflicts: 267000 | #Constraints: 14717
657.44/659.25 c #Conflicts: 268000 | #Constraints: 15717
657.44/659.25 c #Conflicts: 269000 | #Constraints: 16717
657.44/659.25 c #Conflicts: 270000 | #Constraints: 17717
657.44/659.25 c #Conflicts: 271000 | #Constraints: 18717
657.44/659.25 c #Conflicts: 272000 | #Constraints: 19717
657.44/659.25 c #Conflicts: 273000 | #Constraints: 20717
657.44/659.25 c #Conflicts: 274000 | #Constraints: 21717
657.44/659.25 c #Conflicts: 275000 | #Constraints: 22717
657.44/659.25 c #Conflicts: 276000 | #Constraints: 23717
657.44/659.25 c #Conflicts: 277000 | #Constraints: 24717
657.44/659.25 c INPROCESSING
657.44/659.25 c GARBAGE COLLECT
657.44/659.25 c #Conflicts: 278000 | #Constraints: 15323
657.44/659.25 c #Conflicts: 279000 | #Constraints: 16323
657.44/659.25 c #Conflicts: 280000 | #Constraints: 17323
657.44/659.25 c #Conflicts: 281000 | #Constraints: 18323
657.44/659.25 c #Conflicts: 282000 | #Constraints: 19323
657.44/659.25 c #Conflicts: 283000 | #Constraints: 20323
657.44/659.25 c #Conflicts: 284000 | #Constraints: 21323
657.44/659.25 c #Conflicts: 285000 | #Constraints: 22323
657.44/659.25 c #Conflicts: 286000 | #Constraints: 23323
657.44/659.25 c #Conflicts: 287000 | #Constraints: 24323
657.44/659.25 c #Conflicts: 288000 | #Constraints: 25323
756.40/758.43 c INPROCESSING
756.40/758.43 c GARBAGE COLLECT
756.40/758.43 c #Conflicts: 289000 | #Constraints: 15743
756.40/758.43 c #Conflicts: 290000 | #Constraints: 16743
756.40/758.43 c #Conflicts: 291000 | #Constraints: 17743
756.40/758.43 c #Conflicts: 292000 | #Constraints: 18743
756.40/758.43 c #Conflicts: 293000 | #Constraints: 19743
756.40/758.43 c #Conflicts: 294000 | #Constraints: 20743
756.40/758.43 c #Conflicts: 295000 | #Constraints: 21743
756.40/758.43 c #Conflicts: 296000 | #Constraints: 22743
756.40/758.43 c #Conflicts: 297000 | #Constraints: 23743
756.40/758.43 c #Conflicts: 298000 | #Constraints: 24743
756.40/758.43 c #Conflicts: 299000 | #Constraints: 25743
756.40/758.43 c INPROCESSING
756.40/758.43 c GARBAGE COLLECT
756.40/758.43 c #Conflicts: 300000 | #Constraints: 15949
756.40/758.43 c #Conflicts: 301000 | #Constraints: 16949
756.40/758.43 c #Conflicts: 302000 | #Constraints: 17949
756.40/758.43 c #Conflicts: 303000 | #Constraints: 18949
756.40/758.43 c #Conflicts: 304000 | #Constraints: 19949
756.40/758.43 c #Conflicts: 305000 | #Constraints: 20949
756.40/758.43 c #Conflicts: 306000 | #Constraints: 21949
756.40/758.43 c #Conflicts: 307000 | #Constraints: 22949
756.40/758.43 c #Conflicts: 308000 | #Constraints: 23949
756.40/758.43 c #Conflicts: 309000 | #Constraints: 24949
756.40/758.43 c #Conflicts: 310000 | #Constraints: 25949
756.40/758.43 c INPROCESSING
756.40/758.43 c GARBAGE COLLECT
756.40/758.43 c #Conflicts: 311000 | #Constraints: 15950
756.40/758.43 c #Conflicts: 312000 | #Constraints: 16950
756.40/758.43 c #Conflicts: 313000 | #Constraints: 17950
756.40/758.43 c #Conflicts: 314000 | #Constraints: 18950
756.40/758.43 c #Conflicts: 315000 | #Constraints: 19950
756.40/758.43 c #Conflicts: 316000 | #Constraints: 20950
756.40/758.43 c #Conflicts: 317000 | #Constraints: 21950
756.40/758.43 c #Conflicts: 318000 | #Constraints: 22950
756.40/758.43 c #Conflicts: 319000 | #Constraints: 23950
756.40/758.43 c #Conflicts: 320000 | #Constraints: 24950
756.40/758.43 c #Conflicts: 321000 | #Constraints: 25950
756.40/758.43 c INPROCESSING
756.40/758.43 c GARBAGE COLLECT
756.40/758.43 c #Conflicts: 322000 | #Constraints: 15754
756.40/758.43 c #Conflicts: 323000 | #Constraints: 16754
756.40/758.43 c #Conflicts: 324000 | #Constraints: 17754
756.40/758.43 c #Conflicts: 325000 | #Constraints: 18754
756.40/758.43 c #Conflicts: 326000 | #Constraints: 19754
756.40/758.43 c #Conflicts: 327000 | #Constraints: 20754
756.40/758.43 c #Conflicts: 328000 | #Constraints: 21754
756.40/758.43 c #Conflicts: 329000 | #Constraints: 22754
756.40/758.43 c #Conflicts: 330000 | #Constraints: 23754
756.40/758.43 c #Conflicts: 331000 | #Constraints: 24754
756.40/758.43 c #Conflicts: 332000 | #Constraints: 25754
756.40/758.43 c #Conflicts: 333000 | #Constraints: 26754
756.40/758.43 c INPROCESSING
756.40/758.43 c GARBAGE COLLECT
756.40/758.43 c #Conflicts: 334000 | #Constraints: 16366
756.40/758.43 c #Conflicts: 335000 | #Constraints: 17366
756.40/758.43 c #Conflicts: 336000 | #Constraints: 18366
756.40/758.43 c #Conflicts: 337000 | #Constraints: 19366
756.40/758.43 c #Conflicts: 338000 | #Constraints: 20366
756.40/758.43 c #Conflicts: 339000 | #Constraints: 21366
756.40/758.43 c #Conflicts: 340000 | #Constraints: 22366
756.40/758.43 c #Conflicts: 341000 | #Constraints: 23366
756.40/758.43 c #Conflicts: 342000 | #Constraints: 24366
756.40/758.43 c #Conflicts: 343000 | #Constraints: 25366
756.40/758.43 c #Conflicts: 344000 | #Constraints: 26366
756.40/758.43 c #Conflicts: 345000 | #Constraints: 27366
756.40/758.43 c INPROCESSING
756.40/758.43 c GARBAGE COLLECT
756.40/758.43 c #Conflicts: 346000 | #Constraints: 16750
756.40/758.43 c #Conflicts: 347000 | #Constraints: 17750
756.40/758.43 c #Conflicts: 348000 | #Constraints: 18750
756.40/758.43 c #Conflicts: 349000 | #Constraints: 19750
756.40/758.43 c #Conflicts: 350000 | #Constraints: 20750
756.40/758.43 c #Conflicts: 351000 | #Constraints: 21750
756.40/758.43 c #Conflicts: 352000 | #Constraints: 22750
756.40/758.43 c #Conflicts: 353000 | #Constraints: 23750
756.40/758.43 c #Conflicts: 354000 | #Constraints: 24750
756.40/758.43 c #Conflicts: 355000 | #Constraints: 25750
756.40/758.43 c #Conflicts: 356000 | #Constraints: 26750
756.40/758.43 c #Conflicts: 357000 | #Constraints: 27750
756.40/758.43 c INPROCESSING
756.40/758.43 c GARBAGE COLLECT
756.40/758.43 c #Conflicts: 358000 | #Constraints: 16936
756.40/758.43 c #Conflicts: 359000 | #Constraints: 17936
756.40/758.43 c #Conflicts: 360000 | #Constraints: 18936
756.40/758.43 c #Conflicts: 361000 | #Constraints: 19936
756.40/758.43 c #Conflicts: 362000 | #Constraints: 20936
972.17/974.78 c #Conflicts: 363000 | #Constraints: 21936
972.17/974.78 c #Conflicts: 364000 | #Constraints: 22936
972.17/974.78 c #Conflicts: 365000 | #Constraints: 23936
972.17/974.78 c #Conflicts: 366000 | #Constraints: 24936
972.17/974.78 c #Conflicts: 367000 | #Constraints: 25936
972.17/974.78 c #Conflicts: 368000 | #Constraints: 26936
972.17/974.78 c #Conflicts: 369000 | #Constraints: 27936
972.17/974.78 c INPROCESSING
972.17/974.78 c GARBAGE COLLECT
972.17/974.78 c #Conflicts: 370000 | #Constraints: 16960
972.17/974.78 c #Conflicts: 371000 | #Constraints: 17960
972.17/974.78 c #Conflicts: 372000 | #Constraints: 18960
972.17/974.78 c #Conflicts: 373000 | #Constraints: 19960
972.17/974.78 c #Conflicts: 374000 | #Constraints: 20960
972.17/974.78 c #Conflicts: 375000 | #Constraints: 21960
972.17/974.78 c #Conflicts: 376000 | #Constraints: 22960
972.17/974.78 c #Conflicts: 377000 | #Constraints: 23960
972.17/974.78 c #Conflicts: 378000 | #Constraints: 24960
972.17/974.78 c #Conflicts: 379000 | #Constraints: 25960
972.17/974.78 c #Conflicts: 380000 | #Constraints: 26960
972.17/974.78 c #Conflicts: 381000 | #Constraints: 27960
972.17/974.78 c INPROCESSING
972.17/974.78 c GARBAGE COLLECT
972.17/974.78 c #Conflicts: 382000 | #Constraints: 16767
972.17/974.78 c #Conflicts: 383000 | #Constraints: 17767
972.17/974.78 c #Conflicts: 384000 | #Constraints: 18767
972.17/974.78 c #Conflicts: 385000 | #Constraints: 19767
972.17/974.78 c #Conflicts: 386000 | #Constraints: 20767
972.17/974.78 c #Conflicts: 387000 | #Constraints: 21767
972.17/974.78 c #Conflicts: 388000 | #Constraints: 22767
972.17/974.78 c #Conflicts: 389000 | #Constraints: 23767
972.17/974.78 c #Conflicts: 390000 | #Constraints: 24767
972.17/974.78 c #Conflicts: 391000 | #Constraints: 25767
972.17/974.78 c #Conflicts: 392000 | #Constraints: 26767
972.17/974.78 c #Conflicts: 393000 | #Constraints: 27767
972.17/974.78 c #Conflicts: 394000 | #Constraints: 28767
972.17/974.78 c INPROCESSING
972.17/974.78 c GARBAGE COLLECT
972.17/974.78 c #Conflicts: 395000 | #Constraints: 17357
972.17/974.78 c #Conflicts: 396000 | #Constraints: 18357
972.17/974.78 c #Conflicts: 397000 | #Constraints: 19357
972.17/974.78 c #Conflicts: 398000 | #Constraints: 20357
972.17/974.78 c #Conflicts: 399000 | #Constraints: 21357
972.17/974.78 c #Conflicts: 400000 | #Constraints: 22357
972.17/974.78 c #Conflicts: 401000 | #Constraints: 23357
972.17/974.78 c #Conflicts: 402000 | #Constraints: 24357
972.17/974.78 c #Conflicts: 403000 | #Constraints: 25357
972.17/974.78 c #Conflicts: 404000 | #Constraints: 26357
972.17/974.78 c #Conflicts: 405000 | #Constraints: 27357
972.17/974.78 c #Conflicts: 406000 | #Constraints: 28357
972.17/974.78 c #Conflicts: 407000 | #Constraints: 29357
972.17/974.78 c INPROCESSING
972.17/974.78 c GARBAGE COLLECT
972.17/974.78 c #Conflicts: 408000 | #Constraints: 17738
972.17/974.78 c #Conflicts: 409000 | #Constraints: 18738
972.17/974.78 c #Conflicts: 410000 | #Constraints: 19738
972.17/974.78 c #Conflicts: 411000 | #Constraints: 20738
972.17/974.78 c #Conflicts: 412000 | #Constraints: 21738
972.17/974.78 c #Conflicts: 413000 | #Constraints: 22738
972.17/974.78 c #Conflicts: 414000 | #Constraints: 23738
972.17/974.78 c #Conflicts: 415000 | #Constraints: 24738
972.17/974.78 c #Conflicts: 416000 | #Constraints: 25738
972.17/974.78 c #Conflicts: 417000 | #Constraints: 26738
972.17/974.78 c #Conflicts: 418000 | #Constraints: 27738
972.17/974.78 c #Conflicts: 419000 | #Constraints: 28738
972.17/974.78 c #Conflicts: 420000 | #Constraints: 29738
972.17/974.78 c INPROCESSING
972.17/974.78 c GARBAGE COLLECT
972.17/974.78 c #Conflicts: 421000 | #Constraints: 17930
972.17/974.78 c #Conflicts: 422000 | #Constraints: 18930
972.17/974.78 c #Conflicts: 423000 | #Constraints: 19930
972.17/974.78 c #Conflicts: 424000 | #Constraints: 20930
972.17/974.78 c #Conflicts: 425000 | #Constraints: 21930
972.17/974.78 c #Conflicts: 426000 | #Constraints: 22930
972.17/974.78 c #Conflicts: 427000 | #Constraints: 23930
972.17/974.78 c #Conflicts: 428000 | #Constraints: 24930
972.17/974.78 c #Conflicts: 429000 | #Constraints: 25930
972.17/974.78 c #Conflicts: 430000 | #Constraints: 26930
972.17/974.78 c #Conflicts: 431000 | #Constraints: 27930
972.17/974.78 c #Conflicts: 432000 | #Constraints: 28930
972.17/974.78 c #Conflicts: 433000 | #Constraints: 29930
972.17/974.78 c INPROCESSING
972.17/974.78 c GARBAGE COLLECT
972.17/974.78 c #Conflicts: 434000 | #Constraints: 17932
972.17/974.78 c #Conflicts: 435000 | #Constraints: 18932
972.17/974.78 c #Conflicts: 436000 | #Constraints: 19932
972.17/974.78 c #Conflicts: 437000 | #Constraints: 20932
1294.69/1298.05 c #Conflicts: 438000 | #Constraints: 21932
1294.69/1298.05 c #Conflicts: 439000 | #Constraints: 22932
1294.69/1298.05 c #Conflicts: 440000 | #Constraints: 23932
1294.69/1298.05 c #Conflicts: 441000 | #Constraints: 24932
1294.69/1298.05 c #Conflicts: 442000 | #Constraints: 25932
1294.69/1298.05 c #Conflicts: 443000 | #Constraints: 26932
1294.69/1298.05 c #Conflicts: 444000 | #Constraints: 27932
1294.69/1298.05 c #Conflicts: 445000 | #Constraints: 28932
1294.69/1298.05 c #Conflicts: 446000 | #Constraints: 29932
1294.69/1298.05 c INPROCESSING
1294.69/1298.05 c GARBAGE COLLECT
1294.69/1298.05 c #Conflicts: 447000 | #Constraints: 17752
1294.69/1298.05 c #Conflicts: 448000 | #Constraints: 18752
1294.69/1298.05 c #Conflicts: 449000 | #Constraints: 19752
1294.69/1298.05 c #Conflicts: 450000 | #Constraints: 20752
1294.69/1298.05 c #Conflicts: 451000 | #Constraints: 21752
1294.69/1298.05 c #Conflicts: 452000 | #Constraints: 22752
1294.69/1298.05 c #Conflicts: 453000 | #Constraints: 23752
1294.69/1298.05 c #Conflicts: 454000 | #Constraints: 24752
1294.69/1298.05 c #Conflicts: 455000 | #Constraints: 25752
1294.69/1298.05 c #Conflicts: 456000 | #Constraints: 26752
1294.69/1298.05 c #Conflicts: 457000 | #Constraints: 27752
1294.69/1298.05 c #Conflicts: 458000 | #Constraints: 28752
1294.69/1298.05 c #Conflicts: 459000 | #Constraints: 29752
1294.69/1298.05 c #Conflicts: 460000 | #Constraints: 30752
1294.69/1298.05 c INPROCESSING
1294.69/1298.05 c GARBAGE COLLECT
1294.69/1298.05 c #Conflicts: 461000 | #Constraints: 18365
1294.69/1298.05 c #Conflicts: 462000 | #Constraints: 19365
1294.69/1298.05 c #Conflicts: 463000 | #Constraints: 20365
1294.69/1298.05 c #Conflicts: 464000 | #Constraints: 21365
1294.69/1298.05 c #Conflicts: 465000 | #Constraints: 22365
1294.69/1298.05 c #Conflicts: 466000 | #Constraints: 23365
1294.69/1298.05 c #Conflicts: 467000 | #Constraints: 24365
1294.69/1298.05 c #Conflicts: 468000 | #Constraints: 25365
1294.69/1298.05 c #Conflicts: 469000 | #Constraints: 26365
1294.69/1298.05 c #Conflicts: 470000 | #Constraints: 27365
1294.69/1298.05 c #Conflicts: 471000 | #Constraints: 28365
1294.69/1298.05 c #Conflicts: 472000 | #Constraints: 29365
1294.69/1298.05 c #Conflicts: 473000 | #Constraints: 30365
1294.69/1298.05 c #Conflicts: 474000 | #Constraints: 31365
1294.69/1298.05 c INPROCESSING
1294.69/1298.05 c GARBAGE COLLECT
1294.69/1298.05 c #Conflicts: 475000 | #Constraints: 18758
1294.69/1298.05 c #Conflicts: 476000 | #Constraints: 19758
1294.69/1298.05 c #Conflicts: 477000 | #Constraints: 20758
1294.69/1298.05 c #Conflicts: 478000 | #Constraints: 21758
1294.69/1298.05 c #Conflicts: 479000 | #Constraints: 22758
1294.69/1298.05 c #Conflicts: 480000 | #Constraints: 23758
1294.69/1298.05 c #Conflicts: 481000 | #Constraints: 24758
1294.69/1298.05 c #Conflicts: 482000 | #Constraints: 25758
1294.69/1298.05 c #Conflicts: 483000 | #Constraints: 26758
1294.69/1298.05 c #Conflicts: 484000 | #Constraints: 27758
1294.69/1298.05 c #Conflicts: 485000 | #Constraints: 28758
1294.69/1298.05 c #Conflicts: 486000 | #Constraints: 29758
1294.69/1298.05 c #Conflicts: 487000 | #Constraints: 30758
1294.69/1298.05 c #Conflicts: 488000 | #Constraints: 31758
1294.69/1298.05 c INPROCESSING
1294.69/1298.05 c GARBAGE COLLECT
1294.69/1298.05 c #Conflicts: 489000 | #Constraints: 18969
1294.69/1298.05 c #Conflicts: 490000 | #Constraints: 19969
1294.69/1298.05 c #Conflicts: 491000 | #Constraints: 20969
1294.69/1298.05 c #Conflicts: 492000 | #Constraints: 21969
1294.69/1298.05 c #Conflicts: 493000 | #Constraints: 22969
1294.69/1298.05 c #Conflicts: 494000 | #Constraints: 23969
1294.69/1298.05 c #Conflicts: 495000 | #Constraints: 24969
1294.69/1298.05 c #Conflicts: 496000 | #Constraints: 25969
1294.69/1298.05 c #Conflicts: 497000 | #Constraints: 26969
1294.69/1298.05 c #Conflicts: 498000 | #Constraints: 27969
1294.69/1298.05 c #Conflicts: 499000 | #Constraints: 28969
1294.69/1298.05 c #Conflicts: 500000 | #Constraints: 29969
1294.69/1298.05 c #Conflicts: 501000 | #Constraints: 30969
1294.69/1298.05 c #Conflicts: 502000 | #Constraints: 31969
1294.69/1298.05 c INPROCESSING
1294.69/1298.05 c GARBAGE COLLECT
1294.69/1298.05 c #Conflicts: 503000 | #Constraints: 18969
1294.69/1298.05 c #Conflicts: 504000 | #Constraints: 19969
1294.69/1298.05 c #Conflicts: 505000 | #Constraints: 20969
1294.69/1298.05 c #Conflicts: 506000 | #Constraints: 21969
1294.69/1298.05 c #Conflicts: 507000 | #Constraints: 22969
1294.69/1298.05 c #Conflicts: 508000 | #Constraints: 23969
1294.69/1298.05 c #Conflicts: 509000 | #Constraints: 24969
1294.69/1298.05 c #Conflicts: 510000 | #Constraints: 25969
1294.69/1298.05 c #Conflicts: 511000 | #Constraints: 26969
1294.69/1298.05 c #Conflicts: 512000 | #Constraints: 27969
1450.59/1454.34 c #Conflicts: 513000 | #Constraints: 28969
1450.59/1454.34 c #Conflicts: 514000 | #Constraints: 29969
1450.59/1454.34 c #Conflicts: 515000 | #Constraints: 30969
1450.59/1454.34 c #Conflicts: 516000 | #Constraints: 31969
1450.59/1454.34 c INPROCESSING
1450.59/1454.34 c GARBAGE COLLECT
1450.59/1454.34 c #Conflicts: 517000 | #Constraints: 18776
1450.59/1454.34 c #Conflicts: 518000 | #Constraints: 19776
1450.59/1454.34 c #Conflicts: 519000 | #Constraints: 20776
1450.59/1454.34 c #Conflicts: 520000 | #Constraints: 21776
1450.59/1454.34 c #Conflicts: 521000 | #Constraints: 22776
1450.59/1454.34 c #Conflicts: 522000 | #Constraints: 23776
1450.59/1454.34 c #Conflicts: 523000 | #Constraints: 24776
1450.59/1454.34 c #Conflicts: 524000 | #Constraints: 25776
1450.59/1454.34 c #Conflicts: 525000 | #Constraints: 26776
1450.59/1454.34 c #Conflicts: 526000 | #Constraints: 27776
1450.59/1454.34 c #Conflicts: 527000 | #Constraints: 28776
1450.59/1454.34 c #Conflicts: 528000 | #Constraints: 29776
1450.59/1454.34 c #Conflicts: 529000 | #Constraints: 30776
1450.59/1454.34 c #Conflicts: 530000 | #Constraints: 31776
1450.59/1454.34 c #Conflicts: 531000 | #Constraints: 32776
1450.59/1454.34 c INPROCESSING
1450.59/1454.34 c GARBAGE COLLECT
1450.59/1454.34 c #Conflicts: 532000 | #Constraints: 19374
1450.59/1454.34 c #Conflicts: 533000 | #Constraints: 20374
1450.59/1454.34 c #Conflicts: 534000 | #Constraints: 21374
1450.59/1454.34 c #Conflicts: 535000 | #Constraints: 22374
1450.59/1454.34 c #Conflicts: 536000 | #Constraints: 23374
1450.59/1454.34 c #Conflicts: 537000 | #Constraints: 24374
1450.59/1454.34 c #Conflicts: 538000 | #Constraints: 25374
1450.59/1454.34 c #Conflicts: 539000 | #Constraints: 26374
1450.59/1454.34 c #Conflicts: 540000 | #Constraints: 27374
1450.59/1454.34 c #Conflicts: 541000 | #Constraints: 28374
1450.59/1454.34 c #Conflicts: 542000 | #Constraints: 29374
1450.59/1454.34 c #Conflicts: 543000 | #Constraints: 30374
1450.59/1454.34 c #Conflicts: 544000 | #Constraints: 31374
1450.59/1454.34 c #Conflicts: 545000 | #Constraints: 32374
1450.59/1454.34 c #Conflicts: 546000 | #Constraints: 33374
1450.59/1454.34 c INPROCESSING
1450.59/1454.34 c GARBAGE COLLECT
1450.59/1454.34 c #Conflicts: 547000 | #Constraints: 19756
1450.59/1454.34 c #Conflicts: 548000 | #Constraints: 20756
1450.59/1454.34 c #Conflicts: 549000 | #Constraints: 21756
1450.59/1454.34 c #Conflicts: 550000 | #Constraints: 22756
1450.59/1454.34 c #Conflicts: 551000 | #Constraints: 23756
1450.59/1454.34 c #Conflicts: 552000 | #Constraints: 24756
1450.59/1454.34 c #Conflicts: 553000 | #Constraints: 25756
1450.59/1454.34 c #Conflicts: 554000 | #Constraints: 26756
1450.59/1454.34 c #Conflicts: 555000 | #Constraints: 27756
1450.59/1454.34 c #Conflicts: 556000 | #Constraints: 28756
1450.59/1454.34 c #Conflicts: 557000 | #Constraints: 29756
1450.59/1454.34 c #Conflicts: 558000 | #Constraints: 30756
1450.59/1454.34 c #Conflicts: 559000 | #Constraints: 31756
1450.59/1454.34 c #Conflicts: 560000 | #Constraints: 32756
1450.59/1454.34 c #Conflicts: 561000 | #Constraints: 33756
1450.59/1454.34 c INPROCESSING
1450.59/1454.34 c GARBAGE COLLECT
1450.59/1454.34 c #Conflicts: 562000 | #Constraints: 19964
1450.59/1454.34 c #Conflicts: 563000 | #Constraints: 20964
1450.59/1454.34 c #Conflicts: 564000 | #Constraints: 21964
1450.59/1454.34 c #Conflicts: 565000 | #Constraints: 22964
1450.59/1454.34 c #Conflicts: 566000 | #Constraints: 23964
1450.59/1454.34 c #Conflicts: 567000 | #Constraints: 24964
1450.59/1454.34 c #Conflicts: 568000 | #Constraints: 25964
1450.59/1454.34 c #Conflicts: 569000 | #Constraints: 26964
1450.59/1454.34 c #Conflicts: 570000 | #Constraints: 27964
1450.59/1454.34 c #Conflicts: 571000 | #Constraints: 28964
1450.59/1454.34 c #Conflicts: 572000 | #Constraints: 29964
1450.59/1454.34 c #Conflicts: 573000 | #Constraints: 30964
1450.59/1454.34 c #Conflicts: 574000 | #Constraints: 31964
1450.59/1454.34 c #Conflicts: 575000 | #Constraints: 32964
1450.59/1454.34 c #Conflicts: 576000 | #Constraints: 33964
1450.59/1454.34 c INPROCESSING
1450.59/1454.34 c GARBAGE COLLECT
1450.59/1454.34 c #Conflicts: 577000 | #Constraints: 19980
1450.59/1454.34 c #Conflicts: 578000 | #Constraints: 20980
1450.59/1454.34 c #Conflicts: 579000 | #Constraints: 21980
1450.59/1454.34 c #Conflicts: 580000 | #Constraints: 22980
1450.59/1454.34 c #Conflicts: 581000 | #Constraints: 23980
1450.59/1454.34 c #Conflicts: 582000 | #Constraints: 24980
1450.59/1454.34 c #Conflicts: 583000 | #Constraints: 25980
1450.59/1454.34 c #Conflicts: 584000 | #Constraints: 26980
1450.59/1454.34 c #Conflicts: 585000 | #Constraints: 27980
1450.59/1454.34 c #Conflicts: 586000 | #Constraints: 28980
1450.59/1454.34 c #Conflicts: 587000 | #Constraints: 29980
1450.59/1454.34 c #Conflicts: 588000 | #Constraints: 30980
1629.77/1633.96 c #Conflicts: 589000 | #Constraints: 31980
1629.77/1633.96 c #Conflicts: 590000 | #Constraints: 32980
1629.77/1633.96 c #Conflicts: 591000 | #Constraints: 33980
1629.77/1633.96 c INPROCESSING
1629.77/1633.96 c GARBAGE COLLECT
1629.77/1633.96 c #Conflicts: 592000 | #Constraints: 19752
1629.77/1633.96 c #Conflicts: 593000 | #Constraints: 20752
1629.77/1633.96 c #Conflicts: 594000 | #Constraints: 21752
1629.77/1633.96 c #Conflicts: 595000 | #Constraints: 22752
1629.77/1633.96 c #Conflicts: 596000 | #Constraints: 23752
1629.77/1633.96 c #Conflicts: 597000 | #Constraints: 24752
1629.77/1633.96 c #Conflicts: 598000 | #Constraints: 25752
1629.77/1633.96 c #Conflicts: 599000 | #Constraints: 26752
1629.77/1633.96 c #Conflicts: 600000 | #Constraints: 27752
1629.77/1633.96 c #Conflicts: 601000 | #Constraints: 28752
1629.77/1633.96 c #Conflicts: 602000 | #Constraints: 29752
1629.77/1633.96 c #Conflicts: 603000 | #Constraints: 30752
1629.77/1633.96 c #Conflicts: 604000 | #Constraints: 31752
1629.77/1633.96 c #Conflicts: 605000 | #Constraints: 32752
1629.77/1633.96 c #Conflicts: 606000 | #Constraints: 33752
1629.77/1633.96 c #Conflicts: 607000 | #Constraints: 34752
1629.77/1633.96 c INPROCESSING
1629.77/1633.96 c GARBAGE COLLECT
1629.77/1633.96 c #Conflicts: 608000 | #Constraints: 20350
1629.77/1633.96 c #Conflicts: 609000 | #Constraints: 21350
1629.77/1633.96 c #Conflicts: 610000 | #Constraints: 22350
1629.77/1633.96 c #Conflicts: 611000 | #Constraints: 23350
1629.77/1633.96 c #Conflicts: 612000 | #Constraints: 24350
1629.77/1633.96 c #Conflicts: 613000 | #Constraints: 25350
1629.77/1633.96 c #Conflicts: 614000 | #Constraints: 26350
1629.77/1633.96 c #Conflicts: 615000 | #Constraints: 27350
1629.77/1633.96 c #Conflicts: 616000 | #Constraints: 28350
1629.77/1633.96 c #Conflicts: 617000 | #Constraints: 29350
1629.77/1633.96 c #Conflicts: 618000 | #Constraints: 30350
1629.77/1633.96 c #Conflicts: 619000 | #Constraints: 31350
1629.77/1633.96 c #Conflicts: 620000 | #Constraints: 32350
1629.77/1633.96 c #Conflicts: 621000 | #Constraints: 33350
1629.77/1633.96 c #Conflicts: 622000 | #Constraints: 34350
1629.77/1633.96 c #Conflicts: 623000 | #Constraints: 35350
1629.77/1633.96 c INPROCESSING
1629.77/1633.96 c GARBAGE COLLECT
1629.77/1633.96 c #Conflicts: 624000 | #Constraints: 20739
1629.77/1633.96 c #Conflicts: 625000 | #Constraints: 21739
1629.77/1633.96 c #Conflicts: 626000 | #Constraints: 22739
1629.77/1633.96 c #Conflicts: 627000 | #Constraints: 23739
1629.77/1633.96 c #Conflicts: 628000 | #Constraints: 24739
1629.77/1633.96 c #Conflicts: 629000 | #Constraints: 25739
1629.77/1633.96 c #Conflicts: 630000 | #Constraints: 26739
1629.77/1633.96 c #Conflicts: 631000 | #Constraints: 27739
1629.77/1633.96 c #Conflicts: 632000 | #Constraints: 28739
1629.77/1633.96 c #Conflicts: 633000 | #Constraints: 29739
1629.77/1633.96 c #Conflicts: 634000 | #Constraints: 30739
1629.77/1633.96 c #Conflicts: 635000 | #Constraints: 31739
1629.77/1633.96 c #Conflicts: 636000 | #Constraints: 32739
1629.77/1633.96 c #Conflicts: 637000 | #Constraints: 33739
1629.77/1633.96 c #Conflicts: 638000 | #Constraints: 34739
1629.77/1633.96 c #Conflicts: 639000 | #Constraints: 35739
1629.77/1633.96 c INPROCESSING
1629.77/1633.96 c GARBAGE COLLECT
1629.77/1633.96 c #Conflicts: 640000 | #Constraints: 20965
1629.77/1633.96 c #Conflicts: 641000 | #Constraints: 21965
1629.77/1633.96 c #Conflicts: 642000 | #Constraints: 22965
1629.77/1633.96 c #Conflicts: 643000 | #Constraints: 23965
1629.77/1633.96 c #Conflicts: 644000 | #Constraints: 24965
1629.77/1633.96 c #Conflicts: 645000 | #Constraints: 25965
1629.77/1633.96 c #Conflicts: 646000 | #Constraints: 26965
1629.77/1633.96 c #Conflicts: 647000 | #Constraints: 27965
1629.77/1633.96 c #Conflicts: 648000 | #Constraints: 28965
1629.77/1633.96 c #Conflicts: 649000 | #Constraints: 29965
1629.77/1633.96 c #Conflicts: 650000 | #Constraints: 30965
1629.77/1633.96 c #Conflicts: 651000 | #Constraints: 31965
1629.77/1633.96 c #Conflicts: 652000 | #Constraints: 32965
1629.77/1633.96 c #Conflicts: 653000 | #Constraints: 33965
1629.77/1633.96 c #Conflicts: 654000 | #Constraints: 34965
1629.77/1633.96 c #Conflicts: 655000 | #Constraints: 35965
1629.77/1633.96 c INPROCESSING
1629.77/1633.96 c GARBAGE COLLECT
1629.77/1633.96 c #Conflicts: 656000 | #Constraints: 20958
1629.77/1633.96 c #Conflicts: 657000 | #Constraints: 21958
1629.77/1633.96 c #Conflicts: 658000 | #Constraints: 22958
1629.77/1633.96 c #Conflicts: 659000 | #Constraints: 23958
1629.77/1633.96 c #Conflicts: 660000 | #Constraints: 24958
1629.77/1633.96 c #Conflicts: 661000 | #Constraints: 25958
1629.77/1633.96 c #Conflicts: 662000 | #Constraints: 26958
1629.77/1633.96 c #Conflicts: 663000 | #Constraints: 27958
1629.77/1633.96 c #Conflicts: 664000 | #Constraints: 28958
1784.11/1788.66 c #Conflicts: 665000 | #Constraints: 29958
1784.11/1788.66 c #Conflicts: 666000 | #Constraints: 30958
1784.11/1788.66 c #Conflicts: 667000 | #Constraints: 31958
1784.11/1788.66 c #Conflicts: 668000 | #Constraints: 32958
1784.11/1788.66 c #Conflicts: 669000 | #Constraints: 33958
1784.11/1788.66 c #Conflicts: 670000 | #Constraints: 34958
1784.11/1788.66 c #Conflicts: 671000 | #Constraints: 35958
1784.11/1788.66 c INPROCESSING
1784.11/1788.66 c GARBAGE COLLECT
1784.11/1788.66 c #Conflicts: 672000 | #Constraints: 20751
1784.11/1788.66 c #Conflicts: 673000 | #Constraints: 21751
1784.11/1788.66 c #Conflicts: 674000 | #Constraints: 22751
1784.11/1788.66 c #Conflicts: 675000 | #Constraints: 23751
1784.11/1788.66 c #Conflicts: 676000 | #Constraints: 24751
1784.11/1788.66 c #Conflicts: 677000 | #Constraints: 25751
1784.11/1788.66 c #Conflicts: 678000 | #Constraints: 26751
1784.11/1788.66 c #Conflicts: 679000 | #Constraints: 27751
1784.11/1788.66 c #Conflicts: 680000 | #Constraints: 28751
1784.11/1788.66 c #Conflicts: 681000 | #Constraints: 29751
1784.11/1788.66 c #Conflicts: 682000 | #Constraints: 30751
1784.11/1788.66 c #Conflicts: 683000 | #Constraints: 31751
1784.11/1788.66 c #Conflicts: 684000 | #Constraints: 32751
1784.11/1788.66 c #Conflicts: 685000 | #Constraints: 33751
1784.11/1788.66 c #Conflicts: 686000 | #Constraints: 34751
1784.11/1788.66 c #Conflicts: 687000 | #Constraints: 35751
1784.11/1788.66 c #Conflicts: 688000 | #Constraints: 36751
1784.11/1788.66 c INPROCESSING
1784.11/1788.66 c GARBAGE COLLECT
1784.11/1788.66 c #Conflicts: 689000 | #Constraints: 21349
1784.11/1788.66 c #Conflicts: 690000 | #Constraints: 22349
1784.11/1788.66 c #Conflicts: 691000 | #Constraints: 23349
1784.11/1788.66 c #Conflicts: 692000 | #Constraints: 24349
1784.11/1788.66 c #Conflicts: 693000 | #Constraints: 25349
1784.11/1788.66 c #Conflicts: 694000 | #Constraints: 26349
1784.11/1788.66 c #Conflicts: 695000 | #Constraints: 27349
1784.11/1788.66 c #Conflicts: 696000 | #Constraints: 28349
1784.11/1788.66 c #Conflicts: 697000 | #Constraints: 29349
1784.11/1788.66 c #Conflicts: 698000 | #Constraints: 30349
1784.11/1788.66 c #Conflicts: 699000 | #Constraints: 31349
1784.11/1788.66 c #Conflicts: 700000 | #Constraints: 32349
1784.11/1788.66 c #Conflicts: 701000 | #Constraints: 33349
1784.11/1788.66 c #Conflicts: 702000 | #Constraints: 34349
1784.11/1788.66 c #Conflicts: 703000 | #Constraints: 35349
1784.11/1788.66 c #Conflicts: 704000 | #Constraints: 36349
1784.11/1788.66 c #Conflicts: 705000 | #Constraints: 37349
1784.11/1788.66 c INPROCESSING
1784.11/1788.66 c GARBAGE COLLECT
1784.11/1788.66 c #Conflicts: 706000 | #Constraints: 21754
1784.11/1788.66 c #Conflicts: 707000 | #Constraints: 22754
1784.11/1788.66 c #Conflicts: 708000 | #Constraints: 23754
1784.11/1788.66 c #Conflicts: 709000 | #Constraints: 24754
1784.11/1788.66 c #Conflicts: 710000 | #Constraints: 25754
1784.11/1788.66 c #Conflicts: 711000 | #Constraints: 26754
1784.11/1788.66 c #Conflicts: 712000 | #Constraints: 27754
1784.11/1788.66 c #Conflicts: 713000 | #Constraints: 28754
1784.11/1788.66 c #Conflicts: 714000 | #Constraints: 29754
1784.11/1788.66 c #Conflicts: 715000 | #Constraints: 30754
1784.11/1788.66 c #Conflicts: 716000 | #Constraints: 31754
1784.11/1788.66 c #Conflicts: 717000 | #Constraints: 32754
1784.11/1788.66 c #Conflicts: 718000 | #Constraints: 33754
1784.11/1788.66 c #Conflicts: 719000 | #Constraints: 34754
1784.11/1788.66 c #Conflicts: 720000 | #Constraints: 35754
1784.11/1788.66 c #Conflicts: 721000 | #Constraints: 36754
1784.11/1788.66 c #Conflicts: 722000 | #Constraints: 37754
1784.11/1788.66 c INPROCESSING
1784.11/1788.66 c GARBAGE COLLECT
1784.11/1788.66 c #Conflicts: 723000 | #Constraints: 21948
1784.11/1788.66 c #Conflicts: 724000 | #Constraints: 22948
1784.11/1788.66 c #Conflicts: 725000 | #Constraints: 23948
1784.11/1788.66 c #Conflicts: 726000 | #Constraints: 24948
1784.11/1788.66 c #Conflicts: 727000 | #Constraints: 25948
1784.11/1788.66 c #Conflicts: 728000 | #Constraints: 26948
1784.11/1788.66 c #Conflicts: 729000 | #Constraints: 27948
1784.11/1788.66 c #Conflicts: 730000 | #Constraints: 28948
1784.11/1788.66 c #Conflicts: 731000 | #Constraints: 29948
1784.11/1788.66 c #Conflicts: 732000 | #Constraints: 30948
1784.11/1788.66 c #Conflicts: 733000 | #Constraints: 31948
1784.11/1788.66 c #Conflicts: 734000 | #Constraints: 32948
1784.11/1788.66 c #Conflicts: 735000 | #Constraints: 33948
1784.11/1788.66 c #Conflicts: 736000 | #Constraints: 34948
1784.11/1788.66 c #Conflicts: 737000 | #Constraints: 35948
1784.11/1788.66 c #Conflicts: 738000 | #Constraints: 36948
1784.11/1788.66 c #Conflicts: 739000 | #Constraints: 37948
1784.11/1788.66 c INPROCESSING
1784.11/1788.66 c GARBAGE COLLECT
2016.56/2021.67 c #Conflicts: 740000 | #Constraints: 21947
2016.56/2021.67 c #Conflicts: 741000 | #Constraints: 22947
2016.56/2021.67 c #Conflicts: 742000 | #Constraints: 23947
2016.56/2021.67 c #Conflicts: 743000 | #Constraints: 24947
2016.56/2021.67 c #Conflicts: 744000 | #Constraints: 25947
2016.56/2021.67 c #Conflicts: 745000 | #Constraints: 26947
2016.56/2021.67 c #Conflicts: 746000 | #Constraints: 27947
2016.56/2021.67 c #Conflicts: 747000 | #Constraints: 28947
2016.56/2021.67 c #Conflicts: 748000 | #Constraints: 29947
2016.56/2021.67 c #Conflicts: 749000 | #Constraints: 30947
2016.56/2021.67 c #Conflicts: 750000 | #Constraints: 31947
2016.56/2021.67 c #Conflicts: 751000 | #Constraints: 32947
2016.56/2021.67 c #Conflicts: 752000 | #Constraints: 33947
2016.56/2021.67 c #Conflicts: 753000 | #Constraints: 34947
2016.56/2021.67 c #Conflicts: 754000 | #Constraints: 35947
2016.56/2021.67 c #Conflicts: 755000 | #Constraints: 36947
2016.56/2021.67 c #Conflicts: 756000 | #Constraints: 37947
2016.56/2021.67 c INPROCESSING
2016.56/2021.67 c GARBAGE COLLECT
2016.56/2021.67 c #Conflicts: 757000 | #Constraints: 21746
2016.56/2021.67 c #Conflicts: 758000 | #Constraints: 22746
2016.56/2021.67 c #Conflicts: 759000 | #Constraints: 23746
2016.56/2021.67 c #Conflicts: 760000 | #Constraints: 24746
2016.56/2021.67 c #Conflicts: 761000 | #Constraints: 25746
2016.56/2021.67 c #Conflicts: 762000 | #Constraints: 26746
2016.56/2021.67 c #Conflicts: 763000 | #Constraints: 27746
2016.56/2021.67 c #Conflicts: 764000 | #Constraints: 28746
2016.56/2021.67 c #Conflicts: 765000 | #Constraints: 29746
2016.56/2021.67 c #Conflicts: 766000 | #Constraints: 30746
2016.56/2021.67 c #Conflicts: 767000 | #Constraints: 31746
2016.56/2021.67 c #Conflicts: 768000 | #Constraints: 32746
2016.56/2021.67 c #Conflicts: 769000 | #Constraints: 33746
2016.56/2021.67 c #Conflicts: 770000 | #Constraints: 34746
2016.56/2021.67 c #Conflicts: 771000 | #Constraints: 35746
2016.56/2021.67 c #Conflicts: 772000 | #Constraints: 36746
2016.56/2021.67 c #Conflicts: 773000 | #Constraints: 37746
2016.56/2021.67 c #Conflicts: 774000 | #Constraints: 38746
2016.56/2021.67 c INPROCESSING
2016.56/2021.67 c GARBAGE COLLECT
2016.56/2021.67 c #Conflicts: 775000 | #Constraints: 22346
2016.56/2021.67 c #Conflicts: 776000 | #Constraints: 23346
2016.56/2021.67 c #Conflicts: 777000 | #Constraints: 24346
2016.56/2021.67 c #Conflicts: 778000 | #Constraints: 25346
2016.56/2021.67 c #Conflicts: 779000 | #Constraints: 26346
2016.56/2021.67 c #Conflicts: 780000 | #Constraints: 27346
2016.56/2021.67 c #Conflicts: 781000 | #Constraints: 28346
2016.56/2021.67 c #Conflicts: 782000 | #Constraints: 29346
2016.56/2021.67 c #Conflicts: 783000 | #Constraints: 30346
2016.56/2021.67 c #Conflicts: 784000 | #Constraints: 31346
2016.56/2021.67 c #Conflicts: 785000 | #Constraints: 32346
2016.56/2021.67 c #Conflicts: 786000 | #Constraints: 33346
2016.56/2021.67 c #Conflicts: 787000 | #Constraints: 34346
2016.56/2021.67 c #Conflicts: 788000 | #Constraints: 35346
2016.56/2021.67 c #Conflicts: 789000 | #Constraints: 36346
2016.56/2021.67 c #Conflicts: 790000 | #Constraints: 37346
2016.56/2021.67 c #Conflicts: 791000 | #Constraints: 38346
2016.56/2021.67 c #Conflicts: 792000 | #Constraints: 39346
2016.56/2021.67 c INPROCESSING
2016.56/2021.67 c GARBAGE COLLECT
2016.56/2021.67 c #Conflicts: 793000 | #Constraints: 22754
2016.56/2021.67 c #Conflicts: 794000 | #Constraints: 23754
2016.56/2021.67 c #Conflicts: 795000 | #Constraints: 24754
2016.56/2021.67 c #Conflicts: 796000 | #Constraints: 25754
2016.56/2021.67 c #Conflicts: 797000 | #Constraints: 26754
2016.56/2021.67 c #Conflicts: 798000 | #Constraints: 27754
2016.56/2021.67 c #Conflicts: 799000 | #Constraints: 28754
2016.56/2021.67 c #Conflicts: 800000 | #Constraints: 29754
2016.56/2021.67 c #Conflicts: 801000 | #Constraints: 30754
2016.56/2021.67 c #Conflicts: 802000 | #Constraints: 31754
2016.56/2021.67 c #Conflicts: 803000 | #Constraints: 32754
2016.56/2021.67 c #Conflicts: 804000 | #Constraints: 33754
2016.56/2021.67 c #Conflicts: 805000 | #Constraints: 34754
2016.56/2021.67 c #Conflicts: 806000 | #Constraints: 35754
2016.56/2021.67 c #Conflicts: 807000 | #Constraints: 36754
2016.56/2021.67 c #Conflicts: 808000 | #Constraints: 37754
2016.56/2021.67 c #Conflicts: 809000 | #Constraints: 38754
2016.56/2021.67 c #Conflicts: 810000 | #Constraints: 39754
2016.56/2021.67 c INPROCESSING
2016.56/2021.67 c GARBAGE COLLECT
2016.56/2021.67 c #Conflicts: 811000 | #Constraints: 22948
2016.56/2021.67 c #Conflicts: 812000 | #Constraints: 23948
2016.56/2021.67 c #Conflicts: 813000 | #Constraints: 24948
2016.56/2021.67 c #Conflicts: 814000 | #Constraints: 25948
2016.56/2021.67 c #Conflicts: 815000 | #Constraints: 26948
2195.43/2200.90 c #Conflicts: 816000 | #Constraints: 27948
2195.43/2200.90 c #Conflicts: 817000 | #Constraints: 28948
2195.43/2200.90 c #Conflicts: 818000 | #Constraints: 29948
2195.43/2200.90 c #Conflicts: 819000 | #Constraints: 30948
2195.43/2200.90 c #Conflicts: 820000 | #Constraints: 31948
2195.43/2200.90 c #Conflicts: 821000 | #Constraints: 32948
2195.43/2200.90 c #Conflicts: 822000 | #Constraints: 33948
2195.43/2200.90 c #Conflicts: 823000 | #Constraints: 34948
2195.43/2200.90 c #Conflicts: 824000 | #Constraints: 35948
2195.43/2200.90 c #Conflicts: 825000 | #Constraints: 36948
2195.43/2200.90 c #Conflicts: 826000 | #Constraints: 37948
2195.43/2200.90 c #Conflicts: 827000 | #Constraints: 38948
2195.43/2200.90 c #Conflicts: 828000 | #Constraints: 39948
2195.43/2200.90 c INPROCESSING
2195.43/2200.90 c GARBAGE COLLECT
2195.43/2200.90 c #Conflicts: 829000 | #Constraints: 22943
2195.43/2200.90 c #Conflicts: 830000 | #Constraints: 23943
2195.43/2200.90 c #Conflicts: 831000 | #Constraints: 24943
2195.43/2200.90 c #Conflicts: 832000 | #Constraints: 25943
2195.43/2200.90 c #Conflicts: 833000 | #Constraints: 26943
2195.43/2200.90 c #Conflicts: 834000 | #Constraints: 27943
2195.43/2200.90 c #Conflicts: 835000 | #Constraints: 28943
2195.43/2200.90 c #Conflicts: 836000 | #Constraints: 29943
2195.43/2200.90 c #Conflicts: 837000 | #Constraints: 30943
2195.43/2200.90 c #Conflicts: 838000 | #Constraints: 31943
2195.43/2200.90 c #Conflicts: 839000 | #Constraints: 32943
2195.43/2200.90 c #Conflicts: 840000 | #Constraints: 33943
2195.43/2200.90 c #Conflicts: 841000 | #Constraints: 34943
2195.43/2200.90 c #Conflicts: 842000 | #Constraints: 35943
2195.43/2200.90 c #Conflicts: 843000 | #Constraints: 36943
2195.43/2200.90 c #Conflicts: 844000 | #Constraints: 37943
2195.43/2200.90 c #Conflicts: 845000 | #Constraints: 38943
2195.43/2200.90 c #Conflicts: 846000 | #Constraints: 39943
2195.43/2200.90 c INPROCESSING
2195.43/2200.90 c GARBAGE COLLECT
2195.43/2200.90 c #Conflicts: 847000 | #Constraints: 22746
2195.43/2200.90 c #Conflicts: 848000 | #Constraints: 23746
2195.43/2200.90 c #Conflicts: 849000 | #Constraints: 24746
2195.43/2200.90 c #Conflicts: 850000 | #Constraints: 25746
2195.43/2200.90 c #Conflicts: 851000 | #Constraints: 26746
2195.43/2200.90 c #Conflicts: 852000 | #Constraints: 27746
2195.43/2200.90 c #Conflicts: 853000 | #Constraints: 28746
2195.43/2200.90 c #Conflicts: 854000 | #Constraints: 29746
2195.43/2200.90 c #Conflicts: 855000 | #Constraints: 30746
2195.43/2200.90 c #Conflicts: 856000 | #Constraints: 31746
2195.43/2200.90 c #Conflicts: 857000 | #Constraints: 32746
2195.43/2200.90 c #Conflicts: 858000 | #Constraints: 33746
2195.43/2200.90 c #Conflicts: 859000 | #Constraints: 34746
2195.43/2200.90 c #Conflicts: 860000 | #Constraints: 35746
2195.43/2200.90 c #Conflicts: 861000 | #Constraints: 36746
2195.43/2200.90 c #Conflicts: 862000 | #Constraints: 37746
2195.43/2200.90 c #Conflicts: 863000 | #Constraints: 38746
2195.43/2200.90 c #Conflicts: 864000 | #Constraints: 39746
2195.43/2200.90 c #Conflicts: 865000 | #Constraints: 40746
2195.43/2200.90 c INPROCESSING
2195.43/2200.90 c GARBAGE COLLECT
2195.43/2200.90 c #Conflicts: 866000 | #Constraints: 23372
2195.43/2200.90 c #Conflicts: 867000 | #Constraints: 24372
2195.43/2200.90 c #Conflicts: 868000 | #Constraints: 25372
2195.43/2200.90 c #Conflicts: 869000 | #Constraints: 26372
2195.43/2200.90 c #Conflicts: 870000 | #Constraints: 27372
2195.43/2200.90 c #Conflicts: 871000 | #Constraints: 28372
2195.43/2200.90 c #Conflicts: 872000 | #Constraints: 29372
2195.43/2200.90 c #Conflicts: 873000 | #Constraints: 30372
2195.43/2200.90 c #Conflicts: 874000 | #Constraints: 31372
2195.43/2200.90 c #Conflicts: 875000 | #Constraints: 32372
2195.43/2200.90 c #Conflicts: 876000 | #Constraints: 33372
2195.43/2200.90 c #Conflicts: 877000 | #Constraints: 34372
2195.43/2200.90 c #Conflicts: 878000 | #Constraints: 35372
2195.43/2200.90 c #Conflicts: 879000 | #Constraints: 36372
2195.43/2200.90 c #Conflicts: 880000 | #Constraints: 37372
2195.43/2200.90 c #Conflicts: 881000 | #Constraints: 38372
2195.43/2200.90 c #Conflicts: 882000 | #Constraints: 39372
2195.43/2200.90 c #Conflicts: 883000 | #Constraints: 40372
2195.43/2200.90 c #Conflicts: 884000 | #Constraints: 41372
2195.43/2200.90 c INPROCESSING
2195.43/2200.90 c GARBAGE COLLECT
2195.43/2200.90 c #Conflicts: 885000 | #Constraints: 23744
2195.43/2200.90 c #Conflicts: 886000 | #Constraints: 24744
2195.43/2200.90 c #Conflicts: 887000 | #Constraints: 25744
2195.43/2200.90 c #Conflicts: 888000 | #Constraints: 26744
2195.43/2200.90 c #Conflicts: 889000 | #Constraints: 27744
2195.43/2200.90 c #Conflicts: 890000 | #Constraints: 28744
2195.43/2200.90 c #Conflicts: 891000 | #Constraints: 29744
2195.43/2200.90 c #Conflicts: 892000 | #Constraints: 30744
2395.54/2401.58 c #Conflicts: 893000 | #Constraints: 31744
2395.54/2401.58 c #Conflicts: 894000 | #Constraints: 32744
2395.54/2401.58 c #Conflicts: 895000 | #Constraints: 33744
2395.54/2401.58 c #Conflicts: 896000 | #Constraints: 34744
2395.54/2401.58 c #Conflicts: 897000 | #Constraints: 35744
2395.54/2401.58 c #Conflicts: 898000 | #Constraints: 36744
2395.54/2401.58 c #Conflicts: 899000 | #Constraints: 37744
2395.54/2401.58 c #Conflicts: 900000 | #Constraints: 38744
2395.54/2401.58 c #Conflicts: 901000 | #Constraints: 39744
2395.54/2401.58 c #Conflicts: 902000 | #Constraints: 40744
2395.54/2401.58 c #Conflicts: 903000 | #Constraints: 41744
2395.54/2401.58 c INPROCESSING
2395.54/2401.58 c GARBAGE COLLECT
2395.54/2401.58 c #Conflicts: 904000 | #Constraints: 23939
2395.54/2401.58 c #Conflicts: 905000 | #Constraints: 24939
2395.54/2401.58 c #Conflicts: 906000 | #Constraints: 25939
2395.54/2401.58 c #Conflicts: 907000 | #Constraints: 26939
2395.54/2401.58 c #Conflicts: 908000 | #Constraints: 27939
2395.54/2401.58 c #Conflicts: 909000 | #Constraints: 28939
2395.54/2401.58 c #Conflicts: 910000 | #Constraints: 29939
2395.54/2401.58 c #Conflicts: 911000 | #Constraints: 30939
2395.54/2401.58 c #Conflicts: 912000 | #Constraints: 31939
2395.54/2401.58 c #Conflicts: 913000 | #Constraints: 32939
2395.54/2401.58 c #Conflicts: 914000 | #Constraints: 33939
2395.54/2401.58 c #Conflicts: 915000 | #Constraints: 34939
2395.54/2401.58 c #Conflicts: 916000 | #Constraints: 35939
2395.54/2401.58 c #Conflicts: 917000 | #Constraints: 36939
2395.54/2401.58 c #Conflicts: 918000 | #Constraints: 37939
2395.54/2401.58 c #Conflicts: 919000 | #Constraints: 38939
2395.54/2401.58 c #Conflicts: 920000 | #Constraints: 39939
2395.54/2401.58 c #Conflicts: 921000 | #Constraints: 40939
2395.54/2401.58 c #Conflicts: 922000 | #Constraints: 41939
2395.54/2401.58 c INPROCESSING
2395.54/2401.58 c GARBAGE COLLECT
2395.54/2401.58 c #Conflicts: 923000 | #Constraints: 23926
2395.54/2401.58 c #Conflicts: 924000 | #Constraints: 24926
2395.54/2401.58 c #Conflicts: 925000 | #Constraints: 25926
2395.54/2401.58 c #Conflicts: 926000 | #Constraints: 26926
2395.54/2401.58 c #Conflicts: 927000 | #Constraints: 27926
2395.54/2401.58 c #Conflicts: 928000 | #Constraints: 28926
2395.54/2401.58 c #Conflicts: 929000 | #Constraints: 29926
2395.54/2401.58 c #Conflicts: 930000 | #Constraints: 30926
2395.54/2401.58 c #Conflicts: 931000 | #Constraints: 31926
2395.54/2401.58 c #Conflicts: 932000 | #Constraints: 32926
2395.54/2401.58 c #Conflicts: 933000 | #Constraints: 33926
2395.54/2401.58 c #Conflicts: 934000 | #Constraints: 34926
2395.54/2401.58 c #Conflicts: 935000 | #Constraints: 35926
2395.54/2401.58 c #Conflicts: 936000 | #Constraints: 36926
2395.54/2401.58 c #Conflicts: 937000 | #Constraints: 37926
2395.54/2401.58 c #Conflicts: 938000 | #Constraints: 38926
2395.54/2401.58 c #Conflicts: 939000 | #Constraints: 39926
2395.54/2401.58 c #Conflicts: 940000 | #Constraints: 40926
2395.54/2401.58 c #Conflicts: 941000 | #Constraints: 41926
2395.54/2401.58 c INPROCESSING
2395.54/2401.58 c GARBAGE COLLECT
2395.54/2401.58 c #Conflicts: 942000 | #Constraints: 23753
2395.54/2401.58 c #Conflicts: 943000 | #Constraints: 24753
2395.54/2401.58 c #Conflicts: 944000 | #Constraints: 25753
2395.54/2401.58 c #Conflicts: 945000 | #Constraints: 26753
2395.54/2401.58 c #Conflicts: 946000 | #Constraints: 27753
2395.54/2401.58 c #Conflicts: 947000 | #Constraints: 28753
2395.54/2401.58 c #Conflicts: 948000 | #Constraints: 29753
2395.54/2401.58 c #Conflicts: 949000 | #Constraints: 30753
2395.54/2401.58 c #Conflicts: 950000 | #Constraints: 31753
2395.54/2401.58 c #Conflicts: 951000 | #Constraints: 32753
2395.54/2401.58 c #Conflicts: 952000 | #Constraints: 33753
2395.54/2401.58 c #Conflicts: 953000 | #Constraints: 34753
2395.54/2401.58 c #Conflicts: 954000 | #Constraints: 35753
2395.54/2401.58 c #Conflicts: 955000 | #Constraints: 36753
2395.54/2401.58 c #Conflicts: 956000 | #Constraints: 37753
2395.54/2401.58 c #Conflicts: 957000 | #Constraints: 38753
2395.54/2401.58 c #Conflicts: 958000 | #Constraints: 39753
2395.54/2401.58 c #Conflicts: 959000 | #Constraints: 40753
2395.54/2401.58 c #Conflicts: 960000 | #Constraints: 41753
2395.54/2401.58 c #Conflicts: 961000 | #Constraints: 42753
2395.54/2401.58 c INPROCESSING
2395.54/2401.58 c GARBAGE COLLECT
2395.54/2401.58 c #Conflicts: 962000 | #Constraints: 24356
2395.54/2401.58 c #Conflicts: 963000 | #Constraints: 25356
2395.54/2401.58 c #Conflicts: 964000 | #Constraints: 26356
2395.54/2401.58 c #Conflicts: 965000 | #Constraints: 27356
2395.54/2401.58 c #Conflicts: 966000 | #Constraints: 28356
2395.54/2401.58 c #Conflicts: 967000 | #Constraints: 29356
2395.54/2401.58 c #Conflicts: 968000 | #Constraints: 30356
2570.07/2576.51 c #Conflicts: 969000 | #Constraints: 31356
2570.07/2576.51 c #Conflicts: 970000 | #Constraints: 32356
2570.07/2576.51 c #Conflicts: 971000 | #Constraints: 33356
2570.07/2576.51 c #Conflicts: 972000 | #Constraints: 34356
2570.07/2576.51 c #Conflicts: 973000 | #Constraints: 35356
2570.07/2576.51 c #Conflicts: 974000 | #Constraints: 36356
2570.07/2576.51 c #Conflicts: 975000 | #Constraints: 37356
2570.07/2576.51 c #Conflicts: 976000 | #Constraints: 38356
2570.07/2576.51 c #Conflicts: 977000 | #Constraints: 39356
2570.07/2576.51 c #Conflicts: 978000 | #Constraints: 40356
2570.07/2576.51 c #Conflicts: 979000 | #Constraints: 41356
2570.07/2576.51 c #Conflicts: 980000 | #Constraints: 42356
2570.07/2576.51 c #Conflicts: 981000 | #Constraints: 43356
2570.07/2576.51 c INPROCESSING
2570.07/2576.51 c GARBAGE COLLECT
2570.07/2576.51 c #Conflicts: 982000 | #Constraints: 24769
2570.07/2576.51 c #Conflicts: 983000 | #Constraints: 25769
2570.07/2576.51 c #Conflicts: 984000 | #Constraints: 26769
2570.07/2576.51 c #Conflicts: 985000 | #Constraints: 27769
2570.07/2576.51 c #Conflicts: 986000 | #Constraints: 28769
2570.07/2576.51 c #Conflicts: 987000 | #Constraints: 29769
2570.07/2576.51 c #Conflicts: 988000 | #Constraints: 30769
2570.07/2576.51 c #Conflicts: 989000 | #Constraints: 31769
2570.07/2576.51 c #Conflicts: 990000 | #Constraints: 32769
2570.07/2576.51 c #Conflicts: 991000 | #Constraints: 33769
2570.07/2576.51 c #Conflicts: 992000 | #Constraints: 34769
2570.07/2576.51 c #Conflicts: 993000 | #Constraints: 35769
2570.07/2576.51 c #Conflicts: 994000 | #Constraints: 36769
2570.07/2576.51 c #Conflicts: 995000 | #Constraints: 37769
2570.07/2576.51 c #Conflicts: 996000 | #Constraints: 38769
2570.07/2576.51 c #Conflicts: 997000 | #Constraints: 39769
2570.07/2576.51 c #Conflicts: 998000 | #Constraints: 40769
2570.07/2576.51 c #Conflicts: 999000 | #Constraints: 41769
2570.07/2576.51 c #Conflicts: 1000000 | #Constraints: 42769
2570.07/2576.51 c #Conflicts: 1001000 | #Constraints: 43769
2570.07/2576.51 c INPROCESSING
2570.07/2576.51 c GARBAGE COLLECT
2570.07/2576.51 c #Conflicts: 1002000 | #Constraints: 24988
2570.07/2576.51 c #Conflicts: 1003000 | #Constraints: 25988
2570.07/2576.51 c #Conflicts: 1004000 | #Constraints: 26988
2570.07/2576.51 c #Conflicts: 1005000 | #Constraints: 27988
2570.07/2576.51 c #Conflicts: 1006000 | #Constraints: 28988
2570.07/2576.51 c #Conflicts: 1007000 | #Constraints: 29988
2570.07/2576.51 c #Conflicts: 1008000 | #Constraints: 30988
2570.07/2576.51 c #Conflicts: 1009000 | #Constraints: 31988
2570.07/2576.51 c #Conflicts: 1010000 | #Constraints: 32988
2570.07/2576.51 c #Conflicts: 1011000 | #Constraints: 33988
2570.07/2576.51 c #Conflicts: 1012000 | #Constraints: 34988
2570.07/2576.51 c #Conflicts: 1013000 | #Constraints: 35988
2570.07/2576.51 c #Conflicts: 1014000 | #Constraints: 36988
2570.07/2576.51 c #Conflicts: 1015000 | #Constraints: 37988
2570.07/2576.51 c #Conflicts: 1016000 | #Constraints: 38988
2570.07/2576.51 c #Conflicts: 1017000 | #Constraints: 39988
2570.07/2576.51 c #Conflicts: 1018000 | #Constraints: 40988
2570.07/2576.51 c #Conflicts: 1019000 | #Constraints: 41988
2570.07/2576.51 c #Conflicts: 1020000 | #Constraints: 42988
2570.07/2576.51 c #Conflicts: 1021000 | #Constraints: 43988
2570.07/2576.51 c INPROCESSING
2570.07/2576.51 c GARBAGE COLLECT
2570.07/2576.51 c #Conflicts: 1022000 | #Constraints: 24991
2570.07/2576.51 c #Conflicts: 1023000 | #Constraints: 25991
2570.07/2576.51 c #Conflicts: 1024000 | #Constraints: 26991
2570.07/2576.51 c #Conflicts: 1025000 | #Constraints: 27991
2570.07/2576.51 c #Conflicts: 1026000 | #Constraints: 28991
2570.07/2576.51 c #Conflicts: 1027000 | #Constraints: 29991
2570.07/2576.51 c #Conflicts: 1028000 | #Constraints: 30991
2570.07/2576.51 c #Conflicts: 1029000 | #Constraints: 31991
2570.07/2576.51 c #Conflicts: 1030000 | #Constraints: 32991
2570.07/2576.51 c #Conflicts: 1031000 | #Constraints: 33991
2570.07/2576.51 c #Conflicts: 1032000 | #Constraints: 34991
2570.07/2576.51 c #Conflicts: 1033000 | #Constraints: 35991
2570.07/2576.51 c #Conflicts: 1034000 | #Constraints: 36991
2570.07/2576.51 c #Conflicts: 1035000 | #Constraints: 37991
2570.07/2576.51 c #Conflicts: 1036000 | #Constraints: 38991
2570.07/2576.51 c #Conflicts: 1037000 | #Constraints: 39991
2570.07/2576.51 c #Conflicts: 1038000 | #Constraints: 40991
2570.07/2576.51 c #Conflicts: 1039000 | #Constraints: 41991
2570.07/2576.51 c #Conflicts: 1040000 | #Constraints: 42991
2570.07/2576.51 c #Conflicts: 1041000 | #Constraints: 43991
2570.07/2576.51 c INPROCESSING
2570.07/2576.51 c GARBAGE COLLECT
2570.07/2576.51 c #Conflicts: 1042000 | #Constraints: 24779
2570.07/2576.51 c #Conflicts: 1043000 | #Constraints: 25779
2570.07/2576.51 c #Conflicts: 1044000 | #Constraints: 26779
2803.76/2810.82 c #Conflicts: 1045000 | #Constraints: 27779
2803.76/2810.82 c #Conflicts: 1046000 | #Constraints: 28779
2803.76/2810.82 c #Conflicts: 1047000 | #Constraints: 29779
2803.76/2810.82 c #Conflicts: 1048000 | #Constraints: 30779
2803.76/2810.82 c #Conflicts: 1049000 | #Constraints: 31779
2803.76/2810.82 c #Conflicts: 1050000 | #Constraints: 32779
2803.76/2810.82 c #Conflicts: 1051000 | #Constraints: 33779
2803.76/2810.82 c #Conflicts: 1052000 | #Constraints: 34779
2803.76/2810.82 c #Conflicts: 1053000 | #Constraints: 35779
2803.76/2810.82 c #Conflicts: 1054000 | #Constraints: 36779
2803.76/2810.82 c #Conflicts: 1055000 | #Constraints: 37779
2803.76/2810.82 c #Conflicts: 1056000 | #Constraints: 38779
2803.76/2810.82 c #Conflicts: 1057000 | #Constraints: 39779
2803.76/2810.82 c #Conflicts: 1058000 | #Constraints: 40779
2803.76/2810.82 c #Conflicts: 1059000 | #Constraints: 41779
2803.76/2810.82 c #Conflicts: 1060000 | #Constraints: 42779
2803.76/2810.82 c #Conflicts: 1061000 | #Constraints: 43779
2803.76/2810.82 c #Conflicts: 1062000 | #Constraints: 44779
2803.76/2810.82 c INPROCESSING
2803.76/2810.82 c GARBAGE COLLECT
2803.76/2810.82 c #Conflicts: 1063000 | #Constraints: 25359
2803.76/2810.82 c #Conflicts: 1064000 | #Constraints: 26359
2803.76/2810.82 c #Conflicts: 1065000 | #Constraints: 27359
2803.76/2810.82 c #Conflicts: 1066000 | #Constraints: 28359
2803.76/2810.82 c #Conflicts: 1067000 | #Constraints: 29359
2803.76/2810.82 c #Conflicts: 1068000 | #Constraints: 30359
2803.76/2810.82 c #Conflicts: 1069000 | #Constraints: 31359
2803.76/2810.82 c #Conflicts: 1070000 | #Constraints: 32359
2803.76/2810.82 c #Conflicts: 1071000 | #Constraints: 33359
2803.76/2810.82 c #Conflicts: 1072000 | #Constraints: 34359
2803.76/2810.82 c #Conflicts: 1073000 | #Constraints: 35359
2803.76/2810.82 c #Conflicts: 1074000 | #Constraints: 36359
2803.76/2810.82 c #Conflicts: 1075000 | #Constraints: 37359
2803.76/2810.82 c #Conflicts: 1076000 | #Constraints: 38359
2803.76/2810.82 c #Conflicts: 1077000 | #Constraints: 39359
2803.76/2810.82 c #Conflicts: 1078000 | #Constraints: 40359
2803.76/2810.82 c #Conflicts: 1079000 | #Constraints: 41359
2803.76/2810.82 c #Conflicts: 1080000 | #Constraints: 42359
2803.76/2810.82 c #Conflicts: 1081000 | #Constraints: 43359
2803.76/2810.82 c #Conflicts: 1082000 | #Constraints: 44359
2803.76/2810.82 c #Conflicts: 1083000 | #Constraints: 45359
2803.76/2810.82 c INPROCESSING
2803.76/2810.82 c GARBAGE COLLECT
2803.76/2810.82 c #Conflicts: 1084000 | #Constraints: 25752
2803.76/2810.82 c #Conflicts: 1085000 | #Constraints: 26752
2803.76/2810.82 c #Conflicts: 1086000 | #Constraints: 27752
2803.76/2810.82 c #Conflicts: 1087000 | #Constraints: 28752
2803.76/2810.82 c #Conflicts: 1088000 | #Constraints: 29752
2803.76/2810.82 c #Conflicts: 1089000 | #Constraints: 30752
2803.76/2810.82 c #Conflicts: 1090000 | #Constraints: 31752
2803.76/2810.82 c #Conflicts: 1091000 | #Constraints: 32752
2803.76/2810.82 c #Conflicts: 1092000 | #Constraints: 33752
2803.76/2810.82 c #Conflicts: 1093000 | #Constraints: 34752
2803.76/2810.82 c #Conflicts: 1094000 | #Constraints: 35752
2803.76/2810.82 c #Conflicts: 1095000 | #Constraints: 36752
2803.76/2810.82 c #Conflicts: 1096000 | #Constraints: 37752
2803.76/2810.82 c #Conflicts: 1097000 | #Constraints: 38752
2803.76/2810.82 c #Conflicts: 1098000 | #Constraints: 39752
2803.76/2810.82 c #Conflicts: 1099000 | #Constraints: 40752
2803.76/2810.82 c #Conflicts: 1100000 | #Constraints: 41752
2803.76/2810.82 c #Conflicts: 1101000 | #Constraints: 42752
2803.76/2810.82 c #Conflicts: 1102000 | #Constraints: 43752
2803.76/2810.82 c #Conflicts: 1103000 | #Constraints: 44752
2803.76/2810.82 c #Conflicts: 1104000 | #Constraints: 45752
2803.76/2810.82 c INPROCESSING
2803.76/2810.82 c GARBAGE COLLECT
2803.76/2810.82 c #Conflicts: 1105000 | #Constraints: 25948
2803.76/2810.82 c #Conflicts: 1106000 | #Constraints: 26948
2803.76/2810.82 c #Conflicts: 1107000 | #Constraints: 27948
2803.76/2810.82 c #Conflicts: 1108000 | #Constraints: 28948
2803.76/2810.82 c #Conflicts: 1109000 | #Constraints: 29948
2803.76/2810.82 c #Conflicts: 1110000 | #Constraints: 30948
2803.76/2810.82 c #Conflicts: 1111000 | #Constraints: 31948
2803.76/2810.82 c #Conflicts: 1112000 | #Constraints: 32948
2803.76/2810.82 c #Conflicts: 1113000 | #Constraints: 33948
2803.76/2810.82 c #Conflicts: 1114000 | #Constraints: 34948
2803.76/2810.82 c #Conflicts: 1115000 | #Constraints: 35948
2803.76/2810.82 c #Conflicts: 1116000 | #Constraints: 36948
2803.76/2810.82 c #Conflicts: 1117000 | #Constraints: 37948
2803.76/2810.82 c #Conflicts: 1118000 | #Constraints: 38948
2803.76/2810.82 c #Conflicts: 1119000 | #Constraints: 39948
2803.76/2810.82 c #Conflicts: 1120000 | #Constraints: 40948
2803.76/2810.82 c #Conflicts: 1121000 | #Constraints: 41948
3194.88/3202.90 c #Conflicts: 1122000 | #Constraints: 42948
3194.88/3202.90 c #Conflicts: 1123000 | #Constraints: 43948
3194.88/3202.90 c #Conflicts: 1124000 | #Constraints: 44948
3194.88/3202.90 c #Conflicts: 1125000 | #Constraints: 45948
3194.88/3202.90 c INPROCESSING
3194.88/3202.90 c GARBAGE COLLECT
3194.88/3202.90 c #Conflicts: 1126000 | #Constraints: 25951
3194.88/3202.90 c #Conflicts: 1127000 | #Constraints: 26951
3194.88/3202.90 c #Conflicts: 1128000 | #Constraints: 27951
3194.88/3202.90 c #Conflicts: 1129000 | #Constraints: 28951
3194.88/3202.90 c #Conflicts: 1130000 | #Constraints: 29951
3194.88/3202.90 c #Conflicts: 1131000 | #Constraints: 30951
3194.88/3202.90 c #Conflicts: 1132000 | #Constraints: 31951
3194.88/3202.90 c #Conflicts: 1133000 | #Constraints: 32951
3194.88/3202.90 c #Conflicts: 1134000 | #Constraints: 33951
3194.88/3202.90 c #Conflicts: 1135000 | #Constraints: 34951
3194.88/3202.90 c #Conflicts: 1136000 | #Constraints: 35951
3194.88/3202.90 c #Conflicts: 1137000 | #Constraints: 36951
3194.88/3202.90 c #Conflicts: 1138000 | #Constraints: 37951
3194.88/3202.90 c #Conflicts: 1139000 | #Constraints: 38951
3194.88/3202.90 c #Conflicts: 1140000 | #Constraints: 39951
3194.88/3202.90 c #Conflicts: 1141000 | #Constraints: 40951
3194.88/3202.90 c #Conflicts: 1142000 | #Constraints: 41951
3194.88/3202.90 c #Conflicts: 1143000 | #Constraints: 42951
3194.88/3202.90 c #Conflicts: 1144000 | #Constraints: 43951
3194.88/3202.90 c #Conflicts: 1145000 | #Constraints: 44951
3194.88/3202.90 c #Conflicts: 1146000 | #Constraints: 45951
3194.88/3202.90 c INPROCESSING
3194.88/3202.90 c GARBAGE COLLECT
3194.88/3202.90 c #Conflicts: 1147000 | #Constraints: 25748
3194.88/3202.90 c #Conflicts: 1148000 | #Constraints: 26748
3194.88/3202.90 c #Conflicts: 1149000 | #Constraints: 27748
3194.88/3202.90 c #Conflicts: 1150000 | #Constraints: 28748
3194.88/3202.90 c #Conflicts: 1151000 | #Constraints: 29748
3194.88/3202.90 c #Conflicts: 1152000 | #Constraints: 30748
3194.88/3202.90 c #Conflicts: 1153000 | #Constraints: 31748
3194.88/3202.90 c #Conflicts: 1154000 | #Constraints: 32748
3194.88/3202.90 c #Conflicts: 1155000 | #Constraints: 33748
3194.88/3202.90 c #Conflicts: 1156000 | #Constraints: 34748
3194.88/3202.90 c #Conflicts: 1157000 | #Constraints: 35748
3194.88/3202.90 c #Conflicts: 1158000 | #Constraints: 36748
3194.88/3202.90 c #Conflicts: 1159000 | #Constraints: 37748
3194.88/3202.90 c #Conflicts: 1160000 | #Constraints: 38748
3194.88/3202.90 c #Conflicts: 1161000 | #Constraints: 39748
3194.88/3202.90 c #Conflicts: 1162000 | #Constraints: 40748
3194.88/3202.90 c #Conflicts: 1163000 | #Constraints: 41748
3194.88/3202.90 c #Conflicts: 1164000 | #Constraints: 42748
3194.88/3202.90 c #Conflicts: 1165000 | #Constraints: 43748
3194.88/3202.90 c #Conflicts: 1166000 | #Constraints: 44748
3194.88/3202.90 c #Conflicts: 1167000 | #Constraints: 45748
3194.88/3202.90 c #Conflicts: 1168000 | #Constraints: 46748
3194.88/3202.90 c INPROCESSING
3194.88/3202.90 c GARBAGE COLLECT
3194.88/3202.90 c #Conflicts: 1169000 | #Constraints: 26348
3194.88/3202.90 c #Conflicts: 1170000 | #Constraints: 27348
3194.88/3202.90 c #Conflicts: 1171000 | #Constraints: 28348
3194.88/3202.90 c #Conflicts: 1172000 | #Constraints: 29348
3194.88/3202.90 c #Conflicts: 1173000 | #Constraints: 30348
3194.88/3202.90 c #Conflicts: 1174000 | #Constraints: 31348
3194.88/3202.90 c #Conflicts: 1175000 | #Constraints: 32348
3194.88/3202.90 c #Conflicts: 1176000 | #Constraints: 33348
3194.88/3202.90 c #Conflicts: 1177000 | #Constraints: 34348
3194.88/3202.90 c #Conflicts: 1178000 | #Constraints: 35348
3194.88/3202.90 c #Conflicts: 1179000 | #Constraints: 36348
3194.88/3202.90 c #Conflicts: 1180000 | #Constraints: 37348
3194.88/3202.90 c #Conflicts: 1181000 | #Constraints: 38348
3194.88/3202.90 c #Conflicts: 1182000 | #Constraints: 39348
3194.88/3202.90 c #Conflicts: 1183000 | #Constraints: 40348
3194.88/3202.90 c #Conflicts: 1184000 | #Constraints: 41348
3194.88/3202.90 c #Conflicts: 1185000 | #Constraints: 42348
3194.88/3202.90 c #Conflicts: 1186000 | #Constraints: 43348
3194.88/3202.90 c #Conflicts: 1187000 | #Constraints: 44348
3194.88/3202.90 c #Conflicts: 1188000 | #Constraints: 45348
3194.88/3202.90 c #Conflicts: 1189000 | #Constraints: 46348
3194.88/3202.90 c #Conflicts: 1190000 | #Constraints: 47348
3194.88/3202.90 c INPROCESSING
3194.88/3202.90 c GARBAGE COLLECT
3194.88/3202.90 c #Conflicts: 1191000 | #Constraints: 26755
3194.88/3202.90 c #Conflicts: 1192000 | #Constraints: 27755
3194.88/3202.90 c #Conflicts: 1193000 | #Constraints: 28755
3194.88/3202.90 c #Conflicts: 1194000 | #Constraints: 29755
3194.88/3202.90 c #Conflicts: 1195000 | #Constraints: 30755
3194.88/3202.90 c #Conflicts: 1196000 | #Constraints: 31755
3194.88/3202.90 c #Conflicts: 1197000 | #Constraints: 32755
3561.96/3570.91 c #Conflicts: 1198000 | #Constraints: 33755
3561.96/3570.91 c #Conflicts: 1199000 | #Constraints: 34755
3561.96/3570.91 c #Conflicts: 1200000 | #Constraints: 35755
3561.96/3570.91 c #Conflicts: 1201000 | #Constraints: 36755
3561.96/3570.91 c #Conflicts: 1202000 | #Constraints: 37755
3561.96/3570.91 c #Conflicts: 1203000 | #Constraints: 38755
3561.96/3570.91 c #Conflicts: 1204000 | #Constraints: 39755
3561.96/3570.91 c #Conflicts: 1205000 | #Constraints: 40755
3561.96/3570.91 c #Conflicts: 1206000 | #Constraints: 41755
3561.96/3570.91 c #Conflicts: 1207000 | #Constraints: 42755
3561.96/3570.91 c #Conflicts: 1208000 | #Constraints: 43755
3561.96/3570.91 c #Conflicts: 1209000 | #Constraints: 44755
3561.96/3570.91 c #Conflicts: 1210000 | #Constraints: 45755
3561.96/3570.91 c #Conflicts: 1211000 | #Constraints: 46755
3561.96/3570.91 c #Conflicts: 1212000 | #Constraints: 47755
3561.96/3570.91 c INPROCESSING
3561.96/3570.91 c GARBAGE COLLECT
3561.96/3570.91 c #Conflicts: 1213000 | #Constraints: 26948
3561.96/3570.91 c #Conflicts: 1214000 | #Constraints: 27948
3561.96/3570.91 c #Conflicts: 1215000 | #Constraints: 28948
3561.96/3570.91 c #Conflicts: 1216000 | #Constraints: 29948
3561.96/3570.91 c #Conflicts: 1217000 | #Constraints: 30948
3561.96/3570.91 c #Conflicts: 1218000 | #Constraints: 31948
3561.96/3570.91 c #Conflicts: 1219000 | #Constraints: 32948
3561.96/3570.91 c #Conflicts: 1220000 | #Constraints: 33948
3561.96/3570.91 c #Conflicts: 1221000 | #Constraints: 34948
3561.96/3570.91 c #Conflicts: 1222000 | #Constraints: 35948
3561.96/3570.91 c #Conflicts: 1223000 | #Constraints: 36948
3561.96/3570.91 c #Conflicts: 1224000 | #Constraints: 37948
3561.96/3570.91 c #Conflicts: 1225000 | #Constraints: 38948
3561.96/3570.91 c #Conflicts: 1226000 | #Constraints: 39948
3561.96/3570.91 c #Conflicts: 1227000 | #Constraints: 40948
3561.96/3570.91 c #Conflicts: 1228000 | #Constraints: 41948
3561.96/3570.91 c #Conflicts: 1229000 | #Constraints: 42948
3561.96/3570.91 c #Conflicts: 1230000 | #Constraints: 43948
3561.96/3570.91 c #Conflicts: 1231000 | #Constraints: 44948
3561.96/3570.91 c #Conflicts: 1232000 | #Constraints: 45948
3561.96/3570.91 c #Conflicts: 1233000 | #Constraints: 46948
3561.96/3570.91 c #Conflicts: 1234000 | #Constraints: 47948
3561.96/3570.91 c INPROCESSING
3561.96/3570.91 c GARBAGE COLLECT
3561.96/3570.91 c #Conflicts: 1235000 | #Constraints: 26961
3561.96/3570.91 c #Conflicts: 1236000 | #Constraints: 27961
3561.96/3570.91 c #Conflicts: 1237000 | #Constraints: 28961
3561.96/3570.91 c #Conflicts: 1238000 | #Constraints: 29961
3561.96/3570.91 c #Conflicts: 1239000 | #Constraints: 30961
3561.96/3570.91 c #Conflicts: 1240000 | #Constraints: 31961
3561.96/3570.91 c #Conflicts: 1241000 | #Constraints: 32961
3561.96/3570.91 c #Conflicts: 1242000 | #Constraints: 33961
3561.96/3570.91 c #Conflicts: 1243000 | #Constraints: 34961
3561.96/3570.91 c #Conflicts: 1244000 | #Constraints: 35961
3561.96/3570.91 c #Conflicts: 1245000 | #Constraints: 36961
3561.96/3570.91 c #Conflicts: 1246000 | #Constraints: 37961
3561.96/3570.91 c #Conflicts: 1247000 | #Constraints: 38961
3561.96/3570.91 c #Conflicts: 1248000 | #Constraints: 39961
3561.96/3570.91 c #Conflicts: 1249000 | #Constraints: 40961
3561.96/3570.91 c #Conflicts: 1250000 | #Constraints: 41961
3561.96/3570.91 c #Conflicts: 1251000 | #Constraints: 42961
3561.96/3570.91 c #Conflicts: 1252000 | #Constraints: 43961
3561.96/3570.91 c #Conflicts: 1253000 | #Constraints: 44961
3561.96/3570.91 c #Conflicts: 1254000 | #Constraints: 45961
3561.96/3570.91 c #Conflicts: 1255000 | #Constraints: 46961
3561.96/3570.91 c #Conflicts: 1256000 | #Constraints: 47961
3561.96/3570.91 c INPROCESSING
3561.96/3570.91 c GARBAGE COLLECT
3561.96/3570.91 c #Conflicts: 1257000 | #Constraints: 26760
3561.96/3570.91 c #Conflicts: 1258000 | #Constraints: 27760
3561.96/3570.91 c #Conflicts: 1259000 | #Constraints: 28760
3561.96/3570.91 c #Conflicts: 1260000 | #Constraints: 29760
3561.96/3570.91 c #Conflicts: 1261000 | #Constraints: 30760
3561.96/3570.91 c #Conflicts: 1262000 | #Constraints: 31760
3561.96/3570.91 c #Conflicts: 1263000 | #Constraints: 32760
3561.96/3570.91 c #Conflicts: 1264000 | #Constraints: 33760
3561.96/3570.91 c #Conflicts: 1265000 | #Constraints: 34760
3561.96/3570.91 c #Conflicts: 1266000 | #Constraints: 35760
3561.96/3570.91 c #Conflicts: 1267000 | #Constraints: 36760
3561.96/3570.91 c #Conflicts: 1268000 | #Constraints: 37760
3561.96/3570.91 c #Conflicts: 1269000 | #Constraints: 38760
3561.96/3570.91 c #Conflicts: 1270000 | #Constraints: 39760
3561.96/3570.91 c #Conflicts: 1271000 | #Constraints: 40760
3561.96/3570.91 c #Conflicts: 1272000 | #Constraints: 41760
3561.96/3570.91 c #Conflicts: 1273000 | #Constraints: 42760
3561.96/3570.91 c #Conflicts: 1274000 | #Constraints: 43760
3600.18/3609.21 c #Conflicts: 1275000 | #Constraints: 44760
3600.18/3609.21 c #Conflicts: 1276000 | #Constraints: 45760
3600.18/3609.21 c #Conflicts: 1277000 | #Constraints: 46760
3600.18/3609.21 c #Conflicts: 1278000 | #Constraints: 47760
3600.18/3609.21 c #Conflicts: 1279000 | #Constraints: 48760
3600.18/3609.21 c INPROCESSING
3600.18/3609.21 c GARBAGE COLLECT
3600.18/3609.21 c Program interrupted by user.
3600.18/3609.21 c cpu time 3590.59 s
3600.18/3609.21 c deterministic time 595017218816 5.95e+11
3600.18/3609.21 c optimization time 0.081667 s
3600.18/3609.21 c total solve time 3291.44 s
3600.18/3609.21 c core-guided solve time 3291.44 s
3600.18/3609.21 c propagation time 2742.49 s
3600.18/3609.21 c conflict analysis time 440.289 s
3600.18/3609.21 c propagations 125131527
3600.18/3609.21 c resolve steps 7316722
3600.18/3609.21 c decisions 4867485
3600.18/3609.21 c conflicts 1279200
3600.18/3609.21 c restarts 2435
3600.18/3609.21 c inprocessing phases 104
3600.18/3609.21 c input clauses 4058
3600.18/3609.21 c input cardinalities 148
3600.18/3609.21 c input general constraints 0
3600.18/3609.21 c input average constraint length 61.56
3600.18/3609.21 c input average constraint degree 27.82
3600.18/3609.21 c learned clauses 409157
3600.18/3609.21 c learned cardinalities 307770
3600.18/3609.21 c learned general constraints 562418
3600.18/3609.21 c learned average constraint length 773.74
3600.18/3609.21 c learned average constraint degree 5374.24
3600.18/3609.21 c watched constraints 440048
3600.18/3609.21 c counting constraints 122370
3600.18/3609.21 c gcd simplifications 38840
3600.18/3609.21 c detected cardinalities 8708
3600.18/3609.21 c weakened non-implied lits 144342135
3600.18/3609.21 c weakened non-implying lits 31491
3600.18/3609.21 c original variables 1961
3600.18/3609.21 c clausal propagations 47664191
3600.18/3609.21 c cardinality propagations 11020584
3600.18/3609.21 c watched propagations 32575294
3600.18/3609.21 c counting propagations 21309326
3600.18/3609.21 c watch lookups 40984980887
3600.18/3609.21 c watch backjump lookups 34282316795
3600.18/3609.21 c watch checks 490346715510
3600.18/3609.21 c propagation checks 26784870217
3600.18/3609.21 c constraint additions 2357058182
3600.18/3609.21 c trail pops 131278212
3600.18/3609.21 c formula constraints 3373
3600.18/3609.21 c learned constraints 1279345
3600.18/3609.21 c bound constraints 148
3600.18/3609.21 c core-guided constraints 685
3600.18/3609.21 c encountered formula constraints 5554584
3600.18/3609.21 c encountered learned constraints 2809218
3600.18/3609.21 c encountered bound constraints 3
3600.18/3609.21 c encountered core-guided constraints 232117
3600.18/3609.21 c LP total time 0 s
3600.18/3609.21 c LP solve time 0 s
3600.18/3609.21 c LP constraints added 0
3600.18/3609.21 c LP constraints removed 0
3600.18/3609.21 c LP pivots internal 0
3600.18/3609.21 c LP pivots root 0
3600.18/3609.21 c LP calls 0
3600.18/3609.21 c LP optimalities 0
3600.18/3609.21 c LP no pivot count 0
3600.18/3609.21 c LP infeasibilities 0
3600.18/3609.21 c LP valid Farkas constraints 0
3600.18/3609.21 c LP learned Farkas constraints 0
3600.18/3609.21 c LP basis resets 0
3600.18/3609.21 c LP cycling count 0
3600.18/3609.21 c LP singular count 0
3600.18/3609.21 c LP no primal count 0
3600.18/3609.21 c LP no farkas count 0
3600.18/3609.21 c LP other issue count 0
3600.18/3609.21 c LP Gomory cuts 0
3600.18/3609.21 c LP learned cuts 0
3600.18/3609.21 c LP deleted cuts 0
3600.18/3609.21 c LP encountered Gomory constraints 0
3600.18/3609.21 c LP encountered Farkas constraints 0
3600.18/3609.21 c LP encountered learned Farkas constraints 0
3600.18/3609.21 c CG auxiliary variables introduced 685
3600.18/3609.21 c CG solutions found 0
3600.18/3609.21 c CG cores constructed 147
3600.18/3609.21 c CG core cardinality constraints returned 0
3600.18/3609.21 c CG unit cores 0
3600.18/3609.21 c CG single cores 147
3600.18/3609.21 c CG blocks removed during cardinality reduction 0
3600.18/3609.21 c CG first core best 0
3600.18/3609.21 c CG decision core best 0
3600.18/3609.21 c CG core reduction tie 0
3600.18/3609.21 c CG core degree average 1.00
3600.18/3609.21 c CG core slack average 5.05
3600.18/3609.21 c CG exhausted 0
3600.18/3609.21 c CG exhaust time 0 s
3600.18/3609.21 c CG trimmed 1
3600.18/3609.21 c CG trim time 0.035317 s
3600.18/3609.21 c CG minimized 0
3600.18/3609.21 c CG minimize time 0 s
3600.18/3609.21 c CG am1 prop time 0.001959 s
3600.18/3609.21 c CG # am1s reformulated 685
3600.18/3609.21 c CG lower bound derived from am1s 689
3600.18/3609.21 c CG # clausal cores 147
3600.18/3609.21 c CG # cardinality cores 0
3600.18/3609.21 c CG # pb cores 0
3600.18/3609.21 c CG # pb reforms 0
3600.18/3609.21 c CG # cores discarded because of pb reform 0
3600.18/3609.21 d LOWERBOUND 836
3600.18/3609.21 d NCORES 147
3600.18/3609.21 d NPBCORES 0
3600.18/3609.21 d NPBREFORM 0
3600.18/3609.21 d NTRIMMED 1
3600.18/3609.21 d NEXHAUSTED 0
3600.18/3609.21 d NAM1S 685
3600.18/3609.21 d AM1LB 689
3600.18/3609.21 c [Papilo Statistics]
3600.18/3609.21 c prepro time 0.00476622s
3600.18/3609.21 c # tsx applied 135
3600.18/3609.21 c # tsx conflicts 2
3600.18/3609.21 c # bound changes 133
3600.18/3609.21 c # side changes 0
3600.18/3609.21 c # coef changes 0
3600.18/3609.21 c # rounds 2
3600.18/3609.21 c # deted vars 271
3600.18/3609.21 c # deted constrs 627
3600.18/3609.21 c # consecutive rounds of only bound changes 0
3600.18/3609.21 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62776 MiB free)
memory of node 1: 64473 MiB (61348 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435458-1721081484/watcher-4435458-1721081484 -o /tmp/evaluation-result-4435458-1721081484/solver-4435458-1721081484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721074233-821793 --watchdog 3760 mixed-bag HOME/instance-4435458-1721081484.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=827880, runsolver pid=827877
[startup+0.100191 s]*
/proc/loadavg: 4.06 4.12 4.13 5/261 827881
/proc/meminfo: memFree=127076628/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=111424 memory=42612 CPUtime=0.09 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 7571 0 0 0 8 1 0 0 20 0 1 0 160314632 114098176 10653 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 27856 10653 3996 3002 0 11607 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 111424 KiB
Current children cumulated memory: 42612 KiB
[startup+0.205673 s]*
/proc/loadavg: 4.06 4.12 4.13 5/261 827881
/proc/meminfo: memFree=127075272/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=112284 memory=43456 CPUtime=0.19 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 7789 0 0 0 18 1 0 0 20 0 1 0 160314632 114978816 10864 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 28071 10864 4012 3002 0 11822 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 112284 KiB
Current children cumulated memory: 43456 KiB
[startup+0.305553 s]*
/proc/loadavg: 4.06 4.12 4.13 5/261 827881
/proc/meminfo: memFree=127073592/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=114780 memory=45892 CPUtime=0.29 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 8337 0 0 0 28 1 0 0 20 0 1 0 160314632 117534720 11473 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 28695 11473 4028 3002 0 12446 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 114780 KiB
Current children cumulated memory: 45892 KiB
[startup+0.7002 s]
/proc/loadavg: 4.06 4.12 4.13 5/261 827881
/proc/meminfo: memFree=127071452/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=116360 memory=46912 CPUtime=0.68 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 8632 0 0 0 67 1 0 0 20 0 1 0 160314632 119152640 11728 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 29090 11728 4028 3002 0 12841 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 116360 KiB
Current children cumulated memory: 46912 KiB
[startup+1.50022 s]
/proc/loadavg: 4.06 4.12 4.13 5/261 827881
/proc/meminfo: memFree=127067056/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=129180 memory=59320 CPUtime=1.48 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 11721 0 0 0 147 1 0 0 20 0 1 0 160314632 132280320 14830 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 32295 14830 4028 3002 0 16046 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 129180 KiB
Current children cumulated memory: 59320 KiB
[startup+3.10551 s]
/proc/loadavg: 4.06 4.12 4.13 5/261 827881
/proc/meminfo: memFree=127032448/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=148200 memory=77008 CPUtime=3.08 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 16164 0 0 0 306 2 0 0 20 0 1 0 160314632 151756800 19252 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 37050 19252 4028 3002 0 20801 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 148200 KiB
Current children cumulated memory: 77008 KiB
[startup+6.30018 s]
/proc/loadavg: 4.14 4.13 4.14 5/261 827881
/proc/meminfo: memFree=127020128/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=160780 memory=88888 CPUtime=6.27 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 19103 0 0 0 624 3 0 0 20 0 1 0 160314632 164638720 22222 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 40195 22222 4028 3002 0 23946 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 160780 KiB
Current children cumulated memory: 88888 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.13 4.14 5/261 827882
/proc/meminfo: memFree=127008400/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=169260 memory=93832 CPUtime=12.65 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 21720 0 0 0 1262 3 0 0 20 0 1 0 160314632 173322240 23458 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 42315 23458 4028 3002 0 26066 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 169260 KiB
Current children cumulated memory: 93832 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.12 4.13 5/261 827884
/proc/meminfo: memFree=126958316/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=176136 memory=101544 CPUtime=25.42 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 23603 0 0 0 2539 3 0 0 20 0 1 0 160314632 180363264 25386 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 44034 25386 4044 3002 0 27785 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 176136 KiB
Current children cumulated memory: 101544 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.13 4.14 5/259 827980
/proc/meminfo: memFree=128411944/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=221140 memory=140372 CPUtime=50.96 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 33839 0 0 0 5091 5 0 0 20 0 1 0 160314632 226447360 35093 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 55285 35093 4059 3002 0 39036 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 221140 KiB
Current children cumulated memory: 140372 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/257 827989
/proc/meminfo: memFree=128142348/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=253212 memory=173284 CPUtime=102.01 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 43537 0 0 0 10192 9 0 0 20 0 1 0 160314632 259289088 43321 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 63303 43321 4059 3002 0 47054 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 253212 KiB
Current children cumulated memory: 173284 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/257 828000
/proc/meminfo: memFree=128003316/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=281984 memory=196012 CPUtime=161.84 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 50970 0 0 0 16167 17 0 0 20 0 1 0 160314632 288751616 49003 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 70496 49003 4059 3002 0 54247 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 281984 KiB
Current children cumulated memory: 196012 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.12 6/257 828010
/proc/meminfo: memFree=127948572/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=292976 memory=206828 CPUtime=221.65 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 54295 0 0 0 22144 21 0 0 20 0 1 0 160314632 300007424 51707 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 73244 51707 4059 3002 0 56995 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 292976 KiB
Current children cumulated memory: 206828 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.11 5/254 828020
/proc/meminfo: memFree=127944776/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=318496 memory=233220 CPUtime=281.48 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 61336 0 0 0 28125 23 0 0 20 0 1 0 160314632 326139904 58305 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 79624 58305 4059 3002 0 63375 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 318496 KiB
Current children cumulated memory: 233220 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/254 828030
/proc/meminfo: memFree=128013916/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=294084 memory=220932 CPUtime=341.31 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 70630 0 0 0 34066 65 0 0 20 0 1 0 160314632 301142016 55233 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 73521 55233 4187 3002 0 57272 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 294084 KiB
Current children cumulated memory: 220932 KiB
[startup+402.3 s]
/proc/loadavg: 4.45 4.17 4.13 5/254 828041
/proc/meminfo: memFree=128036188/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=324904 memory=244248 CPUtime=401.15 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 71210 0 0 0 40008 107 0 0 20 0 1 0 160314632 332701696 61062 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 81226 61062 4187 3002 0 64977 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 324904 KiB
Current children cumulated memory: 244248 KiB
[startup+462.3 s]
/proc/loadavg: 4.25 4.17 4.13 5/254 828051
/proc/meminfo: memFree=127984136/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=324904 memory=258596 CPUtime=461.01 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 71378 0 0 0 45953 148 0 0 20 0 1 0 160314632 332701696 64649 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 81226 64649 4187 3002 0 64977 0
################
# More data... #
################
Current children cumulated memory: 538020 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/256 829661
/proc/meminfo: memFree=127020108/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=604304 memory=538044 CPUtime=2914.97 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 103474 0 0 0 290648 849 0 0 20 0 1 0 160314632 618807296 134511 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 151076 134511 4187 3002 0 134827 0
Current children cumulated CPU time: 2914.97 s
Current children cumulated vsize: 604304 KiB
Current children cumulated memory: 538044 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/256 829685
/proc/meminfo: memFree=126988956/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=605584 memory=542952 CPUtime=2974.83 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 103906 0 0 0 296620 863 0 0 20 0 1 0 160314632 620118016 135738 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 151396 135738 4187 3002 0 135147 0
Current children cumulated CPU time: 2974.83 s
Current children cumulated vsize: 605584 KiB
Current children cumulated memory: 542952 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/257 829696
/proc/meminfo: memFree=126982120/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=605584 memory=542960 CPUtime=3034.69 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 104181 0 0 0 302596 873 0 0 20 0 1 0 160314632 620118016 135740 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 151396 135740 4187 3002 0 135147 0
Current children cumulated CPU time: 3034.69 s
Current children cumulated vsize: 605584 KiB
Current children cumulated memory: 542960 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.11 5/256 829707
/proc/meminfo: memFree=126967132/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=605584 memory=542976 CPUtime=3094.54 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 104411 0 0 0 308570 884 0 0 20 0 1 0 160314632 620118016 135744 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 151396 135744 4187 3002 0 135147 0
Current children cumulated CPU time: 3094.54 s
Current children cumulated vsize: 605584 KiB
Current children cumulated memory: 542976 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/256 829718
/proc/meminfo: memFree=126947488/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=609096 memory=544856 CPUtime=3154.39 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 105147 0 0 0 314548 891 0 0 20 0 1 0 160314632 623714304 136214 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 152274 136214 4187 3002 0 136025 0
Current children cumulated CPU time: 3154.39 s
Current children cumulated vsize: 609096 KiB
Current children cumulated memory: 544856 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.08 4.10 5/255 829728
/proc/meminfo: memFree=126940064/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=610192 memory=547712 CPUtime=3214.23 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 105573 0 0 0 320521 902 0 0 20 0 1 0 160314632 624836608 136928 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 152548 136928 4187 3002 0 136299 0
Current children cumulated CPU time: 3214.23 s
Current children cumulated vsize: 610192 KiB
Current children cumulated memory: 547712 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.10 5/255 829738
/proc/meminfo: memFree=126934992/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=611656 memory=548376 CPUtime=3274.08 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 106029 0 0 0 326498 910 0 0 20 0 1 0 160314632 626335744 137094 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 152914 137094 4187 3002 0 136665 0
Current children cumulated CPU time: 3274.08 s
Current children cumulated vsize: 611656 KiB
Current children cumulated memory: 548376 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/255 829748
/proc/meminfo: memFree=126932304/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=611984 memory=548828 CPUtime=3333.94 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 106344 0 0 0 332477 917 0 0 20 0 1 0 160314632 626671616 137207 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 152996 137207 4187 3002 0 136747 0
Current children cumulated CPU time: 3333.94 s
Current children cumulated vsize: 611984 KiB
Current children cumulated memory: 548828 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 829760
/proc/meminfo: memFree=126875144/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=612168 memory=548828 CPUtime=3393.78 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 106618 0 0 0 338455 923 0 0 20 0 1 0 160314632 626860032 137207 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 153042 137207 4187 3002 0 136793 0
Current children cumulated CPU time: 3393.78 s
Current children cumulated vsize: 612168 KiB
Current children cumulated memory: 548828 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 829771
/proc/meminfo: memFree=126859220/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=615496 memory=550808 CPUtime=3453.64 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 107376 0 0 0 344426 938 0 0 20 0 1 0 160314632 630267904 137702 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 153874 137702 4187 3002 0 137625 0
Current children cumulated CPU time: 3453.64 s
Current children cumulated vsize: 615496 KiB
Current children cumulated memory: 550808 KiB
[startup+3522.3 s]
/proc/loadavg: 4.31 4.14 4.11 5/257 829786
/proc/meminfo: memFree=126848740/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=620872 memory=554504 CPUtime=3513.49 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 108497 0 0 0 350397 952 0 0 20 0 1 0 160314632 635772928 138626 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 155218 138626 4187 3002 0 138969 0
Current children cumulated CPU time: 3513.49 s
Current children cumulated vsize: 620872 KiB
Current children cumulated memory: 554504 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.11 4/250 829828
/proc/meminfo: memFree=127327072/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=621896 memory=555172 CPUtime=3573.34 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 108922 0 0 0 356376 958 0 0 20 0 1 0 160314632 636821504 138793 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 155474 138793 4187 3002 0 139225 0
Current children cumulated CPU time: 3573.34 s
Current children cumulated vsize: 621896 KiB
Current children cumulated memory: 555172 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 3.75 4.05 4.08 4/250 829831
/proc/meminfo: memFree=127326492/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=622736 memory=555936 CPUtime=3600.09 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 109254 0 0 0 359048 961 0 0 20 0 1 0 160314632 637681664 138984 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 155684 138984 4187 3002 0 139435 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 622736 KiB
Current children cumulated memory: 555936 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.22 s]
# the end of solver process 827880 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.59 s, system=9.6131 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.2 s]
/proc/loadavg: 3.75 4.05 4.08 4/250 829831
/proc/meminfo: memFree=127326492/131524600 swapFree=131071996/131071996
[pid=827880] ppid=827877 vsize=622736 memory=555936 CPUtime=3600.18 cores=4,6
/proc/827880/stat : 827880 (mixed-bag) R 827877 827880 821782 0 -1 4194304 109254 0 0 0 359057 961 0 0 20 0 1 0 160314632 637681664 138984 134679101440 4194304 16487941 140723130200672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 50384896 140723130205207 140723130205284 140723130205284 140723130212299 0
/proc/827880/statm: 155684 138984 4187 3002 0 139435 0
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 622736 KiB
Current children cumulated memory: 555936 KiB
Child status: 0
Real time (s): 3609.22
CPU time (s): 3600.21
CPU user time (s): 3590.59
CPU system time (s): 9.6131
CPU usage (%): 99.7503
Max. virtual memory (cumulated for all children) (KiB): 622736
Max. memory (cumulated for all children) (KiB): 555936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.59
system time used= 9.6131
maximum resident set size= 555936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109277
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99
involuntary context switches= 2183
# summary of solver processes directly reported to runsolver:
# pid: 827880
# total CPU time (s): 3600.21
# total CPU user time (s): 3590.59
# total CPU system time (s): 9.6131
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88696 second user time and 16.7229 second system time
The end
Begin job on nodeC026 at 2024-07-16 00:11:37
IDJOB=4435458
IDBENCH=147527
IDSOLVER=3066
FILE ID=nodeC026/4435458-1721081484
RUNJOBID= nodeC026-1721074233-821793
SLURM_JOB_ID= 7505548
Free space on /tmp= 890008 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435458-1721081484/watcher-4435458-1721081484 -o /tmp/evaluation-result-4435458-1721081484/solver-4435458-1721081484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721074233-821793 --watchdog 3760 mixed-bag HOME/instance-4435458-1721081484.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fbd32e707c8d4aa66e3f5cddd7aa4984
RANDOM SEED=321431405
nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.612
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3678.901
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3619.861
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.889
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.421
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3678.928
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.819
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.088
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127103720 kB
MemAvailable: 127958676 kB
Buffers: 383624 kB
Cached: 1306308 kB
SwapCached: 0 kB
Active: 698060 kB
Inactive: 3124040 kB
Active(anon): 1572 kB
Inactive(anon): 2168356 kB
Active(file): 696488 kB
Inactive(file): 955684 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16328 kB
Writeback: 0 kB
AnonPages: 2127624 kB
Mapped: 120144 kB
Shmem: 37720 kB
KReclaimable: 85212 kB
Slab: 189752 kB
SReclaimable: 85212 kB
SUnreclaim: 104540 kB
KernelStack: 4236 kB
PageTables: 13576 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2549548 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61600 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1830912 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: 232148 kB
DirectMap2M: 20512768 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890036 MiB
End job on nodeC026 at 2024-07-16 01:11:47