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.03 c [STEP] preprocessing with Papilo
0.00/0.05 c [STEP] solving with SCIP
299.38/300.35 c [STEP] preprocessing done, loading into solver
299.38/300.36 c [STEP] solving
299.38/300.36 c #variables 1670 #constraints 3286
299.38/300.36 c SMALL=int, LARGE=long long
299.38/300.36 d SCIPUB 900
299.38/300.36 c bounds - >= 0 @ 299.068
299.38/300.36 c stratification level: 0
299.68/300.66 c bounds - >= 679 @ 299.073
299.68/300.66 c bounds - >= 680 @ 299.075
299.68/300.66 c bounds - >= 681 @ 299.075
299.68/300.66 c bounds - >= 682 @ 299.075
299.68/300.66 c bounds - >= 683 @ 299.075
299.68/300.66 c bounds - >= 684 @ 299.075
299.68/300.66 c bounds - >= 685 @ 299.075
299.68/300.66 c bounds - >= 686 @ 299.075
299.68/300.66 c bounds - >= 687 @ 299.075
299.68/300.66 c bounds - >= 688 @ 299.075
299.68/300.66 c bounds - >= 689 @ 299.076
299.68/300.66 c bounds - >= 690 @ 299.076
299.68/300.66 c bounds - >= 691 @ 299.076
299.68/300.66 c bounds - >= 692 @ 299.076
299.68/300.66 c bounds - >= 693 @ 299.076
299.68/300.66 c bounds - >= 694 @ 299.077
299.68/300.66 c bounds - >= 695 @ 299.077
299.68/300.66 c bounds - >= 696 @ 299.077
299.68/300.66 c bounds - >= 697 @ 299.077
299.68/300.66 c bounds - >= 698 @ 299.077
299.68/300.66 c bounds - >= 699 @ 299.078
299.68/300.66 c bounds - >= 700 @ 299.078
299.68/300.66 c bounds - >= 701 @ 299.078
299.68/300.66 c bounds - >= 702 @ 299.078
299.68/300.66 c bounds - >= 703 @ 299.078
299.68/300.66 c bounds - >= 704 @ 299.079
299.68/300.66 c bounds - >= 705 @ 299.079
299.68/300.66 c bounds - >= 706 @ 299.079
299.68/300.66 c bounds - >= 707 @ 299.079
299.68/300.66 c bounds - >= 708 @ 299.08
299.68/300.66 c bounds - >= 709 @ 299.08
299.68/300.66 c bounds - >= 710 @ 299.08
299.68/300.66 c bounds - >= 711 @ 299.08
299.68/300.66 c bounds - >= 712 @ 299.08
299.68/300.66 c bounds - >= 713 @ 299.081
299.68/300.66 c bounds - >= 714 @ 299.081
299.68/300.66 c bounds - >= 715 @ 299.081
299.68/300.66 c bounds - >= 716 @ 299.081
299.68/300.66 c bounds - >= 717 @ 299.082
299.68/300.66 c bounds - >= 718 @ 299.082
299.68/300.66 c bounds - >= 719 @ 299.082
299.68/300.66 c bounds - >= 720 @ 299.082
299.68/300.66 c bounds - >= 721 @ 299.083
299.68/300.66 c bounds - >= 722 @ 299.083
299.68/300.66 c bounds - >= 723 @ 299.083
299.68/300.66 c bounds - >= 724 @ 299.083
299.68/300.66 c bounds - >= 725 @ 299.083
299.68/300.66 c bounds - >= 726 @ 299.083
299.68/300.66 c bounds - >= 727 @ 299.083
299.68/300.66 c bounds - >= 728 @ 299.083
299.68/300.66 c bounds - >= 729 @ 299.083
299.68/300.66 c bounds - >= 730 @ 299.083
299.68/300.66 c bounds - >= 731 @ 299.083
299.68/300.66 c bounds - >= 732 @ 299.083
299.68/300.66 c bounds - >= 733 @ 299.083
299.68/300.66 c bounds - >= 734 @ 299.083
299.68/300.66 c bounds - >= 735 @ 299.083
299.68/300.66 c bounds - >= 736 @ 299.083
299.68/300.66 c bounds - >= 737 @ 299.083
299.68/300.66 c bounds - >= 738 @ 299.083
299.68/300.66 c bounds - >= 739 @ 299.083
299.68/300.66 c bounds - >= 740 @ 299.083
299.68/300.66 c bounds - >= 741 @ 299.083
299.68/300.66 c bounds - >= 742 @ 299.083
299.68/300.66 c bounds - >= 743 @ 299.083
299.68/300.66 c bounds - >= 744 @ 299.083
299.68/300.66 c bounds - >= 745 @ 299.084
299.68/300.66 c bounds - >= 746 @ 299.084
299.68/300.66 c bounds - >= 747 @ 299.084
299.68/300.66 c bounds - >= 748 @ 299.084
299.68/300.66 c bounds - >= 749 @ 299.085
299.68/300.66 c bounds - >= 750 @ 299.085
299.68/300.66 c bounds - >= 751 @ 299.085
299.68/300.66 c bounds - >= 752 @ 299.085
299.68/300.66 c bounds - >= 753 @ 299.086
299.68/300.66 c bounds - >= 754 @ 299.086
299.68/300.66 c bounds - >= 755 @ 299.086
299.68/300.66 c bounds - >= 756 @ 299.086
299.68/300.66 c bounds - >= 757 @ 299.086
299.68/300.66 c bounds - >= 758 @ 299.086
299.68/300.66 c bounds - >= 759 @ 299.086
299.68/300.66 c bounds - >= 760 @ 299.087
299.68/300.66 c bounds - >= 761 @ 299.087
299.68/300.66 c bounds - >= 762 @ 299.087
299.68/300.66 c bounds - >= 763 @ 299.088
299.68/300.66 c bounds - >= 764 @ 299.088
299.68/300.66 c bounds - >= 765 @ 299.088
299.68/300.66 c bounds - >= 766 @ 299.088
299.68/300.66 c bounds - >= 767 @ 299.089
299.68/300.66 c bounds - >= 768 @ 299.089
299.68/300.66 c bounds - >= 769 @ 299.089
299.68/300.66 c bounds - >= 770 @ 299.09
299.68/300.66 c bounds - >= 771 @ 299.09
299.68/300.66 c bounds - >= 772 @ 299.09
299.68/300.66 c bounds - >= 773 @ 299.091
299.68/300.66 c bounds - >= 774 @ 299.091
299.68/300.66 c bounds - >= 775 @ 299.092
299.68/300.66 c bounds - >= 776 @ 299.092
299.68/300.66 c bounds - >= 777 @ 299.092
299.68/300.66 c bounds - >= 778 @ 299.092
299.68/300.66 c bounds - >= 779 @ 299.093
299.68/300.66 c bounds - >= 780 @ 299.093
299.68/300.66 c bounds - >= 781 @ 299.093
299.68/300.66 c bounds - >= 782 @ 299.094
299.68/300.66 c bounds - >= 783 @ 299.094
299.68/300.66 c bounds - >= 784 @ 299.094
299.68/300.66 c bounds - >= 785 @ 299.094
299.68/300.66 c bounds - >= 786 @ 299.094
299.68/300.66 c bounds - >= 787 @ 299.094
299.68/300.66 c bounds - >= 788 @ 299.095
299.68/300.66 c bounds - >= 789 @ 299.095
299.68/300.66 c bounds - >= 790 @ 299.095
299.68/300.66 c bounds - >= 791 @ 299.095
299.68/300.66 c bounds - >= 792 @ 299.095
299.68/300.66 c bounds - >= 793 @ 299.095
299.68/300.66 c bounds - >= 794 @ 299.096
299.68/300.66 c bounds - >= 795 @ 299.096
299.68/300.66 c bounds - >= 796 @ 299.096
299.68/300.66 c bounds - >= 797 @ 299.096
299.68/300.66 c bounds - >= 798 @ 299.096
299.68/300.66 c bounds - >= 799 @ 299.096
299.68/300.66 c bounds - >= 800 @ 299.096
299.68/300.66 c bounds - >= 801 @ 299.096
299.68/300.66 c bounds - >= 802 @ 299.096
299.68/300.66 c bounds - >= 803 @ 299.096
299.68/300.66 c bounds - >= 804 @ 299.096
299.68/300.66 c bounds - >= 805 @ 299.097
299.68/300.66 c bounds - >= 806 @ 299.097
299.68/300.66 c bounds - >= 807 @ 299.097
299.68/300.66 c bounds - >= 808 @ 299.097
299.68/300.66 c bounds - >= 809 @ 299.097
299.68/300.66 c bounds - >= 810 @ 299.098
299.68/300.66 c bounds - >= 811 @ 299.098
299.68/300.66 c bounds - >= 812 @ 299.098
299.68/300.66 c bounds - >= 813 @ 299.098
299.68/300.66 c bounds - >= 814 @ 299.099
299.68/300.66 c bounds - >= 815 @ 299.099
299.68/300.66 c bounds - >= 816 @ 299.099
299.68/300.66 c bounds - >= 817 @ 299.1
299.68/300.66 c bounds - >= 818 @ 299.1
299.68/300.66 c bounds - >= 819 @ 299.1
299.68/300.66 c bounds - >= 820 @ 299.1
299.68/300.66 c bounds - >= 821 @ 299.101
299.68/300.66 c bounds - >= 822 @ 299.101
299.68/300.66 c bounds - >= 823 @ 299.101
299.68/300.66 c bounds - >= 824 @ 299.102
299.68/300.66 c #Conflicts: 1000 | #Constraints: 5254
350.33/351.44 c #Conflicts: 2000 | #Constraints: 6254
350.33/351.44 c INPROCESSING
350.33/351.44 c GARBAGE COLLECT
350.33/351.44 c #Conflicts: 3000 | #Constraints: 6102
350.33/351.44 c #Conflicts: 4000 | #Constraints: 7102
350.33/351.44 c INPROCESSING
350.33/351.44 c GARBAGE COLLECT
350.33/351.44 c #Conflicts: 5000 | #Constraints: 6495
350.33/351.44 c #Conflicts: 6000 | #Constraints: 7495
350.33/351.44 c INPROCESSING
350.33/351.44 c GARBAGE COLLECT
350.33/351.44 c #Conflicts: 7000 | #Constraints: 6486
350.33/351.44 c #Conflicts: 8000 | #Constraints: 7486
350.33/351.44 c #Conflicts: 9000 | #Constraints: 8486
350.33/351.44 c INPROCESSING
350.33/351.44 c GARBAGE COLLECT
350.33/351.44 c #Conflicts: 10000 | #Constraints: 7177
350.33/351.44 c #Conflicts: 11000 | #Constraints: 8177
350.33/351.44 c #Conflicts: 12000 | #Constraints: 9177
350.33/351.44 c INPROCESSING
350.33/351.44 c GARBAGE COLLECT
350.33/351.44 c #Conflicts: 13000 | #Constraints: 7626
350.33/351.44 c #Conflicts: 14000 | #Constraints: 8626
350.33/351.44 c #Conflicts: 15000 | #Constraints: 9626
350.33/351.44 c INPROCESSING
350.33/351.44 c GARBAGE COLLECT
350.33/351.44 c #Conflicts: 16000 | #Constraints: 7855
350.33/351.44 c #Conflicts: 17000 | #Constraints: 8855
350.33/351.44 c #Conflicts: 18000 | #Constraints: 9855
350.33/351.44 c INPROCESSING
350.33/351.44 c GARBAGE COLLECT
350.33/351.44 c #Conflicts: 19000 | #Constraints: 7861
350.33/351.44 c #Conflicts: 20000 | #Constraints: 8861
350.33/351.44 c #Conflicts: 21000 | #Constraints: 9861
350.33/351.44 c INPROCESSING
350.33/351.44 c GARBAGE COLLECT
350.33/351.44 c #Conflicts: 22000 | #Constraints: 7657
350.33/351.44 c #Conflicts: 23000 | #Constraints: 8657
350.33/351.44 c #Conflicts: 24000 | #Constraints: 9657
350.33/351.44 c #Conflicts: 25000 | #Constraints: 10657
350.33/351.44 c INPROCESSING
350.33/351.44 c GARBAGE COLLECT
350.33/351.44 c #Conflicts: 26000 | #Constraints: 8255
350.33/351.44 c #Conflicts: 27000 | #Constraints: 9255
350.33/351.44 c #Conflicts: 28000 | #Constraints: 10255
350.33/351.44 c #Conflicts: 29000 | #Constraints: 11255
350.33/351.44 c INPROCESSING
350.33/351.44 c GARBAGE COLLECT
350.33/351.44 c #Conflicts: 30000 | #Constraints: 8655
350.33/351.44 c #Conflicts: 31000 | #Constraints: 9655
350.33/351.44 c #Conflicts: 32000 | #Constraints: 10655
350.33/351.44 c #Conflicts: 33000 | #Constraints: 11655
350.33/351.44 c INPROCESSING
350.33/351.44 c GARBAGE COLLECT
350.33/351.44 c #Conflicts: 34000 | #Constraints: 8851
350.33/351.44 c #Conflicts: 35000 | #Constraints: 9851
350.33/351.44 c #Conflicts: 36000 | #Constraints: 10851
350.33/351.44 c #Conflicts: 37000 | #Constraints: 11851
350.33/351.44 c INPROCESSING
350.33/351.44 c GARBAGE COLLECT
350.33/351.44 c #Conflicts: 38000 | #Constraints: 8846
350.33/351.44 c #Conflicts: 39000 | #Constraints: 9846
350.33/351.44 c #Conflicts: 40000 | #Constraints: 10846
350.33/351.44 c #Conflicts: 41000 | #Constraints: 11846
350.33/351.44 c INPROCESSING
350.33/351.44 c GARBAGE COLLECT
350.33/351.44 c #Conflicts: 42000 | #Constraints: 8660
350.33/351.44 c #Conflicts: 43000 | #Constraints: 9660
350.33/351.44 c #Conflicts: 44000 | #Constraints: 10660
350.33/351.44 c #Conflicts: 45000 | #Constraints: 11660
350.33/351.44 c #Conflicts: 46000 | #Constraints: 12660
350.33/351.44 c INPROCESSING
350.33/351.44 c GARBAGE COLLECT
350.33/351.44 c #Conflicts: 47000 | #Constraints: 9268
350.33/351.44 c #Conflicts: 48000 | #Constraints: 10268
350.33/351.44 c #Conflicts: 49000 | #Constraints: 11268
350.33/351.44 c #Conflicts: 50000 | #Constraints: 12268
350.33/351.44 c #Conflicts: 51000 | #Constraints: 13268
350.33/351.44 c INPROCESSING
350.33/351.44 c GARBAGE COLLECT
350.33/351.44 c #Conflicts: 52000 | #Constraints: 9665
350.33/351.44 c #Conflicts: 53000 | #Constraints: 10665
350.33/351.44 c #Conflicts: 54000 | #Constraints: 11665
350.33/351.44 c #Conflicts: 55000 | #Constraints: 12665
350.33/351.44 c #Conflicts: 56000 | #Constraints: 13665
350.33/351.44 c INPROCESSING
350.33/351.44 c GARBAGE COLLECT
350.33/351.44 c #Conflicts: 57000 | #Constraints: 9861
350.33/351.44 c #Conflicts: 58000 | #Constraints: 10861
350.33/351.44 c #Conflicts: 59000 | #Constraints: 11861
350.33/351.44 c #Conflicts: 60000 | #Constraints: 12861
350.33/351.44 c #Conflicts: 61000 | #Constraints: 13861
350.33/351.44 c INPROCESSING
350.33/351.44 c GARBAGE COLLECT
350.33/351.44 c #Conflicts: 62000 | #Constraints: 9865
350.33/351.44 c #Conflicts: 63000 | #Constraints: 10865
350.33/351.44 c #Conflicts: 64000 | #Constraints: 11865
350.33/351.44 c #Conflicts: 65000 | #Constraints: 12865
350.33/351.44 c #Conflicts: 66000 | #Constraints: 13865
350.33/351.44 c INPROCESSING
350.33/351.44 c GARBAGE COLLECT
350.33/351.44 c #Conflicts: 67000 | #Constraints: 9661
350.33/351.44 c #Conflicts: 68000 | #Constraints: 10661
430.18/431.52 c #Conflicts: 69000 | #Constraints: 11661
430.18/431.52 c #Conflicts: 70000 | #Constraints: 12661
430.18/431.52 c #Conflicts: 71000 | #Constraints: 13661
430.18/431.52 c #Conflicts: 72000 | #Constraints: 14661
430.18/431.52 c INPROCESSING
430.18/431.52 c GARBAGE COLLECT
430.18/431.52 c #Conflicts: 73000 | #Constraints: 10271
430.18/431.52 c #Conflicts: 74000 | #Constraints: 11271
430.18/431.52 c #Conflicts: 75000 | #Constraints: 12271
430.18/431.52 c #Conflicts: 76000 | #Constraints: 13271
430.18/431.52 c #Conflicts: 77000 | #Constraints: 14271
430.18/431.52 c #Conflicts: 78000 | #Constraints: 15271
430.18/431.52 c INPROCESSING
430.18/431.52 c GARBAGE COLLECT
430.18/431.52 c #Conflicts: 79000 | #Constraints: 10669
430.18/431.52 c #Conflicts: 80000 | #Constraints: 11669
430.18/431.52 c #Conflicts: 81000 | #Constraints: 12669
430.18/431.52 c #Conflicts: 82000 | #Constraints: 13669
430.18/431.52 c #Conflicts: 83000 | #Constraints: 14669
430.18/431.52 c #Conflicts: 84000 | #Constraints: 15669
430.18/431.52 c INPROCESSING
430.18/431.52 c GARBAGE COLLECT
430.18/431.52 c #Conflicts: 85000 | #Constraints: 10866
430.18/431.52 c #Conflicts: 86000 | #Constraints: 11866
430.18/431.52 c #Conflicts: 87000 | #Constraints: 12866
430.18/431.52 c #Conflicts: 88000 | #Constraints: 13866
430.18/431.52 c #Conflicts: 89000 | #Constraints: 14866
430.18/431.52 c #Conflicts: 90000 | #Constraints: 15866
430.18/431.52 c INPROCESSING
430.18/431.52 c GARBAGE COLLECT
430.18/431.52 c #Conflicts: 91000 | #Constraints: 10869
430.18/431.52 c #Conflicts: 92000 | #Constraints: 11869
430.18/431.52 c #Conflicts: 93000 | #Constraints: 12869
430.18/431.52 c #Conflicts: 94000 | #Constraints: 13869
430.18/431.52 c #Conflicts: 95000 | #Constraints: 14869
430.18/431.52 c #Conflicts: 96000 | #Constraints: 15869
430.18/431.52 c INPROCESSING
430.18/431.52 c GARBAGE COLLECT
430.18/431.52 c #Conflicts: 97000 | #Constraints: 10669
430.18/431.52 c #Conflicts: 98000 | #Constraints: 11669
430.18/431.52 c #Conflicts: 99000 | #Constraints: 12669
430.18/431.52 c #Conflicts: 100000 | #Constraints: 13669
430.18/431.52 c #Conflicts: 101000 | #Constraints: 14669
430.18/431.52 c #Conflicts: 102000 | #Constraints: 15669
430.18/431.52 c #Conflicts: 103000 | #Constraints: 16669
430.18/431.52 c INPROCESSING
430.18/431.52 c GARBAGE COLLECT
430.18/431.52 c #Conflicts: 104000 | #Constraints: 11268
430.18/431.52 c #Conflicts: 105000 | #Constraints: 12268
430.18/431.52 c #Conflicts: 106000 | #Constraints: 13268
430.18/431.52 c #Conflicts: 107000 | #Constraints: 14268
430.18/431.52 c #Conflicts: 108000 | #Constraints: 15268
430.18/431.52 c #Conflicts: 109000 | #Constraints: 16268
430.18/431.52 c #Conflicts: 110000 | #Constraints: 17268
430.18/431.52 c INPROCESSING
430.18/431.52 c GARBAGE COLLECT
430.18/431.52 c #Conflicts: 111000 | #Constraints: 11662
430.18/431.52 c #Conflicts: 112000 | #Constraints: 12662
430.18/431.52 c #Conflicts: 113000 | #Constraints: 13662
430.18/431.52 c #Conflicts: 114000 | #Constraints: 14662
430.18/431.52 c #Conflicts: 115000 | #Constraints: 15662
430.18/431.52 c #Conflicts: 116000 | #Constraints: 16662
430.18/431.52 c #Conflicts: 117000 | #Constraints: 17662
430.18/431.52 c INPROCESSING
430.18/431.52 c GARBAGE COLLECT
430.18/431.52 c #Conflicts: 118000 | #Constraints: 11856
430.18/431.52 c #Conflicts: 119000 | #Constraints: 12856
430.18/431.52 c #Conflicts: 120000 | #Constraints: 13856
430.18/431.52 c #Conflicts: 121000 | #Constraints: 14856
430.18/431.52 c #Conflicts: 122000 | #Constraints: 15856
430.18/431.52 c #Conflicts: 123000 | #Constraints: 16856
430.18/431.52 c #Conflicts: 124000 | #Constraints: 17856
430.18/431.52 c INPROCESSING
430.18/431.52 c GARBAGE COLLECT
430.18/431.52 c #Conflicts: 125000 | #Constraints: 11857
430.18/431.52 c #Conflicts: 126000 | #Constraints: 12857
430.18/431.52 c #Conflicts: 127000 | #Constraints: 13857
430.18/431.52 c #Conflicts: 128000 | #Constraints: 14857
430.18/431.52 c #Conflicts: 129000 | #Constraints: 15857
430.18/431.52 c #Conflicts: 130000 | #Constraints: 16857
430.18/431.52 c #Conflicts: 131000 | #Constraints: 17857
430.18/431.52 c INPROCESSING
430.18/431.52 c GARBAGE COLLECT
430.18/431.52 c #Conflicts: 132000 | #Constraints: 11659
430.18/431.52 c #Conflicts: 133000 | #Constraints: 12659
430.18/431.52 c #Conflicts: 134000 | #Constraints: 13659
430.18/431.52 c #Conflicts: 135000 | #Constraints: 14659
430.18/431.52 c #Conflicts: 136000 | #Constraints: 15659
430.18/431.52 c #Conflicts: 137000 | #Constraints: 16659
430.18/431.52 c #Conflicts: 138000 | #Constraints: 17659
430.18/431.52 c #Conflicts: 139000 | #Constraints: 18659
430.18/431.52 c INPROCESSING
430.18/431.52 c GARBAGE COLLECT
430.18/431.52 c #Conflicts: 140000 | #Constraints: 12258
535.55/537.27 c #Conflicts: 141000 | #Constraints: 13258
535.55/537.27 c #Conflicts: 142000 | #Constraints: 14258
535.55/537.27 c #Conflicts: 143000 | #Constraints: 15258
535.55/537.27 c #Conflicts: 144000 | #Constraints: 16258
535.55/537.27 c #Conflicts: 145000 | #Constraints: 17258
535.55/537.27 c #Conflicts: 146000 | #Constraints: 18258
535.55/537.27 c #Conflicts: 147000 | #Constraints: 19258
535.55/537.27 c INPROCESSING
535.55/537.27 c GARBAGE COLLECT
535.55/537.27 c #Conflicts: 148000 | #Constraints: 12668
535.55/537.27 c #Conflicts: 149000 | #Constraints: 13668
535.55/537.27 c #Conflicts: 150000 | #Constraints: 14668
535.55/537.27 c #Conflicts: 151000 | #Constraints: 15668
535.55/537.27 c #Conflicts: 152000 | #Constraints: 16668
535.55/537.27 c #Conflicts: 153000 | #Constraints: 17668
535.55/537.27 c #Conflicts: 154000 | #Constraints: 18668
535.55/537.27 c #Conflicts: 155000 | #Constraints: 19668
535.55/537.27 c INPROCESSING
535.55/537.27 c GARBAGE COLLECT
535.55/537.27 c #Conflicts: 156000 | #Constraints: 12861
535.55/537.27 c #Conflicts: 157000 | #Constraints: 13861
535.55/537.27 c #Conflicts: 158000 | #Constraints: 14861
535.55/537.27 c #Conflicts: 159000 | #Constraints: 15861
535.55/537.27 c #Conflicts: 160000 | #Constraints: 16861
535.55/537.27 c #Conflicts: 161000 | #Constraints: 17861
535.55/537.27 c #Conflicts: 162000 | #Constraints: 18861
535.55/537.27 c #Conflicts: 163000 | #Constraints: 19861
535.55/537.27 c INPROCESSING
535.55/537.27 c GARBAGE COLLECT
535.55/537.27 c #Conflicts: 164000 | #Constraints: 12867
535.55/537.27 c #Conflicts: 165000 | #Constraints: 13867
535.55/537.27 c #Conflicts: 166000 | #Constraints: 14867
535.55/537.27 c #Conflicts: 167000 | #Constraints: 15867
535.55/537.27 c #Conflicts: 168000 | #Constraints: 16867
535.55/537.27 c #Conflicts: 169000 | #Constraints: 17867
535.55/537.27 c #Conflicts: 170000 | #Constraints: 18867
535.55/537.27 c #Conflicts: 171000 | #Constraints: 19867
535.55/537.27 c INPROCESSING
535.55/537.27 c GARBAGE COLLECT
535.55/537.27 c #Conflicts: 172000 | #Constraints: 12657
535.55/537.27 c #Conflicts: 173000 | #Constraints: 13657
535.55/537.27 c #Conflicts: 174000 | #Constraints: 14657
535.55/537.27 c #Conflicts: 175000 | #Constraints: 15657
535.55/537.27 c #Conflicts: 176000 | #Constraints: 16657
535.55/537.27 c #Conflicts: 177000 | #Constraints: 17657
535.55/537.27 c #Conflicts: 178000 | #Constraints: 18657
535.55/537.27 c #Conflicts: 179000 | #Constraints: 19657
535.55/537.27 c #Conflicts: 180000 | #Constraints: 20657
535.55/537.27 c INPROCESSING
535.55/537.27 c GARBAGE COLLECT
535.55/537.27 c #Conflicts: 181000 | #Constraints: 13248
535.55/537.27 c #Conflicts: 182000 | #Constraints: 14248
535.55/537.27 c #Conflicts: 183000 | #Constraints: 15248
535.55/537.27 c #Conflicts: 184000 | #Constraints: 16248
535.55/537.27 c #Conflicts: 185000 | #Constraints: 17248
535.55/537.27 c #Conflicts: 186000 | #Constraints: 18248
535.55/537.27 c #Conflicts: 187000 | #Constraints: 19248
535.55/537.27 c #Conflicts: 188000 | #Constraints: 20248
535.55/537.27 c #Conflicts: 189000 | #Constraints: 21248
535.55/537.27 c INPROCESSING
535.55/537.27 c GARBAGE COLLECT
535.55/537.27 c #Conflicts: 190000 | #Constraints: 13651
535.55/537.27 c #Conflicts: 191000 | #Constraints: 14651
535.55/537.27 c #Conflicts: 192000 | #Constraints: 15651
535.55/537.27 c #Conflicts: 193000 | #Constraints: 16651
535.55/537.27 c #Conflicts: 194000 | #Constraints: 17651
535.55/537.27 c #Conflicts: 195000 | #Constraints: 18651
535.55/537.27 c #Conflicts: 196000 | #Constraints: 19651
535.55/537.27 c #Conflicts: 197000 | #Constraints: 20651
535.55/537.27 c #Conflicts: 198000 | #Constraints: 21651
535.55/537.27 c INPROCESSING
535.55/537.27 c GARBAGE COLLECT
535.55/537.27 c #Conflicts: 199000 | #Constraints: 13859
535.55/537.27 c #Conflicts: 200000 | #Constraints: 14859
535.55/537.27 c #Conflicts: 201000 | #Constraints: 15859
535.55/537.27 c #Conflicts: 202000 | #Constraints: 16859
535.55/537.27 c #Conflicts: 203000 | #Constraints: 17859
535.55/537.27 c #Conflicts: 204000 | #Constraints: 18859
535.55/537.27 c #Conflicts: 205000 | #Constraints: 19859
535.55/537.27 c #Conflicts: 206000 | #Constraints: 20859
535.55/537.27 c #Conflicts: 207000 | #Constraints: 21859
535.55/537.27 c INPROCESSING
535.55/537.27 c GARBAGE COLLECT
535.55/537.27 c #Conflicts: 208000 | #Constraints: 13861
535.55/537.27 c #Conflicts: 209000 | #Constraints: 14861
535.55/537.27 c #Conflicts: 210000 | #Constraints: 15861
535.55/537.27 c #Conflicts: 211000 | #Constraints: 16861
535.55/537.27 c #Conflicts: 212000 | #Constraints: 17861
535.55/537.27 c #Conflicts: 213000 | #Constraints: 18861
535.55/537.27 c #Conflicts: 214000 | #Constraints: 19861
643.58/645.54 c #Conflicts: 215000 | #Constraints: 20861
643.58/645.54 c #Conflicts: 216000 | #Constraints: 21861
643.58/645.54 c INPROCESSING
643.58/645.54 c GARBAGE COLLECT
643.58/645.54 c #Conflicts: 217000 | #Constraints: 13657
643.58/645.54 c #Conflicts: 218000 | #Constraints: 14657
643.58/645.54 c #Conflicts: 219000 | #Constraints: 15657
643.58/645.54 c #Conflicts: 220000 | #Constraints: 16657
643.58/645.54 c #Conflicts: 221000 | #Constraints: 17657
643.58/645.54 c #Conflicts: 222000 | #Constraints: 18657
643.58/645.54 c #Conflicts: 223000 | #Constraints: 19657
643.58/645.54 c #Conflicts: 224000 | #Constraints: 20657
643.58/645.54 c #Conflicts: 225000 | #Constraints: 21657
643.58/645.54 c #Conflicts: 226000 | #Constraints: 22657
643.58/645.54 c INPROCESSING
643.58/645.54 c GARBAGE COLLECT
643.58/645.54 c #Conflicts: 227000 | #Constraints: 14258
643.58/645.54 c #Conflicts: 228000 | #Constraints: 15258
643.58/645.54 c #Conflicts: 229000 | #Constraints: 16258
643.58/645.54 c #Conflicts: 230000 | #Constraints: 17258
643.58/645.54 c #Conflicts: 231000 | #Constraints: 18258
643.58/645.54 c #Conflicts: 232000 | #Constraints: 19258
643.58/645.54 c #Conflicts: 233000 | #Constraints: 20258
643.58/645.54 c #Conflicts: 234000 | #Constraints: 21258
643.58/645.54 c #Conflicts: 235000 | #Constraints: 22258
643.58/645.54 c #Conflicts: 236000 | #Constraints: 23258
643.58/645.54 c INPROCESSING
643.58/645.54 c GARBAGE COLLECT
643.58/645.54 c #Conflicts: 237000 | #Constraints: 14651
643.58/645.54 c #Conflicts: 238000 | #Constraints: 15651
643.58/645.54 c #Conflicts: 239000 | #Constraints: 16651
643.58/645.54 c #Conflicts: 240000 | #Constraints: 17651
643.58/645.54 c #Conflicts: 241000 | #Constraints: 18651
643.58/645.54 c #Conflicts: 242000 | #Constraints: 19651
643.58/645.54 c #Conflicts: 243000 | #Constraints: 20651
643.58/645.54 c #Conflicts: 244000 | #Constraints: 21651
643.58/645.54 c #Conflicts: 245000 | #Constraints: 22651
643.58/645.54 c #Conflicts: 246000 | #Constraints: 23651
643.58/645.54 c INPROCESSING
643.58/645.54 c GARBAGE COLLECT
643.58/645.54 c #Conflicts: 247000 | #Constraints: 14852
643.58/645.54 c #Conflicts: 248000 | #Constraints: 15852
643.58/645.54 c #Conflicts: 249000 | #Constraints: 16852
643.58/645.54 c #Conflicts: 250000 | #Constraints: 17852
643.58/645.54 c #Conflicts: 251000 | #Constraints: 18852
643.58/645.54 c #Conflicts: 252000 | #Constraints: 19852
643.58/645.54 c #Conflicts: 253000 | #Constraints: 20852
643.58/645.54 c #Conflicts: 254000 | #Constraints: 21852
643.58/645.54 c #Conflicts: 255000 | #Constraints: 22852
643.58/645.54 c #Conflicts: 256000 | #Constraints: 23852
643.58/645.54 c INPROCESSING
643.58/645.54 c GARBAGE COLLECT
643.58/645.54 c #Conflicts: 257000 | #Constraints: 14850
643.58/645.54 c #Conflicts: 258000 | #Constraints: 15850
643.58/645.54 c #Conflicts: 259000 | #Constraints: 16850
643.58/645.54 c #Conflicts: 260000 | #Constraints: 17850
643.58/645.54 c #Conflicts: 261000 | #Constraints: 18850
643.58/645.54 c #Conflicts: 262000 | #Constraints: 19850
643.58/645.54 c #Conflicts: 263000 | #Constraints: 20850
643.58/645.54 c #Conflicts: 264000 | #Constraints: 21850
643.58/645.54 c #Conflicts: 265000 | #Constraints: 22850
643.58/645.54 c #Conflicts: 266000 | #Constraints: 23850
643.58/645.54 c INPROCESSING
643.58/645.54 c GARBAGE COLLECT
643.58/645.54 c #Conflicts: 267000 | #Constraints: 14656
643.58/645.54 c #Conflicts: 268000 | #Constraints: 15656
643.58/645.54 c #Conflicts: 269000 | #Constraints: 16656
643.58/645.54 c #Conflicts: 270000 | #Constraints: 17656
643.58/645.54 c #Conflicts: 271000 | #Constraints: 18656
643.58/645.54 c #Conflicts: 272000 | #Constraints: 19656
643.58/645.54 c #Conflicts: 273000 | #Constraints: 20656
643.58/645.54 c #Conflicts: 274000 | #Constraints: 21656
643.58/645.54 c #Conflicts: 275000 | #Constraints: 22656
643.58/645.54 c #Conflicts: 276000 | #Constraints: 23656
643.58/645.54 c #Conflicts: 277000 | #Constraints: 24656
643.58/645.54 c INPROCESSING
643.58/645.54 c GARBAGE COLLECT
643.58/645.54 c #Conflicts: 278000 | #Constraints: 15247
643.58/645.54 c #Conflicts: 279000 | #Constraints: 16247
643.58/645.54 c #Conflicts: 280000 | #Constraints: 17247
643.58/645.54 c #Conflicts: 281000 | #Constraints: 18247
643.58/645.54 c #Conflicts: 282000 | #Constraints: 19247
643.58/645.54 c #Conflicts: 283000 | #Constraints: 20247
643.58/645.54 c #Conflicts: 284000 | #Constraints: 21247
643.58/645.54 c #Conflicts: 285000 | #Constraints: 22247
643.58/645.54 c #Conflicts: 286000 | #Constraints: 23247
643.58/645.54 c #Conflicts: 287000 | #Constraints: 24247
643.58/645.54 c #Conflicts: 288000 | #Constraints: 25247
777.68/779.92 c INPROCESSING
777.68/779.92 c GARBAGE COLLECT
777.68/779.92 c #Conflicts: 289000 | #Constraints: 15645
777.68/779.92 c #Conflicts: 290000 | #Constraints: 16645
777.68/779.92 c #Conflicts: 291000 | #Constraints: 17645
777.68/779.92 c #Conflicts: 292000 | #Constraints: 18645
777.68/779.92 c #Conflicts: 293000 | #Constraints: 19645
777.68/779.92 c #Conflicts: 294000 | #Constraints: 20645
777.68/779.92 c #Conflicts: 295000 | #Constraints: 21645
777.68/779.92 c #Conflicts: 296000 | #Constraints: 22645
777.68/779.92 c #Conflicts: 297000 | #Constraints: 23645
777.68/779.92 c #Conflicts: 298000 | #Constraints: 24645
777.68/779.92 c #Conflicts: 299000 | #Constraints: 25645
777.68/779.92 c INPROCESSING
777.68/779.92 c GARBAGE COLLECT
777.68/779.92 c #Conflicts: 300000 | #Constraints: 15843
777.68/779.92 c #Conflicts: 301000 | #Constraints: 16843
777.68/779.92 c #Conflicts: 302000 | #Constraints: 17843
777.68/779.92 c #Conflicts: 303000 | #Constraints: 18843
777.68/779.92 c #Conflicts: 304000 | #Constraints: 19843
777.68/779.92 c #Conflicts: 305000 | #Constraints: 20843
777.68/779.92 c #Conflicts: 306000 | #Constraints: 21843
777.68/779.92 c #Conflicts: 307000 | #Constraints: 22843
777.68/779.92 c #Conflicts: 308000 | #Constraints: 23843
777.68/779.92 c #Conflicts: 309000 | #Constraints: 24843
777.68/779.92 c #Conflicts: 310000 | #Constraints: 25843
777.68/779.92 c INPROCESSING
777.68/779.92 c GARBAGE COLLECT
777.68/779.92 c #Conflicts: 311000 | #Constraints: 15850
777.68/779.92 c #Conflicts: 312000 | #Constraints: 16850
777.68/779.92 c #Conflicts: 313000 | #Constraints: 17850
777.68/779.92 c #Conflicts: 314000 | #Constraints: 18850
777.68/779.92 c #Conflicts: 315000 | #Constraints: 19850
777.68/779.92 c #Conflicts: 316000 | #Constraints: 20850
777.68/779.92 c #Conflicts: 317000 | #Constraints: 21850
777.68/779.92 c #Conflicts: 318000 | #Constraints: 22850
777.68/779.92 c #Conflicts: 319000 | #Constraints: 23850
777.68/779.92 c #Conflicts: 320000 | #Constraints: 24850
777.68/779.92 c #Conflicts: 321000 | #Constraints: 25850
777.68/779.92 c INPROCESSING
777.68/779.92 c GARBAGE COLLECT
777.68/779.92 c #Conflicts: 322000 | #Constraints: 15652
777.68/779.92 c #Conflicts: 323000 | #Constraints: 16652
777.68/779.92 c #Conflicts: 324000 | #Constraints: 17652
777.68/779.92 c #Conflicts: 325000 | #Constraints: 18652
777.68/779.92 c #Conflicts: 326000 | #Constraints: 19652
777.68/779.92 c #Conflicts: 327000 | #Constraints: 20652
777.68/779.92 c #Conflicts: 328000 | #Constraints: 21652
777.68/779.92 c #Conflicts: 329000 | #Constraints: 22652
777.68/779.92 c #Conflicts: 330000 | #Constraints: 23652
777.68/779.92 c #Conflicts: 331000 | #Constraints: 24652
777.68/779.92 c #Conflicts: 332000 | #Constraints: 25652
777.68/779.92 c #Conflicts: 333000 | #Constraints: 26652
777.68/779.92 c INPROCESSING
777.68/779.92 c GARBAGE COLLECT
777.68/779.92 c #Conflicts: 334000 | #Constraints: 16255
777.68/779.92 c #Conflicts: 335000 | #Constraints: 17255
777.68/779.92 c #Conflicts: 336000 | #Constraints: 18255
777.68/779.92 c #Conflicts: 337000 | #Constraints: 19255
777.68/779.92 c #Conflicts: 338000 | #Constraints: 20255
777.68/779.92 c #Conflicts: 339000 | #Constraints: 21255
777.68/779.92 c #Conflicts: 340000 | #Constraints: 22255
777.68/779.92 c #Conflicts: 341000 | #Constraints: 23255
777.68/779.92 c #Conflicts: 342000 | #Constraints: 24255
777.68/779.92 c #Conflicts: 343000 | #Constraints: 25255
777.68/779.92 c #Conflicts: 344000 | #Constraints: 26255
777.68/779.92 c #Conflicts: 345000 | #Constraints: 27255
777.68/779.92 c INPROCESSING
777.68/779.92 c GARBAGE COLLECT
777.68/779.92 c #Conflicts: 346000 | #Constraints: 16650
777.68/779.92 c #Conflicts: 347000 | #Constraints: 17650
777.68/779.92 c #Conflicts: 348000 | #Constraints: 18650
777.68/779.92 c #Conflicts: 349000 | #Constraints: 19650
777.68/779.92 c #Conflicts: 350000 | #Constraints: 20650
777.68/779.92 c #Conflicts: 351000 | #Constraints: 21650
777.68/779.92 c #Conflicts: 352000 | #Constraints: 22650
777.68/779.92 c #Conflicts: 353000 | #Constraints: 23650
777.68/779.92 c #Conflicts: 354000 | #Constraints: 24650
777.68/779.92 c #Conflicts: 355000 | #Constraints: 25650
777.68/779.92 c #Conflicts: 356000 | #Constraints: 26650
777.68/779.92 c #Conflicts: 357000 | #Constraints: 27650
777.68/779.92 c INPROCESSING
777.68/779.92 c GARBAGE COLLECT
777.68/779.92 c #Conflicts: 358000 | #Constraints: 16855
777.68/779.92 c #Conflicts: 359000 | #Constraints: 17855
777.68/779.92 c #Conflicts: 360000 | #Constraints: 18855
777.68/779.92 c #Conflicts: 361000 | #Constraints: 19855
777.68/779.92 c #Conflicts: 362000 | #Constraints: 20855
906.09/908.65 c #Conflicts: 363000 | #Constraints: 21855
906.09/908.65 c #Conflicts: 364000 | #Constraints: 22855
906.09/908.65 c #Conflicts: 365000 | #Constraints: 23855
906.09/908.65 c #Conflicts: 366000 | #Constraints: 24855
906.09/908.65 c #Conflicts: 367000 | #Constraints: 25855
906.09/908.65 c #Conflicts: 368000 | #Constraints: 26855
906.09/908.65 c #Conflicts: 369000 | #Constraints: 27855
906.09/908.65 c INPROCESSING
906.09/908.65 c GARBAGE COLLECT
906.09/908.65 c #Conflicts: 370000 | #Constraints: 16849
906.09/908.65 c #Conflicts: 371000 | #Constraints: 17849
906.09/908.65 c #Conflicts: 372000 | #Constraints: 18849
906.09/908.65 c #Conflicts: 373000 | #Constraints: 19849
906.09/908.65 c #Conflicts: 374000 | #Constraints: 20849
906.09/908.65 c #Conflicts: 375000 | #Constraints: 21849
906.09/908.65 c #Conflicts: 376000 | #Constraints: 22849
906.09/908.65 c #Conflicts: 377000 | #Constraints: 23849
906.09/908.65 c #Conflicts: 378000 | #Constraints: 24849
906.09/908.65 c #Conflicts: 379000 | #Constraints: 25849
906.09/908.65 c #Conflicts: 380000 | #Constraints: 26849
906.09/908.65 c #Conflicts: 381000 | #Constraints: 27849
906.09/908.65 c INPROCESSING
906.09/908.65 c GARBAGE COLLECT
906.09/908.65 c #Conflicts: 382000 | #Constraints: 16649
906.09/908.65 c #Conflicts: 383000 | #Constraints: 17649
906.09/908.65 c #Conflicts: 384000 | #Constraints: 18649
906.09/908.65 c #Conflicts: 385000 | #Constraints: 19649
906.09/908.65 c #Conflicts: 386000 | #Constraints: 20649
906.09/908.65 c #Conflicts: 387000 | #Constraints: 21649
906.09/908.65 c #Conflicts: 388000 | #Constraints: 22649
906.09/908.65 c #Conflicts: 389000 | #Constraints: 23649
906.09/908.65 c #Conflicts: 390000 | #Constraints: 24649
906.09/908.65 c #Conflicts: 391000 | #Constraints: 25649
906.09/908.65 c #Conflicts: 392000 | #Constraints: 26649
906.09/908.65 c #Conflicts: 393000 | #Constraints: 27649
906.09/908.65 c #Conflicts: 394000 | #Constraints: 28649
906.09/908.65 c INPROCESSING
906.09/908.65 c GARBAGE COLLECT
906.09/908.65 c #Conflicts: 395000 | #Constraints: 17252
906.09/908.65 c #Conflicts: 396000 | #Constraints: 18252
906.09/908.65 c #Conflicts: 397000 | #Constraints: 19252
906.09/908.65 c #Conflicts: 398000 | #Constraints: 20252
906.09/908.65 c #Conflicts: 399000 | #Constraints: 21252
906.09/908.65 c #Conflicts: 400000 | #Constraints: 22252
906.09/908.65 c #Conflicts: 401000 | #Constraints: 23252
906.09/908.65 c #Conflicts: 402000 | #Constraints: 24252
906.09/908.65 c #Conflicts: 403000 | #Constraints: 25252
906.09/908.65 c #Conflicts: 404000 | #Constraints: 26252
906.09/908.65 c #Conflicts: 405000 | #Constraints: 27252
906.09/908.65 c #Conflicts: 406000 | #Constraints: 28252
906.09/908.65 c #Conflicts: 407000 | #Constraints: 29252
906.09/908.65 c INPROCESSING
906.09/908.65 c GARBAGE COLLECT
906.09/908.65 c #Conflicts: 408000 | #Constraints: 17645
906.09/908.65 c #Conflicts: 409000 | #Constraints: 18645
906.09/908.65 c #Conflicts: 410000 | #Constraints: 19645
906.09/908.65 c #Conflicts: 411000 | #Constraints: 20645
906.09/908.65 c #Conflicts: 412000 | #Constraints: 21645
906.09/908.65 c #Conflicts: 413000 | #Constraints: 22645
906.09/908.65 c #Conflicts: 414000 | #Constraints: 23645
906.09/908.65 c #Conflicts: 415000 | #Constraints: 24645
906.09/908.65 c #Conflicts: 416000 | #Constraints: 25645
906.09/908.65 c #Conflicts: 417000 | #Constraints: 26645
906.09/908.65 c #Conflicts: 418000 | #Constraints: 27645
906.09/908.65 c #Conflicts: 419000 | #Constraints: 28645
906.09/908.65 c #Conflicts: 420000 | #Constraints: 29645
906.09/908.65 c INPROCESSING
906.09/908.65 c GARBAGE COLLECT
906.09/908.65 c #Conflicts: 421000 | #Constraints: 17850
906.09/908.65 c #Conflicts: 422000 | #Constraints: 18850
906.09/908.65 c #Conflicts: 423000 | #Constraints: 19850
906.09/908.65 c #Conflicts: 424000 | #Constraints: 20850
906.09/908.65 c #Conflicts: 425000 | #Constraints: 21850
906.09/908.65 c #Conflicts: 426000 | #Constraints: 22850
906.09/908.65 c #Conflicts: 427000 | #Constraints: 23850
906.09/908.65 c #Conflicts: 428000 | #Constraints: 24850
906.09/908.65 c #Conflicts: 429000 | #Constraints: 25850
906.09/908.65 c #Conflicts: 430000 | #Constraints: 26850
906.09/908.65 c #Conflicts: 431000 | #Constraints: 27850
906.09/908.65 c #Conflicts: 432000 | #Constraints: 28850
906.09/908.65 c #Conflicts: 433000 | #Constraints: 29850
906.09/908.65 c INPROCESSING
906.09/908.65 c GARBAGE COLLECT
906.09/908.65 c #Conflicts: 434000 | #Constraints: 17855
906.09/908.65 c #Conflicts: 435000 | #Constraints: 18855
906.09/908.65 c #Conflicts: 436000 | #Constraints: 19855
906.09/908.65 c #Conflicts: 437000 | #Constraints: 20855
1069.52/1072.49 c #Conflicts: 438000 | #Constraints: 21855
1069.52/1072.49 c #Conflicts: 439000 | #Constraints: 22855
1069.52/1072.49 c #Conflicts: 440000 | #Constraints: 23855
1069.52/1072.49 c #Conflicts: 441000 | #Constraints: 24855
1069.52/1072.49 c #Conflicts: 442000 | #Constraints: 25855
1069.52/1072.49 c #Conflicts: 443000 | #Constraints: 26855
1069.52/1072.49 c #Conflicts: 444000 | #Constraints: 27855
1069.52/1072.49 c #Conflicts: 445000 | #Constraints: 28855
1069.52/1072.49 c #Conflicts: 446000 | #Constraints: 29855
1069.52/1072.49 c INPROCESSING
1069.52/1072.49 c GARBAGE COLLECT
1069.52/1072.49 c #Conflicts: 447000 | #Constraints: 17658
1069.52/1072.49 c #Conflicts: 448000 | #Constraints: 18658
1069.52/1072.49 c #Conflicts: 449000 | #Constraints: 19658
1069.52/1072.49 c #Conflicts: 450000 | #Constraints: 20658
1069.52/1072.49 c #Conflicts: 451000 | #Constraints: 21658
1069.52/1072.49 c #Conflicts: 452000 | #Constraints: 22658
1069.52/1072.49 c #Conflicts: 453000 | #Constraints: 23658
1069.52/1072.49 c #Conflicts: 454000 | #Constraints: 24658
1069.52/1072.49 c #Conflicts: 455000 | #Constraints: 25658
1069.52/1072.49 c #Conflicts: 456000 | #Constraints: 26658
1069.52/1072.49 c #Conflicts: 457000 | #Constraints: 27658
1069.52/1072.49 c #Conflicts: 458000 | #Constraints: 28658
1069.52/1072.49 c #Conflicts: 459000 | #Constraints: 29658
1069.52/1072.49 c #Conflicts: 460000 | #Constraints: 30658
1069.52/1072.49 c INPROCESSING
1069.52/1072.49 c GARBAGE COLLECT
1069.52/1072.49 c #Conflicts: 461000 | #Constraints: 18259
1069.52/1072.49 c #Conflicts: 462000 | #Constraints: 19259
1069.52/1072.49 c #Conflicts: 463000 | #Constraints: 20259
1069.52/1072.49 c #Conflicts: 464000 | #Constraints: 21259
1069.52/1072.49 c #Conflicts: 465000 | #Constraints: 22259
1069.52/1072.49 c #Conflicts: 466000 | #Constraints: 23259
1069.52/1072.49 c #Conflicts: 467000 | #Constraints: 24259
1069.52/1072.49 c #Conflicts: 468000 | #Constraints: 25259
1069.52/1072.49 c #Conflicts: 469000 | #Constraints: 26259
1069.52/1072.49 c #Conflicts: 470000 | #Constraints: 27259
1069.52/1072.49 c #Conflicts: 471000 | #Constraints: 28259
1069.52/1072.49 c #Conflicts: 472000 | #Constraints: 29259
1069.52/1072.49 c #Conflicts: 473000 | #Constraints: 30259
1069.52/1072.49 c #Conflicts: 474000 | #Constraints: 31259
1069.52/1072.49 c INPROCESSING
1069.52/1072.49 c GARBAGE COLLECT
1069.52/1072.49 c #Conflicts: 475000 | #Constraints: 18663
1069.52/1072.49 c #Conflicts: 476000 | #Constraints: 19663
1069.52/1072.49 c #Conflicts: 477000 | #Constraints: 20663
1069.52/1072.49 c #Conflicts: 478000 | #Constraints: 21663
1069.52/1072.49 c #Conflicts: 479000 | #Constraints: 22663
1069.52/1072.49 c #Conflicts: 480000 | #Constraints: 23663
1069.52/1072.49 c #Conflicts: 481000 | #Constraints: 24663
1069.52/1072.49 c #Conflicts: 482000 | #Constraints: 25663
1069.52/1072.49 c #Conflicts: 483000 | #Constraints: 26663
1069.52/1072.49 c #Conflicts: 484000 | #Constraints: 27663
1069.52/1072.49 c #Conflicts: 485000 | #Constraints: 28663
1069.52/1072.49 c #Conflicts: 486000 | #Constraints: 29663
1069.52/1072.49 c #Conflicts: 487000 | #Constraints: 30663
1069.52/1072.49 c #Conflicts: 488000 | #Constraints: 31663
1069.52/1072.49 c INPROCESSING
1069.52/1072.49 c GARBAGE COLLECT
1069.52/1072.49 c #Conflicts: 489000 | #Constraints: 18864
1069.52/1072.49 c #Conflicts: 490000 | #Constraints: 19864
1069.52/1072.49 c #Conflicts: 491000 | #Constraints: 20864
1069.52/1072.49 c #Conflicts: 492000 | #Constraints: 21864
1069.52/1072.49 c #Conflicts: 493000 | #Constraints: 22864
1069.52/1072.49 c #Conflicts: 494000 | #Constraints: 23864
1069.52/1072.49 c #Conflicts: 495000 | #Constraints: 24864
1069.52/1072.49 c #Conflicts: 496000 | #Constraints: 25864
1069.52/1072.49 c #Conflicts: 497000 | #Constraints: 26864
1069.52/1072.49 c #Conflicts: 498000 | #Constraints: 27864
1069.52/1072.49 c #Conflicts: 499000 | #Constraints: 28864
1069.52/1072.49 c #Conflicts: 500000 | #Constraints: 29864
1069.52/1072.49 c #Conflicts: 501000 | #Constraints: 30864
1069.52/1072.49 c #Conflicts: 502000 | #Constraints: 31864
1069.52/1072.49 c INPROCESSING
1069.52/1072.49 c GARBAGE COLLECT
1069.52/1072.49 c #Conflicts: 503000 | #Constraints: 18861
1069.52/1072.49 c #Conflicts: 504000 | #Constraints: 19861
1069.52/1072.49 c #Conflicts: 505000 | #Constraints: 20861
1069.52/1072.49 c #Conflicts: 506000 | #Constraints: 21861
1069.52/1072.49 c #Conflicts: 507000 | #Constraints: 22861
1069.52/1072.49 c #Conflicts: 508000 | #Constraints: 23861
1069.52/1072.49 c #Conflicts: 509000 | #Constraints: 24861
1069.52/1072.49 c #Conflicts: 510000 | #Constraints: 25861
1069.52/1072.49 c #Conflicts: 511000 | #Constraints: 26861
1069.52/1072.49 c #Conflicts: 512000 | #Constraints: 27861
1069.52/1072.49 c #Conflicts: 513000 | #Constraints: 28861
1226.57/1229.81 c #Conflicts: 514000 | #Constraints: 29861
1226.57/1229.81 c #Conflicts: 515000 | #Constraints: 30861
1226.57/1229.81 c #Conflicts: 516000 | #Constraints: 31861
1226.57/1229.81 c INPROCESSING
1226.57/1229.81 c GARBAGE COLLECT
1226.57/1229.81 c #Conflicts: 517000 | #Constraints: 18649
1226.57/1229.81 c #Conflicts: 518000 | #Constraints: 19649
1226.57/1229.81 c #Conflicts: 519000 | #Constraints: 20649
1226.57/1229.81 c #Conflicts: 520000 | #Constraints: 21649
1226.57/1229.81 c #Conflicts: 521000 | #Constraints: 22649
1226.57/1229.81 c #Conflicts: 522000 | #Constraints: 23649
1226.57/1229.81 c #Conflicts: 523000 | #Constraints: 24649
1226.57/1229.81 c #Conflicts: 524000 | #Constraints: 25649
1226.57/1229.81 c #Conflicts: 525000 | #Constraints: 26649
1226.57/1229.81 c #Conflicts: 526000 | #Constraints: 27649
1226.57/1229.81 c #Conflicts: 527000 | #Constraints: 28649
1226.57/1229.81 c #Conflicts: 528000 | #Constraints: 29649
1226.57/1229.81 c #Conflicts: 529000 | #Constraints: 30649
1226.57/1229.81 c #Conflicts: 530000 | #Constraints: 31649
1226.57/1229.81 c #Conflicts: 531000 | #Constraints: 32649
1226.57/1229.81 c INPROCESSING
1226.57/1229.81 c GARBAGE COLLECT
1226.57/1229.81 c #Conflicts: 532000 | #Constraints: 19255
1226.57/1229.81 c #Conflicts: 533000 | #Constraints: 20255
1226.57/1229.81 c #Conflicts: 534000 | #Constraints: 21255
1226.57/1229.81 c #Conflicts: 535000 | #Constraints: 22255
1226.57/1229.81 c #Conflicts: 536000 | #Constraints: 23255
1226.57/1229.81 c #Conflicts: 537000 | #Constraints: 24255
1226.57/1229.81 c #Conflicts: 538000 | #Constraints: 25255
1226.57/1229.81 c #Conflicts: 539000 | #Constraints: 26255
1226.57/1229.81 c #Conflicts: 540000 | #Constraints: 27255
1226.57/1229.81 c #Conflicts: 541000 | #Constraints: 28255
1226.57/1229.81 c #Conflicts: 542000 | #Constraints: 29255
1226.57/1229.81 c #Conflicts: 543000 | #Constraints: 30255
1226.57/1229.81 c #Conflicts: 544000 | #Constraints: 31255
1226.57/1229.81 c #Conflicts: 545000 | #Constraints: 32255
1226.57/1229.81 c #Conflicts: 546000 | #Constraints: 33255
1226.57/1229.81 c INPROCESSING
1226.57/1229.81 c GARBAGE COLLECT
1226.57/1229.81 c #Conflicts: 547000 | #Constraints: 19653
1226.57/1229.81 c #Conflicts: 548000 | #Constraints: 20653
1226.57/1229.81 c #Conflicts: 549000 | #Constraints: 21653
1226.57/1229.81 c #Conflicts: 550000 | #Constraints: 22653
1226.57/1229.81 c #Conflicts: 551000 | #Constraints: 23653
1226.57/1229.81 c #Conflicts: 552000 | #Constraints: 24653
1226.57/1229.81 c #Conflicts: 553000 | #Constraints: 25653
1226.57/1229.81 c #Conflicts: 554000 | #Constraints: 26653
1226.57/1229.81 c #Conflicts: 555000 | #Constraints: 27653
1226.57/1229.81 c #Conflicts: 556000 | #Constraints: 28653
1226.57/1229.81 c #Conflicts: 557000 | #Constraints: 29653
1226.57/1229.81 c #Conflicts: 558000 | #Constraints: 30653
1226.57/1229.81 c #Conflicts: 559000 | #Constraints: 31653
1226.57/1229.81 c #Conflicts: 560000 | #Constraints: 32653
1226.57/1229.81 c #Conflicts: 561000 | #Constraints: 33653
1226.57/1229.81 c INPROCESSING
1226.57/1229.81 c GARBAGE COLLECT
1226.57/1229.81 c #Conflicts: 562000 | #Constraints: 19851
1226.57/1229.81 c #Conflicts: 563000 | #Constraints: 20851
1226.57/1229.81 c #Conflicts: 564000 | #Constraints: 21851
1226.57/1229.81 c #Conflicts: 565000 | #Constraints: 22851
1226.57/1229.81 c #Conflicts: 566000 | #Constraints: 23851
1226.57/1229.81 c #Conflicts: 567000 | #Constraints: 24851
1226.57/1229.81 c #Conflicts: 568000 | #Constraints: 25851
1226.57/1229.81 c #Conflicts: 569000 | #Constraints: 26851
1226.57/1229.81 c #Conflicts: 570000 | #Constraints: 27851
1226.57/1229.81 c #Conflicts: 571000 | #Constraints: 28851
1226.57/1229.81 c #Conflicts: 572000 | #Constraints: 29851
1226.57/1229.81 c #Conflicts: 573000 | #Constraints: 30851
1226.57/1229.81 c #Conflicts: 574000 | #Constraints: 31851
1226.57/1229.81 c #Conflicts: 575000 | #Constraints: 32851
1226.57/1229.81 c #Conflicts: 576000 | #Constraints: 33851
1226.57/1229.81 c INPROCESSING
1226.57/1229.81 c GARBAGE COLLECT
1226.57/1229.81 c #Conflicts: 577000 | #Constraints: 19852
1226.57/1229.81 c #Conflicts: 578000 | #Constraints: 20852
1226.57/1229.81 c #Conflicts: 579000 | #Constraints: 21852
1226.57/1229.81 c #Conflicts: 580000 | #Constraints: 22852
1226.57/1229.81 c #Conflicts: 581000 | #Constraints: 23852
1226.57/1229.81 c #Conflicts: 582000 | #Constraints: 24852
1226.57/1229.81 c #Conflicts: 583000 | #Constraints: 25852
1226.57/1229.81 c #Conflicts: 584000 | #Constraints: 26852
1226.57/1229.81 c #Conflicts: 585000 | #Constraints: 27852
1226.57/1229.81 c #Conflicts: 586000 | #Constraints: 28852
1226.57/1229.81 c #Conflicts: 587000 | #Constraints: 29852
1226.57/1229.81 c #Conflicts: 588000 | #Constraints: 30852
1226.57/1229.81 c #Conflicts: 589000 | #Constraints: 31852
1415.93/1419.67 c #Conflicts: 590000 | #Constraints: 32852
1415.93/1419.67 c #Conflicts: 591000 | #Constraints: 33852
1415.93/1419.67 c INPROCESSING
1415.93/1419.67 c GARBAGE COLLECT
1415.93/1419.67 c #Conflicts: 592000 | #Constraints: 19651
1415.93/1419.67 c #Conflicts: 593000 | #Constraints: 20651
1415.93/1419.67 c #Conflicts: 594000 | #Constraints: 21651
1415.93/1419.67 c #Conflicts: 595000 | #Constraints: 22651
1415.93/1419.67 c #Conflicts: 596000 | #Constraints: 23651
1415.93/1419.67 c #Conflicts: 597000 | #Constraints: 24651
1415.93/1419.67 c #Conflicts: 598000 | #Constraints: 25651
1415.93/1419.67 c #Conflicts: 599000 | #Constraints: 26651
1415.93/1419.67 c #Conflicts: 600000 | #Constraints: 27651
1415.93/1419.67 c #Conflicts: 601000 | #Constraints: 28651
1415.93/1419.67 c #Conflicts: 602000 | #Constraints: 29651
1415.93/1419.67 c #Conflicts: 603000 | #Constraints: 30651
1415.93/1419.67 c #Conflicts: 604000 | #Constraints: 31651
1415.93/1419.67 c #Conflicts: 605000 | #Constraints: 32651
1415.93/1419.67 c #Conflicts: 606000 | #Constraints: 33651
1415.93/1419.67 c #Conflicts: 607000 | #Constraints: 34651
1415.93/1419.67 c INPROCESSING
1415.93/1419.67 c GARBAGE COLLECT
1415.93/1419.67 c #Conflicts: 608000 | #Constraints: 20257
1415.93/1419.67 c #Conflicts: 609000 | #Constraints: 21257
1415.93/1419.67 c #Conflicts: 610000 | #Constraints: 22257
1415.93/1419.67 c #Conflicts: 611000 | #Constraints: 23257
1415.93/1419.67 c #Conflicts: 612000 | #Constraints: 24257
1415.93/1419.67 c #Conflicts: 613000 | #Constraints: 25257
1415.93/1419.67 c #Conflicts: 614000 | #Constraints: 26257
1415.93/1419.67 c #Conflicts: 615000 | #Constraints: 27257
1415.93/1419.67 c #Conflicts: 616000 | #Constraints: 28257
1415.93/1419.67 c #Conflicts: 617000 | #Constraints: 29257
1415.93/1419.67 c #Conflicts: 618000 | #Constraints: 30257
1415.93/1419.67 c #Conflicts: 619000 | #Constraints: 31257
1415.93/1419.67 c #Conflicts: 620000 | #Constraints: 32257
1415.93/1419.67 c #Conflicts: 621000 | #Constraints: 33257
1415.93/1419.67 c #Conflicts: 622000 | #Constraints: 34257
1415.93/1419.67 c #Conflicts: 623000 | #Constraints: 35257
1415.93/1419.67 c INPROCESSING
1415.93/1419.67 c GARBAGE COLLECT
1415.93/1419.67 c #Conflicts: 624000 | #Constraints: 20654
1415.93/1419.67 c #Conflicts: 625000 | #Constraints: 21654
1415.93/1419.67 c #Conflicts: 626000 | #Constraints: 22654
1415.93/1419.67 c #Conflicts: 627000 | #Constraints: 23654
1415.93/1419.67 c #Conflicts: 628000 | #Constraints: 24654
1415.93/1419.67 c #Conflicts: 629000 | #Constraints: 25654
1415.93/1419.67 c #Conflicts: 630000 | #Constraints: 26654
1415.93/1419.67 c #Conflicts: 631000 | #Constraints: 27654
1415.93/1419.67 c #Conflicts: 632000 | #Constraints: 28654
1415.93/1419.67 c #Conflicts: 633000 | #Constraints: 29654
1415.93/1419.67 c #Conflicts: 634000 | #Constraints: 30654
1415.93/1419.67 c #Conflicts: 635000 | #Constraints: 31654
1415.93/1419.67 c #Conflicts: 636000 | #Constraints: 32654
1415.93/1419.67 c #Conflicts: 637000 | #Constraints: 33654
1415.93/1419.67 c #Conflicts: 638000 | #Constraints: 34654
1415.93/1419.67 c #Conflicts: 639000 | #Constraints: 35654
1415.93/1419.67 c INPROCESSING
1415.93/1419.67 c GARBAGE COLLECT
1415.93/1419.67 c #Conflicts: 640000 | #Constraints: 20846
1415.93/1419.67 c #Conflicts: 641000 | #Constraints: 21846
1415.93/1419.67 c #Conflicts: 642000 | #Constraints: 22846
1415.93/1419.67 c #Conflicts: 643000 | #Constraints: 23846
1415.93/1419.67 c #Conflicts: 644000 | #Constraints: 24846
1415.93/1419.67 c #Conflicts: 645000 | #Constraints: 25846
1415.93/1419.67 c #Conflicts: 646000 | #Constraints: 26846
1415.93/1419.67 c #Conflicts: 647000 | #Constraints: 27846
1415.93/1419.67 c #Conflicts: 648000 | #Constraints: 28846
1415.93/1419.67 c #Conflicts: 649000 | #Constraints: 29846
1415.93/1419.67 c #Conflicts: 650000 | #Constraints: 30846
1415.93/1419.67 c #Conflicts: 651000 | #Constraints: 31846
1415.93/1419.67 c #Conflicts: 652000 | #Constraints: 32846
1415.93/1419.67 c #Conflicts: 653000 | #Constraints: 33846
1415.93/1419.67 c #Conflicts: 654000 | #Constraints: 34846
1415.93/1419.67 c #Conflicts: 655000 | #Constraints: 35846
1415.93/1419.67 c INPROCESSING
1415.93/1419.67 c GARBAGE COLLECT
1415.93/1419.67 c #Conflicts: 656000 | #Constraints: 20842
1415.93/1419.67 c #Conflicts: 657000 | #Constraints: 21842
1415.93/1419.67 c #Conflicts: 658000 | #Constraints: 22842
1415.93/1419.67 c #Conflicts: 659000 | #Constraints: 23842
1415.93/1419.67 c #Conflicts: 660000 | #Constraints: 24842
1415.93/1419.67 c #Conflicts: 661000 | #Constraints: 25842
1415.93/1419.67 c #Conflicts: 662000 | #Constraints: 26842
1415.93/1419.67 c #Conflicts: 663000 | #Constraints: 27842
1415.93/1419.67 c #Conflicts: 664000 | #Constraints: 28842
1614.37/1618.53 c #Conflicts: 665000 | #Constraints: 29842
1614.37/1618.53 c #Conflicts: 666000 | #Constraints: 30842
1614.37/1618.53 c #Conflicts: 667000 | #Constraints: 31842
1614.37/1618.53 c #Conflicts: 668000 | #Constraints: 32842
1614.37/1618.53 c #Conflicts: 669000 | #Constraints: 33842
1614.37/1618.53 c #Conflicts: 670000 | #Constraints: 34842
1614.37/1618.53 c #Conflicts: 671000 | #Constraints: 35842
1614.37/1618.53 c INPROCESSING
1614.37/1618.53 c GARBAGE COLLECT
1614.37/1618.53 c #Conflicts: 672000 | #Constraints: 20648
1614.37/1618.53 c #Conflicts: 673000 | #Constraints: 21648
1614.37/1618.53 c #Conflicts: 674000 | #Constraints: 22648
1614.37/1618.53 c #Conflicts: 675000 | #Constraints: 23648
1614.37/1618.53 c #Conflicts: 676000 | #Constraints: 24648
1614.37/1618.53 c #Conflicts: 677000 | #Constraints: 25648
1614.37/1618.53 c #Conflicts: 678000 | #Constraints: 26648
1614.37/1618.53 c #Conflicts: 679000 | #Constraints: 27648
1614.37/1618.53 c #Conflicts: 680000 | #Constraints: 28648
1614.37/1618.53 c #Conflicts: 681000 | #Constraints: 29648
1614.37/1618.53 c #Conflicts: 682000 | #Constraints: 30648
1614.37/1618.53 c #Conflicts: 683000 | #Constraints: 31648
1614.37/1618.53 c #Conflicts: 684000 | #Constraints: 32648
1614.37/1618.53 c #Conflicts: 685000 | #Constraints: 33648
1614.37/1618.53 c #Conflicts: 686000 | #Constraints: 34648
1614.37/1618.53 c #Conflicts: 687000 | #Constraints: 35648
1614.37/1618.53 c #Conflicts: 688000 | #Constraints: 36648
1614.37/1618.53 c INPROCESSING
1614.37/1618.53 c GARBAGE COLLECT
1614.37/1618.53 c #Conflicts: 689000 | #Constraints: 21248
1614.37/1618.53 c #Conflicts: 690000 | #Constraints: 22248
1614.37/1618.53 c #Conflicts: 691000 | #Constraints: 23248
1614.37/1618.53 c #Conflicts: 692000 | #Constraints: 24248
1614.37/1618.53 c #Conflicts: 693000 | #Constraints: 25248
1614.37/1618.53 c #Conflicts: 694000 | #Constraints: 26248
1614.37/1618.53 c #Conflicts: 695000 | #Constraints: 27248
1614.37/1618.53 c #Conflicts: 696000 | #Constraints: 28248
1614.37/1618.53 c #Conflicts: 697000 | #Constraints: 29248
1614.37/1618.53 c #Conflicts: 698000 | #Constraints: 30248
1614.37/1618.53 c #Conflicts: 699000 | #Constraints: 31248
1614.37/1618.53 c #Conflicts: 700000 | #Constraints: 32248
1614.37/1618.53 c #Conflicts: 701000 | #Constraints: 33248
1614.37/1618.53 c #Conflicts: 702000 | #Constraints: 34248
1614.37/1618.53 c #Conflicts: 703000 | #Constraints: 35248
1614.37/1618.53 c #Conflicts: 704000 | #Constraints: 36248
1614.37/1618.53 c #Conflicts: 705000 | #Constraints: 37248
1614.37/1618.53 c INPROCESSING
1614.37/1618.53 c GARBAGE COLLECT
1614.37/1618.53 c #Conflicts: 706000 | #Constraints: 21651
1614.37/1618.53 c #Conflicts: 707000 | #Constraints: 22651
1614.37/1618.53 c #Conflicts: 708000 | #Constraints: 23651
1614.37/1618.53 c #Conflicts: 709000 | #Constraints: 24651
1614.37/1618.53 c #Conflicts: 710000 | #Constraints: 25651
1614.37/1618.53 c #Conflicts: 711000 | #Constraints: 26651
1614.37/1618.53 c #Conflicts: 712000 | #Constraints: 27651
1614.37/1618.53 c #Conflicts: 713000 | #Constraints: 28651
1614.37/1618.53 c #Conflicts: 714000 | #Constraints: 29651
1614.37/1618.53 c #Conflicts: 715000 | #Constraints: 30651
1614.37/1618.53 c #Conflicts: 716000 | #Constraints: 31651
1614.37/1618.53 c #Conflicts: 717000 | #Constraints: 32651
1614.37/1618.53 c #Conflicts: 718000 | #Constraints: 33651
1614.37/1618.53 c #Conflicts: 719000 | #Constraints: 34651
1614.37/1618.53 c #Conflicts: 720000 | #Constraints: 35651
1614.37/1618.53 c #Conflicts: 721000 | #Constraints: 36651
1614.37/1618.54 c #Conflicts: 722000 | #Constraints: 37651
1614.37/1618.54 c INPROCESSING
1614.37/1618.54 c GARBAGE COLLECT
1614.37/1618.54 c #Conflicts: 723000 | #Constraints: 21852
1614.37/1618.54 c #Conflicts: 724000 | #Constraints: 22852
1614.37/1618.54 c #Conflicts: 725000 | #Constraints: 23852
1614.37/1618.54 c #Conflicts: 726000 | #Constraints: 24852
1614.37/1618.54 c #Conflicts: 727000 | #Constraints: 25852
1614.37/1618.54 c #Conflicts: 728000 | #Constraints: 26852
1614.37/1618.54 c #Conflicts: 729000 | #Constraints: 27852
1614.37/1618.54 c #Conflicts: 730000 | #Constraints: 28852
1614.37/1618.54 c #Conflicts: 731000 | #Constraints: 29852
1614.37/1618.54 c #Conflicts: 732000 | #Constraints: 30852
1614.37/1618.54 c #Conflicts: 733000 | #Constraints: 31852
1614.37/1618.54 c #Conflicts: 734000 | #Constraints: 32852
1614.37/1618.54 c #Conflicts: 735000 | #Constraints: 33852
1614.37/1618.54 c #Conflicts: 736000 | #Constraints: 34852
1614.37/1618.54 c #Conflicts: 737000 | #Constraints: 35852
1614.37/1618.54 c #Conflicts: 738000 | #Constraints: 36852
1614.37/1618.54 c #Conflicts: 739000 | #Constraints: 37852
1614.37/1618.54 c INPROCESSING
1614.37/1618.54 c GARBAGE COLLECT
1614.37/1618.54 c #Conflicts: 740000 | #Constraints: 21859
1865.29/1870.05 c #Conflicts: 741000 | #Constraints: 22859
1865.29/1870.05 c #Conflicts: 742000 | #Constraints: 23859
1865.29/1870.05 c #Conflicts: 743000 | #Constraints: 24859
1865.29/1870.05 c #Conflicts: 744000 | #Constraints: 25859
1865.29/1870.05 c #Conflicts: 745000 | #Constraints: 26859
1865.29/1870.05 c #Conflicts: 746000 | #Constraints: 27859
1865.29/1870.05 c #Conflicts: 747000 | #Constraints: 28859
1865.29/1870.05 c #Conflicts: 748000 | #Constraints: 29859
1865.29/1870.05 c #Conflicts: 749000 | #Constraints: 30859
1865.29/1870.05 c #Conflicts: 750000 | #Constraints: 31859
1865.29/1870.05 c #Conflicts: 751000 | #Constraints: 32859
1865.29/1870.05 c #Conflicts: 752000 | #Constraints: 33859
1865.29/1870.05 c #Conflicts: 753000 | #Constraints: 34859
1865.29/1870.05 c #Conflicts: 754000 | #Constraints: 35859
1865.29/1870.05 c #Conflicts: 755000 | #Constraints: 36859
1865.29/1870.05 c #Conflicts: 756000 | #Constraints: 37859
1865.29/1870.05 c INPROCESSING
1865.29/1870.05 c GARBAGE COLLECT
1865.29/1870.05 c #Conflicts: 757000 | #Constraints: 21652
1865.29/1870.05 c #Conflicts: 758000 | #Constraints: 22652
1865.29/1870.05 c #Conflicts: 759000 | #Constraints: 23652
1865.29/1870.05 c #Conflicts: 760000 | #Constraints: 24652
1865.29/1870.05 c #Conflicts: 761000 | #Constraints: 25652
1865.29/1870.05 c #Conflicts: 762000 | #Constraints: 26652
1865.29/1870.05 c #Conflicts: 763000 | #Constraints: 27652
1865.29/1870.05 c #Conflicts: 764000 | #Constraints: 28652
1865.29/1870.05 c #Conflicts: 765000 | #Constraints: 29652
1865.29/1870.05 c #Conflicts: 766000 | #Constraints: 30652
1865.29/1870.05 c #Conflicts: 767000 | #Constraints: 31652
1865.29/1870.05 c #Conflicts: 768000 | #Constraints: 32652
1865.29/1870.05 c #Conflicts: 769000 | #Constraints: 33652
1865.29/1870.05 c #Conflicts: 770000 | #Constraints: 34652
1865.29/1870.05 c #Conflicts: 771000 | #Constraints: 35652
1865.29/1870.05 c #Conflicts: 772000 | #Constraints: 36652
1865.29/1870.05 c #Conflicts: 773000 | #Constraints: 37652
1865.29/1870.05 c #Conflicts: 774000 | #Constraints: 38652
1865.29/1870.05 c INPROCESSING
1865.29/1870.05 c GARBAGE COLLECT
1865.29/1870.05 c #Conflicts: 775000 | #Constraints: 22252
1865.29/1870.05 c #Conflicts: 776000 | #Constraints: 23252
1865.29/1870.05 c #Conflicts: 777000 | #Constraints: 24252
1865.29/1870.05 c #Conflicts: 778000 | #Constraints: 25252
1865.29/1870.05 c #Conflicts: 779000 | #Constraints: 26252
1865.29/1870.05 c #Conflicts: 780000 | #Constraints: 27252
1865.29/1870.05 c #Conflicts: 781000 | #Constraints: 28252
1865.29/1870.05 c #Conflicts: 782000 | #Constraints: 29252
1865.29/1870.05 c #Conflicts: 783000 | #Constraints: 30252
1865.29/1870.05 c #Conflicts: 784000 | #Constraints: 31252
1865.29/1870.05 c #Conflicts: 785000 | #Constraints: 32252
1865.29/1870.05 c #Conflicts: 786000 | #Constraints: 33252
1865.29/1870.05 c #Conflicts: 787000 | #Constraints: 34252
1865.29/1870.05 c #Conflicts: 788000 | #Constraints: 35252
1865.29/1870.05 c #Conflicts: 789000 | #Constraints: 36252
1865.29/1870.05 c #Conflicts: 790000 | #Constraints: 37252
1865.29/1870.05 c #Conflicts: 791000 | #Constraints: 38252
1865.29/1870.05 c #Conflicts: 792000 | #Constraints: 39252
1865.29/1870.05 c INPROCESSING
1865.29/1870.05 c GARBAGE COLLECT
1865.29/1870.05 c #Conflicts: 793000 | #Constraints: 22651
1865.29/1870.05 c #Conflicts: 794000 | #Constraints: 23651
1865.29/1870.05 c #Conflicts: 795000 | #Constraints: 24651
1865.29/1870.05 c #Conflicts: 796000 | #Constraints: 25651
1865.29/1870.05 c #Conflicts: 797000 | #Constraints: 26651
1865.29/1870.05 c #Conflicts: 798000 | #Constraints: 27651
1865.29/1870.05 c #Conflicts: 799000 | #Constraints: 28651
1865.29/1870.05 c #Conflicts: 800000 | #Constraints: 29651
1865.29/1870.05 c #Conflicts: 801000 | #Constraints: 30651
1865.29/1870.05 c #Conflicts: 802000 | #Constraints: 31651
1865.29/1870.05 c #Conflicts: 803000 | #Constraints: 32651
1865.29/1870.05 c #Conflicts: 804000 | #Constraints: 33651
1865.29/1870.05 c #Conflicts: 805000 | #Constraints: 34651
1865.29/1870.05 c #Conflicts: 806000 | #Constraints: 35651
1865.29/1870.05 c #Conflicts: 807000 | #Constraints: 36651
1865.29/1870.05 c #Conflicts: 808000 | #Constraints: 37651
1865.29/1870.05 c #Conflicts: 809000 | #Constraints: 38651
1865.29/1870.05 c #Conflicts: 810000 | #Constraints: 39651
1865.29/1870.05 c INPROCESSING
1865.29/1870.05 c GARBAGE COLLECT
1865.29/1870.05 c #Conflicts: 811000 | #Constraints: 22851
1865.29/1870.05 c #Conflicts: 812000 | #Constraints: 23851
1865.29/1870.05 c #Conflicts: 813000 | #Constraints: 24851
1865.29/1870.05 c #Conflicts: 814000 | #Constraints: 25851
1865.29/1870.05 c #Conflicts: 815000 | #Constraints: 26851
1865.29/1870.05 c #Conflicts: 816000 | #Constraints: 27851
2025.02/2030.13 c #Conflicts: 817000 | #Constraints: 28851
2025.02/2030.13 c #Conflicts: 818000 | #Constraints: 29851
2025.02/2030.13 c #Conflicts: 819000 | #Constraints: 30851
2025.02/2030.13 c #Conflicts: 820000 | #Constraints: 31851
2025.02/2030.13 c #Conflicts: 821000 | #Constraints: 32851
2025.02/2030.13 c #Conflicts: 822000 | #Constraints: 33851
2025.02/2030.13 c #Conflicts: 823000 | #Constraints: 34851
2025.02/2030.13 c #Conflicts: 824000 | #Constraints: 35851
2025.02/2030.13 c #Conflicts: 825000 | #Constraints: 36851
2025.02/2030.13 c #Conflicts: 826000 | #Constraints: 37851
2025.02/2030.13 c #Conflicts: 827000 | #Constraints: 38851
2025.02/2030.13 c #Conflicts: 828000 | #Constraints: 39851
2025.02/2030.13 c INPROCESSING
2025.02/2030.13 c GARBAGE COLLECT
2025.02/2030.13 c #Conflicts: 829000 | #Constraints: 22853
2025.02/2030.13 c #Conflicts: 830000 | #Constraints: 23853
2025.02/2030.13 c #Conflicts: 831000 | #Constraints: 24853
2025.02/2030.13 c #Conflicts: 832000 | #Constraints: 25853
2025.02/2030.13 c #Conflicts: 833000 | #Constraints: 26853
2025.02/2030.13 c #Conflicts: 834000 | #Constraints: 27853
2025.02/2030.13 c #Conflicts: 835000 | #Constraints: 28853
2025.02/2030.13 c #Conflicts: 836000 | #Constraints: 29853
2025.02/2030.13 c #Conflicts: 837000 | #Constraints: 30853
2025.02/2030.13 c #Conflicts: 838000 | #Constraints: 31853
2025.02/2030.13 c #Conflicts: 839000 | #Constraints: 32853
2025.02/2030.13 c #Conflicts: 840000 | #Constraints: 33853
2025.02/2030.13 c #Conflicts: 841000 | #Constraints: 34853
2025.02/2030.13 c #Conflicts: 842000 | #Constraints: 35853
2025.02/2030.13 c #Conflicts: 843000 | #Constraints: 36853
2025.02/2030.13 c #Conflicts: 844000 | #Constraints: 37853
2025.02/2030.13 c #Conflicts: 845000 | #Constraints: 38853
2025.02/2030.13 c #Conflicts: 846000 | #Constraints: 39853
2025.02/2030.13 c INPROCESSING
2025.02/2030.13 c GARBAGE COLLECT
2025.02/2030.13 c #Conflicts: 847000 | #Constraints: 22662
2025.02/2030.13 c #Conflicts: 848000 | #Constraints: 23662
2025.02/2030.13 c #Conflicts: 849000 | #Constraints: 24662
2025.02/2030.13 c #Conflicts: 850000 | #Constraints: 25662
2025.02/2030.13 c #Conflicts: 851000 | #Constraints: 26662
2025.02/2030.13 c #Conflicts: 852000 | #Constraints: 27662
2025.02/2030.13 c #Conflicts: 853000 | #Constraints: 28662
2025.02/2030.13 c #Conflicts: 854000 | #Constraints: 29662
2025.02/2030.13 c #Conflicts: 855000 | #Constraints: 30662
2025.02/2030.13 c #Conflicts: 856000 | #Constraints: 31662
2025.02/2030.13 c #Conflicts: 857000 | #Constraints: 32662
2025.02/2030.13 c #Conflicts: 858000 | #Constraints: 33662
2025.02/2030.13 c #Conflicts: 859000 | #Constraints: 34662
2025.02/2030.13 c #Conflicts: 860000 | #Constraints: 35662
2025.02/2030.13 c #Conflicts: 861000 | #Constraints: 36662
2025.02/2030.13 c #Conflicts: 862000 | #Constraints: 37662
2025.02/2030.13 c #Conflicts: 863000 | #Constraints: 38662
2025.02/2030.13 c #Conflicts: 864000 | #Constraints: 39662
2025.02/2030.13 c #Conflicts: 865000 | #Constraints: 40662
2025.02/2030.13 c INPROCESSING
2025.02/2030.13 c GARBAGE COLLECT
2025.02/2030.13 c #Conflicts: 866000 | #Constraints: 23263
2025.02/2030.13 c #Conflicts: 867000 | #Constraints: 24263
2025.02/2030.13 c #Conflicts: 868000 | #Constraints: 25263
2025.02/2030.13 c #Conflicts: 869000 | #Constraints: 26263
2025.02/2030.13 c #Conflicts: 870000 | #Constraints: 27263
2025.02/2030.13 c #Conflicts: 871000 | #Constraints: 28263
2025.02/2030.13 c #Conflicts: 872000 | #Constraints: 29263
2025.02/2030.13 c #Conflicts: 873000 | #Constraints: 30263
2025.02/2030.13 c #Conflicts: 874000 | #Constraints: 31263
2025.02/2030.13 c #Conflicts: 875000 | #Constraints: 32263
2025.02/2030.13 c #Conflicts: 876000 | #Constraints: 33263
2025.02/2030.13 c #Conflicts: 877000 | #Constraints: 34263
2025.02/2030.13 c #Conflicts: 878000 | #Constraints: 35263
2025.02/2030.13 c #Conflicts: 879000 | #Constraints: 36263
2025.02/2030.13 c #Conflicts: 880000 | #Constraints: 37263
2025.02/2030.13 c #Conflicts: 881000 | #Constraints: 38263
2025.02/2030.13 c #Conflicts: 882000 | #Constraints: 39263
2025.02/2030.13 c #Conflicts: 883000 | #Constraints: 40263
2025.02/2030.13 c #Conflicts: 884000 | #Constraints: 41263
2025.02/2030.13 c INPROCESSING
2025.02/2030.13 c GARBAGE COLLECT
2025.02/2030.13 c #Conflicts: 885000 | #Constraints: 23652
2025.02/2030.13 c #Conflicts: 886000 | #Constraints: 24652
2025.02/2030.13 c #Conflicts: 887000 | #Constraints: 25652
2025.02/2030.13 c #Conflicts: 888000 | #Constraints: 26652
2025.02/2030.13 c #Conflicts: 889000 | #Constraints: 27652
2025.02/2030.13 c #Conflicts: 890000 | #Constraints: 28652
2025.02/2030.13 c #Conflicts: 891000 | #Constraints: 29652
2025.02/2030.13 c #Conflicts: 892000 | #Constraints: 30652
2299.39/2305.13 c #Conflicts: 893000 | #Constraints: 31652
2299.39/2305.13 c #Conflicts: 894000 | #Constraints: 32652
2299.39/2305.13 c #Conflicts: 895000 | #Constraints: 33652
2299.39/2305.13 c #Conflicts: 896000 | #Constraints: 34652
2299.39/2305.13 c #Conflicts: 897000 | #Constraints: 35652
2299.39/2305.13 c #Conflicts: 898000 | #Constraints: 36652
2299.39/2305.13 c #Conflicts: 899000 | #Constraints: 37652
2299.39/2305.13 c #Conflicts: 900000 | #Constraints: 38652
2299.39/2305.13 c #Conflicts: 901000 | #Constraints: 39652
2299.39/2305.13 c #Conflicts: 902000 | #Constraints: 40652
2299.39/2305.13 c #Conflicts: 903000 | #Constraints: 41652
2299.39/2305.13 c INPROCESSING
2299.39/2305.13 c GARBAGE COLLECT
2299.39/2305.13 c #Conflicts: 904000 | #Constraints: 23856
2299.39/2305.13 c #Conflicts: 905000 | #Constraints: 24856
2299.39/2305.13 c #Conflicts: 906000 | #Constraints: 25856
2299.39/2305.13 c #Conflicts: 907000 | #Constraints: 26856
2299.39/2305.13 c #Conflicts: 908000 | #Constraints: 27856
2299.39/2305.13 c #Conflicts: 909000 | #Constraints: 28856
2299.39/2305.13 c #Conflicts: 910000 | #Constraints: 29856
2299.39/2305.13 c #Conflicts: 911000 | #Constraints: 30856
2299.39/2305.13 c #Conflicts: 912000 | #Constraints: 31856
2299.39/2305.13 c #Conflicts: 913000 | #Constraints: 32856
2299.39/2305.13 c #Conflicts: 914000 | #Constraints: 33856
2299.39/2305.13 c #Conflicts: 915000 | #Constraints: 34856
2299.39/2305.13 c #Conflicts: 916000 | #Constraints: 35856
2299.39/2305.13 c #Conflicts: 917000 | #Constraints: 36856
2299.39/2305.13 c #Conflicts: 918000 | #Constraints: 37856
2299.39/2305.13 c #Conflicts: 919000 | #Constraints: 38856
2299.39/2305.13 c #Conflicts: 920000 | #Constraints: 39856
2299.39/2305.13 c #Conflicts: 921000 | #Constraints: 40856
2299.39/2305.13 c #Conflicts: 922000 | #Constraints: 41856
2299.39/2305.13 c INPROCESSING
2299.39/2305.13 c GARBAGE COLLECT
2299.39/2305.13 c #Conflicts: 923000 | #Constraints: 23858
2299.39/2305.13 c #Conflicts: 924000 | #Constraints: 24858
2299.39/2305.13 c #Conflicts: 925000 | #Constraints: 25858
2299.39/2305.13 c #Conflicts: 926000 | #Constraints: 26858
2299.39/2305.13 c #Conflicts: 927000 | #Constraints: 27858
2299.39/2305.13 c #Conflicts: 928000 | #Constraints: 28858
2299.39/2305.13 c #Conflicts: 929000 | #Constraints: 29858
2299.39/2305.13 c #Conflicts: 930000 | #Constraints: 30858
2299.39/2305.13 c #Conflicts: 931000 | #Constraints: 31858
2299.39/2305.13 c #Conflicts: 932000 | #Constraints: 32858
2299.39/2305.13 c #Conflicts: 933000 | #Constraints: 33858
2299.39/2305.13 c #Conflicts: 934000 | #Constraints: 34858
2299.39/2305.13 c #Conflicts: 935000 | #Constraints: 35858
2299.39/2305.13 c #Conflicts: 936000 | #Constraints: 36858
2299.39/2305.13 c #Conflicts: 937000 | #Constraints: 37858
2299.39/2305.13 c #Conflicts: 938000 | #Constraints: 38858
2299.39/2305.13 c #Conflicts: 939000 | #Constraints: 39858
2299.39/2305.13 c #Conflicts: 940000 | #Constraints: 40858
2299.39/2305.13 c #Conflicts: 941000 | #Constraints: 41858
2299.39/2305.13 c INPROCESSING
2299.39/2305.13 c GARBAGE COLLECT
2299.39/2305.13 c #Conflicts: 942000 | #Constraints: 23663
2299.39/2305.13 c #Conflicts: 943000 | #Constraints: 24663
2299.39/2305.13 c #Conflicts: 944000 | #Constraints: 25663
2299.39/2305.13 c #Conflicts: 945000 | #Constraints: 26663
2299.39/2305.13 c #Conflicts: 946000 | #Constraints: 27663
2299.39/2305.13 c #Conflicts: 947000 | #Constraints: 28663
2299.39/2305.13 c #Conflicts: 948000 | #Constraints: 29663
2299.39/2305.13 c #Conflicts: 949000 | #Constraints: 30663
2299.39/2305.13 c #Conflicts: 950000 | #Constraints: 31663
2299.39/2305.13 c #Conflicts: 951000 | #Constraints: 32663
2299.39/2305.13 c #Conflicts: 952000 | #Constraints: 33663
2299.39/2305.13 c #Conflicts: 953000 | #Constraints: 34663
2299.39/2305.13 c #Conflicts: 954000 | #Constraints: 35663
2299.39/2305.13 c #Conflicts: 955000 | #Constraints: 36663
2299.39/2305.13 c #Conflicts: 956000 | #Constraints: 37663
2299.39/2305.13 c #Conflicts: 957000 | #Constraints: 38663
2299.39/2305.13 c #Conflicts: 958000 | #Constraints: 39663
2299.39/2305.13 c #Conflicts: 959000 | #Constraints: 40663
2299.39/2305.13 c #Conflicts: 960000 | #Constraints: 41663
2299.39/2305.13 c #Conflicts: 961000 | #Constraints: 42663
2299.39/2305.13 c INPROCESSING
2299.39/2305.13 c GARBAGE COLLECT
2299.39/2305.13 c #Conflicts: 962000 | #Constraints: 24275
2299.39/2305.13 c #Conflicts: 963000 | #Constraints: 25275
2299.39/2305.13 c #Conflicts: 964000 | #Constraints: 26275
2299.39/2305.13 c #Conflicts: 965000 | #Constraints: 27275
2299.39/2305.13 c #Conflicts: 966000 | #Constraints: 28275
2299.39/2305.13 c #Conflicts: 967000 | #Constraints: 29275
2299.39/2305.13 c #Conflicts: 968000 | #Constraints: 30275
2528.87/2535.16 c #Conflicts: 969000 | #Constraints: 31275
2528.87/2535.16 c #Conflicts: 970000 | #Constraints: 32275
2528.87/2535.16 c #Conflicts: 971000 | #Constraints: 33275
2528.87/2535.16 c #Conflicts: 972000 | #Constraints: 34275
2528.87/2535.16 c #Conflicts: 973000 | #Constraints: 35275
2528.87/2535.16 c #Conflicts: 974000 | #Constraints: 36275
2528.87/2535.16 c #Conflicts: 975000 | #Constraints: 37275
2528.87/2535.16 c #Conflicts: 976000 | #Constraints: 38275
2528.87/2535.16 c #Conflicts: 977000 | #Constraints: 39275
2528.87/2535.16 c #Conflicts: 978000 | #Constraints: 40275
2528.87/2535.16 c #Conflicts: 979000 | #Constraints: 41275
2528.87/2535.16 c #Conflicts: 980000 | #Constraints: 42275
2528.87/2535.16 c #Conflicts: 981000 | #Constraints: 43275
2528.87/2535.16 c INPROCESSING
2528.87/2535.16 c GARBAGE COLLECT
2528.87/2535.16 c #Conflicts: 982000 | #Constraints: 24676
2528.87/2535.16 c #Conflicts: 983000 | #Constraints: 25676
2528.87/2535.16 c #Conflicts: 984000 | #Constraints: 26676
2528.87/2535.16 c #Conflicts: 985000 | #Constraints: 27676
2528.87/2535.16 c #Conflicts: 986000 | #Constraints: 28676
2528.87/2535.16 c #Conflicts: 987000 | #Constraints: 29676
2528.87/2535.16 c #Conflicts: 988000 | #Constraints: 30676
2528.87/2535.16 c #Conflicts: 989000 | #Constraints: 31676
2528.87/2535.16 c #Conflicts: 990000 | #Constraints: 32676
2528.87/2535.16 c #Conflicts: 991000 | #Constraints: 33676
2528.87/2535.16 c #Conflicts: 992000 | #Constraints: 34676
2528.87/2535.16 c #Conflicts: 993000 | #Constraints: 35676
2528.87/2535.16 c #Conflicts: 994000 | #Constraints: 36676
2528.87/2535.16 c #Conflicts: 995000 | #Constraints: 37676
2528.87/2535.16 c #Conflicts: 996000 | #Constraints: 38676
2528.87/2535.16 c #Conflicts: 997000 | #Constraints: 39676
2528.87/2535.16 c #Conflicts: 998000 | #Constraints: 40676
2528.87/2535.16 c #Conflicts: 999000 | #Constraints: 41676
2528.87/2535.16 c #Conflicts: 1000000 | #Constraints: 42676
2528.87/2535.16 c #Conflicts: 1001000 | #Constraints: 43676
2528.87/2535.16 c INPROCESSING
2528.87/2535.16 c GARBAGE COLLECT
2528.87/2535.16 c #Conflicts: 1002000 | #Constraints: 24874
2528.87/2535.16 c #Conflicts: 1003000 | #Constraints: 25874
2528.87/2535.16 c #Conflicts: 1004000 | #Constraints: 26874
2528.87/2535.16 c #Conflicts: 1005000 | #Constraints: 27874
2528.87/2535.16 c #Conflicts: 1006000 | #Constraints: 28874
2528.87/2535.16 c #Conflicts: 1007000 | #Constraints: 29874
2528.87/2535.16 c #Conflicts: 1008000 | #Constraints: 30874
2528.87/2535.16 c #Conflicts: 1009000 | #Constraints: 31874
2528.87/2535.16 c #Conflicts: 1010000 | #Constraints: 32874
2528.87/2535.16 c #Conflicts: 1011000 | #Constraints: 33874
2528.87/2535.16 c #Conflicts: 1012000 | #Constraints: 34874
2528.87/2535.16 c #Conflicts: 1013000 | #Constraints: 35874
2528.87/2535.16 c #Conflicts: 1014000 | #Constraints: 36874
2528.87/2535.16 c #Conflicts: 1015000 | #Constraints: 37874
2528.87/2535.16 c #Conflicts: 1016000 | #Constraints: 38874
2528.87/2535.16 c #Conflicts: 1017000 | #Constraints: 39874
2528.87/2535.16 c #Conflicts: 1018000 | #Constraints: 40874
2528.87/2535.16 c #Conflicts: 1019000 | #Constraints: 41874
2528.87/2535.16 c #Conflicts: 1020000 | #Constraints: 42874
2528.87/2535.16 c #Conflicts: 1021000 | #Constraints: 43874
2528.87/2535.16 c INPROCESSING
2528.87/2535.16 c GARBAGE COLLECT
2528.87/2535.16 c #Conflicts: 1022000 | #Constraints: 24879
2528.87/2535.16 c #Conflicts: 1023000 | #Constraints: 25879
2528.87/2535.16 c #Conflicts: 1024000 | #Constraints: 26879
2528.87/2535.16 c #Conflicts: 1025000 | #Constraints: 27879
2528.87/2535.16 c #Conflicts: 1026000 | #Constraints: 28879
2528.87/2535.16 c #Conflicts: 1027000 | #Constraints: 29879
2528.87/2535.16 c #Conflicts: 1028000 | #Constraints: 30879
2528.87/2535.16 c #Conflicts: 1029000 | #Constraints: 31879
2528.87/2535.16 c #Conflicts: 1030000 | #Constraints: 32879
2528.87/2535.16 c #Conflicts: 1031000 | #Constraints: 33879
2528.87/2535.16 c #Conflicts: 1032000 | #Constraints: 34879
2528.87/2535.16 c #Conflicts: 1033000 | #Constraints: 35879
2528.87/2535.16 c #Conflicts: 1034000 | #Constraints: 36879
2528.87/2535.16 c #Conflicts: 1035000 | #Constraints: 37879
2528.87/2535.16 c #Conflicts: 1036000 | #Constraints: 38879
2528.87/2535.16 c #Conflicts: 1037000 | #Constraints: 39879
2528.87/2535.16 c #Conflicts: 1038000 | #Constraints: 40879
2528.87/2535.16 c #Conflicts: 1039000 | #Constraints: 41879
2528.87/2535.16 c #Conflicts: 1040000 | #Constraints: 42879
2528.87/2535.16 c #Conflicts: 1041000 | #Constraints: 43879
2528.87/2535.16 c INPROCESSING
2528.87/2535.16 c GARBAGE COLLECT
2528.87/2535.16 c #Conflicts: 1042000 | #Constraints: 24675
2528.87/2535.16 c #Conflicts: 1043000 | #Constraints: 25675
2528.87/2535.16 c #Conflicts: 1044000 | #Constraints: 26675
2528.87/2535.16 c #Conflicts: 1045000 | #Constraints: 27675
2782.67/2789.54 c #Conflicts: 1046000 | #Constraints: 28675
2782.67/2789.54 c #Conflicts: 1047000 | #Constraints: 29675
2782.67/2789.54 c #Conflicts: 1048000 | #Constraints: 30675
2782.67/2789.54 c #Conflicts: 1049000 | #Constraints: 31675
2782.67/2789.54 c #Conflicts: 1050000 | #Constraints: 32675
2782.67/2789.54 c #Conflicts: 1051000 | #Constraints: 33675
2782.67/2789.54 c #Conflicts: 1052000 | #Constraints: 34675
2782.67/2789.54 c #Conflicts: 1053000 | #Constraints: 35675
2782.67/2789.54 c #Conflicts: 1054000 | #Constraints: 36675
2782.67/2789.54 c #Conflicts: 1055000 | #Constraints: 37675
2782.67/2789.54 c #Conflicts: 1056000 | #Constraints: 38675
2782.67/2789.54 c #Conflicts: 1057000 | #Constraints: 39675
2782.67/2789.54 c #Conflicts: 1058000 | #Constraints: 40675
2782.67/2789.54 c #Conflicts: 1059000 | #Constraints: 41675
2782.67/2789.54 c #Conflicts: 1060000 | #Constraints: 42675
2782.67/2789.54 c #Conflicts: 1061000 | #Constraints: 43675
2782.67/2789.54 c #Conflicts: 1062000 | #Constraints: 44675
2782.67/2789.54 c INPROCESSING
2782.67/2789.54 c GARBAGE COLLECT
2782.67/2789.54 c #Conflicts: 1063000 | #Constraints: 25272
2782.67/2789.54 c #Conflicts: 1064000 | #Constraints: 26272
2782.67/2789.54 c #Conflicts: 1065000 | #Constraints: 27272
2782.67/2789.54 c #Conflicts: 1066000 | #Constraints: 28272
2782.67/2789.54 c #Conflicts: 1067000 | #Constraints: 29272
2782.67/2789.54 c #Conflicts: 1068000 | #Constraints: 30272
2782.67/2789.54 c #Conflicts: 1069000 | #Constraints: 31272
2782.67/2789.54 c #Conflicts: 1070000 | #Constraints: 32272
2782.67/2789.54 c #Conflicts: 1071000 | #Constraints: 33272
2782.67/2789.54 c #Conflicts: 1072000 | #Constraints: 34272
2782.67/2789.54 c #Conflicts: 1073000 | #Constraints: 35272
2782.67/2789.54 c #Conflicts: 1074000 | #Constraints: 36272
2782.67/2789.54 c #Conflicts: 1075000 | #Constraints: 37272
2782.67/2789.54 c #Conflicts: 1076000 | #Constraints: 38272
2782.67/2789.54 c #Conflicts: 1077000 | #Constraints: 39272
2782.67/2789.54 c #Conflicts: 1078000 | #Constraints: 40272
2782.67/2789.54 c #Conflicts: 1079000 | #Constraints: 41272
2782.67/2789.54 c #Conflicts: 1080000 | #Constraints: 42272
2782.67/2789.54 c #Conflicts: 1081000 | #Constraints: 43272
2782.67/2789.54 c #Conflicts: 1082000 | #Constraints: 44272
2782.67/2789.54 c #Conflicts: 1083000 | #Constraints: 45272
2782.67/2789.54 c INPROCESSING
2782.67/2789.54 c GARBAGE COLLECT
2782.67/2789.54 c #Conflicts: 1084000 | #Constraints: 25671
2782.67/2789.54 c #Conflicts: 1085000 | #Constraints: 26671
2782.67/2789.54 c #Conflicts: 1086000 | #Constraints: 27671
2782.67/2789.54 c #Conflicts: 1087000 | #Constraints: 28671
2782.67/2789.54 c #Conflicts: 1088000 | #Constraints: 29671
2782.67/2789.54 c #Conflicts: 1089000 | #Constraints: 30671
2782.67/2789.54 c #Conflicts: 1090000 | #Constraints: 31671
2782.67/2789.54 c #Conflicts: 1091000 | #Constraints: 32671
2782.67/2789.54 c #Conflicts: 1092000 | #Constraints: 33671
2782.67/2789.54 c #Conflicts: 1093000 | #Constraints: 34671
2782.67/2789.54 c #Conflicts: 1094000 | #Constraints: 35671
2782.67/2789.54 c #Conflicts: 1095000 | #Constraints: 36671
2782.67/2789.54 c #Conflicts: 1096000 | #Constraints: 37671
2782.67/2789.54 c #Conflicts: 1097000 | #Constraints: 38671
2782.67/2789.54 c #Conflicts: 1098000 | #Constraints: 39671
2782.67/2789.54 c #Conflicts: 1099000 | #Constraints: 40671
2782.67/2789.54 c #Conflicts: 1100000 | #Constraints: 41671
2782.67/2789.54 c #Conflicts: 1101000 | #Constraints: 42671
2782.67/2789.54 c #Conflicts: 1102000 | #Constraints: 43671
2782.67/2789.54 c #Conflicts: 1103000 | #Constraints: 44671
2782.67/2789.54 c #Conflicts: 1104000 | #Constraints: 45671
2782.67/2789.54 c INPROCESSING
2782.67/2789.54 c GARBAGE COLLECT
2782.67/2789.54 c #Conflicts: 1105000 | #Constraints: 25871
2782.67/2789.54 c #Conflicts: 1106000 | #Constraints: 26871
2782.67/2789.54 c #Conflicts: 1107000 | #Constraints: 27871
2782.67/2789.54 c #Conflicts: 1108000 | #Constraints: 28871
2782.67/2789.54 c #Conflicts: 1109000 | #Constraints: 29871
2782.67/2789.54 c #Conflicts: 1110000 | #Constraints: 30871
2782.67/2789.54 c #Conflicts: 1111000 | #Constraints: 31871
2782.67/2789.54 c #Conflicts: 1112000 | #Constraints: 32871
2782.67/2789.54 c #Conflicts: 1113000 | #Constraints: 33871
2782.67/2789.54 c #Conflicts: 1114000 | #Constraints: 34871
2782.67/2789.54 c #Conflicts: 1115000 | #Constraints: 35871
2782.67/2789.54 c #Conflicts: 1116000 | #Constraints: 36871
2782.67/2789.54 c #Conflicts: 1117000 | #Constraints: 37871
2782.67/2789.54 c #Conflicts: 1118000 | #Constraints: 38871
2782.67/2789.54 c #Conflicts: 1119000 | #Constraints: 39871
2782.67/2789.54 c #Conflicts: 1120000 | #Constraints: 40871
2782.67/2789.54 c #Conflicts: 1121000 | #Constraints: 41871
2782.67/2789.54 c #Conflicts: 1122000 | #Constraints: 42871
3089.36/3097.01 c #Conflicts: 1123000 | #Constraints: 43871
3089.36/3097.01 c #Conflicts: 1124000 | #Constraints: 44871
3089.36/3097.01 c #Conflicts: 1125000 | #Constraints: 45871
3089.36/3097.01 c INPROCESSING
3089.36/3097.01 c GARBAGE COLLECT
3089.36/3097.01 c #Conflicts: 1126000 | #Constraints: 25881
3089.36/3097.01 c #Conflicts: 1127000 | #Constraints: 26881
3089.36/3097.01 c #Conflicts: 1128000 | #Constraints: 27881
3089.36/3097.01 c #Conflicts: 1129000 | #Constraints: 28881
3089.36/3097.01 c #Conflicts: 1130000 | #Constraints: 29881
3089.36/3097.01 c #Conflicts: 1131000 | #Constraints: 30881
3089.36/3097.01 c #Conflicts: 1132000 | #Constraints: 31881
3089.36/3097.01 c #Conflicts: 1133000 | #Constraints: 32881
3089.36/3097.01 c #Conflicts: 1134000 | #Constraints: 33881
3089.36/3097.01 c #Conflicts: 1135000 | #Constraints: 34881
3089.36/3097.01 c #Conflicts: 1136000 | #Constraints: 35881
3089.36/3097.01 c #Conflicts: 1137000 | #Constraints: 36881
3089.36/3097.01 c #Conflicts: 1138000 | #Constraints: 37881
3089.36/3097.01 c #Conflicts: 1139000 | #Constraints: 38881
3089.36/3097.01 c #Conflicts: 1140000 | #Constraints: 39881
3089.36/3097.01 c #Conflicts: 1141000 | #Constraints: 40881
3089.36/3097.01 c #Conflicts: 1142000 | #Constraints: 41881
3089.36/3097.01 c #Conflicts: 1143000 | #Constraints: 42881
3089.36/3097.01 c #Conflicts: 1144000 | #Constraints: 43881
3089.36/3097.01 c #Conflicts: 1145000 | #Constraints: 44881
3089.36/3097.01 c #Conflicts: 1146000 | #Constraints: 45881
3089.36/3097.01 c INPROCESSING
3089.36/3097.01 c GARBAGE COLLECT
3089.36/3097.01 c #Conflicts: 1147000 | #Constraints: 25670
3089.36/3097.01 c #Conflicts: 1148000 | #Constraints: 26670
3089.36/3097.01 c #Conflicts: 1149000 | #Constraints: 27670
3089.36/3097.01 c #Conflicts: 1150000 | #Constraints: 28670
3089.36/3097.01 c #Conflicts: 1151000 | #Constraints: 29670
3089.36/3097.01 c #Conflicts: 1152000 | #Constraints: 30670
3089.36/3097.01 c #Conflicts: 1153000 | #Constraints: 31670
3089.36/3097.01 c #Conflicts: 1154000 | #Constraints: 32670
3089.36/3097.01 c #Conflicts: 1155000 | #Constraints: 33670
3089.36/3097.01 c #Conflicts: 1156000 | #Constraints: 34670
3089.36/3097.01 c #Conflicts: 1157000 | #Constraints: 35670
3089.36/3097.01 c #Conflicts: 1158000 | #Constraints: 36670
3089.36/3097.01 c #Conflicts: 1159000 | #Constraints: 37670
3089.36/3097.01 c #Conflicts: 1160000 | #Constraints: 38670
3089.36/3097.01 c #Conflicts: 1161000 | #Constraints: 39670
3089.36/3097.01 c #Conflicts: 1162000 | #Constraints: 40670
3089.36/3097.01 c #Conflicts: 1163000 | #Constraints: 41670
3089.36/3097.01 c #Conflicts: 1164000 | #Constraints: 42670
3089.36/3097.01 c #Conflicts: 1165000 | #Constraints: 43670
3089.36/3097.01 c #Conflicts: 1166000 | #Constraints: 44670
3089.36/3097.01 c #Conflicts: 1167000 | #Constraints: 45670
3089.36/3097.01 c #Conflicts: 1168000 | #Constraints: 46670
3089.36/3097.01 c INPROCESSING
3089.36/3097.01 c GARBAGE COLLECT
3089.36/3097.01 c #Conflicts: 1169000 | #Constraints: 26266
3089.36/3097.01 c #Conflicts: 1170000 | #Constraints: 27266
3089.36/3097.01 c #Conflicts: 1171000 | #Constraints: 28266
3089.36/3097.01 c #Conflicts: 1172000 | #Constraints: 29266
3089.36/3097.01 c #Conflicts: 1173000 | #Constraints: 30266
3089.36/3097.01 c #Conflicts: 1174000 | #Constraints: 31266
3089.36/3097.01 c #Conflicts: 1175000 | #Constraints: 32266
3089.36/3097.01 c #Conflicts: 1176000 | #Constraints: 33266
3089.36/3097.01 c #Conflicts: 1177000 | #Constraints: 34266
3089.36/3097.01 c #Conflicts: 1178000 | #Constraints: 35266
3089.36/3097.01 c #Conflicts: 1179000 | #Constraints: 36266
3089.36/3097.01 c #Conflicts: 1180000 | #Constraints: 37266
3089.36/3097.01 c #Conflicts: 1181000 | #Constraints: 38266
3089.36/3097.01 c #Conflicts: 1182000 | #Constraints: 39266
3089.36/3097.01 c #Conflicts: 1183000 | #Constraints: 40266
3089.36/3097.01 c #Conflicts: 1184000 | #Constraints: 41266
3089.36/3097.01 c #Conflicts: 1185000 | #Constraints: 42266
3089.36/3097.01 c #Conflicts: 1186000 | #Constraints: 43266
3089.36/3097.01 c #Conflicts: 1187000 | #Constraints: 44266
3089.36/3097.01 c #Conflicts: 1188000 | #Constraints: 45266
3089.36/3097.01 c #Conflicts: 1189000 | #Constraints: 46266
3089.36/3097.01 c #Conflicts: 1190000 | #Constraints: 47266
3089.36/3097.01 c INPROCESSING
3089.36/3097.01 c GARBAGE COLLECT
3089.36/3097.01 c #Conflicts: 1191000 | #Constraints: 26656
3089.36/3097.01 c #Conflicts: 1192000 | #Constraints: 27656
3089.36/3097.01 c #Conflicts: 1193000 | #Constraints: 28656
3089.36/3097.01 c #Conflicts: 1194000 | #Constraints: 29656
3089.36/3097.01 c #Conflicts: 1195000 | #Constraints: 30656
3089.36/3097.01 c #Conflicts: 1196000 | #Constraints: 31656
3089.36/3097.01 c #Conflicts: 1197000 | #Constraints: 32656
3089.36/3097.01 c #Conflicts: 1198000 | #Constraints: 33656
3422.51/3430.84 c #Conflicts: 1199000 | #Constraints: 34656
3422.51/3430.84 c #Conflicts: 1200000 | #Constraints: 35656
3422.51/3430.84 c #Conflicts: 1201000 | #Constraints: 36656
3422.51/3430.84 c #Conflicts: 1202000 | #Constraints: 37656
3422.51/3430.84 c #Conflicts: 1203000 | #Constraints: 38656
3422.51/3430.84 c #Conflicts: 1204000 | #Constraints: 39656
3422.51/3430.84 c #Conflicts: 1205000 | #Constraints: 40656
3422.51/3430.84 c #Conflicts: 1206000 | #Constraints: 41656
3422.51/3430.84 c #Conflicts: 1207000 | #Constraints: 42656
3422.51/3430.84 c #Conflicts: 1208000 | #Constraints: 43656
3422.51/3430.84 c #Conflicts: 1209000 | #Constraints: 44656
3422.51/3430.84 c #Conflicts: 1210000 | #Constraints: 45656
3422.51/3430.84 c #Conflicts: 1211000 | #Constraints: 46656
3422.51/3430.84 c #Conflicts: 1212000 | #Constraints: 47656
3422.51/3430.84 c INPROCESSING
3422.51/3430.84 c GARBAGE COLLECT
3422.51/3430.84 c #Conflicts: 1213000 | #Constraints: 26851
3422.51/3430.84 c #Conflicts: 1214000 | #Constraints: 27851
3422.51/3430.84 c #Conflicts: 1215000 | #Constraints: 28851
3422.51/3430.84 c #Conflicts: 1216000 | #Constraints: 29851
3422.51/3430.84 c #Conflicts: 1217000 | #Constraints: 30851
3422.51/3430.84 c #Conflicts: 1218000 | #Constraints: 31851
3422.51/3430.84 c #Conflicts: 1219000 | #Constraints: 32851
3422.51/3430.84 c #Conflicts: 1220000 | #Constraints: 33851
3422.51/3430.84 c #Conflicts: 1221000 | #Constraints: 34851
3422.51/3430.84 c #Conflicts: 1222000 | #Constraints: 35851
3422.51/3430.84 c #Conflicts: 1223000 | #Constraints: 36851
3422.51/3430.84 c #Conflicts: 1224000 | #Constraints: 37851
3422.51/3430.84 c #Conflicts: 1225000 | #Constraints: 38851
3422.51/3430.84 c #Conflicts: 1226000 | #Constraints: 39851
3422.51/3430.84 c #Conflicts: 1227000 | #Constraints: 40851
3422.51/3430.84 c #Conflicts: 1228000 | #Constraints: 41851
3422.51/3430.84 c #Conflicts: 1229000 | #Constraints: 42851
3422.51/3430.84 c #Conflicts: 1230000 | #Constraints: 43851
3422.51/3430.84 c #Conflicts: 1231000 | #Constraints: 44851
3422.51/3430.84 c #Conflicts: 1232000 | #Constraints: 45851
3422.51/3430.84 c #Conflicts: 1233000 | #Constraints: 46851
3422.51/3430.84 c #Conflicts: 1234000 | #Constraints: 47851
3422.51/3430.84 c INPROCESSING
3422.51/3430.84 c GARBAGE COLLECT
3422.51/3430.84 c #Conflicts: 1235000 | #Constraints: 26860
3422.51/3430.84 c #Conflicts: 1236000 | #Constraints: 27860
3422.51/3430.84 c #Conflicts: 1237000 | #Constraints: 28860
3422.51/3430.84 c #Conflicts: 1238000 | #Constraints: 29860
3422.51/3430.84 c #Conflicts: 1239000 | #Constraints: 30860
3422.51/3430.84 c #Conflicts: 1240000 | #Constraints: 31860
3422.51/3430.84 c #Conflicts: 1241000 | #Constraints: 32860
3422.51/3430.84 c #Conflicts: 1242000 | #Constraints: 33860
3422.51/3430.84 c #Conflicts: 1243000 | #Constraints: 34860
3422.51/3430.84 c #Conflicts: 1244000 | #Constraints: 35860
3422.51/3430.84 c #Conflicts: 1245000 | #Constraints: 36860
3422.51/3430.84 c #Conflicts: 1246000 | #Constraints: 37860
3422.51/3430.84 c #Conflicts: 1247000 | #Constraints: 38860
3422.51/3430.84 c #Conflicts: 1248000 | #Constraints: 39860
3422.51/3430.84 c #Conflicts: 1249000 | #Constraints: 40860
3422.51/3430.84 c #Conflicts: 1250000 | #Constraints: 41860
3422.51/3430.84 c #Conflicts: 1251000 | #Constraints: 42860
3422.51/3430.84 c #Conflicts: 1252000 | #Constraints: 43860
3422.51/3430.84 c #Conflicts: 1253000 | #Constraints: 44860
3422.51/3430.84 c #Conflicts: 1254000 | #Constraints: 45860
3422.51/3430.84 c #Conflicts: 1255000 | #Constraints: 46860
3422.51/3430.84 c #Conflicts: 1256000 | #Constraints: 47860
3422.51/3430.84 c INPROCESSING
3422.51/3430.84 c GARBAGE COLLECT
3422.51/3430.84 c #Conflicts: 1257000 | #Constraints: 26657
3422.51/3430.84 c #Conflicts: 1258000 | #Constraints: 27657
3422.51/3430.84 c #Conflicts: 1259000 | #Constraints: 28657
3422.51/3430.84 c #Conflicts: 1260000 | #Constraints: 29657
3422.51/3430.84 c #Conflicts: 1261000 | #Constraints: 30657
3422.51/3430.84 c #Conflicts: 1262000 | #Constraints: 31657
3422.51/3430.84 c #Conflicts: 1263000 | #Constraints: 32657
3422.51/3430.84 c #Conflicts: 1264000 | #Constraints: 33657
3422.51/3430.84 c #Conflicts: 1265000 | #Constraints: 34657
3422.51/3430.84 c #Conflicts: 1266000 | #Constraints: 35657
3422.51/3430.84 c #Conflicts: 1267000 | #Constraints: 36657
3422.51/3430.84 c #Conflicts: 1268000 | #Constraints: 37657
3422.51/3430.84 c #Conflicts: 1269000 | #Constraints: 38657
3422.51/3430.84 c #Conflicts: 1270000 | #Constraints: 39657
3422.51/3430.84 c #Conflicts: 1271000 | #Constraints: 40657
3422.51/3430.84 c #Conflicts: 1272000 | #Constraints: 41657
3422.51/3430.84 c #Conflicts: 1273000 | #Constraints: 42657
3422.51/3430.84 c #Conflicts: 1274000 | #Constraints: 43657
3422.51/3430.84 c #Conflicts: 1275000 | #Constraints: 44657
3600.01/3608.70 c #Conflicts: 1276000 | #Constraints: 45657
3600.01/3608.70 c #Conflicts: 1277000 | #Constraints: 46657
3600.01/3608.70 c #Conflicts: 1278000 | #Constraints: 47657
3600.01/3608.70 c #Conflicts: 1279000 | #Constraints: 48657
3600.01/3608.70 c INPROCESSING
3600.01/3608.70 c GARBAGE COLLECT
3600.01/3608.70 c #Conflicts: 1280000 | #Constraints: 27256
3600.01/3608.70 c #Conflicts: 1281000 | #Constraints: 28256
3600.01/3608.70 c #Conflicts: 1282000 | #Constraints: 29256
3600.01/3608.70 c #Conflicts: 1283000 | #Constraints: 30256
3600.01/3608.70 c #Conflicts: 1284000 | #Constraints: 31256
3600.01/3608.70 c #Conflicts: 1285000 | #Constraints: 32256
3600.01/3608.70 c #Conflicts: 1286000 | #Constraints: 33256
3600.01/3608.70 c #Conflicts: 1287000 | #Constraints: 34256
3600.01/3608.70 c #Conflicts: 1288000 | #Constraints: 35256
3600.01/3608.70 c #Conflicts: 1289000 | #Constraints: 36256
3600.01/3608.70 c #Conflicts: 1290000 | #Constraints: 37256
3600.01/3608.70 c #Conflicts: 1291000 | #Constraints: 38256
3600.01/3608.70 c #Conflicts: 1292000 | #Constraints: 39256
3600.01/3608.70 c #Conflicts: 1293000 | #Constraints: 40256
3600.01/3608.70 c #Conflicts: 1294000 | #Constraints: 41256
3600.01/3608.70 c #Conflicts: 1295000 | #Constraints: 42256
3600.01/3608.70 c #Conflicts: 1296000 | #Constraints: 43256
3600.01/3608.70 c #Conflicts: 1297000 | #Constraints: 44256
3600.01/3608.70 c #Conflicts: 1298000 | #Constraints: 45256
3600.01/3608.70 c #Conflicts: 1299000 | #Constraints: 46256
3600.01/3608.70 c #Conflicts: 1300000 | #Constraints: 47256
3600.01/3608.70 c #Conflicts: 1301000 | #Constraints: 48256
3600.01/3608.70 c #Conflicts: 1302000 | #Constraints: 49256
3600.01/3608.70 c INPROCESSING
3600.01/3608.70 c GARBAGE COLLECT
3600.01/3608.70 c #Conflicts: 1303000 | #Constraints: 27651
3600.01/3608.70 c #Conflicts: 1304000 | #Constraints: 28651
3600.01/3608.70 c #Conflicts: 1305000 | #Constraints: 29651
3600.01/3608.70 c #Conflicts: 1306000 | #Constraints: 30651
3600.01/3608.70 c #Conflicts: 1307000 | #Constraints: 31651
3600.01/3608.70 c #Conflicts: 1308000 | #Constraints: 32651
3600.01/3608.70 c #Conflicts: 1309000 | #Constraints: 33651
3600.01/3608.70 c #Conflicts: 1310000 | #Constraints: 34651
3600.01/3608.70 c #Conflicts: 1311000 | #Constraints: 35651
3600.01/3608.70 c #Conflicts: 1312000 | #Constraints: 36651
3600.01/3608.70 c #Conflicts: 1313000 | #Constraints: 37651
3600.01/3608.70 c #Conflicts: 1314000 | #Constraints: 38651
3600.01/3608.70 c #Conflicts: 1315000 | #Constraints: 39651
3600.01/3608.70 c #Conflicts: 1316000 | #Constraints: 40651
3600.01/3608.70 c #Conflicts: 1317000 | #Constraints: 41651
3600.01/3608.70 c #Conflicts: 1318000 | #Constraints: 42651
3600.01/3608.70 c Program interrupted by user.
3600.01/3608.70 c cpu time 3590.83 s
3600.01/3608.70 c deterministic time 574688260526 5.75e+11
3600.01/3608.70 c optimization time 57.1249 s
3600.01/3608.70 c total solve time 3234.63 s
3600.01/3608.70 c core-guided solve time 3234.63 s
3600.01/3608.70 c propagation time 2678.11 s
3600.01/3608.70 c conflict analysis time 470.27 s
3600.01/3608.70 c propagations 128048781
3600.01/3608.70 c resolve steps 10293052
3600.01/3608.70 c decisions 4807662
3600.01/3608.70 c conflicts 1318151
3600.01/3608.70 c restarts 2555
3600.01/3608.70 c inprocessing phases 105
3600.01/3608.70 c input clauses 3963
3600.01/3608.70 c input cardinalities 147
3600.01/3608.70 c input general constraints 0
3600.01/3608.70 c input average constraint length 61.79
3600.01/3608.70 c input average constraint degree 27.85
3600.01/3608.70 c learned clauses 448305
3600.01/3608.70 c learned cardinalities 173849
3600.01/3608.70 c learned general constraints 696141
3600.01/3608.70 c learned average constraint length 801.30
3600.01/3608.70 c learned average constraint degree 24659.99
3600.01/3608.70 c watched constraints 352719
3600.01/3608.70 c counting constraints 343422
3600.01/3608.70 c gcd simplifications 28524
3600.01/3608.70 c detected cardinalities 2163
3600.01/3608.70 c weakened non-implied lits 184586939
3600.01/3608.70 c weakened non-implying lits 45133
3600.01/3608.70 c original variables 1968
3600.01/3608.70 c clausal propagations 60575056
3600.01/3608.70 c cardinality propagations 12470802
3600.01/3608.70 c watched propagations 7602974
3600.01/3608.70 c counting propagations 37603603
3600.01/3608.70 c watch lookups 46674800006
3600.01/3608.70 c watch backjump lookups 37595622673
3600.01/3608.70 c watch checks 446845478948
3600.01/3608.70 c propagation checks 40435629961
3600.01/3608.70 c constraint additions 2869699513
3600.01/3608.70 c trail pops 134172981
3600.01/3608.70 c formula constraints 3286
3600.01/3608.70 c learned constraints 1318295
3600.01/3608.70 c bound constraints 147
3600.01/3608.70 c core-guided constraints 677
3600.01/3608.70 c encountered formula constraints 7316306
3600.01/3608.70 c encountered learned constraints 3298160
3600.01/3608.70 c encountered bound constraints 1
3600.01/3608.70 c encountered core-guided constraints 996736
3600.01/3608.70 c LP total time 0 s
3600.01/3608.70 c LP solve time 0 s
3600.01/3608.70 c LP constraints added 0
3600.01/3608.70 c LP constraints removed 0
3600.01/3608.70 c LP pivots internal 0
3600.01/3608.70 c LP pivots root 0
3600.01/3608.70 c LP calls 0
3600.01/3608.70 c LP optimalities 0
3600.01/3608.70 c LP no pivot count 0
3600.01/3608.70 c LP infeasibilities 0
3600.01/3608.70 c LP valid Farkas constraints 0
3600.01/3608.70 c LP learned Farkas constraints 0
3600.01/3608.70 c LP basis resets 0
3600.01/3608.70 c LP cycling count 0
3600.01/3608.70 c LP singular count 0
3600.01/3608.70 c LP no primal count 0
3600.01/3608.70 c LP no farkas count 0
3600.01/3608.70 c LP other issue count 0
3600.01/3608.70 c LP Gomory cuts 0
3600.01/3608.70 c LP learned cuts 0
3600.01/3608.70 c LP deleted cuts 0
3600.01/3608.70 c LP encountered Gomory constraints 0
3600.01/3608.70 c LP encountered Farkas constraints 0
3600.01/3608.70 c LP encountered learned Farkas constraints 0
3600.01/3608.70 c CG auxiliary variables introduced 677
3600.01/3608.70 c CG solutions found 0
3600.01/3608.70 c CG cores constructed 146
3600.01/3608.70 c CG core cardinality constraints returned 0
3600.01/3608.70 c CG unit cores 0
3600.01/3608.70 c CG single cores 146
3600.01/3608.70 c CG blocks removed during cardinality reduction 0
3600.01/3608.70 c CG first core best 0
3600.01/3608.70 c CG decision core best 0
3600.01/3608.70 c CG core reduction tie 0
3600.01/3608.70 c CG core degree average 1.00
3600.01/3608.70 c CG core slack average 3.25
3600.01/3608.70 c CG exhausted 0
3600.01/3608.70 c CG exhaust time 0 s
3600.01/3608.70 c CG trimmed 0
3600.01/3608.70 c CG trim time 0.000878 s
3600.01/3608.70 c CG minimized 0
3600.01/3608.70 c CG minimize time 0 s
3600.01/3608.70 c CG am1 prop time 0.002445 s
3600.01/3608.70 c CG # am1s reformulated 677
3600.01/3608.70 c CG lower bound derived from am1s 678
3600.01/3608.70 c CG # clausal cores 146
3600.01/3608.70 c CG # cardinality cores 0
3600.01/3608.70 c CG # pb cores 0
3600.01/3608.70 c CG # pb reforms 0
3600.01/3608.70 c CG # cores discarded because of pb reform 0
3600.01/3608.70 d LOWERBOUND 824
3600.01/3608.70 d NCORES 146
3600.01/3608.70 d NPBCORES 0
3600.01/3608.70 d NPBREFORM 0
3600.01/3608.70 d NTRIMMED 0
3600.01/3608.70 d NEXHAUSTED 0
3600.01/3608.70 d NAM1S 677
3600.01/3608.70 d AM1LB 678
3600.01/3608.70 c [Papilo Statistics]
3600.01/3608.70 c prepro time 0.0137142s
3600.01/3608.70 c # tsx applied 148
3600.01/3608.70 c # tsx conflicts 5
3600.01/3608.70 c # bound changes 146
3600.01/3608.70 c # side changes 0
3600.01/3608.70 c # coef changes 0
3600.01/3608.70 c # rounds 2
3600.01/3608.70 c # deted vars 299
3600.01/3608.70 c # deted constrs 714
3600.01/3608.70 c # consecutive rounds of only bound changes 0
3600.01/3608.70 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: 64059 MiB (62973 MiB free)
memory of node 1: 64510 MiB (61298 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454722-1721467713/watcher-4454722-1721467713 -o /tmp/evaluation-result-4454722-1721467713/solver-4454722-1721467713 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721467725-1064086 --watchdog 3760 mixed-bag HOME/instance-4454722-1721467713.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=1064148, runsolver pid=1064135
[startup+0.100782 s]*
/proc/loadavg: 1.83 1.45 2.20 8/248 1064152
/proc/meminfo: memFree=127193504/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=98268 memory=31136 CPUtime=0.1 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 4678 0 0 0 9 1 0 0 20 0 1 0 198927960 100626432 7784 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 24567 7784 3745 3002 0 8316 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 98268 KiB
Current children cumulated memory: 31136 KiB
[startup+0.215792 s]*
/proc/loadavg: 1.83 1.45 2.20 8/248 1064152
/proc/meminfo: memFree=127161732/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=107216 memory=37932 CPUtime=0.21 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 6644 0 0 0 19 2 0 0 20 0 1 0 198927960 109789184 9483 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 26804 9483 3855 3002 0 10553 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 107216 KiB
Current children cumulated memory: 37932 KiB
[startup+0.315319 s]*
/proc/loadavg: 1.83 1.45 2.20 8/248 1064152
/proc/meminfo: memFree=127149540/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=110288 memory=41296 CPUtime=0.31 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 7386 0 0 0 29 2 0 0 20 0 1 0 198927960 112934912 10324 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 27572 10324 3983 3002 0 11321 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 110288 KiB
Current children cumulated memory: 41296 KiB
[startup+0.700289 s]
/proc/loadavg: 1.83 1.45 2.20 8/248 1064152
/proc/meminfo: memFree=127146588/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=110796 memory=41820 CPUtime=0.68 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 7524 0 0 0 66 2 0 0 20 0 1 0 198927960 113455104 10455 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 27699 10455 3983 3002 0 11448 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 110796 KiB
Current children cumulated memory: 41820 KiB
[startup+1.50033 s]
/proc/loadavg: 1.83 1.45 2.20 8/248 1064152
/proc/meminfo: memFree=127132056/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=116856 memory=47388 CPUtime=1.48 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 8888 0 0 0 145 3 0 0 20 0 1 0 198927960 119660544 11847 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 29214 11847 3999 3002 0 12963 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 116856 KiB
Current children cumulated memory: 47388 KiB
[startup+3.1141 s]
/proc/loadavg: 1.83 1.45 2.20 8/248 1064152
/proc/meminfo: memFree=127072252/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=126312 memory=55836 CPUtime=3.08 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 11003 0 0 0 305 3 0 0 20 0 1 0 198927960 129343488 13959 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 31578 13959 3999 3002 0 15327 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 126312 KiB
Current children cumulated memory: 55836 KiB
[startup+6.30027 s]
/proc/loadavg: 2.08 1.51 2.21 8/248 1064152
/proc/meminfo: memFree=126905460/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=175292 memory=103356 CPUtime=6.26 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 22913 0 0 0 621 5 0 0 20 0 1 0 198927960 179499008 25839 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 43823 25839 3999 3002 0 27572 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 175292 KiB
Current children cumulated memory: 103356 KiB
[startup+12.7003 s]
/proc/loadavg: 2.23 1.55 2.22 8/248 1064154
/proc/meminfo: memFree=126788188/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=243588 memory=166008 CPUtime=12.64 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 38788 0 0 0 1257 7 0 0 20 0 1 0 198927960 249434112 41502 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 60897 41502 3999 3002 0 44646 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 243588 KiB
Current children cumulated memory: 166008 KiB
[startup+25.5003 s]
/proc/loadavg: 2.63 1.67 2.25 8/248 1064155
/proc/meminfo: memFree=126782276/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=243588 memory=166536 CPUtime=25.41 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 38971 0 0 0 2532 9 0 0 20 0 1 0 198927960 249434112 41634 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 60897 41634 3999 3002 0 44646 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 243588 KiB
Current children cumulated memory: 166536 KiB
[startup+51.1137 s]
/proc/loadavg: 3.18 1.87 2.30 8/248 1064160
/proc/meminfo: memFree=126576756/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=301572 memory=222392 CPUtime=50.94 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 54651 0 0 0 5080 14 0 0 20 0 1 0 198927960 308809728 55598 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 75393 55598 4022 3002 0 59142 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 301572 KiB
Current children cumulated memory: 222392 KiB
[startup+102.3 s]
/proc/loadavg: 3.71 2.22 2.40 9/251 1064228
/proc/meminfo: memFree=126438292/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=291836 memory=213332 CPUtime=101.97 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 56534 0 0 0 10178 19 0 0 20 0 1 0 198927960 298840064 53333 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 72959 53333 4022 3002 0 56708 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 291836 KiB
Current children cumulated memory: 213332 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.56 2.51 8/250 1064239
/proc/meminfo: memFree=126330708/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=305232 memory=225444 CPUtime=161.8 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 59798 0 0 0 16154 26 0 0 20 0 1 0 198927960 312557568 56361 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 76308 56361 4022 3002 0 60057 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 305232 KiB
Current children cumulated memory: 225444 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.86 2.61 8/250 1064249
/proc/meminfo: memFree=126243532/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=316940 memory=234716 CPUtime=221.62 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 62151 0 0 0 22130 32 0 0 20 0 1 0 198927960 324546560 58679 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 79235 58679 4022 3002 0 62984 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 316940 KiB
Current children cumulated memory: 234716 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.10 2.71 8/250 1064259
/proc/meminfo: memFree=126163616/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=341320 memory=254736 CPUtime=281.43 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 68900 0 0 0 28107 36 0 0 20 0 1 0 198927960 349511680 63684 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 85330 63684 4022 3002 0 69079 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 341320 KiB
Current children cumulated memory: 254736 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.28 2.80 8/245 1064270
/proc/meminfo: memFree=126459776/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=239468 memory=171336 CPUtime=341.25 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 72476 0 0 0 34045 80 0 0 20 0 1 0 198927960 245215232 42834 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 59867 42834 4166 3002 0 43616 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 239468 KiB
Current children cumulated memory: 171336 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.44 2.89 8/242 1064281
/proc/meminfo: memFree=126378364/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=270288 memory=188644 CPUtime=401.07 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 73791 0 0 0 39987 120 0 0 20 0 1 0 198927960 276774912 47161 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 67572 47161 4166 3002 0 51321 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 270288 KiB
Current children cumulated memory: 188644 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.56 2.97 8/242 1064291
/proc/meminfo: memFree=126314768/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=270708 memory=206480 CPUtime=460.88 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 74170 0 0 0 45932 156 0 0 20 0 1 0 198927960 277204992 51620 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 67677 51620 4166 3002 0 51426 0
################
# More data... #
################
Current children cumulated memory: 426608 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.02 8/242 1065302
/proc/meminfo: memFree=125346496/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=531208 memory=429412 CPUtime=2915.17 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 103909 0 0 0 290721 796 0 0 20 0 1 0 198927960 543956992 107353 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 132802 107353 4166 3002 0 116551 0
Current children cumulated CPU time: 2915.17 s
Current children cumulated vsize: 531208 KiB
Current children cumulated memory: 429412 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.10 4.02 8/242 1065312
/proc/meminfo: memFree=125341604/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=537280 memory=433620 CPUtime=2975.02 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 105165 0 0 0 296696 806 0 0 20 0 1 0 198927960 550174720 108405 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 134320 108405 4166 3002 0 118069 0
Current children cumulated CPU time: 2975.02 s
Current children cumulated vsize: 537280 KiB
Current children cumulated memory: 433620 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.02 8/242 1065323
/proc/meminfo: memFree=125325308/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=540864 memory=442408 CPUtime=3034.89 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 105987 0 0 0 302671 818 0 0 20 0 1 0 198927960 553844736 110602 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 135216 110602 4166 3002 0 118965 0
Current children cumulated CPU time: 3034.89 s
Current children cumulated vsize: 540864 KiB
Current children cumulated memory: 442408 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.02 8/244 1065337
/proc/meminfo: memFree=125307276/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=542472 memory=448772 CPUtime=3094.76 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 106547 0 0 0 308643 833 0 0 20 0 1 0 198927960 555491328 112193 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 135618 112193 4166 3002 0 119367 0
Current children cumulated CPU time: 3094.76 s
Current children cumulated vsize: 542472 KiB
Current children cumulated memory: 448772 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.03 8/244 1065347
/proc/meminfo: memFree=125296920/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=543424 memory=456012 CPUtime=3154.61 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 106890 0 0 0 314621 840 0 0 20 0 1 0 198927960 556466176 114003 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 135856 114003 4166 3002 0 119605 0
Current children cumulated CPU time: 3154.61 s
Current children cumulated vsize: 543424 KiB
Current children cumulated memory: 456012 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.03 8/244 1065357
/proc/meminfo: memFree=125294248/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=543752 memory=456344 CPUtime=3214.48 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 107175 0 0 0 320597 851 0 0 20 0 1 0 198927960 556802048 114086 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 135938 114086 4166 3002 0 119687 0
Current children cumulated CPU time: 3214.48 s
Current children cumulated vsize: 543752 KiB
Current children cumulated memory: 456344 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.04 8/244 1065368
/proc/meminfo: memFree=125256204/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=546568 memory=472388 CPUtime=3274.34 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 107835 0 0 0 326570 864 0 0 20 0 1 0 198927960 559685632 118097 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 136642 118097 4166 3002 0 120391 0
Current children cumulated CPU time: 3274.34 s
Current children cumulated vsize: 546568 KiB
Current children cumulated memory: 472388 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.11 4.04 8/245 1065379
/proc/meminfo: memFree=125254960/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=546752 memory=472468 CPUtime=3334.21 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 108065 0 0 0 332549 872 0 0 20 0 1 0 198927960 559874048 118117 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 136688 118117 4166 3002 0 120437 0
Current children cumulated CPU time: 3334.21 s
Current children cumulated vsize: 546752 KiB
Current children cumulated memory: 472468 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.12 4.05 8/246 1065773
/proc/meminfo: memFree=125251740/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=548360 memory=473556 CPUtime=3394.08 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 108533 0 0 0 338526 882 0 0 20 0 1 0 198927960 561520640 118389 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 137090 118389 4166 3002 0 120839 0
Current children cumulated CPU time: 3394.08 s
Current children cumulated vsize: 548360 KiB
Current children cumulated memory: 473556 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.05 8/245 1065784
/proc/meminfo: memFree=125247652/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=550408 memory=476932 CPUtime=3453.94 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 109100 0 0 0 344504 890 0 0 20 0 1 0 198927960 563617792 119233 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 137602 119233 4166 3002 0 121351 0
Current children cumulated CPU time: 3453.94 s
Current children cumulated vsize: 550408 KiB
Current children cumulated memory: 476932 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.05 8/245 1065794
/proc/meminfo: memFree=125208716/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=550408 memory=476932 CPUtime=3513.81 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 109305 0 0 0 350479 902 0 0 20 0 1 0 198927960 563617792 119233 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 137602 119233 4166 3002 0 121351 0
Current children cumulated CPU time: 3513.81 s
Current children cumulated vsize: 550408 KiB
Current children cumulated memory: 476932 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.05 8/247 1065974
/proc/meminfo: memFree=125185640/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=551688 memory=477748 CPUtime=3573.67 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 109737 0 0 0 356452 915 0 0 20 0 1 0 198927960 564928512 119437 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 137922 119437 4166 3002 0 121671 0
Current children cumulated CPU time: 3573.67 s
Current children cumulated vsize: 551688 KiB
Current children cumulated memory: 477748 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.17 4.12 4.06 8/247 1065978
/proc/meminfo: memFree=125186488/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=551688 memory=477748 CPUtime=3600.01 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 109737 0 0 0 359082 919 0 0 20 0 1 0 198927960 564928512 119437 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 137922 119437 4166 3002 0 121671 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 551688 KiB
Current children cumulated memory: 477748 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.71 s]
# the end of solver process 1064148 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.83 s, system=9.19553 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.7 s]
/proc/loadavg: 4.17 4.12 4.06 8/247 1065978
/proc/meminfo: memFree=125186488/131655788 swapFree=131071996/131071996
[pid=1064148] ppid=1064135 vsize=551688 memory=477748 CPUtime=3600.01 cores=4,6
/proc/1064148/stat : 1064148 (mixed-bag) R 1064135 1064148 1064075 0 -1 4194304 109737 0 0 0 359082 919 0 0 20 0 1 0 198927960 564928512 119437 134679101440 4194304 16488053 140727687473328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27000832 140727687476245 140727687476322 140727687476322 140727687483339 0
/proc/1064148/statm: 137922 119437 4166 3002 0 121671 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 551688 KiB
Current children cumulated memory: 477748 KiB
Child status: 0
Real time (s): 3608.71
CPU time (s): 3600.03
CPU user time (s): 3590.83
CPU system time (s): 9.19553
CPU usage (%): 99.7595
Max. virtual memory (cumulated for all children) (KiB): 551688
Max. memory (cumulated for all children) (KiB): 477748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.83
system time used= 9.19553
maximum resident set size= 477748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109758
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= 141
involuntary context switches= 2599
# summary of solver processes directly reported to runsolver:
# pid: 1064148
# total CPU time (s): 3600.03
# total CPU user time (s): 3590.83
# total CPU system time (s): 9.19553
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2591 second user time and 38.7433 second system time
The end
Begin job on nodeC007 at 2024-07-20 11:28:45
IDJOB=4454722
IDBENCH=147528
IDSOLVER=3083
FILE ID=nodeC007/4454722-1721467713
RUNJOBID= nodeC007-1721467725-1064086
SLURM_JOB_ID= 7545722
Free space on /tmp= 723784 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454722-1721467713/watcher-4454722-1721467713 -o /tmp/evaluation-result-4454722-1721467713/solver-4454722-1721467713 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721467725-1064086 --watchdog 3760 mixed-bag HOME/instance-4454722-1721467713.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 814b6c4383076cbdda85b96364bc781d
RANDOM SEED=910349485
nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.133
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.136
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.135
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.132
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.149
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1266.660
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1223.081
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1200.391
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127255928 kB
MemAvailable: 129911808 kB
Buffers: 555256 kB
Cached: 2941324 kB
SwapCached: 0 kB
Active: 1151172 kB
Inactive: 2681804 kB
Active(anon): 1360 kB
Inactive(anon): 381576 kB
Active(file): 1149812 kB
Inactive(file): 2300228 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65132 kB
Writeback: 4 kB
AnonPages: 337064 kB
Mapped: 107496 kB
Shmem: 45896 kB
KReclaimable: 91744 kB
Slab: 194604 kB
SReclaimable: 91744 kB
SUnreclaim: 102860 kB
KernelStack: 3748 kB
PageTables: 10112 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 713284 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62016 kB
HardwareCorrupted: 0 kB
AnonHugePages: 217088 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: 279368 kB
DirectMap2M: 27936768 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723716 MiB
End job on nodeC007 at 2024-07-20 12:28:54