0.00/0.23 c RoundingSat 2
0.00/0.23 c branch
0.00/0.23 c commit
0.00/0.23 c with Papilo
0.00/0.23 c with SCIP
0.00/0.23 c [STEP] parsing instance
0.00/0.24 c [STEP] preprocessing with Papilo
0.00/0.26 c [STEP] solving with SCIP
299.42/300.55 c [STEP] preprocessing done, loading into solver
299.42/300.56 c [STEP] solving
299.42/300.56 c #variables 1658 #constraints 3254
299.42/300.56 c SMALL=int, LARGE=long long
299.42/300.56 d SCIPUB 894
299.42/300.56 c bounds - >= 0 @ 299.152
299.42/300.56 c stratification level: 0
299.72/300.84 c bounds - >= 677 @ 299.156
299.72/300.84 c bounds - >= 678 @ 299.157
299.72/300.84 c bounds - >= 679 @ 299.157
299.72/300.84 c bounds - >= 680 @ 299.157
299.72/300.84 c bounds - >= 681 @ 299.157
299.72/300.84 c bounds - >= 682 @ 299.157
299.72/300.84 c bounds - >= 683 @ 299.157
299.72/300.84 c bounds - >= 684 @ 299.157
299.72/300.84 c bounds - >= 685 @ 299.158
299.72/300.84 c bounds - >= 686 @ 299.158
299.72/300.84 c bounds - >= 687 @ 299.158
299.72/300.84 c bounds - >= 688 @ 299.158
299.72/300.84 c bounds - >= 689 @ 299.158
299.72/300.84 c bounds - >= 690 @ 299.158
299.72/300.84 c bounds - >= 691 @ 299.159
299.72/300.84 c bounds - >= 692 @ 299.159
299.72/300.84 c bounds - >= 693 @ 299.159
299.72/300.84 c bounds - >= 694 @ 299.159
299.72/300.84 c bounds - >= 695 @ 299.159
299.72/300.84 c bounds - >= 696 @ 299.16
299.72/300.84 c bounds - >= 697 @ 299.16
299.72/300.84 c bounds - >= 698 @ 299.16
299.72/300.84 c bounds - >= 699 @ 299.16
299.72/300.84 c bounds - >= 700 @ 299.16
299.72/300.84 c bounds - >= 701 @ 299.161
299.72/300.84 c bounds - >= 702 @ 299.161
299.72/300.84 c bounds - >= 703 @ 299.161
299.72/300.84 c bounds - >= 704 @ 299.161
299.72/300.84 c bounds - >= 705 @ 299.161
299.72/300.84 c bounds - >= 706 @ 299.161
299.72/300.84 c bounds - >= 707 @ 299.161
299.72/300.84 c bounds - >= 708 @ 299.161
299.72/300.84 c bounds - >= 709 @ 299.161
299.72/300.84 c bounds - >= 710 @ 299.162
299.72/300.84 c bounds - >= 711 @ 299.162
299.72/300.84 c bounds - >= 712 @ 299.162
299.72/300.84 c bounds - >= 713 @ 299.162
299.72/300.84 c bounds - >= 714 @ 299.162
299.72/300.84 c bounds - >= 715 @ 299.163
299.72/300.84 c bounds - >= 716 @ 299.163
299.72/300.84 c bounds - >= 717 @ 299.163
299.72/300.84 c bounds - >= 718 @ 299.163
299.72/300.84 c bounds - >= 719 @ 299.163
299.72/300.84 c bounds - >= 720 @ 299.163
299.72/300.84 c bounds - >= 721 @ 299.163
299.72/300.84 c bounds - >= 722 @ 299.163
299.72/300.84 c bounds - >= 723 @ 299.164
299.72/300.84 c bounds - >= 724 @ 299.164
299.72/300.84 c bounds - >= 725 @ 299.164
299.72/300.84 c bounds - >= 726 @ 299.164
299.72/300.84 c bounds - >= 727 @ 299.165
299.72/300.84 c bounds - >= 728 @ 299.165
299.72/300.84 c bounds - >= 729 @ 299.165
299.72/300.84 c bounds - >= 730 @ 299.165
299.72/300.84 c bounds - >= 731 @ 299.165
299.72/300.84 c bounds - >= 732 @ 299.166
299.72/300.84 c bounds - >= 733 @ 299.166
299.72/300.84 c bounds - >= 734 @ 299.166
299.72/300.84 c bounds - >= 735 @ 299.166
299.72/300.84 c bounds - >= 736 @ 299.166
299.72/300.84 c bounds - >= 737 @ 299.166
299.72/300.84 c bounds - >= 738 @ 299.166
299.72/300.84 c bounds - >= 739 @ 299.166
299.72/300.84 c bounds - >= 740 @ 299.166
299.72/300.84 c bounds - >= 741 @ 299.166
299.72/300.84 c bounds - >= 742 @ 299.166
299.72/300.84 c bounds - >= 743 @ 299.166
299.72/300.84 c bounds - >= 744 @ 299.167
299.72/300.84 c bounds - >= 745 @ 299.167
299.72/300.84 c bounds - >= 746 @ 299.167
299.72/300.84 c bounds - >= 747 @ 299.167
299.72/300.84 c bounds - >= 748 @ 299.167
299.72/300.84 c bounds - >= 749 @ 299.167
299.72/300.84 c bounds - >= 750 @ 299.167
299.72/300.84 c bounds - >= 751 @ 299.167
299.72/300.84 c bounds - >= 752 @ 299.167
299.72/300.84 c bounds - >= 753 @ 299.167
299.72/300.84 c bounds - >= 754 @ 299.167
299.72/300.84 c bounds - >= 755 @ 299.167
299.72/300.84 c bounds - >= 756 @ 299.168
299.72/300.84 c bounds - >= 757 @ 299.168
299.72/300.84 c bounds - >= 758 @ 299.168
299.72/300.84 c bounds - >= 759 @ 299.168
299.72/300.84 c bounds - >= 760 @ 299.168
299.72/300.84 c bounds - >= 761 @ 299.168
299.72/300.84 c bounds - >= 762 @ 299.168
299.72/300.84 c bounds - >= 763 @ 299.168
299.72/300.84 c bounds - >= 764 @ 299.168
299.72/300.84 c bounds - >= 765 @ 299.168
299.72/300.84 c bounds - >= 766 @ 299.168
299.72/300.84 c bounds - >= 767 @ 299.169
299.72/300.84 c bounds - >= 768 @ 299.169
299.72/300.84 c bounds - >= 769 @ 299.169
299.72/300.84 c bounds - >= 770 @ 299.169
299.72/300.84 c bounds - >= 771 @ 299.17
299.72/300.84 c bounds - >= 772 @ 299.17
299.72/300.84 c bounds - >= 773 @ 299.17
299.72/300.84 c bounds - >= 774 @ 299.17
299.72/300.84 c bounds - >= 775 @ 299.171
299.72/300.84 c bounds - >= 776 @ 299.171
299.72/300.84 c bounds - >= 777 @ 299.171
299.72/300.84 c bounds - >= 778 @ 299.171
299.72/300.84 c bounds - >= 779 @ 299.171
299.72/300.84 c bounds - >= 780 @ 299.171
299.72/300.84 c bounds - >= 781 @ 299.171
299.72/300.84 c bounds - >= 782 @ 299.172
299.72/300.84 c bounds - >= 783 @ 299.172
299.72/300.84 c bounds - >= 784 @ 299.172
299.72/300.84 c bounds - >= 785 @ 299.172
299.72/300.84 c bounds - >= 786 @ 299.172
299.72/300.84 c bounds - >= 787 @ 299.172
299.72/300.84 c bounds - >= 788 @ 299.172
299.72/300.84 c bounds - >= 789 @ 299.172
299.72/300.84 c bounds - >= 790 @ 299.172
299.72/300.84 c bounds - >= 791 @ 299.173
299.72/300.84 c bounds - >= 792 @ 299.173
299.72/300.84 c bounds - >= 793 @ 299.173
299.72/300.84 c bounds - >= 794 @ 299.173
299.72/300.84 c bounds - >= 795 @ 299.173
299.72/300.84 c bounds - >= 796 @ 299.173
299.72/300.84 c bounds - >= 797 @ 299.174
299.72/300.84 c bounds - >= 798 @ 299.174
299.72/300.84 c bounds - >= 799 @ 299.174
299.72/300.84 c bounds - >= 800 @ 299.175
299.72/300.84 c bounds - >= 801 @ 299.175
299.72/300.84 c bounds - >= 802 @ 299.175
299.72/300.84 c bounds - >= 803 @ 299.176
299.72/300.84 c bounds - >= 804 @ 299.176
299.72/300.84 c bounds - >= 805 @ 299.176
299.72/300.84 c bounds - >= 806 @ 299.176
299.72/300.84 c bounds - >= 807 @ 299.176
299.72/300.84 c bounds - >= 808 @ 299.176
299.72/300.84 c bounds - >= 809 @ 299.176
299.72/300.84 c bounds - >= 810 @ 299.176
299.72/300.84 c bounds - >= 811 @ 299.177
299.72/300.84 c bounds - >= 812 @ 299.177
299.72/300.84 c bounds - >= 813 @ 299.177
299.72/300.84 c bounds - >= 814 @ 299.177
299.72/300.84 c bounds - >= 815 @ 299.177
299.72/300.84 c bounds - >= 816 @ 299.177
299.72/300.84 c bounds - >= 817 @ 299.177
299.72/300.84 c bounds - >= 818 @ 299.178
299.72/300.84 c bounds - >= 819 @ 299.178
299.72/300.84 c bounds - >= 820 @ 299.178
299.72/300.84 c bounds - >= 821 @ 299.178
299.72/300.84 c #Conflicts: 1000 | #Constraints: 5218
352.66/353.93 c #Conflicts: 2000 | #Constraints: 6218
352.66/353.93 c INPROCESSING
352.66/353.93 c GARBAGE COLLECT
352.66/353.93 c #Conflicts: 3000 | #Constraints: 6080
352.66/353.93 c #Conflicts: 4000 | #Constraints: 7080
352.66/353.93 c INPROCESSING
352.66/353.93 c GARBAGE COLLECT
352.66/353.93 c #Conflicts: 5000 | #Constraints: 6453
352.66/353.93 c #Conflicts: 6000 | #Constraints: 7453
352.66/353.93 c INPROCESSING
352.66/353.93 c GARBAGE COLLECT
352.66/353.93 c #Conflicts: 7000 | #Constraints: 6438
352.66/353.93 c #Conflicts: 8000 | #Constraints: 7438
352.66/353.93 c #Conflicts: 9000 | #Constraints: 8438
352.66/353.93 c INPROCESSING
352.66/353.93 c GARBAGE COLLECT
352.66/353.93 c #Conflicts: 10000 | #Constraints: 7133
352.66/353.93 c #Conflicts: 11000 | #Constraints: 8133
352.66/353.93 c #Conflicts: 12000 | #Constraints: 9133
352.66/353.93 c INPROCESSING
352.66/353.93 c GARBAGE COLLECT
352.66/353.93 c #Conflicts: 13000 | #Constraints: 7574
352.66/353.93 c #Conflicts: 14000 | #Constraints: 8574
352.66/353.93 c #Conflicts: 15000 | #Constraints: 9574
352.66/353.93 c INPROCESSING
352.66/353.93 c GARBAGE COLLECT
352.66/353.93 c #Conflicts: 16000 | #Constraints: 7797
352.66/353.93 c #Conflicts: 17000 | #Constraints: 8797
352.66/353.93 c #Conflicts: 18000 | #Constraints: 9797
352.66/353.93 c INPROCESSING
352.66/353.93 c GARBAGE COLLECT
352.66/353.93 c #Conflicts: 19000 | #Constraints: 7814
352.66/353.93 c #Conflicts: 20000 | #Constraints: 8814
352.66/353.93 c #Conflicts: 21000 | #Constraints: 9814
352.66/353.93 c INPROCESSING
352.66/353.93 c GARBAGE COLLECT
352.66/353.93 c #Conflicts: 22000 | #Constraints: 7620
352.66/353.93 c #Conflicts: 23000 | #Constraints: 8620
352.66/353.93 c #Conflicts: 24000 | #Constraints: 9620
352.66/353.93 c #Conflicts: 25000 | #Constraints: 10620
352.66/353.93 c INPROCESSING
352.66/353.93 c GARBAGE COLLECT
352.66/353.93 c #Conflicts: 26000 | #Constraints: 8238
352.66/353.93 c #Conflicts: 27000 | #Constraints: 9238
352.66/353.93 c #Conflicts: 28000 | #Constraints: 10238
352.66/353.93 c #Conflicts: 29000 | #Constraints: 11238
352.66/353.93 c INPROCESSING
352.66/353.93 c GARBAGE COLLECT
352.66/353.93 c #Conflicts: 30000 | #Constraints: 8637
352.66/353.93 c #Conflicts: 31000 | #Constraints: 9637
352.66/353.93 c #Conflicts: 32000 | #Constraints: 10637
352.66/353.93 c #Conflicts: 33000 | #Constraints: 11637
352.66/353.93 c INPROCESSING
352.66/353.93 c GARBAGE COLLECT
352.66/353.93 c #Conflicts: 34000 | #Constraints: 8825
352.66/353.93 c #Conflicts: 35000 | #Constraints: 9825
352.66/353.93 c #Conflicts: 36000 | #Constraints: 10825
352.66/353.93 c #Conflicts: 37000 | #Constraints: 11825
352.66/353.93 c INPROCESSING
352.66/353.93 c GARBAGE COLLECT
352.66/353.93 c #Conflicts: 38000 | #Constraints: 8826
352.66/353.93 c #Conflicts: 39000 | #Constraints: 9826
352.66/353.93 c #Conflicts: 40000 | #Constraints: 10826
352.66/353.93 c #Conflicts: 41000 | #Constraints: 11826
352.66/353.93 c INPROCESSING
352.66/353.93 c GARBAGE COLLECT
352.66/353.93 c #Conflicts: 42000 | #Constraints: 8625
352.66/353.93 c #Conflicts: 43000 | #Constraints: 9625
352.66/353.93 c #Conflicts: 44000 | #Constraints: 10625
352.66/353.93 c #Conflicts: 45000 | #Constraints: 11625
352.66/353.93 c #Conflicts: 46000 | #Constraints: 12625
352.66/353.93 c INPROCESSING
352.66/353.93 c GARBAGE COLLECT
352.66/353.93 c #Conflicts: 47000 | #Constraints: 9220
352.66/353.93 c #Conflicts: 48000 | #Constraints: 10220
352.66/353.93 c #Conflicts: 49000 | #Constraints: 11220
352.66/353.93 c #Conflicts: 50000 | #Constraints: 12220
352.66/353.93 c #Conflicts: 51000 | #Constraints: 13220
352.66/353.93 c INPROCESSING
352.66/353.93 c GARBAGE COLLECT
352.66/353.93 c #Conflicts: 52000 | #Constraints: 9624
352.66/353.93 c #Conflicts: 53000 | #Constraints: 10624
352.66/353.93 c #Conflicts: 54000 | #Constraints: 11624
352.66/353.93 c #Conflicts: 55000 | #Constraints: 12624
352.66/353.93 c #Conflicts: 56000 | #Constraints: 13624
352.66/353.93 c INPROCESSING
352.66/353.93 c GARBAGE COLLECT
352.66/353.93 c #Conflicts: 57000 | #Constraints: 9824
352.66/353.93 c #Conflicts: 58000 | #Constraints: 10824
352.66/353.93 c #Conflicts: 59000 | #Constraints: 11824
352.66/353.93 c #Conflicts: 60000 | #Constraints: 12824
352.66/353.93 c #Conflicts: 61000 | #Constraints: 13824
352.66/353.93 c INPROCESSING
352.66/353.93 c GARBAGE COLLECT
352.66/353.93 c #Conflicts: 62000 | #Constraints: 9826
352.66/353.93 c #Conflicts: 63000 | #Constraints: 10826
352.66/353.93 c #Conflicts: 64000 | #Constraints: 11826
352.66/353.93 c #Conflicts: 65000 | #Constraints: 12826
352.66/353.93 c #Conflicts: 66000 | #Constraints: 13826
352.66/353.93 c INPROCESSING
352.66/353.93 c GARBAGE COLLECT
352.66/353.93 c #Conflicts: 67000 | #Constraints: 9628
352.66/353.93 c #Conflicts: 68000 | #Constraints: 10628
352.66/353.93 c #Conflicts: 69000 | #Constraints: 11628
436.27/437.79 c #Conflicts: 70000 | #Constraints: 12628
436.27/437.79 c #Conflicts: 71000 | #Constraints: 13628
436.27/437.79 c #Conflicts: 72000 | #Constraints: 14628
436.27/437.79 c INPROCESSING
436.27/437.79 c GARBAGE COLLECT
436.27/437.79 c #Conflicts: 73000 | #Constraints: 10226
436.27/437.79 c #Conflicts: 74000 | #Constraints: 11226
436.27/437.79 c #Conflicts: 75000 | #Constraints: 12226
436.27/437.79 c #Conflicts: 76000 | #Constraints: 13226
436.27/437.79 c #Conflicts: 77000 | #Constraints: 14226
436.27/437.79 c #Conflicts: 78000 | #Constraints: 15226
436.27/437.79 c INPROCESSING
436.27/437.79 c GARBAGE COLLECT
436.27/437.79 c #Conflicts: 79000 | #Constraints: 10622
436.27/437.79 c #Conflicts: 80000 | #Constraints: 11622
436.27/437.79 c #Conflicts: 81000 | #Constraints: 12622
436.27/437.79 c #Conflicts: 82000 | #Constraints: 13622
436.27/437.79 c #Conflicts: 83000 | #Constraints: 14622
436.27/437.79 c #Conflicts: 84000 | #Constraints: 15622
436.27/437.79 c INPROCESSING
436.27/437.79 c GARBAGE COLLECT
436.27/437.79 c #Conflicts: 85000 | #Constraints: 10832
436.27/437.79 c #Conflicts: 86000 | #Constraints: 11832
436.27/437.79 c #Conflicts: 87000 | #Constraints: 12832
436.27/437.79 c #Conflicts: 88000 | #Constraints: 13832
436.27/437.79 c #Conflicts: 89000 | #Constraints: 14832
436.27/437.79 c #Conflicts: 90000 | #Constraints: 15832
436.27/437.79 c INPROCESSING
436.27/437.79 c GARBAGE COLLECT
436.27/437.79 c #Conflicts: 91000 | #Constraints: 10834
436.27/437.79 c #Conflicts: 92000 | #Constraints: 11834
436.27/437.79 c #Conflicts: 93000 | #Constraints: 12834
436.27/437.79 c #Conflicts: 94000 | #Constraints: 13834
436.27/437.79 c #Conflicts: 95000 | #Constraints: 14834
436.27/437.79 c #Conflicts: 96000 | #Constraints: 15834
436.27/437.79 c INPROCESSING
436.27/437.79 c GARBAGE COLLECT
436.27/437.79 c #Conflicts: 97000 | #Constraints: 10638
436.27/437.79 c #Conflicts: 98000 | #Constraints: 11638
436.27/437.79 c #Conflicts: 99000 | #Constraints: 12638
436.27/437.79 c #Conflicts: 100000 | #Constraints: 13638
436.27/437.79 c #Conflicts: 101000 | #Constraints: 14638
436.27/437.79 c #Conflicts: 102000 | #Constraints: 15638
436.27/437.79 c #Conflicts: 103000 | #Constraints: 16638
436.27/437.79 c INPROCESSING
436.27/437.79 c GARBAGE COLLECT
436.27/437.79 c #Conflicts: 104000 | #Constraints: 11232
436.27/437.79 c #Conflicts: 105000 | #Constraints: 12232
436.27/437.79 c #Conflicts: 106000 | #Constraints: 13232
436.27/437.79 c #Conflicts: 107000 | #Constraints: 14232
436.27/437.79 c #Conflicts: 108000 | #Constraints: 15232
436.27/437.79 c #Conflicts: 109000 | #Constraints: 16232
436.27/437.79 c #Conflicts: 110000 | #Constraints: 17232
436.27/437.79 c INPROCESSING
436.27/437.79 c GARBAGE COLLECT
436.27/437.79 c #Conflicts: 111000 | #Constraints: 11631
436.27/437.79 c #Conflicts: 112000 | #Constraints: 12631
436.27/437.79 c #Conflicts: 113000 | #Constraints: 13631
436.27/437.79 c #Conflicts: 114000 | #Constraints: 14631
436.27/437.79 c #Conflicts: 115000 | #Constraints: 15631
436.27/437.79 c #Conflicts: 116000 | #Constraints: 16631
436.27/437.79 c #Conflicts: 117000 | #Constraints: 17631
436.27/437.79 c INPROCESSING
436.27/437.79 c GARBAGE COLLECT
436.27/437.79 c #Conflicts: 118000 | #Constraints: 11832
436.27/437.79 c #Conflicts: 119000 | #Constraints: 12832
436.27/437.79 c #Conflicts: 120000 | #Constraints: 13832
436.27/437.79 c #Conflicts: 121000 | #Constraints: 14832
436.27/437.79 c #Conflicts: 122000 | #Constraints: 15832
436.27/437.79 c #Conflicts: 123000 | #Constraints: 16832
436.27/437.79 c #Conflicts: 124000 | #Constraints: 17832
436.27/437.79 c INPROCESSING
436.27/437.79 c GARBAGE COLLECT
436.27/437.79 c #Conflicts: 125000 | #Constraints: 11833
436.27/437.79 c #Conflicts: 126000 | #Constraints: 12833
436.27/437.79 c #Conflicts: 127000 | #Constraints: 13833
436.27/437.79 c #Conflicts: 128000 | #Constraints: 14833
436.27/437.79 c #Conflicts: 129000 | #Constraints: 15833
436.27/437.79 c #Conflicts: 130000 | #Constraints: 16833
436.27/437.79 c #Conflicts: 131000 | #Constraints: 17833
436.27/437.79 c INPROCESSING
436.27/437.79 c GARBAGE COLLECT
436.27/437.79 c #Conflicts: 132000 | #Constraints: 11624
436.27/437.79 c #Conflicts: 133000 | #Constraints: 12624
436.27/437.79 c #Conflicts: 134000 | #Constraints: 13624
436.27/437.79 c #Conflicts: 135000 | #Constraints: 14624
436.27/437.79 c #Conflicts: 136000 | #Constraints: 15624
436.27/437.79 c #Conflicts: 137000 | #Constraints: 16624
436.27/437.79 c #Conflicts: 138000 | #Constraints: 17624
436.27/437.79 c #Conflicts: 139000 | #Constraints: 18624
436.27/437.79 c INPROCESSING
436.27/437.79 c GARBAGE COLLECT
436.27/437.79 c #Conflicts: 140000 | #Constraints: 12221
528.96/530.65 c #Conflicts: 141000 | #Constraints: 13221
528.96/530.65 c #Conflicts: 142000 | #Constraints: 14221
528.96/530.65 c #Conflicts: 143000 | #Constraints: 15221
528.96/530.65 c #Conflicts: 144000 | #Constraints: 16221
528.96/530.65 c #Conflicts: 145000 | #Constraints: 17221
528.96/530.65 c #Conflicts: 146000 | #Constraints: 18221
528.96/530.65 c #Conflicts: 147000 | #Constraints: 19221
528.96/530.65 c INPROCESSING
528.96/530.65 c GARBAGE COLLECT
528.96/530.65 c #Conflicts: 148000 | #Constraints: 12619
528.96/530.65 c #Conflicts: 149000 | #Constraints: 13619
528.96/530.65 c #Conflicts: 150000 | #Constraints: 14619
528.96/530.65 c #Conflicts: 151000 | #Constraints: 15619
528.96/530.65 c #Conflicts: 152000 | #Constraints: 16619
528.96/530.65 c #Conflicts: 153000 | #Constraints: 17619
528.96/530.65 c #Conflicts: 154000 | #Constraints: 18619
528.96/530.65 c #Conflicts: 155000 | #Constraints: 19619
528.96/530.65 c INPROCESSING
528.96/530.65 c GARBAGE COLLECT
528.96/530.65 c #Conflicts: 156000 | #Constraints: 12817
528.96/530.65 c #Conflicts: 157000 | #Constraints: 13817
528.96/530.65 c #Conflicts: 158000 | #Constraints: 14817
528.96/530.65 c #Conflicts: 159000 | #Constraints: 15817
528.96/530.65 c #Conflicts: 160000 | #Constraints: 16817
528.96/530.65 c #Conflicts: 161000 | #Constraints: 17817
528.96/530.65 c #Conflicts: 162000 | #Constraints: 18817
528.96/530.65 c #Conflicts: 163000 | #Constraints: 19817
528.96/530.65 c INPROCESSING
528.96/530.65 c GARBAGE COLLECT
528.96/530.65 c #Conflicts: 164000 | #Constraints: 12819
528.96/530.65 c #Conflicts: 165000 | #Constraints: 13819
528.96/530.65 c #Conflicts: 166000 | #Constraints: 14819
528.96/530.65 c #Conflicts: 167000 | #Constraints: 15819
528.96/530.65 c #Conflicts: 168000 | #Constraints: 16819
528.96/530.65 c #Conflicts: 169000 | #Constraints: 17819
528.96/530.65 c #Conflicts: 170000 | #Constraints: 18819
528.96/530.65 c #Conflicts: 171000 | #Constraints: 19819
528.96/530.65 c INPROCESSING
528.96/530.65 c GARBAGE COLLECT
528.96/530.65 c #Conflicts: 172000 | #Constraints: 12613
528.96/530.65 c #Conflicts: 173000 | #Constraints: 13613
528.96/530.65 c #Conflicts: 174000 | #Constraints: 14613
528.96/530.65 c #Conflicts: 175000 | #Constraints: 15613
528.96/530.65 c #Conflicts: 176000 | #Constraints: 16613
528.96/530.65 c #Conflicts: 177000 | #Constraints: 17613
528.96/530.65 c #Conflicts: 178000 | #Constraints: 18613
528.96/530.65 c #Conflicts: 179000 | #Constraints: 19613
528.96/530.65 c #Conflicts: 180000 | #Constraints: 20613
528.96/530.65 c INPROCESSING
528.96/530.65 c GARBAGE COLLECT
528.96/530.65 c #Conflicts: 181000 | #Constraints: 13213
528.96/530.65 c #Conflicts: 182000 | #Constraints: 14213
528.96/530.65 c #Conflicts: 183000 | #Constraints: 15213
528.96/530.65 c #Conflicts: 184000 | #Constraints: 16213
528.96/530.65 c #Conflicts: 185000 | #Constraints: 17213
528.96/530.65 c #Conflicts: 186000 | #Constraints: 18213
528.96/530.65 c #Conflicts: 187000 | #Constraints: 19213
528.96/530.65 c #Conflicts: 188000 | #Constraints: 20213
528.96/530.65 c #Conflicts: 189000 | #Constraints: 21213
528.96/530.65 c INPROCESSING
528.96/530.65 c GARBAGE COLLECT
528.96/530.65 c #Conflicts: 190000 | #Constraints: 13619
528.96/530.65 c #Conflicts: 191000 | #Constraints: 14619
528.96/530.65 c #Conflicts: 192000 | #Constraints: 15619
528.96/530.65 c #Conflicts: 193000 | #Constraints: 16619
528.96/530.65 c #Conflicts: 194000 | #Constraints: 17619
528.96/530.65 c #Conflicts: 195000 | #Constraints: 18619
528.96/530.65 c #Conflicts: 196000 | #Constraints: 19619
528.96/530.66 c #Conflicts: 197000 | #Constraints: 20619
528.96/530.66 c #Conflicts: 198000 | #Constraints: 21619
528.96/530.66 c INPROCESSING
528.96/530.66 c GARBAGE COLLECT
528.96/530.66 c #Conflicts: 199000 | #Constraints: 13821
528.96/530.66 c #Conflicts: 200000 | #Constraints: 14821
528.96/530.66 c #Conflicts: 201000 | #Constraints: 15821
528.96/530.66 c #Conflicts: 202000 | #Constraints: 16821
528.96/530.66 c #Conflicts: 203000 | #Constraints: 17821
528.96/530.66 c #Conflicts: 204000 | #Constraints: 18821
528.96/530.66 c #Conflicts: 205000 | #Constraints: 19821
528.96/530.66 c #Conflicts: 206000 | #Constraints: 20821
528.96/530.66 c #Conflicts: 207000 | #Constraints: 21821
528.96/530.66 c INPROCESSING
528.96/530.66 c GARBAGE COLLECT
528.96/530.66 c #Conflicts: 208000 | #Constraints: 13826
528.96/530.66 c #Conflicts: 209000 | #Constraints: 14826
528.96/530.66 c #Conflicts: 210000 | #Constraints: 15826
528.96/530.66 c #Conflicts: 211000 | #Constraints: 16826
528.96/530.66 c #Conflicts: 212000 | #Constraints: 17826
528.96/530.66 c #Conflicts: 213000 | #Constraints: 18826
528.96/530.66 c #Conflicts: 214000 | #Constraints: 19826
685.99/688.07 c #Conflicts: 215000 | #Constraints: 20826
685.99/688.07 c #Conflicts: 216000 | #Constraints: 21826
685.99/688.07 c INPROCESSING
685.99/688.07 c GARBAGE COLLECT
685.99/688.07 c #Conflicts: 217000 | #Constraints: 13624
685.99/688.07 c #Conflicts: 218000 | #Constraints: 14624
685.99/688.07 c #Conflicts: 219000 | #Constraints: 15624
685.99/688.07 c #Conflicts: 220000 | #Constraints: 16624
685.99/688.07 c #Conflicts: 221000 | #Constraints: 17624
685.99/688.07 c #Conflicts: 222000 | #Constraints: 18624
685.99/688.07 c #Conflicts: 223000 | #Constraints: 19624
685.99/688.07 c #Conflicts: 224000 | #Constraints: 20624
685.99/688.07 c #Conflicts: 225000 | #Constraints: 21624
685.99/688.07 c #Conflicts: 226000 | #Constraints: 22624
685.99/688.07 c INPROCESSING
685.99/688.07 c GARBAGE COLLECT
685.99/688.07 c #Conflicts: 227000 | #Constraints: 14227
685.99/688.07 c #Conflicts: 228000 | #Constraints: 15227
685.99/688.07 c #Conflicts: 229000 | #Constraints: 16227
685.99/688.07 c #Conflicts: 230000 | #Constraints: 17227
685.99/688.07 c #Conflicts: 231000 | #Constraints: 18227
685.99/688.07 c #Conflicts: 232000 | #Constraints: 19227
685.99/688.07 c #Conflicts: 233000 | #Constraints: 20227
685.99/688.07 c #Conflicts: 234000 | #Constraints: 21227
685.99/688.07 c #Conflicts: 235000 | #Constraints: 22227
685.99/688.07 c #Conflicts: 236000 | #Constraints: 23227
685.99/688.07 c INPROCESSING
685.99/688.07 c GARBAGE COLLECT
685.99/688.07 c #Conflicts: 237000 | #Constraints: 14617
685.99/688.07 c #Conflicts: 238000 | #Constraints: 15617
685.99/688.07 c #Conflicts: 239000 | #Constraints: 16617
685.99/688.07 c #Conflicts: 240000 | #Constraints: 17617
685.99/688.07 c #Conflicts: 241000 | #Constraints: 18617
685.99/688.07 c #Conflicts: 242000 | #Constraints: 19617
685.99/688.07 c #Conflicts: 243000 | #Constraints: 20617
685.99/688.07 c #Conflicts: 244000 | #Constraints: 21617
685.99/688.07 c #Conflicts: 245000 | #Constraints: 22617
685.99/688.07 c #Conflicts: 246000 | #Constraints: 23617
685.99/688.07 c INPROCESSING
685.99/688.07 c GARBAGE COLLECT
685.99/688.07 c #Conflicts: 247000 | #Constraints: 14821
685.99/688.07 c #Conflicts: 248000 | #Constraints: 15821
685.99/688.07 c #Conflicts: 249000 | #Constraints: 16821
685.99/688.07 c #Conflicts: 250000 | #Constraints: 17821
685.99/688.07 c #Conflicts: 251000 | #Constraints: 18821
685.99/688.07 c #Conflicts: 252000 | #Constraints: 19821
685.99/688.07 c #Conflicts: 253000 | #Constraints: 20821
685.99/688.07 c #Conflicts: 254000 | #Constraints: 21821
685.99/688.07 c #Conflicts: 255000 | #Constraints: 22821
685.99/688.07 c #Conflicts: 256000 | #Constraints: 23821
685.99/688.07 c INPROCESSING
685.99/688.07 c GARBAGE COLLECT
685.99/688.07 c #Conflicts: 257000 | #Constraints: 14817
685.99/688.07 c #Conflicts: 258000 | #Constraints: 15817
685.99/688.07 c #Conflicts: 259000 | #Constraints: 16817
685.99/688.07 c #Conflicts: 260000 | #Constraints: 17817
685.99/688.07 c #Conflicts: 261000 | #Constraints: 18817
685.99/688.07 c #Conflicts: 262000 | #Constraints: 19817
685.99/688.07 c #Conflicts: 263000 | #Constraints: 20817
685.99/688.07 c #Conflicts: 264000 | #Constraints: 21817
685.99/688.07 c #Conflicts: 265000 | #Constraints: 22817
685.99/688.07 c #Conflicts: 266000 | #Constraints: 23817
685.99/688.07 c INPROCESSING
685.99/688.07 c GARBAGE COLLECT
685.99/688.07 c #Conflicts: 267000 | #Constraints: 14622
685.99/688.07 c #Conflicts: 268000 | #Constraints: 15622
685.99/688.07 c #Conflicts: 269000 | #Constraints: 16622
685.99/688.07 c #Conflicts: 270000 | #Constraints: 17622
685.99/688.07 c #Conflicts: 271000 | #Constraints: 18622
685.99/688.07 c #Conflicts: 272000 | #Constraints: 19622
685.99/688.07 c #Conflicts: 273000 | #Constraints: 20622
685.99/688.07 c #Conflicts: 274000 | #Constraints: 21622
685.99/688.07 c #Conflicts: 275000 | #Constraints: 22622
685.99/688.07 c #Conflicts: 276000 | #Constraints: 23622
685.99/688.07 c #Conflicts: 277000 | #Constraints: 24622
685.99/688.07 c INPROCESSING
685.99/688.07 c GARBAGE COLLECT
685.99/688.07 c #Conflicts: 278000 | #Constraints: 15214
685.99/688.07 c #Conflicts: 279000 | #Constraints: 16214
685.99/688.07 c #Conflicts: 280000 | #Constraints: 17214
685.99/688.07 c #Conflicts: 281000 | #Constraints: 18214
685.99/688.07 c #Conflicts: 282000 | #Constraints: 19214
685.99/688.07 c #Conflicts: 283000 | #Constraints: 20214
685.99/688.07 c #Conflicts: 284000 | #Constraints: 21214
685.99/688.07 c #Conflicts: 285000 | #Constraints: 22214
685.99/688.07 c #Conflicts: 286000 | #Constraints: 23214
685.99/688.07 c #Conflicts: 287000 | #Constraints: 24214
685.99/688.07 c #Conflicts: 288000 | #Constraints: 25214
685.99/688.07 c INPROCESSING
859.44/861.95 c GARBAGE COLLECT
859.44/861.95 c #Conflicts: 289000 | #Constraints: 15612
859.44/861.95 c #Conflicts: 290000 | #Constraints: 16612
859.44/861.95 c #Conflicts: 291000 | #Constraints: 17612
859.44/861.95 c #Conflicts: 292000 | #Constraints: 18612
859.44/861.95 c #Conflicts: 293000 | #Constraints: 19612
859.44/861.95 c #Conflicts: 294000 | #Constraints: 20612
859.44/861.95 c #Conflicts: 295000 | #Constraints: 21612
859.44/861.95 c #Conflicts: 296000 | #Constraints: 22612
859.44/861.95 c #Conflicts: 297000 | #Constraints: 23612
859.44/861.95 c #Conflicts: 298000 | #Constraints: 24612
859.44/861.95 c #Conflicts: 299000 | #Constraints: 25612
859.44/861.95 c INPROCESSING
859.44/861.95 c GARBAGE COLLECT
859.44/861.95 c #Conflicts: 300000 | #Constraints: 15812
859.44/861.95 c #Conflicts: 301000 | #Constraints: 16812
859.44/861.95 c #Conflicts: 302000 | #Constraints: 17812
859.44/861.95 c #Conflicts: 303000 | #Constraints: 18812
859.44/861.95 c #Conflicts: 304000 | #Constraints: 19812
859.44/861.95 c #Conflicts: 305000 | #Constraints: 20812
859.44/861.95 c #Conflicts: 306000 | #Constraints: 21812
859.44/861.95 c #Conflicts: 307000 | #Constraints: 22812
859.44/861.95 c #Conflicts: 308000 | #Constraints: 23812
859.44/861.95 c #Conflicts: 309000 | #Constraints: 24812
859.44/861.95 c #Conflicts: 310000 | #Constraints: 25812
859.44/861.95 c INPROCESSING
859.44/861.95 c GARBAGE COLLECT
859.44/861.95 c #Conflicts: 311000 | #Constraints: 15821
859.44/861.95 c #Conflicts: 312000 | #Constraints: 16821
859.44/861.95 c #Conflicts: 313000 | #Constraints: 17821
859.44/861.95 c #Conflicts: 314000 | #Constraints: 18821
859.44/861.95 c #Conflicts: 315000 | #Constraints: 19821
859.44/861.95 c #Conflicts: 316000 | #Constraints: 20821
859.44/861.95 c #Conflicts: 317000 | #Constraints: 21821
859.44/861.95 c #Conflicts: 318000 | #Constraints: 22821
859.44/861.95 c #Conflicts: 319000 | #Constraints: 23821
859.44/861.95 c #Conflicts: 320000 | #Constraints: 24821
859.44/861.95 c #Conflicts: 321000 | #Constraints: 25821
859.44/861.95 c INPROCESSING
859.44/861.95 c GARBAGE COLLECT
859.44/861.95 c #Conflicts: 322000 | #Constraints: 15615
859.44/861.95 c #Conflicts: 323000 | #Constraints: 16615
859.44/861.95 c #Conflicts: 324000 | #Constraints: 17615
859.44/861.95 c #Conflicts: 325000 | #Constraints: 18615
859.44/861.95 c #Conflicts: 326000 | #Constraints: 19615
859.44/861.95 c #Conflicts: 327000 | #Constraints: 20615
859.44/861.95 c #Conflicts: 328000 | #Constraints: 21615
859.44/861.95 c #Conflicts: 329000 | #Constraints: 22615
859.44/861.95 c #Conflicts: 330000 | #Constraints: 23615
859.44/861.95 c #Conflicts: 331000 | #Constraints: 24615
859.44/861.95 c #Conflicts: 332000 | #Constraints: 25615
859.44/861.95 c #Conflicts: 333000 | #Constraints: 26615
859.44/861.95 c INPROCESSING
859.44/861.95 c GARBAGE COLLECT
859.44/861.95 c #Conflicts: 334000 | #Constraints: 16224
859.44/861.95 c #Conflicts: 335000 | #Constraints: 17224
859.44/861.95 c #Conflicts: 336000 | #Constraints: 18224
859.44/861.95 c #Conflicts: 337000 | #Constraints: 19224
859.44/861.95 c #Conflicts: 338000 | #Constraints: 20224
859.44/861.95 c #Conflicts: 339000 | #Constraints: 21224
859.44/861.95 c #Conflicts: 340000 | #Constraints: 22224
859.44/861.95 c #Conflicts: 341000 | #Constraints: 23224
859.44/861.95 c #Conflicts: 342000 | #Constraints: 24224
859.44/861.95 c #Conflicts: 343000 | #Constraints: 25224
859.44/861.95 c #Conflicts: 344000 | #Constraints: 26224
859.44/861.95 c #Conflicts: 345000 | #Constraints: 27224
859.44/861.95 c INPROCESSING
859.44/861.95 c GARBAGE COLLECT
859.44/861.95 c #Conflicts: 346000 | #Constraints: 16622
859.44/861.95 c #Conflicts: 347000 | #Constraints: 17622
859.44/861.95 c #Conflicts: 348000 | #Constraints: 18622
859.44/861.95 c #Conflicts: 349000 | #Constraints: 19622
859.44/861.95 c #Conflicts: 350000 | #Constraints: 20622
859.44/861.95 c #Conflicts: 351000 | #Constraints: 21622
859.44/861.95 c #Conflicts: 352000 | #Constraints: 22622
859.44/861.95 c #Conflicts: 353000 | #Constraints: 23622
859.44/861.95 c #Conflicts: 354000 | #Constraints: 24622
859.44/861.95 c #Conflicts: 355000 | #Constraints: 25622
859.44/861.95 c #Conflicts: 356000 | #Constraints: 26622
859.44/861.95 c #Conflicts: 357000 | #Constraints: 27622
859.44/861.95 c INPROCESSING
859.44/861.95 c GARBAGE COLLECT
859.44/861.95 c #Conflicts: 358000 | #Constraints: 16821
859.44/861.95 c #Conflicts: 359000 | #Constraints: 17821
859.44/861.95 c #Conflicts: 360000 | #Constraints: 18821
859.44/861.95 c #Conflicts: 361000 | #Constraints: 19821
859.44/861.95 c #Conflicts: 362000 | #Constraints: 20821
859.44/861.95 c #Conflicts: 363000 | #Constraints: 21821
1043.11/1046.06 c #Conflicts: 364000 | #Constraints: 22821
1043.11/1046.06 c #Conflicts: 365000 | #Constraints: 23821
1043.11/1046.06 c #Conflicts: 366000 | #Constraints: 24821
1043.11/1046.06 c #Conflicts: 367000 | #Constraints: 25821
1043.11/1046.06 c #Conflicts: 368000 | #Constraints: 26821
1043.11/1046.06 c #Conflicts: 369000 | #Constraints: 27821
1043.11/1046.06 c INPROCESSING
1043.11/1046.06 c GARBAGE COLLECT
1043.11/1046.06 c #Conflicts: 370000 | #Constraints: 16821
1043.11/1046.06 c #Conflicts: 371000 | #Constraints: 17821
1043.11/1046.06 c #Conflicts: 372000 | #Constraints: 18821
1043.11/1046.06 c #Conflicts: 373000 | #Constraints: 19821
1043.11/1046.06 c #Conflicts: 374000 | #Constraints: 20821
1043.11/1046.06 c #Conflicts: 375000 | #Constraints: 21821
1043.11/1046.06 c #Conflicts: 376000 | #Constraints: 22821
1043.11/1046.06 c #Conflicts: 377000 | #Constraints: 23821
1043.11/1046.06 c #Conflicts: 378000 | #Constraints: 24821
1043.11/1046.06 c #Conflicts: 379000 | #Constraints: 25821
1043.11/1046.06 c #Conflicts: 380000 | #Constraints: 26821
1043.11/1046.06 c #Conflicts: 381000 | #Constraints: 27821
1043.11/1046.06 c INPROCESSING
1043.11/1046.06 c GARBAGE COLLECT
1043.11/1046.06 c #Conflicts: 382000 | #Constraints: 16619
1043.11/1046.06 c #Conflicts: 383000 | #Constraints: 17619
1043.11/1046.06 c #Conflicts: 384000 | #Constraints: 18619
1043.11/1046.06 c #Conflicts: 385000 | #Constraints: 19619
1043.11/1046.06 c #Conflicts: 386000 | #Constraints: 20619
1043.11/1046.06 c #Conflicts: 387000 | #Constraints: 21619
1043.11/1046.06 c #Conflicts: 388000 | #Constraints: 22619
1043.11/1046.06 c #Conflicts: 389000 | #Constraints: 23619
1043.11/1046.06 c #Conflicts: 390000 | #Constraints: 24619
1043.11/1046.06 c #Conflicts: 391000 | #Constraints: 25619
1043.11/1046.06 c #Conflicts: 392000 | #Constraints: 26619
1043.11/1046.06 c #Conflicts: 393000 | #Constraints: 27619
1043.11/1046.06 c #Conflicts: 394000 | #Constraints: 28619
1043.11/1046.06 c INPROCESSING
1043.11/1046.06 c GARBAGE COLLECT
1043.11/1046.06 c #Conflicts: 395000 | #Constraints: 17224
1043.11/1046.06 c #Conflicts: 396000 | #Constraints: 18224
1043.11/1046.06 c #Conflicts: 397000 | #Constraints: 19224
1043.11/1046.06 c #Conflicts: 398000 | #Constraints: 20224
1043.11/1046.06 c #Conflicts: 399000 | #Constraints: 21224
1043.11/1046.06 c #Conflicts: 400000 | #Constraints: 22224
1043.11/1046.06 c #Conflicts: 401000 | #Constraints: 23224
1043.11/1046.06 c #Conflicts: 402000 | #Constraints: 24224
1043.11/1046.06 c #Conflicts: 403000 | #Constraints: 25224
1043.11/1046.06 c #Conflicts: 404000 | #Constraints: 26224
1043.11/1046.06 c #Conflicts: 405000 | #Constraints: 27224
1043.11/1046.06 c #Conflicts: 406000 | #Constraints: 28224
1043.11/1046.06 c #Conflicts: 407000 | #Constraints: 29224
1043.11/1046.06 c INPROCESSING
1043.11/1046.06 c GARBAGE COLLECT
1043.11/1046.06 c #Conflicts: 408000 | #Constraints: 17623
1043.11/1046.06 c #Conflicts: 409000 | #Constraints: 18623
1043.11/1046.06 c #Conflicts: 410000 | #Constraints: 19623
1043.11/1046.06 c #Conflicts: 411000 | #Constraints: 20623
1043.11/1046.06 c #Conflicts: 412000 | #Constraints: 21623
1043.11/1046.06 c #Conflicts: 413000 | #Constraints: 22623
1043.11/1046.06 c #Conflicts: 414000 | #Constraints: 23623
1043.11/1046.06 c #Conflicts: 415000 | #Constraints: 24623
1043.11/1046.06 c #Conflicts: 416000 | #Constraints: 25623
1043.11/1046.06 c #Conflicts: 417000 | #Constraints: 26623
1043.11/1046.06 c #Conflicts: 418000 | #Constraints: 27623
1043.11/1046.06 c #Conflicts: 419000 | #Constraints: 28623
1043.11/1046.06 c #Conflicts: 420000 | #Constraints: 29623
1043.11/1046.06 c INPROCESSING
1043.11/1046.06 c GARBAGE COLLECT
1043.11/1046.06 c #Conflicts: 421000 | #Constraints: 17825
1043.11/1046.06 c #Conflicts: 422000 | #Constraints: 18825
1043.11/1046.06 c #Conflicts: 423000 | #Constraints: 19825
1043.11/1046.06 c #Conflicts: 424000 | #Constraints: 20825
1043.11/1046.06 c #Conflicts: 425000 | #Constraints: 21825
1043.11/1046.06 c #Conflicts: 426000 | #Constraints: 22825
1043.11/1046.06 c #Conflicts: 427000 | #Constraints: 23825
1043.11/1046.06 c #Conflicts: 428000 | #Constraints: 24825
1043.11/1046.06 c #Conflicts: 429000 | #Constraints: 25825
1043.11/1046.06 c #Conflicts: 430000 | #Constraints: 26825
1043.11/1046.06 c #Conflicts: 431000 | #Constraints: 27825
1043.11/1046.06 c #Conflicts: 432000 | #Constraints: 28825
1043.11/1046.06 c #Conflicts: 433000 | #Constraints: 29825
1043.11/1046.06 c INPROCESSING
1043.11/1046.06 c GARBAGE COLLECT
1043.11/1046.06 c #Conflicts: 434000 | #Constraints: 17830
1043.11/1046.06 c #Conflicts: 435000 | #Constraints: 18830
1043.11/1046.06 c #Conflicts: 436000 | #Constraints: 19830
1043.11/1046.06 c #Conflicts: 437000 | #Constraints: 20830
1043.11/1046.06 c #Conflicts: 438000 | #Constraints: 21830
1262.06/1265.57 c #Conflicts: 439000 | #Constraints: 22830
1262.06/1265.57 c #Conflicts: 440000 | #Constraints: 23830
1262.06/1265.57 c #Conflicts: 441000 | #Constraints: 24830
1262.06/1265.57 c #Conflicts: 442000 | #Constraints: 25830
1262.06/1265.57 c #Conflicts: 443000 | #Constraints: 26830
1262.06/1265.57 c #Conflicts: 444000 | #Constraints: 27830
1262.06/1265.57 c #Conflicts: 445000 | #Constraints: 28830
1262.06/1265.57 c #Conflicts: 446000 | #Constraints: 29830
1262.06/1265.57 c INPROCESSING
1262.06/1265.57 c GARBAGE COLLECT
1262.06/1265.57 c #Conflicts: 447000 | #Constraints: 17632
1262.06/1265.57 c #Conflicts: 448000 | #Constraints: 18632
1262.06/1265.57 c #Conflicts: 449000 | #Constraints: 19632
1262.06/1265.57 c #Conflicts: 450000 | #Constraints: 20632
1262.06/1265.57 c #Conflicts: 451000 | #Constraints: 21632
1262.06/1265.57 c #Conflicts: 452000 | #Constraints: 22632
1262.06/1265.57 c #Conflicts: 453000 | #Constraints: 23632
1262.06/1265.57 c #Conflicts: 454000 | #Constraints: 24632
1262.06/1265.57 c #Conflicts: 455000 | #Constraints: 25632
1262.06/1265.57 c #Conflicts: 456000 | #Constraints: 26632
1262.06/1265.57 c #Conflicts: 457000 | #Constraints: 27632
1262.06/1265.57 c #Conflicts: 458000 | #Constraints: 28632
1262.06/1265.57 c #Conflicts: 459000 | #Constraints: 29632
1262.06/1265.57 c #Conflicts: 460000 | #Constraints: 30632
1262.06/1265.57 c INPROCESSING
1262.06/1265.57 c GARBAGE COLLECT
1262.06/1265.57 c #Conflicts: 461000 | #Constraints: 18225
1262.06/1265.57 c #Conflicts: 462000 | #Constraints: 19225
1262.06/1265.57 c #Conflicts: 463000 | #Constraints: 20225
1262.06/1265.57 c #Conflicts: 464000 | #Constraints: 21225
1262.06/1265.57 c #Conflicts: 465000 | #Constraints: 22225
1262.06/1265.57 c #Conflicts: 466000 | #Constraints: 23225
1262.06/1265.57 c #Conflicts: 467000 | #Constraints: 24225
1262.06/1265.57 c #Conflicts: 468000 | #Constraints: 25225
1262.06/1265.57 c #Conflicts: 469000 | #Constraints: 26225
1262.06/1265.57 c #Conflicts: 470000 | #Constraints: 27225
1262.06/1265.57 c #Conflicts: 471000 | #Constraints: 28225
1262.06/1265.57 c #Conflicts: 472000 | #Constraints: 29225
1262.06/1265.57 c #Conflicts: 473000 | #Constraints: 30225
1262.06/1265.57 c #Conflicts: 474000 | #Constraints: 31225
1262.06/1265.57 c INPROCESSING
1262.06/1265.57 c GARBAGE COLLECT
1262.06/1265.57 c #Conflicts: 475000 | #Constraints: 18628
1262.06/1265.57 c #Conflicts: 476000 | #Constraints: 19628
1262.06/1265.57 c #Conflicts: 477000 | #Constraints: 20628
1262.06/1265.57 c #Conflicts: 478000 | #Constraints: 21628
1262.06/1265.57 c #Conflicts: 479000 | #Constraints: 22628
1262.06/1265.57 c #Conflicts: 480000 | #Constraints: 23628
1262.06/1265.57 c #Conflicts: 481000 | #Constraints: 24628
1262.06/1265.57 c #Conflicts: 482000 | #Constraints: 25628
1262.06/1265.57 c #Conflicts: 483000 | #Constraints: 26628
1262.06/1265.57 c #Conflicts: 484000 | #Constraints: 27628
1262.06/1265.57 c #Conflicts: 485000 | #Constraints: 28628
1262.06/1265.57 c #Conflicts: 486000 | #Constraints: 29628
1262.06/1265.57 c #Conflicts: 487000 | #Constraints: 30628
1262.06/1265.57 c #Conflicts: 488000 | #Constraints: 31628
1262.06/1265.57 c INPROCESSING
1262.06/1265.57 c GARBAGE COLLECT
1262.06/1265.57 c #Conflicts: 489000 | #Constraints: 18830
1262.06/1265.57 c #Conflicts: 490000 | #Constraints: 19830
1262.06/1265.57 c #Conflicts: 491000 | #Constraints: 20830
1262.06/1265.57 c #Conflicts: 492000 | #Constraints: 21830
1262.06/1265.57 c #Conflicts: 493000 | #Constraints: 22830
1262.06/1265.57 c #Conflicts: 494000 | #Constraints: 23830
1262.06/1265.57 c #Conflicts: 495000 | #Constraints: 24830
1262.06/1265.57 c #Conflicts: 496000 | #Constraints: 25830
1262.06/1265.57 c #Conflicts: 497000 | #Constraints: 26830
1262.06/1265.57 c #Conflicts: 498000 | #Constraints: 27830
1262.06/1265.57 c #Conflicts: 499000 | #Constraints: 28830
1262.06/1265.57 c #Conflicts: 500000 | #Constraints: 29830
1262.06/1265.57 c #Conflicts: 501000 | #Constraints: 30830
1262.06/1265.57 c #Conflicts: 502000 | #Constraints: 31830
1262.06/1265.57 c INPROCESSING
1262.06/1265.57 c GARBAGE COLLECT
1262.06/1265.57 c #Conflicts: 503000 | #Constraints: 18833
1262.06/1265.57 c #Conflicts: 504000 | #Constraints: 19833
1262.06/1265.57 c #Conflicts: 505000 | #Constraints: 20833
1262.06/1265.57 c #Conflicts: 506000 | #Constraints: 21833
1262.06/1265.57 c #Conflicts: 507000 | #Constraints: 22833
1262.06/1265.57 c #Conflicts: 508000 | #Constraints: 23833
1262.06/1265.57 c #Conflicts: 509000 | #Constraints: 24833
1262.06/1265.57 c #Conflicts: 510000 | #Constraints: 25833
1262.06/1265.57 c #Conflicts: 511000 | #Constraints: 26833
1262.06/1265.57 c #Conflicts: 512000 | #Constraints: 27833
1262.06/1265.57 c #Conflicts: 513000 | #Constraints: 28833
1460.67/1464.68 c #Conflicts: 514000 | #Constraints: 29833
1460.67/1464.68 c #Conflicts: 515000 | #Constraints: 30833
1460.67/1464.68 c #Conflicts: 516000 | #Constraints: 31833
1460.67/1464.68 c INPROCESSING
1460.67/1464.68 c GARBAGE COLLECT
1460.67/1464.68 c #Conflicts: 517000 | #Constraints: 18623
1460.67/1464.68 c #Conflicts: 518000 | #Constraints: 19623
1460.67/1464.68 c #Conflicts: 519000 | #Constraints: 20623
1460.67/1464.68 c #Conflicts: 520000 | #Constraints: 21623
1460.67/1464.68 c #Conflicts: 521000 | #Constraints: 22623
1460.67/1464.68 c #Conflicts: 522000 | #Constraints: 23623
1460.67/1464.68 c #Conflicts: 523000 | #Constraints: 24623
1460.67/1464.68 c #Conflicts: 524000 | #Constraints: 25623
1460.67/1464.68 c #Conflicts: 525000 | #Constraints: 26623
1460.67/1464.68 c #Conflicts: 526000 | #Constraints: 27623
1460.67/1464.68 c #Conflicts: 527000 | #Constraints: 28623
1460.67/1464.68 c #Conflicts: 528000 | #Constraints: 29623
1460.67/1464.68 c #Conflicts: 529000 | #Constraints: 30623
1460.67/1464.68 c #Conflicts: 530000 | #Constraints: 31623
1460.67/1464.68 c #Conflicts: 531000 | #Constraints: 32623
1460.67/1464.68 c INPROCESSING
1460.67/1464.68 c GARBAGE COLLECT
1460.67/1464.68 c #Conflicts: 532000 | #Constraints: 19226
1460.67/1464.68 c #Conflicts: 533000 | #Constraints: 20226
1460.67/1464.68 c #Conflicts: 534000 | #Constraints: 21226
1460.67/1464.68 c #Conflicts: 535000 | #Constraints: 22226
1460.67/1464.68 c #Conflicts: 536000 | #Constraints: 23226
1460.67/1464.68 c #Conflicts: 537000 | #Constraints: 24226
1460.67/1464.68 c #Conflicts: 538000 | #Constraints: 25226
1460.67/1464.68 c #Conflicts: 539000 | #Constraints: 26226
1460.67/1464.68 c #Conflicts: 540000 | #Constraints: 27226
1460.67/1464.68 c #Conflicts: 541000 | #Constraints: 28226
1460.67/1464.68 c #Conflicts: 542000 | #Constraints: 29226
1460.67/1464.68 c #Conflicts: 543000 | #Constraints: 30226
1460.67/1464.68 c #Conflicts: 544000 | #Constraints: 31226
1460.67/1464.68 c #Conflicts: 545000 | #Constraints: 32226
1460.67/1464.68 c #Conflicts: 546000 | #Constraints: 33226
1460.67/1464.68 c INPROCESSING
1460.67/1464.68 c GARBAGE COLLECT
1460.67/1464.68 c #Conflicts: 547000 | #Constraints: 19629
1460.67/1464.68 c #Conflicts: 548000 | #Constraints: 20629
1460.67/1464.68 c #Conflicts: 549000 | #Constraints: 21629
1460.67/1464.68 c #Conflicts: 550000 | #Constraints: 22629
1460.67/1464.68 c #Conflicts: 551000 | #Constraints: 23629
1460.67/1464.68 c #Conflicts: 552000 | #Constraints: 24629
1460.67/1464.68 c #Conflicts: 553000 | #Constraints: 25629
1460.67/1464.68 c #Conflicts: 554000 | #Constraints: 26629
1460.67/1464.68 c #Conflicts: 555000 | #Constraints: 27629
1460.67/1464.68 c #Conflicts: 556000 | #Constraints: 28629
1460.67/1464.68 c #Conflicts: 557000 | #Constraints: 29629
1460.67/1464.68 c #Conflicts: 558000 | #Constraints: 30629
1460.67/1464.68 c #Conflicts: 559000 | #Constraints: 31629
1460.67/1464.68 c #Conflicts: 560000 | #Constraints: 32629
1460.67/1464.68 c #Conflicts: 561000 | #Constraints: 33629
1460.67/1464.68 c INPROCESSING
1460.67/1464.68 c GARBAGE COLLECT
1460.67/1464.68 c #Conflicts: 562000 | #Constraints: 19826
1460.67/1464.68 c #Conflicts: 563000 | #Constraints: 20826
1460.67/1464.68 c #Conflicts: 564000 | #Constraints: 21826
1460.67/1464.68 c #Conflicts: 565000 | #Constraints: 22826
1460.67/1464.68 c #Conflicts: 566000 | #Constraints: 23826
1460.67/1464.68 c #Conflicts: 567000 | #Constraints: 24826
1460.67/1464.68 c #Conflicts: 568000 | #Constraints: 25826
1460.67/1464.68 c #Conflicts: 569000 | #Constraints: 26826
1460.67/1464.68 c #Conflicts: 570000 | #Constraints: 27826
1460.67/1464.68 c #Conflicts: 571000 | #Constraints: 28826
1460.67/1464.68 c #Conflicts: 572000 | #Constraints: 29826
1460.67/1464.68 c #Conflicts: 573000 | #Constraints: 30826
1460.67/1464.68 c #Conflicts: 574000 | #Constraints: 31826
1460.67/1464.68 c #Conflicts: 575000 | #Constraints: 32826
1460.67/1464.68 c #Conflicts: 576000 | #Constraints: 33826
1460.67/1464.68 c INPROCESSING
1460.67/1464.68 c GARBAGE COLLECT
1460.67/1464.68 c #Conflicts: 577000 | #Constraints: 19828
1460.67/1464.68 c #Conflicts: 578000 | #Constraints: 20828
1460.67/1464.68 c #Conflicts: 579000 | #Constraints: 21828
1460.67/1464.68 c #Conflicts: 580000 | #Constraints: 22828
1460.67/1464.68 c #Conflicts: 581000 | #Constraints: 23828
1460.67/1464.68 c #Conflicts: 582000 | #Constraints: 24828
1460.67/1464.68 c #Conflicts: 583000 | #Constraints: 25828
1460.67/1464.68 c #Conflicts: 584000 | #Constraints: 26828
1460.67/1464.68 c #Conflicts: 585000 | #Constraints: 27828
1460.67/1464.68 c #Conflicts: 586000 | #Constraints: 28828
1460.67/1464.68 c #Conflicts: 587000 | #Constraints: 29828
1460.67/1464.68 c #Conflicts: 588000 | #Constraints: 30828
1460.67/1464.68 c #Conflicts: 589000 | #Constraints: 31828
1638.27/1642.69 c #Conflicts: 590000 | #Constraints: 32828
1638.27/1642.69 c #Conflicts: 591000 | #Constraints: 33828
1638.27/1642.69 c INPROCESSING
1638.27/1642.69 c GARBAGE COLLECT
1638.27/1642.69 c #Conflicts: 592000 | #Constraints: 19625
1638.27/1642.69 c #Conflicts: 593000 | #Constraints: 20625
1638.27/1642.69 c #Conflicts: 594000 | #Constraints: 21625
1638.27/1642.69 c #Conflicts: 595000 | #Constraints: 22625
1638.27/1642.69 c #Conflicts: 596000 | #Constraints: 23625
1638.27/1642.69 c #Conflicts: 597000 | #Constraints: 24625
1638.27/1642.69 c #Conflicts: 598000 | #Constraints: 25625
1638.27/1642.69 c #Conflicts: 599000 | #Constraints: 26625
1638.27/1642.69 c #Conflicts: 600000 | #Constraints: 27625
1638.27/1642.69 c #Conflicts: 601000 | #Constraints: 28625
1638.27/1642.69 c #Conflicts: 602000 | #Constraints: 29625
1638.27/1642.69 c #Conflicts: 603000 | #Constraints: 30625
1638.27/1642.69 c #Conflicts: 604000 | #Constraints: 31625
1638.27/1642.69 c #Conflicts: 605000 | #Constraints: 32625
1638.27/1642.69 c #Conflicts: 606000 | #Constraints: 33625
1638.27/1642.69 c #Conflicts: 607000 | #Constraints: 34625
1638.27/1642.69 c INPROCESSING
1638.27/1642.69 c GARBAGE COLLECT
1638.27/1642.69 c #Conflicts: 608000 | #Constraints: 20227
1638.27/1642.69 c #Conflicts: 609000 | #Constraints: 21227
1638.27/1642.69 c #Conflicts: 610000 | #Constraints: 22227
1638.27/1642.69 c #Conflicts: 611000 | #Constraints: 23227
1638.27/1642.69 c #Conflicts: 612000 | #Constraints: 24227
1638.27/1642.69 c #Conflicts: 613000 | #Constraints: 25227
1638.27/1642.69 c #Conflicts: 614000 | #Constraints: 26227
1638.27/1642.69 c #Conflicts: 615000 | #Constraints: 27227
1638.27/1642.69 c #Conflicts: 616000 | #Constraints: 28227
1638.27/1642.69 c #Conflicts: 617000 | #Constraints: 29227
1638.27/1642.69 c #Conflicts: 618000 | #Constraints: 30227
1638.27/1642.69 c #Conflicts: 619000 | #Constraints: 31227
1638.27/1642.69 c #Conflicts: 620000 | #Constraints: 32227
1638.27/1642.69 c #Conflicts: 621000 | #Constraints: 33227
1638.27/1642.69 c #Conflicts: 622000 | #Constraints: 34227
1638.27/1642.69 c #Conflicts: 623000 | #Constraints: 35227
1638.27/1642.69 c INPROCESSING
1638.27/1642.69 c GARBAGE COLLECT
1638.27/1642.69 c #Conflicts: 624000 | #Constraints: 20629
1638.27/1642.69 c #Conflicts: 625000 | #Constraints: 21629
1638.27/1642.69 c #Conflicts: 626000 | #Constraints: 22629
1638.27/1642.69 c #Conflicts: 627000 | #Constraints: 23629
1638.27/1642.69 c #Conflicts: 628000 | #Constraints: 24629
1638.27/1642.69 c #Conflicts: 629000 | #Constraints: 25629
1638.27/1642.69 c #Conflicts: 630000 | #Constraints: 26629
1638.27/1642.69 c #Conflicts: 631000 | #Constraints: 27629
1638.27/1642.69 c #Conflicts: 632000 | #Constraints: 28629
1638.27/1642.69 c #Conflicts: 633000 | #Constraints: 29629
1638.27/1642.69 c #Conflicts: 634000 | #Constraints: 30629
1638.27/1642.69 c #Conflicts: 635000 | #Constraints: 31629
1638.27/1642.69 c #Conflicts: 636000 | #Constraints: 32629
1638.27/1642.69 c #Conflicts: 637000 | #Constraints: 33629
1638.27/1642.69 c #Conflicts: 638000 | #Constraints: 34629
1638.27/1642.69 c #Conflicts: 639000 | #Constraints: 35629
1638.27/1642.69 c INPROCESSING
1638.27/1642.69 c GARBAGE COLLECT
1638.27/1642.69 c #Conflicts: 640000 | #Constraints: 20829
1638.27/1642.69 c #Conflicts: 641000 | #Constraints: 21829
1638.27/1642.69 c #Conflicts: 642000 | #Constraints: 22829
1638.27/1642.69 c #Conflicts: 643000 | #Constraints: 23829
1638.27/1642.69 c #Conflicts: 644000 | #Constraints: 24829
1638.27/1642.69 c #Conflicts: 645000 | #Constraints: 25829
1638.27/1642.69 c #Conflicts: 646000 | #Constraints: 26829
1638.27/1642.69 c #Conflicts: 647000 | #Constraints: 27829
1638.27/1642.69 c #Conflicts: 648000 | #Constraints: 28829
1638.27/1642.69 c #Conflicts: 649000 | #Constraints: 29829
1638.27/1642.69 c #Conflicts: 650000 | #Constraints: 30829
1638.27/1642.69 c #Conflicts: 651000 | #Constraints: 31829
1638.27/1642.69 c #Conflicts: 652000 | #Constraints: 32829
1638.27/1642.69 c #Conflicts: 653000 | #Constraints: 33829
1638.27/1642.69 c #Conflicts: 654000 | #Constraints: 34829
1638.27/1642.69 c #Conflicts: 655000 | #Constraints: 35829
1638.27/1642.69 c INPROCESSING
1638.27/1642.69 c GARBAGE COLLECT
1638.27/1642.69 c #Conflicts: 656000 | #Constraints: 20829
1638.27/1642.69 c #Conflicts: 657000 | #Constraints: 21829
1638.27/1642.69 c #Conflicts: 658000 | #Constraints: 22829
1638.27/1642.69 c #Conflicts: 659000 | #Constraints: 23829
1638.27/1642.69 c #Conflicts: 660000 | #Constraints: 24829
1638.27/1642.69 c #Conflicts: 661000 | #Constraints: 25829
1638.27/1642.69 c #Conflicts: 662000 | #Constraints: 26829
1638.27/1642.69 c #Conflicts: 663000 | #Constraints: 27829
1638.27/1642.69 c #Conflicts: 664000 | #Constraints: 28829
1638.27/1642.69 c #Conflicts: 665000 | #Constraints: 29829
1815.27/1820.03 c #Conflicts: 666000 | #Constraints: 30829
1815.27/1820.03 c #Conflicts: 667000 | #Constraints: 31829
1815.27/1820.03 c #Conflicts: 668000 | #Constraints: 32829
1815.27/1820.03 c #Conflicts: 669000 | #Constraints: 33829
1815.27/1820.03 c #Conflicts: 670000 | #Constraints: 34829
1815.27/1820.03 c #Conflicts: 671000 | #Constraints: 35829
1815.27/1820.03 c INPROCESSING
1815.27/1820.03 c GARBAGE COLLECT
1815.27/1820.03 c #Conflicts: 672000 | #Constraints: 20633
1815.27/1820.03 c #Conflicts: 673000 | #Constraints: 21633
1815.27/1820.03 c #Conflicts: 674000 | #Constraints: 22633
1815.27/1820.03 c #Conflicts: 675000 | #Constraints: 23633
1815.27/1820.03 c #Conflicts: 676000 | #Constraints: 24633
1815.27/1820.03 c #Conflicts: 677000 | #Constraints: 25633
1815.27/1820.03 c #Conflicts: 678000 | #Constraints: 26633
1815.27/1820.03 c #Conflicts: 679000 | #Constraints: 27633
1815.27/1820.03 c #Conflicts: 680000 | #Constraints: 28633
1815.27/1820.03 c #Conflicts: 681000 | #Constraints: 29633
1815.27/1820.03 c #Conflicts: 682000 | #Constraints: 30633
1815.27/1820.03 c #Conflicts: 683000 | #Constraints: 31633
1815.27/1820.03 c #Conflicts: 684000 | #Constraints: 32633
1815.27/1820.03 c #Conflicts: 685000 | #Constraints: 33633
1815.27/1820.03 c #Conflicts: 686000 | #Constraints: 34633
1815.27/1820.03 c #Conflicts: 687000 | #Constraints: 35633
1815.27/1820.03 c #Conflicts: 688000 | #Constraints: 36633
1815.27/1820.03 c INPROCESSING
1815.27/1820.03 c GARBAGE COLLECT
1815.27/1820.03 c #Conflicts: 689000 | #Constraints: 21236
1815.27/1820.03 c #Conflicts: 690000 | #Constraints: 22236
1815.27/1820.03 c #Conflicts: 691000 | #Constraints: 23236
1815.27/1820.03 c #Conflicts: 692000 | #Constraints: 24236
1815.27/1820.03 c #Conflicts: 693000 | #Constraints: 25236
1815.27/1820.03 c #Conflicts: 694000 | #Constraints: 26236
1815.27/1820.03 c #Conflicts: 695000 | #Constraints: 27236
1815.27/1820.03 c #Conflicts: 696000 | #Constraints: 28236
1815.27/1820.03 c #Conflicts: 697000 | #Constraints: 29236
1815.27/1820.03 c #Conflicts: 698000 | #Constraints: 30236
1815.27/1820.03 c #Conflicts: 699000 | #Constraints: 31236
1815.27/1820.03 c #Conflicts: 700000 | #Constraints: 32236
1815.27/1820.03 c #Conflicts: 701000 | #Constraints: 33236
1815.27/1820.03 c #Conflicts: 702000 | #Constraints: 34236
1815.27/1820.03 c #Conflicts: 703000 | #Constraints: 35236
1815.27/1820.03 c #Conflicts: 704000 | #Constraints: 36236
1815.27/1820.03 c #Conflicts: 705000 | #Constraints: 37236
1815.27/1820.03 c INPROCESSING
1815.27/1820.03 c GARBAGE COLLECT
1815.27/1820.03 c #Conflicts: 706000 | #Constraints: 21633
1815.27/1820.03 c #Conflicts: 707000 | #Constraints: 22633
1815.27/1820.03 c #Conflicts: 708000 | #Constraints: 23633
1815.27/1820.03 c #Conflicts: 709000 | #Constraints: 24633
1815.27/1820.03 c #Conflicts: 710000 | #Constraints: 25633
1815.27/1820.03 c #Conflicts: 711000 | #Constraints: 26633
1815.27/1820.03 c #Conflicts: 712000 | #Constraints: 27633
1815.27/1820.03 c #Conflicts: 713000 | #Constraints: 28633
1815.27/1820.03 c #Conflicts: 714000 | #Constraints: 29633
1815.27/1820.03 c #Conflicts: 715000 | #Constraints: 30633
1815.27/1820.03 c #Conflicts: 716000 | #Constraints: 31633
1815.27/1820.03 c #Conflicts: 717000 | #Constraints: 32633
1815.27/1820.03 c #Conflicts: 718000 | #Constraints: 33633
1815.27/1820.03 c #Conflicts: 719000 | #Constraints: 34633
1815.27/1820.03 c #Conflicts: 720000 | #Constraints: 35633
1815.27/1820.03 c #Conflicts: 721000 | #Constraints: 36633
1815.27/1820.03 c #Conflicts: 722000 | #Constraints: 37633
1815.27/1820.03 c INPROCESSING
1815.27/1820.03 c GARBAGE COLLECT
1815.27/1820.03 c #Conflicts: 723000 | #Constraints: 21831
1815.27/1820.03 c #Conflicts: 724000 | #Constraints: 22831
1815.27/1820.03 c #Conflicts: 725000 | #Constraints: 23831
1815.27/1820.03 c #Conflicts: 726000 | #Constraints: 24831
1815.27/1820.03 c #Conflicts: 727000 | #Constraints: 25831
1815.27/1820.03 c #Conflicts: 728000 | #Constraints: 26831
1815.27/1820.03 c #Conflicts: 729000 | #Constraints: 27831
1815.27/1820.03 c #Conflicts: 730000 | #Constraints: 28831
1815.27/1820.03 c #Conflicts: 731000 | #Constraints: 29831
1815.27/1820.03 c #Conflicts: 732000 | #Constraints: 30831
1815.27/1820.03 c #Conflicts: 733000 | #Constraints: 31831
1815.27/1820.03 c #Conflicts: 734000 | #Constraints: 32831
1815.27/1820.03 c #Conflicts: 735000 | #Constraints: 33831
1815.27/1820.03 c #Conflicts: 736000 | #Constraints: 34831
1815.27/1820.03 c #Conflicts: 737000 | #Constraints: 35831
1815.27/1820.03 c #Conflicts: 738000 | #Constraints: 36831
1815.27/1820.03 c #Conflicts: 739000 | #Constraints: 37831
1815.27/1820.03 c INPROCESSING
1815.27/1820.03 c GARBAGE COLLECT
1815.27/1820.03 c #Conflicts: 740000 | #Constraints: 21830
2031.56/2036.81 c #Conflicts: 741000 | #Constraints: 22830
2031.56/2036.81 c #Conflicts: 742000 | #Constraints: 23830
2031.56/2036.81 c #Conflicts: 743000 | #Constraints: 24830
2031.56/2036.81 c #Conflicts: 744000 | #Constraints: 25830
2031.56/2036.81 c #Conflicts: 745000 | #Constraints: 26830
2031.56/2036.81 c #Conflicts: 746000 | #Constraints: 27830
2031.56/2036.81 c #Conflicts: 747000 | #Constraints: 28830
2031.56/2036.81 c #Conflicts: 748000 | #Constraints: 29830
2031.56/2036.81 c #Conflicts: 749000 | #Constraints: 30830
2031.56/2036.81 c #Conflicts: 750000 | #Constraints: 31830
2031.56/2036.81 c #Conflicts: 751000 | #Constraints: 32830
2031.56/2036.81 c #Conflicts: 752000 | #Constraints: 33830
2031.56/2036.81 c #Conflicts: 753000 | #Constraints: 34830
2031.56/2036.81 c #Conflicts: 754000 | #Constraints: 35830
2031.56/2036.81 c #Conflicts: 755000 | #Constraints: 36830
2031.56/2036.81 c #Conflicts: 756000 | #Constraints: 37830
2031.56/2036.81 c INPROCESSING
2031.56/2036.81 c GARBAGE COLLECT
2031.56/2036.81 c #Conflicts: 757000 | #Constraints: 21629
2031.56/2036.81 c #Conflicts: 758000 | #Constraints: 22629
2031.56/2036.81 c #Conflicts: 759000 | #Constraints: 23629
2031.56/2036.81 c #Conflicts: 760000 | #Constraints: 24629
2031.56/2036.81 c #Conflicts: 761000 | #Constraints: 25629
2031.56/2036.81 c #Conflicts: 762000 | #Constraints: 26629
2031.56/2036.81 c #Conflicts: 763000 | #Constraints: 27629
2031.56/2036.81 c #Conflicts: 764000 | #Constraints: 28629
2031.56/2036.81 c #Conflicts: 765000 | #Constraints: 29629
2031.56/2036.81 c #Conflicts: 766000 | #Constraints: 30629
2031.56/2036.81 c #Conflicts: 767000 | #Constraints: 31629
2031.56/2036.81 c #Conflicts: 768000 | #Constraints: 32629
2031.56/2036.81 c #Conflicts: 769000 | #Constraints: 33629
2031.56/2036.81 c #Conflicts: 770000 | #Constraints: 34629
2031.56/2036.81 c #Conflicts: 771000 | #Constraints: 35629
2031.56/2036.81 c #Conflicts: 772000 | #Constraints: 36629
2031.56/2036.81 c #Conflicts: 773000 | #Constraints: 37629
2031.56/2036.81 c #Conflicts: 774000 | #Constraints: 38629
2031.56/2036.81 c INPROCESSING
2031.56/2036.81 c GARBAGE COLLECT
2031.56/2036.81 c #Conflicts: 775000 | #Constraints: 22222
2031.56/2036.81 c #Conflicts: 776000 | #Constraints: 23222
2031.56/2036.81 c #Conflicts: 777000 | #Constraints: 24222
2031.56/2036.81 c #Conflicts: 778000 | #Constraints: 25222
2031.56/2036.81 c #Conflicts: 779000 | #Constraints: 26222
2031.56/2036.81 c #Conflicts: 780000 | #Constraints: 27222
2031.56/2036.81 c #Conflicts: 781000 | #Constraints: 28222
2031.56/2036.81 c #Conflicts: 782000 | #Constraints: 29222
2031.56/2036.81 c #Conflicts: 783000 | #Constraints: 30222
2031.56/2036.81 c #Conflicts: 784000 | #Constraints: 31222
2031.56/2036.81 c #Conflicts: 785000 | #Constraints: 32222
2031.56/2036.81 c #Conflicts: 786000 | #Constraints: 33222
2031.56/2036.81 c #Conflicts: 787000 | #Constraints: 34222
2031.56/2036.81 c #Conflicts: 788000 | #Constraints: 35222
2031.56/2036.81 c #Conflicts: 789000 | #Constraints: 36222
2031.56/2036.81 c #Conflicts: 790000 | #Constraints: 37222
2031.56/2036.81 c #Conflicts: 791000 | #Constraints: 38222
2031.56/2036.81 c #Conflicts: 792000 | #Constraints: 39222
2031.56/2036.81 c INPROCESSING
2031.56/2036.81 c GARBAGE COLLECT
2031.56/2036.81 c #Conflicts: 793000 | #Constraints: 22623
2031.56/2036.81 c #Conflicts: 794000 | #Constraints: 23623
2031.56/2036.81 c #Conflicts: 795000 | #Constraints: 24623
2031.56/2036.81 c #Conflicts: 796000 | #Constraints: 25623
2031.56/2036.81 c #Conflicts: 797000 | #Constraints: 26623
2031.56/2036.81 c #Conflicts: 798000 | #Constraints: 27623
2031.56/2036.81 c #Conflicts: 799000 | #Constraints: 28623
2031.56/2036.81 c #Conflicts: 800000 | #Constraints: 29623
2031.56/2036.81 c #Conflicts: 801000 | #Constraints: 30623
2031.56/2036.81 c #Conflicts: 802000 | #Constraints: 31623
2031.56/2036.81 c #Conflicts: 803000 | #Constraints: 32623
2031.56/2036.81 c #Conflicts: 804000 | #Constraints: 33623
2031.56/2036.81 c #Conflicts: 805000 | #Constraints: 34623
2031.56/2036.81 c #Conflicts: 806000 | #Constraints: 35623
2031.56/2036.81 c #Conflicts: 807000 | #Constraints: 36623
2031.56/2036.81 c #Conflicts: 808000 | #Constraints: 37623
2031.56/2036.81 c #Conflicts: 809000 | #Constraints: 38623
2031.56/2036.81 c #Conflicts: 810000 | #Constraints: 39623
2031.56/2036.81 c INPROCESSING
2031.56/2036.81 c GARBAGE COLLECT
2031.56/2036.81 c #Conflicts: 811000 | #Constraints: 22819
2031.56/2036.81 c #Conflicts: 812000 | #Constraints: 23819
2031.56/2036.81 c #Conflicts: 813000 | #Constraints: 24819
2031.56/2036.81 c #Conflicts: 814000 | #Constraints: 25819
2031.56/2036.81 c #Conflicts: 815000 | #Constraints: 26819
2031.56/2036.81 c #Conflicts: 816000 | #Constraints: 27819
2269.81/2275.63 c #Conflicts: 817000 | #Constraints: 28819
2269.81/2275.63 c #Conflicts: 818000 | #Constraints: 29819
2269.81/2275.63 c #Conflicts: 819000 | #Constraints: 30819
2269.81/2275.63 c #Conflicts: 820000 | #Constraints: 31819
2269.81/2275.63 c #Conflicts: 821000 | #Constraints: 32819
2269.81/2275.63 c #Conflicts: 822000 | #Constraints: 33819
2269.81/2275.63 c #Conflicts: 823000 | #Constraints: 34819
2269.81/2275.63 c #Conflicts: 824000 | #Constraints: 35819
2269.81/2275.63 c #Conflicts: 825000 | #Constraints: 36819
2269.81/2275.63 c #Conflicts: 826000 | #Constraints: 37819
2269.81/2275.63 c #Conflicts: 827000 | #Constraints: 38819
2269.81/2275.63 c #Conflicts: 828000 | #Constraints: 39819
2269.81/2275.63 c INPROCESSING
2269.81/2275.63 c GARBAGE COLLECT
2269.81/2275.63 c #Conflicts: 829000 | #Constraints: 22821
2269.81/2275.63 c #Conflicts: 830000 | #Constraints: 23821
2269.81/2275.63 c #Conflicts: 831000 | #Constraints: 24821
2269.81/2275.63 c #Conflicts: 832000 | #Constraints: 25821
2269.81/2275.63 c #Conflicts: 833000 | #Constraints: 26821
2269.81/2275.63 c #Conflicts: 834000 | #Constraints: 27821
2269.81/2275.63 c #Conflicts: 835000 | #Constraints: 28821
2269.81/2275.63 c #Conflicts: 836000 | #Constraints: 29821
2269.81/2275.63 c #Conflicts: 837000 | #Constraints: 30821
2269.81/2275.63 c #Conflicts: 838000 | #Constraints: 31821
2269.81/2275.63 c #Conflicts: 839000 | #Constraints: 32821
2269.81/2275.63 c #Conflicts: 840000 | #Constraints: 33821
2269.81/2275.63 c #Conflicts: 841000 | #Constraints: 34821
2269.81/2275.63 c #Conflicts: 842000 | #Constraints: 35821
2269.81/2275.63 c #Conflicts: 843000 | #Constraints: 36821
2269.81/2275.63 c #Conflicts: 844000 | #Constraints: 37821
2269.81/2275.63 c #Conflicts: 845000 | #Constraints: 38821
2269.81/2275.63 c #Conflicts: 846000 | #Constraints: 39821
2269.81/2275.63 c INPROCESSING
2269.81/2275.63 c GARBAGE COLLECT
2269.81/2275.63 c #Conflicts: 847000 | #Constraints: 22627
2269.81/2275.63 c #Conflicts: 848000 | #Constraints: 23627
2269.81/2275.63 c #Conflicts: 849000 | #Constraints: 24627
2269.81/2275.63 c #Conflicts: 850000 | #Constraints: 25627
2269.81/2275.63 c #Conflicts: 851000 | #Constraints: 26627
2269.81/2275.63 c #Conflicts: 852000 | #Constraints: 27627
2269.81/2275.63 c #Conflicts: 853000 | #Constraints: 28627
2269.81/2275.63 c #Conflicts: 854000 | #Constraints: 29627
2269.81/2275.63 c #Conflicts: 855000 | #Constraints: 30627
2269.81/2275.63 c #Conflicts: 856000 | #Constraints: 31627
2269.81/2275.63 c #Conflicts: 857000 | #Constraints: 32627
2269.81/2275.63 c #Conflicts: 858000 | #Constraints: 33627
2269.81/2275.63 c #Conflicts: 859000 | #Constraints: 34627
2269.81/2275.63 c #Conflicts: 860000 | #Constraints: 35627
2269.81/2275.63 c #Conflicts: 861000 | #Constraints: 36627
2269.81/2275.63 c #Conflicts: 862000 | #Constraints: 37627
2269.81/2275.63 c #Conflicts: 863000 | #Constraints: 38627
2269.81/2275.63 c #Conflicts: 864000 | #Constraints: 39627
2269.81/2275.63 c #Conflicts: 865000 | #Constraints: 40627
2269.81/2275.63 c INPROCESSING
2269.81/2275.63 c GARBAGE COLLECT
2269.81/2275.63 c #Conflicts: 866000 | #Constraints: 23224
2269.81/2275.63 c #Conflicts: 867000 | #Constraints: 24224
2269.81/2275.63 c #Conflicts: 868000 | #Constraints: 25224
2269.81/2275.63 c #Conflicts: 869000 | #Constraints: 26224
2269.81/2275.63 c #Conflicts: 870000 | #Constraints: 27224
2269.81/2275.63 c #Conflicts: 871000 | #Constraints: 28224
2269.81/2275.63 c #Conflicts: 872000 | #Constraints: 29224
2269.81/2275.63 c #Conflicts: 873000 | #Constraints: 30224
2269.81/2275.63 c #Conflicts: 874000 | #Constraints: 31224
2269.81/2275.63 c #Conflicts: 875000 | #Constraints: 32224
2269.81/2275.63 c #Conflicts: 876000 | #Constraints: 33224
2269.81/2275.63 c #Conflicts: 877000 | #Constraints: 34224
2269.81/2275.63 c #Conflicts: 878000 | #Constraints: 35224
2269.81/2275.63 c #Conflicts: 879000 | #Constraints: 36224
2269.81/2275.63 c #Conflicts: 880000 | #Constraints: 37224
2269.81/2275.63 c #Conflicts: 881000 | #Constraints: 38224
2269.81/2275.63 c #Conflicts: 882000 | #Constraints: 39224
2269.81/2275.63 c #Conflicts: 883000 | #Constraints: 40224
2269.81/2275.63 c #Conflicts: 884000 | #Constraints: 41224
2269.81/2275.63 c INPROCESSING
2269.81/2275.63 c GARBAGE COLLECT
2269.81/2275.63 c #Conflicts: 885000 | #Constraints: 23625
2269.81/2275.63 c #Conflicts: 886000 | #Constraints: 24625
2269.81/2275.63 c #Conflicts: 887000 | #Constraints: 25625
2269.81/2275.63 c #Conflicts: 888000 | #Constraints: 26625
2269.81/2275.63 c #Conflicts: 889000 | #Constraints: 27625
2269.81/2275.63 c #Conflicts: 890000 | #Constraints: 28625
2269.81/2275.63 c #Conflicts: 891000 | #Constraints: 29625
2269.81/2275.63 c #Conflicts: 892000 | #Constraints: 30625
2269.81/2275.63 c #Conflicts: 893000 | #Constraints: 31625
2517.83/2524.27 c #Conflicts: 894000 | #Constraints: 32625
2517.83/2524.27 c #Conflicts: 895000 | #Constraints: 33625
2517.83/2524.27 c #Conflicts: 896000 | #Constraints: 34625
2517.83/2524.27 c #Conflicts: 897000 | #Constraints: 35625
2517.83/2524.27 c #Conflicts: 898000 | #Constraints: 36625
2517.83/2524.27 c #Conflicts: 899000 | #Constraints: 37625
2517.83/2524.27 c #Conflicts: 900000 | #Constraints: 38625
2517.83/2524.27 c #Conflicts: 901000 | #Constraints: 39625
2517.83/2524.27 c #Conflicts: 902000 | #Constraints: 40625
2517.83/2524.27 c #Conflicts: 903000 | #Constraints: 41625
2517.83/2524.27 c INPROCESSING
2517.83/2524.27 c GARBAGE COLLECT
2517.83/2524.27 c #Conflicts: 904000 | #Constraints: 23825
2517.83/2524.27 c #Conflicts: 905000 | #Constraints: 24825
2517.83/2524.27 c #Conflicts: 906000 | #Constraints: 25825
2517.83/2524.27 c #Conflicts: 907000 | #Constraints: 26825
2517.83/2524.27 c #Conflicts: 908000 | #Constraints: 27825
2517.83/2524.27 c #Conflicts: 909000 | #Constraints: 28825
2517.83/2524.27 c #Conflicts: 910000 | #Constraints: 29825
2517.83/2524.27 c #Conflicts: 911000 | #Constraints: 30825
2517.83/2524.27 c #Conflicts: 912000 | #Constraints: 31825
2517.83/2524.27 c #Conflicts: 913000 | #Constraints: 32825
2517.83/2524.27 c #Conflicts: 914000 | #Constraints: 33825
2517.83/2524.27 c #Conflicts: 915000 | #Constraints: 34825
2517.83/2524.27 c #Conflicts: 916000 | #Constraints: 35825
2517.83/2524.27 c #Conflicts: 917000 | #Constraints: 36825
2517.83/2524.27 c #Conflicts: 918000 | #Constraints: 37825
2517.83/2524.27 c #Conflicts: 919000 | #Constraints: 38825
2517.83/2524.27 c #Conflicts: 920000 | #Constraints: 39825
2517.83/2524.27 c #Conflicts: 921000 | #Constraints: 40825
2517.83/2524.27 c #Conflicts: 922000 | #Constraints: 41825
2517.83/2524.27 c INPROCESSING
2517.83/2524.27 c GARBAGE COLLECT
2517.83/2524.27 c #Conflicts: 923000 | #Constraints: 23822
2517.83/2524.27 c #Conflicts: 924000 | #Constraints: 24822
2517.83/2524.27 c #Conflicts: 925000 | #Constraints: 25822
2517.83/2524.27 c #Conflicts: 926000 | #Constraints: 26822
2517.83/2524.27 c #Conflicts: 927000 | #Constraints: 27822
2517.83/2524.27 c #Conflicts: 928000 | #Constraints: 28822
2517.83/2524.27 c #Conflicts: 929000 | #Constraints: 29822
2517.83/2524.27 c #Conflicts: 930000 | #Constraints: 30822
2517.83/2524.27 c #Conflicts: 931000 | #Constraints: 31822
2517.83/2524.27 c #Conflicts: 932000 | #Constraints: 32822
2517.83/2524.27 c #Conflicts: 933000 | #Constraints: 33822
2517.83/2524.27 c #Conflicts: 934000 | #Constraints: 34822
2517.83/2524.27 c #Conflicts: 935000 | #Constraints: 35822
2517.83/2524.27 c #Conflicts: 936000 | #Constraints: 36822
2517.83/2524.27 c #Conflicts: 937000 | #Constraints: 37822
2517.83/2524.27 c #Conflicts: 938000 | #Constraints: 38822
2517.83/2524.27 c #Conflicts: 939000 | #Constraints: 39822
2517.83/2524.27 c #Conflicts: 940000 | #Constraints: 40822
2517.83/2524.27 c #Conflicts: 941000 | #Constraints: 41822
2517.83/2524.27 c INPROCESSING
2517.83/2524.27 c GARBAGE COLLECT
2517.83/2524.27 c #Conflicts: 942000 | #Constraints: 23628
2517.83/2524.27 c #Conflicts: 943000 | #Constraints: 24628
2517.83/2524.27 c #Conflicts: 944000 | #Constraints: 25628
2517.83/2524.27 c #Conflicts: 945000 | #Constraints: 26628
2517.83/2524.27 c #Conflicts: 946000 | #Constraints: 27628
2517.83/2524.27 c #Conflicts: 947000 | #Constraints: 28628
2517.83/2524.27 c #Conflicts: 948000 | #Constraints: 29628
2517.83/2524.27 c #Conflicts: 949000 | #Constraints: 30628
2517.83/2524.27 c #Conflicts: 950000 | #Constraints: 31628
2517.83/2524.27 c #Conflicts: 951000 | #Constraints: 32628
2517.83/2524.27 c #Conflicts: 952000 | #Constraints: 33628
2517.83/2524.27 c #Conflicts: 953000 | #Constraints: 34628
2517.83/2524.27 c #Conflicts: 954000 | #Constraints: 35628
2517.83/2524.27 c #Conflicts: 955000 | #Constraints: 36628
2517.83/2524.27 c #Conflicts: 956000 | #Constraints: 37628
2517.83/2524.27 c #Conflicts: 957000 | #Constraints: 38628
2517.83/2524.27 c #Conflicts: 958000 | #Constraints: 39628
2517.83/2524.27 c #Conflicts: 959000 | #Constraints: 40628
2517.83/2524.27 c #Conflicts: 960000 | #Constraints: 41628
2517.83/2524.27 c #Conflicts: 961000 | #Constraints: 42628
2517.83/2524.27 c INPROCESSING
2517.83/2524.27 c GARBAGE COLLECT
2517.83/2524.27 c #Conflicts: 962000 | #Constraints: 24223
2517.83/2524.27 c #Conflicts: 963000 | #Constraints: 25223
2517.83/2524.27 c #Conflicts: 964000 | #Constraints: 26223
2517.83/2524.27 c #Conflicts: 965000 | #Constraints: 27223
2517.83/2524.27 c #Conflicts: 966000 | #Constraints: 28223
2517.83/2524.27 c #Conflicts: 967000 | #Constraints: 29223
2517.83/2524.27 c #Conflicts: 968000 | #Constraints: 30223
2517.83/2524.27 c #Conflicts: 969000 | #Constraints: 31223
2793.39/2800.49 c #Conflicts: 970000 | #Constraints: 32223
2793.39/2800.49 c #Conflicts: 971000 | #Constraints: 33223
2793.39/2800.49 c #Conflicts: 972000 | #Constraints: 34223
2793.39/2800.49 c #Conflicts: 973000 | #Constraints: 35223
2793.39/2800.49 c #Conflicts: 974000 | #Constraints: 36223
2793.39/2800.49 c #Conflicts: 975000 | #Constraints: 37223
2793.39/2800.49 c #Conflicts: 976000 | #Constraints: 38223
2793.39/2800.49 c #Conflicts: 977000 | #Constraints: 39223
2793.39/2800.49 c #Conflicts: 978000 | #Constraints: 40223
2793.39/2800.49 c #Conflicts: 979000 | #Constraints: 41223
2793.39/2800.49 c #Conflicts: 980000 | #Constraints: 42223
2793.39/2800.49 c #Conflicts: 981000 | #Constraints: 43223
2793.39/2800.49 c INPROCESSING
2793.39/2800.49 c GARBAGE COLLECT
2793.39/2800.49 c #Conflicts: 982000 | #Constraints: 24626
2793.39/2800.49 c #Conflicts: 983000 | #Constraints: 25626
2793.39/2800.49 c #Conflicts: 984000 | #Constraints: 26626
2793.39/2800.49 c #Conflicts: 985000 | #Constraints: 27626
2793.39/2800.49 c #Conflicts: 986000 | #Constraints: 28626
2793.39/2800.49 c #Conflicts: 987000 | #Constraints: 29626
2793.39/2800.49 c #Conflicts: 988000 | #Constraints: 30626
2793.39/2800.49 c #Conflicts: 989000 | #Constraints: 31626
2793.39/2800.49 c #Conflicts: 990000 | #Constraints: 32626
2793.39/2800.49 c #Conflicts: 991000 | #Constraints: 33626
2793.39/2800.49 c #Conflicts: 992000 | #Constraints: 34626
2793.39/2800.49 c #Conflicts: 993000 | #Constraints: 35626
2793.39/2800.49 c #Conflicts: 994000 | #Constraints: 36626
2793.39/2800.49 c #Conflicts: 995000 | #Constraints: 37626
2793.39/2800.49 c #Conflicts: 996000 | #Constraints: 38626
2793.39/2800.49 c #Conflicts: 997000 | #Constraints: 39626
2793.39/2800.49 c #Conflicts: 998000 | #Constraints: 40626
2793.39/2800.49 c #Conflicts: 999000 | #Constraints: 41626
2793.39/2800.49 c #Conflicts: 1000000 | #Constraints: 42626
2793.39/2800.49 c #Conflicts: 1001000 | #Constraints: 43626
2793.39/2800.49 c INPROCESSING
2793.39/2800.49 c GARBAGE COLLECT
2793.39/2800.49 c #Conflicts: 1002000 | #Constraints: 24831
2793.39/2800.49 c #Conflicts: 1003000 | #Constraints: 25831
2793.39/2800.49 c #Conflicts: 1004000 | #Constraints: 26831
2793.39/2800.49 c #Conflicts: 1005000 | #Constraints: 27831
2793.39/2800.49 c #Conflicts: 1006000 | #Constraints: 28831
2793.39/2800.49 c #Conflicts: 1007000 | #Constraints: 29831
2793.39/2800.49 c #Conflicts: 1008000 | #Constraints: 30831
2793.39/2800.49 c #Conflicts: 1009000 | #Constraints: 31831
2793.39/2800.49 c #Conflicts: 1010000 | #Constraints: 32831
2793.39/2800.49 c #Conflicts: 1011000 | #Constraints: 33831
2793.39/2800.49 c #Conflicts: 1012000 | #Constraints: 34831
2793.39/2800.49 c #Conflicts: 1013000 | #Constraints: 35831
2793.39/2800.49 c #Conflicts: 1014000 | #Constraints: 36831
2793.39/2800.49 c #Conflicts: 1015000 | #Constraints: 37831
2793.39/2800.49 c #Conflicts: 1016000 | #Constraints: 38831
2793.39/2800.49 c #Conflicts: 1017000 | #Constraints: 39831
2793.39/2800.49 c #Conflicts: 1018000 | #Constraints: 40831
2793.39/2800.49 c #Conflicts: 1019000 | #Constraints: 41831
2793.39/2800.49 c #Conflicts: 1020000 | #Constraints: 42831
2793.39/2800.49 c #Conflicts: 1021000 | #Constraints: 43831
2793.39/2800.49 c INPROCESSING
2793.39/2800.49 c GARBAGE COLLECT
2793.39/2800.49 c #Conflicts: 1022000 | #Constraints: 24829
2793.39/2800.49 c #Conflicts: 1023000 | #Constraints: 25829
2793.39/2800.49 c #Conflicts: 1024000 | #Constraints: 26829
2793.39/2800.49 c #Conflicts: 1025000 | #Constraints: 27829
2793.39/2800.49 c #Conflicts: 1026000 | #Constraints: 28829
2793.39/2800.49 c #Conflicts: 1027000 | #Constraints: 29829
2793.39/2800.49 c #Conflicts: 1028000 | #Constraints: 30829
2793.39/2800.49 c #Conflicts: 1029000 | #Constraints: 31829
2793.39/2800.49 c #Conflicts: 1030000 | #Constraints: 32829
2793.39/2800.49 c #Conflicts: 1031000 | #Constraints: 33829
2793.39/2800.49 c #Conflicts: 1032000 | #Constraints: 34829
2793.39/2800.49 c #Conflicts: 1033000 | #Constraints: 35829
2793.39/2800.49 c #Conflicts: 1034000 | #Constraints: 36829
2793.39/2800.49 c #Conflicts: 1035000 | #Constraints: 37829
2793.39/2800.49 c #Conflicts: 1036000 | #Constraints: 38829
2793.39/2800.49 c #Conflicts: 1037000 | #Constraints: 39829
2793.39/2800.49 c #Conflicts: 1038000 | #Constraints: 40829
2793.39/2800.49 c #Conflicts: 1039000 | #Constraints: 41829
2793.39/2800.49 c #Conflicts: 1040000 | #Constraints: 42829
2793.39/2800.49 c #Conflicts: 1041000 | #Constraints: 43829
2793.39/2800.49 c INPROCESSING
2793.39/2800.49 c GARBAGE COLLECT
2793.39/2800.49 c #Conflicts: 1042000 | #Constraints: 24628
2793.39/2800.49 c #Conflicts: 1043000 | #Constraints: 25628
2793.39/2800.49 c #Conflicts: 1044000 | #Constraints: 26628
2793.39/2800.49 c #Conflicts: 1045000 | #Constraints: 27628
3042.82/3050.44 c #Conflicts: 1046000 | #Constraints: 28628
3042.82/3050.44 c #Conflicts: 1047000 | #Constraints: 29628
3042.82/3050.44 c #Conflicts: 1048000 | #Constraints: 30628
3042.82/3050.44 c #Conflicts: 1049000 | #Constraints: 31628
3042.82/3050.44 c #Conflicts: 1050000 | #Constraints: 32628
3042.82/3050.44 c #Conflicts: 1051000 | #Constraints: 33628
3042.82/3050.44 c #Conflicts: 1052000 | #Constraints: 34628
3042.82/3050.44 c #Conflicts: 1053000 | #Constraints: 35628
3042.82/3050.44 c #Conflicts: 1054000 | #Constraints: 36628
3042.82/3050.44 c #Conflicts: 1055000 | #Constraints: 37628
3042.82/3050.44 c #Conflicts: 1056000 | #Constraints: 38628
3042.82/3050.44 c #Conflicts: 1057000 | #Constraints: 39628
3042.82/3050.44 c #Conflicts: 1058000 | #Constraints: 40628
3042.82/3050.44 c #Conflicts: 1059000 | #Constraints: 41628
3042.82/3050.44 c #Conflicts: 1060000 | #Constraints: 42628
3042.82/3050.44 c #Conflicts: 1061000 | #Constraints: 43628
3042.82/3050.44 c #Conflicts: 1062000 | #Constraints: 44628
3042.82/3050.44 c INPROCESSING
3042.82/3050.44 c GARBAGE COLLECT
3042.82/3050.44 c #Conflicts: 1063000 | #Constraints: 25228
3042.82/3050.44 c #Conflicts: 1064000 | #Constraints: 26228
3042.82/3050.44 c #Conflicts: 1065000 | #Constraints: 27228
3042.82/3050.44 c #Conflicts: 1066000 | #Constraints: 28228
3042.82/3050.44 c #Conflicts: 1067000 | #Constraints: 29228
3042.82/3050.44 c #Conflicts: 1068000 | #Constraints: 30228
3042.82/3050.44 c #Conflicts: 1069000 | #Constraints: 31228
3042.82/3050.44 c #Conflicts: 1070000 | #Constraints: 32228
3042.82/3050.44 c #Conflicts: 1071000 | #Constraints: 33228
3042.82/3050.44 c #Conflicts: 1072000 | #Constraints: 34228
3042.82/3050.44 c #Conflicts: 1073000 | #Constraints: 35228
3042.82/3050.44 c #Conflicts: 1074000 | #Constraints: 36228
3042.82/3050.44 c #Conflicts: 1075000 | #Constraints: 37228
3042.82/3050.44 c #Conflicts: 1076000 | #Constraints: 38228
3042.82/3050.44 c #Conflicts: 1077000 | #Constraints: 39228
3042.82/3050.44 c #Conflicts: 1078000 | #Constraints: 40228
3042.82/3050.44 c #Conflicts: 1079000 | #Constraints: 41228
3042.82/3050.44 c #Conflicts: 1080000 | #Constraints: 42228
3042.82/3050.44 c #Conflicts: 1081000 | #Constraints: 43228
3042.82/3050.44 c #Conflicts: 1082000 | #Constraints: 44228
3042.82/3050.44 c #Conflicts: 1083000 | #Constraints: 45228
3042.82/3050.44 c INPROCESSING
3042.82/3050.44 c GARBAGE COLLECT
3042.82/3050.44 c #Conflicts: 1084000 | #Constraints: 25622
3042.82/3050.44 c #Conflicts: 1085000 | #Constraints: 26622
3042.82/3050.44 c #Conflicts: 1086000 | #Constraints: 27622
3042.82/3050.44 c #Conflicts: 1087000 | #Constraints: 28622
3042.82/3050.44 c #Conflicts: 1088000 | #Constraints: 29622
3042.82/3050.44 c #Conflicts: 1089000 | #Constraints: 30622
3042.82/3050.44 c #Conflicts: 1090000 | #Constraints: 31622
3042.82/3050.44 c #Conflicts: 1091000 | #Constraints: 32622
3042.82/3050.44 c #Conflicts: 1092000 | #Constraints: 33622
3042.82/3050.44 c #Conflicts: 1093000 | #Constraints: 34622
3042.82/3050.44 c #Conflicts: 1094000 | #Constraints: 35622
3042.82/3050.44 c #Conflicts: 1095000 | #Constraints: 36622
3042.82/3050.44 c #Conflicts: 1096000 | #Constraints: 37622
3042.82/3050.44 c #Conflicts: 1097000 | #Constraints: 38622
3042.82/3050.44 c #Conflicts: 1098000 | #Constraints: 39622
3042.82/3050.44 c #Conflicts: 1099000 | #Constraints: 40622
3042.82/3050.44 c #Conflicts: 1100000 | #Constraints: 41622
3042.82/3050.44 c #Conflicts: 1101000 | #Constraints: 42622
3042.82/3050.44 c #Conflicts: 1102000 | #Constraints: 43622
3042.82/3050.44 c #Conflicts: 1103000 | #Constraints: 44622
3042.82/3050.44 c #Conflicts: 1104000 | #Constraints: 45622
3042.82/3050.44 c INPROCESSING
3042.82/3050.44 c GARBAGE COLLECT
3042.82/3050.44 c #Conflicts: 1105000 | #Constraints: 25833
3042.82/3050.44 c #Conflicts: 1106000 | #Constraints: 26833
3042.82/3050.44 c #Conflicts: 1107000 | #Constraints: 27833
3042.82/3050.44 c #Conflicts: 1108000 | #Constraints: 28833
3042.82/3050.44 c #Conflicts: 1109000 | #Constraints: 29833
3042.82/3050.44 c #Conflicts: 1110000 | #Constraints: 30833
3042.82/3050.44 c #Conflicts: 1111000 | #Constraints: 31833
3042.82/3050.44 c #Conflicts: 1112000 | #Constraints: 32833
3042.82/3050.44 c #Conflicts: 1113000 | #Constraints: 33833
3042.82/3050.44 c #Conflicts: 1114000 | #Constraints: 34833
3042.82/3050.44 c #Conflicts: 1115000 | #Constraints: 35833
3042.82/3050.44 c #Conflicts: 1116000 | #Constraints: 36833
3042.82/3050.44 c #Conflicts: 1117000 | #Constraints: 37833
3042.82/3050.44 c #Conflicts: 1118000 | #Constraints: 38833
3042.82/3050.44 c #Conflicts: 1119000 | #Constraints: 39833
3042.82/3050.44 c #Conflicts: 1120000 | #Constraints: 40833
3042.82/3050.44 c #Conflicts: 1121000 | #Constraints: 41833
3042.82/3050.44 c #Conflicts: 1122000 | #Constraints: 42833
3294.55/3302.77 c #Conflicts: 1123000 | #Constraints: 43833
3294.55/3302.77 c #Conflicts: 1124000 | #Constraints: 44833
3294.55/3302.77 c #Conflicts: 1125000 | #Constraints: 45833
3294.55/3302.77 c INPROCESSING
3294.55/3302.77 c GARBAGE COLLECT
3294.55/3302.77 c #Conflicts: 1126000 | #Constraints: 25834
3294.55/3302.77 c #Conflicts: 1127000 | #Constraints: 26834
3294.55/3302.77 c #Conflicts: 1128000 | #Constraints: 27834
3294.55/3302.77 c #Conflicts: 1129000 | #Constraints: 28834
3294.55/3302.77 c #Conflicts: 1130000 | #Constraints: 29834
3294.55/3302.77 c #Conflicts: 1131000 | #Constraints: 30834
3294.55/3302.77 c #Conflicts: 1132000 | #Constraints: 31834
3294.55/3302.77 c #Conflicts: 1133000 | #Constraints: 32834
3294.55/3302.77 c #Conflicts: 1134000 | #Constraints: 33834
3294.55/3302.77 c #Conflicts: 1135000 | #Constraints: 34834
3294.55/3302.77 c #Conflicts: 1136000 | #Constraints: 35834
3294.55/3302.77 c #Conflicts: 1137000 | #Constraints: 36834
3294.55/3302.77 c #Conflicts: 1138000 | #Constraints: 37834
3294.55/3302.77 c #Conflicts: 1139000 | #Constraints: 38834
3294.55/3302.77 c #Conflicts: 1140000 | #Constraints: 39834
3294.55/3302.77 c #Conflicts: 1141000 | #Constraints: 40834
3294.55/3302.77 c #Conflicts: 1142000 | #Constraints: 41834
3294.55/3302.77 c #Conflicts: 1143000 | #Constraints: 42834
3294.55/3302.77 c #Conflicts: 1144000 | #Constraints: 43834
3294.55/3302.77 c #Conflicts: 1145000 | #Constraints: 44834
3294.55/3302.77 c #Conflicts: 1146000 | #Constraints: 45834
3294.55/3302.77 c INPROCESSING
3294.55/3302.77 c GARBAGE COLLECT
3294.55/3302.77 c #Conflicts: 1147000 | #Constraints: 25619
3294.55/3302.77 c #Conflicts: 1148000 | #Constraints: 26619
3294.55/3302.77 c #Conflicts: 1149000 | #Constraints: 27619
3294.55/3302.77 c #Conflicts: 1150000 | #Constraints: 28619
3294.55/3302.77 c #Conflicts: 1151000 | #Constraints: 29619
3294.55/3302.77 c #Conflicts: 1152000 | #Constraints: 30619
3294.55/3302.77 c #Conflicts: 1153000 | #Constraints: 31619
3294.55/3302.77 c #Conflicts: 1154000 | #Constraints: 32619
3294.55/3302.77 c #Conflicts: 1155000 | #Constraints: 33619
3294.55/3302.77 c #Conflicts: 1156000 | #Constraints: 34619
3294.55/3302.77 c #Conflicts: 1157000 | #Constraints: 35619
3294.55/3302.77 c #Conflicts: 1158000 | #Constraints: 36619
3294.55/3302.77 c #Conflicts: 1159000 | #Constraints: 37619
3294.55/3302.77 c #Conflicts: 1160000 | #Constraints: 38619
3294.55/3302.77 c #Conflicts: 1161000 | #Constraints: 39619
3294.55/3302.77 c #Conflicts: 1162000 | #Constraints: 40619
3294.55/3302.77 c #Conflicts: 1163000 | #Constraints: 41619
3294.55/3302.77 c #Conflicts: 1164000 | #Constraints: 42619
3294.55/3302.77 c #Conflicts: 1165000 | #Constraints: 43619
3294.55/3302.77 c #Conflicts: 1166000 | #Constraints: 44619
3294.55/3302.77 c #Conflicts: 1167000 | #Constraints: 45619
3294.55/3302.77 c #Conflicts: 1168000 | #Constraints: 46619
3294.55/3302.77 c INPROCESSING
3294.55/3302.77 c GARBAGE COLLECT
3294.55/3302.77 c #Conflicts: 1169000 | #Constraints: 26210
3294.55/3302.77 c #Conflicts: 1170000 | #Constraints: 27210
3294.55/3302.77 c #Conflicts: 1171000 | #Constraints: 28210
3294.55/3302.77 c #Conflicts: 1172000 | #Constraints: 29210
3294.55/3302.77 c #Conflicts: 1173000 | #Constraints: 30210
3294.55/3302.77 c #Conflicts: 1174000 | #Constraints: 31210
3294.55/3302.77 c #Conflicts: 1175000 | #Constraints: 32210
3294.55/3302.77 c #Conflicts: 1176000 | #Constraints: 33210
3294.55/3302.77 c #Conflicts: 1177000 | #Constraints: 34210
3294.55/3302.77 c #Conflicts: 1178000 | #Constraints: 35210
3294.55/3302.77 c #Conflicts: 1179000 | #Constraints: 36210
3294.55/3302.77 c #Conflicts: 1180000 | #Constraints: 37210
3294.55/3302.77 c #Conflicts: 1181000 | #Constraints: 38210
3294.55/3302.77 c #Conflicts: 1182000 | #Constraints: 39210
3294.55/3302.77 c #Conflicts: 1183000 | #Constraints: 40210
3294.55/3302.77 c #Conflicts: 1184000 | #Constraints: 41210
3294.55/3302.77 c #Conflicts: 1185000 | #Constraints: 42210
3294.55/3302.77 c #Conflicts: 1186000 | #Constraints: 43210
3294.55/3302.77 c #Conflicts: 1187000 | #Constraints: 44210
3294.55/3302.77 c #Conflicts: 1188000 | #Constraints: 45210
3294.55/3302.77 c #Conflicts: 1189000 | #Constraints: 46210
3294.55/3302.77 c #Conflicts: 1190000 | #Constraints: 47210
3294.55/3302.77 c INPROCESSING
3294.55/3302.77 c GARBAGE COLLECT
3294.55/3302.77 c #Conflicts: 1191000 | #Constraints: 26616
3294.55/3302.77 c #Conflicts: 1192000 | #Constraints: 27616
3294.55/3302.77 c #Conflicts: 1193000 | #Constraints: 28616
3294.55/3302.77 c #Conflicts: 1194000 | #Constraints: 29616
3294.55/3302.77 c #Conflicts: 1195000 | #Constraints: 30616
3294.55/3302.77 c #Conflicts: 1196000 | #Constraints: 31616
3294.55/3302.77 c #Conflicts: 1197000 | #Constraints: 32616
3294.55/3302.77 c #Conflicts: 1198000 | #Constraints: 33616
3586.55/3595.49 c #Conflicts: 1199000 | #Constraints: 34616
3586.55/3595.49 c #Conflicts: 1200000 | #Constraints: 35616
3586.55/3595.49 c #Conflicts: 1201000 | #Constraints: 36616
3586.55/3595.49 c #Conflicts: 1202000 | #Constraints: 37616
3586.55/3595.49 c #Conflicts: 1203000 | #Constraints: 38616
3586.55/3595.49 c #Conflicts: 1204000 | #Constraints: 39616
3586.55/3595.49 c #Conflicts: 1205000 | #Constraints: 40616
3586.55/3595.49 c #Conflicts: 1206000 | #Constraints: 41616
3586.55/3595.49 c #Conflicts: 1207000 | #Constraints: 42616
3586.55/3595.49 c #Conflicts: 1208000 | #Constraints: 43616
3586.55/3595.49 c #Conflicts: 1209000 | #Constraints: 44616
3586.55/3595.49 c #Conflicts: 1210000 | #Constraints: 45616
3586.55/3595.49 c #Conflicts: 1211000 | #Constraints: 46616
3586.55/3595.49 c #Conflicts: 1212000 | #Constraints: 47616
3586.55/3595.49 c INPROCESSING
3586.55/3595.49 c GARBAGE COLLECT
3586.55/3595.49 c #Conflicts: 1213000 | #Constraints: 26816
3586.55/3595.49 c #Conflicts: 1214000 | #Constraints: 27816
3586.55/3595.49 c #Conflicts: 1215000 | #Constraints: 28816
3586.55/3595.49 c #Conflicts: 1216000 | #Constraints: 29816
3586.55/3595.49 c #Conflicts: 1217000 | #Constraints: 30816
3586.55/3595.49 c #Conflicts: 1218000 | #Constraints: 31816
3586.55/3595.49 c #Conflicts: 1219000 | #Constraints: 32816
3586.55/3595.49 c #Conflicts: 1220000 | #Constraints: 33816
3586.55/3595.49 c #Conflicts: 1221000 | #Constraints: 34816
3586.55/3595.49 c #Conflicts: 1222000 | #Constraints: 35816
3586.55/3595.49 c #Conflicts: 1223000 | #Constraints: 36816
3586.55/3595.49 c #Conflicts: 1224000 | #Constraints: 37816
3586.55/3595.49 c #Conflicts: 1225000 | #Constraints: 38816
3586.55/3595.49 c #Conflicts: 1226000 | #Constraints: 39816
3586.55/3595.49 c #Conflicts: 1227000 | #Constraints: 40816
3586.55/3595.49 c #Conflicts: 1228000 | #Constraints: 41816
3586.55/3595.49 c #Conflicts: 1229000 | #Constraints: 42816
3586.55/3595.49 c #Conflicts: 1230000 | #Constraints: 43816
3586.55/3595.49 c #Conflicts: 1231000 | #Constraints: 44816
3586.55/3595.49 c #Conflicts: 1232000 | #Constraints: 45816
3586.55/3595.49 c #Conflicts: 1233000 | #Constraints: 46816
3586.55/3595.49 c #Conflicts: 1234000 | #Constraints: 47816
3586.55/3595.49 c INPROCESSING
3586.55/3595.49 c GARBAGE COLLECT
3586.55/3595.49 c #Conflicts: 1235000 | #Constraints: 26818
3586.55/3595.49 c #Conflicts: 1236000 | #Constraints: 27818
3586.55/3595.49 c #Conflicts: 1237000 | #Constraints: 28818
3586.55/3595.49 c #Conflicts: 1238000 | #Constraints: 29818
3586.55/3595.49 c #Conflicts: 1239000 | #Constraints: 30818
3586.55/3595.49 c #Conflicts: 1240000 | #Constraints: 31818
3586.55/3595.49 c #Conflicts: 1241000 | #Constraints: 32818
3586.55/3595.49 c #Conflicts: 1242000 | #Constraints: 33818
3586.55/3595.49 c #Conflicts: 1243000 | #Constraints: 34818
3586.55/3595.49 c #Conflicts: 1244000 | #Constraints: 35818
3586.55/3595.49 c #Conflicts: 1245000 | #Constraints: 36818
3586.55/3595.49 c #Conflicts: 1246000 | #Constraints: 37818
3586.55/3595.49 c #Conflicts: 1247000 | #Constraints: 38818
3586.55/3595.49 c #Conflicts: 1248000 | #Constraints: 39818
3586.55/3595.49 c #Conflicts: 1249000 | #Constraints: 40818
3586.55/3595.49 c #Conflicts: 1250000 | #Constraints: 41818
3586.55/3595.49 c #Conflicts: 1251000 | #Constraints: 42818
3586.55/3595.49 c #Conflicts: 1252000 | #Constraints: 43818
3586.55/3595.49 c #Conflicts: 1253000 | #Constraints: 44818
3586.55/3595.49 c #Conflicts: 1254000 | #Constraints: 45818
3586.55/3595.49 c #Conflicts: 1255000 | #Constraints: 46818
3586.55/3595.49 c #Conflicts: 1256000 | #Constraints: 47818
3586.55/3595.49 c INPROCESSING
3586.55/3595.49 c GARBAGE COLLECT
3586.55/3595.49 c #Conflicts: 1257000 | #Constraints: 26617
3586.55/3595.49 c #Conflicts: 1258000 | #Constraints: 27617
3586.55/3595.49 c #Conflicts: 1259000 | #Constraints: 28617
3586.55/3595.49 c #Conflicts: 1260000 | #Constraints: 29617
3586.55/3595.49 c #Conflicts: 1261000 | #Constraints: 30617
3586.55/3595.49 c #Conflicts: 1262000 | #Constraints: 31617
3586.55/3595.49 c #Conflicts: 1263000 | #Constraints: 32617
3586.55/3595.49 c #Conflicts: 1264000 | #Constraints: 33617
3586.55/3595.49 c #Conflicts: 1265000 | #Constraints: 34617
3586.55/3595.49 c #Conflicts: 1266000 | #Constraints: 35617
3586.55/3595.49 c #Conflicts: 1267000 | #Constraints: 36617
3586.55/3595.49 c #Conflicts: 1268000 | #Constraints: 37617
3586.55/3595.49 c #Conflicts: 1269000 | #Constraints: 38617
3586.55/3595.49 c #Conflicts: 1270000 | #Constraints: 39617
3586.55/3595.49 c #Conflicts: 1271000 | #Constraints: 40617
3586.55/3595.49 c #Conflicts: 1272000 | #Constraints: 41617
3586.55/3595.49 c #Conflicts: 1273000 | #Constraints: 42617
3586.55/3595.49 c #Conflicts: 1274000 | #Constraints: 43617
3586.55/3595.49 c #Conflicts: 1275000 | #Constraints: 44617
3600.01/3608.90 c #Conflicts: 1276000 | #Constraints: 45617
3600.01/3608.90 c #Conflicts: 1277000 | #Constraints: 46617
3600.01/3608.90 c Program interrupted by user.
3600.01/3608.90 c cpu time 3590.89 s
3600.01/3608.90 c deterministic time 600682863624 6.01e+11
3600.01/3608.90 c optimization time 69.6401 s
3600.01/3608.90 c total solve time 3222.09 s
3600.01/3608.90 c core-guided solve time 3222.09 s
3600.01/3608.90 c propagation time 2709.66 s
3600.01/3608.90 c conflict analysis time 458.099 s
3600.01/3608.90 c propagations 158941624
3600.01/3608.90 c resolve steps 12442284
3600.01/3608.90 c decisions 4885866
3600.01/3608.90 c conflicts 1277483
3600.01/3608.90 c restarts 2440
3600.01/3608.90 c inprocessing phases 103
3600.01/3608.90 c input clauses 3928
3600.01/3608.90 c input cardinalities 146
3600.01/3608.90 c input general constraints 0
3600.01/3608.90 c input average constraint length 61.48
3600.01/3608.90 c input average constraint degree 27.81
3600.01/3608.90 c learned clauses 514562
3600.01/3608.90 c learned cardinalities 94465
3600.01/3608.90 c learned general constraints 668600
3600.01/3608.90 c learned average constraint length 763.95
3600.01/3608.90 c learned average constraint degree 5966.09
3600.01/3608.90 c watched constraints 338406
3600.01/3608.90 c counting constraints 330194
3600.01/3608.90 c gcd simplifications 27570
3600.01/3608.90 c detected cardinalities 573
3600.01/3608.90 c weakened non-implied lits 209589554
3600.01/3608.90 c weakened non-implying lits 57902
3600.01/3608.90 c original variables 1963
3600.01/3608.90 c clausal propagations 79187834
3600.01/3608.90 c cardinality propagations 14532063
3600.01/3608.90 c watched propagations 8568299
3600.01/3608.90 c counting propagations 47754015
3600.01/3608.90 c watch lookups 42351649562
3600.01/3608.90 c watch backjump lookups 32469092644
3600.01/3608.90 c watch checks 485252917242
3600.01/3608.90 c propagation checks 37454559458
3600.01/3608.90 c constraint additions 2825713700
3600.01/3608.90 c trail pops 165103527
3600.01/3608.90 c formula constraints 3254
3600.01/3608.90 c learned constraints 1277627
3600.01/3608.90 c bound constraints 146
3600.01/3608.90 c core-guided constraints 674
3600.01/3608.90 c encountered formula constraints 8680470
3600.01/3608.90 c encountered learned constraints 3384578
3600.01/3608.90 c encountered bound constraints 2
3600.01/3608.90 c encountered core-guided constraints 1654717
3600.01/3608.90 c LP total time 0 s
3600.01/3608.90 c LP solve time 0 s
3600.01/3608.90 c LP constraints added 0
3600.01/3608.90 c LP constraints removed 0
3600.01/3608.90 c LP pivots internal 0
3600.01/3608.90 c LP pivots root 0
3600.01/3608.90 c LP calls 0
3600.01/3608.90 c LP optimalities 0
3600.01/3608.90 c LP no pivot count 0
3600.01/3608.90 c LP infeasibilities 0
3600.01/3608.90 c LP valid Farkas constraints 0
3600.01/3608.90 c LP learned Farkas constraints 0
3600.01/3608.90 c LP basis resets 0
3600.01/3608.90 c LP cycling count 0
3600.01/3608.90 c LP singular count 0
3600.01/3608.90 c LP no primal count 0
3600.01/3608.90 c LP no farkas count 0
3600.01/3608.90 c LP other issue count 0
3600.01/3608.90 c LP Gomory cuts 0
3600.01/3608.90 c LP learned cuts 0
3600.01/3608.90 c LP deleted cuts 0
3600.01/3608.90 c LP encountered Gomory constraints 0
3600.01/3608.90 c LP encountered Farkas constraints 0
3600.01/3608.90 c LP encountered learned Farkas constraints 0
3600.01/3608.90 c CG auxiliary variables introduced 674
3600.01/3608.90 c CG solutions found 0
3600.01/3608.90 c CG cores constructed 145
3600.01/3608.90 c CG core cardinality constraints returned 0
3600.01/3608.90 c CG unit cores 0
3600.01/3608.90 c CG single cores 145
3600.01/3608.90 c CG blocks removed during cardinality reduction 0
3600.01/3608.90 c CG first core best 0
3600.01/3608.90 c CG decision core best 0
3600.01/3608.90 c CG core reduction tie 0
3600.01/3608.90 c CG core degree average 1.00
3600.01/3608.90 c CG core slack average 3.03
3600.01/3608.90 c CG exhausted 0
3600.01/3608.90 c CG exhaust time 0 s
3600.01/3608.90 c CG trimmed 0
3600.01/3608.90 c CG trim time 0.000691 s
3600.01/3608.90 c CG minimized 0
3600.01/3608.90 c CG minimize time 0 s
3600.01/3608.90 c CG am1 prop time 0.000857 s
3600.01/3608.90 c CG # am1s reformulated 674
3600.01/3608.90 c CG lower bound derived from am1s 676
3600.01/3608.90 c CG # clausal cores 145
3600.01/3608.90 c CG # cardinality cores 0
3600.01/3608.90 c CG # pb cores 0
3600.01/3608.90 c CG # pb reforms 0
3600.01/3608.90 c CG # cores discarded because of pb reform 0
3600.01/3608.90 d LOWERBOUND 821
3600.01/3608.90 d NCORES 145
3600.01/3608.90 d NPBCORES 0
3600.01/3608.90 d NPBREFORM 0
3600.01/3608.90 d NTRIMMED 0
3600.01/3608.90 d NEXHAUSTED 0
3600.01/3608.90 d NAM1S 674
3600.01/3608.90 d AM1LB 676
3600.01/3608.90 c [Papilo Statistics]
3600.01/3608.90 c prepro time 0.00473919s
3600.01/3608.90 c # tsx applied 150
3600.01/3608.90 c # tsx conflicts 6
3600.01/3608.90 c # bound changes 149
3600.01/3608.90 c # side changes 0
3600.01/3608.90 c # coef changes 0
3600.01/3608.90 c # rounds 2
3600.01/3608.90 c # deted vars 306
3600.01/3608.90 c # deted constrs 746
3600.01/3608.90 c # consecutive rounds of only bound changes 0
3600.01/3608.94 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: 63931 MiB (62397 MiB free)
memory of node 1: 64510 MiB (63060 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454719-1721468423/watcher-4454719-1721468423 -o /tmp/evaluation-result-4454719-1721468423/solver-4454719-1721468423 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721468435-1075790 --watchdog 3760 mixed-bag HOME/instance-4454719-1721468423.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
solver pid=1075849, runsolver pid=1075838
Current StackSize limit: 8192 KiB
[startup+0.100079 s]*
/proc/loadavg: 1.15 1.25 2.16 4/260 1075856
/proc/meminfo: memFree=128466132/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=31728 memory=556 CPUtime=0 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) D 1075838 1075849 1075779 0 -1 4194304 77 0 1 0 0 0 0 0 20 0 1 0 199012030 32489472 139 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 0 0 0 0 17 4 0 0 8 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 7932 139 120 3002 0 1312 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 31728 KiB
Current children cumulated memory: 556 KiB
[startup+0.206454 s]*
/proc/loadavg: 1.15 1.25 2.16 4/260 1075856
/proc/meminfo: memFree=128463192/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=68472 memory=3224 CPUtime=0 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) D 1075838 1075849 1075779 0 -1 4194304 266 0 5 0 0 0 0 0 20 0 1 0 199012030 70115328 806 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 0 0 0 0 17 6 0 0 19 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 17118 806 716 3002 0 1406 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 68472 KiB
Current children cumulated memory: 3224 KiB
[startup+0.305633 s]*
/proc/loadavg: 1.15 1.25 2.16 8/260 1075856
/proc/meminfo: memFree=128400704/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=99720 memory=32488 CPUtime=0.05 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 5191 0 5 0 5 0 0 0 20 0 1 0 199012030 102113280 8122 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 24930 8122 3738 3002 0 8679 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 99720 KiB
Current children cumulated memory: 32488 KiB
[startup+0.700662 s]
/proc/loadavg: 1.15 1.25 2.16 5/260 1075856
/proc/meminfo: memFree=128376944/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=114472 memory=45332 CPUtime=0.44 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 8285 0 5 0 43 1 0 0 20 0 1 0 199012030 117219328 11333 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 28618 11333 3992 3002 0 12367 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 114472 KiB
Current children cumulated memory: 45332 KiB
[startup+1.50022 s]
/proc/loadavg: 1.15 1.25 2.16 6/260 1075856
/proc/meminfo: memFree=128347308/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=117244 memory=47444 CPUtime=1.24 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 8805 0 5 0 123 1 0 0 20 0 1 0 199012030 120057856 11861 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 29311 11861 3992 3002 0 13060 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 117244 KiB
Current children cumulated memory: 47444 KiB
[startup+3.10642 s]
/proc/loadavg: 1.38 1.30 2.17 8/260 1075856
/proc/meminfo: memFree=128171904/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=138688 memory=68036 CPUtime=2.84 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 13971 0 5 0 282 2 0 0 20 0 1 0 199012030 142016512 17009 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 34672 17009 3992 3002 0 18421 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 138688 KiB
Current children cumulated memory: 68036 KiB
[startup+6.30021 s]
/proc/loadavg: 1.38 1.30 2.17 8/260 1075856
/proc/meminfo: memFree=128066664/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=173140 memory=101564 CPUtime=6.02 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 22322 0 5 0 599 3 0 0 20 0 1 0 199012030 177295360 25391 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 43285 25391 3992 3002 0 27034 0
Current children cumulated CPU time: 6.02 s
Current children cumulated vsize: 173140 KiB
Current children cumulated memory: 101564 KiB
[startup+12.7002 s]
/proc/loadavg: 1.59 1.34 2.18 7/260 1075858
/proc/meminfo: memFree=127937728/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=208264 memory=131916 CPUtime=12.41 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 31023 0 5 0 1236 5 0 0 20 0 1 0 199012030 213262336 32979 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 52066 32979 3992 3002 0 35815 0
Current children cumulated CPU time: 12.41 s
Current children cumulated vsize: 208264 KiB
Current children cumulated memory: 131916 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.48 2.21 8/260 1075859
/proc/meminfo: memFree=127859480/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=208264 memory=132176 CPUtime=25.18 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 31110 0 5 0 2513 5 0 0 20 0 1 0 199012030 213262336 33044 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 52066 33044 3992 3002 0 35815 0
Current children cumulated CPU time: 25.18 s
Current children cumulated vsize: 208264 KiB
Current children cumulated memory: 132176 KiB
[startup+51.1065 s]
/proc/loadavg: 2.83 1.70 2.27 8/260 1075864
/proc/meminfo: memFree=127678196/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=275412 memory=193520 CPUtime=50.72 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 47895 0 5 0 5065 7 0 0 20 0 1 0 199012030 282021888 48380 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 68853 48380 4001 3002 0 52602 0
Current children cumulated CPU time: 50.72 s
Current children cumulated vsize: 275412 KiB
Current children cumulated memory: 193520 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 2.07 2.36 8/260 1075872
/proc/meminfo: memFree=127619088/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=287428 memory=205656 CPUtime=101.79 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 52974 0 5 0 10166 13 0 0 20 0 1 0 199012030 294326272 51414 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 71857 51414 4001 3002 0 55606 0
Current children cumulated CPU time: 101.79 s
Current children cumulated vsize: 287428 KiB
Current children cumulated memory: 205656 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.44 2.47 8/260 1075884
/proc/meminfo: memFree=127480508/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=305708 memory=223060 CPUtime=161.64 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 58086 0 5 0 16144 20 0 0 20 0 1 0 199012030 313044992 55765 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 76427 55765 4001 3002 0 60176 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 305708 KiB
Current children cumulated memory: 223060 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.75 2.58 6/260 1075894
/proc/meminfo: memFree=127362012/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=320640 memory=232980 CPUtime=221.45 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 61887 0 5 0 22119 26 0 0 20 0 1 0 199012030 328335360 58245 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 80160 58245 4001 3002 0 63909 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 320640 KiB
Current children cumulated memory: 232980 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.00 2.68 6/260 1075904
/proc/meminfo: memFree=127333448/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=328568 memory=239892 CPUtime=281.27 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 63871 0 5 0 28096 31 0 0 20 0 1 0 199012030 336453632 59973 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 82142 59973 4001 3002 0 65891 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 328568 KiB
Current children cumulated memory: 239892 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.21 2.77 7/254 1075915
/proc/meminfo: memFree=127620356/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=232408 memory=172028 CPUtime=341.1 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 66879 0 5 0 34039 71 0 0 20 0 1 0 199012030 237985792 43007 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 58102 43007 4160 3002 0 41851 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 232408 KiB
Current children cumulated memory: 172028 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 3.39 2.87 8/254 1075925
/proc/meminfo: memFree=127575512/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=263228 memory=186724 CPUtime=400.95 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 67600 0 5 0 39986 109 0 0 20 0 1 0 199012030 269545472 46681 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 65807 46681 4160 3002 0 49556 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 263228 KiB
Current children cumulated memory: 186724 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.52 2.94 8/254 1075935
/proc/meminfo: memFree=127532836/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=267952 memory=199796 CPUtime=460.81 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 68470 0 5 0 45941 140 0 0 20 0 1 0 199012030 274382848 49949 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 66988 49949 4160 3002 0 50737 0
Current children cumulated CPU time: 460.81 s
################
# More data... #
################
Current children cumulated memory: 400540 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.13 4.08 8/259 1077509
/proc/meminfo: memFree=126879744/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=504080 memory=410236 CPUtime=2915.02 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 91513 0 5 0 290725 777 0 0 20 0 1 0 199012030 516177920 102559 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 126020 102559 4160 3002 0 109769 0
Current children cumulated CPU time: 2915.02 s
Current children cumulated vsize: 504080 KiB
Current children cumulated memory: 410236 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.08 9/258 1077519
/proc/meminfo: memFree=126869984/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=506532 memory=411864 CPUtime=2974.87 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 92105 0 5 0 296699 788 0 0 20 0 1 0 199012030 518688768 102966 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 126633 102966 4160 3002 0 110382 0
Current children cumulated CPU time: 2974.87 s
Current children cumulated vsize: 506532 KiB
Current children cumulated memory: 411864 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.09 8/259 1077590
/proc/meminfo: memFree=126866088/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=510444 memory=414184 CPUtime=3034.74 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 92866 0 5 0 302674 800 0 0 20 0 1 0 199012030 522694656 103546 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 127611 103546 4160 3002 0 111360 0
Current children cumulated CPU time: 3034.74 s
Current children cumulated vsize: 510444 KiB
Current children cumulated memory: 414184 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.13 4.09 8/259 1077600
/proc/meminfo: memFree=126858924/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=511468 memory=419036 CPUtime=3094.6 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 93241 0 5 0 308644 816 0 0 20 0 1 0 199012030 523743232 104759 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 127867 104759 4160 3002 0 111616 0
Current children cumulated CPU time: 3094.6 s
Current children cumulated vsize: 511468 KiB
Current children cumulated memory: 419036 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 8/258 1077611
/proc/meminfo: memFree=126853024/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=512748 memory=419852 CPUtime=3154.46 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 93623 0 5 0 314616 830 0 0 20 0 1 0 199012030 525053952 104963 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 128187 104963 4160 3002 0 111936 0
Current children cumulated CPU time: 3154.46 s
Current children cumulated vsize: 512748 KiB
Current children cumulated memory: 419852 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 8/257 1077623
/proc/meminfo: memFree=126851648/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=513260 memory=420200 CPUtime=3214.33 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 93906 0 5 0 320591 842 0 0 20 0 1 0 199012030 525578240 105050 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 128315 105050 4160 3002 0 112064 0
Current children cumulated CPU time: 3214.33 s
Current children cumulated vsize: 513260 KiB
Current children cumulated memory: 420200 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 8/257 1077633
/proc/meminfo: memFree=126840408/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=513260 memory=420284 CPUtime=3274.19 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 94105 0 5 0 326568 851 0 0 20 0 1 0 199012030 525578240 105071 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 128315 105071 4160 3002 0 112064 0
Current children cumulated CPU time: 3274.19 s
Current children cumulated vsize: 513260 KiB
Current children cumulated memory: 420284 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 8/255 1077643
/proc/meminfo: memFree=126826948/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=513260 memory=420284 CPUtime=3334.05 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 94277 0 5 0 332540 865 0 0 20 0 1 0 199012030 525578240 105071 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 128315 105071 4160 3002 0 112064 0
Current children cumulated CPU time: 3334.05 s
Current children cumulated vsize: 513260 KiB
Current children cumulated memory: 420284 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 8/255 1077653
/proc/meminfo: memFree=126818416/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=513260 memory=420292 CPUtime=3393.92 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 94452 0 5 0 338516 876 0 0 20 0 1 0 199012030 525578240 105073 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 128315 105073 4160 3002 0 112064 0
Current children cumulated CPU time: 3393.92 s
Current children cumulated vsize: 513260 KiB
Current children cumulated memory: 420292 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 8/255 1077664
/proc/meminfo: memFree=126796504/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=513520 memory=426752 CPUtime=3453.79 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 94708 0 5 0 344490 889 0 0 20 0 1 0 199012030 525844480 106688 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 128380 106688 4160 3002 0 112129 0
Current children cumulated CPU time: 3453.79 s
Current children cumulated vsize: 513520 KiB
Current children cumulated memory: 426752 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.09 8/255 1077674
/proc/meminfo: memFree=126771964/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=514980 memory=427484 CPUtime=3513.65 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 95117 0 5 0 350467 898 0 0 20 0 1 0 199012030 527339520 106871 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 128745 106871 4160 3002 0 112494 0
Current children cumulated CPU time: 3513.65 s
Current children cumulated vsize: 514980 KiB
Current children cumulated memory: 427484 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 9/255 1077685
/proc/meminfo: memFree=126749916/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=515824 memory=428212 CPUtime=3573.49 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 95454 0 5 0 356440 909 0 0 20 0 1 0 199012030 528203776 107053 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 128956 107053 4160 3002 0 112705 0
Current children cumulated CPU time: 3573.49 s
Current children cumulated vsize: 515824 KiB
Current children cumulated memory: 428212 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.08 4.10 4.09 8/255 1077689
/proc/meminfo: memFree=126738776/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=515824 memory=428212 CPUtime=3600.01 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 95467 0 5 0 359088 913 0 0 20 0 1 0 199012030 528203776 107053 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 128956 107053 4160 3002 0 112705 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 515824 KiB
Current children cumulated memory: 428212 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.95 s]
# the end of solver process 1075849 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.89 s, system=9.14111 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.08 4.10 4.09 8/255 1077689
/proc/meminfo: memFree=126738776/131524600 swapFree=131071996/131071996
[pid=1075849] ppid=1075838 vsize=515824 memory=428212 CPUtime=3600.01 cores=4,6
/proc/1075849/stat : 1075849 (mixed-bag) R 1075838 1075849 1075779 0 -1 4194304 95467 0 5 0 359088 913 0 0 20 0 1 0 199012030 528203776 107053 134679101440 4194304 16488053 140730543425168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 25 0 0 18731784 18742840 38920192 140730543428629 140730543428706 140730543428706 140730543435723 0
/proc/1075849/statm: 128956 107053 4160 3002 0 112705 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 515824 KiB
Current children cumulated memory: 428212 KiB
Child status: 0
Real time (s): 3608.95
CPU time (s): 3600.03
CPU user time (s): 3590.89
CPU system time (s): 9.14111
CPU usage (%): 99.7528
Max. virtual memory (cumulated for all children) (KiB): 515824
Max. memory (cumulated for all children) (KiB): 428212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.89
system time used= 9.14111
maximum resident set size= 428212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95487
page faults= 6
swaps= 0
block input operations= 1216
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 148
involuntary context switches= 2305
# summary of solver processes directly reported to runsolver:
# pid: 1075849
# total CPU time (s): 3600.03
# total CPU user time (s): 3590.89
# total CPU system time (s): 9.14111
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.71205 second user time and 21.9581 second system time
The end
Begin job on nodeC033 at 2024-07-20 11:40:35
IDJOB=4454719
IDBENCH=147531
IDSOLVER=3083
FILE ID=nodeC033/4454719-1721468423
RUNJOBID= nodeC033-1721468435-1075790
SLURM_JOB_ID= 7545724
Free space on /tmp= 890084 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454719-1721468423/watcher-4454719-1721468423 -o /tmp/evaluation-result-4454719-1721468423/solver-4454719-1721468423 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721468435-1075790 --watchdog 3760 mixed-bag HOME/instance-4454719-1721468423.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f429a5cb74c34761160471c7897bca93
RANDOM SEED=809530252
nodeC033.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 : 3776.776
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3772.394
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 : 7006.25
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 : 3606.786
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3691.810
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 : 7006.25
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 : 3786.010
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3691.404
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 : 7006.25
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 : 3605.105
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3832.607
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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128469856 kB
MemAvailable: 129679140 kB
Buffers: 610292 kB
Cached: 1435940 kB
SwapCached: 0 kB
Active: 1114568 kB
Inactive: 1307276 kB
Active(anon): 1500 kB
Inactive(anon): 420664 kB
Active(file): 1113068 kB
Inactive(file): 886612 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65068 kB
Writeback: 0 kB
AnonPages: 373572 kB
Mapped: 108072 kB
Shmem: 45908 kB
KReclaimable: 98500 kB
Slab: 212028 kB
SReclaimable: 98500 kB
SUnreclaim: 113528 kB
KernelStack: 3872 kB
PageTables: 9776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 566724 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72896 kB
HardwareCorrupted: 0 kB
AnonHugePages: 249856 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: 273108 kB
DirectMap2M: 28860416 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC033 at 2024-07-20 12:40:44