0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.03 c [STEP] preprocessing with Papilo
0.00/0.05 c [STEP] solving with SCIP
299.33/300.15 c [STEP] preprocessing done, loading into solver
299.33/300.16 c [STEP] solving
299.33/300.16 c #variables 1691 #constraints 3373
299.33/300.16 c SMALL=int, LARGE=long long
299.33/300.16 d SCIPUB 906
299.33/300.16 c bounds - >= 0 @ 299.216
299.33/300.16 c stratification level: 0
299.62/300.44 c bounds - >= 690 @ 299.22
299.62/300.44 c bounds - >= 691 @ 299.221
299.62/300.44 c bounds - >= 692 @ 299.222
299.62/300.44 c bounds - >= 693 @ 299.222
299.62/300.44 c bounds - >= 694 @ 299.222
299.62/300.44 c bounds - >= 695 @ 299.222
299.62/300.44 c bounds - >= 696 @ 299.222
299.62/300.44 c bounds - >= 697 @ 299.223
299.62/300.44 c bounds - >= 698 @ 299.223
299.62/300.44 c bounds - >= 699 @ 299.223
299.62/300.44 c bounds - >= 700 @ 299.223
299.62/300.44 c bounds - >= 701 @ 299.223
299.62/300.44 c bounds - >= 702 @ 299.224
299.62/300.44 c bounds - >= 703 @ 299.224
299.62/300.44 c bounds - >= 704 @ 299.224
299.62/300.44 c bounds - >= 705 @ 299.224
299.62/300.44 c bounds - >= 706 @ 299.224
299.62/300.44 c bounds - >= 707 @ 299.225
299.62/300.44 c bounds - >= 708 @ 299.225
299.62/300.44 c bounds - >= 709 @ 299.225
299.62/300.44 c bounds - >= 710 @ 299.225
299.62/300.44 c bounds - >= 711 @ 299.225
299.62/300.44 c bounds - >= 712 @ 299.226
299.62/300.44 c bounds - >= 713 @ 299.226
299.62/300.44 c bounds - >= 714 @ 299.226
299.62/300.44 c bounds - >= 715 @ 299.226
299.62/300.44 c bounds - >= 716 @ 299.227
299.62/300.44 c bounds - >= 717 @ 299.227
299.62/300.44 c bounds - >= 718 @ 299.227
299.62/300.44 c bounds - >= 719 @ 299.227
299.62/300.44 c bounds - >= 720 @ 299.227
299.62/300.44 c bounds - >= 721 @ 299.227
299.62/300.44 c bounds - >= 722 @ 299.227
299.62/300.44 c bounds - >= 723 @ 299.227
299.62/300.44 c bounds - >= 724 @ 299.227
299.62/300.44 c bounds - >= 725 @ 299.228
299.62/300.44 c bounds - >= 726 @ 299.228
299.62/300.44 c bounds - >= 727 @ 299.228
299.62/300.44 c bounds - >= 728 @ 299.228
299.62/300.44 c bounds - >= 729 @ 299.228
299.62/300.44 c bounds - >= 730 @ 299.229
299.62/300.44 c bounds - >= 731 @ 299.229
299.62/300.44 c bounds - >= 732 @ 299.229
299.62/300.44 c bounds - >= 733 @ 299.229
299.62/300.44 c bounds - >= 734 @ 299.23
299.62/300.44 c bounds - >= 735 @ 299.23
299.62/300.44 c bounds - >= 736 @ 299.23
299.62/300.44 c bounds - >= 737 @ 299.23
299.62/300.44 c bounds - >= 738 @ 299.231
299.62/300.44 c bounds - >= 739 @ 299.231
299.62/300.44 c bounds - >= 740 @ 299.231
299.62/300.44 c bounds - >= 741 @ 299.231
299.62/300.44 c bounds - >= 742 @ 299.231
299.62/300.44 c bounds - >= 743 @ 299.231
299.62/300.44 c bounds - >= 744 @ 299.231
299.62/300.44 c bounds - >= 745 @ 299.231
299.62/300.44 c bounds - >= 746 @ 299.231
299.62/300.44 c bounds - >= 747 @ 299.231
299.62/300.44 c bounds - >= 748 @ 299.231
299.62/300.44 c bounds - >= 749 @ 299.231
299.62/300.44 c bounds - >= 750 @ 299.231
299.62/300.44 c bounds - >= 751 @ 299.231
299.62/300.44 c bounds - >= 752 @ 299.231
299.62/300.44 c bounds - >= 753 @ 299.231
299.62/300.44 c bounds - >= 754 @ 299.232
299.62/300.44 c bounds - >= 755 @ 299.232
299.62/300.44 c bounds - >= 756 @ 299.232
299.62/300.44 c bounds - >= 757 @ 299.232
299.62/300.44 c bounds - >= 758 @ 299.233
299.62/300.44 c bounds - >= 759 @ 299.233
299.62/300.44 c bounds - >= 760 @ 299.233
299.62/300.44 c bounds - >= 761 @ 299.233
299.62/300.44 c bounds - >= 762 @ 299.234
299.62/300.44 c bounds - >= 763 @ 299.234
299.62/300.44 c bounds - >= 764 @ 299.234
299.62/300.44 c bounds - >= 765 @ 299.234
299.62/300.44 c bounds - >= 766 @ 299.235
299.62/300.44 c bounds - >= 767 @ 299.235
299.62/300.44 c bounds - >= 768 @ 299.235
299.62/300.44 c bounds - >= 769 @ 299.235
299.62/300.44 c bounds - >= 770 @ 299.235
299.62/300.44 c bounds - >= 771 @ 299.235
299.62/300.44 c bounds - >= 772 @ 299.235
299.62/300.44 c bounds - >= 773 @ 299.236
299.62/300.44 c bounds - >= 774 @ 299.236
299.62/300.44 c bounds - >= 775 @ 299.236
299.62/300.44 c bounds - >= 776 @ 299.236
299.62/300.44 c bounds - >= 777 @ 299.237
299.62/300.44 c bounds - >= 778 @ 299.237
299.62/300.44 c bounds - >= 779 @ 299.237
299.62/300.44 c bounds - >= 780 @ 299.237
299.62/300.44 c bounds - >= 781 @ 299.237
299.62/300.44 c bounds - >= 782 @ 299.237
299.62/300.44 c bounds - >= 783 @ 299.237
299.62/300.44 c bounds - >= 784 @ 299.237
299.62/300.44 c bounds - >= 785 @ 299.237
299.62/300.44 c bounds - >= 786 @ 299.237
299.62/300.44 c bounds - >= 787 @ 299.237
299.62/300.44 c bounds - >= 788 @ 299.238
299.62/300.44 c bounds - >= 789 @ 299.238
299.62/300.44 c bounds - >= 790 @ 299.238
299.62/300.44 c bounds - >= 791 @ 299.239
299.62/300.44 c bounds - >= 792 @ 299.239
299.62/300.44 c bounds - >= 793 @ 299.239
299.62/300.44 c bounds - >= 794 @ 299.24
299.62/300.44 c bounds - >= 795 @ 299.24
299.62/300.44 c bounds - >= 796 @ 299.24
299.62/300.44 c bounds - >= 797 @ 299.24
299.62/300.44 c bounds - >= 798 @ 299.24
299.62/300.44 c bounds - >= 799 @ 299.24
299.62/300.44 c bounds - >= 800 @ 299.24
299.62/300.44 c bounds - >= 801 @ 299.24
299.62/300.44 c bounds - >= 802 @ 299.24
299.62/300.44 c bounds - >= 803 @ 299.24
299.62/300.44 c bounds - >= 804 @ 299.241
299.62/300.44 c bounds - >= 805 @ 299.241
299.62/300.44 c bounds - >= 806 @ 299.241
299.62/300.44 c bounds - >= 807 @ 299.242
299.62/300.44 c bounds - >= 808 @ 299.242
299.62/300.44 c bounds - >= 809 @ 299.242
299.62/300.44 c bounds - >= 810 @ 299.243
299.62/300.44 c bounds - >= 811 @ 299.243
299.62/300.44 c bounds - >= 812 @ 299.243
299.62/300.44 c bounds - >= 813 @ 299.243
299.62/300.44 c bounds - >= 814 @ 299.243
299.62/300.44 c bounds - >= 815 @ 299.243
299.62/300.44 c bounds - >= 816 @ 299.243
299.62/300.44 c bounds - >= 817 @ 299.243
299.62/300.44 c bounds - >= 818 @ 299.244
299.62/300.44 c bounds - >= 819 @ 299.244
299.62/300.44 c bounds - >= 820 @ 299.244
299.62/300.44 c bounds - >= 821 @ 299.244
299.62/300.44 c bounds - >= 822 @ 299.244
299.62/300.44 c bounds - >= 823 @ 299.245
299.62/300.44 c bounds - >= 824 @ 299.245
299.62/300.44 c bounds - >= 825 @ 299.246
299.62/300.44 c bounds - >= 826 @ 299.246
299.62/300.44 c bounds - >= 827 @ 299.246
299.62/300.44 c bounds - >= 828 @ 299.246
299.62/300.44 c bounds - >= 829 @ 299.246
299.62/300.44 c bounds - >= 830 @ 299.246
299.62/300.44 c bounds - >= 831 @ 299.246
299.62/300.44 c bounds - >= 832 @ 299.247
299.62/300.44 c bounds - >= 833 @ 299.247
299.62/300.44 c bounds - >= 834 @ 299.248
299.62/300.44 c bounds - >= 835 @ 299.248
299.62/300.44 c #Conflicts: 1000 | #Constraints: 5349
359.67/360.67 c #Conflicts: 2000 | #Constraints: 6349
359.67/360.67 c INPROCESSING
359.67/360.67 c GARBAGE COLLECT
359.67/360.67 c #Conflicts: 3000 | #Constraints: 6198
359.67/360.67 c #Conflicts: 4000 | #Constraints: 7198
359.67/360.67 c INPROCESSING
359.67/360.67 c GARBAGE COLLECT
359.67/360.67 c #Conflicts: 5000 | #Constraints: 6578
359.67/360.67 c #Conflicts: 6000 | #Constraints: 7578
359.67/360.67 c INPROCESSING
359.67/360.67 c GARBAGE COLLECT
359.67/360.67 c #Conflicts: 7000 | #Constraints: 6569
359.67/360.67 c #Conflicts: 8000 | #Constraints: 7569
359.67/360.67 c #Conflicts: 9000 | #Constraints: 8569
359.67/360.67 c INPROCESSING
359.67/360.67 c GARBAGE COLLECT
359.67/360.67 c #Conflicts: 10000 | #Constraints: 7260
359.67/360.67 c #Conflicts: 11000 | #Constraints: 8260
359.67/360.67 c #Conflicts: 12000 | #Constraints: 9260
359.67/360.67 c INPROCESSING
359.67/360.67 c GARBAGE COLLECT
359.67/360.67 c #Conflicts: 13000 | #Constraints: 7710
359.67/360.67 c #Conflicts: 14000 | #Constraints: 8710
359.67/360.67 c #Conflicts: 15000 | #Constraints: 9710
359.67/360.67 c INPROCESSING
359.67/360.67 c GARBAGE COLLECT
359.67/360.67 c #Conflicts: 16000 | #Constraints: 7930
359.67/360.67 c #Conflicts: 17000 | #Constraints: 8930
359.67/360.67 c #Conflicts: 18000 | #Constraints: 9930
359.67/360.67 c INPROCESSING
359.67/360.67 c GARBAGE COLLECT
359.67/360.67 c #Conflicts: 19000 | #Constraints: 7940
359.67/360.67 c #Conflicts: 20000 | #Constraints: 8940
359.67/360.67 c #Conflicts: 21000 | #Constraints: 9940
359.67/360.67 c INPROCESSING
359.67/360.67 c GARBAGE COLLECT
359.67/360.67 c #Conflicts: 22000 | #Constraints: 7748
359.67/360.67 c #Conflicts: 23000 | #Constraints: 8748
359.67/360.67 c #Conflicts: 24000 | #Constraints: 9748
359.67/360.67 c #Conflicts: 25000 | #Constraints: 10748
359.67/360.67 c INPROCESSING
359.67/360.67 c GARBAGE COLLECT
359.67/360.67 c #Conflicts: 26000 | #Constraints: 8352
359.67/360.67 c #Conflicts: 27000 | #Constraints: 9352
359.67/360.67 c #Conflicts: 28000 | #Constraints: 10352
359.67/360.67 c #Conflicts: 29000 | #Constraints: 11352
359.67/360.67 c INPROCESSING
359.67/360.67 c GARBAGE COLLECT
359.67/360.67 c #Conflicts: 30000 | #Constraints: 8751
359.67/360.67 c #Conflicts: 31000 | #Constraints: 9751
359.67/360.67 c #Conflicts: 32000 | #Constraints: 10751
359.67/360.67 c #Conflicts: 33000 | #Constraints: 11751
359.67/360.67 c INPROCESSING
359.67/360.67 c GARBAGE COLLECT
359.67/360.67 c #Conflicts: 34000 | #Constraints: 8949
359.67/360.67 c #Conflicts: 35000 | #Constraints: 9949
359.67/360.67 c #Conflicts: 36000 | #Constraints: 10949
359.67/360.67 c #Conflicts: 37000 | #Constraints: 11949
359.67/360.67 c INPROCESSING
359.67/360.67 c GARBAGE COLLECT
359.67/360.67 c #Conflicts: 38000 | #Constraints: 8954
359.67/360.67 c #Conflicts: 39000 | #Constraints: 9954
359.67/360.67 c #Conflicts: 40000 | #Constraints: 10954
359.67/360.67 c #Conflicts: 41000 | #Constraints: 11954
359.67/360.67 c INPROCESSING
359.67/360.67 c GARBAGE COLLECT
359.67/360.67 c #Conflicts: 42000 | #Constraints: 8757
359.67/360.67 c #Conflicts: 43000 | #Constraints: 9757
359.67/360.67 c #Conflicts: 44000 | #Constraints: 10757
359.67/360.67 c #Conflicts: 45000 | #Constraints: 11757
359.67/360.67 c #Conflicts: 46000 | #Constraints: 12757
359.67/360.67 c INPROCESSING
359.67/360.67 c GARBAGE COLLECT
359.67/360.67 c #Conflicts: 47000 | #Constraints: 9352
359.67/360.67 c #Conflicts: 48000 | #Constraints: 10352
359.67/360.67 c #Conflicts: 49000 | #Constraints: 11352
359.67/360.67 c #Conflicts: 50000 | #Constraints: 12352
359.67/360.67 c #Conflicts: 51000 | #Constraints: 13352
359.67/360.67 c INPROCESSING
359.67/360.67 c GARBAGE COLLECT
359.67/360.67 c #Conflicts: 52000 | #Constraints: 9745
359.67/360.67 c #Conflicts: 53000 | #Constraints: 10745
359.67/360.67 c #Conflicts: 54000 | #Constraints: 11745
359.67/360.67 c #Conflicts: 55000 | #Constraints: 12745
359.67/360.67 c #Conflicts: 56000 | #Constraints: 13745
359.67/360.67 c INPROCESSING
359.67/360.67 c GARBAGE COLLECT
359.67/360.67 c #Conflicts: 57000 | #Constraints: 9952
359.67/360.67 c #Conflicts: 58000 | #Constraints: 10952
359.67/360.67 c #Conflicts: 59000 | #Constraints: 11952
359.67/360.67 c #Conflicts: 60000 | #Constraints: 12952
359.67/360.67 c #Conflicts: 61000 | #Constraints: 13952
359.67/360.67 c INPROCESSING
359.67/360.67 c GARBAGE COLLECT
359.67/360.67 c #Conflicts: 62000 | #Constraints: 9959
359.67/360.67 c #Conflicts: 63000 | #Constraints: 10959
359.67/360.67 c #Conflicts: 64000 | #Constraints: 11959
359.67/360.67 c #Conflicts: 65000 | #Constraints: 12959
359.67/360.67 c #Conflicts: 66000 | #Constraints: 13959
359.67/360.67 c INPROCESSING
359.67/360.67 c GARBAGE COLLECT
359.67/360.67 c #Conflicts: 67000 | #Constraints: 9755
359.67/360.67 c #Conflicts: 68000 | #Constraints: 10755
437.77/438.97 c #Conflicts: 69000 | #Constraints: 11755
437.77/438.97 c #Conflicts: 70000 | #Constraints: 12755
437.77/438.97 c #Conflicts: 71000 | #Constraints: 13755
437.77/438.97 c #Conflicts: 72000 | #Constraints: 14755
437.77/438.97 c INPROCESSING
437.77/438.97 c GARBAGE COLLECT
437.77/438.97 c #Conflicts: 73000 | #Constraints: 10349
437.77/438.97 c #Conflicts: 74000 | #Constraints: 11349
437.77/438.97 c #Conflicts: 75000 | #Constraints: 12349
437.77/438.97 c #Conflicts: 76000 | #Constraints: 13349
437.77/438.97 c #Conflicts: 77000 | #Constraints: 14349
437.77/438.97 c #Conflicts: 78000 | #Constraints: 15349
437.77/438.97 c INPROCESSING
437.77/438.97 c GARBAGE COLLECT
437.77/438.97 c #Conflicts: 79000 | #Constraints: 10754
437.77/438.97 c #Conflicts: 80000 | #Constraints: 11754
437.77/438.97 c #Conflicts: 81000 | #Constraints: 12754
437.77/438.97 c #Conflicts: 82000 | #Constraints: 13754
437.77/438.97 c #Conflicts: 83000 | #Constraints: 14754
437.77/438.97 c #Conflicts: 84000 | #Constraints: 15754
437.77/438.97 c INPROCESSING
437.77/438.97 c GARBAGE COLLECT
437.77/438.97 c #Conflicts: 85000 | #Constraints: 10951
437.77/438.97 c #Conflicts: 86000 | #Constraints: 11951
437.77/438.97 c #Conflicts: 87000 | #Constraints: 12951
437.77/438.97 c #Conflicts: 88000 | #Constraints: 13951
437.77/438.97 c #Conflicts: 89000 | #Constraints: 14951
437.77/438.97 c #Conflicts: 90000 | #Constraints: 15951
437.77/438.97 c INPROCESSING
437.77/438.97 c GARBAGE COLLECT
437.77/438.97 c #Conflicts: 91000 | #Constraints: 10953
437.77/438.97 c #Conflicts: 92000 | #Constraints: 11953
437.77/438.97 c #Conflicts: 93000 | #Constraints: 12953
437.77/438.97 c #Conflicts: 94000 | #Constraints: 13953
437.77/438.97 c #Conflicts: 95000 | #Constraints: 14953
437.77/438.97 c #Conflicts: 96000 | #Constraints: 15953
437.77/438.97 c INPROCESSING
437.77/438.97 c GARBAGE COLLECT
437.77/438.97 c #Conflicts: 97000 | #Constraints: 10755
437.77/438.97 c bounds - >= 836 @ 392.913
437.77/438.97 c #Conflicts: 98000 | #Constraints: 11756
437.77/438.97 c #Conflicts: 99000 | #Constraints: 12756
437.77/438.97 c #Conflicts: 100000 | #Constraints: 13756
437.77/438.97 c #Conflicts: 101000 | #Constraints: 14756
437.77/438.97 c #Conflicts: 102000 | #Constraints: 15756
437.77/438.97 c #Conflicts: 103000 | #Constraints: 16756
437.77/438.97 c INPROCESSING
437.77/438.97 c GARBAGE COLLECT
437.77/438.97 c #Conflicts: 104000 | #Constraints: 11355
437.77/438.97 c #Conflicts: 105000 | #Constraints: 12355
437.77/438.97 c #Conflicts: 106000 | #Constraints: 13355
437.77/438.97 c #Conflicts: 107000 | #Constraints: 14355
437.77/438.97 c #Conflicts: 108000 | #Constraints: 15355
437.77/438.97 c #Conflicts: 109000 | #Constraints: 16355
437.77/438.97 c #Conflicts: 110000 | #Constraints: 17355
437.77/438.97 c INPROCESSING
437.77/438.97 c GARBAGE COLLECT
437.77/438.97 c #Conflicts: 111000 | #Constraints: 11764
437.77/438.97 c #Conflicts: 112000 | #Constraints: 12764
437.77/438.97 c #Conflicts: 113000 | #Constraints: 13764
437.77/438.97 c #Conflicts: 114000 | #Constraints: 14764
437.77/438.97 c #Conflicts: 115000 | #Constraints: 15764
437.77/438.97 c #Conflicts: 116000 | #Constraints: 16764
437.77/438.97 c #Conflicts: 117000 | #Constraints: 17764
437.77/438.97 c INPROCESSING
437.77/438.97 c GARBAGE COLLECT
437.77/438.97 c #Conflicts: 118000 | #Constraints: 11965
437.77/438.97 c #Conflicts: 119000 | #Constraints: 12965
437.77/438.97 c #Conflicts: 120000 | #Constraints: 13965
437.77/438.97 c #Conflicts: 121000 | #Constraints: 14965
437.77/438.97 c #Conflicts: 122000 | #Constraints: 15965
437.77/438.97 c #Conflicts: 123000 | #Constraints: 16965
437.77/438.97 c #Conflicts: 124000 | #Constraints: 17965
437.77/438.97 c INPROCESSING
437.77/438.97 c GARBAGE COLLECT
437.77/438.97 c #Conflicts: 125000 | #Constraints: 11947
437.77/438.97 c #Conflicts: 126000 | #Constraints: 12947
437.77/438.97 c #Conflicts: 127000 | #Constraints: 13947
437.77/438.97 c #Conflicts: 128000 | #Constraints: 14947
437.77/438.97 c #Conflicts: 129000 | #Constraints: 15947
437.77/438.97 c #Conflicts: 130000 | #Constraints: 16947
437.77/438.97 c #Conflicts: 131000 | #Constraints: 17947
437.77/438.97 c INPROCESSING
437.77/438.97 c GARBAGE COLLECT
437.77/438.97 c #Conflicts: 132000 | #Constraints: 11745
437.77/438.97 c #Conflicts: 133000 | #Constraints: 12745
437.77/438.97 c #Conflicts: 134000 | #Constraints: 13745
437.77/438.97 c #Conflicts: 135000 | #Constraints: 14745
437.77/438.97 c #Conflicts: 136000 | #Constraints: 15745
437.77/438.97 c #Conflicts: 137000 | #Constraints: 16745
437.77/438.97 c #Conflicts: 138000 | #Constraints: 17745
437.77/438.97 c #Conflicts: 139000 | #Constraints: 18745
437.77/438.97 c INPROCESSING
437.77/438.97 c GARBAGE COLLECT
437.77/438.97 c #Conflicts: 140000 | #Constraints: 12357
550.92/552.40 c #Conflicts: 141000 | #Constraints: 13357
550.92/552.40 c #Conflicts: 142000 | #Constraints: 14357
550.92/552.40 c #Conflicts: 143000 | #Constraints: 15357
550.92/552.40 c #Conflicts: 144000 | #Constraints: 16357
550.92/552.40 c #Conflicts: 145000 | #Constraints: 17357
550.92/552.40 c #Conflicts: 146000 | #Constraints: 18357
550.92/552.40 c #Conflicts: 147000 | #Constraints: 19357
550.92/552.40 c INPROCESSING
550.92/552.40 c GARBAGE COLLECT
550.92/552.40 c #Conflicts: 148000 | #Constraints: 12758
550.92/552.40 c #Conflicts: 149000 | #Constraints: 13758
550.92/552.40 c #Conflicts: 150000 | #Constraints: 14758
550.92/552.40 c #Conflicts: 151000 | #Constraints: 15758
550.92/552.40 c #Conflicts: 152000 | #Constraints: 16758
550.92/552.40 c #Conflicts: 153000 | #Constraints: 17758
550.92/552.40 c #Conflicts: 154000 | #Constraints: 18758
550.92/552.40 c #Conflicts: 155000 | #Constraints: 19758
550.92/552.40 c INPROCESSING
550.92/552.40 c GARBAGE COLLECT
550.92/552.40 c #Conflicts: 156000 | #Constraints: 12953
550.92/552.40 c #Conflicts: 157000 | #Constraints: 13953
550.92/552.40 c #Conflicts: 158000 | #Constraints: 14953
550.92/552.40 c #Conflicts: 159000 | #Constraints: 15953
550.92/552.40 c #Conflicts: 160000 | #Constraints: 16953
550.92/552.40 c #Conflicts: 161000 | #Constraints: 17953
550.92/552.40 c #Conflicts: 162000 | #Constraints: 18953
550.92/552.40 c #Conflicts: 163000 | #Constraints: 19953
550.92/552.40 c INPROCESSING
550.92/552.40 c GARBAGE COLLECT
550.92/552.40 c #Conflicts: 164000 | #Constraints: 12939
550.92/552.40 c #Conflicts: 165000 | #Constraints: 13939
550.92/552.40 c #Conflicts: 166000 | #Constraints: 14939
550.92/552.40 c #Conflicts: 167000 | #Constraints: 15939
550.92/552.40 c #Conflicts: 168000 | #Constraints: 16939
550.92/552.40 c #Conflicts: 169000 | #Constraints: 17939
550.92/552.40 c #Conflicts: 170000 | #Constraints: 18939
550.92/552.40 c #Conflicts: 171000 | #Constraints: 19939
550.92/552.40 c INPROCESSING
550.92/552.40 c GARBAGE COLLECT
550.92/552.40 c #Conflicts: 172000 | #Constraints: 12740
550.92/552.40 c #Conflicts: 173000 | #Constraints: 13740
550.92/552.40 c #Conflicts: 174000 | #Constraints: 14740
550.92/552.40 c #Conflicts: 175000 | #Constraints: 15740
550.92/552.40 c #Conflicts: 176000 | #Constraints: 16740
550.92/552.40 c #Conflicts: 177000 | #Constraints: 17740
550.92/552.40 c #Conflicts: 178000 | #Constraints: 18740
550.92/552.40 c #Conflicts: 179000 | #Constraints: 19740
550.92/552.40 c #Conflicts: 180000 | #Constraints: 20740
550.92/552.40 c INPROCESSING
550.92/552.40 c GARBAGE COLLECT
550.92/552.40 c #Conflicts: 181000 | #Constraints: 13340
550.92/552.40 c #Conflicts: 182000 | #Constraints: 14340
550.92/552.40 c #Conflicts: 183000 | #Constraints: 15340
550.92/552.40 c #Conflicts: 184000 | #Constraints: 16340
550.92/552.40 c #Conflicts: 185000 | #Constraints: 17340
550.92/552.40 c #Conflicts: 186000 | #Constraints: 18340
550.92/552.40 c #Conflicts: 187000 | #Constraints: 19340
550.92/552.40 c #Conflicts: 188000 | #Constraints: 20340
550.92/552.40 c #Conflicts: 189000 | #Constraints: 21340
550.92/552.40 c INPROCESSING
550.92/552.40 c GARBAGE COLLECT
550.92/552.40 c #Conflicts: 190000 | #Constraints: 13741
550.92/552.40 c #Conflicts: 191000 | #Constraints: 14741
550.92/552.40 c #Conflicts: 192000 | #Constraints: 15741
550.92/552.40 c #Conflicts: 193000 | #Constraints: 16741
550.92/552.40 c #Conflicts: 194000 | #Constraints: 17741
550.92/552.40 c #Conflicts: 195000 | #Constraints: 18741
550.92/552.40 c #Conflicts: 196000 | #Constraints: 19741
550.92/552.40 c #Conflicts: 197000 | #Constraints: 20741
550.92/552.40 c #Conflicts: 198000 | #Constraints: 21741
550.92/552.40 c INPROCESSING
550.92/552.40 c GARBAGE COLLECT
550.92/552.40 c #Conflicts: 199000 | #Constraints: 13941
550.92/552.40 c #Conflicts: 200000 | #Constraints: 14941
550.92/552.40 c #Conflicts: 201000 | #Constraints: 15941
550.92/552.40 c #Conflicts: 202000 | #Constraints: 16941
550.92/552.40 c #Conflicts: 203000 | #Constraints: 17941
550.92/552.40 c #Conflicts: 204000 | #Constraints: 18941
550.92/552.40 c #Conflicts: 205000 | #Constraints: 19941
550.92/552.40 c #Conflicts: 206000 | #Constraints: 20941
550.92/552.40 c #Conflicts: 207000 | #Constraints: 21941
550.92/552.40 c INPROCESSING
550.92/552.40 c GARBAGE COLLECT
550.92/552.40 c #Conflicts: 208000 | #Constraints: 13943
550.92/552.40 c #Conflicts: 209000 | #Constraints: 14943
550.92/552.40 c #Conflicts: 210000 | #Constraints: 15943
550.92/552.40 c #Conflicts: 211000 | #Constraints: 16943
550.92/552.40 c #Conflicts: 212000 | #Constraints: 17943
550.92/552.40 c #Conflicts: 213000 | #Constraints: 18943
691.10/693.06 c #Conflicts: 214000 | #Constraints: 19943
691.10/693.06 c #Conflicts: 215000 | #Constraints: 20943
691.10/693.06 c #Conflicts: 216000 | #Constraints: 21943
691.10/693.06 c INPROCESSING
691.10/693.06 c GARBAGE COLLECT
691.10/693.06 c #Conflicts: 217000 | #Constraints: 13749
691.10/693.06 c #Conflicts: 218000 | #Constraints: 14749
691.10/693.06 c #Conflicts: 219000 | #Constraints: 15749
691.10/693.06 c #Conflicts: 220000 | #Constraints: 16749
691.10/693.06 c #Conflicts: 221000 | #Constraints: 17749
691.10/693.06 c #Conflicts: 222000 | #Constraints: 18749
691.10/693.06 c #Conflicts: 223000 | #Constraints: 19749
691.10/693.06 c #Conflicts: 224000 | #Constraints: 20749
691.10/693.06 c #Conflicts: 225000 | #Constraints: 21749
691.10/693.06 c #Conflicts: 226000 | #Constraints: 22749
691.10/693.06 c INPROCESSING
691.10/693.06 c GARBAGE COLLECT
691.10/693.06 c #Conflicts: 227000 | #Constraints: 14362
691.10/693.06 c #Conflicts: 228000 | #Constraints: 15362
691.10/693.06 c #Conflicts: 229000 | #Constraints: 16362
691.10/693.06 c #Conflicts: 230000 | #Constraints: 17362
691.10/693.06 c #Conflicts: 231000 | #Constraints: 18362
691.10/693.06 c #Conflicts: 232000 | #Constraints: 19362
691.10/693.06 c #Conflicts: 233000 | #Constraints: 20362
691.10/693.06 c #Conflicts: 234000 | #Constraints: 21362
691.10/693.06 c #Conflicts: 235000 | #Constraints: 22362
691.10/693.06 c #Conflicts: 236000 | #Constraints: 23362
691.10/693.06 c INPROCESSING
691.10/693.06 c GARBAGE COLLECT
691.10/693.06 c #Conflicts: 237000 | #Constraints: 14740
691.10/693.06 c #Conflicts: 238000 | #Constraints: 15740
691.10/693.06 c #Conflicts: 239000 | #Constraints: 16740
691.10/693.06 c #Conflicts: 240000 | #Constraints: 17740
691.10/693.06 c #Conflicts: 241000 | #Constraints: 18740
691.10/693.06 c #Conflicts: 242000 | #Constraints: 19740
691.10/693.06 c #Conflicts: 243000 | #Constraints: 20740
691.10/693.06 c #Conflicts: 244000 | #Constraints: 21740
691.10/693.06 c #Conflicts: 245000 | #Constraints: 22740
691.10/693.06 c #Conflicts: 246000 | #Constraints: 23740
691.10/693.06 c INPROCESSING
691.10/693.06 c GARBAGE COLLECT
691.10/693.06 c #Conflicts: 247000 | #Constraints: 14934
691.10/693.06 c #Conflicts: 248000 | #Constraints: 15934
691.10/693.06 c #Conflicts: 249000 | #Constraints: 16934
691.10/693.06 c #Conflicts: 250000 | #Constraints: 17934
691.10/693.06 c #Conflicts: 251000 | #Constraints: 18934
691.10/693.06 c #Conflicts: 252000 | #Constraints: 19934
691.10/693.06 c #Conflicts: 253000 | #Constraints: 20934
691.10/693.06 c #Conflicts: 254000 | #Constraints: 21934
691.10/693.06 c #Conflicts: 255000 | #Constraints: 22934
691.10/693.06 c #Conflicts: 256000 | #Constraints: 23934
691.10/693.06 c INPROCESSING
691.10/693.06 c GARBAGE COLLECT
691.10/693.06 c #Conflicts: 257000 | #Constraints: 14925
691.10/693.06 c #Conflicts: 258000 | #Constraints: 15925
691.10/693.06 c #Conflicts: 259000 | #Constraints: 16925
691.10/693.06 c #Conflicts: 260000 | #Constraints: 17925
691.10/693.06 c #Conflicts: 261000 | #Constraints: 18925
691.10/693.06 c #Conflicts: 262000 | #Constraints: 19925
691.10/693.06 c #Conflicts: 263000 | #Constraints: 20925
691.10/693.06 c #Conflicts: 264000 | #Constraints: 21925
691.10/693.06 c #Conflicts: 265000 | #Constraints: 22925
691.10/693.06 c #Conflicts: 266000 | #Constraints: 23925
691.10/693.06 c INPROCESSING
691.10/693.06 c GARBAGE COLLECT
691.10/693.06 c #Conflicts: 267000 | #Constraints: 14717
691.10/693.06 c #Conflicts: 268000 | #Constraints: 15717
691.10/693.06 c #Conflicts: 269000 | #Constraints: 16717
691.10/693.06 c #Conflicts: 270000 | #Constraints: 17717
691.10/693.06 c #Conflicts: 271000 | #Constraints: 18717
691.10/693.06 c #Conflicts: 272000 | #Constraints: 19717
691.10/693.06 c #Conflicts: 273000 | #Constraints: 20717
691.10/693.06 c #Conflicts: 274000 | #Constraints: 21717
691.10/693.06 c #Conflicts: 275000 | #Constraints: 22717
691.10/693.06 c #Conflicts: 276000 | #Constraints: 23717
691.10/693.06 c #Conflicts: 277000 | #Constraints: 24717
691.10/693.06 c INPROCESSING
691.10/693.06 c GARBAGE COLLECT
691.10/693.06 c #Conflicts: 278000 | #Constraints: 15323
691.10/693.06 c #Conflicts: 279000 | #Constraints: 16323
691.10/693.06 c #Conflicts: 280000 | #Constraints: 17323
691.10/693.06 c #Conflicts: 281000 | #Constraints: 18323
691.10/693.06 c #Conflicts: 282000 | #Constraints: 19323
691.10/693.06 c #Conflicts: 283000 | #Constraints: 20323
691.10/693.06 c #Conflicts: 284000 | #Constraints: 21323
691.10/693.06 c #Conflicts: 285000 | #Constraints: 22323
691.10/693.06 c #Conflicts: 286000 | #Constraints: 23323
691.10/693.06 c #Conflicts: 287000 | #Constraints: 24323
691.10/693.06 c #Conflicts: 288000 | #Constraints: 25323
792.39/794.65 c INPROCESSING
792.39/794.65 c GARBAGE COLLECT
792.39/794.65 c #Conflicts: 289000 | #Constraints: 15743
792.39/794.65 c #Conflicts: 290000 | #Constraints: 16743
792.39/794.65 c #Conflicts: 291000 | #Constraints: 17743
792.39/794.65 c #Conflicts: 292000 | #Constraints: 18743
792.39/794.65 c #Conflicts: 293000 | #Constraints: 19743
792.39/794.65 c #Conflicts: 294000 | #Constraints: 20743
792.39/794.65 c #Conflicts: 295000 | #Constraints: 21743
792.39/794.65 c #Conflicts: 296000 | #Constraints: 22743
792.39/794.65 c #Conflicts: 297000 | #Constraints: 23743
792.39/794.65 c #Conflicts: 298000 | #Constraints: 24743
792.39/794.65 c #Conflicts: 299000 | #Constraints: 25743
792.39/794.65 c INPROCESSING
792.39/794.65 c GARBAGE COLLECT
792.39/794.65 c #Conflicts: 300000 | #Constraints: 15949
792.39/794.65 c #Conflicts: 301000 | #Constraints: 16949
792.39/794.65 c #Conflicts: 302000 | #Constraints: 17949
792.39/794.65 c #Conflicts: 303000 | #Constraints: 18949
792.39/794.65 c #Conflicts: 304000 | #Constraints: 19949
792.39/794.65 c #Conflicts: 305000 | #Constraints: 20949
792.39/794.65 c #Conflicts: 306000 | #Constraints: 21949
792.39/794.65 c #Conflicts: 307000 | #Constraints: 22949
792.39/794.65 c #Conflicts: 308000 | #Constraints: 23949
792.39/794.65 c #Conflicts: 309000 | #Constraints: 24949
792.39/794.65 c #Conflicts: 310000 | #Constraints: 25949
792.39/794.65 c INPROCESSING
792.39/794.65 c GARBAGE COLLECT
792.39/794.65 c #Conflicts: 311000 | #Constraints: 15950
792.39/794.65 c #Conflicts: 312000 | #Constraints: 16950
792.39/794.65 c #Conflicts: 313000 | #Constraints: 17950
792.39/794.65 c #Conflicts: 314000 | #Constraints: 18950
792.39/794.65 c #Conflicts: 315000 | #Constraints: 19950
792.39/794.65 c #Conflicts: 316000 | #Constraints: 20950
792.39/794.65 c #Conflicts: 317000 | #Constraints: 21950
792.39/794.65 c #Conflicts: 318000 | #Constraints: 22950
792.39/794.65 c #Conflicts: 319000 | #Constraints: 23950
792.39/794.65 c #Conflicts: 320000 | #Constraints: 24950
792.39/794.65 c #Conflicts: 321000 | #Constraints: 25950
792.39/794.65 c INPROCESSING
792.39/794.65 c GARBAGE COLLECT
792.39/794.65 c #Conflicts: 322000 | #Constraints: 15754
792.39/794.65 c #Conflicts: 323000 | #Constraints: 16754
792.39/794.65 c #Conflicts: 324000 | #Constraints: 17754
792.39/794.65 c #Conflicts: 325000 | #Constraints: 18754
792.39/794.65 c #Conflicts: 326000 | #Constraints: 19754
792.39/794.65 c #Conflicts: 327000 | #Constraints: 20754
792.39/794.65 c #Conflicts: 328000 | #Constraints: 21754
792.39/794.65 c #Conflicts: 329000 | #Constraints: 22754
792.39/794.65 c #Conflicts: 330000 | #Constraints: 23754
792.39/794.65 c #Conflicts: 331000 | #Constraints: 24754
792.39/794.65 c #Conflicts: 332000 | #Constraints: 25754
792.39/794.65 c #Conflicts: 333000 | #Constraints: 26754
792.39/794.65 c INPROCESSING
792.39/794.65 c GARBAGE COLLECT
792.39/794.65 c #Conflicts: 334000 | #Constraints: 16366
792.39/794.65 c #Conflicts: 335000 | #Constraints: 17366
792.39/794.65 c #Conflicts: 336000 | #Constraints: 18366
792.39/794.65 c #Conflicts: 337000 | #Constraints: 19366
792.39/794.65 c #Conflicts: 338000 | #Constraints: 20366
792.39/794.65 c #Conflicts: 339000 | #Constraints: 21366
792.39/794.65 c #Conflicts: 340000 | #Constraints: 22366
792.39/794.65 c #Conflicts: 341000 | #Constraints: 23366
792.39/794.65 c #Conflicts: 342000 | #Constraints: 24366
792.39/794.65 c #Conflicts: 343000 | #Constraints: 25366
792.39/794.65 c #Conflicts: 344000 | #Constraints: 26366
792.39/794.65 c #Conflicts: 345000 | #Constraints: 27366
792.39/794.65 c INPROCESSING
792.39/794.65 c GARBAGE COLLECT
792.39/794.65 c #Conflicts: 346000 | #Constraints: 16750
792.39/794.65 c #Conflicts: 347000 | #Constraints: 17750
792.39/794.65 c #Conflicts: 348000 | #Constraints: 18750
792.39/794.65 c #Conflicts: 349000 | #Constraints: 19750
792.39/794.65 c #Conflicts: 350000 | #Constraints: 20750
792.39/794.65 c #Conflicts: 351000 | #Constraints: 21750
792.39/794.65 c #Conflicts: 352000 | #Constraints: 22750
792.39/794.65 c #Conflicts: 353000 | #Constraints: 23750
792.39/794.65 c #Conflicts: 354000 | #Constraints: 24750
792.39/794.65 c #Conflicts: 355000 | #Constraints: 25750
792.39/794.65 c #Conflicts: 356000 | #Constraints: 26750
792.39/794.65 c #Conflicts: 357000 | #Constraints: 27750
792.39/794.65 c INPROCESSING
792.39/794.65 c GARBAGE COLLECT
792.39/794.65 c #Conflicts: 358000 | #Constraints: 16936
792.39/794.65 c #Conflicts: 359000 | #Constraints: 17936
792.39/794.65 c #Conflicts: 360000 | #Constraints: 18936
792.39/794.65 c #Conflicts: 361000 | #Constraints: 19936
792.39/794.65 c #Conflicts: 362000 | #Constraints: 20936
1014.71/1017.60 c #Conflicts: 363000 | #Constraints: 21936
1014.71/1017.60 c #Conflicts: 364000 | #Constraints: 22936
1014.71/1017.60 c #Conflicts: 365000 | #Constraints: 23936
1014.71/1017.60 c #Conflicts: 366000 | #Constraints: 24936
1014.71/1017.60 c #Conflicts: 367000 | #Constraints: 25936
1014.71/1017.60 c #Conflicts: 368000 | #Constraints: 26936
1014.71/1017.60 c #Conflicts: 369000 | #Constraints: 27936
1014.71/1017.60 c INPROCESSING
1014.71/1017.60 c GARBAGE COLLECT
1014.71/1017.60 c #Conflicts: 370000 | #Constraints: 16960
1014.71/1017.60 c #Conflicts: 371000 | #Constraints: 17960
1014.71/1017.60 c #Conflicts: 372000 | #Constraints: 18960
1014.71/1017.60 c #Conflicts: 373000 | #Constraints: 19960
1014.71/1017.60 c #Conflicts: 374000 | #Constraints: 20960
1014.71/1017.60 c #Conflicts: 375000 | #Constraints: 21960
1014.71/1017.60 c #Conflicts: 376000 | #Constraints: 22960
1014.71/1017.60 c #Conflicts: 377000 | #Constraints: 23960
1014.71/1017.60 c #Conflicts: 378000 | #Constraints: 24960
1014.71/1017.60 c #Conflicts: 379000 | #Constraints: 25960
1014.71/1017.60 c #Conflicts: 380000 | #Constraints: 26960
1014.71/1017.60 c #Conflicts: 381000 | #Constraints: 27960
1014.71/1017.60 c INPROCESSING
1014.71/1017.60 c GARBAGE COLLECT
1014.71/1017.60 c #Conflicts: 382000 | #Constraints: 16767
1014.71/1017.60 c #Conflicts: 383000 | #Constraints: 17767
1014.71/1017.60 c #Conflicts: 384000 | #Constraints: 18767
1014.71/1017.60 c #Conflicts: 385000 | #Constraints: 19767
1014.71/1017.60 c #Conflicts: 386000 | #Constraints: 20767
1014.71/1017.60 c #Conflicts: 387000 | #Constraints: 21767
1014.71/1017.60 c #Conflicts: 388000 | #Constraints: 22767
1014.71/1017.60 c #Conflicts: 389000 | #Constraints: 23767
1014.71/1017.60 c #Conflicts: 390000 | #Constraints: 24767
1014.71/1017.60 c #Conflicts: 391000 | #Constraints: 25767
1014.71/1017.60 c #Conflicts: 392000 | #Constraints: 26767
1014.71/1017.60 c #Conflicts: 393000 | #Constraints: 27767
1014.71/1017.60 c #Conflicts: 394000 | #Constraints: 28767
1014.71/1017.60 c INPROCESSING
1014.71/1017.60 c GARBAGE COLLECT
1014.71/1017.60 c #Conflicts: 395000 | #Constraints: 17357
1014.71/1017.60 c #Conflicts: 396000 | #Constraints: 18357
1014.71/1017.60 c #Conflicts: 397000 | #Constraints: 19357
1014.71/1017.60 c #Conflicts: 398000 | #Constraints: 20357
1014.71/1017.60 c #Conflicts: 399000 | #Constraints: 21357
1014.71/1017.60 c #Conflicts: 400000 | #Constraints: 22357
1014.71/1017.60 c #Conflicts: 401000 | #Constraints: 23357
1014.71/1017.60 c #Conflicts: 402000 | #Constraints: 24357
1014.71/1017.60 c #Conflicts: 403000 | #Constraints: 25357
1014.71/1017.60 c #Conflicts: 404000 | #Constraints: 26357
1014.71/1017.60 c #Conflicts: 405000 | #Constraints: 27357
1014.71/1017.60 c #Conflicts: 406000 | #Constraints: 28357
1014.71/1017.60 c #Conflicts: 407000 | #Constraints: 29357
1014.71/1017.60 c INPROCESSING
1014.71/1017.60 c GARBAGE COLLECT
1014.71/1017.60 c #Conflicts: 408000 | #Constraints: 17738
1014.71/1017.60 c #Conflicts: 409000 | #Constraints: 18738
1014.71/1017.60 c #Conflicts: 410000 | #Constraints: 19738
1014.71/1017.60 c #Conflicts: 411000 | #Constraints: 20738
1014.71/1017.60 c #Conflicts: 412000 | #Constraints: 21738
1014.71/1017.60 c #Conflicts: 413000 | #Constraints: 22738
1014.71/1017.60 c #Conflicts: 414000 | #Constraints: 23738
1014.71/1017.60 c #Conflicts: 415000 | #Constraints: 24738
1014.71/1017.60 c #Conflicts: 416000 | #Constraints: 25738
1014.71/1017.60 c #Conflicts: 417000 | #Constraints: 26738
1014.71/1017.60 c #Conflicts: 418000 | #Constraints: 27738
1014.71/1017.60 c #Conflicts: 419000 | #Constraints: 28738
1014.71/1017.60 c #Conflicts: 420000 | #Constraints: 29738
1014.71/1017.60 c INPROCESSING
1014.71/1017.60 c GARBAGE COLLECT
1014.71/1017.60 c #Conflicts: 421000 | #Constraints: 17930
1014.71/1017.60 c #Conflicts: 422000 | #Constraints: 18930
1014.71/1017.60 c #Conflicts: 423000 | #Constraints: 19930
1014.71/1017.60 c #Conflicts: 424000 | #Constraints: 20930
1014.71/1017.60 c #Conflicts: 425000 | #Constraints: 21930
1014.71/1017.60 c #Conflicts: 426000 | #Constraints: 22930
1014.71/1017.60 c #Conflicts: 427000 | #Constraints: 23930
1014.71/1017.60 c #Conflicts: 428000 | #Constraints: 24930
1014.71/1017.60 c #Conflicts: 429000 | #Constraints: 25930
1014.71/1017.60 c #Conflicts: 430000 | #Constraints: 26930
1014.71/1017.60 c #Conflicts: 431000 | #Constraints: 27930
1014.71/1017.60 c #Conflicts: 432000 | #Constraints: 28930
1014.71/1017.60 c #Conflicts: 433000 | #Constraints: 29930
1014.71/1017.60 c INPROCESSING
1014.71/1017.60 c GARBAGE COLLECT
1014.71/1017.60 c #Conflicts: 434000 | #Constraints: 17932
1014.71/1017.60 c #Conflicts: 435000 | #Constraints: 18932
1014.71/1017.60 c #Conflicts: 436000 | #Constraints: 19932
1014.71/1017.60 c #Conflicts: 437000 | #Constraints: 20932
1321.35/1325.12 c #Conflicts: 438000 | #Constraints: 21932
1321.35/1325.12 c #Conflicts: 439000 | #Constraints: 22932
1321.35/1325.12 c #Conflicts: 440000 | #Constraints: 23932
1321.35/1325.12 c #Conflicts: 441000 | #Constraints: 24932
1321.35/1325.12 c #Conflicts: 442000 | #Constraints: 25932
1321.35/1325.12 c #Conflicts: 443000 | #Constraints: 26932
1321.35/1325.12 c #Conflicts: 444000 | #Constraints: 27932
1321.35/1325.12 c #Conflicts: 445000 | #Constraints: 28932
1321.35/1325.12 c #Conflicts: 446000 | #Constraints: 29932
1321.35/1325.12 c INPROCESSING
1321.35/1325.12 c GARBAGE COLLECT
1321.35/1325.12 c #Conflicts: 447000 | #Constraints: 17752
1321.35/1325.12 c #Conflicts: 448000 | #Constraints: 18752
1321.35/1325.12 c #Conflicts: 449000 | #Constraints: 19752
1321.35/1325.12 c #Conflicts: 450000 | #Constraints: 20752
1321.35/1325.12 c #Conflicts: 451000 | #Constraints: 21752
1321.35/1325.12 c #Conflicts: 452000 | #Constraints: 22752
1321.35/1325.12 c #Conflicts: 453000 | #Constraints: 23752
1321.35/1325.12 c #Conflicts: 454000 | #Constraints: 24752
1321.35/1325.12 c #Conflicts: 455000 | #Constraints: 25752
1321.35/1325.12 c #Conflicts: 456000 | #Constraints: 26752
1321.35/1325.12 c #Conflicts: 457000 | #Constraints: 27752
1321.35/1325.12 c #Conflicts: 458000 | #Constraints: 28752
1321.35/1325.12 c #Conflicts: 459000 | #Constraints: 29752
1321.35/1325.12 c #Conflicts: 460000 | #Constraints: 30752
1321.35/1325.12 c INPROCESSING
1321.35/1325.12 c GARBAGE COLLECT
1321.35/1325.12 c #Conflicts: 461000 | #Constraints: 18365
1321.35/1325.12 c #Conflicts: 462000 | #Constraints: 19365
1321.35/1325.12 c #Conflicts: 463000 | #Constraints: 20365
1321.35/1325.12 c #Conflicts: 464000 | #Constraints: 21365
1321.35/1325.12 c #Conflicts: 465000 | #Constraints: 22365
1321.35/1325.12 c #Conflicts: 466000 | #Constraints: 23365
1321.35/1325.12 c #Conflicts: 467000 | #Constraints: 24365
1321.35/1325.12 c #Conflicts: 468000 | #Constraints: 25365
1321.35/1325.12 c #Conflicts: 469000 | #Constraints: 26365
1321.35/1325.12 c #Conflicts: 470000 | #Constraints: 27365
1321.35/1325.12 c #Conflicts: 471000 | #Constraints: 28365
1321.35/1325.12 c #Conflicts: 472000 | #Constraints: 29365
1321.35/1325.12 c #Conflicts: 473000 | #Constraints: 30365
1321.35/1325.12 c #Conflicts: 474000 | #Constraints: 31365
1321.35/1325.12 c INPROCESSING
1321.35/1325.12 c GARBAGE COLLECT
1321.35/1325.12 c #Conflicts: 475000 | #Constraints: 18758
1321.35/1325.12 c #Conflicts: 476000 | #Constraints: 19758
1321.35/1325.12 c #Conflicts: 477000 | #Constraints: 20758
1321.35/1325.12 c #Conflicts: 478000 | #Constraints: 21758
1321.35/1325.12 c #Conflicts: 479000 | #Constraints: 22758
1321.35/1325.12 c #Conflicts: 480000 | #Constraints: 23758
1321.35/1325.12 c #Conflicts: 481000 | #Constraints: 24758
1321.35/1325.12 c #Conflicts: 482000 | #Constraints: 25758
1321.35/1325.12 c #Conflicts: 483000 | #Constraints: 26758
1321.35/1325.12 c #Conflicts: 484000 | #Constraints: 27758
1321.35/1325.12 c #Conflicts: 485000 | #Constraints: 28758
1321.35/1325.12 c #Conflicts: 486000 | #Constraints: 29758
1321.35/1325.12 c #Conflicts: 487000 | #Constraints: 30758
1321.35/1325.12 c #Conflicts: 488000 | #Constraints: 31758
1321.35/1325.12 c INPROCESSING
1321.35/1325.12 c GARBAGE COLLECT
1321.35/1325.12 c #Conflicts: 489000 | #Constraints: 18969
1321.35/1325.12 c #Conflicts: 490000 | #Constraints: 19969
1321.35/1325.12 c #Conflicts: 491000 | #Constraints: 20969
1321.35/1325.12 c #Conflicts: 492000 | #Constraints: 21969
1321.35/1325.12 c #Conflicts: 493000 | #Constraints: 22969
1321.35/1325.12 c #Conflicts: 494000 | #Constraints: 23969
1321.35/1325.12 c #Conflicts: 495000 | #Constraints: 24969
1321.35/1325.12 c #Conflicts: 496000 | #Constraints: 25969
1321.35/1325.12 c #Conflicts: 497000 | #Constraints: 26969
1321.35/1325.12 c #Conflicts: 498000 | #Constraints: 27969
1321.35/1325.12 c #Conflicts: 499000 | #Constraints: 28969
1321.35/1325.12 c #Conflicts: 500000 | #Constraints: 29969
1321.35/1325.12 c #Conflicts: 501000 | #Constraints: 30969
1321.35/1325.12 c #Conflicts: 502000 | #Constraints: 31969
1321.35/1325.12 c INPROCESSING
1321.35/1325.12 c GARBAGE COLLECT
1321.35/1325.12 c #Conflicts: 503000 | #Constraints: 18969
1321.35/1325.12 c #Conflicts: 504000 | #Constraints: 19969
1321.35/1325.12 c #Conflicts: 505000 | #Constraints: 20969
1321.35/1325.12 c #Conflicts: 506000 | #Constraints: 21969
1321.35/1325.12 c #Conflicts: 507000 | #Constraints: 22969
1321.35/1325.12 c #Conflicts: 508000 | #Constraints: 23969
1321.35/1325.12 c #Conflicts: 509000 | #Constraints: 24969
1321.35/1325.12 c #Conflicts: 510000 | #Constraints: 25969
1321.35/1325.12 c #Conflicts: 511000 | #Constraints: 26969
1321.35/1325.12 c #Conflicts: 512000 | #Constraints: 27969
1471.37/1475.59 c #Conflicts: 513000 | #Constraints: 28969
1471.37/1475.59 c #Conflicts: 514000 | #Constraints: 29969
1471.37/1475.59 c #Conflicts: 515000 | #Constraints: 30969
1471.37/1475.59 c #Conflicts: 516000 | #Constraints: 31969
1471.37/1475.59 c INPROCESSING
1471.37/1475.59 c GARBAGE COLLECT
1471.37/1475.59 c #Conflicts: 517000 | #Constraints: 18776
1471.37/1475.59 c #Conflicts: 518000 | #Constraints: 19776
1471.37/1475.59 c #Conflicts: 519000 | #Constraints: 20776
1471.37/1475.59 c #Conflicts: 520000 | #Constraints: 21776
1471.37/1475.59 c #Conflicts: 521000 | #Constraints: 22776
1471.37/1475.59 c #Conflicts: 522000 | #Constraints: 23776
1471.37/1475.59 c #Conflicts: 523000 | #Constraints: 24776
1471.37/1475.59 c #Conflicts: 524000 | #Constraints: 25776
1471.37/1475.59 c #Conflicts: 525000 | #Constraints: 26776
1471.37/1475.59 c #Conflicts: 526000 | #Constraints: 27776
1471.37/1475.59 c #Conflicts: 527000 | #Constraints: 28776
1471.37/1475.59 c #Conflicts: 528000 | #Constraints: 29776
1471.37/1475.59 c #Conflicts: 529000 | #Constraints: 30776
1471.37/1475.59 c #Conflicts: 530000 | #Constraints: 31776
1471.37/1475.59 c #Conflicts: 531000 | #Constraints: 32776
1471.37/1475.59 c INPROCESSING
1471.37/1475.59 c GARBAGE COLLECT
1471.37/1475.59 c #Conflicts: 532000 | #Constraints: 19374
1471.37/1475.59 c #Conflicts: 533000 | #Constraints: 20374
1471.37/1475.59 c #Conflicts: 534000 | #Constraints: 21374
1471.37/1475.59 c #Conflicts: 535000 | #Constraints: 22374
1471.37/1475.59 c #Conflicts: 536000 | #Constraints: 23374
1471.37/1475.59 c #Conflicts: 537000 | #Constraints: 24374
1471.37/1475.59 c #Conflicts: 538000 | #Constraints: 25374
1471.37/1475.59 c #Conflicts: 539000 | #Constraints: 26374
1471.37/1475.59 c #Conflicts: 540000 | #Constraints: 27374
1471.37/1475.59 c #Conflicts: 541000 | #Constraints: 28374
1471.37/1475.59 c #Conflicts: 542000 | #Constraints: 29374
1471.37/1475.59 c #Conflicts: 543000 | #Constraints: 30374
1471.37/1475.59 c #Conflicts: 544000 | #Constraints: 31374
1471.37/1475.59 c #Conflicts: 545000 | #Constraints: 32374
1471.37/1475.59 c #Conflicts: 546000 | #Constraints: 33374
1471.37/1475.59 c INPROCESSING
1471.37/1475.59 c GARBAGE COLLECT
1471.37/1475.59 c #Conflicts: 547000 | #Constraints: 19756
1471.37/1475.59 c #Conflicts: 548000 | #Constraints: 20756
1471.37/1475.59 c #Conflicts: 549000 | #Constraints: 21756
1471.37/1475.59 c #Conflicts: 550000 | #Constraints: 22756
1471.37/1475.59 c #Conflicts: 551000 | #Constraints: 23756
1471.37/1475.59 c #Conflicts: 552000 | #Constraints: 24756
1471.37/1475.59 c #Conflicts: 553000 | #Constraints: 25756
1471.37/1475.59 c #Conflicts: 554000 | #Constraints: 26756
1471.37/1475.59 c #Conflicts: 555000 | #Constraints: 27756
1471.37/1475.59 c #Conflicts: 556000 | #Constraints: 28756
1471.37/1475.59 c #Conflicts: 557000 | #Constraints: 29756
1471.37/1475.59 c #Conflicts: 558000 | #Constraints: 30756
1471.37/1475.59 c #Conflicts: 559000 | #Constraints: 31756
1471.37/1475.59 c #Conflicts: 560000 | #Constraints: 32756
1471.37/1475.59 c #Conflicts: 561000 | #Constraints: 33756
1471.37/1475.59 c INPROCESSING
1471.37/1475.59 c GARBAGE COLLECT
1471.37/1475.59 c #Conflicts: 562000 | #Constraints: 19964
1471.37/1475.59 c #Conflicts: 563000 | #Constraints: 20964
1471.37/1475.59 c #Conflicts: 564000 | #Constraints: 21964
1471.37/1475.59 c #Conflicts: 565000 | #Constraints: 22964
1471.37/1475.59 c #Conflicts: 566000 | #Constraints: 23964
1471.37/1475.59 c #Conflicts: 567000 | #Constraints: 24964
1471.37/1475.59 c #Conflicts: 568000 | #Constraints: 25964
1471.37/1475.59 c #Conflicts: 569000 | #Constraints: 26964
1471.37/1475.59 c #Conflicts: 570000 | #Constraints: 27964
1471.37/1475.59 c #Conflicts: 571000 | #Constraints: 28964
1471.37/1475.59 c #Conflicts: 572000 | #Constraints: 29964
1471.37/1475.59 c #Conflicts: 573000 | #Constraints: 30964
1471.37/1475.59 c #Conflicts: 574000 | #Constraints: 31964
1471.37/1475.59 c #Conflicts: 575000 | #Constraints: 32964
1471.37/1475.59 c #Conflicts: 576000 | #Constraints: 33964
1471.37/1475.59 c INPROCESSING
1471.37/1475.59 c GARBAGE COLLECT
1471.37/1475.59 c #Conflicts: 577000 | #Constraints: 19980
1471.37/1475.59 c #Conflicts: 578000 | #Constraints: 20980
1471.37/1475.59 c #Conflicts: 579000 | #Constraints: 21980
1471.37/1475.59 c #Conflicts: 580000 | #Constraints: 22980
1471.37/1475.59 c #Conflicts: 581000 | #Constraints: 23980
1471.37/1475.59 c #Conflicts: 582000 | #Constraints: 24980
1471.37/1475.59 c #Conflicts: 583000 | #Constraints: 25980
1471.37/1475.59 c #Conflicts: 584000 | #Constraints: 26980
1471.37/1475.59 c #Conflicts: 585000 | #Constraints: 27980
1471.37/1475.59 c #Conflicts: 586000 | #Constraints: 28980
1471.37/1475.59 c #Conflicts: 587000 | #Constraints: 29980
1471.37/1475.59 c #Conflicts: 588000 | #Constraints: 30980
1653.73/1658.36 c #Conflicts: 589000 | #Constraints: 31980
1653.73/1658.36 c #Conflicts: 590000 | #Constraints: 32980
1653.73/1658.36 c #Conflicts: 591000 | #Constraints: 33980
1653.73/1658.36 c INPROCESSING
1653.73/1658.36 c GARBAGE COLLECT
1653.73/1658.36 c #Conflicts: 592000 | #Constraints: 19752
1653.73/1658.36 c #Conflicts: 593000 | #Constraints: 20752
1653.73/1658.36 c #Conflicts: 594000 | #Constraints: 21752
1653.73/1658.36 c #Conflicts: 595000 | #Constraints: 22752
1653.73/1658.36 c #Conflicts: 596000 | #Constraints: 23752
1653.73/1658.36 c #Conflicts: 597000 | #Constraints: 24752
1653.73/1658.36 c #Conflicts: 598000 | #Constraints: 25752
1653.73/1658.36 c #Conflicts: 599000 | #Constraints: 26752
1653.73/1658.36 c #Conflicts: 600000 | #Constraints: 27752
1653.73/1658.36 c #Conflicts: 601000 | #Constraints: 28752
1653.73/1658.36 c #Conflicts: 602000 | #Constraints: 29752
1653.73/1658.36 c #Conflicts: 603000 | #Constraints: 30752
1653.73/1658.36 c #Conflicts: 604000 | #Constraints: 31752
1653.73/1658.36 c #Conflicts: 605000 | #Constraints: 32752
1653.73/1658.36 c #Conflicts: 606000 | #Constraints: 33752
1653.73/1658.36 c #Conflicts: 607000 | #Constraints: 34752
1653.73/1658.36 c INPROCESSING
1653.73/1658.36 c GARBAGE COLLECT
1653.73/1658.36 c #Conflicts: 608000 | #Constraints: 20350
1653.73/1658.36 c #Conflicts: 609000 | #Constraints: 21350
1653.73/1658.36 c #Conflicts: 610000 | #Constraints: 22350
1653.73/1658.36 c #Conflicts: 611000 | #Constraints: 23350
1653.73/1658.36 c #Conflicts: 612000 | #Constraints: 24350
1653.73/1658.36 c #Conflicts: 613000 | #Constraints: 25350
1653.73/1658.36 c #Conflicts: 614000 | #Constraints: 26350
1653.73/1658.36 c #Conflicts: 615000 | #Constraints: 27350
1653.73/1658.36 c #Conflicts: 616000 | #Constraints: 28350
1653.73/1658.36 c #Conflicts: 617000 | #Constraints: 29350
1653.73/1658.36 c #Conflicts: 618000 | #Constraints: 30350
1653.73/1658.36 c #Conflicts: 619000 | #Constraints: 31350
1653.73/1658.36 c #Conflicts: 620000 | #Constraints: 32350
1653.73/1658.36 c #Conflicts: 621000 | #Constraints: 33350
1653.73/1658.36 c #Conflicts: 622000 | #Constraints: 34350
1653.73/1658.36 c #Conflicts: 623000 | #Constraints: 35350
1653.73/1658.36 c INPROCESSING
1653.73/1658.36 c GARBAGE COLLECT
1653.73/1658.36 c #Conflicts: 624000 | #Constraints: 20739
1653.73/1658.36 c #Conflicts: 625000 | #Constraints: 21739
1653.73/1658.36 c #Conflicts: 626000 | #Constraints: 22739
1653.73/1658.36 c #Conflicts: 627000 | #Constraints: 23739
1653.73/1658.36 c #Conflicts: 628000 | #Constraints: 24739
1653.73/1658.36 c #Conflicts: 629000 | #Constraints: 25739
1653.73/1658.36 c #Conflicts: 630000 | #Constraints: 26739
1653.73/1658.36 c #Conflicts: 631000 | #Constraints: 27739
1653.73/1658.36 c #Conflicts: 632000 | #Constraints: 28739
1653.73/1658.36 c #Conflicts: 633000 | #Constraints: 29739
1653.73/1658.36 c #Conflicts: 634000 | #Constraints: 30739
1653.73/1658.36 c #Conflicts: 635000 | #Constraints: 31739
1653.73/1658.36 c #Conflicts: 636000 | #Constraints: 32739
1653.73/1658.36 c #Conflicts: 637000 | #Constraints: 33739
1653.73/1658.36 c #Conflicts: 638000 | #Constraints: 34739
1653.73/1658.36 c #Conflicts: 639000 | #Constraints: 35739
1653.73/1658.36 c INPROCESSING
1653.73/1658.36 c GARBAGE COLLECT
1653.73/1658.36 c #Conflicts: 640000 | #Constraints: 20965
1653.73/1658.36 c #Conflicts: 641000 | #Constraints: 21965
1653.73/1658.36 c #Conflicts: 642000 | #Constraints: 22965
1653.73/1658.36 c #Conflicts: 643000 | #Constraints: 23965
1653.73/1658.36 c #Conflicts: 644000 | #Constraints: 24965
1653.73/1658.36 c #Conflicts: 645000 | #Constraints: 25965
1653.73/1658.36 c #Conflicts: 646000 | #Constraints: 26965
1653.73/1658.36 c #Conflicts: 647000 | #Constraints: 27965
1653.73/1658.36 c #Conflicts: 648000 | #Constraints: 28965
1653.73/1658.36 c #Conflicts: 649000 | #Constraints: 29965
1653.73/1658.36 c #Conflicts: 650000 | #Constraints: 30965
1653.73/1658.36 c #Conflicts: 651000 | #Constraints: 31965
1653.73/1658.36 c #Conflicts: 652000 | #Constraints: 32965
1653.73/1658.36 c #Conflicts: 653000 | #Constraints: 33965
1653.73/1658.36 c #Conflicts: 654000 | #Constraints: 34965
1653.73/1658.36 c #Conflicts: 655000 | #Constraints: 35965
1653.73/1658.36 c INPROCESSING
1653.73/1658.36 c GARBAGE COLLECT
1653.73/1658.36 c #Conflicts: 656000 | #Constraints: 20958
1653.73/1658.36 c #Conflicts: 657000 | #Constraints: 21958
1653.73/1658.36 c #Conflicts: 658000 | #Constraints: 22958
1653.73/1658.36 c #Conflicts: 659000 | #Constraints: 23958
1653.73/1658.36 c #Conflicts: 660000 | #Constraints: 24958
1653.73/1658.36 c #Conflicts: 661000 | #Constraints: 25958
1653.73/1658.36 c #Conflicts: 662000 | #Constraints: 26958
1653.73/1658.36 c #Conflicts: 663000 | #Constraints: 27958
1653.73/1658.36 c #Conflicts: 664000 | #Constraints: 28958
1811.18/1816.12 c #Conflicts: 665000 | #Constraints: 29958
1811.18/1816.12 c #Conflicts: 666000 | #Constraints: 30958
1811.18/1816.12 c #Conflicts: 667000 | #Constraints: 31958
1811.18/1816.12 c #Conflicts: 668000 | #Constraints: 32958
1811.18/1816.12 c #Conflicts: 669000 | #Constraints: 33958
1811.18/1816.12 c #Conflicts: 670000 | #Constraints: 34958
1811.18/1816.12 c #Conflicts: 671000 | #Constraints: 35958
1811.18/1816.12 c INPROCESSING
1811.18/1816.12 c GARBAGE COLLECT
1811.18/1816.12 c #Conflicts: 672000 | #Constraints: 20751
1811.18/1816.12 c #Conflicts: 673000 | #Constraints: 21751
1811.18/1816.12 c #Conflicts: 674000 | #Constraints: 22751
1811.18/1816.12 c #Conflicts: 675000 | #Constraints: 23751
1811.18/1816.12 c #Conflicts: 676000 | #Constraints: 24751
1811.18/1816.12 c #Conflicts: 677000 | #Constraints: 25751
1811.18/1816.12 c #Conflicts: 678000 | #Constraints: 26751
1811.18/1816.12 c #Conflicts: 679000 | #Constraints: 27751
1811.18/1816.12 c #Conflicts: 680000 | #Constraints: 28751
1811.18/1816.12 c #Conflicts: 681000 | #Constraints: 29751
1811.18/1816.12 c #Conflicts: 682000 | #Constraints: 30751
1811.18/1816.12 c #Conflicts: 683000 | #Constraints: 31751
1811.18/1816.12 c #Conflicts: 684000 | #Constraints: 32751
1811.18/1816.12 c #Conflicts: 685000 | #Constraints: 33751
1811.18/1816.12 c #Conflicts: 686000 | #Constraints: 34751
1811.18/1816.12 c #Conflicts: 687000 | #Constraints: 35751
1811.18/1816.12 c #Conflicts: 688000 | #Constraints: 36751
1811.18/1816.12 c INPROCESSING
1811.18/1816.12 c GARBAGE COLLECT
1811.18/1816.12 c #Conflicts: 689000 | #Constraints: 21349
1811.18/1816.12 c #Conflicts: 690000 | #Constraints: 22349
1811.18/1816.12 c #Conflicts: 691000 | #Constraints: 23349
1811.18/1816.12 c #Conflicts: 692000 | #Constraints: 24349
1811.18/1816.12 c #Conflicts: 693000 | #Constraints: 25349
1811.18/1816.12 c #Conflicts: 694000 | #Constraints: 26349
1811.18/1816.12 c #Conflicts: 695000 | #Constraints: 27349
1811.18/1816.12 c #Conflicts: 696000 | #Constraints: 28349
1811.18/1816.12 c #Conflicts: 697000 | #Constraints: 29349
1811.18/1816.12 c #Conflicts: 698000 | #Constraints: 30349
1811.18/1816.12 c #Conflicts: 699000 | #Constraints: 31349
1811.18/1816.12 c #Conflicts: 700000 | #Constraints: 32349
1811.18/1816.12 c #Conflicts: 701000 | #Constraints: 33349
1811.18/1816.12 c #Conflicts: 702000 | #Constraints: 34349
1811.18/1816.12 c #Conflicts: 703000 | #Constraints: 35349
1811.18/1816.12 c #Conflicts: 704000 | #Constraints: 36349
1811.18/1816.12 c #Conflicts: 705000 | #Constraints: 37349
1811.18/1816.12 c INPROCESSING
1811.18/1816.12 c GARBAGE COLLECT
1811.18/1816.12 c #Conflicts: 706000 | #Constraints: 21754
1811.18/1816.12 c #Conflicts: 707000 | #Constraints: 22754
1811.18/1816.12 c #Conflicts: 708000 | #Constraints: 23754
1811.18/1816.12 c #Conflicts: 709000 | #Constraints: 24754
1811.18/1816.12 c #Conflicts: 710000 | #Constraints: 25754
1811.18/1816.12 c #Conflicts: 711000 | #Constraints: 26754
1811.18/1816.12 c #Conflicts: 712000 | #Constraints: 27754
1811.18/1816.12 c #Conflicts: 713000 | #Constraints: 28754
1811.18/1816.12 c #Conflicts: 714000 | #Constraints: 29754
1811.18/1816.12 c #Conflicts: 715000 | #Constraints: 30754
1811.18/1816.12 c #Conflicts: 716000 | #Constraints: 31754
1811.18/1816.12 c #Conflicts: 717000 | #Constraints: 32754
1811.18/1816.12 c #Conflicts: 718000 | #Constraints: 33754
1811.18/1816.12 c #Conflicts: 719000 | #Constraints: 34754
1811.18/1816.12 c #Conflicts: 720000 | #Constraints: 35754
1811.18/1816.12 c #Conflicts: 721000 | #Constraints: 36754
1811.18/1816.12 c #Conflicts: 722000 | #Constraints: 37754
1811.18/1816.12 c INPROCESSING
1811.18/1816.12 c GARBAGE COLLECT
1811.18/1816.12 c #Conflicts: 723000 | #Constraints: 21948
1811.18/1816.12 c #Conflicts: 724000 | #Constraints: 22948
1811.18/1816.12 c #Conflicts: 725000 | #Constraints: 23948
1811.18/1816.12 c #Conflicts: 726000 | #Constraints: 24948
1811.18/1816.12 c #Conflicts: 727000 | #Constraints: 25948
1811.18/1816.12 c #Conflicts: 728000 | #Constraints: 26948
1811.18/1816.12 c #Conflicts: 729000 | #Constraints: 27948
1811.18/1816.12 c #Conflicts: 730000 | #Constraints: 28948
1811.18/1816.12 c #Conflicts: 731000 | #Constraints: 29948
1811.18/1816.12 c #Conflicts: 732000 | #Constraints: 30948
1811.18/1816.12 c #Conflicts: 733000 | #Constraints: 31948
1811.18/1816.12 c #Conflicts: 734000 | #Constraints: 32948
1811.18/1816.12 c #Conflicts: 735000 | #Constraints: 33948
1811.18/1816.12 c #Conflicts: 736000 | #Constraints: 34948
1811.18/1816.12 c #Conflicts: 737000 | #Constraints: 35948
1811.18/1816.12 c #Conflicts: 738000 | #Constraints: 36948
1811.18/1816.12 c #Conflicts: 739000 | #Constraints: 37948
1811.18/1816.12 c INPROCESSING
1811.18/1816.12 c GARBAGE COLLECT
2049.00/2054.51 c #Conflicts: 740000 | #Constraints: 21947
2049.00/2054.51 c #Conflicts: 741000 | #Constraints: 22947
2049.00/2054.51 c #Conflicts: 742000 | #Constraints: 23947
2049.00/2054.51 c #Conflicts: 743000 | #Constraints: 24947
2049.00/2054.51 c #Conflicts: 744000 | #Constraints: 25947
2049.00/2054.51 c #Conflicts: 745000 | #Constraints: 26947
2049.00/2054.51 c #Conflicts: 746000 | #Constraints: 27947
2049.00/2054.51 c #Conflicts: 747000 | #Constraints: 28947
2049.00/2054.51 c #Conflicts: 748000 | #Constraints: 29947
2049.00/2054.51 c #Conflicts: 749000 | #Constraints: 30947
2049.00/2054.51 c #Conflicts: 750000 | #Constraints: 31947
2049.00/2054.51 c #Conflicts: 751000 | #Constraints: 32947
2049.00/2054.51 c #Conflicts: 752000 | #Constraints: 33947
2049.00/2054.51 c #Conflicts: 753000 | #Constraints: 34947
2049.00/2054.51 c #Conflicts: 754000 | #Constraints: 35947
2049.00/2054.51 c #Conflicts: 755000 | #Constraints: 36947
2049.00/2054.51 c #Conflicts: 756000 | #Constraints: 37947
2049.00/2054.51 c INPROCESSING
2049.00/2054.51 c GARBAGE COLLECT
2049.00/2054.51 c #Conflicts: 757000 | #Constraints: 21746
2049.00/2054.51 c #Conflicts: 758000 | #Constraints: 22746
2049.00/2054.51 c #Conflicts: 759000 | #Constraints: 23746
2049.00/2054.51 c #Conflicts: 760000 | #Constraints: 24746
2049.00/2054.51 c #Conflicts: 761000 | #Constraints: 25746
2049.00/2054.51 c #Conflicts: 762000 | #Constraints: 26746
2049.00/2054.51 c #Conflicts: 763000 | #Constraints: 27746
2049.00/2054.51 c #Conflicts: 764000 | #Constraints: 28746
2049.00/2054.51 c #Conflicts: 765000 | #Constraints: 29746
2049.00/2054.51 c #Conflicts: 766000 | #Constraints: 30746
2049.00/2054.51 c #Conflicts: 767000 | #Constraints: 31746
2049.00/2054.51 c #Conflicts: 768000 | #Constraints: 32746
2049.00/2054.51 c #Conflicts: 769000 | #Constraints: 33746
2049.00/2054.51 c #Conflicts: 770000 | #Constraints: 34746
2049.00/2054.51 c #Conflicts: 771000 | #Constraints: 35746
2049.00/2054.51 c #Conflicts: 772000 | #Constraints: 36746
2049.00/2054.51 c #Conflicts: 773000 | #Constraints: 37746
2049.00/2054.51 c #Conflicts: 774000 | #Constraints: 38746
2049.00/2054.51 c INPROCESSING
2049.00/2054.51 c GARBAGE COLLECT
2049.00/2054.51 c #Conflicts: 775000 | #Constraints: 22346
2049.00/2054.51 c #Conflicts: 776000 | #Constraints: 23346
2049.00/2054.51 c #Conflicts: 777000 | #Constraints: 24346
2049.00/2054.51 c #Conflicts: 778000 | #Constraints: 25346
2049.00/2054.51 c #Conflicts: 779000 | #Constraints: 26346
2049.00/2054.51 c #Conflicts: 780000 | #Constraints: 27346
2049.00/2054.51 c #Conflicts: 781000 | #Constraints: 28346
2049.00/2054.51 c #Conflicts: 782000 | #Constraints: 29346
2049.00/2054.51 c #Conflicts: 783000 | #Constraints: 30346
2049.00/2054.51 c #Conflicts: 784000 | #Constraints: 31346
2049.00/2054.51 c #Conflicts: 785000 | #Constraints: 32346
2049.00/2054.51 c #Conflicts: 786000 | #Constraints: 33346
2049.00/2054.51 c #Conflicts: 787000 | #Constraints: 34346
2049.00/2054.51 c #Conflicts: 788000 | #Constraints: 35346
2049.00/2054.51 c #Conflicts: 789000 | #Constraints: 36346
2049.00/2054.51 c #Conflicts: 790000 | #Constraints: 37346
2049.00/2054.51 c #Conflicts: 791000 | #Constraints: 38346
2049.00/2054.51 c #Conflicts: 792000 | #Constraints: 39346
2049.00/2054.51 c INPROCESSING
2049.00/2054.51 c GARBAGE COLLECT
2049.00/2054.51 c #Conflicts: 793000 | #Constraints: 22754
2049.00/2054.51 c #Conflicts: 794000 | #Constraints: 23754
2049.00/2054.51 c #Conflicts: 795000 | #Constraints: 24754
2049.00/2054.51 c #Conflicts: 796000 | #Constraints: 25754
2049.00/2054.51 c #Conflicts: 797000 | #Constraints: 26754
2049.00/2054.51 c #Conflicts: 798000 | #Constraints: 27754
2049.00/2054.51 c #Conflicts: 799000 | #Constraints: 28754
2049.00/2054.51 c #Conflicts: 800000 | #Constraints: 29754
2049.00/2054.51 c #Conflicts: 801000 | #Constraints: 30754
2049.00/2054.51 c #Conflicts: 802000 | #Constraints: 31754
2049.00/2054.51 c #Conflicts: 803000 | #Constraints: 32754
2049.00/2054.51 c #Conflicts: 804000 | #Constraints: 33754
2049.00/2054.51 c #Conflicts: 805000 | #Constraints: 34754
2049.00/2054.51 c #Conflicts: 806000 | #Constraints: 35754
2049.00/2054.51 c #Conflicts: 807000 | #Constraints: 36754
2049.00/2054.51 c #Conflicts: 808000 | #Constraints: 37754
2049.00/2054.51 c #Conflicts: 809000 | #Constraints: 38754
2049.00/2054.51 c #Conflicts: 810000 | #Constraints: 39754
2049.00/2054.51 c INPROCESSING
2049.00/2054.51 c GARBAGE COLLECT
2049.00/2054.51 c #Conflicts: 811000 | #Constraints: 22948
2049.00/2054.51 c #Conflicts: 812000 | #Constraints: 23948
2049.00/2054.51 c #Conflicts: 813000 | #Constraints: 24948
2049.00/2054.51 c #Conflicts: 814000 | #Constraints: 25948
2049.00/2054.51 c #Conflicts: 815000 | #Constraints: 26948
2231.08/2237.06 c #Conflicts: 816000 | #Constraints: 27948
2231.08/2237.06 c #Conflicts: 817000 | #Constraints: 28948
2231.08/2237.06 c #Conflicts: 818000 | #Constraints: 29948
2231.08/2237.06 c #Conflicts: 819000 | #Constraints: 30948
2231.08/2237.06 c #Conflicts: 820000 | #Constraints: 31948
2231.08/2237.06 c #Conflicts: 821000 | #Constraints: 32948
2231.08/2237.06 c #Conflicts: 822000 | #Constraints: 33948
2231.08/2237.06 c #Conflicts: 823000 | #Constraints: 34948
2231.08/2237.06 c #Conflicts: 824000 | #Constraints: 35948
2231.08/2237.06 c #Conflicts: 825000 | #Constraints: 36948
2231.08/2237.06 c #Conflicts: 826000 | #Constraints: 37948
2231.08/2237.06 c #Conflicts: 827000 | #Constraints: 38948
2231.08/2237.06 c #Conflicts: 828000 | #Constraints: 39948
2231.08/2237.06 c INPROCESSING
2231.08/2237.06 c GARBAGE COLLECT
2231.08/2237.06 c #Conflicts: 829000 | #Constraints: 22943
2231.08/2237.06 c #Conflicts: 830000 | #Constraints: 23943
2231.08/2237.06 c #Conflicts: 831000 | #Constraints: 24943
2231.08/2237.06 c #Conflicts: 832000 | #Constraints: 25943
2231.08/2237.06 c #Conflicts: 833000 | #Constraints: 26943
2231.08/2237.06 c #Conflicts: 834000 | #Constraints: 27943
2231.08/2237.06 c #Conflicts: 835000 | #Constraints: 28943
2231.08/2237.06 c #Conflicts: 836000 | #Constraints: 29943
2231.08/2237.06 c #Conflicts: 837000 | #Constraints: 30943
2231.08/2237.06 c #Conflicts: 838000 | #Constraints: 31943
2231.08/2237.06 c #Conflicts: 839000 | #Constraints: 32943
2231.08/2237.06 c #Conflicts: 840000 | #Constraints: 33943
2231.08/2237.06 c #Conflicts: 841000 | #Constraints: 34943
2231.08/2237.06 c #Conflicts: 842000 | #Constraints: 35943
2231.08/2237.06 c #Conflicts: 843000 | #Constraints: 36943
2231.08/2237.06 c #Conflicts: 844000 | #Constraints: 37943
2231.08/2237.06 c #Conflicts: 845000 | #Constraints: 38943
2231.08/2237.06 c #Conflicts: 846000 | #Constraints: 39943
2231.08/2237.06 c INPROCESSING
2231.08/2237.06 c GARBAGE COLLECT
2231.08/2237.06 c #Conflicts: 847000 | #Constraints: 22746
2231.08/2237.06 c #Conflicts: 848000 | #Constraints: 23746
2231.08/2237.06 c #Conflicts: 849000 | #Constraints: 24746
2231.08/2237.06 c #Conflicts: 850000 | #Constraints: 25746
2231.08/2237.06 c #Conflicts: 851000 | #Constraints: 26746
2231.08/2237.06 c #Conflicts: 852000 | #Constraints: 27746
2231.08/2237.06 c #Conflicts: 853000 | #Constraints: 28746
2231.08/2237.06 c #Conflicts: 854000 | #Constraints: 29746
2231.08/2237.06 c #Conflicts: 855000 | #Constraints: 30746
2231.08/2237.06 c #Conflicts: 856000 | #Constraints: 31746
2231.08/2237.06 c #Conflicts: 857000 | #Constraints: 32746
2231.08/2237.06 c #Conflicts: 858000 | #Constraints: 33746
2231.08/2237.06 c #Conflicts: 859000 | #Constraints: 34746
2231.08/2237.06 c #Conflicts: 860000 | #Constraints: 35746
2231.08/2237.06 c #Conflicts: 861000 | #Constraints: 36746
2231.08/2237.06 c #Conflicts: 862000 | #Constraints: 37746
2231.08/2237.06 c #Conflicts: 863000 | #Constraints: 38746
2231.08/2237.06 c #Conflicts: 864000 | #Constraints: 39746
2231.08/2237.06 c #Conflicts: 865000 | #Constraints: 40746
2231.08/2237.06 c INPROCESSING
2231.08/2237.06 c GARBAGE COLLECT
2231.08/2237.06 c #Conflicts: 866000 | #Constraints: 23372
2231.08/2237.06 c #Conflicts: 867000 | #Constraints: 24372
2231.08/2237.06 c #Conflicts: 868000 | #Constraints: 25372
2231.08/2237.06 c #Conflicts: 869000 | #Constraints: 26372
2231.08/2237.06 c #Conflicts: 870000 | #Constraints: 27372
2231.08/2237.06 c #Conflicts: 871000 | #Constraints: 28372
2231.08/2237.06 c #Conflicts: 872000 | #Constraints: 29372
2231.08/2237.06 c #Conflicts: 873000 | #Constraints: 30372
2231.08/2237.06 c #Conflicts: 874000 | #Constraints: 31372
2231.08/2237.06 c #Conflicts: 875000 | #Constraints: 32372
2231.08/2237.06 c #Conflicts: 876000 | #Constraints: 33372
2231.08/2237.06 c #Conflicts: 877000 | #Constraints: 34372
2231.08/2237.06 c #Conflicts: 878000 | #Constraints: 35372
2231.08/2237.06 c #Conflicts: 879000 | #Constraints: 36372
2231.08/2237.06 c #Conflicts: 880000 | #Constraints: 37372
2231.08/2237.06 c #Conflicts: 881000 | #Constraints: 38372
2231.08/2237.06 c #Conflicts: 882000 | #Constraints: 39372
2231.08/2237.06 c #Conflicts: 883000 | #Constraints: 40372
2231.08/2237.06 c #Conflicts: 884000 | #Constraints: 41372
2231.08/2237.06 c INPROCESSING
2231.08/2237.06 c GARBAGE COLLECT
2231.08/2237.06 c #Conflicts: 885000 | #Constraints: 23744
2231.08/2237.06 c #Conflicts: 886000 | #Constraints: 24744
2231.08/2237.06 c #Conflicts: 887000 | #Constraints: 25744
2231.08/2237.06 c #Conflicts: 888000 | #Constraints: 26744
2231.08/2237.06 c #Conflicts: 889000 | #Constraints: 27744
2231.08/2237.06 c #Conflicts: 890000 | #Constraints: 28744
2231.08/2237.06 c #Conflicts: 891000 | #Constraints: 29744
2231.08/2237.06 c #Conflicts: 892000 | #Constraints: 30744
2435.47/2441.92 c #Conflicts: 893000 | #Constraints: 31744
2435.47/2441.92 c #Conflicts: 894000 | #Constraints: 32744
2435.47/2441.92 c #Conflicts: 895000 | #Constraints: 33744
2435.47/2441.92 c #Conflicts: 896000 | #Constraints: 34744
2435.47/2441.92 c #Conflicts: 897000 | #Constraints: 35744
2435.47/2441.92 c #Conflicts: 898000 | #Constraints: 36744
2435.47/2441.92 c #Conflicts: 899000 | #Constraints: 37744
2435.47/2441.92 c #Conflicts: 900000 | #Constraints: 38744
2435.47/2441.92 c #Conflicts: 901000 | #Constraints: 39744
2435.47/2441.92 c #Conflicts: 902000 | #Constraints: 40744
2435.47/2441.92 c #Conflicts: 903000 | #Constraints: 41744
2435.47/2441.92 c INPROCESSING
2435.47/2441.92 c GARBAGE COLLECT
2435.47/2441.92 c #Conflicts: 904000 | #Constraints: 23939
2435.47/2441.92 c #Conflicts: 905000 | #Constraints: 24939
2435.47/2441.92 c #Conflicts: 906000 | #Constraints: 25939
2435.47/2441.92 c #Conflicts: 907000 | #Constraints: 26939
2435.47/2441.92 c #Conflicts: 908000 | #Constraints: 27939
2435.47/2441.92 c #Conflicts: 909000 | #Constraints: 28939
2435.47/2441.92 c #Conflicts: 910000 | #Constraints: 29939
2435.47/2441.92 c #Conflicts: 911000 | #Constraints: 30939
2435.47/2441.92 c #Conflicts: 912000 | #Constraints: 31939
2435.47/2441.92 c #Conflicts: 913000 | #Constraints: 32939
2435.47/2441.92 c #Conflicts: 914000 | #Constraints: 33939
2435.47/2441.92 c #Conflicts: 915000 | #Constraints: 34939
2435.47/2441.92 c #Conflicts: 916000 | #Constraints: 35939
2435.47/2441.92 c #Conflicts: 917000 | #Constraints: 36939
2435.47/2441.92 c #Conflicts: 918000 | #Constraints: 37939
2435.47/2441.92 c #Conflicts: 919000 | #Constraints: 38939
2435.47/2441.92 c #Conflicts: 920000 | #Constraints: 39939
2435.47/2441.92 c #Conflicts: 921000 | #Constraints: 40939
2435.47/2441.92 c #Conflicts: 922000 | #Constraints: 41939
2435.47/2441.92 c INPROCESSING
2435.47/2441.92 c GARBAGE COLLECT
2435.47/2441.92 c #Conflicts: 923000 | #Constraints: 23926
2435.47/2441.92 c #Conflicts: 924000 | #Constraints: 24926
2435.47/2441.92 c #Conflicts: 925000 | #Constraints: 25926
2435.47/2441.92 c #Conflicts: 926000 | #Constraints: 26926
2435.47/2441.92 c #Conflicts: 927000 | #Constraints: 27926
2435.47/2441.92 c #Conflicts: 928000 | #Constraints: 28926
2435.47/2441.92 c #Conflicts: 929000 | #Constraints: 29926
2435.47/2441.92 c #Conflicts: 930000 | #Constraints: 30926
2435.47/2441.92 c #Conflicts: 931000 | #Constraints: 31926
2435.47/2441.92 c #Conflicts: 932000 | #Constraints: 32926
2435.47/2441.92 c #Conflicts: 933000 | #Constraints: 33926
2435.47/2441.92 c #Conflicts: 934000 | #Constraints: 34926
2435.47/2441.92 c #Conflicts: 935000 | #Constraints: 35926
2435.47/2441.92 c #Conflicts: 936000 | #Constraints: 36926
2435.47/2441.92 c #Conflicts: 937000 | #Constraints: 37926
2435.47/2441.92 c #Conflicts: 938000 | #Constraints: 38926
2435.47/2441.92 c #Conflicts: 939000 | #Constraints: 39926
2435.47/2441.92 c #Conflicts: 940000 | #Constraints: 40926
2435.47/2441.92 c #Conflicts: 941000 | #Constraints: 41926
2435.47/2441.92 c INPROCESSING
2435.47/2441.92 c GARBAGE COLLECT
2435.47/2441.92 c #Conflicts: 942000 | #Constraints: 23753
2435.47/2441.92 c #Conflicts: 943000 | #Constraints: 24753
2435.47/2441.92 c #Conflicts: 944000 | #Constraints: 25753
2435.47/2441.92 c #Conflicts: 945000 | #Constraints: 26753
2435.47/2441.92 c #Conflicts: 946000 | #Constraints: 27753
2435.47/2441.92 c #Conflicts: 947000 | #Constraints: 28753
2435.47/2441.92 c #Conflicts: 948000 | #Constraints: 29753
2435.47/2441.92 c #Conflicts: 949000 | #Constraints: 30753
2435.47/2441.92 c #Conflicts: 950000 | #Constraints: 31753
2435.47/2441.92 c #Conflicts: 951000 | #Constraints: 32753
2435.47/2441.92 c #Conflicts: 952000 | #Constraints: 33753
2435.47/2441.92 c #Conflicts: 953000 | #Constraints: 34753
2435.47/2441.92 c #Conflicts: 954000 | #Constraints: 35753
2435.47/2441.92 c #Conflicts: 955000 | #Constraints: 36753
2435.47/2441.92 c #Conflicts: 956000 | #Constraints: 37753
2435.47/2441.92 c #Conflicts: 957000 | #Constraints: 38753
2435.47/2441.92 c #Conflicts: 958000 | #Constraints: 39753
2435.47/2441.92 c #Conflicts: 959000 | #Constraints: 40753
2435.47/2441.92 c #Conflicts: 960000 | #Constraints: 41753
2435.47/2441.92 c #Conflicts: 961000 | #Constraints: 42753
2435.47/2441.92 c INPROCESSING
2435.47/2441.92 c GARBAGE COLLECT
2435.47/2441.92 c #Conflicts: 962000 | #Constraints: 24356
2435.47/2441.92 c #Conflicts: 963000 | #Constraints: 25356
2435.47/2441.92 c #Conflicts: 964000 | #Constraints: 26356
2435.47/2441.92 c #Conflicts: 965000 | #Constraints: 27356
2435.47/2441.92 c #Conflicts: 966000 | #Constraints: 28356
2435.47/2441.92 c #Conflicts: 967000 | #Constraints: 29356
2435.47/2441.92 c #Conflicts: 968000 | #Constraints: 30356
2614.53/2621.42 c #Conflicts: 969000 | #Constraints: 31356
2614.53/2621.42 c #Conflicts: 970000 | #Constraints: 32356
2614.53/2621.42 c #Conflicts: 971000 | #Constraints: 33356
2614.53/2621.42 c #Conflicts: 972000 | #Constraints: 34356
2614.53/2621.42 c #Conflicts: 973000 | #Constraints: 35356
2614.53/2621.42 c #Conflicts: 974000 | #Constraints: 36356
2614.53/2621.42 c #Conflicts: 975000 | #Constraints: 37356
2614.53/2621.42 c #Conflicts: 976000 | #Constraints: 38356
2614.53/2621.42 c #Conflicts: 977000 | #Constraints: 39356
2614.53/2621.42 c #Conflicts: 978000 | #Constraints: 40356
2614.53/2621.42 c #Conflicts: 979000 | #Constraints: 41356
2614.53/2621.42 c #Conflicts: 980000 | #Constraints: 42356
2614.53/2621.42 c #Conflicts: 981000 | #Constraints: 43356
2614.53/2621.42 c INPROCESSING
2614.53/2621.42 c GARBAGE COLLECT
2614.53/2621.42 c #Conflicts: 982000 | #Constraints: 24769
2614.53/2621.42 c #Conflicts: 983000 | #Constraints: 25769
2614.53/2621.42 c #Conflicts: 984000 | #Constraints: 26769
2614.53/2621.42 c #Conflicts: 985000 | #Constraints: 27769
2614.53/2621.42 c #Conflicts: 986000 | #Constraints: 28769
2614.53/2621.42 c #Conflicts: 987000 | #Constraints: 29769
2614.53/2621.42 c #Conflicts: 988000 | #Constraints: 30769
2614.53/2621.42 c #Conflicts: 989000 | #Constraints: 31769
2614.53/2621.42 c #Conflicts: 990000 | #Constraints: 32769
2614.53/2621.42 c #Conflicts: 991000 | #Constraints: 33769
2614.53/2621.42 c #Conflicts: 992000 | #Constraints: 34769
2614.53/2621.42 c #Conflicts: 993000 | #Constraints: 35769
2614.53/2621.42 c #Conflicts: 994000 | #Constraints: 36769
2614.53/2621.42 c #Conflicts: 995000 | #Constraints: 37769
2614.53/2621.42 c #Conflicts: 996000 | #Constraints: 38769
2614.53/2621.42 c #Conflicts: 997000 | #Constraints: 39769
2614.53/2621.42 c #Conflicts: 998000 | #Constraints: 40769
2614.53/2621.42 c #Conflicts: 999000 | #Constraints: 41769
2614.53/2621.42 c #Conflicts: 1000000 | #Constraints: 42769
2614.53/2621.42 c #Conflicts: 1001000 | #Constraints: 43769
2614.53/2621.42 c INPROCESSING
2614.53/2621.42 c GARBAGE COLLECT
2614.53/2621.42 c #Conflicts: 1002000 | #Constraints: 24988
2614.53/2621.42 c #Conflicts: 1003000 | #Constraints: 25988
2614.53/2621.42 c #Conflicts: 1004000 | #Constraints: 26988
2614.53/2621.42 c #Conflicts: 1005000 | #Constraints: 27988
2614.53/2621.42 c #Conflicts: 1006000 | #Constraints: 28988
2614.53/2621.42 c #Conflicts: 1007000 | #Constraints: 29988
2614.53/2621.42 c #Conflicts: 1008000 | #Constraints: 30988
2614.53/2621.42 c #Conflicts: 1009000 | #Constraints: 31988
2614.53/2621.42 c #Conflicts: 1010000 | #Constraints: 32988
2614.53/2621.42 c #Conflicts: 1011000 | #Constraints: 33988
2614.53/2621.42 c #Conflicts: 1012000 | #Constraints: 34988
2614.53/2621.42 c #Conflicts: 1013000 | #Constraints: 35988
2614.53/2621.42 c #Conflicts: 1014000 | #Constraints: 36988
2614.53/2621.42 c #Conflicts: 1015000 | #Constraints: 37988
2614.53/2621.42 c #Conflicts: 1016000 | #Constraints: 38988
2614.53/2621.42 c #Conflicts: 1017000 | #Constraints: 39988
2614.53/2621.42 c #Conflicts: 1018000 | #Constraints: 40988
2614.53/2621.42 c #Conflicts: 1019000 | #Constraints: 41988
2614.53/2621.42 c #Conflicts: 1020000 | #Constraints: 42988
2614.53/2621.42 c #Conflicts: 1021000 | #Constraints: 43988
2614.53/2621.42 c INPROCESSING
2614.53/2621.42 c GARBAGE COLLECT
2614.53/2621.42 c #Conflicts: 1022000 | #Constraints: 24991
2614.53/2621.42 c #Conflicts: 1023000 | #Constraints: 25991
2614.53/2621.42 c #Conflicts: 1024000 | #Constraints: 26991
2614.53/2621.42 c #Conflicts: 1025000 | #Constraints: 27991
2614.53/2621.42 c #Conflicts: 1026000 | #Constraints: 28991
2614.53/2621.42 c #Conflicts: 1027000 | #Constraints: 29991
2614.53/2621.42 c #Conflicts: 1028000 | #Constraints: 30991
2614.53/2621.42 c #Conflicts: 1029000 | #Constraints: 31991
2614.53/2621.42 c #Conflicts: 1030000 | #Constraints: 32991
2614.53/2621.42 c #Conflicts: 1031000 | #Constraints: 33991
2614.53/2621.42 c #Conflicts: 1032000 | #Constraints: 34991
2614.53/2621.42 c #Conflicts: 1033000 | #Constraints: 35991
2614.53/2621.42 c #Conflicts: 1034000 | #Constraints: 36991
2614.53/2621.42 c #Conflicts: 1035000 | #Constraints: 37991
2614.53/2621.42 c #Conflicts: 1036000 | #Constraints: 38991
2614.53/2621.42 c #Conflicts: 1037000 | #Constraints: 39991
2614.53/2621.42 c #Conflicts: 1038000 | #Constraints: 40991
2614.53/2621.42 c #Conflicts: 1039000 | #Constraints: 41991
2614.53/2621.42 c #Conflicts: 1040000 | #Constraints: 42991
2614.53/2621.42 c #Conflicts: 1041000 | #Constraints: 43991
2614.53/2621.42 c INPROCESSING
2614.53/2621.42 c GARBAGE COLLECT
2614.53/2621.42 c #Conflicts: 1042000 | #Constraints: 24779
2614.53/2621.42 c #Conflicts: 1043000 | #Constraints: 25779
2614.53/2621.42 c #Conflicts: 1044000 | #Constraints: 26779
2853.04/2860.55 c #Conflicts: 1045000 | #Constraints: 27779
2853.04/2860.55 c #Conflicts: 1046000 | #Constraints: 28779
2853.04/2860.55 c #Conflicts: 1047000 | #Constraints: 29779
2853.04/2860.55 c #Conflicts: 1048000 | #Constraints: 30779
2853.04/2860.55 c #Conflicts: 1049000 | #Constraints: 31779
2853.04/2860.55 c #Conflicts: 1050000 | #Constraints: 32779
2853.04/2860.55 c #Conflicts: 1051000 | #Constraints: 33779
2853.04/2860.55 c #Conflicts: 1052000 | #Constraints: 34779
2853.04/2860.55 c #Conflicts: 1053000 | #Constraints: 35779
2853.04/2860.55 c #Conflicts: 1054000 | #Constraints: 36779
2853.04/2860.55 c #Conflicts: 1055000 | #Constraints: 37779
2853.04/2860.55 c #Conflicts: 1056000 | #Constraints: 38779
2853.04/2860.55 c #Conflicts: 1057000 | #Constraints: 39779
2853.04/2860.55 c #Conflicts: 1058000 | #Constraints: 40779
2853.04/2860.55 c #Conflicts: 1059000 | #Constraints: 41779
2853.04/2860.55 c #Conflicts: 1060000 | #Constraints: 42779
2853.04/2860.55 c #Conflicts: 1061000 | #Constraints: 43779
2853.04/2860.55 c #Conflicts: 1062000 | #Constraints: 44779
2853.04/2860.55 c INPROCESSING
2853.04/2860.55 c GARBAGE COLLECT
2853.04/2860.55 c #Conflicts: 1063000 | #Constraints: 25359
2853.04/2860.55 c #Conflicts: 1064000 | #Constraints: 26359
2853.04/2860.55 c #Conflicts: 1065000 | #Constraints: 27359
2853.04/2860.55 c #Conflicts: 1066000 | #Constraints: 28359
2853.04/2860.55 c #Conflicts: 1067000 | #Constraints: 29359
2853.04/2860.55 c #Conflicts: 1068000 | #Constraints: 30359
2853.04/2860.55 c #Conflicts: 1069000 | #Constraints: 31359
2853.04/2860.55 c #Conflicts: 1070000 | #Constraints: 32359
2853.04/2860.55 c #Conflicts: 1071000 | #Constraints: 33359
2853.04/2860.55 c #Conflicts: 1072000 | #Constraints: 34359
2853.04/2860.55 c #Conflicts: 1073000 | #Constraints: 35359
2853.04/2860.55 c #Conflicts: 1074000 | #Constraints: 36359
2853.04/2860.55 c #Conflicts: 1075000 | #Constraints: 37359
2853.04/2860.55 c #Conflicts: 1076000 | #Constraints: 38359
2853.04/2860.55 c #Conflicts: 1077000 | #Constraints: 39359
2853.04/2860.55 c #Conflicts: 1078000 | #Constraints: 40359
2853.04/2860.55 c #Conflicts: 1079000 | #Constraints: 41359
2853.04/2860.55 c #Conflicts: 1080000 | #Constraints: 42359
2853.04/2860.55 c #Conflicts: 1081000 | #Constraints: 43359
2853.04/2860.55 c #Conflicts: 1082000 | #Constraints: 44359
2853.04/2860.55 c #Conflicts: 1083000 | #Constraints: 45359
2853.04/2860.55 c INPROCESSING
2853.04/2860.55 c GARBAGE COLLECT
2853.04/2860.55 c #Conflicts: 1084000 | #Constraints: 25752
2853.04/2860.55 c #Conflicts: 1085000 | #Constraints: 26752
2853.04/2860.55 c #Conflicts: 1086000 | #Constraints: 27752
2853.04/2860.55 c #Conflicts: 1087000 | #Constraints: 28752
2853.04/2860.55 c #Conflicts: 1088000 | #Constraints: 29752
2853.04/2860.55 c #Conflicts: 1089000 | #Constraints: 30752
2853.04/2860.55 c #Conflicts: 1090000 | #Constraints: 31752
2853.04/2860.55 c #Conflicts: 1091000 | #Constraints: 32752
2853.04/2860.55 c #Conflicts: 1092000 | #Constraints: 33752
2853.04/2860.55 c #Conflicts: 1093000 | #Constraints: 34752
2853.04/2860.55 c #Conflicts: 1094000 | #Constraints: 35752
2853.04/2860.55 c #Conflicts: 1095000 | #Constraints: 36752
2853.04/2860.55 c #Conflicts: 1096000 | #Constraints: 37752
2853.04/2860.55 c #Conflicts: 1097000 | #Constraints: 38752
2853.04/2860.55 c #Conflicts: 1098000 | #Constraints: 39752
2853.04/2860.55 c #Conflicts: 1099000 | #Constraints: 40752
2853.04/2860.55 c #Conflicts: 1100000 | #Constraints: 41752
2853.04/2860.55 c #Conflicts: 1101000 | #Constraints: 42752
2853.04/2860.55 c #Conflicts: 1102000 | #Constraints: 43752
2853.04/2860.55 c #Conflicts: 1103000 | #Constraints: 44752
2853.04/2860.55 c #Conflicts: 1104000 | #Constraints: 45752
2853.04/2860.55 c INPROCESSING
2853.04/2860.55 c GARBAGE COLLECT
2853.04/2860.55 c #Conflicts: 1105000 | #Constraints: 25948
2853.04/2860.55 c #Conflicts: 1106000 | #Constraints: 26948
2853.04/2860.55 c #Conflicts: 1107000 | #Constraints: 27948
2853.04/2860.55 c #Conflicts: 1108000 | #Constraints: 28948
2853.04/2860.55 c #Conflicts: 1109000 | #Constraints: 29948
2853.04/2860.55 c #Conflicts: 1110000 | #Constraints: 30948
2853.04/2860.55 c #Conflicts: 1111000 | #Constraints: 31948
2853.04/2860.55 c #Conflicts: 1112000 | #Constraints: 32948
2853.04/2860.55 c #Conflicts: 1113000 | #Constraints: 33948
2853.04/2860.55 c #Conflicts: 1114000 | #Constraints: 34948
2853.04/2860.55 c #Conflicts: 1115000 | #Constraints: 35948
2853.04/2860.55 c #Conflicts: 1116000 | #Constraints: 36948
2853.04/2860.55 c #Conflicts: 1117000 | #Constraints: 37948
2853.04/2860.55 c #Conflicts: 1118000 | #Constraints: 38948
2853.04/2860.55 c #Conflicts: 1119000 | #Constraints: 39948
2853.04/2860.55 c #Conflicts: 1120000 | #Constraints: 40948
2853.04/2860.55 c #Conflicts: 1121000 | #Constraints: 41948
3250.13/3258.73 c #Conflicts: 1122000 | #Constraints: 42948
3250.13/3258.73 c #Conflicts: 1123000 | #Constraints: 43948
3250.13/3258.73 c #Conflicts: 1124000 | #Constraints: 44948
3250.13/3258.73 c #Conflicts: 1125000 | #Constraints: 45948
3250.13/3258.73 c INPROCESSING
3250.13/3258.73 c GARBAGE COLLECT
3250.13/3258.73 c #Conflicts: 1126000 | #Constraints: 25951
3250.13/3258.73 c #Conflicts: 1127000 | #Constraints: 26951
3250.13/3258.73 c #Conflicts: 1128000 | #Constraints: 27951
3250.13/3258.73 c #Conflicts: 1129000 | #Constraints: 28951
3250.13/3258.73 c #Conflicts: 1130000 | #Constraints: 29951
3250.13/3258.73 c #Conflicts: 1131000 | #Constraints: 30951
3250.13/3258.73 c #Conflicts: 1132000 | #Constraints: 31951
3250.13/3258.73 c #Conflicts: 1133000 | #Constraints: 32951
3250.13/3258.73 c #Conflicts: 1134000 | #Constraints: 33951
3250.13/3258.73 c #Conflicts: 1135000 | #Constraints: 34951
3250.13/3258.73 c #Conflicts: 1136000 | #Constraints: 35951
3250.13/3258.73 c #Conflicts: 1137000 | #Constraints: 36951
3250.13/3258.73 c #Conflicts: 1138000 | #Constraints: 37951
3250.13/3258.73 c #Conflicts: 1139000 | #Constraints: 38951
3250.13/3258.73 c #Conflicts: 1140000 | #Constraints: 39951
3250.13/3258.73 c #Conflicts: 1141000 | #Constraints: 40951
3250.13/3258.73 c #Conflicts: 1142000 | #Constraints: 41951
3250.13/3258.73 c #Conflicts: 1143000 | #Constraints: 42951
3250.13/3258.73 c #Conflicts: 1144000 | #Constraints: 43951
3250.13/3258.73 c #Conflicts: 1145000 | #Constraints: 44951
3250.13/3258.73 c #Conflicts: 1146000 | #Constraints: 45951
3250.13/3258.73 c INPROCESSING
3250.13/3258.73 c GARBAGE COLLECT
3250.13/3258.73 c #Conflicts: 1147000 | #Constraints: 25748
3250.13/3258.73 c #Conflicts: 1148000 | #Constraints: 26748
3250.13/3258.73 c #Conflicts: 1149000 | #Constraints: 27748
3250.13/3258.73 c #Conflicts: 1150000 | #Constraints: 28748
3250.13/3258.73 c #Conflicts: 1151000 | #Constraints: 29748
3250.13/3258.73 c #Conflicts: 1152000 | #Constraints: 30748
3250.13/3258.73 c #Conflicts: 1153000 | #Constraints: 31748
3250.13/3258.73 c #Conflicts: 1154000 | #Constraints: 32748
3250.13/3258.73 c #Conflicts: 1155000 | #Constraints: 33748
3250.13/3258.73 c #Conflicts: 1156000 | #Constraints: 34748
3250.13/3258.73 c #Conflicts: 1157000 | #Constraints: 35748
3250.13/3258.73 c #Conflicts: 1158000 | #Constraints: 36748
3250.13/3258.73 c #Conflicts: 1159000 | #Constraints: 37748
3250.13/3258.73 c #Conflicts: 1160000 | #Constraints: 38748
3250.13/3258.73 c #Conflicts: 1161000 | #Constraints: 39748
3250.13/3258.73 c #Conflicts: 1162000 | #Constraints: 40748
3250.13/3258.73 c #Conflicts: 1163000 | #Constraints: 41748
3250.13/3258.73 c #Conflicts: 1164000 | #Constraints: 42748
3250.13/3258.73 c #Conflicts: 1165000 | #Constraints: 43748
3250.13/3258.73 c #Conflicts: 1166000 | #Constraints: 44748
3250.13/3258.73 c #Conflicts: 1167000 | #Constraints: 45748
3250.13/3258.73 c #Conflicts: 1168000 | #Constraints: 46748
3250.13/3258.73 c INPROCESSING
3250.13/3258.73 c GARBAGE COLLECT
3250.13/3258.73 c #Conflicts: 1169000 | #Constraints: 26348
3250.13/3258.73 c #Conflicts: 1170000 | #Constraints: 27348
3250.13/3258.73 c #Conflicts: 1171000 | #Constraints: 28348
3250.13/3258.73 c #Conflicts: 1172000 | #Constraints: 29348
3250.13/3258.73 c #Conflicts: 1173000 | #Constraints: 30348
3250.13/3258.73 c #Conflicts: 1174000 | #Constraints: 31348
3250.13/3258.73 c #Conflicts: 1175000 | #Constraints: 32348
3250.13/3258.73 c #Conflicts: 1176000 | #Constraints: 33348
3250.13/3258.73 c #Conflicts: 1177000 | #Constraints: 34348
3250.13/3258.73 c #Conflicts: 1178000 | #Constraints: 35348
3250.13/3258.73 c #Conflicts: 1179000 | #Constraints: 36348
3250.13/3258.73 c #Conflicts: 1180000 | #Constraints: 37348
3250.13/3258.73 c #Conflicts: 1181000 | #Constraints: 38348
3250.13/3258.73 c #Conflicts: 1182000 | #Constraints: 39348
3250.13/3258.73 c #Conflicts: 1183000 | #Constraints: 40348
3250.13/3258.73 c #Conflicts: 1184000 | #Constraints: 41348
3250.13/3258.73 c #Conflicts: 1185000 | #Constraints: 42348
3250.13/3258.73 c #Conflicts: 1186000 | #Constraints: 43348
3250.13/3258.73 c #Conflicts: 1187000 | #Constraints: 44348
3250.13/3258.73 c #Conflicts: 1188000 | #Constraints: 45348
3250.13/3258.73 c #Conflicts: 1189000 | #Constraints: 46348
3250.13/3258.73 c #Conflicts: 1190000 | #Constraints: 47348
3250.13/3258.73 c INPROCESSING
3250.13/3258.73 c GARBAGE COLLECT
3250.13/3258.73 c #Conflicts: 1191000 | #Constraints: 26755
3250.13/3258.73 c #Conflicts: 1192000 | #Constraints: 27755
3250.13/3258.73 c #Conflicts: 1193000 | #Constraints: 28755
3250.13/3258.73 c #Conflicts: 1194000 | #Constraints: 29755
3250.13/3258.73 c #Conflicts: 1195000 | #Constraints: 30755
3250.13/3258.73 c #Conflicts: 1196000 | #Constraints: 31755
3250.13/3258.73 c #Conflicts: 1197000 | #Constraints: 32755
3600.04/3609.60 c #Conflicts: 1198000 | #Constraints: 33755
3600.04/3609.60 c #Conflicts: 1199000 | #Constraints: 34755
3600.04/3609.60 c #Conflicts: 1200000 | #Constraints: 35755
3600.04/3609.60 c #Conflicts: 1201000 | #Constraints: 36755
3600.04/3609.60 c #Conflicts: 1202000 | #Constraints: 37755
3600.04/3609.60 c #Conflicts: 1203000 | #Constraints: 38755
3600.04/3609.60 c #Conflicts: 1204000 | #Constraints: 39755
3600.04/3609.60 c #Conflicts: 1205000 | #Constraints: 40755
3600.04/3609.60 c #Conflicts: 1206000 | #Constraints: 41755
3600.04/3609.60 c #Conflicts: 1207000 | #Constraints: 42755
3600.04/3609.60 c #Conflicts: 1208000 | #Constraints: 43755
3600.04/3609.60 c #Conflicts: 1209000 | #Constraints: 44755
3600.04/3609.60 c #Conflicts: 1210000 | #Constraints: 45755
3600.04/3609.60 c #Conflicts: 1211000 | #Constraints: 46755
3600.04/3609.60 c #Conflicts: 1212000 | #Constraints: 47755
3600.04/3609.60 c INPROCESSING
3600.04/3609.60 c GARBAGE COLLECT
3600.04/3609.60 c #Conflicts: 1213000 | #Constraints: 26948
3600.04/3609.60 c #Conflicts: 1214000 | #Constraints: 27948
3600.04/3609.60 c #Conflicts: 1215000 | #Constraints: 28948
3600.04/3609.60 c #Conflicts: 1216000 | #Constraints: 29948
3600.04/3609.60 c #Conflicts: 1217000 | #Constraints: 30948
3600.04/3609.60 c #Conflicts: 1218000 | #Constraints: 31948
3600.04/3609.60 c #Conflicts: 1219000 | #Constraints: 32948
3600.04/3609.60 c #Conflicts: 1220000 | #Constraints: 33948
3600.04/3609.60 c #Conflicts: 1221000 | #Constraints: 34948
3600.04/3609.60 c #Conflicts: 1222000 | #Constraints: 35948
3600.04/3609.60 c #Conflicts: 1223000 | #Constraints: 36948
3600.04/3609.60 c #Conflicts: 1224000 | #Constraints: 37948
3600.04/3609.60 c #Conflicts: 1225000 | #Constraints: 38948
3600.04/3609.60 c #Conflicts: 1226000 | #Constraints: 39948
3600.04/3609.60 c #Conflicts: 1227000 | #Constraints: 40948
3600.04/3609.60 c #Conflicts: 1228000 | #Constraints: 41948
3600.04/3609.60 c #Conflicts: 1229000 | #Constraints: 42948
3600.04/3609.60 c #Conflicts: 1230000 | #Constraints: 43948
3600.04/3609.60 c #Conflicts: 1231000 | #Constraints: 44948
3600.04/3609.60 c #Conflicts: 1232000 | #Constraints: 45948
3600.04/3609.60 c #Conflicts: 1233000 | #Constraints: 46948
3600.04/3609.60 c #Conflicts: 1234000 | #Constraints: 47948
3600.04/3609.60 c INPROCESSING
3600.04/3609.60 c GARBAGE COLLECT
3600.04/3609.60 c #Conflicts: 1235000 | #Constraints: 26961
3600.04/3609.60 c #Conflicts: 1236000 | #Constraints: 27961
3600.04/3609.60 c #Conflicts: 1237000 | #Constraints: 28961
3600.04/3609.60 c #Conflicts: 1238000 | #Constraints: 29961
3600.04/3609.60 c #Conflicts: 1239000 | #Constraints: 30961
3600.04/3609.60 c #Conflicts: 1240000 | #Constraints: 31961
3600.04/3609.60 c #Conflicts: 1241000 | #Constraints: 32961
3600.04/3609.60 c #Conflicts: 1242000 | #Constraints: 33961
3600.04/3609.60 c #Conflicts: 1243000 | #Constraints: 34961
3600.04/3609.60 c #Conflicts: 1244000 | #Constraints: 35961
3600.04/3609.60 c #Conflicts: 1245000 | #Constraints: 36961
3600.04/3609.60 c #Conflicts: 1246000 | #Constraints: 37961
3600.04/3609.60 c #Conflicts: 1247000 | #Constraints: 38961
3600.04/3609.60 c #Conflicts: 1248000 | #Constraints: 39961
3600.04/3609.60 c #Conflicts: 1249000 | #Constraints: 40961
3600.04/3609.60 c #Conflicts: 1250000 | #Constraints: 41961
3600.04/3609.60 c #Conflicts: 1251000 | #Constraints: 42961
3600.04/3609.60 c #Conflicts: 1252000 | #Constraints: 43961
3600.04/3609.60 c #Conflicts: 1253000 | #Constraints: 44961
3600.04/3609.60 c #Conflicts: 1254000 | #Constraints: 45961
3600.04/3609.60 c #Conflicts: 1255000 | #Constraints: 46961
3600.04/3609.60 c #Conflicts: 1256000 | #Constraints: 47961
3600.04/3609.60 c INPROCESSING
3600.04/3609.60 c GARBAGE COLLECT
3600.04/3609.60 c #Conflicts: 1257000 | #Constraints: 26760
3600.04/3609.60 c #Conflicts: 1258000 | #Constraints: 27760
3600.04/3609.60 c #Conflicts: 1259000 | #Constraints: 28760
3600.04/3609.60 c #Conflicts: 1260000 | #Constraints: 29760
3600.04/3609.60 c #Conflicts: 1261000 | #Constraints: 30760
3600.04/3609.60 c #Conflicts: 1262000 | #Constraints: 31760
3600.04/3609.60 c #Conflicts: 1263000 | #Constraints: 32760
3600.04/3609.60 c #Conflicts: 1264000 | #Constraints: 33760
3600.04/3609.60 c #Conflicts: 1265000 | #Constraints: 34760
3600.04/3609.60 c #Conflicts: 1266000 | #Constraints: 35760
3600.04/3609.60 c #Conflicts: 1267000 | #Constraints: 36760
3600.04/3609.60 c #Conflicts: 1268000 | #Constraints: 37760
3600.04/3609.60 c #Conflicts: 1269000 | #Constraints: 38760
3600.04/3609.60 c #Conflicts: 1270000 | #Constraints: 39760
3600.04/3609.60 c Program interrupted by user.
3600.04/3609.60 c cpu time 3590.37 s
3600.04/3609.60 c deterministic time 579790575855 5.80e+11
3600.04/3609.60 c optimization time 57.2635 s
3600.04/3609.60 c total solve time 3233.89 s
3600.04/3609.60 c core-guided solve time 3233.89 s
3600.04/3609.60 c propagation time 2738.79 s
3600.04/3609.60 c conflict analysis time 441.195 s
3600.04/3609.60 c propagations 123666598
3600.04/3609.60 c resolve steps 7204558
3600.04/3609.60 c decisions 4826123
3600.04/3609.60 c conflicts 1270299
3600.04/3609.60 c restarts 2427
3600.04/3609.60 c inprocessing phases 103
3600.04/3609.60 c input clauses 4058
3600.04/3609.60 c input cardinalities 148
3600.04/3609.60 c input general constraints 0
3600.04/3609.60 c input average constraint length 61.56
3600.04/3609.60 c input average constraint degree 27.82
3600.04/3609.60 c learned clauses 406089
3600.04/3609.60 c learned cardinalities 307694
3600.04/3609.60 c learned general constraints 556660
3600.04/3609.60 c learned average constraint length 773.92
3600.04/3609.60 c learned average constraint degree 5000.77
3600.04/3609.60 c watched constraints 434292
3600.04/3609.60 c counting constraints 122368
3600.04/3609.60 c gcd simplifications 38492
3600.04/3609.60 c detected cardinalities 8708
3600.04/3609.60 c weakened non-implied lits 143255431
3600.04/3609.60 c weakened non-implying lits 30357
3600.04/3609.60 c original variables 1961
3600.04/3609.60 c clausal propagations 47083684
3600.04/3609.60 c cardinality propagations 10927786
3600.04/3609.60 c watched propagations 31816087
3600.04/3609.60 c counting propagations 21307120
3600.04/3609.60 c watch lookups 40322512046
3600.04/3609.60 c watch backjump lookups 33739787992
3600.04/3609.60 c watch checks 476943202843
3600.04/3609.60 c propagation checks 26191060364
3600.04/3609.60 c constraint additions 2335758132
3600.04/3609.60 c trail pops 129761756
3600.04/3609.60 c formula constraints 3373
3600.04/3609.60 c learned constraints 1270443
3600.04/3609.60 c bound constraints 148
3600.04/3609.60 c core-guided constraints 685
3600.04/3609.60 c encountered formula constraints 5461435
3600.04/3609.60 c encountered learned constraints 2783033
3600.04/3609.60 c encountered bound constraints 3
3600.04/3609.60 c encountered core-guided constraints 230386
3600.04/3609.60 c LP total time 0 s
3600.04/3609.60 c LP solve time 0 s
3600.04/3609.60 c LP constraints added 0
3600.04/3609.60 c LP constraints removed 0
3600.04/3609.60 c LP pivots internal 0
3600.04/3609.60 c LP pivots root 0
3600.04/3609.60 c LP calls 0
3600.04/3609.60 c LP optimalities 0
3600.04/3609.60 c LP no pivot count 0
3600.04/3609.60 c LP infeasibilities 0
3600.04/3609.60 c LP valid Farkas constraints 0
3600.04/3609.60 c LP learned Farkas constraints 0
3600.04/3609.60 c LP basis resets 0
3600.04/3609.60 c LP cycling count 0
3600.04/3609.60 c LP singular count 0
3600.04/3609.60 c LP no primal count 0
3600.04/3609.60 c LP no farkas count 0
3600.04/3609.60 c LP other issue count 0
3600.04/3609.60 c LP Gomory cuts 0
3600.04/3609.60 c LP learned cuts 0
3600.04/3609.60 c LP deleted cuts 0
3600.04/3609.60 c LP encountered Gomory constraints 0
3600.04/3609.60 c LP encountered Farkas constraints 0
3600.04/3609.60 c LP encountered learned Farkas constraints 0
3600.04/3609.60 c CG auxiliary variables introduced 685
3600.04/3609.60 c CG solutions found 0
3600.04/3609.60 c CG cores constructed 147
3600.04/3609.60 c CG core cardinality constraints returned 0
3600.04/3609.61 c CG unit cores 0
3600.04/3609.61 c CG single cores 147
3600.04/3609.61 c CG blocks removed during cardinality reduction 0
3600.04/3609.61 c CG first core best 0
3600.04/3609.61 c CG decision core best 0
3600.04/3609.61 c CG core reduction tie 0
3600.04/3609.61 c CG core degree average 1.00
3600.04/3609.61 c CG core slack average 5.05
3600.04/3609.61 c CG exhausted 0
3600.04/3609.61 c CG exhaust time 0 s
3600.04/3609.61 c CG trimmed 1
3600.04/3609.61 c CG trim time 0.043146 s
3600.04/3609.61 c CG minimized 0
3600.04/3609.61 c CG minimize time 0 s
3600.04/3609.61 c CG am1 prop time 0.001964 s
3600.04/3609.61 c CG # am1s reformulated 685
3600.04/3609.61 c CG lower bound derived from am1s 689
3600.04/3609.61 c CG # clausal cores 147
3600.04/3609.61 c CG # cardinality cores 0
3600.04/3609.61 c CG # pb cores 0
3600.04/3609.61 c CG # pb reforms 0
3600.04/3609.61 c CG # cores discarded because of pb reform 0
3600.04/3609.61 d LOWERBOUND 836
3600.04/3609.61 d NCORES 147
3600.04/3609.61 d NPBCORES 0
3600.04/3609.61 d NPBREFORM 0
3600.04/3609.61 d NTRIMMED 1
3600.04/3609.61 d NEXHAUSTED 0
3600.04/3609.61 d NAM1S 685
3600.04/3609.61 d AM1LB 689
3600.04/3609.61 c [Papilo Statistics]
3600.04/3609.61 c prepro time 0.0138086s
3600.04/3609.61 c # tsx applied 135
3600.04/3609.61 c # tsx conflicts 2
3600.04/3609.61 c # bound changes 133
3600.04/3609.61 c # side changes 0
3600.04/3609.61 c # coef changes 0
3600.04/3609.61 c # rounds 2
3600.04/3609.61 c # deted vars 271
3600.04/3609.61 c # deted constrs 627
3600.04/3609.61 c # consecutive rounds of only bound changes 0
3600.04/3609.61 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62973 MiB free)
memory of node 1: 64510 MiB (61298 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454716-1721467713/watcher-4454716-1721467713 -o /tmp/evaluation-result-4454716-1721467713/solver-4454716-1721467713 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721467725-1064088 --watchdog 3760 mixed-bag HOME/instance-4454716-1721467713.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1064142, runsolver pid=1064133
[startup+0.100077 s]*
/proc/loadavg: 1.83 1.45 2.20 6/248 1064152
/proc/meminfo: memFree=127193504/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=98420 memory=31140 CPUtime=0.1 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 4713 0 0 0 8 2 0 0 20 0 1 0 198927960 100782080 7785 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 24605 7785 3746 3002 0 8354 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 98420 KiB
Current children cumulated memory: 31140 KiB
[startup+0.215448 s]*
/proc/loadavg: 1.83 1.45 2.20 5/248 1064152
/proc/meminfo: memFree=127161732/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=108504 memory=39200 CPUtime=0.21 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 6842 0 0 0 18 3 0 0 20 0 1 0 198927960 111108096 9800 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 27126 9800 3856 3002 0 10875 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 108504 KiB
Current children cumulated memory: 39200 KiB
[startup+0.314756 s]*
/proc/loadavg: 1.83 1.45 2.20 6/248 1064152
/proc/meminfo: memFree=127149540/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=111564 memory=42824 CPUtime=0.31 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 7613 0 0 0 28 3 0 0 20 0 1 0 198927960 114241536 10706 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 27891 10706 3984 3002 0 11640 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 111564 KiB
Current children cumulated memory: 42824 KiB
[startup+0.700277 s]
/proc/loadavg: 1.83 1.45 2.20 6/248 1064152
/proc/meminfo: memFree=127146588/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=112292 memory=43344 CPUtime=0.68 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 7786 0 0 0 65 3 0 0 20 0 1 0 198927960 114987008 10836 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 28073 10836 3984 3002 0 11822 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 112292 KiB
Current children cumulated memory: 43344 KiB
[startup+1.5003 s]
/proc/loadavg: 1.83 1.45 2.20 6/248 1064152
/proc/meminfo: memFree=127132056/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=116368 memory=46800 CPUtime=1.47 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 8629 0 0 0 144 3 0 0 20 0 1 0 198927960 119160832 11700 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 29092 11700 4000 3002 0 12841 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 116368 KiB
Current children cumulated memory: 46800 KiB
[startup+3.11404 s]
/proc/loadavg: 1.83 1.45 2.20 6/248 1064152
/proc/meminfo: memFree=127072252/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=131920 memory=61848 CPUtime=3.08 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 12404 0 0 0 304 4 0 0 20 0 1 0 198927960 135086080 15462 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 32980 15462 4000 3002 0 16729 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 131920 KiB
Current children cumulated memory: 61848 KiB
[startup+6.30025 s]
/proc/loadavg: 2.08 1.51 2.21 6/248 1064152
/proc/meminfo: memFree=126905460/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=160180 memory=88512 CPUtime=6.26 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 19086 0 0 0 621 5 0 0 20 0 1 0 198927960 164024320 22128 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 40045 22128 4000 3002 0 23794 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 160180 KiB
Current children cumulated memory: 88512 KiB
[startup+12.7003 s]
/proc/loadavg: 2.23 1.55 2.22 6/248 1064154
/proc/meminfo: memFree=126788188/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=169268 memory=93716 CPUtime=12.64 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 21698 0 0 0 1259 5 0 0 20 0 1 0 198927960 173330432 23429 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 42317 23429 4000 3002 0 26066 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 169268 KiB
Current children cumulated memory: 93716 KiB
[startup+25.5003 s]
/proc/loadavg: 2.63 1.67 2.25 6/248 1064155
/proc/meminfo: memFree=126782276/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=173080 memory=98200 CPUtime=25.42 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 22861 0 0 0 2536 6 0 0 20 0 1 0 198927960 177233920 24550 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 43270 24550 4000 3002 0 27019 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 173080 KiB
Current children cumulated memory: 98200 KiB
[startup+51.1139 s]
/proc/loadavg: 3.18 1.87 2.30 6/248 1064160
/proc/meminfo: memFree=126576756/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=221148 memory=140364 CPUtime=50.97 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 34009 0 0 0 5089 8 0 0 20 0 1 0 198927960 226455552 35091 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 55287 35091 4011 3002 0 39036 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 221148 KiB
Current children cumulated memory: 140364 KiB
[startup+102.3 s]
/proc/loadavg: 3.71 2.22 2.40 7/251 1064228
/proc/meminfo: memFree=126438292/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=253220 memory=173088 CPUtime=102.02 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 43722 0 0 0 10192 10 0 0 20 0 1 0 198927960 259297280 43272 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 63305 43272 4011 3002 0 47054 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 253220 KiB
Current children cumulated memory: 173088 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.56 2.51 6/250 1064239
/proc/meminfo: memFree=126330708/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=281976 memory=205172 CPUtime=161.87 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 50503 0 0 0 16175 12 0 0 20 0 1 0 198927960 288743424 51293 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 70494 51293 4011 3002 0 54243 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 281976 KiB
Current children cumulated memory: 205172 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.86 2.61 6/250 1064249
/proc/meminfo: memFree=126243532/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=292388 memory=224236 CPUtime=221.71 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 54368 0 0 0 22158 13 0 0 20 0 1 0 198927960 299405312 56059 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 73097 56059 4011 3002 0 56846 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 292388 KiB
Current children cumulated memory: 224236 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.10 2.71 6/250 1064259
/proc/meminfo: memFree=126163616/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=332364 memory=271564 CPUtime=281.56 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 64569 0 0 0 28141 15 0 0 20 0 1 0 198927960 340340736 67891 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 83091 67891 4011 3002 0 66840 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 332364 KiB
Current children cumulated memory: 271564 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.28 2.80 6/245 1064270
/proc/meminfo: memFree=126459776/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=262628 memory=201756 CPUtime=341.42 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 71144 0 0 0 34082 60 0 0 20 0 1 0 198927960 268931072 50439 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 65657 50439 4171 3002 0 49406 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 262628 KiB
Current children cumulated memory: 201756 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.44 2.89 6/242 1064281
/proc/meminfo: memFree=126378364/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=293448 memory=216088 CPUtime=401.26 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 71707 0 0 0 40029 97 0 0 20 0 1 0 198927960 300490752 54022 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 73362 54022 4171 3002 0 57111 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 293448 KiB
Current children cumulated memory: 216088 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.56 2.97 6/242 1064291
/proc/meminfo: memFree=126314768/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=293448 memory=226332 CPUtime=461.1 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 71791 0 0 0 45971 139 0 0 20 0 1 0 198927960 300490752 56583 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 73362 56583 4171 3002 0 57111 0
################
# More data... #
################
Current children cumulated memory: 534864 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.10 4.02 6/242 1065292
/proc/meminfo: memFree=125352044/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=603568 memory=534864 CPUtime=2854.85 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 107549 0 0 0 284647 838 0 0 20 0 1 0 198927960 618053632 133716 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 150892 133716 4171 3002 0 134641 0
Current children cumulated CPU time: 2854.85 s
Current children cumulated vsize: 603568 KiB
Current children cumulated memory: 534864 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.02 6/242 1065302
/proc/meminfo: memFree=125346496/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=604080 memory=535260 CPUtime=2914.68 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 107860 0 0 0 290622 846 0 0 20 0 1 0 198927960 618577920 133815 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 151020 133815 4171 3002 0 134769 0
Current children cumulated CPU time: 2914.68 s
Current children cumulated vsize: 604080 KiB
Current children cumulated memory: 535260 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.10 4.02 6/242 1065312
/proc/meminfo: memFree=125341604/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=604260 memory=535260 CPUtime=2974.5 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 108146 0 0 0 296592 858 0 0 20 0 1 0 198927960 618762240 133815 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 151065 133815 4171 3002 0 134814 0
Current children cumulated CPU time: 2974.5 s
Current children cumulated vsize: 604260 KiB
Current children cumulated memory: 535260 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.02 6/242 1065323
/proc/meminfo: memFree=125325308/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=605360 memory=542240 CPUtime=3034.33 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 108567 0 0 0 302561 872 0 0 20 0 1 0 198927960 619888640 135560 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 151340 135560 4171 3002 0 135089 0
Current children cumulated CPU time: 3034.33 s
Current children cumulated vsize: 605360 KiB
Current children cumulated memory: 542240 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.02 6/244 1065337
/proc/meminfo: memFree=125307276/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=605360 memory=542240 CPUtime=3094.17 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 108838 0 0 0 308533 884 0 0 20 0 1 0 198927960 619888640 135560 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 151340 135560 4171 3002 0 135089 0
Current children cumulated CPU time: 3094.17 s
Current children cumulated vsize: 605360 KiB
Current children cumulated memory: 542240 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.03 6/244 1065347
/proc/meminfo: memFree=125296920/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=605360 memory=542244 CPUtime=3154 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 109066 0 0 0 314506 894 0 0 20 0 1 0 198927960 619888640 135561 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 151340 135561 4171 3002 0 135089 0
Current children cumulated CPU time: 3154 s
Current children cumulated vsize: 605360 KiB
Current children cumulated memory: 542244 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.03 6/244 1065357
/proc/meminfo: memFree=125294248/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=608616 memory=543868 CPUtime=3213.83 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 109783 0 0 0 320483 900 0 0 20 0 1 0 198927960 623222784 135967 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 152154 135967 4171 3002 0 135903 0
Current children cumulated CPU time: 3213.83 s
Current children cumulated vsize: 608616 KiB
Current children cumulated memory: 543868 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.04 6/244 1065368
/proc/meminfo: memFree=125256204/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=608944 memory=546468 CPUtime=3273.66 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 110100 0 0 0 326455 911 0 0 20 0 1 0 198927960 623558656 136617 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 152236 136617 4171 3002 0 135985 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 608944 KiB
Current children cumulated memory: 546468 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.11 4.04 6/245 1065379
/proc/meminfo: memFree=125254960/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=610408 memory=547128 CPUtime=3333.49 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 110557 0 0 0 332429 920 0 0 20 0 1 0 198927960 625057792 136782 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 152602 136782 4171 3002 0 136351 0
Current children cumulated CPU time: 3333.49 s
Current children cumulated vsize: 610408 KiB
Current children cumulated memory: 547128 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.12 4.05 6/246 1065773
/proc/meminfo: memFree=125251740/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=610736 memory=547580 CPUtime=3393.32 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 110868 0 0 0 338404 928 0 0 20 0 1 0 198927960 625393664 136895 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 152684 136895 4171 3002 0 136433 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 610736 KiB
Current children cumulated memory: 547580 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.05 6/245 1065784
/proc/meminfo: memFree=125247652/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=610920 memory=547588 CPUtime=3453.15 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 111142 0 0 0 344381 934 0 0 20 0 1 0 198927960 625582080 136897 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 152730 136897 4171 3002 0 136479 0
Current children cumulated CPU time: 3453.15 s
Current children cumulated vsize: 610920 KiB
Current children cumulated memory: 547588 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.05 6/245 1065794
/proc/meminfo: memFree=125208716/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=614320 memory=549824 CPUtime=3512.98 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 111912 0 0 0 350350 948 0 0 20 0 1 0 198927960 629063680 137456 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 153580 137456 4171 3002 0 137329 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 614320 KiB
Current children cumulated memory: 549824 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.05 6/247 1065974
/proc/meminfo: memFree=125185640/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=619440 memory=553160 CPUtime=3572.81 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 112974 0 0 0 356318 963 0 0 20 0 1 0 198927960 634306560 138290 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 154860 138290 4171 3002 0 138609 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 619440 KiB
Current children cumulated memory: 553160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.16 4.12 4.06 5/244 1065992
/proc/meminfo: memFree=125649316/131655788 swapFree=131071996/131071996
[pid=1064142] ppid=1064133 vsize=619880 memory=553376 CPUtime=3600.04 cores=5,7
/proc/1064142/stat : 1064142 (mixed-bag) R 1064133 1064142 1064075 0 -1 4194304 113045 0 0 0 359036 968 0 0 20 0 1 0 198927960 634757120 138344 134679101440 4194304 16488053 140736653432336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 44195840 140736653435925 140736653436002 140736653436002 140736653443019 0
/proc/1064142/statm: 154970 138344 4171 3002 0 138719 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 619880 KiB
Current children cumulated memory: 553376 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 1064142 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.37 s, system=9.68777 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.61
CPU time (s): 3600.06
CPU user time (s): 3590.37
CPU system time (s): 9.68777
CPU usage (%): 99.7353
Max. virtual memory (cumulated for all children) (KiB): 619880
Max. memory (cumulated for all children) (KiB): 553376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.37
system time used= 9.68777
maximum resident set size= 553376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113067
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121
involuntary context switches= 2203
# summary of solver processes directly reported to runsolver:
# pid: 1064142
# total CPU time (s): 3600.06
# total CPU user time (s): 3590.37
# total CPU system time (s): 9.68777
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.768 second user time and 38.945 second system time
The end
Begin job on nodeC007 at 2024-07-20 11:28:45
IDJOB=4454716
IDBENCH=147527
IDSOLVER=3083
FILE ID=nodeC007/4454716-1721467713
RUNJOBID= nodeC007-1721467725-1064088
SLURM_JOB_ID= 7545722
Free space on /tmp= 723784 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454716-1721467713/watcher-4454716-1721467713 -o /tmp/evaluation-result-4454716-1721467713/solver-4454716-1721467713 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721467725-1064088 --watchdog 3760 mixed-bag HOME/instance-4454716-1721467713.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fbd32e707c8d4aa66e3f5cddd7aa4984
RANDOM SEED=910349485
nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.133
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.136
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.135
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.132
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.149
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1266.660
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1223.081
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1200.391
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127255928 kB
MemAvailable: 129911808 kB
Buffers: 555256 kB
Cached: 2941324 kB
SwapCached: 0 kB
Active: 1151172 kB
Inactive: 2681804 kB
Active(anon): 1360 kB
Inactive(anon): 381576 kB
Active(file): 1149812 kB
Inactive(file): 2300228 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65132 kB
Writeback: 4 kB
AnonPages: 337064 kB
Mapped: 107496 kB
Shmem: 45896 kB
KReclaimable: 91744 kB
Slab: 194604 kB
SReclaimable: 91744 kB
SUnreclaim: 102860 kB
KernelStack: 3748 kB
PageTables: 10112 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 713284 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62016 kB
HardwareCorrupted: 0 kB
AnonHugePages: 217088 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 279368 kB
DirectMap2M: 27936768 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723720 MiB
End job on nodeC007 at 2024-07-20 12:28:55