0.00/0.03 c RoundingSat 2
0.00/0.03 c branch
0.00/0.03 c commit
0.00/0.03 c with Papilo
0.00/0.03 c with SCIP
0.00/0.03 c [STEP] parsing instance
0.00/0.04 c [STEP] preprocessing with Papilo
0.00/0.08 c [STEP] solving with SCIP
299.24/300.35 c [STEP] preprocessing done, loading into solver
299.24/300.35 c [STEP] solving
299.24/300.35 c #variables 1629 #constraints 3199
299.24/300.35 c SMALL=int, LARGE=long long
299.24/300.35 c bounds - >= 0 @ 299.117
299.24/300.35 c stratification level: 0
300.94/302.07 c bounds - >= 668 @ 299.124
300.94/302.07 c bounds - >= 669 @ 299.126
300.94/302.07 c bounds - >= 670 @ 299.126
300.94/302.07 c bounds - >= 671 @ 299.126
300.94/302.07 c bounds - >= 672 @ 299.126
300.94/302.07 c bounds - >= 673 @ 299.126
300.94/302.07 c bounds - >= 674 @ 299.127
300.94/302.07 c bounds - >= 675 @ 299.127
300.94/302.07 c bounds - >= 676 @ 299.127
300.94/302.07 c bounds - >= 677 @ 299.127
300.94/302.07 c bounds - >= 678 @ 299.128
300.94/302.07 c bounds - >= 679 @ 299.128
300.94/302.07 c bounds - >= 680 @ 299.128
300.94/302.07 c bounds - >= 681 @ 299.128
300.94/302.07 c bounds - >= 682 @ 299.129
300.94/302.07 c bounds - >= 683 @ 299.129
300.94/302.07 c bounds - >= 684 @ 299.129
300.94/302.07 c bounds - >= 685 @ 299.129
300.94/302.07 c bounds - >= 686 @ 299.129
300.94/302.07 c bounds - >= 687 @ 299.13
300.94/302.07 c bounds - >= 688 @ 299.13
300.94/302.07 c bounds - >= 689 @ 299.13
300.94/302.07 c bounds - >= 690 @ 299.13
300.94/302.07 c bounds - >= 691 @ 299.13
300.94/302.07 c bounds - >= 692 @ 299.13
300.94/302.07 c bounds - >= 693 @ 299.13
300.94/302.07 c bounds - >= 694 @ 299.13
300.94/302.07 c bounds - >= 695 @ 299.13
300.94/302.07 c bounds - >= 696 @ 299.13
300.94/302.07 c bounds - >= 697 @ 299.13
300.94/302.07 c bounds - >= 698 @ 299.13
300.94/302.07 c bounds - >= 699 @ 299.131
300.94/302.07 c bounds - >= 700 @ 299.131
300.94/302.07 c bounds - >= 701 @ 299.131
300.94/302.07 c bounds - >= 702 @ 299.131
300.94/302.07 c bounds - >= 703 @ 299.132
300.94/302.07 c bounds - >= 704 @ 299.132
300.94/302.07 c bounds - >= 705 @ 299.132
300.94/302.07 c bounds - >= 706 @ 299.132
300.94/302.07 c bounds - >= 707 @ 299.132
300.94/302.07 c bounds - >= 708 @ 299.132
300.94/302.07 c bounds - >= 709 @ 299.132
300.94/302.07 c bounds - >= 710 @ 299.133
300.94/302.07 c bounds - >= 711 @ 299.133
300.94/302.07 c bounds - >= 712 @ 299.133
300.94/302.07 c bounds - >= 713 @ 299.133
300.94/302.07 c bounds - >= 714 @ 299.134
300.94/302.07 c bounds - >= 715 @ 299.134
300.94/302.07 c bounds - >= 716 @ 299.134
300.94/302.07 c bounds - >= 717 @ 299.134
300.94/302.07 c bounds - >= 718 @ 299.135
300.94/302.07 c bounds - >= 719 @ 299.135
300.94/302.07 c bounds - >= 720 @ 299.135
300.94/302.07 c bounds - >= 721 @ 299.135
300.94/302.07 c bounds - >= 722 @ 299.136
300.94/302.07 c bounds - >= 723 @ 299.136
300.94/302.07 c bounds - >= 724 @ 299.136
300.94/302.07 c bounds - >= 725 @ 299.137
300.94/302.07 c bounds - >= 726 @ 299.137
300.94/302.07 c bounds - >= 727 @ 299.137
300.94/302.07 c bounds - >= 728 @ 299.137
300.94/302.07 c bounds - >= 729 @ 299.138
300.94/302.07 c bounds - >= 730 @ 299.138
300.94/302.07 c bounds - >= 731 @ 299.138
300.94/302.07 c bounds - >= 732 @ 299.138
300.94/302.07 c bounds - >= 733 @ 299.139
300.94/302.07 c bounds - >= 734 @ 299.139
300.94/302.07 c bounds - >= 735 @ 299.139
300.94/302.07 c bounds - >= 736 @ 299.14
300.94/302.07 c bounds - >= 737 @ 299.14
300.94/302.07 c bounds - >= 738 @ 299.14
300.94/302.07 c bounds - >= 739 @ 299.14
300.94/302.07 c bounds - >= 740 @ 299.14
300.94/302.07 c bounds - >= 741 @ 299.14
300.94/302.07 c bounds - >= 742 @ 299.14
300.94/302.07 c bounds - >= 743 @ 299.141
300.94/302.07 c bounds - >= 744 @ 299.141
300.94/302.07 c bounds - >= 745 @ 299.141
300.94/302.07 c bounds - >= 746 @ 299.141
300.94/302.07 c bounds - >= 747 @ 299.142
300.94/302.07 c bounds - >= 748 @ 299.142
300.94/302.07 c bounds - >= 749 @ 299.142
300.94/302.07 c bounds - >= 750 @ 299.142
300.94/302.07 c bounds - >= 751 @ 299.142
300.94/302.07 c bounds - >= 752 @ 299.142
300.94/302.07 c bounds - >= 753 @ 299.143
300.94/302.07 c bounds - >= 754 @ 299.143
300.94/302.07 c bounds - >= 755 @ 299.143
300.94/302.07 c bounds - >= 756 @ 299.143
300.94/302.07 c bounds - >= 757 @ 299.143
300.94/302.07 c bounds - >= 758 @ 299.143
300.94/302.07 c bounds - >= 759 @ 299.143
300.94/302.07 c bounds - >= 760 @ 299.144
300.94/302.07 c bounds - >= 761 @ 299.144
300.94/302.07 c bounds - >= 762 @ 299.144
300.94/302.07 c bounds - >= 763 @ 299.144
300.94/302.07 c bounds - >= 764 @ 299.144
300.94/302.07 c bounds - >= 765 @ 299.144
300.94/302.07 c bounds - >= 766 @ 299.144
300.94/302.07 c bounds - >= 767 @ 299.145
300.94/302.07 c bounds - >= 768 @ 299.145
300.94/302.07 c bounds - >= 769 @ 299.145
300.94/302.07 c bounds - >= 770 @ 299.146
300.94/302.07 c bounds - >= 771 @ 299.146
300.94/302.07 c bounds - >= 772 @ 299.146
300.94/302.07 c bounds - >= 773 @ 299.146
300.94/302.07 c bounds - >= 774 @ 299.146
300.94/302.07 c bounds - >= 775 @ 299.146
300.94/302.07 c bounds - >= 776 @ 299.146
300.94/302.07 c bounds - >= 777 @ 299.146
300.94/302.07 c bounds - >= 778 @ 299.146
300.94/302.07 c bounds - >= 779 @ 299.146
300.94/302.07 c bounds - >= 780 @ 299.146
300.94/302.07 c bounds - >= 781 @ 299.146
300.94/302.07 c bounds - >= 782 @ 299.147
300.94/302.07 c bounds - >= 783 @ 299.147
300.94/302.07 c bounds - >= 784 @ 299.147
300.94/302.07 c bounds - >= 785 @ 299.148
300.94/302.07 c bounds - >= 786 @ 299.148
300.94/302.07 c bounds - >= 787 @ 299.148
300.94/302.07 c bounds - >= 788 @ 299.149
300.94/302.07 c bounds - >= 789 @ 299.149
300.94/302.07 c bounds - >= 790 @ 299.149
300.94/302.07 c bounds - >= 791 @ 299.149
300.94/302.07 c bounds - >= 792 @ 299.149
300.94/302.07 c bounds - >= 793 @ 299.15
300.94/302.07 c bounds - >= 794 @ 299.15
300.94/302.07 c bounds - >= 795 @ 299.15
300.94/302.07 c bounds - >= 796 @ 299.15
300.94/302.07 c bounds - >= 797 @ 299.151
300.94/302.07 c bounds - >= 798 @ 299.151
300.94/302.07 c bounds - >= 799 @ 299.151
300.94/302.07 c bounds - >= 800 @ 299.152
300.94/302.07 c bounds - >= 801 @ 299.152
300.94/302.07 c bounds - >= 802 @ 299.152
300.94/302.07 c bounds - >= 803 @ 299.152
300.94/302.07 c #Conflicts: 1000 | #Constraints: 5139
300.94/302.07 c #Conflicts: 2000 | #Constraints: 6139
300.94/302.07 c INPROCESSING
300.94/302.07 c GARBAGE COLLECT
300.94/302.07 c #Conflicts: 3000 | #Constraints: 5984
300.94/302.07 c #Conflicts: 4000 | #Constraints: 6984
300.94/302.07 c INPROCESSING
300.94/302.07 c GARBAGE COLLECT
300.94/302.07 c #Conflicts: 5000 | #Constraints: 6374
349.68/350.99 c #Conflicts: 6000 | #Constraints: 7374
349.68/350.99 c INPROCESSING
349.68/350.99 c GARBAGE COLLECT
349.68/350.99 c #Conflicts: 7000 | #Constraints: 6367
349.68/350.99 c #Conflicts: 8000 | #Constraints: 7367
349.68/350.99 c #Conflicts: 9000 | #Constraints: 8367
349.68/350.99 c INPROCESSING
349.68/350.99 c GARBAGE COLLECT
349.68/350.99 c #Conflicts: 10000 | #Constraints: 7068
349.68/350.99 c #Conflicts: 11000 | #Constraints: 8068
349.68/350.99 c #Conflicts: 12000 | #Constraints: 9068
349.68/350.99 c INPROCESSING
349.68/350.99 c GARBAGE COLLECT
349.68/350.99 c #Conflicts: 13000 | #Constraints: 7523
349.68/350.99 c #Conflicts: 14000 | #Constraints: 8523
349.68/350.99 c #Conflicts: 15000 | #Constraints: 9523
349.68/350.99 c INPROCESSING
349.68/350.99 c GARBAGE COLLECT
349.68/350.99 c #Conflicts: 16000 | #Constraints: 7752
349.68/350.99 c #Conflicts: 17000 | #Constraints: 8752
349.68/350.99 c #Conflicts: 18000 | #Constraints: 9752
349.68/350.99 c INPROCESSING
349.68/350.99 c GARBAGE COLLECT
349.68/350.99 c #Conflicts: 19000 | #Constraints: 7762
349.68/350.99 c #Conflicts: 20000 | #Constraints: 8762
349.68/350.99 c #Conflicts: 21000 | #Constraints: 9762
349.68/350.99 c INPROCESSING
349.68/350.99 c GARBAGE COLLECT
349.68/350.99 c #Conflicts: 22000 | #Constraints: 7567
349.68/350.99 c #Conflicts: 23000 | #Constraints: 8567
349.68/350.99 c #Conflicts: 24000 | #Constraints: 9567
349.68/350.99 c #Conflicts: 25000 | #Constraints: 10567
349.68/350.99 c INPROCESSING
349.68/350.99 c GARBAGE COLLECT
349.68/350.99 c #Conflicts: 26000 | #Constraints: 8172
349.68/350.99 c #Conflicts: 27000 | #Constraints: 9172
349.68/350.99 c #Conflicts: 28000 | #Constraints: 10172
349.68/350.99 c #Conflicts: 29000 | #Constraints: 11172
349.68/350.99 c INPROCESSING
349.68/350.99 c GARBAGE COLLECT
349.68/350.99 c #Conflicts: 30000 | #Constraints: 8572
349.68/350.99 c #Conflicts: 31000 | #Constraints: 9572
349.68/350.99 c #Conflicts: 32000 | #Constraints: 10572
349.68/350.99 c #Conflicts: 33000 | #Constraints: 11572
349.68/350.99 c INPROCESSING
349.68/350.99 c GARBAGE COLLECT
349.68/350.99 c #Conflicts: 34000 | #Constraints: 8753
349.68/350.99 c #Conflicts: 35000 | #Constraints: 9753
349.68/350.99 c #Conflicts: 36000 | #Constraints: 10753
349.68/350.99 c #Conflicts: 37000 | #Constraints: 11753
349.68/350.99 c INPROCESSING
349.68/350.99 c GARBAGE COLLECT
349.68/350.99 c #Conflicts: 38000 | #Constraints: 8766
349.68/350.99 c #Conflicts: 39000 | #Constraints: 9766
349.68/350.99 c #Conflicts: 40000 | #Constraints: 10766
349.68/350.99 c #Conflicts: 41000 | #Constraints: 11766
349.68/350.99 c INPROCESSING
349.68/350.99 c GARBAGE COLLECT
349.68/350.99 c #Conflicts: 42000 | #Constraints: 8570
349.68/350.99 c #Conflicts: 43000 | #Constraints: 9570
349.68/350.99 c #Conflicts: 44000 | #Constraints: 10570
349.68/350.99 c #Conflicts: 45000 | #Constraints: 11570
349.68/350.99 c #Conflicts: 46000 | #Constraints: 12570
349.68/350.99 c INPROCESSING
349.68/350.99 c GARBAGE COLLECT
349.68/350.99 c #Conflicts: 47000 | #Constraints: 9170
349.68/350.99 c #Conflicts: 48000 | #Constraints: 10170
349.68/350.99 c #Conflicts: 49000 | #Constraints: 11170
349.68/350.99 c #Conflicts: 50000 | #Constraints: 12170
349.68/350.99 c #Conflicts: 51000 | #Constraints: 13170
349.68/350.99 c INPROCESSING
349.68/350.99 c GARBAGE COLLECT
349.68/350.99 c #Conflicts: 52000 | #Constraints: 9568
349.68/350.99 c #Conflicts: 53000 | #Constraints: 10568
349.68/350.99 c #Conflicts: 54000 | #Constraints: 11568
349.68/350.99 c #Conflicts: 55000 | #Constraints: 12568
349.68/350.99 c #Conflicts: 56000 | #Constraints: 13568
349.68/350.99 c INPROCESSING
349.68/350.99 c GARBAGE COLLECT
349.68/350.99 c #Conflicts: 57000 | #Constraints: 9771
349.68/350.99 c #Conflicts: 58000 | #Constraints: 10771
349.68/350.99 c #Conflicts: 59000 | #Constraints: 11771
349.68/350.99 c #Conflicts: 60000 | #Constraints: 12771
349.68/350.99 c #Conflicts: 61000 | #Constraints: 13771
349.68/350.99 c INPROCESSING
349.68/350.99 c GARBAGE COLLECT
349.68/350.99 c #Conflicts: 62000 | #Constraints: 9774
349.68/350.99 c #Conflicts: 63000 | #Constraints: 10774
349.68/350.99 c #Conflicts: 64000 | #Constraints: 11774
349.68/350.99 c #Conflicts: 65000 | #Constraints: 12774
349.68/350.99 c #Conflicts: 66000 | #Constraints: 13774
349.68/350.99 c INPROCESSING
349.68/350.99 c GARBAGE COLLECT
349.68/350.99 c #Conflicts: 67000 | #Constraints: 9573
349.68/350.99 c #Conflicts: 68000 | #Constraints: 10573
349.68/350.99 c #Conflicts: 69000 | #Constraints: 11573
349.68/350.99 c #Conflicts: 70000 | #Constraints: 12573
349.68/350.99 c #Conflicts: 71000 | #Constraints: 13573
349.68/350.99 c #Conflicts: 72000 | #Constraints: 14573
349.68/350.99 c INPROCESSING
349.68/350.99 c GARBAGE COLLECT
349.68/350.99 c #Conflicts: 73000 | #Constraints: 10179
438.21/439.71 c #Conflicts: 74000 | #Constraints: 11179
438.21/439.71 c #Conflicts: 75000 | #Constraints: 12179
438.21/439.71 c #Conflicts: 76000 | #Constraints: 13179
438.21/439.71 c #Conflicts: 77000 | #Constraints: 14179
438.21/439.71 c #Conflicts: 78000 | #Constraints: 15179
438.21/439.71 c INPROCESSING
438.21/439.71 c GARBAGE COLLECT
438.21/439.71 c #Conflicts: 79000 | #Constraints: 10579
438.21/439.71 c #Conflicts: 80000 | #Constraints: 11579
438.21/439.71 c #Conflicts: 81000 | #Constraints: 12579
438.21/439.71 c #Conflicts: 82000 | #Constraints: 13579
438.21/439.71 c #Conflicts: 83000 | #Constraints: 14579
438.21/439.71 c #Conflicts: 84000 | #Constraints: 15579
438.21/439.71 c INPROCESSING
438.21/439.71 c GARBAGE COLLECT
438.21/439.71 c #Conflicts: 85000 | #Constraints: 10779
438.21/439.71 c #Conflicts: 86000 | #Constraints: 11779
438.21/439.71 c #Conflicts: 87000 | #Constraints: 12779
438.21/439.71 c #Conflicts: 88000 | #Constraints: 13779
438.21/439.71 c #Conflicts: 89000 | #Constraints: 14779
438.21/439.71 c #Conflicts: 90000 | #Constraints: 15779
438.21/439.71 c INPROCESSING
438.21/439.71 c GARBAGE COLLECT
438.21/439.71 c #Conflicts: 91000 | #Constraints: 10774
438.21/439.71 c #Conflicts: 92000 | #Constraints: 11774
438.21/439.71 c #Conflicts: 93000 | #Constraints: 12774
438.21/439.71 c #Conflicts: 94000 | #Constraints: 13774
438.21/439.71 c #Conflicts: 95000 | #Constraints: 14774
438.21/439.71 c #Conflicts: 96000 | #Constraints: 15774
438.21/439.71 c INPROCESSING
438.21/439.71 c GARBAGE COLLECT
438.21/439.71 c #Conflicts: 97000 | #Constraints: 10575
438.21/439.71 c #Conflicts: 98000 | #Constraints: 11575
438.21/439.71 c #Conflicts: 99000 | #Constraints: 12575
438.21/439.71 c #Conflicts: 100000 | #Constraints: 13575
438.21/439.71 c #Conflicts: 101000 | #Constraints: 14575
438.21/439.71 c #Conflicts: 102000 | #Constraints: 15575
438.21/439.71 c #Conflicts: 103000 | #Constraints: 16575
438.21/439.71 c INPROCESSING
438.21/439.71 c GARBAGE COLLECT
438.21/439.71 c #Conflicts: 104000 | #Constraints: 11175
438.21/439.71 c #Conflicts: 105000 | #Constraints: 12175
438.21/439.71 c #Conflicts: 106000 | #Constraints: 13175
438.21/439.71 c #Conflicts: 107000 | #Constraints: 14175
438.21/439.71 c #Conflicts: 108000 | #Constraints: 15175
438.21/439.71 c #Conflicts: 109000 | #Constraints: 16175
438.21/439.71 c #Conflicts: 110000 | #Constraints: 17175
438.21/439.71 c INPROCESSING
438.21/439.71 c GARBAGE COLLECT
438.21/439.71 c #Conflicts: 111000 | #Constraints: 11574
438.21/439.71 c #Conflicts: 112000 | #Constraints: 12574
438.21/439.71 c #Conflicts: 113000 | #Constraints: 13574
438.21/439.71 c #Conflicts: 114000 | #Constraints: 14574
438.21/439.71 c #Conflicts: 115000 | #Constraints: 15574
438.21/439.71 c #Conflicts: 116000 | #Constraints: 16574
438.21/439.71 c #Conflicts: 117000 | #Constraints: 17574
438.21/439.71 c INPROCESSING
438.21/439.71 c GARBAGE COLLECT
438.21/439.71 c #Conflicts: 118000 | #Constraints: 11774
438.21/439.71 c #Conflicts: 119000 | #Constraints: 12774
438.21/439.71 c #Conflicts: 120000 | #Constraints: 13774
438.21/439.71 c #Conflicts: 121000 | #Constraints: 14774
438.21/439.71 c #Conflicts: 122000 | #Constraints: 15774
438.21/439.71 c #Conflicts: 123000 | #Constraints: 16774
438.21/439.71 c #Conflicts: 124000 | #Constraints: 17774
438.21/439.71 c INPROCESSING
438.21/439.71 c GARBAGE COLLECT
438.21/439.71 c #Conflicts: 125000 | #Constraints: 11776
438.21/439.71 c #Conflicts: 126000 | #Constraints: 12776
438.21/439.71 c #Conflicts: 127000 | #Constraints: 13776
438.21/439.71 c #Conflicts: 128000 | #Constraints: 14776
438.21/439.71 c #Conflicts: 129000 | #Constraints: 15776
438.21/439.71 c #Conflicts: 130000 | #Constraints: 16776
438.21/439.71 c #Conflicts: 131000 | #Constraints: 17776
438.21/439.71 c INPROCESSING
438.21/439.71 c GARBAGE COLLECT
438.21/439.71 c #Conflicts: 132000 | #Constraints: 11581
438.21/439.71 c #Conflicts: 133000 | #Constraints: 12581
438.21/439.71 c #Conflicts: 134000 | #Constraints: 13581
438.21/439.71 c #Conflicts: 135000 | #Constraints: 14581
438.21/439.71 c #Conflicts: 136000 | #Constraints: 15581
438.21/439.71 c #Conflicts: 137000 | #Constraints: 16581
438.21/439.71 c #Conflicts: 138000 | #Constraints: 17581
438.21/439.71 c #Conflicts: 139000 | #Constraints: 18581
438.21/439.71 c INPROCESSING
438.21/439.71 c GARBAGE COLLECT
438.21/439.71 c #Conflicts: 140000 | #Constraints: 12181
438.21/439.71 c #Conflicts: 141000 | #Constraints: 13181
438.21/439.71 c #Conflicts: 142000 | #Constraints: 14181
438.21/439.71 c #Conflicts: 143000 | #Constraints: 15181
438.21/439.71 c #Conflicts: 144000 | #Constraints: 16181
438.21/439.71 c #Conflicts: 145000 | #Constraints: 17181
438.21/439.71 c #Conflicts: 146000 | #Constraints: 18181
561.91/563.80 c #Conflicts: 147000 | #Constraints: 19181
561.91/563.80 c INPROCESSING
561.91/563.80 c GARBAGE COLLECT
561.91/563.80 c #Conflicts: 148000 | #Constraints: 12579
561.91/563.80 c #Conflicts: 149000 | #Constraints: 13579
561.91/563.80 c #Conflicts: 150000 | #Constraints: 14579
561.91/563.80 c #Conflicts: 151000 | #Constraints: 15579
561.91/563.80 c #Conflicts: 152000 | #Constraints: 16579
561.91/563.80 c #Conflicts: 153000 | #Constraints: 17579
561.91/563.80 c #Conflicts: 154000 | #Constraints: 18579
561.91/563.80 c #Conflicts: 155000 | #Constraints: 19579
561.91/563.80 c INPROCESSING
561.91/563.80 c GARBAGE COLLECT
561.91/563.80 c #Conflicts: 156000 | #Constraints: 12781
561.91/563.80 c #Conflicts: 157000 | #Constraints: 13781
561.91/563.80 c #Conflicts: 158000 | #Constraints: 14781
561.91/563.80 c #Conflicts: 159000 | #Constraints: 15781
561.91/563.80 c #Conflicts: 160000 | #Constraints: 16781
561.91/563.80 c #Conflicts: 161000 | #Constraints: 17781
561.91/563.80 c #Conflicts: 162000 | #Constraints: 18781
561.91/563.80 c #Conflicts: 163000 | #Constraints: 19781
561.91/563.80 c INPROCESSING
561.91/563.80 c GARBAGE COLLECT
561.91/563.80 c #Conflicts: 164000 | #Constraints: 12783
561.91/563.80 c #Conflicts: 165000 | #Constraints: 13783
561.91/563.80 c #Conflicts: 166000 | #Constraints: 14783
561.91/563.80 c #Conflicts: 167000 | #Constraints: 15783
561.91/563.80 c #Conflicts: 168000 | #Constraints: 16783
561.91/563.80 c #Conflicts: 169000 | #Constraints: 17783
561.91/563.80 c #Conflicts: 170000 | #Constraints: 18783
561.91/563.80 c #Conflicts: 171000 | #Constraints: 19783
561.91/563.80 c INPROCESSING
561.91/563.80 c GARBAGE COLLECT
561.91/563.80 c #Conflicts: 172000 | #Constraints: 12576
561.91/563.80 c #Conflicts: 173000 | #Constraints: 13576
561.91/563.80 c #Conflicts: 174000 | #Constraints: 14576
561.91/563.80 c #Conflicts: 175000 | #Constraints: 15576
561.91/563.80 c #Conflicts: 176000 | #Constraints: 16576
561.91/563.80 c #Conflicts: 177000 | #Constraints: 17576
561.91/563.80 c #Conflicts: 178000 | #Constraints: 18576
561.91/563.80 c #Conflicts: 179000 | #Constraints: 19576
561.91/563.80 c #Conflicts: 180000 | #Constraints: 20576
561.91/563.80 c INPROCESSING
561.91/563.80 c GARBAGE COLLECT
561.91/563.80 c #Conflicts: 181000 | #Constraints: 13176
561.91/563.80 c #Conflicts: 182000 | #Constraints: 14176
561.91/563.80 c #Conflicts: 183000 | #Constraints: 15176
561.91/563.80 c #Conflicts: 184000 | #Constraints: 16176
561.91/563.80 c #Conflicts: 185000 | #Constraints: 17176
561.91/563.80 c #Conflicts: 186000 | #Constraints: 18176
561.91/563.80 c #Conflicts: 187000 | #Constraints: 19176
561.91/563.80 c #Conflicts: 188000 | #Constraints: 20176
561.91/563.80 c #Conflicts: 189000 | #Constraints: 21176
561.91/563.80 c INPROCESSING
561.91/563.80 c GARBAGE COLLECT
561.91/563.80 c #Conflicts: 190000 | #Constraints: 13579
561.91/563.80 c #Conflicts: 191000 | #Constraints: 14579
561.91/563.80 c #Conflicts: 192000 | #Constraints: 15579
561.91/563.80 c #Conflicts: 193000 | #Constraints: 16579
561.91/563.80 c #Conflicts: 194000 | #Constraints: 17579
561.91/563.80 c #Conflicts: 195000 | #Constraints: 18579
561.91/563.80 c #Conflicts: 196000 | #Constraints: 19579
561.91/563.80 c #Conflicts: 197000 | #Constraints: 20579
561.91/563.80 c #Conflicts: 198000 | #Constraints: 21579
561.91/563.80 c INPROCESSING
561.91/563.80 c GARBAGE COLLECT
561.91/563.80 c #Conflicts: 199000 | #Constraints: 13786
561.91/563.80 c #Conflicts: 200000 | #Constraints: 14786
561.91/563.80 c #Conflicts: 201000 | #Constraints: 15786
561.91/563.80 c #Conflicts: 202000 | #Constraints: 16786
561.91/563.80 c #Conflicts: 203000 | #Constraints: 17786
561.91/563.80 c #Conflicts: 204000 | #Constraints: 18786
561.91/563.80 c #Conflicts: 205000 | #Constraints: 19786
561.91/563.80 c #Conflicts: 206000 | #Constraints: 20786
561.91/563.80 c #Conflicts: 207000 | #Constraints: 21786
561.91/563.80 c INPROCESSING
561.91/563.80 c GARBAGE COLLECT
561.91/563.80 c #Conflicts: 208000 | #Constraints: 13784
561.91/563.80 c #Conflicts: 209000 | #Constraints: 14784
561.91/563.80 c #Conflicts: 210000 | #Constraints: 15784
561.91/563.80 c #Conflicts: 211000 | #Constraints: 16784
561.91/563.80 c #Conflicts: 212000 | #Constraints: 17784
561.91/563.80 c #Conflicts: 213000 | #Constraints: 18784
561.91/563.80 c #Conflicts: 214000 | #Constraints: 19784
561.91/563.80 c #Conflicts: 215000 | #Constraints: 20784
561.91/563.80 c #Conflicts: 216000 | #Constraints: 21784
561.91/563.80 c INPROCESSING
561.91/563.80 c GARBAGE COLLECT
561.91/563.80 c #Conflicts: 217000 | #Constraints: 13586
561.91/563.80 c #Conflicts: 218000 | #Constraints: 14586
561.91/563.80 c #Conflicts: 219000 | #Constraints: 15586
695.36/697.68 c #Conflicts: 220000 | #Constraints: 16586
695.36/697.68 c #Conflicts: 221000 | #Constraints: 17586
695.36/697.68 c #Conflicts: 222000 | #Constraints: 18586
695.36/697.68 c #Conflicts: 223000 | #Constraints: 19586
695.36/697.68 c #Conflicts: 224000 | #Constraints: 20586
695.36/697.68 c #Conflicts: 225000 | #Constraints: 21586
695.36/697.68 c #Conflicts: 226000 | #Constraints: 22586
695.36/697.68 c INPROCESSING
695.36/697.68 c GARBAGE COLLECT
695.36/697.68 c #Conflicts: 227000 | #Constraints: 14191
695.36/697.68 c #Conflicts: 228000 | #Constraints: 15191
695.36/697.68 c #Conflicts: 229000 | #Constraints: 16191
695.36/697.68 c #Conflicts: 230000 | #Constraints: 17191
695.36/697.68 c #Conflicts: 231000 | #Constraints: 18191
695.36/697.68 c #Conflicts: 232000 | #Constraints: 19191
695.36/697.68 c #Conflicts: 233000 | #Constraints: 20191
695.36/697.68 c #Conflicts: 234000 | #Constraints: 21191
695.36/697.68 c #Conflicts: 235000 | #Constraints: 22191
695.36/697.68 c #Conflicts: 236000 | #Constraints: 23191
695.36/697.68 c INPROCESSING
695.36/697.68 c GARBAGE COLLECT
695.36/697.68 c #Conflicts: 237000 | #Constraints: 14587
695.36/697.68 c #Conflicts: 238000 | #Constraints: 15587
695.36/697.68 c #Conflicts: 239000 | #Constraints: 16587
695.36/697.68 c #Conflicts: 240000 | #Constraints: 17587
695.36/697.68 c #Conflicts: 241000 | #Constraints: 18587
695.36/697.68 c #Conflicts: 242000 | #Constraints: 19587
695.36/697.68 c #Conflicts: 243000 | #Constraints: 20587
695.36/697.68 c #Conflicts: 244000 | #Constraints: 21587
695.36/697.68 c #Conflicts: 245000 | #Constraints: 22587
695.36/697.68 c #Conflicts: 246000 | #Constraints: 23587
695.36/697.68 c INPROCESSING
695.36/697.68 c GARBAGE COLLECT
695.36/697.68 c #Conflicts: 247000 | #Constraints: 14789
695.36/697.68 c #Conflicts: 248000 | #Constraints: 15789
695.36/697.68 c #Conflicts: 249000 | #Constraints: 16789
695.36/697.68 c #Conflicts: 250000 | #Constraints: 17789
695.36/697.68 c #Conflicts: 251000 | #Constraints: 18789
695.36/697.68 c #Conflicts: 252000 | #Constraints: 19789
695.36/697.68 c #Conflicts: 253000 | #Constraints: 20789
695.36/697.68 c #Conflicts: 254000 | #Constraints: 21789
695.36/697.68 c #Conflicts: 255000 | #Constraints: 22789
695.36/697.68 c #Conflicts: 256000 | #Constraints: 23789
695.36/697.68 c INPROCESSING
695.36/697.68 c GARBAGE COLLECT
695.36/697.68 c #Conflicts: 257000 | #Constraints: 14785
695.36/697.68 c #Conflicts: 258000 | #Constraints: 15785
695.36/697.68 c #Conflicts: 259000 | #Constraints: 16785
695.36/697.68 c #Conflicts: 260000 | #Constraints: 17785
695.36/697.68 c #Conflicts: 261000 | #Constraints: 18785
695.36/697.68 c #Conflicts: 262000 | #Constraints: 19785
695.36/697.68 c #Conflicts: 263000 | #Constraints: 20785
695.36/697.68 c #Conflicts: 264000 | #Constraints: 21785
695.36/697.68 c #Conflicts: 265000 | #Constraints: 22785
695.36/697.68 c #Conflicts: 266000 | #Constraints: 23785
695.36/697.68 c INPROCESSING
695.36/697.68 c GARBAGE COLLECT
695.36/697.68 c #Conflicts: 267000 | #Constraints: 14584
695.36/697.68 c #Conflicts: 268000 | #Constraints: 15584
695.36/697.68 c #Conflicts: 269000 | #Constraints: 16584
695.36/697.68 c #Conflicts: 270000 | #Constraints: 17584
695.36/697.68 c #Conflicts: 271000 | #Constraints: 18584
695.36/697.68 c #Conflicts: 272000 | #Constraints: 19584
695.36/697.68 c #Conflicts: 273000 | #Constraints: 20584
695.36/697.68 c #Conflicts: 274000 | #Constraints: 21584
695.36/697.68 c #Conflicts: 275000 | #Constraints: 22584
695.36/697.68 c #Conflicts: 276000 | #Constraints: 23584
695.36/697.68 c #Conflicts: 277000 | #Constraints: 24584
695.36/697.68 c INPROCESSING
695.36/697.68 c GARBAGE COLLECT
695.36/697.68 c #Conflicts: 278000 | #Constraints: 15186
695.36/697.68 c #Conflicts: 279000 | #Constraints: 16186
695.36/697.68 c #Conflicts: 280000 | #Constraints: 17186
695.36/697.68 c #Conflicts: 281000 | #Constraints: 18186
695.36/697.68 c #Conflicts: 282000 | #Constraints: 19186
695.36/697.68 c #Conflicts: 283000 | #Constraints: 20186
695.36/697.68 c #Conflicts: 284000 | #Constraints: 21186
695.36/697.68 c #Conflicts: 285000 | #Constraints: 22186
695.36/697.68 c #Conflicts: 286000 | #Constraints: 23186
695.36/697.68 c #Conflicts: 287000 | #Constraints: 24186
695.36/697.68 c #Conflicts: 288000 | #Constraints: 25186
695.36/697.68 c INPROCESSING
695.36/697.68 c GARBAGE COLLECT
695.36/697.68 c #Conflicts: 289000 | #Constraints: 15584
695.36/697.68 c #Conflicts: 290000 | #Constraints: 16584
695.36/697.68 c #Conflicts: 291000 | #Constraints: 17584
695.36/697.68 c #Conflicts: 292000 | #Constraints: 18584
695.36/697.68 c #Conflicts: 293000 | #Constraints: 19584
866.32/869.05 c #Conflicts: 294000 | #Constraints: 20584
866.32/869.05 c #Conflicts: 295000 | #Constraints: 21584
866.32/869.05 c #Conflicts: 296000 | #Constraints: 22584
866.32/869.05 c #Conflicts: 297000 | #Constraints: 23584
866.32/869.05 c #Conflicts: 298000 | #Constraints: 24584
866.32/869.05 c #Conflicts: 299000 | #Constraints: 25584
866.32/869.05 c INPROCESSING
866.32/869.05 c GARBAGE COLLECT
866.32/869.05 c #Conflicts: 300000 | #Constraints: 15781
866.32/869.05 c #Conflicts: 301000 | #Constraints: 16781
866.32/869.05 c #Conflicts: 302000 | #Constraints: 17781
866.32/869.05 c #Conflicts: 303000 | #Constraints: 18781
866.32/869.05 c #Conflicts: 304000 | #Constraints: 19781
866.32/869.05 c #Conflicts: 305000 | #Constraints: 20781
866.32/869.05 c #Conflicts: 306000 | #Constraints: 21781
866.32/869.05 c #Conflicts: 307000 | #Constraints: 22781
866.32/869.05 c #Conflicts: 308000 | #Constraints: 23781
866.32/869.05 c #Conflicts: 309000 | #Constraints: 24781
866.32/869.05 c #Conflicts: 310000 | #Constraints: 25781
866.32/869.05 c INPROCESSING
866.32/869.05 c GARBAGE COLLECT
866.32/869.05 c #Conflicts: 311000 | #Constraints: 15784
866.32/869.05 c #Conflicts: 312000 | #Constraints: 16784
866.32/869.05 c #Conflicts: 313000 | #Constraints: 17784
866.32/869.05 c #Conflicts: 314000 | #Constraints: 18784
866.32/869.05 c #Conflicts: 315000 | #Constraints: 19784
866.32/869.05 c #Conflicts: 316000 | #Constraints: 20784
866.32/869.05 c #Conflicts: 317000 | #Constraints: 21784
866.32/869.05 c #Conflicts: 318000 | #Constraints: 22784
866.32/869.05 c #Conflicts: 319000 | #Constraints: 23784
866.32/869.05 c #Conflicts: 320000 | #Constraints: 24784
866.32/869.05 c #Conflicts: 321000 | #Constraints: 25784
866.32/869.05 c INPROCESSING
866.32/869.05 c GARBAGE COLLECT
866.32/869.05 c #Conflicts: 322000 | #Constraints: 15579
866.32/869.05 c #Conflicts: 323000 | #Constraints: 16579
866.32/869.05 c #Conflicts: 324000 | #Constraints: 17579
866.32/869.05 c #Conflicts: 325000 | #Constraints: 18579
866.32/869.05 c #Conflicts: 326000 | #Constraints: 19579
866.32/869.05 c #Conflicts: 327000 | #Constraints: 20579
866.32/869.05 c #Conflicts: 328000 | #Constraints: 21579
866.32/869.05 c #Conflicts: 329000 | #Constraints: 22579
866.32/869.05 c #Conflicts: 330000 | #Constraints: 23579
866.32/869.05 c #Conflicts: 331000 | #Constraints: 24579
866.32/869.05 c #Conflicts: 332000 | #Constraints: 25579
866.32/869.05 c #Conflicts: 333000 | #Constraints: 26579
866.32/869.05 c INPROCESSING
866.32/869.05 c GARBAGE COLLECT
866.32/869.05 c #Conflicts: 334000 | #Constraints: 16192
866.32/869.05 c #Conflicts: 335000 | #Constraints: 17192
866.32/869.05 c #Conflicts: 336000 | #Constraints: 18192
866.32/869.05 c #Conflicts: 337000 | #Constraints: 19192
866.32/869.05 c #Conflicts: 338000 | #Constraints: 20192
866.32/869.05 c #Conflicts: 339000 | #Constraints: 21192
866.32/869.05 c #Conflicts: 340000 | #Constraints: 22192
866.32/869.05 c #Conflicts: 341000 | #Constraints: 23192
866.32/869.05 c #Conflicts: 342000 | #Constraints: 24192
866.32/869.05 c #Conflicts: 343000 | #Constraints: 25192
866.32/869.05 c #Conflicts: 344000 | #Constraints: 26192
866.32/869.05 c #Conflicts: 345000 | #Constraints: 27192
866.32/869.05 c INPROCESSING
866.32/869.05 c GARBAGE COLLECT
866.32/869.05 c #Conflicts: 346000 | #Constraints: 16590
866.32/869.05 c #Conflicts: 347000 | #Constraints: 17590
866.32/869.05 c #Conflicts: 348000 | #Constraints: 18590
866.32/869.05 c #Conflicts: 349000 | #Constraints: 19590
866.32/869.05 c #Conflicts: 350000 | #Constraints: 20590
866.32/869.05 c #Conflicts: 351000 | #Constraints: 21590
866.32/869.05 c #Conflicts: 352000 | #Constraints: 22590
866.32/869.05 c #Conflicts: 353000 | #Constraints: 23590
866.32/869.05 c #Conflicts: 354000 | #Constraints: 24590
866.32/869.05 c #Conflicts: 355000 | #Constraints: 25590
866.32/869.05 c #Conflicts: 356000 | #Constraints: 26590
866.32/869.05 c #Conflicts: 357000 | #Constraints: 27590
866.32/869.05 c INPROCESSING
866.32/869.05 c GARBAGE COLLECT
866.32/869.05 c #Conflicts: 358000 | #Constraints: 16794
866.32/869.05 c #Conflicts: 359000 | #Constraints: 17794
866.32/869.05 c #Conflicts: 360000 | #Constraints: 18794
866.32/869.05 c #Conflicts: 361000 | #Constraints: 19794
866.32/869.05 c #Conflicts: 362000 | #Constraints: 20794
866.32/869.05 c #Conflicts: 363000 | #Constraints: 21794
866.32/869.05 c #Conflicts: 364000 | #Constraints: 22794
866.32/869.05 c #Conflicts: 365000 | #Constraints: 23794
866.32/869.05 c #Conflicts: 366000 | #Constraints: 24794
866.32/869.05 c #Conflicts: 367000 | #Constraints: 25794
866.32/869.05 c #Conflicts: 368000 | #Constraints: 26794
1064.99/1068.27 c #Conflicts: 369000 | #Constraints: 27794
1064.99/1068.27 c INPROCESSING
1064.99/1068.27 c GARBAGE COLLECT
1064.99/1068.27 c #Conflicts: 370000 | #Constraints: 16797
1064.99/1068.27 c #Conflicts: 371000 | #Constraints: 17797
1064.99/1068.27 c #Conflicts: 372000 | #Constraints: 18797
1064.99/1068.27 c #Conflicts: 373000 | #Constraints: 19797
1064.99/1068.27 c #Conflicts: 374000 | #Constraints: 20797
1064.99/1068.27 c #Conflicts: 375000 | #Constraints: 21797
1064.99/1068.27 c #Conflicts: 376000 | #Constraints: 22797
1064.99/1068.27 c #Conflicts: 377000 | #Constraints: 23797
1064.99/1068.27 c #Conflicts: 378000 | #Constraints: 24797
1064.99/1068.27 c #Conflicts: 379000 | #Constraints: 25797
1064.99/1068.27 c #Conflicts: 380000 | #Constraints: 26797
1064.99/1068.27 c #Conflicts: 381000 | #Constraints: 27797
1064.99/1068.27 c INPROCESSING
1064.99/1068.27 c GARBAGE COLLECT
1064.99/1068.27 c #Conflicts: 382000 | #Constraints: 16591
1064.99/1068.27 c #Conflicts: 383000 | #Constraints: 17591
1064.99/1068.27 c #Conflicts: 384000 | #Constraints: 18591
1064.99/1068.27 c #Conflicts: 385000 | #Constraints: 19591
1064.99/1068.27 c #Conflicts: 386000 | #Constraints: 20591
1064.99/1068.27 c #Conflicts: 387000 | #Constraints: 21591
1064.99/1068.27 c #Conflicts: 388000 | #Constraints: 22591
1064.99/1068.27 c #Conflicts: 389000 | #Constraints: 23591
1064.99/1068.27 c #Conflicts: 390000 | #Constraints: 24591
1064.99/1068.27 c #Conflicts: 391000 | #Constraints: 25591
1064.99/1068.27 c #Conflicts: 392000 | #Constraints: 26591
1064.99/1068.27 c #Conflicts: 393000 | #Constraints: 27591
1064.99/1068.27 c #Conflicts: 394000 | #Constraints: 28591
1064.99/1068.27 c INPROCESSING
1064.99/1068.27 c GARBAGE COLLECT
1064.99/1068.27 c #Conflicts: 395000 | #Constraints: 17195
1064.99/1068.27 c #Conflicts: 396000 | #Constraints: 18195
1064.99/1068.27 c #Conflicts: 397000 | #Constraints: 19195
1064.99/1068.27 c #Conflicts: 398000 | #Constraints: 20195
1064.99/1068.27 c #Conflicts: 399000 | #Constraints: 21195
1064.99/1068.27 c #Conflicts: 400000 | #Constraints: 22195
1064.99/1068.27 c #Conflicts: 401000 | #Constraints: 23195
1064.99/1068.27 c #Conflicts: 402000 | #Constraints: 24195
1064.99/1068.27 c #Conflicts: 403000 | #Constraints: 25195
1064.99/1068.27 c #Conflicts: 404000 | #Constraints: 26195
1064.99/1068.27 c #Conflicts: 405000 | #Constraints: 27195
1064.99/1068.27 c #Conflicts: 406000 | #Constraints: 28195
1064.99/1068.27 c #Conflicts: 407000 | #Constraints: 29195
1064.99/1068.27 c INPROCESSING
1064.99/1068.27 c GARBAGE COLLECT
1064.99/1068.27 c #Conflicts: 408000 | #Constraints: 17598
1064.99/1068.27 c #Conflicts: 409000 | #Constraints: 18598
1064.99/1068.27 c #Conflicts: 410000 | #Constraints: 19598
1064.99/1068.27 c #Conflicts: 411000 | #Constraints: 20598
1064.99/1068.27 c #Conflicts: 412000 | #Constraints: 21598
1064.99/1068.27 c #Conflicts: 413000 | #Constraints: 22598
1064.99/1068.27 c #Conflicts: 414000 | #Constraints: 23598
1064.99/1068.27 c #Conflicts: 415000 | #Constraints: 24598
1064.99/1068.27 c #Conflicts: 416000 | #Constraints: 25598
1064.99/1068.27 c #Conflicts: 417000 | #Constraints: 26598
1064.99/1068.27 c #Conflicts: 418000 | #Constraints: 27598
1064.99/1068.27 c #Conflicts: 419000 | #Constraints: 28598
1064.99/1068.27 c #Conflicts: 420000 | #Constraints: 29598
1064.99/1068.27 c INPROCESSING
1064.99/1068.27 c GARBAGE COLLECT
1064.99/1068.27 c #Conflicts: 421000 | #Constraints: 17794
1064.99/1068.27 c #Conflicts: 422000 | #Constraints: 18794
1064.99/1068.27 c #Conflicts: 423000 | #Constraints: 19794
1064.99/1068.27 c #Conflicts: 424000 | #Constraints: 20794
1064.99/1068.27 c #Conflicts: 425000 | #Constraints: 21794
1064.99/1068.27 c #Conflicts: 426000 | #Constraints: 22794
1064.99/1068.27 c #Conflicts: 427000 | #Constraints: 23794
1064.99/1068.27 c #Conflicts: 428000 | #Constraints: 24794
1064.99/1068.27 c #Conflicts: 429000 | #Constraints: 25794
1064.99/1068.27 c #Conflicts: 430000 | #Constraints: 26794
1064.99/1068.27 c #Conflicts: 431000 | #Constraints: 27794
1064.99/1068.27 c #Conflicts: 432000 | #Constraints: 28794
1064.99/1068.27 c #Conflicts: 433000 | #Constraints: 29794
1064.99/1068.27 c INPROCESSING
1064.99/1068.27 c GARBAGE COLLECT
1064.99/1068.27 c #Conflicts: 434000 | #Constraints: 17796
1064.99/1068.27 c #Conflicts: 435000 | #Constraints: 18796
1064.99/1068.27 c #Conflicts: 436000 | #Constraints: 19796
1064.99/1068.27 c #Conflicts: 437000 | #Constraints: 20796
1064.99/1068.27 c #Conflicts: 438000 | #Constraints: 21796
1064.99/1068.27 c #Conflicts: 439000 | #Constraints: 22796
1064.99/1068.27 c #Conflicts: 440000 | #Constraints: 23796
1064.99/1068.27 c #Conflicts: 441000 | #Constraints: 24796
1064.99/1068.27 c #Conflicts: 442000 | #Constraints: 25796
1064.99/1068.27 c #Conflicts: 443000 | #Constraints: 26796
1265.89/1269.64 c #Conflicts: 444000 | #Constraints: 27796
1265.89/1269.64 c #Conflicts: 445000 | #Constraints: 28796
1265.89/1269.64 c #Conflicts: 446000 | #Constraints: 29796
1265.89/1269.64 c INPROCESSING
1265.89/1269.64 c GARBAGE COLLECT
1265.89/1269.64 c #Conflicts: 447000 | #Constraints: 17591
1265.89/1269.64 c #Conflicts: 448000 | #Constraints: 18591
1265.89/1269.64 c #Conflicts: 449000 | #Constraints: 19591
1265.89/1269.64 c #Conflicts: 450000 | #Constraints: 20591
1265.89/1269.64 c #Conflicts: 451000 | #Constraints: 21591
1265.89/1269.64 c #Conflicts: 452000 | #Constraints: 22591
1265.89/1269.64 c #Conflicts: 453000 | #Constraints: 23591
1265.89/1269.64 c #Conflicts: 454000 | #Constraints: 24591
1265.89/1269.64 c #Conflicts: 455000 | #Constraints: 25591
1265.89/1269.64 c #Conflicts: 456000 | #Constraints: 26591
1265.89/1269.64 c #Conflicts: 457000 | #Constraints: 27591
1265.89/1269.64 c #Conflicts: 458000 | #Constraints: 28591
1265.89/1269.64 c #Conflicts: 459000 | #Constraints: 29591
1265.89/1269.64 c #Conflicts: 460000 | #Constraints: 30591
1265.89/1269.64 c INPROCESSING
1265.89/1269.64 c GARBAGE COLLECT
1265.89/1269.64 c #Conflicts: 461000 | #Constraints: 18193
1265.89/1269.64 c #Conflicts: 462000 | #Constraints: 19193
1265.89/1269.64 c #Conflicts: 463000 | #Constraints: 20193
1265.89/1269.64 c #Conflicts: 464000 | #Constraints: 21193
1265.89/1269.64 c #Conflicts: 465000 | #Constraints: 22193
1265.89/1269.64 c #Conflicts: 466000 | #Constraints: 23193
1265.89/1269.64 c #Conflicts: 467000 | #Constraints: 24193
1265.89/1269.64 c #Conflicts: 468000 | #Constraints: 25193
1265.89/1269.64 c #Conflicts: 469000 | #Constraints: 26193
1265.89/1269.64 c #Conflicts: 470000 | #Constraints: 27193
1265.89/1269.64 c #Conflicts: 471000 | #Constraints: 28193
1265.89/1269.64 c #Conflicts: 472000 | #Constraints: 29193
1265.89/1269.64 c #Conflicts: 473000 | #Constraints: 30193
1265.89/1269.64 c #Conflicts: 474000 | #Constraints: 31193
1265.89/1269.64 c INPROCESSING
1265.89/1269.64 c GARBAGE COLLECT
1265.89/1269.64 c #Conflicts: 475000 | #Constraints: 18588
1265.89/1269.64 c #Conflicts: 476000 | #Constraints: 19588
1265.89/1269.64 c #Conflicts: 477000 | #Constraints: 20588
1265.89/1269.64 c #Conflicts: 478000 | #Constraints: 21588
1265.89/1269.64 c #Conflicts: 479000 | #Constraints: 22588
1265.89/1269.64 c #Conflicts: 480000 | #Constraints: 23588
1265.89/1269.64 c #Conflicts: 481000 | #Constraints: 24588
1265.89/1269.64 c #Conflicts: 482000 | #Constraints: 25588
1265.89/1269.64 c #Conflicts: 483000 | #Constraints: 26588
1265.89/1269.64 c #Conflicts: 484000 | #Constraints: 27588
1265.89/1269.64 c #Conflicts: 485000 | #Constraints: 28588
1265.89/1269.64 c #Conflicts: 486000 | #Constraints: 29588
1265.89/1269.64 c #Conflicts: 487000 | #Constraints: 30588
1265.89/1269.64 c #Conflicts: 488000 | #Constraints: 31588
1265.89/1269.64 c INPROCESSING
1265.89/1269.64 c GARBAGE COLLECT
1265.89/1269.64 c #Conflicts: 489000 | #Constraints: 18782
1265.89/1269.64 c #Conflicts: 490000 | #Constraints: 19782
1265.89/1269.64 c #Conflicts: 491000 | #Constraints: 20782
1265.89/1269.64 c #Conflicts: 492000 | #Constraints: 21782
1265.89/1269.64 c #Conflicts: 493000 | #Constraints: 22782
1265.89/1269.64 c #Conflicts: 494000 | #Constraints: 23782
1265.89/1269.64 c #Conflicts: 495000 | #Constraints: 24782
1265.89/1269.64 c #Conflicts: 496000 | #Constraints: 25782
1265.89/1269.64 c #Conflicts: 497000 | #Constraints: 26782
1265.89/1269.64 c #Conflicts: 498000 | #Constraints: 27782
1265.89/1269.64 c #Conflicts: 499000 | #Constraints: 28782
1265.89/1269.64 c #Conflicts: 500000 | #Constraints: 29782
1265.89/1269.64 c #Conflicts: 501000 | #Constraints: 30782
1265.89/1269.64 c #Conflicts: 502000 | #Constraints: 31782
1265.89/1269.64 c INPROCESSING
1265.89/1269.64 c GARBAGE COLLECT
1265.89/1269.64 c #Conflicts: 503000 | #Constraints: 18774
1265.89/1269.64 c #Conflicts: 504000 | #Constraints: 19774
1265.89/1269.64 c #Conflicts: 505000 | #Constraints: 20774
1265.89/1269.64 c #Conflicts: 506000 | #Constraints: 21774
1265.89/1269.64 c #Conflicts: 507000 | #Constraints: 22774
1265.89/1269.64 c #Conflicts: 508000 | #Constraints: 23774
1265.89/1269.64 c #Conflicts: 509000 | #Constraints: 24774
1265.89/1269.64 c #Conflicts: 510000 | #Constraints: 25774
1265.89/1269.64 c #Conflicts: 511000 | #Constraints: 26774
1265.89/1269.64 c #Conflicts: 512000 | #Constraints: 27774
1265.89/1269.64 c #Conflicts: 513000 | #Constraints: 28774
1265.89/1269.64 c #Conflicts: 514000 | #Constraints: 29774
1265.89/1269.64 c #Conflicts: 515000 | #Constraints: 30774
1265.89/1269.64 c #Conflicts: 516000 | #Constraints: 31774
1265.89/1269.64 c INPROCESSING
1265.89/1269.64 c GARBAGE COLLECT
1265.89/1269.64 c #Conflicts: 517000 | #Constraints: 18569
1265.89/1269.64 c #Conflicts: 518000 | #Constraints: 19569
1532.89/1537.34 c #Conflicts: 519000 | #Constraints: 20569
1532.89/1537.34 c #Conflicts: 520000 | #Constraints: 21569
1532.89/1537.34 c #Conflicts: 521000 | #Constraints: 22569
1532.89/1537.34 c #Conflicts: 522000 | #Constraints: 23569
1532.89/1537.34 c #Conflicts: 523000 | #Constraints: 24569
1532.89/1537.34 c #Conflicts: 524000 | #Constraints: 25569
1532.89/1537.34 c #Conflicts: 525000 | #Constraints: 26569
1532.89/1537.34 c #Conflicts: 526000 | #Constraints: 27569
1532.89/1537.34 c #Conflicts: 527000 | #Constraints: 28569
1532.89/1537.34 c #Conflicts: 528000 | #Constraints: 29569
1532.89/1537.34 c #Conflicts: 529000 | #Constraints: 30569
1532.89/1537.34 c #Conflicts: 530000 | #Constraints: 31569
1532.89/1537.34 c #Conflicts: 531000 | #Constraints: 32569
1532.89/1537.34 c INPROCESSING
1532.89/1537.34 c GARBAGE COLLECT
1532.89/1537.34 c #Conflicts: 532000 | #Constraints: 19171
1532.89/1537.34 c #Conflicts: 533000 | #Constraints: 20171
1532.89/1537.34 c #Conflicts: 534000 | #Constraints: 21171
1532.89/1537.34 c #Conflicts: 535000 | #Constraints: 22171
1532.89/1537.34 c #Conflicts: 536000 | #Constraints: 23171
1532.89/1537.34 c #Conflicts: 537000 | #Constraints: 24171
1532.89/1537.34 c #Conflicts: 538000 | #Constraints: 25171
1532.89/1537.34 c #Conflicts: 539000 | #Constraints: 26171
1532.89/1537.34 c #Conflicts: 540000 | #Constraints: 27171
1532.89/1537.34 c #Conflicts: 541000 | #Constraints: 28171
1532.89/1537.34 c #Conflicts: 542000 | #Constraints: 29171
1532.89/1537.34 c #Conflicts: 543000 | #Constraints: 30171
1532.89/1537.34 c #Conflicts: 544000 | #Constraints: 31171
1532.89/1537.34 c #Conflicts: 545000 | #Constraints: 32171
1532.89/1537.34 c #Conflicts: 546000 | #Constraints: 33171
1532.89/1537.34 c INPROCESSING
1532.89/1537.34 c GARBAGE COLLECT
1532.89/1537.34 c #Conflicts: 547000 | #Constraints: 19567
1532.89/1537.34 c #Conflicts: 548000 | #Constraints: 20567
1532.89/1537.34 c #Conflicts: 549000 | #Constraints: 21567
1532.89/1537.34 c #Conflicts: 550000 | #Constraints: 22567
1532.89/1537.34 c #Conflicts: 551000 | #Constraints: 23567
1532.89/1537.34 c #Conflicts: 552000 | #Constraints: 24567
1532.89/1537.34 c #Conflicts: 553000 | #Constraints: 25567
1532.89/1537.34 c #Conflicts: 554000 | #Constraints: 26567
1532.89/1537.34 c #Conflicts: 555000 | #Constraints: 27567
1532.89/1537.34 c #Conflicts: 556000 | #Constraints: 28567
1532.89/1537.34 c #Conflicts: 557000 | #Constraints: 29567
1532.89/1537.34 c #Conflicts: 558000 | #Constraints: 30567
1532.89/1537.34 c #Conflicts: 559000 | #Constraints: 31567
1532.89/1537.34 c #Conflicts: 560000 | #Constraints: 32567
1532.89/1537.34 c #Conflicts: 561000 | #Constraints: 33567
1532.89/1537.34 c INPROCESSING
1532.89/1537.34 c GARBAGE COLLECT
1532.89/1537.34 c #Conflicts: 562000 | #Constraints: 19770
1532.89/1537.34 c #Conflicts: 563000 | #Constraints: 20770
1532.89/1537.34 c #Conflicts: 564000 | #Constraints: 21770
1532.89/1537.34 c #Conflicts: 565000 | #Constraints: 22770
1532.89/1537.34 c #Conflicts: 566000 | #Constraints: 23770
1532.89/1537.34 c #Conflicts: 567000 | #Constraints: 24770
1532.89/1537.34 c #Conflicts: 568000 | #Constraints: 25770
1532.89/1537.34 c #Conflicts: 569000 | #Constraints: 26770
1532.89/1537.34 c #Conflicts: 570000 | #Constraints: 27770
1532.89/1537.34 c #Conflicts: 571000 | #Constraints: 28770
1532.89/1537.34 c #Conflicts: 572000 | #Constraints: 29770
1532.89/1537.34 c #Conflicts: 573000 | #Constraints: 30770
1532.89/1537.34 c #Conflicts: 574000 | #Constraints: 31770
1532.89/1537.34 c #Conflicts: 575000 | #Constraints: 32770
1532.89/1537.34 c #Conflicts: 576000 | #Constraints: 33770
1532.89/1537.34 c INPROCESSING
1532.89/1537.34 c GARBAGE COLLECT
1532.89/1537.34 c #Conflicts: 577000 | #Constraints: 19776
1532.89/1537.34 c #Conflicts: 578000 | #Constraints: 20776
1532.89/1537.34 c #Conflicts: 579000 | #Constraints: 21776
1532.89/1537.34 c #Conflicts: 580000 | #Constraints: 22776
1532.89/1537.34 c #Conflicts: 581000 | #Constraints: 23776
1532.89/1537.34 c #Conflicts: 582000 | #Constraints: 24776
1532.89/1537.34 c #Conflicts: 583000 | #Constraints: 25776
1532.89/1537.34 c #Conflicts: 584000 | #Constraints: 26776
1532.89/1537.34 c #Conflicts: 585000 | #Constraints: 27776
1532.89/1537.34 c #Conflicts: 586000 | #Constraints: 28776
1532.89/1537.34 c #Conflicts: 587000 | #Constraints: 29776
1532.89/1537.34 c #Conflicts: 588000 | #Constraints: 30776
1532.89/1537.34 c #Conflicts: 589000 | #Constraints: 31776
1532.89/1537.34 c #Conflicts: 590000 | #Constraints: 32776
1532.89/1537.34 c #Conflicts: 591000 | #Constraints: 33776
1532.89/1537.34 c INPROCESSING
1532.89/1537.34 c GARBAGE COLLECT
1532.89/1537.34 c #Conflicts: 592000 | #Constraints: 19575
1532.89/1537.34 c #Conflicts: 593000 | #Constraints: 20575
1780.24/1785.38 c #Conflicts: 594000 | #Constraints: 21575
1780.24/1785.38 c #Conflicts: 595000 | #Constraints: 22575
1780.24/1785.38 c #Conflicts: 596000 | #Constraints: 23575
1780.24/1785.38 c #Conflicts: 597000 | #Constraints: 24575
1780.24/1785.38 c #Conflicts: 598000 | #Constraints: 25575
1780.24/1785.38 c #Conflicts: 599000 | #Constraints: 26575
1780.24/1785.38 c #Conflicts: 600000 | #Constraints: 27575
1780.24/1785.38 c #Conflicts: 601000 | #Constraints: 28575
1780.24/1785.38 c #Conflicts: 602000 | #Constraints: 29575
1780.24/1785.38 c #Conflicts: 603000 | #Constraints: 30575
1780.24/1785.38 c #Conflicts: 604000 | #Constraints: 31575
1780.24/1785.38 c #Conflicts: 605000 | #Constraints: 32575
1780.24/1785.38 c #Conflicts: 606000 | #Constraints: 33575
1780.24/1785.38 c #Conflicts: 607000 | #Constraints: 34575
1780.24/1785.38 c INPROCESSING
1780.24/1785.38 c GARBAGE COLLECT
1780.24/1785.38 c #Conflicts: 608000 | #Constraints: 20176
1780.24/1785.38 c #Conflicts: 609000 | #Constraints: 21176
1780.24/1785.38 c #Conflicts: 610000 | #Constraints: 22176
1780.24/1785.38 c #Conflicts: 611000 | #Constraints: 23176
1780.24/1785.38 c #Conflicts: 612000 | #Constraints: 24176
1780.24/1785.38 c #Conflicts: 613000 | #Constraints: 25176
1780.24/1785.38 c #Conflicts: 614000 | #Constraints: 26176
1780.24/1785.38 c #Conflicts: 615000 | #Constraints: 27176
1780.24/1785.38 c #Conflicts: 616000 | #Constraints: 28176
1780.24/1785.38 c #Conflicts: 617000 | #Constraints: 29176
1780.24/1785.38 c #Conflicts: 618000 | #Constraints: 30176
1780.24/1785.38 c #Conflicts: 619000 | #Constraints: 31176
1780.24/1785.38 c #Conflicts: 620000 | #Constraints: 32176
1780.24/1785.38 c #Conflicts: 621000 | #Constraints: 33176
1780.24/1785.38 c #Conflicts: 622000 | #Constraints: 34176
1780.24/1785.38 c #Conflicts: 623000 | #Constraints: 35176
1780.24/1785.38 c INPROCESSING
1780.24/1785.38 c GARBAGE COLLECT
1780.24/1785.38 c #Conflicts: 624000 | #Constraints: 20576
1780.24/1785.38 c #Conflicts: 625000 | #Constraints: 21576
1780.24/1785.38 c #Conflicts: 626000 | #Constraints: 22576
1780.24/1785.38 c #Conflicts: 627000 | #Constraints: 23576
1780.24/1785.38 c #Conflicts: 628000 | #Constraints: 24576
1780.24/1785.38 c #Conflicts: 629000 | #Constraints: 25576
1780.24/1785.38 c #Conflicts: 630000 | #Constraints: 26576
1780.24/1785.38 c #Conflicts: 631000 | #Constraints: 27576
1780.24/1785.38 c #Conflicts: 632000 | #Constraints: 28576
1780.24/1785.38 c #Conflicts: 633000 | #Constraints: 29576
1780.24/1785.38 c #Conflicts: 634000 | #Constraints: 30576
1780.24/1785.38 c #Conflicts: 635000 | #Constraints: 31576
1780.24/1785.38 c #Conflicts: 636000 | #Constraints: 32576
1780.24/1785.38 c #Conflicts: 637000 | #Constraints: 33576
1780.24/1785.38 c #Conflicts: 638000 | #Constraints: 34576
1780.24/1785.38 c #Conflicts: 639000 | #Constraints: 35576
1780.24/1785.38 c INPROCESSING
1780.24/1785.38 c GARBAGE COLLECT
1780.24/1785.38 c #Conflicts: 640000 | #Constraints: 20773
1780.24/1785.38 c #Conflicts: 641000 | #Constraints: 21773
1780.24/1785.38 c #Conflicts: 642000 | #Constraints: 22773
1780.24/1785.38 c #Conflicts: 643000 | #Constraints: 23773
1780.24/1785.38 c #Conflicts: 644000 | #Constraints: 24773
1780.24/1785.38 c #Conflicts: 645000 | #Constraints: 25773
1780.24/1785.38 c #Conflicts: 646000 | #Constraints: 26773
1780.24/1785.38 c #Conflicts: 647000 | #Constraints: 27773
1780.24/1785.38 c #Conflicts: 648000 | #Constraints: 28773
1780.24/1785.38 c #Conflicts: 649000 | #Constraints: 29773
1780.24/1785.38 c #Conflicts: 650000 | #Constraints: 30773
1780.24/1785.38 c #Conflicts: 651000 | #Constraints: 31773
1780.24/1785.38 c #Conflicts: 652000 | #Constraints: 32773
1780.24/1785.38 c #Conflicts: 653000 | #Constraints: 33773
1780.24/1785.38 c #Conflicts: 654000 | #Constraints: 34773
1780.24/1785.38 c #Conflicts: 655000 | #Constraints: 35773
1780.24/1785.38 c INPROCESSING
1780.24/1785.38 c GARBAGE COLLECT
1780.24/1785.38 c #Conflicts: 656000 | #Constraints: 20776
1780.24/1785.38 c #Conflicts: 657000 | #Constraints: 21776
1780.24/1785.38 c #Conflicts: 658000 | #Constraints: 22776
1780.24/1785.38 c #Conflicts: 659000 | #Constraints: 23776
1780.24/1785.38 c #Conflicts: 660000 | #Constraints: 24776
1780.24/1785.38 c #Conflicts: 661000 | #Constraints: 25776
1780.24/1785.38 c #Conflicts: 662000 | #Constraints: 26776
1780.24/1785.38 c #Conflicts: 663000 | #Constraints: 27776
1780.24/1785.38 c #Conflicts: 664000 | #Constraints: 28776
1780.24/1785.38 c #Conflicts: 665000 | #Constraints: 29776
1780.24/1785.38 c #Conflicts: 666000 | #Constraints: 30776
1780.24/1785.38 c #Conflicts: 667000 | #Constraints: 31776
1780.24/1785.38 c #Conflicts: 668000 | #Constraints: 32776
1780.24/1785.38 c #Conflicts: 669000 | #Constraints: 33776
1780.24/1785.38 c #Conflicts: 670000 | #Constraints: 34776
2012.67/2018.37 c #Conflicts: 671000 | #Constraints: 35776
2012.67/2018.37 c INPROCESSING
2012.67/2018.37 c GARBAGE COLLECT
2012.67/2018.37 c #Conflicts: 672000 | #Constraints: 20572
2012.67/2018.37 c #Conflicts: 673000 | #Constraints: 21572
2012.67/2018.37 c #Conflicts: 674000 | #Constraints: 22572
2012.67/2018.37 c #Conflicts: 675000 | #Constraints: 23572
2012.67/2018.37 c #Conflicts: 676000 | #Constraints: 24572
2012.67/2018.37 c #Conflicts: 677000 | #Constraints: 25572
2012.67/2018.37 c #Conflicts: 678000 | #Constraints: 26572
2012.67/2018.37 c #Conflicts: 679000 | #Constraints: 27572
2012.67/2018.37 c #Conflicts: 680000 | #Constraints: 28572
2012.67/2018.37 c #Conflicts: 681000 | #Constraints: 29572
2012.67/2018.37 c #Conflicts: 682000 | #Constraints: 30572
2012.67/2018.37 c #Conflicts: 683000 | #Constraints: 31572
2012.67/2018.37 c #Conflicts: 684000 | #Constraints: 32572
2012.67/2018.37 c #Conflicts: 685000 | #Constraints: 33572
2012.67/2018.37 c #Conflicts: 686000 | #Constraints: 34572
2012.67/2018.37 c #Conflicts: 687000 | #Constraints: 35572
2012.67/2018.37 c #Conflicts: 688000 | #Constraints: 36572
2012.67/2018.37 c INPROCESSING
2012.67/2018.37 c GARBAGE COLLECT
2012.67/2018.37 c #Conflicts: 689000 | #Constraints: 21168
2012.67/2018.37 c #Conflicts: 690000 | #Constraints: 22168
2012.67/2018.37 c #Conflicts: 691000 | #Constraints: 23168
2012.67/2018.37 c #Conflicts: 692000 | #Constraints: 24168
2012.67/2018.37 c #Conflicts: 693000 | #Constraints: 25168
2012.67/2018.37 c #Conflicts: 694000 | #Constraints: 26168
2012.67/2018.37 c #Conflicts: 695000 | #Constraints: 27168
2012.67/2018.37 c #Conflicts: 696000 | #Constraints: 28168
2012.67/2018.37 c #Conflicts: 697000 | #Constraints: 29168
2012.67/2018.37 c #Conflicts: 698000 | #Constraints: 30168
2012.67/2018.37 c #Conflicts: 699000 | #Constraints: 31168
2012.67/2018.37 c #Conflicts: 700000 | #Constraints: 32168
2012.67/2018.37 c #Conflicts: 701000 | #Constraints: 33168
2012.67/2018.37 c #Conflicts: 702000 | #Constraints: 34168
2012.67/2018.37 c #Conflicts: 703000 | #Constraints: 35168
2012.67/2018.37 c #Conflicts: 704000 | #Constraints: 36168
2012.67/2018.37 c #Conflicts: 705000 | #Constraints: 37168
2012.67/2018.37 c INPROCESSING
2012.67/2018.37 c GARBAGE COLLECT
2012.67/2018.37 c #Conflicts: 706000 | #Constraints: 21571
2012.67/2018.37 c #Conflicts: 707000 | #Constraints: 22571
2012.67/2018.37 c #Conflicts: 708000 | #Constraints: 23571
2012.67/2018.37 c #Conflicts: 709000 | #Constraints: 24571
2012.67/2018.37 c #Conflicts: 710000 | #Constraints: 25571
2012.67/2018.37 c #Conflicts: 711000 | #Constraints: 26571
2012.67/2018.37 c #Conflicts: 712000 | #Constraints: 27571
2012.67/2018.37 c #Conflicts: 713000 | #Constraints: 28571
2012.67/2018.37 c #Conflicts: 714000 | #Constraints: 29571
2012.67/2018.37 c #Conflicts: 715000 | #Constraints: 30571
2012.67/2018.37 c #Conflicts: 716000 | #Constraints: 31571
2012.67/2018.37 c #Conflicts: 717000 | #Constraints: 32571
2012.67/2018.37 c #Conflicts: 718000 | #Constraints: 33571
2012.67/2018.37 c #Conflicts: 719000 | #Constraints: 34571
2012.67/2018.37 c #Conflicts: 720000 | #Constraints: 35571
2012.67/2018.37 c #Conflicts: 721000 | #Constraints: 36571
2012.67/2018.37 c #Conflicts: 722000 | #Constraints: 37571
2012.67/2018.37 c INPROCESSING
2012.67/2018.37 c GARBAGE COLLECT
2012.67/2018.37 c #Conflicts: 723000 | #Constraints: 21778
2012.67/2018.37 c #Conflicts: 724000 | #Constraints: 22778
2012.67/2018.37 c #Conflicts: 725000 | #Constraints: 23778
2012.67/2018.37 c #Conflicts: 726000 | #Constraints: 24778
2012.67/2018.37 c #Conflicts: 727000 | #Constraints: 25778
2012.67/2018.37 c #Conflicts: 728000 | #Constraints: 26778
2012.67/2018.37 c #Conflicts: 729000 | #Constraints: 27778
2012.67/2018.37 c #Conflicts: 730000 | #Constraints: 28778
2012.67/2018.37 c #Conflicts: 731000 | #Constraints: 29778
2012.67/2018.37 c #Conflicts: 732000 | #Constraints: 30778
2012.67/2018.37 c #Conflicts: 733000 | #Constraints: 31778
2012.67/2018.37 c #Conflicts: 734000 | #Constraints: 32778
2012.67/2018.37 c #Conflicts: 735000 | #Constraints: 33778
2012.67/2018.37 c #Conflicts: 736000 | #Constraints: 34778
2012.67/2018.37 c #Conflicts: 737000 | #Constraints: 35778
2012.67/2018.37 c #Conflicts: 738000 | #Constraints: 36778
2012.67/2018.37 c #Conflicts: 739000 | #Constraints: 37778
2012.67/2018.37 c INPROCESSING
2012.67/2018.37 c GARBAGE COLLECT
2012.67/2018.37 c #Conflicts: 740000 | #Constraints: 21775
2012.67/2018.37 c #Conflicts: 741000 | #Constraints: 22775
2012.67/2018.37 c #Conflicts: 742000 | #Constraints: 23775
2012.67/2018.37 c #Conflicts: 743000 | #Constraints: 24775
2012.67/2018.37 c #Conflicts: 744000 | #Constraints: 25775
2012.67/2018.37 c #Conflicts: 745000 | #Constraints: 26775
2299.79/2306.27 c #Conflicts: 746000 | #Constraints: 27775
2299.79/2306.27 c #Conflicts: 747000 | #Constraints: 28775
2299.79/2306.27 c #Conflicts: 748000 | #Constraints: 29775
2299.79/2306.27 c #Conflicts: 749000 | #Constraints: 30775
2299.79/2306.27 c #Conflicts: 750000 | #Constraints: 31775
2299.79/2306.27 c #Conflicts: 751000 | #Constraints: 32775
2299.79/2306.27 c #Conflicts: 752000 | #Constraints: 33775
2299.79/2306.27 c #Conflicts: 753000 | #Constraints: 34775
2299.79/2306.27 c #Conflicts: 754000 | #Constraints: 35775
2299.79/2306.27 c #Conflicts: 755000 | #Constraints: 36775
2299.79/2306.27 c #Conflicts: 756000 | #Constraints: 37775
2299.79/2306.27 c INPROCESSING
2299.79/2306.27 c GARBAGE COLLECT
2299.79/2306.27 c #Conflicts: 757000 | #Constraints: 21587
2299.79/2306.27 c #Conflicts: 758000 | #Constraints: 22587
2299.79/2306.27 c #Conflicts: 759000 | #Constraints: 23587
2299.79/2306.27 c #Conflicts: 760000 | #Constraints: 24587
2299.79/2306.27 c #Conflicts: 761000 | #Constraints: 25587
2299.79/2306.27 c #Conflicts: 762000 | #Constraints: 26587
2299.79/2306.27 c #Conflicts: 763000 | #Constraints: 27587
2299.79/2306.27 c #Conflicts: 764000 | #Constraints: 28587
2299.79/2306.27 c #Conflicts: 765000 | #Constraints: 29587
2299.79/2306.27 c #Conflicts: 766000 | #Constraints: 30587
2299.79/2306.27 c #Conflicts: 767000 | #Constraints: 31587
2299.79/2306.27 c #Conflicts: 768000 | #Constraints: 32587
2299.79/2306.27 c #Conflicts: 769000 | #Constraints: 33587
2299.79/2306.27 c #Conflicts: 770000 | #Constraints: 34587
2299.79/2306.27 c #Conflicts: 771000 | #Constraints: 35587
2299.79/2306.27 c #Conflicts: 772000 | #Constraints: 36587
2299.79/2306.27 c #Conflicts: 773000 | #Constraints: 37587
2299.79/2306.27 c #Conflicts: 774000 | #Constraints: 38587
2299.79/2306.27 c INPROCESSING
2299.79/2306.27 c GARBAGE COLLECT
2299.79/2306.27 c #Conflicts: 775000 | #Constraints: 22183
2299.79/2306.27 c #Conflicts: 776000 | #Constraints: 23183
2299.79/2306.27 c #Conflicts: 777000 | #Constraints: 24183
2299.79/2306.27 c #Conflicts: 778000 | #Constraints: 25183
2299.79/2306.27 c #Conflicts: 779000 | #Constraints: 26183
2299.79/2306.27 c #Conflicts: 780000 | #Constraints: 27183
2299.79/2306.27 c #Conflicts: 781000 | #Constraints: 28183
2299.79/2306.27 c #Conflicts: 782000 | #Constraints: 29183
2299.79/2306.27 c #Conflicts: 783000 | #Constraints: 30183
2299.79/2306.27 c #Conflicts: 784000 | #Constraints: 31183
2299.79/2306.27 c #Conflicts: 785000 | #Constraints: 32183
2299.79/2306.27 c #Conflicts: 786000 | #Constraints: 33183
2299.79/2306.27 c #Conflicts: 787000 | #Constraints: 34183
2299.79/2306.27 c #Conflicts: 788000 | #Constraints: 35183
2299.79/2306.27 c #Conflicts: 789000 | #Constraints: 36183
2299.79/2306.27 c #Conflicts: 790000 | #Constraints: 37183
2299.79/2306.27 c #Conflicts: 791000 | #Constraints: 38183
2299.79/2306.27 c #Conflicts: 792000 | #Constraints: 39183
2299.79/2306.27 c INPROCESSING
2299.79/2306.27 c GARBAGE COLLECT
2299.79/2306.27 c #Conflicts: 793000 | #Constraints: 22585
2299.79/2306.27 c #Conflicts: 794000 | #Constraints: 23585
2299.79/2306.27 c #Conflicts: 795000 | #Constraints: 24585
2299.79/2306.27 c #Conflicts: 796000 | #Constraints: 25585
2299.79/2306.27 c #Conflicts: 797000 | #Constraints: 26585
2299.79/2306.27 c #Conflicts: 798000 | #Constraints: 27585
2299.79/2306.27 c #Conflicts: 799000 | #Constraints: 28585
2299.79/2306.27 c #Conflicts: 800000 | #Constraints: 29585
2299.79/2306.27 c #Conflicts: 801000 | #Constraints: 30585
2299.79/2306.27 c #Conflicts: 802000 | #Constraints: 31585
2299.79/2306.27 c #Conflicts: 803000 | #Constraints: 32585
2299.79/2306.27 c #Conflicts: 804000 | #Constraints: 33585
2299.79/2306.27 c #Conflicts: 805000 | #Constraints: 34585
2299.79/2306.27 c #Conflicts: 806000 | #Constraints: 35585
2299.79/2306.27 c #Conflicts: 807000 | #Constraints: 36585
2299.79/2306.27 c #Conflicts: 808000 | #Constraints: 37585
2299.79/2306.27 c #Conflicts: 809000 | #Constraints: 38585
2299.79/2306.27 c #Conflicts: 810000 | #Constraints: 39585
2299.79/2306.27 c INPROCESSING
2299.79/2306.27 c GARBAGE COLLECT
2299.79/2306.27 c #Conflicts: 811000 | #Constraints: 22787
2299.79/2306.27 c #Conflicts: 812000 | #Constraints: 23787
2299.79/2306.27 c #Conflicts: 813000 | #Constraints: 24787
2299.79/2306.27 c #Conflicts: 814000 | #Constraints: 25787
2299.79/2306.27 c #Conflicts: 815000 | #Constraints: 26787
2299.79/2306.27 c #Conflicts: 816000 | #Constraints: 27787
2299.79/2306.27 c #Conflicts: 817000 | #Constraints: 28787
2299.79/2306.27 c #Conflicts: 818000 | #Constraints: 29787
2299.79/2306.27 c #Conflicts: 819000 | #Constraints: 30787
2299.79/2306.27 c #Conflicts: 820000 | #Constraints: 31787
2299.79/2306.27 c #Conflicts: 821000 | #Constraints: 32787
2299.79/2306.27 c #Conflicts: 822000 | #Constraints: 33787
2578.48/2585.72 c #Conflicts: 823000 | #Constraints: 34787
2578.48/2585.72 c #Conflicts: 824000 | #Constraints: 35787
2578.48/2585.72 c #Conflicts: 825000 | #Constraints: 36787
2578.48/2585.72 c #Conflicts: 826000 | #Constraints: 37787
2578.48/2585.72 c #Conflicts: 827000 | #Constraints: 38787
2578.48/2585.72 c #Conflicts: 828000 | #Constraints: 39787
2578.48/2585.72 c INPROCESSING
2578.48/2585.72 c GARBAGE COLLECT
2578.48/2585.72 c #Conflicts: 829000 | #Constraints: 22787
2578.48/2585.72 c #Conflicts: 830000 | #Constraints: 23787
2578.48/2585.72 c #Conflicts: 831000 | #Constraints: 24787
2578.48/2585.72 c #Conflicts: 832000 | #Constraints: 25787
2578.48/2585.72 c #Conflicts: 833000 | #Constraints: 26787
2578.48/2585.72 c #Conflicts: 834000 | #Constraints: 27787
2578.48/2585.72 c #Conflicts: 835000 | #Constraints: 28787
2578.48/2585.72 c #Conflicts: 836000 | #Constraints: 29787
2578.48/2585.72 c #Conflicts: 837000 | #Constraints: 30787
2578.48/2585.72 c #Conflicts: 838000 | #Constraints: 31787
2578.48/2585.72 c #Conflicts: 839000 | #Constraints: 32787
2578.48/2585.72 c #Conflicts: 840000 | #Constraints: 33787
2578.48/2585.72 c #Conflicts: 841000 | #Constraints: 34787
2578.48/2585.72 c #Conflicts: 842000 | #Constraints: 35787
2578.48/2585.72 c #Conflicts: 843000 | #Constraints: 36787
2578.48/2585.72 c #Conflicts: 844000 | #Constraints: 37787
2578.48/2585.72 c #Conflicts: 845000 | #Constraints: 38787
2578.48/2585.72 c #Conflicts: 846000 | #Constraints: 39787
2578.48/2585.72 c INPROCESSING
2578.48/2585.72 c GARBAGE COLLECT
2578.48/2585.72 c #Conflicts: 847000 | #Constraints: 22581
2578.48/2585.72 c #Conflicts: 848000 | #Constraints: 23581
2578.48/2585.72 c #Conflicts: 849000 | #Constraints: 24581
2578.48/2585.72 c #Conflicts: 850000 | #Constraints: 25581
2578.48/2585.72 c #Conflicts: 851000 | #Constraints: 26581
2578.48/2585.72 c #Conflicts: 852000 | #Constraints: 27581
2578.48/2585.72 c #Conflicts: 853000 | #Constraints: 28581
2578.48/2585.72 c #Conflicts: 854000 | #Constraints: 29581
2578.48/2585.72 c #Conflicts: 855000 | #Constraints: 30581
2578.48/2585.72 c #Conflicts: 856000 | #Constraints: 31581
2578.48/2585.72 c #Conflicts: 857000 | #Constraints: 32581
2578.48/2585.72 c #Conflicts: 858000 | #Constraints: 33581
2578.48/2585.72 c #Conflicts: 859000 | #Constraints: 34581
2578.48/2585.72 c #Conflicts: 860000 | #Constraints: 35581
2578.48/2585.72 c #Conflicts: 861000 | #Constraints: 36581
2578.48/2585.72 c #Conflicts: 862000 | #Constraints: 37581
2578.48/2585.72 c #Conflicts: 863000 | #Constraints: 38581
2578.48/2585.72 c #Conflicts: 864000 | #Constraints: 39581
2578.48/2585.72 c #Conflicts: 865000 | #Constraints: 40581
2578.48/2585.72 c INPROCESSING
2578.48/2585.72 c GARBAGE COLLECT
2578.48/2585.72 c #Conflicts: 866000 | #Constraints: 23186
2578.48/2585.72 c #Conflicts: 867000 | #Constraints: 24186
2578.48/2585.72 c #Conflicts: 868000 | #Constraints: 25186
2578.48/2585.72 c #Conflicts: 869000 | #Constraints: 26186
2578.48/2585.72 c #Conflicts: 870000 | #Constraints: 27186
2578.48/2585.72 c #Conflicts: 871000 | #Constraints: 28186
2578.48/2585.72 c #Conflicts: 872000 | #Constraints: 29186
2578.48/2585.72 c #Conflicts: 873000 | #Constraints: 30186
2578.48/2585.72 c #Conflicts: 874000 | #Constraints: 31186
2578.48/2585.72 c #Conflicts: 875000 | #Constraints: 32186
2578.48/2585.72 c #Conflicts: 876000 | #Constraints: 33186
2578.48/2585.72 c #Conflicts: 877000 | #Constraints: 34186
2578.48/2585.72 c #Conflicts: 878000 | #Constraints: 35186
2578.48/2585.72 c #Conflicts: 879000 | #Constraints: 36186
2578.48/2585.72 c #Conflicts: 880000 | #Constraints: 37186
2578.48/2585.72 c #Conflicts: 881000 | #Constraints: 38186
2578.48/2585.72 c #Conflicts: 882000 | #Constraints: 39186
2578.48/2585.72 c #Conflicts: 883000 | #Constraints: 40186
2578.48/2585.72 c #Conflicts: 884000 | #Constraints: 41186
2578.48/2585.72 c INPROCESSING
2578.48/2585.72 c GARBAGE COLLECT
2578.48/2585.72 c #Conflicts: 885000 | #Constraints: 23590
2578.48/2585.72 c #Conflicts: 886000 | #Constraints: 24590
2578.48/2585.72 c #Conflicts: 887000 | #Constraints: 25590
2578.48/2585.72 c #Conflicts: 888000 | #Constraints: 26590
2578.48/2585.72 c #Conflicts: 889000 | #Constraints: 27590
2578.48/2585.72 c #Conflicts: 890000 | #Constraints: 28590
2578.48/2585.72 c #Conflicts: 891000 | #Constraints: 29590
2578.48/2585.72 c #Conflicts: 892000 | #Constraints: 30590
2578.48/2585.72 c #Conflicts: 893000 | #Constraints: 31590
2578.48/2585.72 c #Conflicts: 894000 | #Constraints: 32590
2578.48/2585.72 c #Conflicts: 895000 | #Constraints: 33590
2578.48/2585.72 c #Conflicts: 896000 | #Constraints: 34590
2578.48/2585.72 c #Conflicts: 897000 | #Constraints: 35590
2578.48/2585.72 c #Conflicts: 898000 | #Constraints: 36590
2819.81/2827.76 c #Conflicts: 899000 | #Constraints: 37590
2819.81/2827.76 c #Conflicts: 900000 | #Constraints: 38590
2819.81/2827.76 c #Conflicts: 901000 | #Constraints: 39590
2819.81/2827.76 c #Conflicts: 902000 | #Constraints: 40590
2819.81/2827.76 c #Conflicts: 903000 | #Constraints: 41590
2819.81/2827.76 c INPROCESSING
2819.81/2827.76 c GARBAGE COLLECT
2819.81/2827.76 c #Conflicts: 904000 | #Constraints: 23787
2819.81/2827.76 c #Conflicts: 905000 | #Constraints: 24787
2819.81/2827.76 c #Conflicts: 906000 | #Constraints: 25787
2819.81/2827.76 c #Conflicts: 907000 | #Constraints: 26787
2819.81/2827.76 c #Conflicts: 908000 | #Constraints: 27787
2819.81/2827.76 c #Conflicts: 909000 | #Constraints: 28787
2819.81/2827.76 c #Conflicts: 910000 | #Constraints: 29787
2819.81/2827.76 c #Conflicts: 911000 | #Constraints: 30787
2819.81/2827.76 c #Conflicts: 912000 | #Constraints: 31787
2819.81/2827.76 c #Conflicts: 913000 | #Constraints: 32787
2819.81/2827.76 c #Conflicts: 914000 | #Constraints: 33787
2819.81/2827.76 c #Conflicts: 915000 | #Constraints: 34787
2819.81/2827.76 c #Conflicts: 916000 | #Constraints: 35787
2819.81/2827.76 c #Conflicts: 917000 | #Constraints: 36787
2819.81/2827.76 c #Conflicts: 918000 | #Constraints: 37787
2819.81/2827.76 c #Conflicts: 919000 | #Constraints: 38787
2819.81/2827.76 c #Conflicts: 920000 | #Constraints: 39787
2819.81/2827.76 c #Conflicts: 921000 | #Constraints: 40787
2819.81/2827.76 c #Conflicts: 922000 | #Constraints: 41787
2819.81/2827.76 c INPROCESSING
2819.81/2827.76 c GARBAGE COLLECT
2819.81/2827.76 c #Conflicts: 923000 | #Constraints: 23784
2819.81/2827.76 c #Conflicts: 924000 | #Constraints: 24784
2819.81/2827.76 c #Conflicts: 925000 | #Constraints: 25784
2819.81/2827.76 c #Conflicts: 926000 | #Constraints: 26784
2819.81/2827.76 c #Conflicts: 927000 | #Constraints: 27784
2819.81/2827.76 c #Conflicts: 928000 | #Constraints: 28784
2819.81/2827.76 c #Conflicts: 929000 | #Constraints: 29784
2819.81/2827.76 c #Conflicts: 930000 | #Constraints: 30784
2819.81/2827.76 c #Conflicts: 931000 | #Constraints: 31784
2819.81/2827.76 c #Conflicts: 932000 | #Constraints: 32784
2819.81/2827.76 c #Conflicts: 933000 | #Constraints: 33784
2819.81/2827.76 c #Conflicts: 934000 | #Constraints: 34784
2819.81/2827.76 c #Conflicts: 935000 | #Constraints: 35784
2819.81/2827.76 c #Conflicts: 936000 | #Constraints: 36784
2819.81/2827.76 c #Conflicts: 937000 | #Constraints: 37784
2819.81/2827.76 c #Conflicts: 938000 | #Constraints: 38784
2819.81/2827.76 c #Conflicts: 939000 | #Constraints: 39784
2819.81/2827.76 c #Conflicts: 940000 | #Constraints: 40784
2819.81/2827.76 c #Conflicts: 941000 | #Constraints: 41784
2819.81/2827.76 c INPROCESSING
2819.81/2827.76 c GARBAGE COLLECT
2819.81/2827.76 c #Conflicts: 942000 | #Constraints: 23587
2819.81/2827.76 c #Conflicts: 943000 | #Constraints: 24587
2819.81/2827.76 c #Conflicts: 944000 | #Constraints: 25587
2819.81/2827.76 c #Conflicts: 945000 | #Constraints: 26587
2819.81/2827.76 c #Conflicts: 946000 | #Constraints: 27587
2819.81/2827.76 c #Conflicts: 947000 | #Constraints: 28587
2819.81/2827.76 c #Conflicts: 948000 | #Constraints: 29587
2819.81/2827.76 c #Conflicts: 949000 | #Constraints: 30587
2819.81/2827.76 c #Conflicts: 950000 | #Constraints: 31587
2819.81/2827.76 c #Conflicts: 951000 | #Constraints: 32587
2819.81/2827.76 c #Conflicts: 952000 | #Constraints: 33587
2819.81/2827.76 c #Conflicts: 953000 | #Constraints: 34587
2819.81/2827.76 c #Conflicts: 954000 | #Constraints: 35587
2819.81/2827.76 c #Conflicts: 955000 | #Constraints: 36587
2819.81/2827.76 c #Conflicts: 956000 | #Constraints: 37587
2819.81/2827.76 c bounds - >= 804 @ 2783.24
2819.81/2827.76 c #Conflicts: 957000 | #Constraints: 38588
2819.81/2827.76 c #Conflicts: 958000 | #Constraints: 39588
2819.81/2827.76 c #Conflicts: 959000 | #Constraints: 40588
2819.81/2827.76 c #Conflicts: 960000 | #Constraints: 41588
2819.81/2827.76 c #Conflicts: 961000 | #Constraints: 42588
2819.81/2827.76 c INPROCESSING
2819.81/2827.76 c GARBAGE COLLECT
2819.81/2827.76 c #Conflicts: 962000 | #Constraints: 24183
2819.81/2827.76 c #Conflicts: 963000 | #Constraints: 25183
2819.81/2827.76 c #Conflicts: 964000 | #Constraints: 26183
2819.81/2827.76 c #Conflicts: 965000 | #Constraints: 27183
2819.81/2827.76 c #Conflicts: 966000 | #Constraints: 28183
2819.81/2827.76 c #Conflicts: 967000 | #Constraints: 29183
2819.81/2827.76 c #Conflicts: 968000 | #Constraints: 30183
2819.81/2827.76 c #Conflicts: 969000 | #Constraints: 31183
2819.81/2827.76 c #Conflicts: 970000 | #Constraints: 32183
2819.81/2827.76 c #Conflicts: 971000 | #Constraints: 33183
2819.81/2827.76 c #Conflicts: 972000 | #Constraints: 34183
2819.81/2827.76 c #Conflicts: 973000 | #Constraints: 35183
3041.45/3049.96 c #Conflicts: 974000 | #Constraints: 36183
3041.45/3049.96 c #Conflicts: 975000 | #Constraints: 37183
3041.45/3049.96 c #Conflicts: 976000 | #Constraints: 38183
3041.45/3049.96 c #Conflicts: 977000 | #Constraints: 39183
3041.45/3049.96 c #Conflicts: 978000 | #Constraints: 40183
3041.45/3049.96 c #Conflicts: 979000 | #Constraints: 41183
3041.45/3049.96 c #Conflicts: 980000 | #Constraints: 42183
3041.45/3049.96 c #Conflicts: 981000 | #Constraints: 43183
3041.45/3049.96 c INPROCESSING
3041.45/3049.96 c GARBAGE COLLECT
3041.45/3049.96 c #Conflicts: 982000 | #Constraints: 24579
3041.45/3049.96 c #Conflicts: 983000 | #Constraints: 25579
3041.45/3049.96 c #Conflicts: 984000 | #Constraints: 26579
3041.45/3049.96 c #Conflicts: 985000 | #Constraints: 27579
3041.45/3049.96 c #Conflicts: 986000 | #Constraints: 28579
3041.45/3049.96 c #Conflicts: 987000 | #Constraints: 29579
3041.45/3049.96 c #Conflicts: 988000 | #Constraints: 30579
3041.45/3049.96 c #Conflicts: 989000 | #Constraints: 31579
3041.45/3049.96 c #Conflicts: 990000 | #Constraints: 32579
3041.45/3049.96 c #Conflicts: 991000 | #Constraints: 33579
3041.45/3049.96 c #Conflicts: 992000 | #Constraints: 34579
3041.45/3049.96 c #Conflicts: 993000 | #Constraints: 35579
3041.45/3049.96 c #Conflicts: 994000 | #Constraints: 36579
3041.45/3049.96 c #Conflicts: 995000 | #Constraints: 37579
3041.45/3049.96 c #Conflicts: 996000 | #Constraints: 38579
3041.45/3049.96 c #Conflicts: 997000 | #Constraints: 39579
3041.45/3049.96 c #Conflicts: 998000 | #Constraints: 40579
3041.45/3049.96 c #Conflicts: 999000 | #Constraints: 41579
3041.45/3049.96 c #Conflicts: 1000000 | #Constraints: 42579
3041.45/3049.96 c #Conflicts: 1001000 | #Constraints: 43579
3041.45/3049.96 c INPROCESSING
3041.45/3049.96 c GARBAGE COLLECT
3041.45/3049.96 c #Conflicts: 1002000 | #Constraints: 24781
3041.45/3049.96 c #Conflicts: 1003000 | #Constraints: 25781
3041.45/3049.96 c #Conflicts: 1004000 | #Constraints: 26781
3041.45/3049.96 c #Conflicts: 1005000 | #Constraints: 27781
3041.45/3049.96 c #Conflicts: 1006000 | #Constraints: 28781
3041.45/3049.96 c #Conflicts: 1007000 | #Constraints: 29781
3041.45/3049.96 c #Conflicts: 1008000 | #Constraints: 30781
3041.45/3049.96 c #Conflicts: 1009000 | #Constraints: 31781
3041.45/3049.96 c #Conflicts: 1010000 | #Constraints: 32781
3041.45/3049.96 c #Conflicts: 1011000 | #Constraints: 33781
3041.45/3049.96 c #Conflicts: 1012000 | #Constraints: 34781
3041.45/3049.96 c #Conflicts: 1013000 | #Constraints: 35781
3041.45/3049.96 c #Conflicts: 1014000 | #Constraints: 36781
3041.45/3049.96 c #Conflicts: 1015000 | #Constraints: 37781
3041.45/3049.96 c #Conflicts: 1016000 | #Constraints: 38781
3041.45/3049.96 c #Conflicts: 1017000 | #Constraints: 39781
3041.45/3049.96 c #Conflicts: 1018000 | #Constraints: 40781
3041.45/3049.96 c #Conflicts: 1019000 | #Constraints: 41781
3041.45/3049.96 c #Conflicts: 1020000 | #Constraints: 42781
3041.45/3049.96 c #Conflicts: 1021000 | #Constraints: 43781
3041.45/3049.96 c INPROCESSING
3041.45/3049.96 c GARBAGE COLLECT
3041.45/3049.96 c #Conflicts: 1022000 | #Constraints: 24781
3041.45/3049.96 c #Conflicts: 1023000 | #Constraints: 25781
3041.45/3049.96 c #Conflicts: 1024000 | #Constraints: 26781
3041.45/3049.96 c #Conflicts: 1025000 | #Constraints: 27781
3041.45/3049.96 c #Conflicts: 1026000 | #Constraints: 28781
3041.45/3049.96 c #Conflicts: 1027000 | #Constraints: 29781
3041.45/3049.96 c #Conflicts: 1028000 | #Constraints: 30781
3041.45/3049.96 c #Conflicts: 1029000 | #Constraints: 31781
3041.45/3049.96 c #Conflicts: 1030000 | #Constraints: 32781
3041.45/3049.96 c #Conflicts: 1031000 | #Constraints: 33781
3041.45/3049.96 c #Conflicts: 1032000 | #Constraints: 34781
3041.45/3049.96 c #Conflicts: 1033000 | #Constraints: 35781
3041.45/3049.96 c #Conflicts: 1034000 | #Constraints: 36781
3041.45/3049.96 c #Conflicts: 1035000 | #Constraints: 37781
3041.45/3049.96 c #Conflicts: 1036000 | #Constraints: 38781
3041.45/3049.96 c #Conflicts: 1037000 | #Constraints: 39781
3041.45/3049.96 c #Conflicts: 1038000 | #Constraints: 40781
3041.45/3049.96 c #Conflicts: 1039000 | #Constraints: 41781
3041.45/3049.96 c #Conflicts: 1040000 | #Constraints: 42781
3041.45/3049.96 c #Conflicts: 1041000 | #Constraints: 43781
3041.45/3049.96 c INPROCESSING
3041.45/3049.96 c GARBAGE COLLECT
3041.45/3049.96 c #Conflicts: 1042000 | #Constraints: 24586
3041.45/3049.96 c #Conflicts: 1043000 | #Constraints: 25586
3041.45/3049.96 c #Conflicts: 1044000 | #Constraints: 26586
3041.45/3049.96 c #Conflicts: 1045000 | #Constraints: 27586
3041.45/3049.96 c #Conflicts: 1046000 | #Constraints: 28586
3041.45/3049.96 c #Conflicts: 1047000 | #Constraints: 29586
3041.45/3049.96 c #Conflicts: 1048000 | #Constraints: 30586
3041.45/3049.96 c #Conflicts: 1049000 | #Constraints: 31586
3041.45/3049.96 c #Conflicts: 1050000 | #Constraints: 32586
3254.50/3263.53 c #Conflicts: 1051000 | #Constraints: 33586
3254.50/3263.53 c #Conflicts: 1052000 | #Constraints: 34586
3254.50/3263.53 c #Conflicts: 1053000 | #Constraints: 35586
3254.50/3263.53 c #Conflicts: 1054000 | #Constraints: 36586
3254.50/3263.53 c #Conflicts: 1055000 | #Constraints: 37586
3254.50/3263.53 c #Conflicts: 1056000 | #Constraints: 38586
3254.50/3263.53 c #Conflicts: 1057000 | #Constraints: 39586
3254.50/3263.53 c #Conflicts: 1058000 | #Constraints: 40586
3254.50/3263.53 c #Conflicts: 1059000 | #Constraints: 41586
3254.50/3263.53 c #Conflicts: 1060000 | #Constraints: 42586
3254.50/3263.53 c #Conflicts: 1061000 | #Constraints: 43586
3254.50/3263.53 c #Conflicts: 1062000 | #Constraints: 44586
3254.50/3263.53 c INPROCESSING
3254.50/3263.53 c GARBAGE COLLECT
3254.50/3263.53 c #Conflicts: 1063000 | #Constraints: 25187
3254.50/3263.53 c #Conflicts: 1064000 | #Constraints: 26187
3254.50/3263.53 c #Conflicts: 1065000 | #Constraints: 27187
3254.50/3263.53 c #Conflicts: 1066000 | #Constraints: 28187
3254.50/3263.53 c #Conflicts: 1067000 | #Constraints: 29187
3254.50/3263.53 c #Conflicts: 1068000 | #Constraints: 30187
3254.50/3263.53 c #Conflicts: 1069000 | #Constraints: 31187
3254.50/3263.53 c #Conflicts: 1070000 | #Constraints: 32187
3254.50/3263.53 c #Conflicts: 1071000 | #Constraints: 33187
3254.50/3263.53 c #Conflicts: 1072000 | #Constraints: 34187
3254.50/3263.53 c #Conflicts: 1073000 | #Constraints: 35187
3254.50/3263.53 c #Conflicts: 1074000 | #Constraints: 36187
3254.50/3263.53 c #Conflicts: 1075000 | #Constraints: 37187
3254.50/3263.53 c #Conflicts: 1076000 | #Constraints: 38187
3254.50/3263.53 c #Conflicts: 1077000 | #Constraints: 39187
3254.50/3263.53 c #Conflicts: 1078000 | #Constraints: 40187
3254.50/3263.53 c #Conflicts: 1079000 | #Constraints: 41187
3254.50/3263.53 c #Conflicts: 1080000 | #Constraints: 42187
3254.50/3263.53 c #Conflicts: 1081000 | #Constraints: 43187
3254.50/3263.53 c #Conflicts: 1082000 | #Constraints: 44187
3254.50/3263.53 c #Conflicts: 1083000 | #Constraints: 45187
3254.50/3263.53 c INPROCESSING
3254.50/3263.53 c GARBAGE COLLECT
3254.50/3263.53 c #Conflicts: 1084000 | #Constraints: 25581
3254.50/3263.53 c #Conflicts: 1085000 | #Constraints: 26581
3254.50/3263.53 c #Conflicts: 1086000 | #Constraints: 27581
3254.50/3263.53 c #Conflicts: 1087000 | #Constraints: 28581
3254.50/3263.53 c #Conflicts: 1088000 | #Constraints: 29581
3254.50/3263.53 c #Conflicts: 1089000 | #Constraints: 30581
3254.50/3263.53 c #Conflicts: 1090000 | #Constraints: 31581
3254.50/3263.53 c #Conflicts: 1091000 | #Constraints: 32581
3254.50/3263.53 c #Conflicts: 1092000 | #Constraints: 33581
3254.50/3263.53 c #Conflicts: 1093000 | #Constraints: 34581
3254.50/3263.53 c #Conflicts: 1094000 | #Constraints: 35581
3254.50/3263.53 c #Conflicts: 1095000 | #Constraints: 36581
3254.50/3263.53 c #Conflicts: 1096000 | #Constraints: 37581
3254.50/3263.53 c #Conflicts: 1097000 | #Constraints: 38581
3254.50/3263.53 c #Conflicts: 1098000 | #Constraints: 39581
3254.50/3263.53 c #Conflicts: 1099000 | #Constraints: 40581
3254.50/3263.53 c #Conflicts: 1100000 | #Constraints: 41581
3254.50/3263.53 c #Conflicts: 1101000 | #Constraints: 42581
3254.50/3263.53 c #Conflicts: 1102000 | #Constraints: 43581
3254.50/3263.53 c #Conflicts: 1103000 | #Constraints: 44581
3254.50/3263.53 c #Conflicts: 1104000 | #Constraints: 45581
3254.50/3263.53 c INPROCESSING
3254.50/3263.53 c GARBAGE COLLECT
3254.50/3263.53 c #Conflicts: 1105000 | #Constraints: 25784
3254.50/3263.53 c #Conflicts: 1106000 | #Constraints: 26784
3254.50/3263.53 c #Conflicts: 1107000 | #Constraints: 27784
3254.50/3263.53 c #Conflicts: 1108000 | #Constraints: 28784
3254.50/3263.53 c #Conflicts: 1109000 | #Constraints: 29784
3254.50/3263.53 c #Conflicts: 1110000 | #Constraints: 30784
3254.50/3263.53 c #Conflicts: 1111000 | #Constraints: 31784
3254.50/3263.53 c #Conflicts: 1112000 | #Constraints: 32784
3254.50/3263.53 c #Conflicts: 1113000 | #Constraints: 33784
3254.50/3263.53 c #Conflicts: 1114000 | #Constraints: 34784
3254.50/3263.53 c #Conflicts: 1115000 | #Constraints: 35784
3254.50/3263.53 c #Conflicts: 1116000 | #Constraints: 36784
3254.50/3263.53 c #Conflicts: 1117000 | #Constraints: 37784
3254.50/3263.53 c #Conflicts: 1118000 | #Constraints: 38784
3254.50/3263.53 c #Conflicts: 1119000 | #Constraints: 39784
3254.50/3263.53 c #Conflicts: 1120000 | #Constraints: 40784
3254.50/3263.53 c #Conflicts: 1121000 | #Constraints: 41784
3254.50/3263.53 c #Conflicts: 1122000 | #Constraints: 42784
3254.50/3263.53 c #Conflicts: 1123000 | #Constraints: 43784
3254.50/3263.53 c #Conflicts: 1124000 | #Constraints: 44784
3254.50/3263.53 c #Conflicts: 1125000 | #Constraints: 45784
3254.50/3263.53 c INPROCESSING
3254.50/3263.53 c GARBAGE COLLECT
3254.50/3263.53 c #Conflicts: 1126000 | #Constraints: 25778
3423.28/3432.72 c #Conflicts: 1127000 | #Constraints: 26778
3423.28/3432.72 c #Conflicts: 1128000 | #Constraints: 27778
3423.28/3432.72 c #Conflicts: 1129000 | #Constraints: 28778
3423.28/3432.72 c #Conflicts: 1130000 | #Constraints: 29778
3423.28/3432.72 c #Conflicts: 1131000 | #Constraints: 30778
3423.28/3432.72 c #Conflicts: 1132000 | #Constraints: 31778
3423.28/3432.72 c #Conflicts: 1133000 | #Constraints: 32778
3423.28/3432.72 c #Conflicts: 1134000 | #Constraints: 33778
3423.28/3432.72 c #Conflicts: 1135000 | #Constraints: 34778
3423.28/3432.72 c #Conflicts: 1136000 | #Constraints: 35778
3423.28/3432.72 c #Conflicts: 1137000 | #Constraints: 36778
3423.28/3432.72 c #Conflicts: 1138000 | #Constraints: 37778
3423.28/3432.72 c #Conflicts: 1139000 | #Constraints: 38778
3423.28/3432.72 c #Conflicts: 1140000 | #Constraints: 39778
3423.28/3432.72 c #Conflicts: 1141000 | #Constraints: 40778
3423.28/3432.72 c #Conflicts: 1142000 | #Constraints: 41778
3423.28/3432.72 c #Conflicts: 1143000 | #Constraints: 42778
3423.28/3432.72 c #Conflicts: 1144000 | #Constraints: 43778
3423.28/3432.72 c #Conflicts: 1145000 | #Constraints: 44778
3423.28/3432.72 c #Conflicts: 1146000 | #Constraints: 45778
3423.28/3432.72 c INPROCESSING
3423.28/3432.72 c GARBAGE COLLECT
3423.28/3432.72 c #Conflicts: 1147000 | #Constraints: 25567
3423.28/3432.72 c #Conflicts: 1148000 | #Constraints: 26567
3423.28/3432.72 c #Conflicts: 1149000 | #Constraints: 27567
3423.28/3432.72 c #Conflicts: 1150000 | #Constraints: 28567
3423.28/3432.72 c #Conflicts: 1151000 | #Constraints: 29567
3423.28/3432.72 c #Conflicts: 1152000 | #Constraints: 30567
3423.28/3432.72 c #Conflicts: 1153000 | #Constraints: 31567
3423.28/3432.72 c #Conflicts: 1154000 | #Constraints: 32567
3423.28/3432.72 c #Conflicts: 1155000 | #Constraints: 33567
3423.28/3432.72 c #Conflicts: 1156000 | #Constraints: 34567
3423.28/3432.72 c #Conflicts: 1157000 | #Constraints: 35567
3423.28/3432.72 c #Conflicts: 1158000 | #Constraints: 36567
3423.28/3432.72 c #Conflicts: 1159000 | #Constraints: 37567
3423.28/3432.72 c #Conflicts: 1160000 | #Constraints: 38567
3423.28/3432.72 c #Conflicts: 1161000 | #Constraints: 39567
3423.28/3432.72 c #Conflicts: 1162000 | #Constraints: 40567
3423.28/3432.72 c #Conflicts: 1163000 | #Constraints: 41567
3423.28/3432.72 c #Conflicts: 1164000 | #Constraints: 42567
3423.28/3432.72 c #Conflicts: 1165000 | #Constraints: 43567
3423.28/3432.72 c #Conflicts: 1166000 | #Constraints: 44567
3423.28/3432.72 c #Conflicts: 1167000 | #Constraints: 45567
3423.28/3432.72 c #Conflicts: 1168000 | #Constraints: 46567
3423.28/3432.72 c INPROCESSING
3423.28/3432.72 c GARBAGE COLLECT
3423.28/3432.72 c #Conflicts: 1169000 | #Constraints: 26150
3423.28/3432.72 c #Conflicts: 1170000 | #Constraints: 27150
3423.28/3432.72 c #Conflicts: 1171000 | #Constraints: 28150
3423.28/3432.72 c #Conflicts: 1172000 | #Constraints: 29150
3423.28/3432.72 c #Conflicts: 1173000 | #Constraints: 30150
3423.28/3432.72 c #Conflicts: 1174000 | #Constraints: 31150
3423.28/3432.72 c #Conflicts: 1175000 | #Constraints: 32150
3423.28/3432.72 c #Conflicts: 1176000 | #Constraints: 33150
3423.28/3432.72 c #Conflicts: 1177000 | #Constraints: 34150
3423.28/3432.72 c #Conflicts: 1178000 | #Constraints: 35150
3423.28/3432.72 c #Conflicts: 1179000 | #Constraints: 36150
3423.28/3432.72 c #Conflicts: 1180000 | #Constraints: 37150
3423.28/3432.72 c #Conflicts: 1181000 | #Constraints: 38150
3423.28/3432.72 c #Conflicts: 1182000 | #Constraints: 39150
3423.28/3432.72 c #Conflicts: 1183000 | #Constraints: 40150
3423.28/3432.72 c #Conflicts: 1184000 | #Constraints: 41150
3423.28/3432.72 c #Conflicts: 1185000 | #Constraints: 42150
3423.28/3432.72 c #Conflicts: 1186000 | #Constraints: 43150
3423.28/3432.72 c #Conflicts: 1187000 | #Constraints: 44150
3423.28/3432.72 c #Conflicts: 1188000 | #Constraints: 45150
3423.28/3432.72 c #Conflicts: 1189000 | #Constraints: 46150
3423.28/3432.72 c #Conflicts: 1190000 | #Constraints: 47150
3423.28/3432.72 c INPROCESSING
3423.28/3432.72 c GARBAGE COLLECT
3423.28/3432.72 c #Conflicts: 1191000 | #Constraints: 26541
3423.28/3432.72 c #Conflicts: 1192000 | #Constraints: 27541
3423.28/3432.72 c #Conflicts: 1193000 | #Constraints: 28541
3423.28/3432.72 c #Conflicts: 1194000 | #Constraints: 29541
3423.28/3432.72 c #Conflicts: 1195000 | #Constraints: 30541
3423.28/3432.72 c #Conflicts: 1196000 | #Constraints: 31541
3423.28/3432.72 c #Conflicts: 1197000 | #Constraints: 32541
3423.28/3432.72 c #Conflicts: 1198000 | #Constraints: 33541
3423.28/3432.72 c #Conflicts: 1199000 | #Constraints: 34541
3423.28/3432.72 c #Conflicts: 1200000 | #Constraints: 35541
3423.28/3432.72 c #Conflicts: 1201000 | #Constraints: 36541
3423.28/3432.72 c #Conflicts: 1202000 | #Constraints: 37541
3423.28/3432.72 c #Conflicts: 1203000 | #Constraints: 38541
3538.30/3548.05 c #Conflicts: 1204000 | #Constraints: 39541
3538.30/3548.05 c #Conflicts: 1205000 | #Constraints: 40541
3538.30/3548.05 c #Conflicts: 1206000 | #Constraints: 41541
3538.30/3548.05 c #Conflicts: 1207000 | #Constraints: 42541
3538.30/3548.05 c #Conflicts: 1208000 | #Constraints: 43541
3538.30/3548.05 c #Conflicts: 1209000 | #Constraints: 44541
3538.30/3548.05 c #Conflicts: 1210000 | #Constraints: 45541
3538.30/3548.05 c #Conflicts: 1211000 | #Constraints: 46541
3538.30/3548.05 c #Conflicts: 1212000 | #Constraints: 47541
3538.30/3548.05 c INPROCESSING
3538.30/3548.05 c GARBAGE COLLECT
3538.30/3548.05 c #Conflicts: 1213000 | #Constraints: 26742
3538.30/3548.05 c #Conflicts: 1214000 | #Constraints: 27742
3538.30/3548.05 c #Conflicts: 1215000 | #Constraints: 28742
3538.30/3548.05 c #Conflicts: 1216000 | #Constraints: 29742
3538.30/3548.05 c #Conflicts: 1217000 | #Constraints: 30742
3538.30/3548.05 c #Conflicts: 1218000 | #Constraints: 31742
3538.30/3548.05 c #Conflicts: 1219000 | #Constraints: 32742
3538.30/3548.05 c #Conflicts: 1220000 | #Constraints: 33742
3538.30/3548.05 c #Conflicts: 1221000 | #Constraints: 34742
3538.30/3548.05 c #Conflicts: 1222000 | #Constraints: 35742
3538.30/3548.05 c #Conflicts: 1223000 | #Constraints: 36742
3538.30/3548.05 c #Conflicts: 1224000 | #Constraints: 37742
3538.30/3548.05 c #Conflicts: 1225000 | #Constraints: 38742
3538.30/3548.05 c #Conflicts: 1226000 | #Constraints: 39742
3538.30/3548.05 c #Conflicts: 1227000 | #Constraints: 40742
3538.30/3548.05 c #Conflicts: 1228000 | #Constraints: 41742
3538.30/3548.05 c #Conflicts: 1229000 | #Constraints: 42742
3538.30/3548.05 c #Conflicts: 1230000 | #Constraints: 43742
3538.30/3548.05 c #Conflicts: 1231000 | #Constraints: 44742
3538.30/3548.05 c #Conflicts: 1232000 | #Constraints: 45742
3538.30/3548.05 c #Conflicts: 1233000 | #Constraints: 46742
3538.30/3548.05 c #Conflicts: 1234000 | #Constraints: 47742
3538.30/3548.05 c INPROCESSING
3538.30/3548.05 c GARBAGE COLLECT
3538.30/3548.05 c #Conflicts: 1235000 | #Constraints: 26738
3538.30/3548.05 c #Conflicts: 1236000 | #Constraints: 27738
3538.30/3548.05 c #Conflicts: 1237000 | #Constraints: 28738
3538.30/3548.05 c #Conflicts: 1238000 | #Constraints: 29738
3538.30/3548.05 c #Conflicts: 1239000 | #Constraints: 30738
3538.30/3548.05 c #Conflicts: 1240000 | #Constraints: 31738
3538.30/3548.05 c #Conflicts: 1241000 | #Constraints: 32738
3538.30/3548.05 c #Conflicts: 1242000 | #Constraints: 33738
3538.30/3548.05 c #Conflicts: 1243000 | #Constraints: 34738
3538.30/3548.05 c #Conflicts: 1244000 | #Constraints: 35738
3538.30/3548.05 c #Conflicts: 1245000 | #Constraints: 36738
3538.30/3548.05 c #Conflicts: 1246000 | #Constraints: 37738
3538.30/3548.05 c #Conflicts: 1247000 | #Constraints: 38738
3538.30/3548.05 c #Conflicts: 1248000 | #Constraints: 39738
3538.30/3548.05 c #Conflicts: 1249000 | #Constraints: 40738
3538.30/3548.05 c #Conflicts: 1250000 | #Constraints: 41738
3538.30/3548.05 c #Conflicts: 1251000 | #Constraints: 42738
3538.30/3548.05 c #Conflicts: 1252000 | #Constraints: 43738
3538.30/3548.05 c #Conflicts: 1253000 | #Constraints: 44738
3538.30/3548.05 c #Conflicts: 1254000 | #Constraints: 45738
3538.30/3548.05 c #Conflicts: 1255000 | #Constraints: 46738
3538.30/3548.05 c #Conflicts: 1256000 | #Constraints: 47738
3538.30/3548.05 c INPROCESSING
3538.30/3548.05 c GARBAGE COLLECT
3538.30/3548.05 c #Conflicts: 1257000 | #Constraints: 26532
3538.30/3548.05 c #Conflicts: 1258000 | #Constraints: 27532
3538.30/3548.05 c #Conflicts: 1259000 | #Constraints: 28532
3538.30/3548.05 c #Conflicts: 1260000 | #Constraints: 29532
3538.30/3548.05 c #Conflicts: 1261000 | #Constraints: 30532
3538.30/3548.05 c #Conflicts: 1262000 | #Constraints: 31532
3538.30/3548.05 c #Conflicts: 1263000 | #Constraints: 32532
3538.30/3548.05 c #Conflicts: 1264000 | #Constraints: 33532
3538.30/3548.05 c #Conflicts: 1265000 | #Constraints: 34532
3538.30/3548.05 c #Conflicts: 1266000 | #Constraints: 35532
3538.30/3548.05 c #Conflicts: 1267000 | #Constraints: 36532
3538.30/3548.05 c #Conflicts: 1268000 | #Constraints: 37532
3538.30/3548.05 c #Conflicts: 1269000 | #Constraints: 38532
3538.30/3548.05 c #Conflicts: 1270000 | #Constraints: 39532
3538.30/3548.05 c #Conflicts: 1271000 | #Constraints: 40532
3538.30/3548.05 c #Conflicts: 1272000 | #Constraints: 41532
3538.30/3548.05 c #Conflicts: 1273000 | #Constraints: 42532
3538.30/3548.05 c #Conflicts: 1274000 | #Constraints: 43532
3538.30/3548.05 c #Conflicts: 1275000 | #Constraints: 44532
3538.30/3548.05 c #Conflicts: 1276000 | #Constraints: 45532
3538.30/3548.05 c #Conflicts: 1277000 | #Constraints: 46532
3538.30/3548.05 c #Conflicts: 1278000 | #Constraints: 47532
3538.30/3548.05 c #Conflicts: 1279000 | #Constraints: 48532
3538.30/3548.05 c INPROCESSING
3600.03/3609.91 c GARBAGE COLLECT
3600.03/3609.91 c #Conflicts: 1280000 | #Constraints: 27173
3600.03/3609.91 c #Conflicts: 1281000 | #Constraints: 28173
3600.03/3609.91 c #Conflicts: 1282000 | #Constraints: 29173
3600.03/3609.91 c #Conflicts: 1283000 | #Constraints: 30173
3600.03/3609.91 c #Conflicts: 1284000 | #Constraints: 31173
3600.03/3609.91 c #Conflicts: 1285000 | #Constraints: 32173
3600.03/3609.91 c #Conflicts: 1286000 | #Constraints: 33173
3600.03/3609.91 c #Conflicts: 1287000 | #Constraints: 34173
3600.03/3609.91 c #Conflicts: 1288000 | #Constraints: 35173
3600.03/3609.91 c #Conflicts: 1289000 | #Constraints: 36173
3600.03/3609.91 c #Conflicts: 1290000 | #Constraints: 37173
3600.03/3609.91 c #Conflicts: 1291000 | #Constraints: 38173
3600.03/3609.91 c #Conflicts: 1292000 | #Constraints: 39173
3600.03/3609.91 c #Conflicts: 1293000 | #Constraints: 40173
3600.03/3609.91 c #Conflicts: 1294000 | #Constraints: 41173
3600.03/3609.91 c #Conflicts: 1295000 | #Constraints: 42173
3600.03/3609.91 c #Conflicts: 1296000 | #Constraints: 43173
3600.03/3609.91 c #Conflicts: 1297000 | #Constraints: 44173
3600.03/3609.91 c #Conflicts: 1298000 | #Constraints: 45173
3600.03/3609.91 c #Conflicts: 1299000 | #Constraints: 46173
3600.03/3609.91 c #Conflicts: 1300000 | #Constraints: 47173
3600.03/3609.91 c #Conflicts: 1301000 | #Constraints: 48173
3600.03/3609.91 c #Conflicts: 1302000 | #Constraints: 49173
3600.03/3609.91 c INPROCESSING
3600.03/3609.91 c GARBAGE COLLECT
3600.03/3609.91 c #Conflicts: 1303000 | #Constraints: 27571
3600.03/3609.91 c #Conflicts: 1304000 | #Constraints: 28571
3600.03/3609.91 c #Conflicts: 1305000 | #Constraints: 29571
3600.03/3609.91 c #Conflicts: 1306000 | #Constraints: 30571
3600.03/3609.91 c #Conflicts: 1307000 | #Constraints: 31571
3600.03/3609.91 c #Conflicts: 1308000 | #Constraints: 32571
3600.03/3609.91 c #Conflicts: 1309000 | #Constraints: 33571
3600.03/3609.91 c #Conflicts: 1310000 | #Constraints: 34571
3600.03/3609.91 c #Conflicts: 1311000 | #Constraints: 35571
3600.03/3609.91 c #Conflicts: 1312000 | #Constraints: 36571
3600.03/3609.91 c #Conflicts: 1313000 | #Constraints: 37571
3600.03/3609.91 c #Conflicts: 1314000 | #Constraints: 38571
3600.03/3609.91 c #Conflicts: 1315000 | #Constraints: 39571
3600.03/3609.91 c #Conflicts: 1316000 | #Constraints: 40571
3600.03/3609.91 c Program interrupted by user.
3600.03/3609.91 c cpu time 3590.08 s
3600.03/3609.91 c deterministic time 615486694383 6.15e+11
3600.03/3609.91 c optimization time 25.4249 s
3600.03/3609.91 c total solve time 3265.54 s
3600.03/3609.91 c core-guided solve time 3265.54 s
3600.03/3609.91 c propagation time 2682.66 s
3600.03/3609.91 c conflict analysis time 477.383 s
3600.03/3609.91 c propagations 164122810
3600.03/3609.91 c resolve steps 13519615
3600.03/3609.91 c decisions 5795255
3600.03/3609.91 c conflicts 1316195
3600.03/3609.91 c restarts 2555
3600.03/3609.91 c inprocessing phases 105
3600.03/3609.91 c input clauses 3865
3600.03/3609.91 c input cardinalities 138
3600.03/3609.91 c input general constraints 0
3600.03/3609.91 c input average constraint length 58.22
3600.03/3609.91 c input average constraint degree 26.34
3600.03/3609.91 c learned clauses 561343
3600.03/3609.91 c learned cardinalities 127644
3600.03/3609.91 c learned general constraints 627346
3600.03/3609.91 c learned average constraint length 756.67
3600.03/3609.91 c learned average constraint degree 46723.35
3600.03/3609.91 c watched constraints 366743
3600.03/3609.91 c counting constraints 260603
3600.03/3609.91 c gcd simplifications 32706
3600.03/3609.91 c detected cardinalities 2886
3600.03/3609.91 c weakened non-implied lits 205078658
3600.03/3609.91 c weakened non-implying lits 56836
3600.03/3609.91 c original variables 1968
3600.03/3609.91 c clausal propagations 77683581
3600.03/3609.91 c cardinality propagations 12900780
3600.03/3609.91 c watched propagations 11929652
3600.03/3609.91 c counting propagations 53272830
3600.03/3609.91 c watch lookups 42946671629
3600.03/3609.91 c watch backjump lookups 33707661086
3600.03/3609.91 c watch checks 478142954584
3600.03/3609.91 c propagation checks 57155460673
3600.03/3609.91 c constraint additions 3192795412
3600.03/3609.91 c trail pops 171232933
3600.03/3609.91 c formula constraints 3199
3600.03/3609.91 c learned constraints 1316333
3600.03/3609.91 c bound constraints 138
3600.03/3609.91 c core-guided constraints 666
3600.03/3609.91 c encountered formula constraints 9206993
3600.03/3609.91 c encountered learned constraints 3899967
3600.03/3609.91 c encountered bound constraints 2
3600.03/3609.91 c encountered core-guided constraints 1728848
3600.03/3609.91 c LP total time 0 s
3600.03/3609.91 c LP solve time 0 s
3600.03/3609.91 c LP constraints added 0
3600.03/3609.91 c LP constraints removed 0
3600.03/3609.91 c LP pivots internal 0
3600.03/3609.91 c LP pivots root 0
3600.03/3609.91 c LP calls 0
3600.03/3609.91 c LP optimalities 0
3600.03/3609.91 c LP no pivot count 0
3600.03/3609.91 c LP infeasibilities 0
3600.03/3609.91 c LP valid Farkas constraints 0
3600.03/3609.91 c LP learned Farkas constraints 0
3600.03/3609.91 c LP basis resets 0
3600.03/3609.91 c LP cycling count 0
3600.03/3609.91 c LP singular count 0
3600.03/3609.91 c LP no primal count 0
3600.03/3609.91 c LP no farkas count 0
3600.03/3609.91 c LP other issue count 0
3600.03/3609.91 c LP Gomory cuts 0
3600.03/3609.91 c LP learned cuts 0
3600.03/3609.91 c LP deleted cuts 0
3600.03/3609.91 c LP encountered Gomory constraints 0
3600.03/3609.91 c LP encountered Farkas constraints 0
3600.03/3609.91 c LP encountered learned Farkas constraints 0
3600.03/3609.91 c CG auxiliary variables introduced 666
3600.03/3609.91 c CG solutions found 0
3600.03/3609.91 c CG cores constructed 137
3600.03/3609.91 c CG core cardinality constraints returned 0
3600.03/3609.91 c CG unit cores 0
3600.03/3609.91 c CG single cores 137
3600.03/3609.91 c CG blocks removed during cardinality reduction 0
3600.03/3609.91 c CG first core best 0
3600.03/3609.91 c CG decision core best 0
3600.03/3609.91 c CG core reduction tie 0
3600.03/3609.91 c CG core degree average 1.00
3600.03/3609.91 c CG core slack average 5.56
3600.03/3609.91 c CG exhausted 0
3600.03/3609.91 c CG exhaust time 0 s
3600.03/3609.91 c CG trimmed 2
3600.03/3609.91 c CG trim time 0.09627 s
3600.03/3609.91 c CG minimized 0
3600.03/3609.91 c CG minimize time 0 s
3600.03/3609.91 c CG am1 prop time 0.00287 s
3600.03/3609.91 c CG # am1s reformulated 666
3600.03/3609.91 c CG lower bound derived from am1s 667
3600.03/3609.91 c CG # clausal cores 137
3600.03/3609.91 c CG # cardinality cores 0
3600.03/3609.91 c CG # pb cores 0
3600.03/3609.91 c CG # pb reforms 0
3600.03/3609.91 c CG # cores discarded because of pb reform 0
3600.03/3609.91 d LOWERBOUND 804
3600.03/3609.91 d NCORES 137
3600.03/3609.91 d NPBCORES 0
3600.03/3609.91 d NPBREFORM 0
3600.03/3609.91 d NTRIMMED 2
3600.03/3609.91 d NEXHAUSTED 0
3600.03/3609.91 d NAM1S 666
3600.03/3609.91 d AM1LB 667
3600.03/3609.91 c [Papilo Statistics]
3600.03/3609.91 c prepro time 0.00463845s
3600.03/3609.91 c # tsx applied 165
3600.03/3609.91 c # tsx conflicts 7
3600.03/3609.91 c # bound changes 164
3600.03/3609.91 c # side changes 0
3600.03/3609.91 c # coef changes 0
3600.03/3609.91 c # rounds 2
3600.03/3609.91 c # deted vars 340
3600.03/3609.91 c # deted constrs 801
3600.03/3609.91 c # consecutive rounds of only bound changes 0
3600.03/3609.91 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62784 MiB free)
memory of node 1: 64473 MiB (63330 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435467-1721091219/watcher-4435467-1721091219 -o /tmp/evaluation-result-4435467-1721091219/solver-4435467-1721091219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721091231-833381 --watchdog 3760 mixed-bag HOME/instance-4435467-1721091219.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=833440, runsolver pid=833426
[startup+0.10009 s]*
/proc/loadavg: 2.66 3.90 4.08 8/258 833443
/proc/meminfo: memFree=129089784/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=97992 memory=30956 CPUtime=0.02 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 4610 0 0 0 2 0 0 0 20 0 1 0 161292732 100343808 7739 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 24498 7739 3766 3002 0 8249 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 97992 KiB
Current children cumulated memory: 30956 KiB
[startup+0.206553 s]*
/proc/loadavg: 2.66 3.90 4.08 7/258 833445
/proc/meminfo: memFree=129053456/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=109400 memory=40700 CPUtime=0.14 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 7107 0 0 0 13 1 0 0 20 0 1 0 161292732 112025600 10175 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 27350 10175 4001 3002 0 11101 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 109400 KiB
Current children cumulated memory: 40700 KiB
[startup+0.306374 s]*
/proc/loadavg: 2.77 3.91 4.08 8/258 833445
/proc/meminfo: memFree=129052748/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=109400 memory=40700 CPUtime=0.24 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 7108 0 0 0 23 1 0 0 20 0 1 0 161292732 112025600 10175 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 27350 10175 4001 3002 0 11101 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 109400 KiB
Current children cumulated memory: 40700 KiB
[startup+0.700154 s]
/proc/loadavg: 2.77 3.91 4.08 7/258 833445
/proc/meminfo: memFree=129039272/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=113396 memory=44440 CPUtime=0.62 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 8036 0 0 0 61 1 0 0 20 0 1 0 161292732 116117504 11110 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 28349 11110 4017 3002 0 12100 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 113396 KiB
Current children cumulated memory: 44440 KiB
[startup+1.50022 s]
/proc/loadavg: 2.77 3.91 4.08 9/258 833445
/proc/meminfo: memFree=128994696/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=124148 memory=54472 CPUtime=1.42 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 10542 0 0 0 141 1 0 0 20 0 1 0 161292732 127127552 13618 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 31037 13618 4017 3002 0 14788 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 124148 KiB
Current children cumulated memory: 54472 KiB
[startup+3.10645 s]
/proc/loadavg: 2.77 3.91 4.08 9/258 833445
/proc/meminfo: memFree=128843584/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=142868 memory=72424 CPUtime=3.02 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 15043 0 0 0 300 2 0 0 20 0 1 0 161292732 146296832 18106 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 35717 18106 4017 3002 0 19468 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 142868 KiB
Current children cumulated memory: 72424 KiB
[startup+6.3002 s]
/proc/loadavg: 2.87 3.91 4.08 9/258 833445
/proc/meminfo: memFree=128733208/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=188852 memory=116512 CPUtime=6.2 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 26074 0 0 0 617 3 0 0 20 0 1 0 161292732 193384448 29128 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 47213 29128 4017 3002 0 30964 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 188852 KiB
Current children cumulated memory: 116512 KiB
[startup+12.7002 s]
/proc/loadavg: 2.96 3.91 4.08 9/258 833446
/proc/meminfo: memFree=128612672/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=230700 memory=153860 CPUtime=12.58 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 36504 0 0 0 1253 5 0 0 20 0 1 0 161292732 236236800 38465 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 57675 38465 4017 3002 0 41426 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 230700 KiB
Current children cumulated memory: 153860 KiB
[startup+25.5002 s]
/proc/loadavg: 3.12 3.91 4.08 9/258 833448
/proc/meminfo: memFree=128531204/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=235776 memory=159140 CPUtime=25.34 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 37798 0 0 0 2529 5 0 0 20 0 1 0 161292732 241434624 39785 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 58944 39785 4017 3002 0 42695 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 235776 KiB
Current children cumulated memory: 159140 KiB
[startup+51.1065 s]
/proc/loadavg: 3.52 3.94 4.08 9/258 833453
/proc/meminfo: memFree=128344632/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=300712 memory=218872 CPUtime=50.86 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 53544 0 0 0 5077 9 0 0 20 0 1 0 161292732 307929088 54718 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 75178 54718 4032 3002 0 58929 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 300712 KiB
Current children cumulated memory: 218872 KiB
[startup+102.3 s]
/proc/loadavg: 3.91 3.98 4.09 8/257 833847
/proc/meminfo: memFree=128391672/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=307460 memory=226956 CPUtime=101.89 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 57151 0 0 0 10176 13 0 0 20 0 1 0 161292732 314839040 56739 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 76865 56739 4032 3002 0 60616 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 307460 KiB
Current children cumulated memory: 226956 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.02 4.09 9/257 833858
/proc/meminfo: memFree=128250176/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=316880 memory=236008 CPUtime=161.69 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 59443 0 0 0 16154 15 0 0 20 0 1 0 161292732 324485120 59002 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 79220 59002 4032 3002 0 62971 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 316880 KiB
Current children cumulated memory: 236008 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.03 4.09 8/256 833871
/proc/meminfo: memFree=128129644/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=328640 memory=247384 CPUtime=221.5 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 62596 0 0 0 22133 17 0 0 20 0 1 0 161292732 336527360 61846 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 82160 61846 4032 3002 0 65911 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 328640 KiB
Current children cumulated memory: 247384 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.04 4.09 9/257 834050
/proc/meminfo: memFree=128100520/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=343756 memory=259752 CPUtime=281.3 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 67009 0 0 0 28113 17 0 0 20 0 1 0 161292732 352006144 64938 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 85939 64938 4032 3002 0 69690 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 343756 KiB
Current children cumulated memory: 259752 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.06 4.09 9/256 834061
/proc/meminfo: memFree=128392512/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=212480 memory=137468 CPUtime=341.11 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 71944 0 0 0 34049 62 0 0 20 0 1 0 161292732 217579520 34367 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 53120 34367 4192 3002 0 36871 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 212480 KiB
Current children cumulated memory: 137468 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 4.05 4.09 8/258 834076
/proc/meminfo: memFree=128333652/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=243300 memory=155732 CPUtime=400.92 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 73468 0 0 0 39992 100 0 0 20 0 1 0 161292732 249139200 38933 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 60825 38933 4192 3002 0 44576 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 243300 KiB
Current children cumulated memory: 155732 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.07 4.09 9/259 834101
/proc/meminfo: memFree=128294212/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=244100 memory=164960 CPUtime=460.73 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 73720 0 0 0 45939 134 0 0 20 0 1 0 161292732 249958400 41240 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 61025 41240 4192 3002 0 44776 0
################
# More data... #
################
Current children cumulated memory: 374864 KiB
[startup+2922.3 s]
/proc/loadavg: 4.21 4.16 4.10 9/258 835165
/proc/meminfo: memFree=127647028/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=493076 memory=398080 CPUtime=2914.17 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 98726 0 0 0 290603 814 0 0 20 0 1 0 161292732 504909824 99520 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 123269 99520 4192 3002 0 107020 0
Current children cumulated CPU time: 2914.17 s
Current children cumulated vsize: 493076 KiB
Current children cumulated memory: 398080 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.10 8/259 835177
/proc/meminfo: memFree=127638920/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=494612 memory=399816 CPUtime=2974.02 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 99325 0 0 0 296575 827 0 0 20 0 1 0 161292732 506482688 99954 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 123653 99954 4192 3002 0 107404 0
Current children cumulated CPU time: 2974.02 s
Current children cumulated vsize: 494612 KiB
Current children cumulated memory: 399816 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.15 4.10 8/259 835188
/proc/meminfo: memFree=127625312/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=500452 memory=406192 CPUtime=3033.87 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 100578 0 0 0 302549 838 0 0 20 0 1 0 161292732 512462848 101548 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 125113 101548 4192 3002 0 108864 0
Current children cumulated CPU time: 3033.87 s
Current children cumulated vsize: 500452 KiB
Current children cumulated memory: 406192 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.09 9/256 835198
/proc/meminfo: memFree=127622368/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=500792 memory=406932 CPUtime=3093.71 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 100870 0 0 0 308519 852 0 0 20 0 1 0 161292732 512811008 101733 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 125198 101733 4192 3002 0 108949 0
Current children cumulated CPU time: 3093.71 s
Current children cumulated vsize: 500792 KiB
Current children cumulated memory: 406932 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.09 8/255 835225
/proc/meminfo: memFree=127621116/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=501048 memory=407284 CPUtime=3153.56 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 101111 0 0 0 314493 863 0 0 20 0 1 0 161292732 513073152 101821 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 125262 101821 4192 3002 0 109013 0
Current children cumulated CPU time: 3153.56 s
Current children cumulated vsize: 501048 KiB
Current children cumulated memory: 407284 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.09 8/255 835236
/proc/meminfo: memFree=127618684/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=502632 memory=408652 CPUtime=3213.4 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 101584 0 0 0 320465 875 0 0 20 0 1 0 161292732 514695168 102163 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 125658 102163 4192 3002 0 109409 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 502632 KiB
Current children cumulated memory: 408652 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.13 4.10 9/255 835247
/proc/meminfo: memFree=127614052/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=502892 memory=409020 CPUtime=3273.25 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 101873 0 0 0 326437 888 0 0 20 0 1 0 161292732 514961408 102255 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 125723 102255 4192 3002 0 109474 0
Current children cumulated CPU time: 3273.25 s
Current children cumulated vsize: 502892 KiB
Current children cumulated memory: 409020 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.10 8/256 835259
/proc/meminfo: memFree=127597716/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=519884 memory=421612 CPUtime=3333.1 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 105142 0 0 0 332404 906 0 0 20 0 1 0 161292732 532361216 105403 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 129971 105403 4192 3002 0 113722 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 519884 KiB
Current children cumulated memory: 421612 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.10 8/258 835274
/proc/meminfo: memFree=127587276/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=530896 memory=430728 CPUtime=3392.96 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 107620 0 0 0 338374 922 0 0 20 0 1 0 161292732 543637504 107682 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 132724 107682 4192 3002 0 116475 0
Current children cumulated CPU time: 3392.96 s
Current children cumulated vsize: 530896 KiB
Current children cumulated memory: 430728 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.11 4.09 8/258 835285
/proc/meminfo: memFree=127565868/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=538392 memory=437996 CPUtime=3452.81 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 109620 0 0 0 344337 944 0 0 20 0 1 0 161292732 551313408 109499 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 134598 109499 4192 3002 0 118349 0
Current children cumulated CPU time: 3452.81 s
Current children cumulated vsize: 538392 KiB
Current children cumulated memory: 437996 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 8/258 835296
/proc/meminfo: memFree=127554676/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=546000 memory=445816 CPUtime=3512.65 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 111705 0 0 0 350298 967 0 0 20 0 1 0 161292732 559104000 111454 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 136500 111454 4192 3002 0 120251 0
Current children cumulated CPU time: 3512.65 s
Current children cumulated vsize: 546000 KiB
Current children cumulated memory: 445816 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 8/258 835306
/proc/meminfo: memFree=127542732/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=557776 memory=457044 CPUtime=3572.51 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 114705 0 0 0 356263 988 0 0 20 0 1 0 161292732 571162624 114261 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 139444 114261 4192 3002 0 123195 0
Current children cumulated CPU time: 3572.51 s
Current children cumulated vsize: 557776 KiB
Current children cumulated memory: 457044 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.15 4.12 4.09 7/251 835325
/proc/meminfo: memFree=127904696/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=559568 memory=458836 CPUtime=3600.03 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 115185 0 0 0 359006 997 0 0 20 0 1 0 161292732 572997632 114709 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 139892 114709 4192 3002 0 123643 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 559568 KiB
Current children cumulated memory: 458836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.92 s]
# the end of solver process 833440 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.08 s, system=9.98338 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.15 4.12 4.09 7/251 835325
/proc/meminfo: memFree=127904696/131524600 swapFree=131071996/131071996
[pid=833440] ppid=833426 vsize=559568 memory=458836 CPUtime=3600.03 cores=1,3
/proc/833440/stat : 833440 (mixed-bag) R 833426 833440 833369 0 -1 4194304 115185 0 0 0 359006 997 0 0 20 0 1 0 161292732 572997632 114709 134679101440 4194304 16487941 140735812125216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 18723592 18734648 30113792 140735812129815 140735812129892 140735812129892 140735812136907 0
/proc/833440/statm: 139892 114709 4192 3002 0 123643 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 559568 KiB
Current children cumulated memory: 458836 KiB
Child status: 0
Real time (s): 3609.92
CPU time (s): 3600.07
CPU user time (s): 3590.08
CPU system time (s): 9.98338
CPU usage (%): 99.7271
Max. virtual memory (cumulated for all children) (KiB): 559568
Max. memory (cumulated for all children) (KiB): 458836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.08
system time used= 9.98338
maximum resident set size= 458836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115209
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= 137
involuntary context switches= 3576
# summary of solver processes directly reported to runsolver:
# pid: 833440
# total CPU time (s): 3600.07
# total CPU user time (s): 3590.08
# total CPU system time (s): 9.98338
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.44617 second user time and 20.3259 second system time
The end
Begin job on nodeC035 at 2024-07-16 02:53:51
IDJOB=4435467
IDBENCH=147535
IDSOLVER=3066
FILE ID=nodeC035/4435467-1721091219
RUNJOBID= nodeC035-1721091231-833381
SLURM_JOB_ID= 7505584
Free space on /tmp= 890068 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435467-1721091219/watcher-4435467-1721091219 -o /tmp/evaluation-result-4435467-1721091219/solver-4435467-1721091219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721091231-833381 --watchdog 3760 mixed-bag HOME/instance-4435467-1721091219.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4613bd71ebda28f991e46514414d76dd
RANDOM SEED=247940641
nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3713.119
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3780.200
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3811.974
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3724.386
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3630.688
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.066
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3818.873
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3938.525
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129142404 kB
MemAvailable: 129742024 kB
Buffers: 374068 kB
Cached: 1064232 kB
SwapCached: 0 kB
Active: 682356 kB
Inactive: 1111592 kB
Active(anon): 1444 kB
Inactive(anon): 391948 kB
Active(file): 680912 kB
Inactive(file): 719644 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65332 kB
Writeback: 0 kB
AnonPages: 355684 kB
Mapped: 103668 kB
Shmem: 37724 kB
KReclaimable: 77772 kB
Slab: 181112 kB
SReclaimable: 77772 kB
SUnreclaim: 103340 kB
KernelStack: 3968 kB
PageTables: 9768 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 751332 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62528 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 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: 199380 kB
DirectMap2M: 18448384 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC035 at 2024-07-16 03:54:01