0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
299.18/300.18 c [STEP] preprocessing done, loading into solver
299.18/300.18 c [STEP] solving
299.18/300.18 c #variables 1638 #constraints 3207
299.18/300.18 c SMALL=int, LARGE=long long
299.18/300.18 d SCIPUB 885
299.18/300.18 c bounds - >= 0 @ 299.007
299.18/300.18 c stratification level: 0
299.28/300.23 c bounds - >= 658 @ 299.014
299.28/300.23 c bounds - >= 659 @ 299.015
299.28/300.23 c bounds - >= 660 @ 299.015
299.28/300.23 c bounds - >= 661 @ 299.015
299.28/300.23 c bounds - >= 662 @ 299.015
299.28/300.23 c bounds - >= 663 @ 299.015
299.28/300.23 c bounds - >= 664 @ 299.015
299.28/300.23 c bounds - >= 665 @ 299.015
299.28/300.23 c bounds - >= 666 @ 299.015
299.28/300.23 c bounds - >= 667 @ 299.016
299.28/300.23 c bounds - >= 668 @ 299.016
299.28/300.23 c bounds - >= 669 @ 299.016
299.28/300.23 c bounds - >= 670 @ 299.016
299.28/300.23 c bounds - >= 671 @ 299.016
299.28/300.23 c bounds - >= 672 @ 299.017
299.28/300.23 c bounds - >= 673 @ 299.017
299.28/300.23 c bounds - >= 674 @ 299.017
299.28/300.23 c bounds - >= 675 @ 299.017
299.28/300.23 c bounds - >= 676 @ 299.018
299.28/300.23 c bounds - >= 677 @ 299.018
299.28/300.23 c bounds - >= 678 @ 299.018
299.28/300.23 c bounds - >= 679 @ 299.018
299.28/300.23 c bounds - >= 680 @ 299.019
299.28/300.23 c bounds - >= 681 @ 299.019
299.28/300.23 c bounds - >= 682 @ 299.019
299.28/300.23 c bounds - >= 683 @ 299.019
299.28/300.23 c bounds - >= 684 @ 299.019
299.28/300.23 c bounds - >= 685 @ 299.02
299.28/300.23 c bounds - >= 686 @ 299.02
299.28/300.23 c bounds - >= 687 @ 299.02
299.28/300.23 c bounds - >= 688 @ 299.02
299.28/300.23 c bounds - >= 689 @ 299.021
299.28/300.23 c bounds - >= 690 @ 299.021
299.28/300.23 c bounds - >= 691 @ 299.021
299.28/300.23 c bounds - >= 692 @ 299.021
299.28/300.23 c bounds - >= 693 @ 299.022
299.28/300.23 c bounds - >= 694 @ 299.022
299.28/300.23 c bounds - >= 695 @ 299.022
299.28/300.23 c bounds - >= 696 @ 299.022
299.28/300.23 c bounds - >= 697 @ 299.023
299.28/300.23 c bounds - >= 698 @ 299.023
299.28/300.23 c bounds - >= 699 @ 299.023
299.28/300.23 c bounds - >= 700 @ 299.023
299.28/300.23 c bounds - >= 701 @ 299.024
299.28/300.23 c bounds - >= 702 @ 299.024
299.28/300.23 c bounds - >= 703 @ 299.024
299.28/300.23 c bounds - >= 704 @ 299.024
299.28/300.23 c bounds - >= 705 @ 299.025
299.28/300.23 c bounds - >= 706 @ 299.025
299.28/300.23 c bounds - >= 707 @ 299.025
299.28/300.23 c bounds - >= 708 @ 299.025
299.28/300.23 c bounds - >= 709 @ 299.026
299.28/300.23 c bounds - >= 710 @ 299.026
299.28/300.23 c bounds - >= 711 @ 299.026
299.28/300.23 c bounds - >= 712 @ 299.026
299.28/300.23 c bounds - >= 713 @ 299.026
299.28/300.23 c bounds - >= 714 @ 299.026
299.28/300.23 c bounds - >= 715 @ 299.026
299.28/300.23 c bounds - >= 716 @ 299.027
299.28/300.23 c bounds - >= 717 @ 299.027
299.28/300.23 c bounds - >= 718 @ 299.027
299.28/300.23 c bounds - >= 719 @ 299.027
299.28/300.23 c bounds - >= 720 @ 299.028
299.28/300.23 c bounds - >= 721 @ 299.028
299.28/300.23 c bounds - >= 722 @ 299.028
299.28/300.23 c bounds - >= 723 @ 299.028
299.28/300.23 c bounds - >= 724 @ 299.029
299.28/300.23 c bounds - >= 725 @ 299.029
299.28/300.23 c bounds - >= 726 @ 299.029
299.28/300.23 c bounds - >= 727 @ 299.029
299.28/300.23 c bounds - >= 728 @ 299.029
299.28/300.23 c bounds - >= 729 @ 299.029
299.28/300.23 c bounds - >= 730 @ 299.029
299.28/300.23 c bounds - >= 731 @ 299.03
299.28/300.23 c bounds - >= 732 @ 299.03
299.28/300.23 c bounds - >= 733 @ 299.03
299.28/300.23 c bounds - >= 734 @ 299.031
299.28/300.23 c bounds - >= 735 @ 299.031
299.28/300.23 c bounds - >= 736 @ 299.031
299.28/300.23 c bounds - >= 737 @ 299.031
299.28/300.23 c bounds - >= 738 @ 299.032
299.28/300.23 c bounds - >= 739 @ 299.032
299.28/300.23 c bounds - >= 740 @ 299.032
299.28/300.23 c bounds - >= 741 @ 299.032
299.28/300.23 c bounds - >= 742 @ 299.033
299.28/300.23 c bounds - >= 743 @ 299.033
299.28/300.23 c bounds - >= 744 @ 299.033
299.28/300.23 c bounds - >= 745 @ 299.034
299.28/300.23 c bounds - >= 746 @ 299.034
299.28/300.23 c bounds - >= 747 @ 299.034
299.28/300.23 c bounds - >= 748 @ 299.034
299.28/300.23 c bounds - >= 749 @ 299.035
299.28/300.23 c bounds - >= 750 @ 299.035
299.28/300.23 c bounds - >= 751 @ 299.035
299.28/300.23 c bounds - >= 752 @ 299.036
299.28/300.23 c bounds - >= 753 @ 299.036
299.28/300.23 c bounds - >= 754 @ 299.036
299.28/300.23 c bounds - >= 755 @ 299.036
299.28/300.23 c bounds - >= 756 @ 299.036
299.28/300.23 c bounds - >= 757 @ 299.036
299.28/300.23 c bounds - >= 758 @ 299.036
299.28/300.23 c bounds - >= 759 @ 299.037
299.28/300.23 c bounds - >= 760 @ 299.037
299.28/300.23 c bounds - >= 761 @ 299.037
299.28/300.23 c bounds - >= 762 @ 299.037
299.28/300.23 c bounds - >= 763 @ 299.037
299.28/300.23 c bounds - >= 764 @ 299.037
299.28/300.23 c bounds - >= 765 @ 299.038
299.28/300.23 c bounds - >= 766 @ 299.038
299.28/300.23 c bounds - >= 767 @ 299.038
299.28/300.23 c bounds - >= 768 @ 299.039
299.28/300.23 c bounds - >= 769 @ 299.039
299.28/300.23 c bounds - >= 770 @ 299.039
299.28/300.23 c bounds - >= 771 @ 299.039
299.28/300.23 c bounds - >= 772 @ 299.039
299.28/300.23 c bounds - >= 773 @ 299.039
299.28/300.23 c bounds - >= 774 @ 299.04
299.28/300.23 c bounds - >= 775 @ 299.04
299.28/300.23 c bounds - >= 776 @ 299.04
299.28/300.23 c bounds - >= 777 @ 299.04
299.28/300.23 c bounds - >= 778 @ 299.04
299.28/300.23 c bounds - >= 779 @ 299.04
299.28/300.23 c bounds - >= 780 @ 299.041
299.28/300.23 c bounds - >= 781 @ 299.041
299.28/300.23 c bounds - >= 782 @ 299.041
299.28/300.23 c bounds - >= 783 @ 299.041
299.28/300.23 c bounds - >= 784 @ 299.041
299.28/300.23 c bounds - >= 785 @ 299.042
299.28/300.23 c bounds - >= 786 @ 299.042
299.28/300.23 c bounds - >= 787 @ 299.042
299.28/300.23 c bounds - >= 788 @ 299.042
299.28/300.23 c bounds - >= 789 @ 299.042
299.28/300.23 c bounds - >= 790 @ 299.042
299.28/300.23 c bounds - >= 791 @ 299.043
299.28/300.23 c bounds - >= 792 @ 299.043
299.28/300.23 c bounds - >= 793 @ 299.043
299.28/300.23 c bounds - >= 794 @ 299.044
299.28/300.23 c bounds - >= 795 @ 299.044
299.28/300.23 c bounds - >= 796 @ 299.044
299.28/300.23 c bounds - >= 797 @ 299.045
299.28/300.23 c bounds - >= 798 @ 299.045
299.28/300.23 c bounds - >= 799 @ 299.046
299.28/300.23 c bounds - >= 800 @ 299.046
299.28/300.23 c bounds - >= 801 @ 299.046
299.28/300.23 c bounds - >= 802 @ 299.047
299.28/300.23 c bounds - >= 803 @ 299.047
299.28/300.23 c bounds - >= 804 @ 299.047
351.33/352.43 c bounds - >= 805 @ 299.047
351.33/352.43 c bounds - >= 806 @ 299.048
351.33/352.43 c #Conflicts: 1000 | #Constraints: 5157
351.33/352.43 c #Conflicts: 2000 | #Constraints: 6157
351.33/352.43 c INPROCESSING
351.33/352.43 c GARBAGE COLLECT
351.33/352.43 c #Conflicts: 3000 | #Constraints: 6000
351.33/352.43 c #Conflicts: 4000 | #Constraints: 7000
351.33/352.43 c INPROCESSING
351.33/352.43 c GARBAGE COLLECT
351.33/352.43 c #Conflicts: 5000 | #Constraints: 6393
351.33/352.43 c #Conflicts: 6000 | #Constraints: 7393
351.33/352.43 c INPROCESSING
351.33/352.43 c GARBAGE COLLECT
351.33/352.43 c #Conflicts: 7000 | #Constraints: 6390
351.33/352.43 c #Conflicts: 8000 | #Constraints: 7390
351.33/352.43 c #Conflicts: 9000 | #Constraints: 8390
351.33/352.43 c INPROCESSING
351.33/352.43 c GARBAGE COLLECT
351.33/352.43 c #Conflicts: 10000 | #Constraints: 7082
351.33/352.43 c #Conflicts: 11000 | #Constraints: 8082
351.33/352.43 c #Conflicts: 12000 | #Constraints: 9082
351.33/352.43 c INPROCESSING
351.33/352.43 c GARBAGE COLLECT
351.33/352.43 c #Conflicts: 13000 | #Constraints: 7528
351.33/352.43 c #Conflicts: 14000 | #Constraints: 8528
351.33/352.43 c #Conflicts: 15000 | #Constraints: 9528
351.33/352.43 c INPROCESSING
351.33/352.43 c GARBAGE COLLECT
351.33/352.43 c #Conflicts: 16000 | #Constraints: 7740
351.33/352.43 c #Conflicts: 17000 | #Constraints: 8740
351.33/352.43 c #Conflicts: 18000 | #Constraints: 9740
351.33/352.43 c INPROCESSING
351.33/352.43 c GARBAGE COLLECT
351.33/352.43 c #Conflicts: 19000 | #Constraints: 7765
351.33/352.43 c #Conflicts: 20000 | #Constraints: 8765
351.33/352.43 c #Conflicts: 21000 | #Constraints: 9765
351.33/352.43 c INPROCESSING
351.33/352.43 c GARBAGE COLLECT
351.33/352.43 c #Conflicts: 22000 | #Constraints: 7570
351.33/352.43 c #Conflicts: 23000 | #Constraints: 8570
351.33/352.43 c #Conflicts: 24000 | #Constraints: 9570
351.33/352.43 c #Conflicts: 25000 | #Constraints: 10570
351.33/352.43 c INPROCESSING
351.33/352.43 c GARBAGE COLLECT
351.33/352.43 c #Conflicts: 26000 | #Constraints: 8167
351.33/352.43 c #Conflicts: 27000 | #Constraints: 9167
351.33/352.43 c #Conflicts: 28000 | #Constraints: 10167
351.33/352.43 c #Conflicts: 29000 | #Constraints: 11167
351.33/352.43 c INPROCESSING
351.33/352.43 c GARBAGE COLLECT
351.33/352.43 c #Conflicts: 30000 | #Constraints: 8569
351.33/352.43 c #Conflicts: 31000 | #Constraints: 9569
351.33/352.43 c #Conflicts: 32000 | #Constraints: 10569
351.33/352.43 c #Conflicts: 33000 | #Constraints: 11569
351.33/352.43 c INPROCESSING
351.33/352.43 c GARBAGE COLLECT
351.33/352.43 c #Conflicts: 34000 | #Constraints: 8770
351.33/352.43 c #Conflicts: 35000 | #Constraints: 9770
351.33/352.43 c #Conflicts: 36000 | #Constraints: 10770
351.33/352.43 c #Conflicts: 37000 | #Constraints: 11770
351.33/352.43 c INPROCESSING
351.33/352.43 c GARBAGE COLLECT
351.33/352.43 c #Conflicts: 38000 | #Constraints: 8769
351.33/352.43 c #Conflicts: 39000 | #Constraints: 9769
351.33/352.43 c #Conflicts: 40000 | #Constraints: 10769
351.33/352.43 c #Conflicts: 41000 | #Constraints: 11769
351.33/352.43 c INPROCESSING
351.33/352.43 c GARBAGE COLLECT
351.33/352.43 c #Conflicts: 42000 | #Constraints: 8579
351.33/352.43 c #Conflicts: 43000 | #Constraints: 9579
351.33/352.43 c #Conflicts: 44000 | #Constraints: 10579
351.33/352.43 c #Conflicts: 45000 | #Constraints: 11579
351.33/352.43 c #Conflicts: 46000 | #Constraints: 12579
351.33/352.43 c INPROCESSING
351.33/352.43 c GARBAGE COLLECT
351.33/352.43 c #Conflicts: 47000 | #Constraints: 9177
351.33/352.43 c #Conflicts: 48000 | #Constraints: 10177
351.33/352.43 c #Conflicts: 49000 | #Constraints: 11177
351.33/352.43 c #Conflicts: 50000 | #Constraints: 12177
351.33/352.43 c #Conflicts: 51000 | #Constraints: 13177
351.33/352.43 c INPROCESSING
351.33/352.43 c GARBAGE COLLECT
351.33/352.43 c #Conflicts: 52000 | #Constraints: 9576
351.33/352.43 c #Conflicts: 53000 | #Constraints: 10576
351.33/352.43 c #Conflicts: 54000 | #Constraints: 11576
351.33/352.43 c #Conflicts: 55000 | #Constraints: 12576
351.33/352.43 c #Conflicts: 56000 | #Constraints: 13576
351.33/352.43 c INPROCESSING
351.33/352.43 c GARBAGE COLLECT
351.33/352.43 c #Conflicts: 57000 | #Constraints: 9776
351.33/352.43 c #Conflicts: 58000 | #Constraints: 10776
351.33/352.43 c #Conflicts: 59000 | #Constraints: 11776
351.33/352.43 c #Conflicts: 60000 | #Constraints: 12776
351.33/352.43 c #Conflicts: 61000 | #Constraints: 13776
351.33/352.43 c INPROCESSING
351.33/352.43 c GARBAGE COLLECT
351.33/352.43 c #Conflicts: 62000 | #Constraints: 9775
351.33/352.43 c #Conflicts: 63000 | #Constraints: 10775
351.33/352.43 c #Conflicts: 64000 | #Constraints: 11775
351.33/352.43 c #Conflicts: 65000 | #Constraints: 12775
351.33/352.43 c #Conflicts: 66000 | #Constraints: 13775
351.33/352.43 c INPROCESSING
351.33/352.43 c GARBAGE COLLECT
351.33/352.43 c #Conflicts: 67000 | #Constraints: 9573
417.63/418.90 c #Conflicts: 68000 | #Constraints: 10573
417.63/418.90 c #Conflicts: 69000 | #Constraints: 11573
417.63/418.90 c #Conflicts: 70000 | #Constraints: 12573
417.63/418.90 c #Conflicts: 71000 | #Constraints: 13573
417.63/418.90 c #Conflicts: 72000 | #Constraints: 14573
417.63/418.90 c INPROCESSING
417.63/418.90 c GARBAGE COLLECT
417.63/418.90 c #Conflicts: 73000 | #Constraints: 10173
417.63/418.90 c #Conflicts: 74000 | #Constraints: 11173
417.63/418.90 c #Conflicts: 75000 | #Constraints: 12173
417.63/418.90 c #Conflicts: 76000 | #Constraints: 13173
417.63/418.90 c #Conflicts: 77000 | #Constraints: 14173
417.63/418.90 c #Conflicts: 78000 | #Constraints: 15173
417.63/418.90 c INPROCESSING
417.63/418.90 c GARBAGE COLLECT
417.63/418.90 c #Conflicts: 79000 | #Constraints: 10592
417.63/418.90 c #Conflicts: 80000 | #Constraints: 11592
417.63/418.90 c bounds - >= 807 @ 366.427
417.63/418.90 c #Conflicts: 81000 | #Constraints: 12593
417.63/418.90 c #Conflicts: 82000 | #Constraints: 13593
417.63/418.90 c #Conflicts: 83000 | #Constraints: 14593
417.63/418.90 c #Conflicts: 84000 | #Constraints: 15593
417.63/418.90 c INPROCESSING
417.63/418.90 c GARBAGE COLLECT
417.63/418.90 c #Conflicts: 85000 | #Constraints: 10797
417.63/418.90 c #Conflicts: 86000 | #Constraints: 11797
417.63/418.90 c #Conflicts: 87000 | #Constraints: 12797
417.63/418.90 c #Conflicts: 88000 | #Constraints: 13797
417.63/418.90 c #Conflicts: 89000 | #Constraints: 14797
417.63/418.90 c #Conflicts: 90000 | #Constraints: 15797
417.63/418.90 c INPROCESSING
417.63/418.90 c GARBAGE COLLECT
417.63/418.90 c #Conflicts: 91000 | #Constraints: 10798
417.63/418.90 c #Conflicts: 92000 | #Constraints: 11798
417.63/418.90 c #Conflicts: 93000 | #Constraints: 12798
417.63/418.90 c #Conflicts: 94000 | #Constraints: 13798
417.63/418.90 c #Conflicts: 95000 | #Constraints: 14798
417.63/418.90 c #Conflicts: 96000 | #Constraints: 15798
417.63/418.90 c INPROCESSING
417.63/418.90 c GARBAGE COLLECT
417.63/418.90 c #Conflicts: 97000 | #Constraints: 10593
417.63/418.90 c #Conflicts: 98000 | #Constraints: 11593
417.63/418.90 c #Conflicts: 99000 | #Constraints: 12593
417.63/418.90 c #Conflicts: 100000 | #Constraints: 13593
417.63/418.90 c #Conflicts: 101000 | #Constraints: 14593
417.63/418.90 c #Conflicts: 102000 | #Constraints: 15593
417.63/418.90 c #Conflicts: 103000 | #Constraints: 16593
417.63/418.90 c INPROCESSING
417.63/418.90 c GARBAGE COLLECT
417.63/418.90 c #Conflicts: 104000 | #Constraints: 11180
417.63/418.90 c #Conflicts: 105000 | #Constraints: 12180
417.63/418.90 c #Conflicts: 106000 | #Constraints: 13180
417.63/418.90 c #Conflicts: 107000 | #Constraints: 14180
417.63/418.90 c #Conflicts: 108000 | #Constraints: 15180
417.63/418.90 c #Conflicts: 109000 | #Constraints: 16180
417.63/418.90 c #Conflicts: 110000 | #Constraints: 17180
417.63/418.90 c INPROCESSING
417.63/418.90 c GARBAGE COLLECT
417.63/418.90 c #Conflicts: 111000 | #Constraints: 11578
417.63/418.90 c #Conflicts: 112000 | #Constraints: 12578
417.63/418.90 c #Conflicts: 113000 | #Constraints: 13578
417.63/418.90 c #Conflicts: 114000 | #Constraints: 14578
417.63/418.90 c #Conflicts: 115000 | #Constraints: 15578
417.63/418.90 c #Conflicts: 116000 | #Constraints: 16578
417.63/418.90 c #Conflicts: 117000 | #Constraints: 17578
417.63/418.90 c INPROCESSING
417.63/418.90 c GARBAGE COLLECT
417.63/418.90 c #Conflicts: 118000 | #Constraints: 11782
417.63/418.90 c #Conflicts: 119000 | #Constraints: 12782
417.63/418.90 c #Conflicts: 120000 | #Constraints: 13782
417.63/418.90 c #Conflicts: 121000 | #Constraints: 14782
417.63/418.90 c #Conflicts: 122000 | #Constraints: 15782
417.63/418.90 c #Conflicts: 123000 | #Constraints: 16782
417.63/418.90 c #Conflicts: 124000 | #Constraints: 17782
417.63/418.90 c INPROCESSING
417.63/418.90 c GARBAGE COLLECT
417.63/418.90 c #Conflicts: 125000 | #Constraints: 11774
417.63/418.90 c #Conflicts: 126000 | #Constraints: 12774
417.63/418.90 c #Conflicts: 127000 | #Constraints: 13774
417.63/418.90 c #Conflicts: 128000 | #Constraints: 14774
417.63/418.90 c #Conflicts: 129000 | #Constraints: 15774
417.63/418.90 c #Conflicts: 130000 | #Constraints: 16774
417.63/418.90 c #Conflicts: 131000 | #Constraints: 17774
417.63/418.90 c INPROCESSING
417.63/418.90 c GARBAGE COLLECT
417.63/418.90 c #Conflicts: 132000 | #Constraints: 11561
417.63/418.90 c #Conflicts: 133000 | #Constraints: 12561
417.63/418.90 c #Conflicts: 134000 | #Constraints: 13561
417.63/418.90 c #Conflicts: 135000 | #Constraints: 14561
417.63/418.90 c #Conflicts: 136000 | #Constraints: 15561
417.63/418.90 c #Conflicts: 137000 | #Constraints: 16561
417.63/418.90 c #Conflicts: 138000 | #Constraints: 17561
417.63/418.90 c #Conflicts: 139000 | #Constraints: 18561
521.92/523.51 c INPROCESSING
521.92/523.51 c GARBAGE COLLECT
521.92/523.51 c #Conflicts: 140000 | #Constraints: 12158
521.92/523.51 c #Conflicts: 141000 | #Constraints: 13158
521.92/523.51 c #Conflicts: 142000 | #Constraints: 14158
521.92/523.51 c #Conflicts: 143000 | #Constraints: 15158
521.92/523.51 c #Conflicts: 144000 | #Constraints: 16158
521.92/523.51 c #Conflicts: 145000 | #Constraints: 17158
521.92/523.51 c #Conflicts: 146000 | #Constraints: 18158
521.92/523.51 c #Conflicts: 147000 | #Constraints: 19158
521.92/523.51 c INPROCESSING
521.92/523.51 c GARBAGE COLLECT
521.92/523.51 c #Conflicts: 148000 | #Constraints: 12558
521.92/523.51 c #Conflicts: 149000 | #Constraints: 13558
521.92/523.51 c #Conflicts: 150000 | #Constraints: 14558
521.92/523.51 c #Conflicts: 151000 | #Constraints: 15558
521.92/523.51 c #Conflicts: 152000 | #Constraints: 16558
521.92/523.51 c #Conflicts: 153000 | #Constraints: 17558
521.92/523.51 c #Conflicts: 154000 | #Constraints: 18558
521.92/523.51 c #Conflicts: 155000 | #Constraints: 19558
521.92/523.51 c INPROCESSING
521.92/523.51 c GARBAGE COLLECT
521.92/523.51 c #Conflicts: 156000 | #Constraints: 12753
521.92/523.51 c #Conflicts: 157000 | #Constraints: 13753
521.92/523.51 c #Conflicts: 158000 | #Constraints: 14753
521.92/523.51 c #Conflicts: 159000 | #Constraints: 15753
521.92/523.51 c #Conflicts: 160000 | #Constraints: 16753
521.92/523.51 c #Conflicts: 161000 | #Constraints: 17753
521.92/523.51 c #Conflicts: 162000 | #Constraints: 18753
521.92/523.51 c #Conflicts: 163000 | #Constraints: 19753
521.92/523.51 c INPROCESSING
521.92/523.51 c GARBAGE COLLECT
521.92/523.51 c #Conflicts: 164000 | #Constraints: 12750
521.92/523.51 c #Conflicts: 165000 | #Constraints: 13750
521.92/523.51 c #Conflicts: 166000 | #Constraints: 14750
521.92/523.51 c #Conflicts: 167000 | #Constraints: 15750
521.92/523.51 c #Conflicts: 168000 | #Constraints: 16750
521.92/523.51 c #Conflicts: 169000 | #Constraints: 17750
521.92/523.51 c #Conflicts: 170000 | #Constraints: 18750
521.92/523.51 c #Conflicts: 171000 | #Constraints: 19750
521.92/523.51 c INPROCESSING
521.92/523.51 c GARBAGE COLLECT
521.92/523.51 c #Conflicts: 172000 | #Constraints: 12543
521.92/523.51 c #Conflicts: 173000 | #Constraints: 13543
521.92/523.51 c #Conflicts: 174000 | #Constraints: 14543
521.92/523.51 c #Conflicts: 175000 | #Constraints: 15543
521.92/523.51 c #Conflicts: 176000 | #Constraints: 16543
521.92/523.51 c #Conflicts: 177000 | #Constraints: 17543
521.92/523.51 c #Conflicts: 178000 | #Constraints: 18543
521.92/523.51 c #Conflicts: 179000 | #Constraints: 19543
521.92/523.51 c #Conflicts: 180000 | #Constraints: 20543
521.92/523.51 c INPROCESSING
521.92/523.51 c GARBAGE COLLECT
521.92/523.51 c #Conflicts: 181000 | #Constraints: 13150
521.92/523.51 c #Conflicts: 182000 | #Constraints: 14150
521.92/523.51 c #Conflicts: 183000 | #Constraints: 15150
521.92/523.51 c #Conflicts: 184000 | #Constraints: 16150
521.92/523.51 c #Conflicts: 185000 | #Constraints: 17150
521.92/523.51 c #Conflicts: 186000 | #Constraints: 18150
521.92/523.51 c #Conflicts: 187000 | #Constraints: 19150
521.92/523.51 c #Conflicts: 188000 | #Constraints: 20150
521.92/523.51 c #Conflicts: 189000 | #Constraints: 21150
521.92/523.51 c INPROCESSING
521.92/523.51 c GARBAGE COLLECT
521.92/523.51 c #Conflicts: 190000 | #Constraints: 13558
521.92/523.51 c #Conflicts: 191000 | #Constraints: 14558
521.92/523.51 c #Conflicts: 192000 | #Constraints: 15558
521.92/523.51 c #Conflicts: 193000 | #Constraints: 16558
521.92/523.51 c #Conflicts: 194000 | #Constraints: 17558
521.92/523.51 c #Conflicts: 195000 | #Constraints: 18558
521.92/523.51 c #Conflicts: 196000 | #Constraints: 19558
521.92/523.51 c #Conflicts: 197000 | #Constraints: 20558
521.92/523.51 c #Conflicts: 198000 | #Constraints: 21558
521.92/523.51 c INPROCESSING
521.92/523.51 c GARBAGE COLLECT
521.92/523.51 c #Conflicts: 199000 | #Constraints: 13765
521.92/523.51 c #Conflicts: 200000 | #Constraints: 14765
521.92/523.51 c #Conflicts: 201000 | #Constraints: 15765
521.92/523.51 c #Conflicts: 202000 | #Constraints: 16765
521.92/523.51 c #Conflicts: 203000 | #Constraints: 17765
521.92/523.51 c #Conflicts: 204000 | #Constraints: 18765
521.92/523.51 c #Conflicts: 205000 | #Constraints: 19765
521.92/523.51 c #Conflicts: 206000 | #Constraints: 20765
521.92/523.51 c #Conflicts: 207000 | #Constraints: 21765
521.92/523.51 c INPROCESSING
521.92/523.51 c GARBAGE COLLECT
521.92/523.51 c #Conflicts: 208000 | #Constraints: 13758
521.92/523.51 c #Conflicts: 209000 | #Constraints: 14758
521.92/523.51 c #Conflicts: 210000 | #Constraints: 15758
521.92/523.51 c #Conflicts: 211000 | #Constraints: 16758
521.92/523.51 c #Conflicts: 212000 | #Constraints: 17758
647.87/649.81 c #Conflicts: 213000 | #Constraints: 18758
647.87/649.81 c #Conflicts: 214000 | #Constraints: 19758
647.87/649.81 c #Conflicts: 215000 | #Constraints: 20758
647.87/649.81 c #Conflicts: 216000 | #Constraints: 21758
647.87/649.81 c INPROCESSING
647.87/649.81 c GARBAGE COLLECT
647.87/649.81 c #Conflicts: 217000 | #Constraints: 13561
647.87/649.81 c #Conflicts: 218000 | #Constraints: 14561
647.87/649.81 c #Conflicts: 219000 | #Constraints: 15561
647.87/649.81 c #Conflicts: 220000 | #Constraints: 16561
647.87/649.81 c #Conflicts: 221000 | #Constraints: 17561
647.87/649.81 c #Conflicts: 222000 | #Constraints: 18561
647.87/649.81 c #Conflicts: 223000 | #Constraints: 19561
647.87/649.81 c #Conflicts: 224000 | #Constraints: 20561
647.87/649.81 c #Conflicts: 225000 | #Constraints: 21561
647.87/649.81 c #Conflicts: 226000 | #Constraints: 22561
647.87/649.81 c INPROCESSING
647.87/649.81 c GARBAGE COLLECT
647.87/649.81 c #Conflicts: 227000 | #Constraints: 14170
647.87/649.81 c #Conflicts: 228000 | #Constraints: 15170
647.87/649.81 c #Conflicts: 229000 | #Constraints: 16170
647.87/649.81 c #Conflicts: 230000 | #Constraints: 17170
647.87/649.81 c #Conflicts: 231000 | #Constraints: 18170
647.87/649.81 c #Conflicts: 232000 | #Constraints: 19170
647.87/649.81 c #Conflicts: 233000 | #Constraints: 20170
647.87/649.81 c #Conflicts: 234000 | #Constraints: 21170
647.87/649.81 c #Conflicts: 235000 | #Constraints: 22170
647.87/649.81 c #Conflicts: 236000 | #Constraints: 23170
647.87/649.81 c INPROCESSING
647.87/649.81 c GARBAGE COLLECT
647.87/649.81 c #Conflicts: 237000 | #Constraints: 14569
647.87/649.81 c #Conflicts: 238000 | #Constraints: 15569
647.87/649.81 c #Conflicts: 239000 | #Constraints: 16569
647.87/649.81 c #Conflicts: 240000 | #Constraints: 17569
647.87/649.81 c #Conflicts: 241000 | #Constraints: 18569
647.87/649.81 c #Conflicts: 242000 | #Constraints: 19569
647.87/649.81 c #Conflicts: 243000 | #Constraints: 20569
647.87/649.81 c #Conflicts: 244000 | #Constraints: 21569
647.87/649.81 c #Conflicts: 245000 | #Constraints: 22569
647.87/649.81 c #Conflicts: 246000 | #Constraints: 23569
647.87/649.81 c INPROCESSING
647.87/649.81 c GARBAGE COLLECT
647.87/649.81 c #Conflicts: 247000 | #Constraints: 14763
647.87/649.81 c #Conflicts: 248000 | #Constraints: 15763
647.87/649.81 c #Conflicts: 249000 | #Constraints: 16763
647.87/649.81 c #Conflicts: 250000 | #Constraints: 17763
647.87/649.81 c #Conflicts: 251000 | #Constraints: 18763
647.87/649.81 c #Conflicts: 252000 | #Constraints: 19763
647.87/649.81 c #Conflicts: 253000 | #Constraints: 20763
647.87/649.81 c #Conflicts: 254000 | #Constraints: 21763
647.87/649.81 c #Conflicts: 255000 | #Constraints: 22763
647.87/649.81 c #Conflicts: 256000 | #Constraints: 23763
647.87/649.81 c INPROCESSING
647.87/649.81 c GARBAGE COLLECT
647.87/649.81 c #Conflicts: 257000 | #Constraints: 14752
647.87/649.81 c #Conflicts: 258000 | #Constraints: 15752
647.87/649.81 c #Conflicts: 259000 | #Constraints: 16752
647.87/649.81 c #Conflicts: 260000 | #Constraints: 17752
647.87/649.81 c #Conflicts: 261000 | #Constraints: 18752
647.87/649.81 c #Conflicts: 262000 | #Constraints: 19752
647.87/649.81 c #Conflicts: 263000 | #Constraints: 20752
647.87/649.81 c #Conflicts: 264000 | #Constraints: 21752
647.87/649.81 c #Conflicts: 265000 | #Constraints: 22752
647.87/649.81 c #Conflicts: 266000 | #Constraints: 23752
647.87/649.81 c INPROCESSING
647.87/649.81 c GARBAGE COLLECT
647.87/649.81 c #Conflicts: 267000 | #Constraints: 14568
647.87/649.81 c #Conflicts: 268000 | #Constraints: 15568
647.87/649.81 c #Conflicts: 269000 | #Constraints: 16568
647.87/649.81 c #Conflicts: 270000 | #Constraints: 17568
647.87/649.81 c #Conflicts: 271000 | #Constraints: 18568
647.87/649.81 c #Conflicts: 272000 | #Constraints: 19568
647.87/649.81 c #Conflicts: 273000 | #Constraints: 20568
647.87/649.81 c #Conflicts: 274000 | #Constraints: 21568
647.87/649.81 c #Conflicts: 275000 | #Constraints: 22568
647.87/649.81 c #Conflicts: 276000 | #Constraints: 23568
647.87/649.81 c #Conflicts: 277000 | #Constraints: 24568
647.87/649.81 c INPROCESSING
647.87/649.81 c GARBAGE COLLECT
647.87/649.81 c #Conflicts: 278000 | #Constraints: 15166
647.87/649.81 c #Conflicts: 279000 | #Constraints: 16166
647.87/649.81 c #Conflicts: 280000 | #Constraints: 17166
647.87/649.81 c #Conflicts: 281000 | #Constraints: 18166
647.87/649.81 c #Conflicts: 282000 | #Constraints: 19166
647.87/649.81 c #Conflicts: 283000 | #Constraints: 20166
647.87/649.81 c #Conflicts: 284000 | #Constraints: 21166
647.87/649.81 c #Conflicts: 285000 | #Constraints: 22166
647.87/649.81 c #Conflicts: 286000 | #Constraints: 23166
719.91/722.08 c #Conflicts: 287000 | #Constraints: 24166
719.91/722.08 c #Conflicts: 288000 | #Constraints: 25166
719.91/722.08 c INPROCESSING
719.91/722.08 c GARBAGE COLLECT
719.91/722.08 c #Conflicts: 289000 | #Constraints: 15556
719.91/722.08 c #Conflicts: 290000 | #Constraints: 16556
719.91/722.08 c #Conflicts: 291000 | #Constraints: 17556
719.91/722.08 c #Conflicts: 292000 | #Constraints: 18556
719.91/722.08 c #Conflicts: 293000 | #Constraints: 19556
719.91/722.08 c #Conflicts: 294000 | #Constraints: 20556
719.91/722.08 c #Conflicts: 295000 | #Constraints: 21556
719.91/722.08 c #Conflicts: 296000 | #Constraints: 22556
719.91/722.08 c #Conflicts: 297000 | #Constraints: 23556
719.91/722.08 c #Conflicts: 298000 | #Constraints: 24556
719.91/722.08 c #Conflicts: 299000 | #Constraints: 25556
719.91/722.08 c INPROCESSING
719.91/722.08 c GARBAGE COLLECT
719.91/722.08 c #Conflicts: 300000 | #Constraints: 15749
719.91/722.08 c #Conflicts: 301000 | #Constraints: 16749
719.91/722.08 c #Conflicts: 302000 | #Constraints: 17749
719.91/722.08 c #Conflicts: 303000 | #Constraints: 18749
719.91/722.08 c #Conflicts: 304000 | #Constraints: 19749
719.91/722.08 c #Conflicts: 305000 | #Constraints: 20749
719.91/722.08 c #Conflicts: 306000 | #Constraints: 21749
719.91/722.08 c #Conflicts: 307000 | #Constraints: 22749
719.91/722.08 c #Conflicts: 308000 | #Constraints: 23749
719.91/722.08 c #Conflicts: 309000 | #Constraints: 24749
719.91/722.08 c #Conflicts: 310000 | #Constraints: 25749
719.91/722.08 c INPROCESSING
719.91/722.08 c GARBAGE COLLECT
719.91/722.08 c #Conflicts: 311000 | #Constraints: 15741
719.91/722.08 c #Conflicts: 312000 | #Constraints: 16741
719.91/722.08 c #Conflicts: 313000 | #Constraints: 17741
719.91/722.08 c #Conflicts: 314000 | #Constraints: 18741
719.91/722.08 c #Conflicts: 315000 | #Constraints: 19741
719.91/722.08 c #Conflicts: 316000 | #Constraints: 20741
719.91/722.08 c #Conflicts: 317000 | #Constraints: 21741
719.91/722.08 c #Conflicts: 318000 | #Constraints: 22741
719.91/722.08 c #Conflicts: 319000 | #Constraints: 23741
719.91/722.08 c #Conflicts: 320000 | #Constraints: 24741
719.91/722.08 c #Conflicts: 321000 | #Constraints: 25741
719.91/722.08 c INPROCESSING
719.91/722.08 c GARBAGE COLLECT
719.91/722.08 c #Conflicts: 322000 | #Constraints: 15543
719.91/722.08 c #Conflicts: 323000 | #Constraints: 16543
719.91/722.08 c #Conflicts: 324000 | #Constraints: 17543
719.91/722.08 c #Conflicts: 325000 | #Constraints: 18543
719.91/722.08 c #Conflicts: 326000 | #Constraints: 19543
719.91/722.08 c #Conflicts: 327000 | #Constraints: 20543
719.91/722.08 c #Conflicts: 328000 | #Constraints: 21543
719.91/722.08 c #Conflicts: 329000 | #Constraints: 22543
719.91/722.08 c #Conflicts: 330000 | #Constraints: 23543
719.91/722.08 c #Conflicts: 331000 | #Constraints: 24543
719.91/722.08 c #Conflicts: 332000 | #Constraints: 25543
719.91/722.08 c #Conflicts: 333000 | #Constraints: 26543
719.91/722.08 c INPROCESSING
719.91/722.08 c GARBAGE COLLECT
719.91/722.08 c #Conflicts: 334000 | #Constraints: 16147
719.91/722.08 c #Conflicts: 335000 | #Constraints: 17147
719.91/722.08 c #Conflicts: 336000 | #Constraints: 18147
719.91/722.08 c #Conflicts: 337000 | #Constraints: 19147
719.91/722.08 c #Conflicts: 338000 | #Constraints: 20147
719.91/722.08 c #Conflicts: 339000 | #Constraints: 21147
719.91/722.08 c #Conflicts: 340000 | #Constraints: 22147
719.91/722.08 c #Conflicts: 341000 | #Constraints: 23147
719.91/722.08 c #Conflicts: 342000 | #Constraints: 24147
719.91/722.08 c #Conflicts: 343000 | #Constraints: 25147
719.91/722.08 c #Conflicts: 344000 | #Constraints: 26147
719.91/722.08 c #Conflicts: 345000 | #Constraints: 27147
719.91/722.08 c INPROCESSING
719.91/722.08 c GARBAGE COLLECT
719.91/722.08 c #Conflicts: 346000 | #Constraints: 16595
719.91/722.08 c #Conflicts: 347000 | #Constraints: 17595
719.91/722.08 c #Conflicts: 348000 | #Constraints: 18595
719.91/722.08 c #Conflicts: 349000 | #Constraints: 19595
719.91/722.08 c #Conflicts: 350000 | #Constraints: 20595
719.91/722.08 c #Conflicts: 351000 | #Constraints: 21595
719.91/722.08 c #Conflicts: 352000 | #Constraints: 22595
719.91/722.08 c #Conflicts: 353000 | #Constraints: 23595
719.91/722.08 c #Conflicts: 354000 | #Constraints: 24595
719.91/722.08 c #Conflicts: 355000 | #Constraints: 25595
719.91/722.08 c #Conflicts: 356000 | #Constraints: 26595
719.91/722.08 c #Conflicts: 357000 | #Constraints: 27595
719.91/722.08 c INPROCESSING
719.91/722.08 c GARBAGE COLLECT
719.91/722.08 c #Conflicts: 358000 | #Constraints: 16763
719.91/722.08 c #Conflicts: 359000 | #Constraints: 17763
719.91/722.08 c #Conflicts: 360000 | #Constraints: 18763
804.33/806.63 c #Conflicts: 361000 | #Constraints: 19763
804.33/806.63 c #Conflicts: 362000 | #Constraints: 20763
804.33/806.63 c #Conflicts: 363000 | #Constraints: 21763
804.33/806.63 c #Conflicts: 364000 | #Constraints: 22763
804.33/806.63 c #Conflicts: 365000 | #Constraints: 23763
804.33/806.63 c #Conflicts: 366000 | #Constraints: 24763
804.33/806.63 c #Conflicts: 367000 | #Constraints: 25763
804.33/806.63 c #Conflicts: 368000 | #Constraints: 26763
804.33/806.63 c #Conflicts: 369000 | #Constraints: 27763
804.33/806.63 c INPROCESSING
804.33/806.63 c GARBAGE COLLECT
804.33/806.63 c #Conflicts: 370000 | #Constraints: 16752
804.33/806.63 c #Conflicts: 371000 | #Constraints: 17752
804.33/806.63 c #Conflicts: 372000 | #Constraints: 18752
804.33/806.63 c #Conflicts: 373000 | #Constraints: 19752
804.33/806.63 c #Conflicts: 374000 | #Constraints: 20752
804.33/806.63 c #Conflicts: 375000 | #Constraints: 21752
804.33/806.63 c #Conflicts: 376000 | #Constraints: 22752
804.33/806.63 c #Conflicts: 377000 | #Constraints: 23752
804.33/806.63 c #Conflicts: 378000 | #Constraints: 24752
804.33/806.63 c #Conflicts: 379000 | #Constraints: 25752
804.33/806.63 c #Conflicts: 380000 | #Constraints: 26752
804.33/806.63 c #Conflicts: 381000 | #Constraints: 27752
804.33/806.63 c INPROCESSING
804.33/806.63 c GARBAGE COLLECT
804.33/806.63 c #Conflicts: 382000 | #Constraints: 16537
804.33/806.63 c #Conflicts: 383000 | #Constraints: 17537
804.33/806.63 c #Conflicts: 384000 | #Constraints: 18537
804.33/806.63 c #Conflicts: 385000 | #Constraints: 19537
804.33/806.63 c #Conflicts: 386000 | #Constraints: 20537
804.33/806.63 c #Conflicts: 387000 | #Constraints: 21537
804.33/806.63 c #Conflicts: 388000 | #Constraints: 22537
804.33/806.63 c #Conflicts: 389000 | #Constraints: 23537
804.33/806.63 c #Conflicts: 390000 | #Constraints: 24537
804.33/806.63 c #Conflicts: 391000 | #Constraints: 25537
804.33/806.63 c #Conflicts: 392000 | #Constraints: 26537
804.33/806.63 c #Conflicts: 393000 | #Constraints: 27537
804.33/806.63 c #Conflicts: 394000 | #Constraints: 28537
804.33/806.63 c INPROCESSING
804.33/806.63 c GARBAGE COLLECT
804.33/806.63 c #Conflicts: 395000 | #Constraints: 17148
804.33/806.63 c #Conflicts: 396000 | #Constraints: 18148
804.33/806.63 c #Conflicts: 397000 | #Constraints: 19148
804.33/806.63 c #Conflicts: 398000 | #Constraints: 20148
804.33/806.63 c #Conflicts: 399000 | #Constraints: 21148
804.33/806.63 c #Conflicts: 400000 | #Constraints: 22148
804.33/806.63 c #Conflicts: 401000 | #Constraints: 23148
804.33/806.63 c #Conflicts: 402000 | #Constraints: 24148
804.33/806.63 c #Conflicts: 403000 | #Constraints: 25148
804.33/806.63 c #Conflicts: 404000 | #Constraints: 26148
804.33/806.63 c #Conflicts: 405000 | #Constraints: 27148
804.33/806.63 c #Conflicts: 406000 | #Constraints: 28148
804.33/806.63 c #Conflicts: 407000 | #Constraints: 29148
804.33/806.63 c INPROCESSING
804.33/806.63 c GARBAGE COLLECT
804.33/806.63 c #Conflicts: 408000 | #Constraints: 17551
804.33/806.63 c #Conflicts: 409000 | #Constraints: 18551
804.33/806.63 c #Conflicts: 410000 | #Constraints: 19551
804.33/806.63 c #Conflicts: 411000 | #Constraints: 20551
804.33/806.63 c #Conflicts: 412000 | #Constraints: 21551
804.33/806.63 c #Conflicts: 413000 | #Constraints: 22551
804.33/806.63 c #Conflicts: 414000 | #Constraints: 23551
804.33/806.63 c #Conflicts: 415000 | #Constraints: 24551
804.33/806.63 c #Conflicts: 416000 | #Constraints: 25551
804.33/806.63 c #Conflicts: 417000 | #Constraints: 26551
804.33/806.63 c #Conflicts: 418000 | #Constraints: 27551
804.33/806.63 c #Conflicts: 419000 | #Constraints: 28551
804.33/806.63 c #Conflicts: 420000 | #Constraints: 29551
804.33/806.63 c INPROCESSING
804.33/806.63 c GARBAGE COLLECT
804.33/806.63 c #Conflicts: 421000 | #Constraints: 17752
804.33/806.63 c #Conflicts: 422000 | #Constraints: 18752
804.33/806.63 c #Conflicts: 423000 | #Constraints: 19752
804.33/806.63 c #Conflicts: 424000 | #Constraints: 20752
804.33/806.63 c #Conflicts: 425000 | #Constraints: 21752
804.33/806.63 c #Conflicts: 426000 | #Constraints: 22752
804.33/806.63 c #Conflicts: 427000 | #Constraints: 23752
804.33/806.63 c #Conflicts: 428000 | #Constraints: 24752
804.33/806.63 c #Conflicts: 429000 | #Constraints: 25752
804.33/806.63 c #Conflicts: 430000 | #Constraints: 26752
804.33/806.63 c #Conflicts: 431000 | #Constraints: 27752
804.33/806.63 c #Conflicts: 432000 | #Constraints: 28752
804.33/806.63 c #Conflicts: 433000 | #Constraints: 29752
804.33/806.63 c INPROCESSING
804.33/806.63 c GARBAGE COLLECT
804.33/806.63 c #Conflicts: 434000 | #Constraints: 17749
804.33/806.63 c #Conflicts: 435000 | #Constraints: 18749
943.71/946.37 c #Conflicts: 436000 | #Constraints: 19749
943.71/946.37 c #Conflicts: 437000 | #Constraints: 20749
943.71/946.37 c #Conflicts: 438000 | #Constraints: 21749
943.71/946.37 c #Conflicts: 439000 | #Constraints: 22749
943.71/946.37 c #Conflicts: 440000 | #Constraints: 23749
943.71/946.37 c #Conflicts: 441000 | #Constraints: 24749
943.71/946.37 c #Conflicts: 442000 | #Constraints: 25749
943.71/946.37 c #Conflicts: 443000 | #Constraints: 26749
943.71/946.37 c #Conflicts: 444000 | #Constraints: 27749
943.71/946.37 c #Conflicts: 445000 | #Constraints: 28749
943.71/946.37 c #Conflicts: 446000 | #Constraints: 29749
943.71/946.37 c INPROCESSING
943.71/946.37 c GARBAGE COLLECT
943.71/946.37 c #Conflicts: 447000 | #Constraints: 17547
943.71/946.37 c #Conflicts: 448000 | #Constraints: 18547
943.71/946.37 c #Conflicts: 449000 | #Constraints: 19547
943.71/946.37 c #Conflicts: 450000 | #Constraints: 20547
943.71/946.37 c #Conflicts: 451000 | #Constraints: 21547
943.71/946.37 c #Conflicts: 452000 | #Constraints: 22547
943.71/946.37 c #Conflicts: 453000 | #Constraints: 23547
943.71/946.37 c #Conflicts: 454000 | #Constraints: 24547
943.71/946.37 c #Conflicts: 455000 | #Constraints: 25547
943.71/946.37 c #Conflicts: 456000 | #Constraints: 26547
943.71/946.37 c #Conflicts: 457000 | #Constraints: 27547
943.71/946.37 c #Conflicts: 458000 | #Constraints: 28547
943.71/946.37 c #Conflicts: 459000 | #Constraints: 29547
943.71/946.37 c #Conflicts: 460000 | #Constraints: 30547
943.71/946.37 c INPROCESSING
943.71/946.37 c GARBAGE COLLECT
943.71/946.37 c #Conflicts: 461000 | #Constraints: 18151
943.71/946.37 c #Conflicts: 462000 | #Constraints: 19151
943.71/946.37 c #Conflicts: 463000 | #Constraints: 20151
943.71/946.37 c #Conflicts: 464000 | #Constraints: 21151
943.71/946.37 c #Conflicts: 465000 | #Constraints: 22151
943.71/946.37 c #Conflicts: 466000 | #Constraints: 23151
943.71/946.37 c #Conflicts: 467000 | #Constraints: 24151
943.71/946.37 c #Conflicts: 468000 | #Constraints: 25151
943.71/946.37 c #Conflicts: 469000 | #Constraints: 26151
943.71/946.37 c #Conflicts: 470000 | #Constraints: 27151
943.71/946.37 c #Conflicts: 471000 | #Constraints: 28151
943.71/946.37 c #Conflicts: 472000 | #Constraints: 29151
943.71/946.37 c #Conflicts: 473000 | #Constraints: 30151
943.71/946.37 c #Conflicts: 474000 | #Constraints: 31151
943.71/946.37 c INPROCESSING
943.71/946.37 c GARBAGE COLLECT
943.71/946.37 c #Conflicts: 475000 | #Constraints: 18562
943.71/946.37 c #Conflicts: 476000 | #Constraints: 19562
943.71/946.37 c #Conflicts: 477000 | #Constraints: 20562
943.71/946.37 c #Conflicts: 478000 | #Constraints: 21562
943.71/946.37 c #Conflicts: 479000 | #Constraints: 22562
943.71/946.37 c #Conflicts: 480000 | #Constraints: 23562
943.71/946.37 c #Conflicts: 481000 | #Constraints: 24562
943.71/946.37 c #Conflicts: 482000 | #Constraints: 25562
943.71/946.37 c #Conflicts: 483000 | #Constraints: 26562
943.71/946.37 c #Conflicts: 484000 | #Constraints: 27562
943.71/946.37 c #Conflicts: 485000 | #Constraints: 28562
943.71/946.37 c #Conflicts: 486000 | #Constraints: 29562
943.71/946.37 c #Conflicts: 487000 | #Constraints: 30562
943.71/946.37 c #Conflicts: 488000 | #Constraints: 31562
943.71/946.37 c INPROCESSING
943.71/946.37 c GARBAGE COLLECT
943.71/946.37 c #Conflicts: 489000 | #Constraints: 18749
943.71/946.37 c #Conflicts: 490000 | #Constraints: 19749
943.71/946.37 c #Conflicts: 491000 | #Constraints: 20749
943.71/946.37 c #Conflicts: 492000 | #Constraints: 21749
943.71/946.37 c #Conflicts: 493000 | #Constraints: 22749
943.71/946.37 c #Conflicts: 494000 | #Constraints: 23749
943.71/946.37 c #Conflicts: 495000 | #Constraints: 24749
943.71/946.37 c #Conflicts: 496000 | #Constraints: 25749
943.71/946.37 c #Conflicts: 497000 | #Constraints: 26749
943.71/946.37 c #Conflicts: 498000 | #Constraints: 27749
943.71/946.37 c #Conflicts: 499000 | #Constraints: 28749
943.71/946.37 c #Conflicts: 500000 | #Constraints: 29749
943.71/946.37 c #Conflicts: 501000 | #Constraints: 30749
943.71/946.37 c #Conflicts: 502000 | #Constraints: 31749
943.71/946.37 c INPROCESSING
943.71/946.37 c GARBAGE COLLECT
943.71/946.37 c #Conflicts: 503000 | #Constraints: 18753
943.71/946.37 c #Conflicts: 504000 | #Constraints: 19753
943.71/946.37 c #Conflicts: 505000 | #Constraints: 20753
943.71/946.37 c #Conflicts: 506000 | #Constraints: 21753
943.71/946.37 c #Conflicts: 507000 | #Constraints: 22753
943.71/946.37 c #Conflicts: 508000 | #Constraints: 23753
943.71/946.37 c #Conflicts: 509000 | #Constraints: 24753
943.71/946.37 c #Conflicts: 510000 | #Constraints: 25753
943.71/946.37 c #Conflicts: 511000 | #Constraints: 26753
1070.62/1073.59 c #Conflicts: 512000 | #Constraints: 27753
1070.62/1073.59 c #Conflicts: 513000 | #Constraints: 28753
1070.62/1073.59 c #Conflicts: 514000 | #Constraints: 29753
1070.62/1073.59 c #Conflicts: 515000 | #Constraints: 30753
1070.62/1073.59 c #Conflicts: 516000 | #Constraints: 31753
1070.62/1073.59 c INPROCESSING
1070.62/1073.59 c GARBAGE COLLECT
1070.62/1073.59 c #Conflicts: 517000 | #Constraints: 18552
1070.62/1073.59 c #Conflicts: 518000 | #Constraints: 19552
1070.62/1073.59 c #Conflicts: 519000 | #Constraints: 20552
1070.62/1073.59 c #Conflicts: 520000 | #Constraints: 21552
1070.62/1073.59 c #Conflicts: 521000 | #Constraints: 22552
1070.62/1073.59 c #Conflicts: 522000 | #Constraints: 23552
1070.62/1073.59 c #Conflicts: 523000 | #Constraints: 24552
1070.62/1073.59 c #Conflicts: 524000 | #Constraints: 25552
1070.62/1073.59 c #Conflicts: 525000 | #Constraints: 26552
1070.62/1073.59 c #Conflicts: 526000 | #Constraints: 27552
1070.62/1073.59 c #Conflicts: 527000 | #Constraints: 28552
1070.62/1073.59 c #Conflicts: 528000 | #Constraints: 29552
1070.62/1073.59 c #Conflicts: 529000 | #Constraints: 30552
1070.62/1073.59 c #Conflicts: 530000 | #Constraints: 31552
1070.62/1073.59 c #Conflicts: 531000 | #Constraints: 32552
1070.62/1073.59 c INPROCESSING
1070.62/1073.59 c GARBAGE COLLECT
1070.62/1073.59 c #Conflicts: 532000 | #Constraints: 19151
1070.62/1073.59 c #Conflicts: 533000 | #Constraints: 20151
1070.62/1073.59 c #Conflicts: 534000 | #Constraints: 21151
1070.62/1073.59 c #Conflicts: 535000 | #Constraints: 22151
1070.62/1073.59 c #Conflicts: 536000 | #Constraints: 23151
1070.62/1073.59 c #Conflicts: 537000 | #Constraints: 24151
1070.62/1073.59 c #Conflicts: 538000 | #Constraints: 25151
1070.62/1073.59 c #Conflicts: 539000 | #Constraints: 26151
1070.62/1073.59 c #Conflicts: 540000 | #Constraints: 27151
1070.62/1073.59 c #Conflicts: 541000 | #Constraints: 28151
1070.62/1073.59 c #Conflicts: 542000 | #Constraints: 29151
1070.62/1073.59 c #Conflicts: 543000 | #Constraints: 30151
1070.62/1073.59 c #Conflicts: 544000 | #Constraints: 31151
1070.62/1073.59 c #Conflicts: 545000 | #Constraints: 32151
1070.62/1073.59 c #Conflicts: 546000 | #Constraints: 33151
1070.62/1073.59 c INPROCESSING
1070.62/1073.59 c GARBAGE COLLECT
1070.62/1073.59 c #Conflicts: 547000 | #Constraints: 19560
1070.62/1073.59 c #Conflicts: 548000 | #Constraints: 20560
1070.62/1073.59 c #Conflicts: 549000 | #Constraints: 21560
1070.62/1073.59 c #Conflicts: 550000 | #Constraints: 22560
1070.62/1073.59 c #Conflicts: 551000 | #Constraints: 23560
1070.62/1073.59 c #Conflicts: 552000 | #Constraints: 24560
1070.62/1073.59 c #Conflicts: 553000 | #Constraints: 25560
1070.62/1073.59 c #Conflicts: 554000 | #Constraints: 26560
1070.62/1073.59 c #Conflicts: 555000 | #Constraints: 27560
1070.62/1073.59 c #Conflicts: 556000 | #Constraints: 28560
1070.62/1073.59 c #Conflicts: 557000 | #Constraints: 29560
1070.62/1073.59 c #Conflicts: 558000 | #Constraints: 30560
1070.62/1073.59 c #Conflicts: 559000 | #Constraints: 31560
1070.62/1073.59 c #Conflicts: 560000 | #Constraints: 32560
1070.62/1073.59 c #Conflicts: 561000 | #Constraints: 33560
1070.62/1073.59 c INPROCESSING
1070.62/1073.59 c GARBAGE COLLECT
1070.62/1073.59 c #Conflicts: 562000 | #Constraints: 19753
1070.62/1073.59 c #Conflicts: 563000 | #Constraints: 20753
1070.62/1073.59 c #Conflicts: 564000 | #Constraints: 21753
1070.62/1073.59 c #Conflicts: 565000 | #Constraints: 22753
1070.62/1073.59 c #Conflicts: 566000 | #Constraints: 23753
1070.62/1073.59 c #Conflicts: 567000 | #Constraints: 24753
1070.62/1073.59 c #Conflicts: 568000 | #Constraints: 25753
1070.62/1073.59 c #Conflicts: 569000 | #Constraints: 26753
1070.62/1073.59 c #Conflicts: 570000 | #Constraints: 27753
1070.62/1073.59 c #Conflicts: 571000 | #Constraints: 28753
1070.62/1073.59 c #Conflicts: 572000 | #Constraints: 29753
1070.62/1073.59 c #Conflicts: 573000 | #Constraints: 30753
1070.62/1073.59 c #Conflicts: 574000 | #Constraints: 31753
1070.62/1073.59 c #Conflicts: 575000 | #Constraints: 32753
1070.62/1073.59 c #Conflicts: 576000 | #Constraints: 33753
1070.62/1073.59 c INPROCESSING
1070.62/1073.59 c GARBAGE COLLECT
1070.62/1073.59 c #Conflicts: 577000 | #Constraints: 19754
1070.62/1073.59 c #Conflicts: 578000 | #Constraints: 20754
1070.62/1073.59 c #Conflicts: 579000 | #Constraints: 21754
1070.62/1073.59 c #Conflicts: 580000 | #Constraints: 22754
1070.62/1073.59 c #Conflicts: 581000 | #Constraints: 23754
1070.62/1073.59 c #Conflicts: 582000 | #Constraints: 24754
1070.62/1073.59 c #Conflicts: 583000 | #Constraints: 25754
1070.62/1073.59 c #Conflicts: 584000 | #Constraints: 26754
1070.62/1073.59 c #Conflicts: 585000 | #Constraints: 27754
1070.62/1073.59 c #Conflicts: 586000 | #Constraints: 28754
1229.56/1232.86 c #Conflicts: 587000 | #Constraints: 29754
1229.56/1232.86 c #Conflicts: 588000 | #Constraints: 30754
1229.56/1232.86 c #Conflicts: 589000 | #Constraints: 31754
1229.56/1232.86 c #Conflicts: 590000 | #Constraints: 32754
1229.56/1232.86 c #Conflicts: 591000 | #Constraints: 33754
1229.56/1232.86 c INPROCESSING
1229.56/1232.86 c GARBAGE COLLECT
1229.56/1232.86 c #Conflicts: 592000 | #Constraints: 19537
1229.56/1232.86 c #Conflicts: 593000 | #Constraints: 20537
1229.56/1232.86 c #Conflicts: 594000 | #Constraints: 21537
1229.56/1232.86 c #Conflicts: 595000 | #Constraints: 22537
1229.56/1232.86 c #Conflicts: 596000 | #Constraints: 23537
1229.56/1232.86 c #Conflicts: 597000 | #Constraints: 24537
1229.56/1232.86 c #Conflicts: 598000 | #Constraints: 25537
1229.56/1232.86 c #Conflicts: 599000 | #Constraints: 26537
1229.56/1232.86 c #Conflicts: 600000 | #Constraints: 27537
1229.56/1232.86 c #Conflicts: 601000 | #Constraints: 28537
1229.56/1232.86 c #Conflicts: 602000 | #Constraints: 29537
1229.56/1232.86 c #Conflicts: 603000 | #Constraints: 30537
1229.56/1232.86 c #Conflicts: 604000 | #Constraints: 31537
1229.56/1232.86 c #Conflicts: 605000 | #Constraints: 32537
1229.56/1232.86 c #Conflicts: 606000 | #Constraints: 33537
1229.56/1232.86 c #Conflicts: 607000 | #Constraints: 34537
1229.56/1232.86 c INPROCESSING
1229.56/1232.86 c GARBAGE COLLECT
1229.56/1232.86 c #Conflicts: 608000 | #Constraints: 20151
1229.56/1232.86 c #Conflicts: 609000 | #Constraints: 21151
1229.56/1232.86 c #Conflicts: 610000 | #Constraints: 22151
1229.56/1232.86 c #Conflicts: 611000 | #Constraints: 23151
1229.56/1232.86 c #Conflicts: 612000 | #Constraints: 24151
1229.56/1232.86 c #Conflicts: 613000 | #Constraints: 25151
1229.56/1232.86 c #Conflicts: 614000 | #Constraints: 26151
1229.56/1232.86 c #Conflicts: 615000 | #Constraints: 27151
1229.56/1232.86 c #Conflicts: 616000 | #Constraints: 28151
1229.56/1232.86 c #Conflicts: 617000 | #Constraints: 29151
1229.56/1232.86 c #Conflicts: 618000 | #Constraints: 30151
1229.56/1232.86 c #Conflicts: 619000 | #Constraints: 31151
1229.56/1232.86 c #Conflicts: 620000 | #Constraints: 32151
1229.56/1232.86 c #Conflicts: 621000 | #Constraints: 33151
1229.56/1232.86 c #Conflicts: 622000 | #Constraints: 34151
1229.56/1232.86 c #Conflicts: 623000 | #Constraints: 35151
1229.56/1232.86 c INPROCESSING
1229.56/1232.86 c GARBAGE COLLECT
1229.56/1232.86 c #Conflicts: 624000 | #Constraints: 20529
1229.56/1232.86 c #Conflicts: 625000 | #Constraints: 21529
1229.56/1232.86 c #Conflicts: 626000 | #Constraints: 22529
1229.56/1232.86 c #Conflicts: 627000 | #Constraints: 23529
1229.56/1232.86 c #Conflicts: 628000 | #Constraints: 24529
1229.56/1232.86 c #Conflicts: 629000 | #Constraints: 25529
1229.56/1232.86 c #Conflicts: 630000 | #Constraints: 26529
1229.56/1232.86 c #Conflicts: 631000 | #Constraints: 27529
1229.56/1232.86 c #Conflicts: 632000 | #Constraints: 28529
1229.56/1232.86 c #Conflicts: 633000 | #Constraints: 29529
1229.56/1232.86 c #Conflicts: 634000 | #Constraints: 30529
1229.56/1232.86 c #Conflicts: 635000 | #Constraints: 31529
1229.56/1232.86 c #Conflicts: 636000 | #Constraints: 32529
1229.56/1232.86 c #Conflicts: 637000 | #Constraints: 33529
1229.56/1232.86 c #Conflicts: 638000 | #Constraints: 34529
1229.56/1232.86 c #Conflicts: 639000 | #Constraints: 35529
1229.56/1232.86 c INPROCESSING
1229.56/1232.86 c GARBAGE COLLECT
1229.56/1232.86 c #Conflicts: 640000 | #Constraints: 20730
1229.56/1232.86 c #Conflicts: 641000 | #Constraints: 21730
1229.56/1232.86 c #Conflicts: 642000 | #Constraints: 22730
1229.56/1232.86 c #Conflicts: 643000 | #Constraints: 23730
1229.56/1232.86 c #Conflicts: 644000 | #Constraints: 24730
1229.56/1232.86 c #Conflicts: 645000 | #Constraints: 25730
1229.56/1232.86 c #Conflicts: 646000 | #Constraints: 26730
1229.56/1232.86 c #Conflicts: 647000 | #Constraints: 27730
1229.56/1232.86 c #Conflicts: 648000 | #Constraints: 28730
1229.56/1232.86 c #Conflicts: 649000 | #Constraints: 29730
1229.56/1232.86 c #Conflicts: 650000 | #Constraints: 30730
1229.56/1232.86 c #Conflicts: 651000 | #Constraints: 31730
1229.56/1232.86 c #Conflicts: 652000 | #Constraints: 32730
1229.56/1232.86 c #Conflicts: 653000 | #Constraints: 33730
1229.56/1232.86 c #Conflicts: 654000 | #Constraints: 34730
1229.56/1232.86 c #Conflicts: 655000 | #Constraints: 35730
1229.56/1232.86 c INPROCESSING
1229.56/1232.86 c GARBAGE COLLECT
1229.56/1232.86 c #Conflicts: 656000 | #Constraints: 20734
1229.56/1232.86 c #Conflicts: 657000 | #Constraints: 21734
1229.56/1232.86 c #Conflicts: 658000 | #Constraints: 22734
1229.56/1232.86 c #Conflicts: 659000 | #Constraints: 23734
1229.56/1232.86 c #Conflicts: 660000 | #Constraints: 24734
1229.56/1232.86 c #Conflicts: 661000 | #Constraints: 25734
1229.56/1232.86 c #Conflicts: 662000 | #Constraints: 26734
1453.05/1456.86 c #Conflicts: 663000 | #Constraints: 27734
1453.05/1456.86 c #Conflicts: 664000 | #Constraints: 28734
1453.05/1456.86 c #Conflicts: 665000 | #Constraints: 29734
1453.05/1456.86 c #Conflicts: 666000 | #Constraints: 30734
1453.05/1456.86 c #Conflicts: 667000 | #Constraints: 31734
1453.05/1456.86 c #Conflicts: 668000 | #Constraints: 32734
1453.05/1456.86 c #Conflicts: 669000 | #Constraints: 33734
1453.05/1456.86 c #Conflicts: 670000 | #Constraints: 34734
1453.05/1456.86 c #Conflicts: 671000 | #Constraints: 35734
1453.05/1456.86 c INPROCESSING
1453.05/1456.86 c GARBAGE COLLECT
1453.05/1456.86 c #Conflicts: 672000 | #Constraints: 20531
1453.05/1456.86 c #Conflicts: 673000 | #Constraints: 21531
1453.05/1456.86 c #Conflicts: 674000 | #Constraints: 22531
1453.05/1456.86 c #Conflicts: 675000 | #Constraints: 23531
1453.05/1456.86 c #Conflicts: 676000 | #Constraints: 24531
1453.05/1456.86 c #Conflicts: 677000 | #Constraints: 25531
1453.05/1456.86 c #Conflicts: 678000 | #Constraints: 26531
1453.05/1456.86 c #Conflicts: 679000 | #Constraints: 27531
1453.05/1456.86 c #Conflicts: 680000 | #Constraints: 28531
1453.05/1456.86 c #Conflicts: 681000 | #Constraints: 29531
1453.05/1456.86 c #Conflicts: 682000 | #Constraints: 30531
1453.05/1456.86 c #Conflicts: 683000 | #Constraints: 31531
1453.05/1456.86 c #Conflicts: 684000 | #Constraints: 32531
1453.05/1456.86 c #Conflicts: 685000 | #Constraints: 33531
1453.05/1456.86 c #Conflicts: 686000 | #Constraints: 34531
1453.05/1456.86 c #Conflicts: 687000 | #Constraints: 35531
1453.05/1456.86 c #Conflicts: 688000 | #Constraints: 36531
1453.05/1456.86 c INPROCESSING
1453.05/1456.86 c GARBAGE COLLECT
1453.05/1456.86 c #Conflicts: 689000 | #Constraints: 21136
1453.05/1456.86 c #Conflicts: 690000 | #Constraints: 22136
1453.05/1456.86 c #Conflicts: 691000 | #Constraints: 23136
1453.05/1456.86 c #Conflicts: 692000 | #Constraints: 24136
1453.05/1456.86 c #Conflicts: 693000 | #Constraints: 25136
1453.05/1456.86 c #Conflicts: 694000 | #Constraints: 26136
1453.05/1456.86 c #Conflicts: 695000 | #Constraints: 27136
1453.05/1456.86 c #Conflicts: 696000 | #Constraints: 28136
1453.05/1456.86 c #Conflicts: 697000 | #Constraints: 29136
1453.05/1456.86 c #Conflicts: 698000 | #Constraints: 30136
1453.05/1456.86 c #Conflicts: 699000 | #Constraints: 31136
1453.05/1456.86 c #Conflicts: 700000 | #Constraints: 32136
1453.05/1456.86 c #Conflicts: 701000 | #Constraints: 33136
1453.05/1456.86 c #Conflicts: 702000 | #Constraints: 34136
1453.05/1456.86 c #Conflicts: 703000 | #Constraints: 35136
1453.05/1456.86 c #Conflicts: 704000 | #Constraints: 36136
1453.05/1456.86 c #Conflicts: 705000 | #Constraints: 37136
1453.05/1456.86 c INPROCESSING
1453.05/1456.86 c GARBAGE COLLECT
1453.05/1456.86 c #Conflicts: 706000 | #Constraints: 21546
1453.05/1456.86 c #Conflicts: 707000 | #Constraints: 22546
1453.05/1456.86 c #Conflicts: 708000 | #Constraints: 23546
1453.05/1456.86 c #Conflicts: 709000 | #Constraints: 24546
1453.05/1456.86 c #Conflicts: 710000 | #Constraints: 25546
1453.05/1456.86 c #Conflicts: 711000 | #Constraints: 26546
1453.05/1456.86 c #Conflicts: 712000 | #Constraints: 27546
1453.05/1456.86 c #Conflicts: 713000 | #Constraints: 28546
1453.05/1456.86 c #Conflicts: 714000 | #Constraints: 29546
1453.05/1456.86 c #Conflicts: 715000 | #Constraints: 30546
1453.05/1456.86 c #Conflicts: 716000 | #Constraints: 31546
1453.05/1456.86 c #Conflicts: 717000 | #Constraints: 32546
1453.05/1456.86 c #Conflicts: 718000 | #Constraints: 33546
1453.05/1456.86 c #Conflicts: 719000 | #Constraints: 34546
1453.05/1456.86 c #Conflicts: 720000 | #Constraints: 35546
1453.05/1456.86 c #Conflicts: 721000 | #Constraints: 36546
1453.05/1456.86 c #Conflicts: 722000 | #Constraints: 37546
1453.05/1456.86 c INPROCESSING
1453.05/1456.86 c GARBAGE COLLECT
1453.05/1456.86 c #Conflicts: 723000 | #Constraints: 21745
1453.05/1456.86 c #Conflicts: 724000 | #Constraints: 22745
1453.05/1456.86 c #Conflicts: 725000 | #Constraints: 23745
1453.05/1456.86 c #Conflicts: 726000 | #Constraints: 24745
1453.05/1456.86 c #Conflicts: 727000 | #Constraints: 25745
1453.05/1456.86 c #Conflicts: 728000 | #Constraints: 26745
1453.05/1456.86 c #Conflicts: 729000 | #Constraints: 27745
1453.05/1456.86 c #Conflicts: 730000 | #Constraints: 28745
1453.05/1456.86 c #Conflicts: 731000 | #Constraints: 29745
1453.05/1456.86 c #Conflicts: 732000 | #Constraints: 30745
1453.05/1456.86 c #Conflicts: 733000 | #Constraints: 31745
1453.05/1456.86 c #Conflicts: 734000 | #Constraints: 32745
1453.05/1456.86 c #Conflicts: 735000 | #Constraints: 33745
1453.05/1456.86 c #Conflicts: 736000 | #Constraints: 34745
1453.05/1456.86 c #Conflicts: 737000 | #Constraints: 35745
1453.05/1456.86 c #Conflicts: 738000 | #Constraints: 36745
1650.12/1654.32 c #Conflicts: 739000 | #Constraints: 37745
1650.12/1654.32 c INPROCESSING
1650.12/1654.32 c GARBAGE COLLECT
1650.12/1654.32 c #Conflicts: 740000 | #Constraints: 21742
1650.12/1654.32 c #Conflicts: 741000 | #Constraints: 22742
1650.12/1654.32 c #Conflicts: 742000 | #Constraints: 23742
1650.12/1654.32 c #Conflicts: 743000 | #Constraints: 24742
1650.12/1654.32 c #Conflicts: 744000 | #Constraints: 25742
1650.12/1654.32 c #Conflicts: 745000 | #Constraints: 26742
1650.12/1654.32 c #Conflicts: 746000 | #Constraints: 27742
1650.12/1654.32 c #Conflicts: 747000 | #Constraints: 28742
1650.12/1654.32 c #Conflicts: 748000 | #Constraints: 29742
1650.12/1654.32 c #Conflicts: 749000 | #Constraints: 30742
1650.12/1654.32 c #Conflicts: 750000 | #Constraints: 31742
1650.12/1654.32 c #Conflicts: 751000 | #Constraints: 32742
1650.12/1654.32 c #Conflicts: 752000 | #Constraints: 33742
1650.12/1654.32 c #Conflicts: 753000 | #Constraints: 34742
1650.12/1654.32 c #Conflicts: 754000 | #Constraints: 35742
1650.12/1654.32 c #Conflicts: 755000 | #Constraints: 36742
1650.12/1654.32 c #Conflicts: 756000 | #Constraints: 37742
1650.12/1654.32 c INPROCESSING
1650.12/1654.32 c GARBAGE COLLECT
1650.12/1654.32 c #Conflicts: 757000 | #Constraints: 21546
1650.12/1654.32 c #Conflicts: 758000 | #Constraints: 22546
1650.12/1654.32 c #Conflicts: 759000 | #Constraints: 23546
1650.12/1654.32 c #Conflicts: 760000 | #Constraints: 24546
1650.12/1654.32 c #Conflicts: 761000 | #Constraints: 25546
1650.12/1654.32 c #Conflicts: 762000 | #Constraints: 26546
1650.12/1654.32 c #Conflicts: 763000 | #Constraints: 27546
1650.12/1654.32 c #Conflicts: 764000 | #Constraints: 28546
1650.12/1654.32 c #Conflicts: 765000 | #Constraints: 29546
1650.12/1654.32 c #Conflicts: 766000 | #Constraints: 30546
1650.12/1654.32 c #Conflicts: 767000 | #Constraints: 31546
1650.12/1654.32 c #Conflicts: 768000 | #Constraints: 32546
1650.12/1654.32 c #Conflicts: 769000 | #Constraints: 33546
1650.12/1654.32 c #Conflicts: 770000 | #Constraints: 34546
1650.12/1654.32 c #Conflicts: 771000 | #Constraints: 35546
1650.12/1654.32 c #Conflicts: 772000 | #Constraints: 36546
1650.12/1654.32 c #Conflicts: 773000 | #Constraints: 37546
1650.12/1654.32 c #Conflicts: 774000 | #Constraints: 38546
1650.12/1654.32 c INPROCESSING
1650.12/1654.32 c GARBAGE COLLECT
1650.12/1654.32 c #Conflicts: 775000 | #Constraints: 22134
1650.12/1654.32 c #Conflicts: 776000 | #Constraints: 23134
1650.12/1654.32 c #Conflicts: 777000 | #Constraints: 24134
1650.12/1654.32 c #Conflicts: 778000 | #Constraints: 25134
1650.12/1654.32 c #Conflicts: 779000 | #Constraints: 26134
1650.12/1654.32 c #Conflicts: 780000 | #Constraints: 27134
1650.12/1654.32 c #Conflicts: 781000 | #Constraints: 28134
1650.12/1654.32 c #Conflicts: 782000 | #Constraints: 29134
1650.12/1654.32 c #Conflicts: 783000 | #Constraints: 30134
1650.12/1654.32 c #Conflicts: 784000 | #Constraints: 31134
1650.12/1654.32 c #Conflicts: 785000 | #Constraints: 32134
1650.12/1654.32 c #Conflicts: 786000 | #Constraints: 33134
1650.12/1654.32 c #Conflicts: 787000 | #Constraints: 34134
1650.12/1654.32 c #Conflicts: 788000 | #Constraints: 35134
1650.12/1654.32 c #Conflicts: 789000 | #Constraints: 36134
1650.12/1654.32 c #Conflicts: 790000 | #Constraints: 37134
1650.12/1654.32 c #Conflicts: 791000 | #Constraints: 38134
1650.12/1654.32 c #Conflicts: 792000 | #Constraints: 39134
1650.12/1654.32 c INPROCESSING
1650.12/1654.32 c GARBAGE COLLECT
1650.12/1654.32 c #Conflicts: 793000 | #Constraints: 22536
1650.12/1654.32 c #Conflicts: 794000 | #Constraints: 23536
1650.12/1654.32 c #Conflicts: 795000 | #Constraints: 24536
1650.12/1654.32 c #Conflicts: 796000 | #Constraints: 25536
1650.12/1654.32 c #Conflicts: 797000 | #Constraints: 26536
1650.12/1654.32 c #Conflicts: 798000 | #Constraints: 27536
1650.12/1654.32 c #Conflicts: 799000 | #Constraints: 28536
1650.12/1654.32 c #Conflicts: 800000 | #Constraints: 29536
1650.12/1654.32 c #Conflicts: 801000 | #Constraints: 30536
1650.12/1654.32 c #Conflicts: 802000 | #Constraints: 31536
1650.12/1654.32 c #Conflicts: 803000 | #Constraints: 32536
1650.12/1654.32 c #Conflicts: 804000 | #Constraints: 33536
1650.12/1654.32 c #Conflicts: 805000 | #Constraints: 34536
1650.12/1654.32 c #Conflicts: 806000 | #Constraints: 35536
1650.12/1654.32 c #Conflicts: 807000 | #Constraints: 36536
1650.12/1654.32 c #Conflicts: 808000 | #Constraints: 37536
1650.12/1654.32 c #Conflicts: 809000 | #Constraints: 38536
1650.12/1654.32 c #Conflicts: 810000 | #Constraints: 39536
1650.12/1654.32 c INPROCESSING
1650.12/1654.32 c GARBAGE COLLECT
1650.12/1654.32 c #Conflicts: 811000 | #Constraints: 22730
1650.12/1654.32 c #Conflicts: 812000 | #Constraints: 23730
1650.12/1654.32 c #Conflicts: 813000 | #Constraints: 24730
1650.12/1654.32 c #Conflicts: 814000 | #Constraints: 25730
1909.21/1914.04 c #Conflicts: 815000 | #Constraints: 26730
1909.21/1914.04 c #Conflicts: 816000 | #Constraints: 27730
1909.21/1914.04 c #Conflicts: 817000 | #Constraints: 28730
1909.21/1914.04 c #Conflicts: 818000 | #Constraints: 29730
1909.21/1914.04 c #Conflicts: 819000 | #Constraints: 30730
1909.21/1914.04 c #Conflicts: 820000 | #Constraints: 31730
1909.21/1914.04 c #Conflicts: 821000 | #Constraints: 32730
1909.21/1914.04 c #Conflicts: 822000 | #Constraints: 33730
1909.21/1914.04 c #Conflicts: 823000 | #Constraints: 34730
1909.21/1914.04 c #Conflicts: 824000 | #Constraints: 35730
1909.21/1914.04 c #Conflicts: 825000 | #Constraints: 36730
1909.21/1914.04 c #Conflicts: 826000 | #Constraints: 37730
1909.21/1914.04 c #Conflicts: 827000 | #Constraints: 38730
1909.21/1914.04 c #Conflicts: 828000 | #Constraints: 39730
1909.21/1914.04 c INPROCESSING
1909.21/1914.04 c GARBAGE COLLECT
1909.21/1914.04 c #Conflicts: 829000 | #Constraints: 22746
1909.21/1914.04 c #Conflicts: 830000 | #Constraints: 23746
1909.21/1914.04 c #Conflicts: 831000 | #Constraints: 24746
1909.21/1914.04 c #Conflicts: 832000 | #Constraints: 25746
1909.21/1914.04 c #Conflicts: 833000 | #Constraints: 26746
1909.21/1914.04 c #Conflicts: 834000 | #Constraints: 27746
1909.21/1914.04 c #Conflicts: 835000 | #Constraints: 28746
1909.21/1914.04 c #Conflicts: 836000 | #Constraints: 29746
1909.21/1914.04 c #Conflicts: 837000 | #Constraints: 30746
1909.21/1914.04 c #Conflicts: 838000 | #Constraints: 31746
1909.21/1914.04 c #Conflicts: 839000 | #Constraints: 32746
1909.21/1914.04 c #Conflicts: 840000 | #Constraints: 33746
1909.21/1914.04 c #Conflicts: 841000 | #Constraints: 34746
1909.21/1914.04 c #Conflicts: 842000 | #Constraints: 35746
1909.21/1914.04 c #Conflicts: 843000 | #Constraints: 36746
1909.21/1914.04 c #Conflicts: 844000 | #Constraints: 37746
1909.21/1914.04 c #Conflicts: 845000 | #Constraints: 38746
1909.21/1914.04 c #Conflicts: 846000 | #Constraints: 39746
1909.21/1914.04 c INPROCESSING
1909.21/1914.04 c GARBAGE COLLECT
1909.21/1914.04 c #Conflicts: 847000 | #Constraints: 22551
1909.21/1914.04 c #Conflicts: 848000 | #Constraints: 23551
1909.21/1914.04 c #Conflicts: 849000 | #Constraints: 24551
1909.21/1914.04 c #Conflicts: 850000 | #Constraints: 25551
1909.21/1914.04 c #Conflicts: 851000 | #Constraints: 26551
1909.21/1914.04 c #Conflicts: 852000 | #Constraints: 27551
1909.21/1914.04 c #Conflicts: 853000 | #Constraints: 28551
1909.21/1914.04 c #Conflicts: 854000 | #Constraints: 29551
1909.21/1914.04 c #Conflicts: 855000 | #Constraints: 30551
1909.21/1914.04 c #Conflicts: 856000 | #Constraints: 31551
1909.21/1914.04 c #Conflicts: 857000 | #Constraints: 32551
1909.21/1914.04 c #Conflicts: 858000 | #Constraints: 33551
1909.21/1914.04 c #Conflicts: 859000 | #Constraints: 34551
1909.21/1914.04 c #Conflicts: 860000 | #Constraints: 35551
1909.21/1914.04 c #Conflicts: 861000 | #Constraints: 36551
1909.21/1914.04 c #Conflicts: 862000 | #Constraints: 37551
1909.21/1914.04 c #Conflicts: 863000 | #Constraints: 38551
1909.21/1914.04 c #Conflicts: 864000 | #Constraints: 39551
1909.21/1914.04 c #Conflicts: 865000 | #Constraints: 40551
1909.21/1914.04 c INPROCESSING
1909.21/1914.04 c GARBAGE COLLECT
1909.21/1914.04 c #Conflicts: 866000 | #Constraints: 23157
1909.21/1914.04 c #Conflicts: 867000 | #Constraints: 24157
1909.21/1914.04 c #Conflicts: 868000 | #Constraints: 25157
1909.21/1914.04 c #Conflicts: 869000 | #Constraints: 26157
1909.21/1914.04 c #Conflicts: 870000 | #Constraints: 27157
1909.21/1914.04 c #Conflicts: 871000 | #Constraints: 28157
1909.21/1914.04 c #Conflicts: 872000 | #Constraints: 29157
1909.21/1914.04 c #Conflicts: 873000 | #Constraints: 30157
1909.21/1914.04 c #Conflicts: 874000 | #Constraints: 31157
1909.21/1914.04 c #Conflicts: 875000 | #Constraints: 32157
1909.21/1914.04 c #Conflicts: 876000 | #Constraints: 33157
1909.21/1914.04 c #Conflicts: 877000 | #Constraints: 34157
1909.21/1914.04 c #Conflicts: 878000 | #Constraints: 35157
1909.21/1914.04 c #Conflicts: 879000 | #Constraints: 36157
1909.21/1914.04 c #Conflicts: 880000 | #Constraints: 37157
1909.21/1914.04 c #Conflicts: 881000 | #Constraints: 38157
1909.21/1914.04 c #Conflicts: 882000 | #Constraints: 39157
1909.21/1914.04 c #Conflicts: 883000 | #Constraints: 40157
1909.21/1914.04 c #Conflicts: 884000 | #Constraints: 41157
1909.21/1914.04 c INPROCESSING
1909.21/1914.04 c GARBAGE COLLECT
1909.21/1914.04 c #Conflicts: 885000 | #Constraints: 23552
1909.21/1914.04 c #Conflicts: 886000 | #Constraints: 24552
1909.21/1914.04 c #Conflicts: 887000 | #Constraints: 25552
1909.21/1914.04 c #Conflicts: 888000 | #Constraints: 26552
1909.21/1914.04 c #Conflicts: 889000 | #Constraints: 27552
1909.21/1914.04 c #Conflicts: 890000 | #Constraints: 28552
2203.19/2208.75 c #Conflicts: 891000 | #Constraints: 29552
2203.19/2208.75 c #Conflicts: 892000 | #Constraints: 30552
2203.19/2208.75 c #Conflicts: 893000 | #Constraints: 31552
2203.19/2208.75 c #Conflicts: 894000 | #Constraints: 32552
2203.19/2208.75 c #Conflicts: 895000 | #Constraints: 33552
2203.19/2208.75 c #Conflicts: 896000 | #Constraints: 34552
2203.19/2208.75 c #Conflicts: 897000 | #Constraints: 35552
2203.19/2208.75 c #Conflicts: 898000 | #Constraints: 36552
2203.19/2208.75 c #Conflicts: 899000 | #Constraints: 37552
2203.19/2208.75 c #Conflicts: 900000 | #Constraints: 38552
2203.19/2208.75 c #Conflicts: 901000 | #Constraints: 39552
2203.19/2208.75 c #Conflicts: 902000 | #Constraints: 40552
2203.19/2208.75 c #Conflicts: 903000 | #Constraints: 41552
2203.19/2208.75 c INPROCESSING
2203.19/2208.75 c GARBAGE COLLECT
2203.19/2208.75 c #Conflicts: 904000 | #Constraints: 23746
2203.19/2208.75 c #Conflicts: 905000 | #Constraints: 24746
2203.19/2208.75 c #Conflicts: 906000 | #Constraints: 25746
2203.19/2208.75 c #Conflicts: 907000 | #Constraints: 26746
2203.19/2208.75 c #Conflicts: 908000 | #Constraints: 27746
2203.19/2208.75 c #Conflicts: 909000 | #Constraints: 28746
2203.19/2208.75 c #Conflicts: 910000 | #Constraints: 29746
2203.19/2208.75 c #Conflicts: 911000 | #Constraints: 30746
2203.19/2208.75 c #Conflicts: 912000 | #Constraints: 31746
2203.19/2208.75 c #Conflicts: 913000 | #Constraints: 32746
2203.19/2208.75 c #Conflicts: 914000 | #Constraints: 33746
2203.19/2208.75 c #Conflicts: 915000 | #Constraints: 34746
2203.19/2208.75 c #Conflicts: 916000 | #Constraints: 35746
2203.19/2208.75 c #Conflicts: 917000 | #Constraints: 36746
2203.19/2208.75 c #Conflicts: 918000 | #Constraints: 37746
2203.19/2208.75 c #Conflicts: 919000 | #Constraints: 38746
2203.19/2208.75 c #Conflicts: 920000 | #Constraints: 39746
2203.19/2208.75 c #Conflicts: 921000 | #Constraints: 40746
2203.19/2208.75 c #Conflicts: 922000 | #Constraints: 41746
2203.19/2208.75 c INPROCESSING
2203.19/2208.75 c GARBAGE COLLECT
2203.19/2208.75 c #Conflicts: 923000 | #Constraints: 23737
2203.19/2208.75 c #Conflicts: 924000 | #Constraints: 24737
2203.19/2208.75 c #Conflicts: 925000 | #Constraints: 25737
2203.19/2208.75 c #Conflicts: 926000 | #Constraints: 26737
2203.19/2208.75 c #Conflicts: 927000 | #Constraints: 27737
2203.19/2208.75 c #Conflicts: 928000 | #Constraints: 28737
2203.19/2208.75 c #Conflicts: 929000 | #Constraints: 29737
2203.19/2208.75 c #Conflicts: 930000 | #Constraints: 30737
2203.19/2208.75 c #Conflicts: 931000 | #Constraints: 31737
2203.19/2208.75 c #Conflicts: 932000 | #Constraints: 32737
2203.19/2208.75 c #Conflicts: 933000 | #Constraints: 33737
2203.19/2208.75 c #Conflicts: 934000 | #Constraints: 34737
2203.19/2208.75 c #Conflicts: 935000 | #Constraints: 35737
2203.19/2208.75 c #Conflicts: 936000 | #Constraints: 36737
2203.19/2208.75 c #Conflicts: 937000 | #Constraints: 37737
2203.19/2208.75 c #Conflicts: 938000 | #Constraints: 38737
2203.19/2208.75 c #Conflicts: 939000 | #Constraints: 39737
2203.19/2208.75 c #Conflicts: 940000 | #Constraints: 40737
2203.19/2208.75 c #Conflicts: 941000 | #Constraints: 41737
2203.19/2208.75 c INPROCESSING
2203.19/2208.75 c GARBAGE COLLECT
2203.19/2208.75 c #Conflicts: 942000 | #Constraints: 23539
2203.19/2208.75 c #Conflicts: 943000 | #Constraints: 24539
2203.19/2208.75 c #Conflicts: 944000 | #Constraints: 25539
2203.19/2208.75 c #Conflicts: 945000 | #Constraints: 26539
2203.19/2208.75 c #Conflicts: 946000 | #Constraints: 27539
2203.19/2208.75 c #Conflicts: 947000 | #Constraints: 28539
2203.19/2208.75 c #Conflicts: 948000 | #Constraints: 29539
2203.19/2208.75 c #Conflicts: 949000 | #Constraints: 30539
2203.19/2208.75 c #Conflicts: 950000 | #Constraints: 31539
2203.19/2208.75 c #Conflicts: 951000 | #Constraints: 32539
2203.19/2208.75 c #Conflicts: 952000 | #Constraints: 33539
2203.19/2208.75 c #Conflicts: 953000 | #Constraints: 34539
2203.19/2208.75 c #Conflicts: 954000 | #Constraints: 35539
2203.19/2208.75 c #Conflicts: 955000 | #Constraints: 36539
2203.19/2208.75 c #Conflicts: 956000 | #Constraints: 37539
2203.19/2208.75 c #Conflicts: 957000 | #Constraints: 38539
2203.19/2208.75 c #Conflicts: 958000 | #Constraints: 39539
2203.19/2208.75 c #Conflicts: 959000 | #Constraints: 40539
2203.19/2208.75 c #Conflicts: 960000 | #Constraints: 41539
2203.19/2208.75 c #Conflicts: 961000 | #Constraints: 42539
2203.19/2208.75 c INPROCESSING
2203.19/2208.75 c GARBAGE COLLECT
2203.19/2208.75 c #Conflicts: 962000 | #Constraints: 24135
2203.19/2208.75 c #Conflicts: 963000 | #Constraints: 25135
2203.19/2208.75 c #Conflicts: 964000 | #Constraints: 26135
2203.19/2208.75 c #Conflicts: 965000 | #Constraints: 27135
2203.19/2208.75 c #Conflicts: 966000 | #Constraints: 28135
2617.39/2623.96 c #Conflicts: 967000 | #Constraints: 29135
2617.39/2623.96 c #Conflicts: 968000 | #Constraints: 30135
2617.39/2623.96 c #Conflicts: 969000 | #Constraints: 31135
2617.39/2623.96 c #Conflicts: 970000 | #Constraints: 32135
2617.39/2623.96 c #Conflicts: 971000 | #Constraints: 33135
2617.39/2623.96 c #Conflicts: 972000 | #Constraints: 34135
2617.39/2623.96 c #Conflicts: 973000 | #Constraints: 35135
2617.39/2623.96 c #Conflicts: 974000 | #Constraints: 36135
2617.39/2623.96 c #Conflicts: 975000 | #Constraints: 37135
2617.39/2623.96 c #Conflicts: 976000 | #Constraints: 38135
2617.39/2623.96 c #Conflicts: 977000 | #Constraints: 39135
2617.39/2623.96 c #Conflicts: 978000 | #Constraints: 40135
2617.39/2623.96 c #Conflicts: 979000 | #Constraints: 41135
2617.39/2623.96 c #Conflicts: 980000 | #Constraints: 42135
2617.39/2623.96 c #Conflicts: 981000 | #Constraints: 43135
2617.39/2623.96 c INPROCESSING
2617.39/2623.96 c GARBAGE COLLECT
2617.39/2623.96 c #Conflicts: 982000 | #Constraints: 24544
2617.39/2623.96 c #Conflicts: 983000 | #Constraints: 25544
2617.39/2623.96 c #Conflicts: 984000 | #Constraints: 26544
2617.39/2623.96 c #Conflicts: 985000 | #Constraints: 27544
2617.39/2623.96 c #Conflicts: 986000 | #Constraints: 28544
2617.39/2623.96 c #Conflicts: 987000 | #Constraints: 29544
2617.39/2623.96 c #Conflicts: 988000 | #Constraints: 30544
2617.39/2623.96 c #Conflicts: 989000 | #Constraints: 31544
2617.39/2623.96 c #Conflicts: 990000 | #Constraints: 32544
2617.39/2623.96 c #Conflicts: 991000 | #Constraints: 33544
2617.39/2623.96 c #Conflicts: 992000 | #Constraints: 34544
2617.39/2623.96 c #Conflicts: 993000 | #Constraints: 35544
2617.39/2623.96 c #Conflicts: 994000 | #Constraints: 36544
2617.39/2623.96 c #Conflicts: 995000 | #Constraints: 37544
2617.39/2623.96 c #Conflicts: 996000 | #Constraints: 38544
2617.39/2623.96 c #Conflicts: 997000 | #Constraints: 39544
2617.39/2623.96 c #Conflicts: 998000 | #Constraints: 40544
2617.39/2623.96 c #Conflicts: 999000 | #Constraints: 41544
2617.39/2623.96 c #Conflicts: 1000000 | #Constraints: 42544
2617.39/2623.96 c #Conflicts: 1001000 | #Constraints: 43544
2617.39/2623.96 c INPROCESSING
2617.39/2623.96 c GARBAGE COLLECT
2617.39/2623.96 c #Conflicts: 1002000 | #Constraints: 24741
2617.39/2623.96 c #Conflicts: 1003000 | #Constraints: 25741
2617.39/2623.96 c #Conflicts: 1004000 | #Constraints: 26741
2617.39/2623.96 c #Conflicts: 1005000 | #Constraints: 27741
2617.39/2623.96 c #Conflicts: 1006000 | #Constraints: 28741
2617.39/2623.96 c #Conflicts: 1007000 | #Constraints: 29741
2617.39/2623.96 c #Conflicts: 1008000 | #Constraints: 30741
2617.39/2623.96 c #Conflicts: 1009000 | #Constraints: 31741
2617.39/2623.96 c #Conflicts: 1010000 | #Constraints: 32741
2617.39/2623.96 c #Conflicts: 1011000 | #Constraints: 33741
2617.39/2623.96 c #Conflicts: 1012000 | #Constraints: 34741
2617.39/2623.96 c #Conflicts: 1013000 | #Constraints: 35741
2617.39/2623.96 c #Conflicts: 1014000 | #Constraints: 36741
2617.39/2623.96 c #Conflicts: 1015000 | #Constraints: 37741
2617.39/2623.96 c #Conflicts: 1016000 | #Constraints: 38741
2617.39/2623.96 c #Conflicts: 1017000 | #Constraints: 39741
2617.39/2623.96 c #Conflicts: 1018000 | #Constraints: 40741
2617.39/2623.96 c #Conflicts: 1019000 | #Constraints: 41741
2617.39/2623.96 c #Conflicts: 1020000 | #Constraints: 42741
2617.39/2623.96 c #Conflicts: 1021000 | #Constraints: 43741
2617.39/2623.96 c INPROCESSING
2617.39/2623.96 c GARBAGE COLLECT
2617.39/2623.96 c #Conflicts: 1022000 | #Constraints: 24736
2617.39/2623.96 c #Conflicts: 1023000 | #Constraints: 25736
2617.39/2623.96 c #Conflicts: 1024000 | #Constraints: 26736
2617.39/2623.96 c #Conflicts: 1025000 | #Constraints: 27736
2617.39/2623.96 c #Conflicts: 1026000 | #Constraints: 28736
2617.39/2623.96 c #Conflicts: 1027000 | #Constraints: 29736
2617.39/2623.96 c #Conflicts: 1028000 | #Constraints: 30736
2617.39/2623.96 c #Conflicts: 1029000 | #Constraints: 31736
2617.39/2623.96 c #Conflicts: 1030000 | #Constraints: 32736
2617.39/2623.96 c #Conflicts: 1031000 | #Constraints: 33736
2617.39/2623.96 c #Conflicts: 1032000 | #Constraints: 34736
2617.39/2623.96 c #Conflicts: 1033000 | #Constraints: 35736
2617.39/2623.96 c #Conflicts: 1034000 | #Constraints: 36736
2617.39/2623.96 c #Conflicts: 1035000 | #Constraints: 37736
2617.39/2623.96 c #Conflicts: 1036000 | #Constraints: 38736
2617.39/2623.96 c #Conflicts: 1037000 | #Constraints: 39736
2617.39/2623.96 c #Conflicts: 1038000 | #Constraints: 40736
2617.39/2623.96 c #Conflicts: 1039000 | #Constraints: 41736
2617.39/2623.96 c #Conflicts: 1040000 | #Constraints: 42736
2617.39/2623.96 c #Conflicts: 1041000 | #Constraints: 43736
2617.39/2623.96 c INPROCESSING
2617.39/2623.96 c GARBAGE COLLECT
2617.39/2623.96 c #Conflicts: 1042000 | #Constraints: 24540
3019.44/3027.04 c #Conflicts: 1043000 | #Constraints: 25540
3019.44/3027.04 c #Conflicts: 1044000 | #Constraints: 26540
3019.44/3027.04 c #Conflicts: 1045000 | #Constraints: 27540
3019.44/3027.04 c #Conflicts: 1046000 | #Constraints: 28540
3019.44/3027.04 c #Conflicts: 1047000 | #Constraints: 29540
3019.44/3027.04 c #Conflicts: 1048000 | #Constraints: 30540
3019.44/3027.04 c #Conflicts: 1049000 | #Constraints: 31540
3019.44/3027.04 c #Conflicts: 1050000 | #Constraints: 32540
3019.44/3027.04 c #Conflicts: 1051000 | #Constraints: 33540
3019.44/3027.04 c #Conflicts: 1052000 | #Constraints: 34540
3019.44/3027.04 c #Conflicts: 1053000 | #Constraints: 35540
3019.44/3027.04 c #Conflicts: 1054000 | #Constraints: 36540
3019.44/3027.04 c #Conflicts: 1055000 | #Constraints: 37540
3019.44/3027.04 c #Conflicts: 1056000 | #Constraints: 38540
3019.44/3027.04 c #Conflicts: 1057000 | #Constraints: 39540
3019.44/3027.04 c #Conflicts: 1058000 | #Constraints: 40540
3019.44/3027.04 c #Conflicts: 1059000 | #Constraints: 41540
3019.44/3027.04 c #Conflicts: 1060000 | #Constraints: 42540
3019.44/3027.04 c #Conflicts: 1061000 | #Constraints: 43540
3019.44/3027.04 c #Conflicts: 1062000 | #Constraints: 44540
3019.44/3027.04 c INPROCESSING
3019.44/3027.04 c GARBAGE COLLECT
3019.44/3027.04 c #Conflicts: 1063000 | #Constraints: 25153
3019.44/3027.04 c #Conflicts: 1064000 | #Constraints: 26153
3019.44/3027.04 c #Conflicts: 1065000 | #Constraints: 27153
3019.44/3027.04 c #Conflicts: 1066000 | #Constraints: 28153
3019.44/3027.04 c #Conflicts: 1067000 | #Constraints: 29153
3019.44/3027.04 c #Conflicts: 1068000 | #Constraints: 30153
3019.44/3027.04 c #Conflicts: 1069000 | #Constraints: 31153
3019.44/3027.04 c #Conflicts: 1070000 | #Constraints: 32153
3019.44/3027.04 c #Conflicts: 1071000 | #Constraints: 33153
3019.44/3027.04 c #Conflicts: 1072000 | #Constraints: 34153
3019.44/3027.04 c #Conflicts: 1073000 | #Constraints: 35153
3019.44/3027.04 c #Conflicts: 1074000 | #Constraints: 36153
3019.44/3027.04 c #Conflicts: 1075000 | #Constraints: 37153
3019.44/3027.04 c #Conflicts: 1076000 | #Constraints: 38153
3019.44/3027.04 c #Conflicts: 1077000 | #Constraints: 39153
3019.44/3027.04 c #Conflicts: 1078000 | #Constraints: 40153
3019.44/3027.04 c #Conflicts: 1079000 | #Constraints: 41153
3019.44/3027.04 c #Conflicts: 1080000 | #Constraints: 42153
3019.44/3027.04 c #Conflicts: 1081000 | #Constraints: 43153
3019.44/3027.04 c #Conflicts: 1082000 | #Constraints: 44153
3019.44/3027.04 c #Conflicts: 1083000 | #Constraints: 45153
3019.44/3027.04 c INPROCESSING
3019.44/3027.04 c GARBAGE COLLECT
3019.44/3027.04 c #Conflicts: 1084000 | #Constraints: 25554
3019.44/3027.04 c #Conflicts: 1085000 | #Constraints: 26554
3019.44/3027.04 c #Conflicts: 1086000 | #Constraints: 27554
3019.44/3027.04 c #Conflicts: 1087000 | #Constraints: 28554
3019.44/3027.04 c #Conflicts: 1088000 | #Constraints: 29554
3019.44/3027.04 c #Conflicts: 1089000 | #Constraints: 30554
3019.44/3027.04 c #Conflicts: 1090000 | #Constraints: 31554
3019.44/3027.04 c #Conflicts: 1091000 | #Constraints: 32554
3019.44/3027.04 c #Conflicts: 1092000 | #Constraints: 33554
3019.44/3027.04 c #Conflicts: 1093000 | #Constraints: 34554
3019.44/3027.04 c #Conflicts: 1094000 | #Constraints: 35554
3019.44/3027.04 c #Conflicts: 1095000 | #Constraints: 36554
3019.44/3027.04 c #Conflicts: 1096000 | #Constraints: 37554
3019.44/3027.04 c #Conflicts: 1097000 | #Constraints: 38554
3019.44/3027.04 c #Conflicts: 1098000 | #Constraints: 39554
3019.44/3027.04 c #Conflicts: 1099000 | #Constraints: 40554
3019.44/3027.04 c #Conflicts: 1100000 | #Constraints: 41554
3019.44/3027.04 c #Conflicts: 1101000 | #Constraints: 42554
3019.44/3027.04 c #Conflicts: 1102000 | #Constraints: 43554
3019.44/3027.04 c #Conflicts: 1103000 | #Constraints: 44554
3019.44/3027.04 c #Conflicts: 1104000 | #Constraints: 45554
3019.44/3027.04 c INPROCESSING
3019.44/3027.04 c GARBAGE COLLECT
3019.44/3027.04 c #Conflicts: 1105000 | #Constraints: 25741
3019.44/3027.04 c #Conflicts: 1106000 | #Constraints: 26741
3019.44/3027.04 c #Conflicts: 1107000 | #Constraints: 27741
3019.44/3027.04 c #Conflicts: 1108000 | #Constraints: 28741
3019.44/3027.04 c #Conflicts: 1109000 | #Constraints: 29741
3019.44/3027.04 c #Conflicts: 1110000 | #Constraints: 30741
3019.44/3027.04 c #Conflicts: 1111000 | #Constraints: 31741
3019.44/3027.04 c #Conflicts: 1112000 | #Constraints: 32741
3019.44/3027.04 c #Conflicts: 1113000 | #Constraints: 33741
3019.44/3027.04 c #Conflicts: 1114000 | #Constraints: 34741
3019.44/3027.04 c #Conflicts: 1115000 | #Constraints: 35741
3019.44/3027.04 c #Conflicts: 1116000 | #Constraints: 36741
3019.44/3027.04 c #Conflicts: 1117000 | #Constraints: 37741
3019.44/3027.04 c #Conflicts: 1118000 | #Constraints: 38741
3019.44/3027.04 c #Conflicts: 1119000 | #Constraints: 39741
3278.47/3286.75 c #Conflicts: 1120000 | #Constraints: 40741
3278.47/3286.75 c #Conflicts: 1121000 | #Constraints: 41741
3278.47/3286.75 c #Conflicts: 1122000 | #Constraints: 42741
3278.47/3286.75 c #Conflicts: 1123000 | #Constraints: 43741
3278.47/3286.75 c #Conflicts: 1124000 | #Constraints: 44741
3278.47/3286.75 c #Conflicts: 1125000 | #Constraints: 45741
3278.47/3286.75 c INPROCESSING
3278.47/3286.75 c GARBAGE COLLECT
3278.47/3286.75 c #Conflicts: 1126000 | #Constraints: 25737
3278.47/3286.75 c #Conflicts: 1127000 | #Constraints: 26737
3278.47/3286.75 c #Conflicts: 1128000 | #Constraints: 27737
3278.47/3286.75 c #Conflicts: 1129000 | #Constraints: 28737
3278.47/3286.75 c #Conflicts: 1130000 | #Constraints: 29737
3278.47/3286.75 c #Conflicts: 1131000 | #Constraints: 30737
3278.47/3286.75 c #Conflicts: 1132000 | #Constraints: 31737
3278.47/3286.75 c #Conflicts: 1133000 | #Constraints: 32737
3278.47/3286.75 c #Conflicts: 1134000 | #Constraints: 33737
3278.47/3286.75 c #Conflicts: 1135000 | #Constraints: 34737
3278.47/3286.75 c #Conflicts: 1136000 | #Constraints: 35737
3278.47/3286.75 c #Conflicts: 1137000 | #Constraints: 36737
3278.47/3286.75 c #Conflicts: 1138000 | #Constraints: 37737
3278.47/3286.75 c #Conflicts: 1139000 | #Constraints: 38737
3278.47/3286.75 c #Conflicts: 1140000 | #Constraints: 39737
3278.47/3286.75 c #Conflicts: 1141000 | #Constraints: 40737
3278.47/3286.75 c #Conflicts: 1142000 | #Constraints: 41737
3278.47/3286.75 c #Conflicts: 1143000 | #Constraints: 42737
3278.47/3286.75 c #Conflicts: 1144000 | #Constraints: 43737
3278.47/3286.75 c #Conflicts: 1145000 | #Constraints: 44737
3278.47/3286.75 c #Conflicts: 1146000 | #Constraints: 45737
3278.47/3286.75 c INPROCESSING
3278.47/3286.75 c GARBAGE COLLECT
3278.47/3286.75 c #Conflicts: 1147000 | #Constraints: 25524
3278.47/3286.75 c #Conflicts: 1148000 | #Constraints: 26524
3278.47/3286.75 c #Conflicts: 1149000 | #Constraints: 27524
3278.47/3286.75 c #Conflicts: 1150000 | #Constraints: 28524
3278.47/3286.75 c #Conflicts: 1151000 | #Constraints: 29524
3278.47/3286.75 c #Conflicts: 1152000 | #Constraints: 30524
3278.47/3286.75 c #Conflicts: 1153000 | #Constraints: 31524
3278.47/3286.75 c #Conflicts: 1154000 | #Constraints: 32524
3278.47/3286.75 c #Conflicts: 1155000 | #Constraints: 33524
3278.47/3286.75 c #Conflicts: 1156000 | #Constraints: 34524
3278.47/3286.75 c #Conflicts: 1157000 | #Constraints: 35524
3278.47/3286.75 c #Conflicts: 1158000 | #Constraints: 36524
3278.47/3286.75 c #Conflicts: 1159000 | #Constraints: 37524
3278.47/3286.75 c #Conflicts: 1160000 | #Constraints: 38524
3278.47/3286.75 c #Conflicts: 1161000 | #Constraints: 39524
3278.47/3286.75 c #Conflicts: 1162000 | #Constraints: 40524
3278.47/3286.75 c #Conflicts: 1163000 | #Constraints: 41524
3278.47/3286.75 c #Conflicts: 1164000 | #Constraints: 42524
3278.47/3286.75 c #Conflicts: 1165000 | #Constraints: 43524
3278.47/3286.75 c #Conflicts: 1166000 | #Constraints: 44524
3278.47/3286.75 c #Conflicts: 1167000 | #Constraints: 45524
3278.47/3286.75 c #Conflicts: 1168000 | #Constraints: 46524
3278.47/3286.75 c INPROCESSING
3278.47/3286.75 c GARBAGE COLLECT
3278.47/3286.75 c #Conflicts: 1169000 | #Constraints: 26124
3278.47/3286.75 c #Conflicts: 1170000 | #Constraints: 27124
3278.47/3286.75 c #Conflicts: 1171000 | #Constraints: 28124
3278.47/3286.75 c #Conflicts: 1172000 | #Constraints: 29124
3278.47/3286.75 c #Conflicts: 1173000 | #Constraints: 30124
3278.47/3286.75 c #Conflicts: 1174000 | #Constraints: 31124
3278.47/3286.75 c #Conflicts: 1175000 | #Constraints: 32124
3278.47/3286.75 c #Conflicts: 1176000 | #Constraints: 33124
3278.47/3286.75 c #Conflicts: 1177000 | #Constraints: 34124
3278.47/3286.75 c #Conflicts: 1178000 | #Constraints: 35124
3278.47/3286.75 c #Conflicts: 1179000 | #Constraints: 36124
3278.47/3286.75 c #Conflicts: 1180000 | #Constraints: 37124
3278.47/3286.75 c #Conflicts: 1181000 | #Constraints: 38124
3278.47/3286.75 c #Conflicts: 1182000 | #Constraints: 39124
3278.47/3286.75 c #Conflicts: 1183000 | #Constraints: 40124
3278.47/3286.75 c #Conflicts: 1184000 | #Constraints: 41124
3278.47/3286.75 c #Conflicts: 1185000 | #Constraints: 42124
3278.47/3286.75 c #Conflicts: 1186000 | #Constraints: 43124
3278.47/3286.75 c #Conflicts: 1187000 | #Constraints: 44124
3278.47/3286.75 c #Conflicts: 1188000 | #Constraints: 45124
3278.47/3286.75 c #Conflicts: 1189000 | #Constraints: 46124
3278.47/3286.75 c #Conflicts: 1190000 | #Constraints: 47124
3278.47/3286.75 c INPROCESSING
3278.47/3286.75 c GARBAGE COLLECT
3278.47/3286.75 c #Conflicts: 1191000 | #Constraints: 26510
3278.47/3286.75 c #Conflicts: 1192000 | #Constraints: 27510
3278.47/3286.75 c #Conflicts: 1193000 | #Constraints: 28510
3278.47/3286.75 c #Conflicts: 1194000 | #Constraints: 29510
3278.47/3286.75 c #Conflicts: 1195000 | #Constraints: 30510
3278.47/3286.75 c #Conflicts: 1196000 | #Constraints: 31510
3590.85/3599.99 c #Conflicts: 1197000 | #Constraints: 32510
3590.85/3599.99 c #Conflicts: 1198000 | #Constraints: 33510
3590.85/3599.99 c #Conflicts: 1199000 | #Constraints: 34510
3590.85/3599.99 c #Conflicts: 1200000 | #Constraints: 35510
3590.85/3599.99 c #Conflicts: 1201000 | #Constraints: 36510
3590.85/3599.99 c #Conflicts: 1202000 | #Constraints: 37510
3590.85/3599.99 c #Conflicts: 1203000 | #Constraints: 38510
3590.85/3599.99 c #Conflicts: 1204000 | #Constraints: 39510
3590.85/3599.99 c #Conflicts: 1205000 | #Constraints: 40510
3590.85/3599.99 c #Conflicts: 1206000 | #Constraints: 41510
3590.85/3599.99 c #Conflicts: 1207000 | #Constraints: 42510
3590.85/3599.99 c #Conflicts: 1208000 | #Constraints: 43510
3590.85/3599.99 c #Conflicts: 1209000 | #Constraints: 44510
3590.85/3599.99 c #Conflicts: 1210000 | #Constraints: 45510
3590.85/3599.99 c #Conflicts: 1211000 | #Constraints: 46510
3590.85/3599.99 c #Conflicts: 1212000 | #Constraints: 47510
3590.85/3599.99 c INPROCESSING
3590.85/3599.99 c GARBAGE COLLECT
3590.85/3599.99 c #Conflicts: 1213000 | #Constraints: 26722
3590.85/3599.99 c #Conflicts: 1214000 | #Constraints: 27722
3590.85/3599.99 c #Conflicts: 1215000 | #Constraints: 28722
3590.85/3599.99 c #Conflicts: 1216000 | #Constraints: 29722
3590.85/3599.99 c #Conflicts: 1217000 | #Constraints: 30722
3590.85/3599.99 c #Conflicts: 1218000 | #Constraints: 31722
3590.85/3599.99 c #Conflicts: 1219000 | #Constraints: 32722
3590.85/3599.99 c #Conflicts: 1220000 | #Constraints: 33722
3590.85/3599.99 c #Conflicts: 1221000 | #Constraints: 34722
3590.85/3599.99 c #Conflicts: 1222000 | #Constraints: 35722
3590.85/3599.99 c #Conflicts: 1223000 | #Constraints: 36722
3590.85/3599.99 c #Conflicts: 1224000 | #Constraints: 37722
3590.85/3599.99 c #Conflicts: 1225000 | #Constraints: 38722
3590.85/3599.99 c #Conflicts: 1226000 | #Constraints: 39722
3590.85/3599.99 c #Conflicts: 1227000 | #Constraints: 40722
3590.85/3599.99 c #Conflicts: 1228000 | #Constraints: 41722
3590.85/3599.99 c #Conflicts: 1229000 | #Constraints: 42722
3590.85/3599.99 c #Conflicts: 1230000 | #Constraints: 43722
3590.85/3599.99 c #Conflicts: 1231000 | #Constraints: 44722
3590.85/3599.99 c #Conflicts: 1232000 | #Constraints: 45722
3590.85/3599.99 c #Conflicts: 1233000 | #Constraints: 46722
3590.85/3599.99 c #Conflicts: 1234000 | #Constraints: 47722
3590.85/3599.99 c INPROCESSING
3590.85/3599.99 c GARBAGE COLLECT
3590.85/3599.99 c #Conflicts: 1235000 | #Constraints: 26744
3590.85/3599.99 c #Conflicts: 1236000 | #Constraints: 27744
3590.85/3599.99 c #Conflicts: 1237000 | #Constraints: 28744
3590.85/3599.99 c #Conflicts: 1238000 | #Constraints: 29744
3590.85/3599.99 c #Conflicts: 1239000 | #Constraints: 30744
3590.85/3599.99 c #Conflicts: 1240000 | #Constraints: 31744
3590.85/3599.99 c #Conflicts: 1241000 | #Constraints: 32744
3590.85/3599.99 c #Conflicts: 1242000 | #Constraints: 33744
3590.85/3599.99 c #Conflicts: 1243000 | #Constraints: 34744
3590.85/3599.99 c #Conflicts: 1244000 | #Constraints: 35744
3590.85/3599.99 c #Conflicts: 1245000 | #Constraints: 36744
3590.85/3599.99 c #Conflicts: 1246000 | #Constraints: 37744
3590.85/3599.99 c #Conflicts: 1247000 | #Constraints: 38744
3590.85/3599.99 c #Conflicts: 1248000 | #Constraints: 39744
3590.85/3599.99 c #Conflicts: 1249000 | #Constraints: 40744
3590.85/3599.99 c #Conflicts: 1250000 | #Constraints: 41744
3590.85/3599.99 c #Conflicts: 1251000 | #Constraints: 42744
3590.85/3599.99 c #Conflicts: 1252000 | #Constraints: 43744
3590.85/3599.99 c #Conflicts: 1253000 | #Constraints: 44744
3590.85/3599.99 c #Conflicts: 1254000 | #Constraints: 45744
3590.85/3599.99 c #Conflicts: 1255000 | #Constraints: 46744
3590.85/3599.99 c #Conflicts: 1256000 | #Constraints: 47744
3590.85/3599.99 c INPROCESSING
3590.85/3599.99 c GARBAGE COLLECT
3590.85/3599.99 c #Conflicts: 1257000 | #Constraints: 26552
3590.85/3599.99 c #Conflicts: 1258000 | #Constraints: 27552
3590.85/3599.99 c #Conflicts: 1259000 | #Constraints: 28552
3590.85/3599.99 c #Conflicts: 1260000 | #Constraints: 29552
3590.85/3599.99 c #Conflicts: 1261000 | #Constraints: 30552
3590.85/3599.99 c #Conflicts: 1262000 | #Constraints: 31552
3590.85/3599.99 c #Conflicts: 1263000 | #Constraints: 32552
3590.85/3599.99 c #Conflicts: 1264000 | #Constraints: 33552
3590.85/3599.99 c #Conflicts: 1265000 | #Constraints: 34552
3590.85/3599.99 c #Conflicts: 1266000 | #Constraints: 35552
3590.85/3599.99 c #Conflicts: 1267000 | #Constraints: 36552
3590.85/3599.99 c #Conflicts: 1268000 | #Constraints: 37552
3590.85/3599.99 c #Conflicts: 1269000 | #Constraints: 38552
3590.85/3599.99 c #Conflicts: 1270000 | #Constraints: 39552
3590.85/3599.99 c #Conflicts: 1271000 | #Constraints: 40552
3590.85/3599.99 c #Conflicts: 1272000 | #Constraints: 41552
3600.03/3609.10 c #Conflicts: 1273000 | #Constraints: 42552
3600.03/3609.10 c #Conflicts: 1274000 | #Constraints: 43552
3600.03/3609.10 c Program interrupted by user.
3600.03/3609.10 c cpu time 3590.28 s
3600.03/3609.10 c deterministic time 811161356848 8.11e+11
3600.03/3609.10 c optimization time 49.3804 s
3600.03/3609.10 c total solve time 3241.89 s
3600.03/3609.10 c core-guided solve time 3241.89 s
3600.03/3609.10 c propagation time 2766.26 s
3600.03/3609.10 c conflict analysis time 394.236 s
3600.03/3609.10 c propagations 104980346
3600.03/3609.10 c resolve steps 7985043
3600.03/3609.10 c decisions 5055697
3600.03/3609.10 c conflicts 1274599
3600.03/3609.10 c restarts 2428
3600.03/3609.10 c inprocessing phases 103
3600.03/3609.10 c input clauses 3861
3600.03/3609.10 c input cardinalities 151
3600.03/3609.10 c input general constraints 0
3600.03/3609.10 c input average constraint length 63.70
3600.03/3609.10 c input average constraint degree 28.54
3600.03/3609.10 c learned clauses 376414
3600.03/3609.10 c learned cardinalities 254293
3600.03/3609.10 c learned general constraints 644038
3600.03/3609.10 c learned average constraint length 934.51
3600.03/3609.10 c learned average constraint degree 357478.72
3600.03/3609.10 c watched constraints 423715
3600.03/3609.10 c counting constraints 220323
3600.03/3609.10 c gcd simplifications 39625
3600.03/3609.10 c detected cardinalities 8699
3600.03/3609.10 c weakened non-implied lits 172190177
3600.03/3609.10 c weakened non-implying lits 28933
3600.03/3609.10 c original variables 1968
3600.03/3609.10 c clausal propagations 36393356
3600.03/3609.10 c cardinality propagations 12443102
3600.03/3609.10 c watched propagations 18110269
3600.03/3609.10 c counting propagations 25431062
3600.03/3609.10 c watch lookups 38270848445
3600.03/3609.10 c watch backjump lookups 31999432029
3600.03/3609.10 c watch checks 664759690378
3600.03/3609.10 c propagation checks 72769934822
3600.03/3609.10 c constraint additions 3140106157
3600.03/3609.10 c trail pops 111308973
3600.03/3609.10 c formula constraints 3207
3600.03/3609.10 c learned constraints 1274745
3600.03/3609.10 c bound constraints 151
3600.03/3609.10 c core-guided constraints 654
3600.03/3609.10 c encountered formula constraints 6027250
3600.03/3609.10 c encountered learned constraints 3086981
3600.03/3609.10 c encountered bound constraints 2
3600.03/3609.10 c encountered core-guided constraints 145409
3600.03/3609.10 c LP total time 0 s
3600.03/3609.10 c LP solve time 0 s
3600.03/3609.10 c LP constraints added 0
3600.03/3609.10 c LP constraints removed 0
3600.03/3609.10 c LP pivots internal 0
3600.03/3609.10 c LP pivots root 0
3600.03/3609.10 c LP calls 0
3600.03/3609.10 c LP optimalities 0
3600.03/3609.10 c LP no pivot count 0
3600.03/3609.10 c LP infeasibilities 0
3600.03/3609.10 c LP valid Farkas constraints 0
3600.03/3609.10 c LP learned Farkas constraints 0
3600.03/3609.10 c LP basis resets 0
3600.03/3609.10 c LP cycling count 0
3600.03/3609.10 c LP singular count 0
3600.03/3609.10 c LP no primal count 0
3600.03/3609.10 c LP no farkas count 0
3600.03/3609.10 c LP other issue count 0
3600.03/3609.10 c LP Gomory cuts 0
3600.03/3609.10 c LP learned cuts 0
3600.03/3609.10 c LP deleted cuts 0
3600.03/3609.10 c LP encountered Gomory constraints 0
3600.03/3609.10 c LP encountered Farkas constraints 0
3600.03/3609.10 c LP encountered learned Farkas constraints 0
3600.03/3609.10 c CG auxiliary variables introduced 654
3600.03/3609.10 c CG solutions found 0
3600.03/3609.10 c CG cores constructed 150
3600.03/3609.10 c CG core cardinality constraints returned 0
3600.03/3609.10 c CG unit cores 0
3600.03/3609.10 c CG single cores 150
3600.03/3609.10 c CG blocks removed during cardinality reduction 0
3600.03/3609.10 c CG first core best 0
3600.03/3609.10 c CG decision core best 0
3600.03/3609.10 c CG core reduction tie 0
3600.03/3609.10 c CG core degree average 1.00
3600.03/3609.10 c CG core slack average 4.90
3600.03/3609.10 c CG exhausted 0
3600.03/3609.10 c CG exhaust time 0 s
3600.03/3609.10 c CG trimmed 0
3600.03/3609.10 c CG trim time 0.03859 s
3600.03/3609.10 c CG minimized 0
3600.03/3609.10 c CG minimize time 0 s
3600.03/3609.10 c CG am1 prop time 0.002279 s
3600.03/3609.10 c CG # am1s reformulated 654
3600.03/3609.10 c CG lower bound derived from am1s 657
3600.03/3609.10 c CG # clausal cores 150
3600.03/3609.10 c CG # cardinality cores 0
3600.03/3609.10 c CG # pb cores 0
3600.03/3609.10 c CG # pb reforms 0
3600.03/3609.10 c CG # cores discarded because of pb reform 0
3600.03/3609.10 d LOWERBOUND 807
3600.03/3609.10 d NCORES 150
3600.03/3609.10 d NPBCORES 0
3600.03/3609.10 d NPBREFORM 0
3600.03/3609.10 d NTRIMMED 0
3600.03/3609.10 d NEXHAUSTED 0
3600.03/3609.10 d NAM1S 654
3600.03/3609.10 d AM1LB 657
3600.03/3609.10 c [Papilo Statistics]
3600.03/3609.10 c prepro time 0.00462225s
3600.03/3609.10 c # tsx applied 163
3600.03/3609.10 c # tsx conflicts 9
3600.03/3609.10 c # bound changes 161
3600.03/3609.10 c # side changes 0
3600.03/3609.10 c # coef changes 0
3600.03/3609.10 c # rounds 2
3600.03/3609.10 c # deted vars 331
3600.03/3609.10 c # deted constrs 793
3600.03/3609.10 c # consecutive rounds of only bound changes 0
3600.03/3609.11 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62363 MiB free)
memory of node 1: 64473 MiB (61831 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454718-1721467516/watcher-4454718-1721467516 -o /tmp/evaluation-result-4454718-1721467516/solver-4454718-1721467516 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721467498-1059650 --watchdog 3760 mixed-bag HOME/instance-4454718-1721467516.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1060424, runsolver pid=1060421
[startup+0.100876 s]*
/proc/loadavg: 2.36 2.15 3.10 5/259 1060425
/proc/meminfo: memFree=127148808/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=108876 memory=40040 CPUtime=0.09 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 7013 0 0 0 8 1 0 0 20 0 1 0 198915393 111489024 10010 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 27219 10010 3986 3002 0 10968 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 108876 KiB
Current children cumulated memory: 40040 KiB
[startup+0.205748 s]*
/proc/loadavg: 2.36 2.15 3.10 5/259 1060425
/proc/meminfo: memFree=127146652/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=109628 memory=40884 CPUtime=0.2 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 7202 0 0 0 19 1 0 0 20 0 1 0 198915393 112259072 10221 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 27407 10221 4002 3002 0 11156 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 109628 KiB
Current children cumulated memory: 40884 KiB
[startup+0.305602 s]*
/proc/loadavg: 2.36 2.15 3.10 5/259 1060425
/proc/meminfo: memFree=127142816/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=113772 memory=44872 CPUtime=0.3 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 8180 0 0 0 29 1 0 0 20 0 1 0 198915393 116502528 11218 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 28443 11218 4018 3002 0 12192 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 113772 KiB
Current children cumulated memory: 44872 KiB
[startup+0.700217 s]
/proc/loadavg: 2.36 2.15 3.10 5/259 1060425
/proc/meminfo: memFree=127142340/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=114944 memory=45664 CPUtime=0.68 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 8396 0 0 0 67 1 0 0 20 0 1 0 198915393 117702656 11416 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 28736 11416 4018 3002 0 12485 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 114944 KiB
Current children cumulated memory: 45664 KiB
[startup+1.50019 s]
/proc/loadavg: 2.36 2.15 3.10 5/259 1060425
/proc/meminfo: memFree=127140984/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=116892 memory=47248 CPUtime=1.48 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 8784 0 0 0 147 1 0 0 20 0 1 0 198915393 119697408 11812 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 29223 11812 4018 3002 0 12972 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 116892 KiB
Current children cumulated memory: 47248 KiB
[startup+3.10557 s]
/proc/loadavg: 2.36 2.15 3.10 5/259 1060425
/proc/meminfo: memFree=127099668/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=143872 memory=73120 CPUtime=3.08 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 15235 0 0 0 306 2 0 0 20 0 1 0 198915393 147324928 18280 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 35968 18280 4018 3002 0 19717 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 143872 KiB
Current children cumulated memory: 73120 KiB
[startup+6.30021 s]
/proc/loadavg: 2.49 2.18 3.10 5/259 1060425
/proc/meminfo: memFree=127032144/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=185188 memory=113512 CPUtime=6.27 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 25380 0 0 0 624 3 0 0 20 0 1 0 198915393 189632512 28378 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 46297 28378 4018 3002 0 30046 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 185188 KiB
Current children cumulated memory: 113512 KiB
[startup+12.7002 s]
/proc/loadavg: 2.61 2.21 3.11 5/259 1060426
/proc/meminfo: memFree=126970836/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=203144 memory=128152 CPUtime=12.65 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 30135 0 0 0 1261 4 0 0 20 0 1 0 198915393 208019456 32038 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 50786 32038 4018 3002 0 34535 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 203144 KiB
Current children cumulated memory: 128152 KiB
[startup+25.5002 s]
/proc/loadavg: 3.00 2.32 3.13 5/259 1060428
/proc/meminfo: memFree=126933800/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=209028 memory=133956 CPUtime=25.41 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 31607 0 0 0 2537 4 0 0 20 0 1 0 198915393 214044672 33489 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 52257 33489 4018 3002 0 36006 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 209028 KiB
Current children cumulated memory: 133956 KiB
[startup+51.1055 s]
/proc/loadavg: 3.34 2.46 3.15 5/259 1060432
/proc/meminfo: memFree=126770988/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=276396 memory=196104 CPUtime=50.94 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 48001 0 0 0 5085 9 0 0 20 0 1 0 198915393 283029504 49026 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 69099 49026 4033 3002 0 52848 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 276396 KiB
Current children cumulated memory: 196104 KiB
[startup+102.3 s]
/proc/loadavg: 3.76 2.71 3.21 5/259 1060441
/proc/meminfo: memFree=126740008/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=273244 memory=192864 CPUtime=101.97 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 49519 0 0 0 10183 14 0 0 20 0 1 0 198915393 279801856 48216 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 68311 48216 4033 3002 0 52060 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 273244 KiB
Current children cumulated memory: 192864 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 2.96 3.26 5/261 1060622
/proc/meminfo: memFree=126663404/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=302248 memory=218688 CPUtime=161.8 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 56310 0 0 0 16159 21 0 0 20 0 1 0 198915393 309501952 54672 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 75562 54672 4033 3002 0 59311 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 302248 KiB
Current children cumulated memory: 218688 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.17 3.32 5/260 1060632
/proc/meminfo: memFree=126609196/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=310616 memory=221700 CPUtime=221.61 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 58802 0 0 0 22138 23 0 0 20 0 1 0 198915393 318070784 55425 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 77654 55425 4033 3002 0 61403 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 310616 KiB
Current children cumulated memory: 221700 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 3.34 3.37 5/260 1060698
/proc/meminfo: memFree=126617708/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=334320 memory=242308 CPUtime=281.43 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 63979 0 0 0 28118 25 0 0 20 0 1 0 198915393 342343680 60577 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 83580 60577 4033 3002 0 67329 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 334320 KiB
Current children cumulated memory: 242308 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.49 3.42 5/257 1060710
/proc/meminfo: memFree=126646548/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=217400 memory=147176 CPUtime=341.25 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 68685 0 0 0 34057 68 0 0 20 0 1 0 198915393 222617600 36794 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 54350 36794 4192 3002 0 38099 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 217400 KiB
Current children cumulated memory: 147176 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 3.59 3.46 5/257 1060720
/proc/meminfo: memFree=126564424/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=264276 memory=187708 CPUtime=401.08 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 72728 0 0 0 39996 112 0 0 20 0 1 0 198915393 270618624 46927 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 66069 46927 4192 3002 0 49818 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 264276 KiB
Current children cumulated memory: 187708 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.69 3.51 5/256 1060730
/proc/meminfo: memFree=126497188/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=326792 memory=213128 CPUtime=460.9 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 75523 0 0 0 45931 159 0 0 20 0 1 0 198915393 334635008 53282 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 81698 53282 4192 3002 0 65447 0
################
# More data... #
################
Current children cumulated memory: 599332 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/258 1061757
/proc/meminfo: memFree=125355860/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=758512 memory=599332 CPUtime=2915.01 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 122075 0 0 0 290659 842 0 0 20 0 1 0 198915393 776716288 149833 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 189628 149833 4192 3002 0 173377 0
Current children cumulated CPU time: 2915.01 s
Current children cumulated vsize: 758512 KiB
Current children cumulated memory: 599332 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/255 1061769
/proc/meminfo: memFree=125342360/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=760816 memory=610904 CPUtime=2974.85 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 122725 0 0 0 296635 850 0 0 20 0 1 0 198915393 779075584 152726 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 190204 152726 4192 3002 0 173953 0
Current children cumulated CPU time: 2974.85 s
Current children cumulated vsize: 760816 KiB
Current children cumulated memory: 610904 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.06 5/255 1061779
/proc/meminfo: memFree=125340504/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=760816 memory=611100 CPUtime=3034.7 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 122983 0 0 0 302613 857 0 0 20 0 1 0 198915393 779075584 152775 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 190204 152775 4192 3002 0 173953 0
Current children cumulated CPU time: 3034.7 s
Current children cumulated vsize: 760816 KiB
Current children cumulated memory: 611100 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.06 5/254 1061790
/proc/meminfo: memFree=125338416/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=761072 memory=611356 CPUtime=3094.55 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 123294 0 0 0 308584 871 0 0 20 0 1 0 198915393 779337728 152839 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 190268 152839 4192 3002 0 174017 0
Current children cumulated CPU time: 3094.55 s
Current children cumulated vsize: 761072 KiB
Current children cumulated memory: 611356 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.06 5/254 1061801
/proc/meminfo: memFree=125333960/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=764400 memory=613300 CPUtime=3154.4 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 124113 0 0 0 314556 884 0 0 20 0 1 0 198915393 782745600 153325 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 191100 153325 4192 3002 0 174849 0
Current children cumulated CPU time: 3154.4 s
Current children cumulated vsize: 764400 KiB
Current children cumulated memory: 613300 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.06 5/254 1061811
/proc/meminfo: memFree=125329264/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=766448 memory=614988 CPUtime=3214.24 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 124736 0 0 0 320527 897 0 0 20 0 1 0 198915393 784842752 153747 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 191612 153747 4192 3002 0 175361 0
Current children cumulated CPU time: 3214.24 s
Current children cumulated vsize: 766448 KiB
Current children cumulated memory: 614988 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.06 5/257 1061827
/proc/meminfo: memFree=125316392/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=770728 memory=617684 CPUtime=3274.08 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 125651 0 0 0 326495 913 0 0 20 0 1 0 198915393 789225472 154421 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 192682 154421 4192 3002 0 176431 0
Current children cumulated CPU time: 3274.08 s
Current children cumulated vsize: 770728 KiB
Current children cumulated memory: 617684 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.06 5/257 1061838
/proc/meminfo: memFree=125302652/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=773544 memory=619112 CPUtime=3333.93 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 126295 0 0 0 332465 928 0 0 20 0 1 0 198915393 792109056 154778 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 193386 154778 4192 3002 0 177135 0
Current children cumulated CPU time: 3333.93 s
Current children cumulated vsize: 773544 KiB
Current children cumulated memory: 619112 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.06 5/258 1061849
/proc/meminfo: memFree=125297872/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=773544 memory=619444 CPUtime=3393.78 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 126551 0 0 0 338440 938 0 0 20 0 1 0 198915393 792109056 154861 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 193386 154861 4192 3002 0 177135 0
Current children cumulated CPU time: 3393.78 s
Current children cumulated vsize: 773544 KiB
Current children cumulated memory: 619444 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.07 4.06 5/258 1061860
/proc/meminfo: memFree=125269992/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=773800 memory=619444 CPUtime=3453.61 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 126831 0 0 0 344417 944 0 0 20 0 1 0 198915393 792371200 154861 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 193450 154861 4192 3002 0 177199 0
Current children cumulated CPU time: 3453.61 s
Current children cumulated vsize: 773800 KiB
Current children cumulated memory: 619444 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.06 5/258 1061871
/proc/meminfo: memFree=125224744/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=776872 memory=621316 CPUtime=3513.46 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 127552 0 0 0 350387 959 0 0 20 0 1 0 198915393 795516928 155329 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 194218 155329 4192 3002 0 177967 0
Current children cumulated CPU time: 3513.46 s
Current children cumulated vsize: 776872 KiB
Current children cumulated memory: 621316 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.06 4/255 1062366
/proc/meminfo: memFree=126160580/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=780272 memory=623972 CPUtime=3573.3 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 128428 0 0 0 356359 971 0 0 20 0 1 0 198915393 798998528 155993 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 195068 155993 4192 3002 0 178817 0
Current children cumulated CPU time: 3573.3 s
Current children cumulated vsize: 780272 KiB
Current children cumulated memory: 623972 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.13 4.09 4.07 5/258 1062501
/proc/meminfo: memFree=125747632/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=781224 memory=624476 CPUtime=3600.03 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 128718 0 0 0 359027 976 0 0 20 0 1 0 198915393 799973376 156119 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 195306 156119 4192 3002 0 179055 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 781224 KiB
Current children cumulated memory: 624476 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 1060424 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.28 s, system=9.77349 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.13 4.09 4.07 5/258 1062501
/proc/meminfo: memFree=125747632/131524600 swapFree=131071996/131071996
[pid=1060424] ppid=1060421 vsize=781224 memory=624476 CPUtime=3600.03 cores=4,6
/proc/1060424/stat : 1060424 (mixed-bag) R 1060421 1060424 1059639 0 -1 4194304 128718 0 0 0 359027 976 0 0 20 0 1 0 198915393 799973376 156119 134679101440 4194304 16488053 140724593121936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27136000 140724593128469 140724593128546 140724593128546 140724593135563 0
/proc/1060424/statm: 195306 156119 4192 3002 0 179055 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 781224 KiB
Current children cumulated memory: 624476 KiB
Child status: 0
Real time (s): 3609.11
CPU time (s): 3600.05
CPU user time (s): 3590.28
CPU system time (s): 9.77349
CPU usage (%): 99.7489
Max. virtual memory (cumulated for all children) (KiB): 781224
Max. memory (cumulated for all children) (KiB): 624476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.28
system time used= 9.77349
maximum resident set size= 624476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128743
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= 207
involuntary context switches= 2634
# summary of solver processes directly reported to runsolver:
# pid: 1060424
# total CPU time (s): 3600.05
# total CPU user time (s): 3590.28
# total CPU system time (s): 9.77349
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88831 second user time and 16.884 second system time
The end
Begin job on nodeC021 at 2024-07-20 11:25:28
IDJOB=4454718
IDBENCH=147524
IDSOLVER=3083
FILE ID=nodeC021/4454718-1721467516
RUNJOBID= nodeC021-1721467498-1059650
SLURM_JOB_ID= 7545721
Free space on /tmp= 890028 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454718-1721467516/watcher-4454718-1721467516 -o /tmp/evaluation-result-4454718-1721467516/solver-4454718-1721467516 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721467498-1059650 --watchdog 3760 mixed-bag HOME/instance-4454718-1721467516.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3986604c534c992b7a4e3e5a4bb881f1
RANDOM SEED=1901895141
nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3676.809
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3687.980
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3615.341
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.228
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.430
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3688.002
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.860
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.081
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127175880 kB
MemAvailable: 129268464 kB
Buffers: 563132 kB
Cached: 2356756 kB
SwapCached: 0 kB
Active: 1117492 kB
Inactive: 2577088 kB
Active(anon): 1536 kB
Inactive(anon): 819060 kB
Active(file): 1115956 kB
Inactive(file): 1758028 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 72692 kB
Writeback: 0 kB
AnonPages: 774096 kB
Mapped: 131812 kB
Shmem: 45912 kB
KReclaimable: 116844 kB
Slab: 232924 kB
SReclaimable: 116844 kB
SUnreclaim: 116080 kB
KernelStack: 4176 kB
PageTables: 11252 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1033916 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73248 kB
HardwareCorrupted: 0 kB
AnonHugePages: 249856 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 260820 kB
DirectMap2M: 25726976 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 890012 MiB
End job on nodeC021 at 2024-07-20 12:25:37