0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.02 c [STEP] preprocessing with Papilo
0.00/0.02 c [STEP] solving with SCIP
299.60/300.51 c [STEP] preprocessing done, loading into solver
299.60/300.51 c [STEP] solving
299.60/300.51 c #variables 1691 #constraints 3376
299.60/300.51 c SMALL=int, LARGE=long long
299.60/300.51 d SCIPUB 911
299.60/300.51 c bounds - >= 0 @ 299.476
299.60/300.51 c stratification level: 0
299.60/300.57 c bounds - >= 691 @ 299.482
299.60/300.57 c bounds - >= 692 @ 299.483
299.60/300.57 c bounds - >= 693 @ 299.483
299.60/300.57 c bounds - >= 694 @ 299.484
299.60/300.57 c bounds - >= 695 @ 299.484
299.60/300.57 c bounds - >= 696 @ 299.484
299.60/300.57 c bounds - >= 697 @ 299.484
299.60/300.57 c bounds - >= 698 @ 299.484
299.60/300.57 c bounds - >= 699 @ 299.485
299.60/300.57 c bounds - >= 700 @ 299.485
299.60/300.57 c bounds - >= 701 @ 299.485
299.60/300.57 c bounds - >= 702 @ 299.485
299.60/300.57 c bounds - >= 703 @ 299.485
299.60/300.57 c bounds - >= 704 @ 299.486
299.60/300.57 c bounds - >= 705 @ 299.486
299.60/300.57 c bounds - >= 706 @ 299.486
299.60/300.57 c bounds - >= 707 @ 299.486
299.60/300.57 c bounds - >= 708 @ 299.486
299.60/300.57 c bounds - >= 709 @ 299.487
299.60/300.57 c bounds - >= 710 @ 299.487
299.60/300.57 c bounds - >= 711 @ 299.487
299.60/300.57 c bounds - >= 712 @ 299.487
299.60/300.57 c bounds - >= 713 @ 299.488
299.60/300.57 c bounds - >= 714 @ 299.488
299.60/300.57 c bounds - >= 715 @ 299.488
299.60/300.57 c bounds - >= 716 @ 299.488
299.60/300.57 c bounds - >= 717 @ 299.488
299.60/300.57 c bounds - >= 718 @ 299.489
299.60/300.57 c bounds - >= 719 @ 299.489
299.60/300.57 c bounds - >= 720 @ 299.489
299.60/300.57 c bounds - >= 721 @ 299.489
299.60/300.57 c bounds - >= 722 @ 299.49
299.60/300.57 c bounds - >= 723 @ 299.49
299.60/300.57 c bounds - >= 724 @ 299.49
299.60/300.57 c bounds - >= 725 @ 299.49
299.60/300.57 c bounds - >= 726 @ 299.491
299.60/300.57 c bounds - >= 727 @ 299.491
299.60/300.57 c bounds - >= 728 @ 299.491
299.60/300.57 c bounds - >= 729 @ 299.491
299.60/300.57 c bounds - >= 730 @ 299.492
299.60/300.57 c bounds - >= 731 @ 299.492
299.60/300.57 c bounds - >= 732 @ 299.492
299.60/300.57 c bounds - >= 733 @ 299.492
299.60/300.57 c bounds - >= 734 @ 299.492
299.60/300.57 c bounds - >= 735 @ 299.492
299.60/300.57 c bounds - >= 736 @ 299.492
299.60/300.57 c bounds - >= 737 @ 299.492
299.60/300.57 c bounds - >= 738 @ 299.493
299.60/300.57 c bounds - >= 739 @ 299.493
299.60/300.57 c bounds - >= 740 @ 299.493
299.60/300.57 c bounds - >= 741 @ 299.493
299.60/300.57 c bounds - >= 742 @ 299.494
299.60/300.57 c bounds - >= 743 @ 299.494
299.60/300.57 c bounds - >= 744 @ 299.494
299.60/300.57 c bounds - >= 745 @ 299.494
299.60/300.57 c bounds - >= 746 @ 299.494
299.60/300.57 c bounds - >= 747 @ 299.494
299.60/300.57 c bounds - >= 748 @ 299.494
299.60/300.57 c bounds - >= 749 @ 299.494
299.60/300.57 c bounds - >= 750 @ 299.495
299.60/300.57 c bounds - >= 751 @ 299.495
299.60/300.57 c bounds - >= 752 @ 299.495
299.60/300.57 c bounds - >= 753 @ 299.495
299.60/300.57 c bounds - >= 754 @ 299.496
299.60/300.57 c bounds - >= 755 @ 299.496
299.60/300.57 c bounds - >= 756 @ 299.496
299.60/300.57 c bounds - >= 757 @ 299.496
299.60/300.57 c bounds - >= 758 @ 299.497
299.60/300.57 c bounds - >= 759 @ 299.497
299.60/300.57 c bounds - >= 760 @ 299.497
299.60/300.57 c bounds - >= 761 @ 299.498
299.60/300.57 c bounds - >= 762 @ 299.498
299.60/300.57 c bounds - >= 763 @ 299.498
299.60/300.57 c bounds - >= 764 @ 299.498
299.60/300.57 c bounds - >= 765 @ 299.499
299.60/300.57 c bounds - >= 766 @ 299.499
299.60/300.57 c bounds - >= 767 @ 299.499
299.60/300.57 c bounds - >= 768 @ 299.499
299.60/300.57 c bounds - >= 769 @ 299.5
299.60/300.57 c bounds - >= 770 @ 299.5
299.60/300.57 c bounds - >= 771 @ 299.5
299.60/300.57 c bounds - >= 772 @ 299.5
299.60/300.57 c bounds - >= 773 @ 299.5
299.60/300.57 c bounds - >= 774 @ 299.5
299.60/300.57 c bounds - >= 775 @ 299.5
299.60/300.57 c bounds - >= 776 @ 299.5
299.60/300.57 c bounds - >= 777 @ 299.5
299.60/300.57 c bounds - >= 778 @ 299.5
299.60/300.57 c bounds - >= 779 @ 299.5
299.60/300.57 c bounds - >= 780 @ 299.501
299.60/300.57 c bounds - >= 781 @ 299.501
299.60/300.57 c bounds - >= 782 @ 299.501
299.60/300.57 c bounds - >= 783 @ 299.501
299.60/300.57 c bounds - >= 784 @ 299.502
299.60/300.57 c bounds - >= 785 @ 299.502
299.60/300.57 c bounds - >= 786 @ 299.502
299.60/300.57 c bounds - >= 787 @ 299.503
299.60/300.57 c bounds - >= 788 @ 299.503
299.60/300.57 c bounds - >= 789 @ 299.503
299.60/300.57 c bounds - >= 790 @ 299.503
299.60/300.57 c bounds - >= 791 @ 299.504
299.60/300.57 c bounds - >= 792 @ 299.504
299.60/300.57 c bounds - >= 793 @ 299.504
299.60/300.57 c bounds - >= 794 @ 299.504
299.60/300.57 c bounds - >= 795 @ 299.504
299.60/300.57 c bounds - >= 796 @ 299.504
299.60/300.57 c bounds - >= 797 @ 299.504
299.60/300.57 c bounds - >= 798 @ 299.505
299.60/300.57 c bounds - >= 799 @ 299.505
299.60/300.57 c bounds - >= 800 @ 299.505
299.60/300.57 c bounds - >= 801 @ 299.506
299.60/300.57 c bounds - >= 802 @ 299.506
299.60/300.57 c bounds - >= 803 @ 299.506
299.60/300.57 c bounds - >= 804 @ 299.507
299.60/300.57 c bounds - >= 805 @ 299.507
299.60/300.57 c bounds - >= 806 @ 299.507
299.60/300.57 c bounds - >= 807 @ 299.507
299.60/300.57 c bounds - >= 808 @ 299.508
299.60/300.57 c bounds - >= 809 @ 299.508
299.60/300.57 c bounds - >= 810 @ 299.508
299.60/300.57 c bounds - >= 811 @ 299.509
299.60/300.57 c bounds - >= 812 @ 299.509
299.60/300.57 c bounds - >= 813 @ 299.509
299.60/300.57 c bounds - >= 814 @ 299.51
299.60/300.57 c bounds - >= 815 @ 299.51
299.60/300.57 c bounds - >= 816 @ 299.511
299.60/300.57 c bounds - >= 817 @ 299.511
299.60/300.57 c bounds - >= 818 @ 299.511
299.60/300.57 c bounds - >= 819 @ 299.512
299.60/300.57 c bounds - >= 820 @ 299.512
299.60/300.57 c bounds - >= 821 @ 299.512
299.60/300.57 c bounds - >= 822 @ 299.512
299.60/300.57 c bounds - >= 823 @ 299.512
299.60/300.57 c bounds - >= 824 @ 299.512
299.60/300.57 c bounds - >= 825 @ 299.513
299.60/300.57 c bounds - >= 826 @ 299.513
299.60/300.57 c bounds - >= 827 @ 299.513
299.60/300.57 c bounds - >= 828 @ 299.513
299.60/300.57 c bounds - >= 829 @ 299.513
299.60/300.57 c bounds - >= 830 @ 299.514
299.60/300.57 c bounds - >= 831 @ 299.514
299.60/300.57 c bounds - >= 832 @ 299.514
299.60/300.57 c bounds - >= 833 @ 299.514
299.60/300.57 c bounds - >= 834 @ 299.514
299.60/300.57 c bounds - >= 835 @ 299.514
299.60/300.57 c bounds - >= 836 @ 299.514
299.60/300.57 c bounds - >= 837 @ 299.514
299.60/300.57 c bounds - >= 838 @ 299.514
358.32/359.42 c bounds - >= 839 @ 299.515
358.32/359.42 c bounds - >= 840 @ 299.515
358.32/359.42 c #Conflicts: 1000 | #Constraints: 5365
358.32/359.42 c #Conflicts: 2000 | #Constraints: 6365
358.32/359.42 c INPROCESSING
358.32/359.42 c GARBAGE COLLECT
358.32/359.42 c #Conflicts: 3000 | #Constraints: 6188
358.32/359.42 c #Conflicts: 4000 | #Constraints: 7188
358.32/359.42 c INPROCESSING
358.32/359.42 c GARBAGE COLLECT
358.32/359.42 c #Conflicts: 5000 | #Constraints: 6582
358.32/359.42 c #Conflicts: 6000 | #Constraints: 7582
358.32/359.42 c INPROCESSING
358.32/359.42 c GARBAGE COLLECT
358.32/359.42 c #Conflicts: 7000 | #Constraints: 6591
358.32/359.42 c #Conflicts: 8000 | #Constraints: 7591
358.32/359.42 c #Conflicts: 9000 | #Constraints: 8591
358.32/359.42 c INPROCESSING
358.32/359.42 c GARBAGE COLLECT
358.32/359.42 c #Conflicts: 10000 | #Constraints: 7290
358.32/359.42 c #Conflicts: 11000 | #Constraints: 8290
358.32/359.42 c #Conflicts: 12000 | #Constraints: 9290
358.32/359.42 c INPROCESSING
358.32/359.42 c GARBAGE COLLECT
358.32/359.42 c #Conflicts: 13000 | #Constraints: 7738
358.32/359.42 c #Conflicts: 14000 | #Constraints: 8738
358.32/359.42 c #Conflicts: 15000 | #Constraints: 9738
358.32/359.42 c INPROCESSING
358.32/359.42 c GARBAGE COLLECT
358.32/359.42 c #Conflicts: 16000 | #Constraints: 7960
358.32/359.42 c #Conflicts: 17000 | #Constraints: 8960
358.32/359.42 c #Conflicts: 18000 | #Constraints: 9960
358.32/359.42 c INPROCESSING
358.32/359.42 c GARBAGE COLLECT
358.32/359.42 c #Conflicts: 19000 | #Constraints: 7965
358.32/359.42 c #Conflicts: 20000 | #Constraints: 8965
358.32/359.42 c #Conflicts: 21000 | #Constraints: 9965
358.32/359.42 c INPROCESSING
358.32/359.42 c GARBAGE COLLECT
358.32/359.42 c #Conflicts: 22000 | #Constraints: 7766
358.32/359.42 c #Conflicts: 23000 | #Constraints: 8766
358.32/359.42 c #Conflicts: 24000 | #Constraints: 9766
358.32/359.42 c #Conflicts: 25000 | #Constraints: 10766
358.32/359.42 c INPROCESSING
358.32/359.42 c GARBAGE COLLECT
358.32/359.42 c #Conflicts: 26000 | #Constraints: 8368
358.32/359.42 c #Conflicts: 27000 | #Constraints: 9368
358.32/359.42 c #Conflicts: 28000 | #Constraints: 10368
358.32/359.42 c #Conflicts: 29000 | #Constraints: 11368
358.32/359.42 c INPROCESSING
358.32/359.42 c GARBAGE COLLECT
358.32/359.42 c #Conflicts: 30000 | #Constraints: 8773
358.32/359.42 c #Conflicts: 31000 | #Constraints: 9773
358.32/359.42 c #Conflicts: 32000 | #Constraints: 10773
358.32/359.42 c #Conflicts: 33000 | #Constraints: 11773
358.32/359.42 c INPROCESSING
358.32/359.42 c GARBAGE COLLECT
358.32/359.42 c #Conflicts: 34000 | #Constraints: 8984
358.32/359.42 c #Conflicts: 35000 | #Constraints: 9984
358.32/359.42 c #Conflicts: 36000 | #Constraints: 10984
358.32/359.42 c #Conflicts: 37000 | #Constraints: 11984
358.32/359.42 c INPROCESSING
358.32/359.42 c GARBAGE COLLECT
358.32/359.42 c #Conflicts: 38000 | #Constraints: 8988
358.32/359.42 c #Conflicts: 39000 | #Constraints: 9988
358.32/359.42 c #Conflicts: 40000 | #Constraints: 10988
358.32/359.42 c #Conflicts: 41000 | #Constraints: 11988
358.32/359.42 c INPROCESSING
358.32/359.42 c GARBAGE COLLECT
358.32/359.42 c #Conflicts: 42000 | #Constraints: 8791
358.32/359.42 c #Conflicts: 43000 | #Constraints: 9791
358.32/359.42 c #Conflicts: 44000 | #Constraints: 10791
358.32/359.42 c #Conflicts: 45000 | #Constraints: 11791
358.32/359.42 c #Conflicts: 46000 | #Constraints: 12791
358.32/359.42 c INPROCESSING
358.32/359.42 c GARBAGE COLLECT
358.32/359.42 c #Conflicts: 47000 | #Constraints: 9387
358.32/359.42 c #Conflicts: 48000 | #Constraints: 10387
358.32/359.42 c #Conflicts: 49000 | #Constraints: 11387
358.32/359.42 c #Conflicts: 50000 | #Constraints: 12387
358.32/359.42 c #Conflicts: 51000 | #Constraints: 13387
358.32/359.42 c INPROCESSING
358.32/359.42 c GARBAGE COLLECT
358.32/359.42 c #Conflicts: 52000 | #Constraints: 9771
358.32/359.42 c #Conflicts: 53000 | #Constraints: 10771
358.32/359.42 c #Conflicts: 54000 | #Constraints: 11771
358.32/359.42 c #Conflicts: 55000 | #Constraints: 12771
358.32/359.42 c #Conflicts: 56000 | #Constraints: 13771
358.32/359.42 c INPROCESSING
358.32/359.42 c GARBAGE COLLECT
358.32/359.42 c #Conflicts: 57000 | #Constraints: 9960
358.32/359.42 c #Conflicts: 58000 | #Constraints: 10960
358.32/359.42 c #Conflicts: 59000 | #Constraints: 11960
358.32/359.42 c #Conflicts: 60000 | #Constraints: 12960
358.32/359.42 c #Conflicts: 61000 | #Constraints: 13960
358.32/359.42 c INPROCESSING
358.32/359.42 c GARBAGE COLLECT
358.32/359.42 c #Conflicts: 62000 | #Constraints: 9954
358.32/359.42 c #Conflicts: 63000 | #Constraints: 10954
358.32/359.42 c #Conflicts: 64000 | #Constraints: 11954
358.32/359.42 c #Conflicts: 65000 | #Constraints: 12954
358.32/359.42 c #Conflicts: 66000 | #Constraints: 13954
358.32/359.42 c INPROCESSING
358.32/359.42 c GARBAGE COLLECT
497.80/499.30 c #Conflicts: 67000 | #Constraints: 9745
497.80/499.30 c #Conflicts: 68000 | #Constraints: 10745
497.80/499.30 c #Conflicts: 69000 | #Constraints: 11745
497.80/499.30 c #Conflicts: 70000 | #Constraints: 12745
497.80/499.30 c #Conflicts: 71000 | #Constraints: 13745
497.80/499.30 c #Conflicts: 72000 | #Constraints: 14745
497.80/499.30 c INPROCESSING
497.80/499.30 c GARBAGE COLLECT
497.80/499.30 c #Conflicts: 73000 | #Constraints: 10349
497.80/499.30 c #Conflicts: 74000 | #Constraints: 11349
497.80/499.30 c #Conflicts: 75000 | #Constraints: 12349
497.80/499.30 c #Conflicts: 76000 | #Constraints: 13349
497.80/499.30 c #Conflicts: 77000 | #Constraints: 14349
497.80/499.30 c #Conflicts: 78000 | #Constraints: 15349
497.80/499.30 c INPROCESSING
497.80/499.30 c GARBAGE COLLECT
497.80/499.30 c #Conflicts: 79000 | #Constraints: 10752
497.80/499.30 c #Conflicts: 80000 | #Constraints: 11752
497.80/499.30 c #Conflicts: 81000 | #Constraints: 12752
497.80/499.30 c #Conflicts: 82000 | #Constraints: 13752
497.80/499.30 c #Conflicts: 83000 | #Constraints: 14752
497.80/499.30 c #Conflicts: 84000 | #Constraints: 15752
497.80/499.30 c INPROCESSING
497.80/499.30 c GARBAGE COLLECT
497.80/499.30 c #Conflicts: 85000 | #Constraints: 10957
497.80/499.30 c #Conflicts: 86000 | #Constraints: 11957
497.80/499.30 c #Conflicts: 87000 | #Constraints: 12957
497.80/499.30 c #Conflicts: 88000 | #Constraints: 13957
497.80/499.30 c #Conflicts: 89000 | #Constraints: 14957
497.80/499.30 c #Conflicts: 90000 | #Constraints: 15957
497.80/499.30 c INPROCESSING
497.80/499.30 c GARBAGE COLLECT
497.80/499.30 c #Conflicts: 91000 | #Constraints: 10952
497.80/499.30 c #Conflicts: 92000 | #Constraints: 11952
497.80/499.30 c #Conflicts: 93000 | #Constraints: 12952
497.80/499.30 c #Conflicts: 94000 | #Constraints: 13952
497.80/499.30 c #Conflicts: 95000 | #Constraints: 14952
497.80/499.30 c #Conflicts: 96000 | #Constraints: 15952
497.80/499.30 c INPROCESSING
497.80/499.30 c GARBAGE COLLECT
497.80/499.30 c #Conflicts: 97000 | #Constraints: 10760
497.80/499.30 c #Conflicts: 98000 | #Constraints: 11760
497.80/499.30 c #Conflicts: 99000 | #Constraints: 12760
497.80/499.30 c #Conflicts: 100000 | #Constraints: 13760
497.80/499.30 c #Conflicts: 101000 | #Constraints: 14760
497.80/499.30 c #Conflicts: 102000 | #Constraints: 15760
497.80/499.30 c #Conflicts: 103000 | #Constraints: 16760
497.80/499.30 c INPROCESSING
497.80/499.30 c GARBAGE COLLECT
497.80/499.30 c #Conflicts: 104000 | #Constraints: 11349
497.80/499.30 c #Conflicts: 105000 | #Constraints: 12349
497.80/499.30 c #Conflicts: 106000 | #Constraints: 13349
497.80/499.30 c #Conflicts: 107000 | #Constraints: 14349
497.80/499.30 c #Conflicts: 108000 | #Constraints: 15349
497.80/499.30 c #Conflicts: 109000 | #Constraints: 16349
497.80/499.30 c #Conflicts: 110000 | #Constraints: 17349
497.80/499.30 c INPROCESSING
497.80/499.30 c GARBAGE COLLECT
497.80/499.30 c #Conflicts: 111000 | #Constraints: 11750
497.80/499.30 c #Conflicts: 112000 | #Constraints: 12750
497.80/499.30 c #Conflicts: 113000 | #Constraints: 13750
497.80/499.30 c #Conflicts: 114000 | #Constraints: 14750
497.80/499.30 c #Conflicts: 115000 | #Constraints: 15750
497.80/499.30 c #Conflicts: 116000 | #Constraints: 16750
497.80/499.30 c #Conflicts: 117000 | #Constraints: 17750
497.80/499.30 c INPROCESSING
497.80/499.30 c GARBAGE COLLECT
497.80/499.30 c #Conflicts: 118000 | #Constraints: 11948
497.80/499.30 c #Conflicts: 119000 | #Constraints: 12948
497.80/499.30 c #Conflicts: 120000 | #Constraints: 13948
497.80/499.30 c #Conflicts: 121000 | #Constraints: 14948
497.80/499.30 c #Conflicts: 122000 | #Constraints: 15948
497.80/499.30 c #Conflicts: 123000 | #Constraints: 16948
497.80/499.30 c #Conflicts: 124000 | #Constraints: 17948
497.80/499.30 c INPROCESSING
497.80/499.30 c GARBAGE COLLECT
497.80/499.30 c #Conflicts: 125000 | #Constraints: 11952
497.80/499.30 c #Conflicts: 126000 | #Constraints: 12952
497.80/499.30 c #Conflicts: 127000 | #Constraints: 13952
497.80/499.30 c #Conflicts: 128000 | #Constraints: 14952
497.80/499.30 c #Conflicts: 129000 | #Constraints: 15952
497.80/499.30 c #Conflicts: 130000 | #Constraints: 16952
497.80/499.30 c #Conflicts: 131000 | #Constraints: 17952
497.80/499.30 c INPROCESSING
497.80/499.30 c GARBAGE COLLECT
497.80/499.30 c #Conflicts: 132000 | #Constraints: 11757
497.80/499.30 c #Conflicts: 133000 | #Constraints: 12757
497.80/499.30 c #Conflicts: 134000 | #Constraints: 13757
497.80/499.30 c #Conflicts: 135000 | #Constraints: 14757
497.80/499.30 c #Conflicts: 136000 | #Constraints: 15757
497.80/499.30 c #Conflicts: 137000 | #Constraints: 16757
497.80/499.30 c #Conflicts: 138000 | #Constraints: 17757
497.80/499.30 c #Conflicts: 139000 | #Constraints: 18757
663.45/665.48 c INPROCESSING
663.45/665.48 c GARBAGE COLLECT
663.45/665.48 c #Conflicts: 140000 | #Constraints: 12357
663.45/665.48 c #Conflicts: 141000 | #Constraints: 13357
663.45/665.48 c #Conflicts: 142000 | #Constraints: 14357
663.45/665.48 c #Conflicts: 143000 | #Constraints: 15357
663.45/665.48 c #Conflicts: 144000 | #Constraints: 16357
663.45/665.48 c #Conflicts: 145000 | #Constraints: 17357
663.45/665.48 c #Conflicts: 146000 | #Constraints: 18357
663.45/665.48 c #Conflicts: 147000 | #Constraints: 19357
663.45/665.48 c INPROCESSING
663.45/665.48 c GARBAGE COLLECT
663.45/665.48 c #Conflicts: 148000 | #Constraints: 12754
663.45/665.48 c #Conflicts: 149000 | #Constraints: 13754
663.45/665.48 c #Conflicts: 150000 | #Constraints: 14754
663.45/665.48 c #Conflicts: 151000 | #Constraints: 15754
663.45/665.48 c #Conflicts: 152000 | #Constraints: 16754
663.45/665.48 c #Conflicts: 153000 | #Constraints: 17754
663.45/665.48 c #Conflicts: 154000 | #Constraints: 18754
663.45/665.48 c #Conflicts: 155000 | #Constraints: 19754
663.45/665.48 c INPROCESSING
663.45/665.48 c GARBAGE COLLECT
663.45/665.48 c #Conflicts: 156000 | #Constraints: 12956
663.45/665.48 c #Conflicts: 157000 | #Constraints: 13956
663.45/665.48 c #Conflicts: 158000 | #Constraints: 14956
663.45/665.48 c #Conflicts: 159000 | #Constraints: 15956
663.45/665.48 c #Conflicts: 160000 | #Constraints: 16956
663.45/665.48 c #Conflicts: 161000 | #Constraints: 17956
663.45/665.48 c #Conflicts: 162000 | #Constraints: 18956
663.45/665.48 c #Conflicts: 163000 | #Constraints: 19956
663.45/665.48 c INPROCESSING
663.45/665.48 c GARBAGE COLLECT
663.45/665.48 c #Conflicts: 164000 | #Constraints: 12958
663.45/665.48 c #Conflicts: 165000 | #Constraints: 13958
663.45/665.48 c #Conflicts: 166000 | #Constraints: 14958
663.45/665.48 c #Conflicts: 167000 | #Constraints: 15958
663.45/665.48 c #Conflicts: 168000 | #Constraints: 16958
663.45/665.48 c #Conflicts: 169000 | #Constraints: 17958
663.45/665.48 c #Conflicts: 170000 | #Constraints: 18958
663.45/665.48 c #Conflicts: 171000 | #Constraints: 19958
663.45/665.48 c INPROCESSING
663.45/665.48 c GARBAGE COLLECT
663.45/665.48 c #Conflicts: 172000 | #Constraints: 12748
663.45/665.48 c #Conflicts: 173000 | #Constraints: 13748
663.45/665.48 c #Conflicts: 174000 | #Constraints: 14748
663.45/665.48 c #Conflicts: 175000 | #Constraints: 15748
663.45/665.48 c #Conflicts: 176000 | #Constraints: 16748
663.45/665.48 c #Conflicts: 177000 | #Constraints: 17748
663.45/665.48 c #Conflicts: 178000 | #Constraints: 18748
663.45/665.48 c #Conflicts: 179000 | #Constraints: 19748
663.45/665.48 c #Conflicts: 180000 | #Constraints: 20748
663.45/665.48 c INPROCESSING
663.45/665.48 c GARBAGE COLLECT
663.45/665.48 c #Conflicts: 181000 | #Constraints: 13347
663.45/665.48 c #Conflicts: 182000 | #Constraints: 14347
663.45/665.48 c #Conflicts: 183000 | #Constraints: 15347
663.45/665.48 c #Conflicts: 184000 | #Constraints: 16347
663.45/665.48 c #Conflicts: 185000 | #Constraints: 17347
663.45/665.48 c #Conflicts: 186000 | #Constraints: 18347
663.45/665.48 c #Conflicts: 187000 | #Constraints: 19347
663.45/665.48 c #Conflicts: 188000 | #Constraints: 20347
663.45/665.48 c #Conflicts: 189000 | #Constraints: 21347
663.45/665.48 c INPROCESSING
663.45/665.48 c GARBAGE COLLECT
663.45/665.48 c #Conflicts: 190000 | #Constraints: 13749
663.45/665.48 c #Conflicts: 191000 | #Constraints: 14749
663.45/665.48 c #Conflicts: 192000 | #Constraints: 15749
663.45/665.48 c #Conflicts: 193000 | #Constraints: 16749
663.45/665.48 c #Conflicts: 194000 | #Constraints: 17749
663.45/665.48 c #Conflicts: 195000 | #Constraints: 18749
663.45/665.48 c #Conflicts: 196000 | #Constraints: 19749
663.45/665.48 c #Conflicts: 197000 | #Constraints: 20749
663.45/665.48 c #Conflicts: 198000 | #Constraints: 21749
663.45/665.48 c INPROCESSING
663.45/665.48 c GARBAGE COLLECT
663.45/665.48 c #Conflicts: 199000 | #Constraints: 13951
663.45/665.48 c #Conflicts: 200000 | #Constraints: 14951
663.45/665.48 c #Conflicts: 201000 | #Constraints: 15951
663.45/665.48 c #Conflicts: 202000 | #Constraints: 16951
663.45/665.48 c #Conflicts: 203000 | #Constraints: 17951
663.45/665.48 c #Conflicts: 204000 | #Constraints: 18951
663.45/665.48 c #Conflicts: 205000 | #Constraints: 19951
663.45/665.48 c #Conflicts: 206000 | #Constraints: 20951
663.45/665.48 c #Conflicts: 207000 | #Constraints: 21951
663.45/665.48 c INPROCESSING
663.45/665.48 c GARBAGE COLLECT
663.45/665.48 c #Conflicts: 208000 | #Constraints: 13949
663.45/665.48 c #Conflicts: 209000 | #Constraints: 14949
663.45/665.48 c #Conflicts: 210000 | #Constraints: 15949
663.45/665.48 c #Conflicts: 211000 | #Constraints: 16949
663.45/665.48 c #Conflicts: 212000 | #Constraints: 17949
866.21/868.70 c #Conflicts: 213000 | #Constraints: 18949
866.21/868.70 c #Conflicts: 214000 | #Constraints: 19949
866.21/868.70 c #Conflicts: 215000 | #Constraints: 20949
866.21/868.70 c #Conflicts: 216000 | #Constraints: 21949
866.21/868.70 c INPROCESSING
866.21/868.70 c GARBAGE COLLECT
866.21/868.70 c #Conflicts: 217000 | #Constraints: 13762
866.21/868.70 c #Conflicts: 218000 | #Constraints: 14762
866.21/868.70 c #Conflicts: 219000 | #Constraints: 15762
866.21/868.70 c #Conflicts: 220000 | #Constraints: 16762
866.21/868.70 c #Conflicts: 221000 | #Constraints: 17762
866.21/868.70 c #Conflicts: 222000 | #Constraints: 18762
866.21/868.70 c #Conflicts: 223000 | #Constraints: 19762
866.21/868.70 c #Conflicts: 224000 | #Constraints: 20762
866.21/868.70 c #Conflicts: 225000 | #Constraints: 21762
866.21/868.70 c #Conflicts: 226000 | #Constraints: 22762
866.21/868.70 c INPROCESSING
866.21/868.70 c GARBAGE COLLECT
866.21/868.70 c #Conflicts: 227000 | #Constraints: 14357
866.21/868.70 c #Conflicts: 228000 | #Constraints: 15357
866.21/868.70 c #Conflicts: 229000 | #Constraints: 16357
866.21/868.70 c #Conflicts: 230000 | #Constraints: 17357
866.21/868.70 c #Conflicts: 231000 | #Constraints: 18357
866.21/868.70 c #Conflicts: 232000 | #Constraints: 19357
866.21/868.70 c #Conflicts: 233000 | #Constraints: 20357
866.21/868.70 c #Conflicts: 234000 | #Constraints: 21357
866.21/868.70 c #Conflicts: 235000 | #Constraints: 22357
866.21/868.70 c #Conflicts: 236000 | #Constraints: 23357
866.21/868.70 c INPROCESSING
866.21/868.70 c GARBAGE COLLECT
866.21/868.70 c #Conflicts: 237000 | #Constraints: 14751
866.21/868.70 c #Conflicts: 238000 | #Constraints: 15751
866.21/868.70 c #Conflicts: 239000 | #Constraints: 16751
866.21/868.70 c #Conflicts: 240000 | #Constraints: 17751
866.21/868.70 c #Conflicts: 241000 | #Constraints: 18751
866.21/868.70 c #Conflicts: 242000 | #Constraints: 19751
866.21/868.70 c #Conflicts: 243000 | #Constraints: 20751
866.21/868.70 c #Conflicts: 244000 | #Constraints: 21751
866.21/868.70 c #Conflicts: 245000 | #Constraints: 22751
866.21/868.70 c #Conflicts: 246000 | #Constraints: 23751
866.21/868.70 c INPROCESSING
866.21/868.70 c GARBAGE COLLECT
866.21/868.70 c #Conflicts: 247000 | #Constraints: 14955
866.21/868.70 c #Conflicts: 248000 | #Constraints: 15955
866.21/868.70 c #Conflicts: 249000 | #Constraints: 16955
866.21/868.70 c #Conflicts: 250000 | #Constraints: 17955
866.21/868.70 c #Conflicts: 251000 | #Constraints: 18955
866.21/868.70 c #Conflicts: 252000 | #Constraints: 19955
866.21/868.70 c #Conflicts: 253000 | #Constraints: 20955
866.21/868.70 c #Conflicts: 254000 | #Constraints: 21955
866.21/868.70 c #Conflicts: 255000 | #Constraints: 22955
866.21/868.70 c #Conflicts: 256000 | #Constraints: 23955
866.21/868.70 c INPROCESSING
866.21/868.70 c GARBAGE COLLECT
866.21/868.70 c #Conflicts: 257000 | #Constraints: 14956
866.21/868.70 c #Conflicts: 258000 | #Constraints: 15956
866.21/868.70 c #Conflicts: 259000 | #Constraints: 16956
866.21/868.70 c #Conflicts: 260000 | #Constraints: 17956
866.21/868.70 c #Conflicts: 261000 | #Constraints: 18956
866.21/868.70 c #Conflicts: 262000 | #Constraints: 19956
866.21/868.70 c #Conflicts: 263000 | #Constraints: 20956
866.21/868.70 c #Conflicts: 264000 | #Constraints: 21956
866.21/868.70 c #Conflicts: 265000 | #Constraints: 22956
866.21/868.70 c #Conflicts: 266000 | #Constraints: 23956
866.21/868.70 c INPROCESSING
866.21/868.70 c GARBAGE COLLECT
866.21/868.70 c #Conflicts: 267000 | #Constraints: 14751
866.21/868.70 c #Conflicts: 268000 | #Constraints: 15751
866.21/868.70 c #Conflicts: 269000 | #Constraints: 16751
866.21/868.70 c #Conflicts: 270000 | #Constraints: 17751
866.21/868.70 c #Conflicts: 271000 | #Constraints: 18751
866.21/868.70 c #Conflicts: 272000 | #Constraints: 19751
866.21/868.70 c #Conflicts: 273000 | #Constraints: 20751
866.21/868.70 c #Conflicts: 274000 | #Constraints: 21751
866.21/868.70 c #Conflicts: 275000 | #Constraints: 22751
866.21/868.70 c #Conflicts: 276000 | #Constraints: 23751
866.21/868.70 c #Conflicts: 277000 | #Constraints: 24751
866.21/868.70 c INPROCESSING
866.21/868.70 c GARBAGE COLLECT
866.21/868.70 c #Conflicts: 278000 | #Constraints: 15354
866.21/868.70 c #Conflicts: 279000 | #Constraints: 16354
866.21/868.70 c #Conflicts: 280000 | #Constraints: 17354
866.21/868.70 c #Conflicts: 281000 | #Constraints: 18354
866.21/868.70 c #Conflicts: 282000 | #Constraints: 19354
866.21/868.70 c #Conflicts: 283000 | #Constraints: 20354
866.21/868.70 c #Conflicts: 284000 | #Constraints: 21354
866.21/868.70 c #Conflicts: 285000 | #Constraints: 22354
866.21/868.70 c #Conflicts: 286000 | #Constraints: 23354
1051.14/1054.14 c #Conflicts: 287000 | #Constraints: 24354
1051.14/1054.14 c #Conflicts: 288000 | #Constraints: 25354
1051.14/1054.14 c INPROCESSING
1051.14/1054.14 c GARBAGE COLLECT
1051.14/1054.14 c #Conflicts: 289000 | #Constraints: 15750
1051.14/1054.14 c #Conflicts: 290000 | #Constraints: 16750
1051.14/1054.14 c #Conflicts: 291000 | #Constraints: 17750
1051.14/1054.14 c #Conflicts: 292000 | #Constraints: 18750
1051.14/1054.14 c #Conflicts: 293000 | #Constraints: 19750
1051.14/1054.14 c #Conflicts: 294000 | #Constraints: 20750
1051.14/1054.14 c #Conflicts: 295000 | #Constraints: 21750
1051.14/1054.14 c #Conflicts: 296000 | #Constraints: 22750
1051.14/1054.14 c #Conflicts: 297000 | #Constraints: 23750
1051.14/1054.14 c #Conflicts: 298000 | #Constraints: 24750
1051.14/1054.14 c #Conflicts: 299000 | #Constraints: 25750
1051.14/1054.14 c INPROCESSING
1051.14/1054.14 c GARBAGE COLLECT
1051.14/1054.14 c #Conflicts: 300000 | #Constraints: 15953
1051.14/1054.14 c #Conflicts: 301000 | #Constraints: 16953
1051.14/1054.14 c #Conflicts: 302000 | #Constraints: 17953
1051.14/1054.14 c #Conflicts: 303000 | #Constraints: 18953
1051.14/1054.14 c #Conflicts: 304000 | #Constraints: 19953
1051.14/1054.14 c #Conflicts: 305000 | #Constraints: 20953
1051.14/1054.14 c #Conflicts: 306000 | #Constraints: 21953
1051.14/1054.14 c #Conflicts: 307000 | #Constraints: 22953
1051.14/1054.14 c #Conflicts: 308000 | #Constraints: 23953
1051.14/1054.14 c #Conflicts: 309000 | #Constraints: 24953
1051.14/1054.14 c #Conflicts: 310000 | #Constraints: 25953
1051.14/1054.14 c INPROCESSING
1051.14/1054.14 c GARBAGE COLLECT
1051.14/1054.14 c #Conflicts: 311000 | #Constraints: 15954
1051.14/1054.14 c #Conflicts: 312000 | #Constraints: 16954
1051.14/1054.14 c #Conflicts: 313000 | #Constraints: 17954
1051.14/1054.14 c #Conflicts: 314000 | #Constraints: 18954
1051.14/1054.14 c #Conflicts: 315000 | #Constraints: 19954
1051.14/1054.14 c #Conflicts: 316000 | #Constraints: 20954
1051.14/1054.14 c #Conflicts: 317000 | #Constraints: 21954
1051.14/1054.14 c #Conflicts: 318000 | #Constraints: 22954
1051.14/1054.14 c #Conflicts: 319000 | #Constraints: 23954
1051.14/1054.14 c #Conflicts: 320000 | #Constraints: 24954
1051.14/1054.14 c #Conflicts: 321000 | #Constraints: 25954
1051.14/1054.14 c INPROCESSING
1051.14/1054.14 c GARBAGE COLLECT
1051.14/1054.14 c #Conflicts: 322000 | #Constraints: 15758
1051.14/1054.14 c #Conflicts: 323000 | #Constraints: 16758
1051.14/1054.14 c #Conflicts: 324000 | #Constraints: 17758
1051.14/1054.14 c #Conflicts: 325000 | #Constraints: 18758
1051.14/1054.14 c #Conflicts: 326000 | #Constraints: 19758
1051.14/1054.14 c #Conflicts: 327000 | #Constraints: 20758
1051.14/1054.14 c #Conflicts: 328000 | #Constraints: 21758
1051.14/1054.14 c #Conflicts: 329000 | #Constraints: 22758
1051.14/1054.14 c #Conflicts: 330000 | #Constraints: 23758
1051.14/1054.14 c #Conflicts: 331000 | #Constraints: 24758
1051.14/1054.14 c #Conflicts: 332000 | #Constraints: 25758
1051.14/1054.14 c #Conflicts: 333000 | #Constraints: 26758
1051.14/1054.14 c INPROCESSING
1051.14/1054.14 c GARBAGE COLLECT
1051.14/1054.14 c #Conflicts: 334000 | #Constraints: 16365
1051.14/1054.14 c #Conflicts: 335000 | #Constraints: 17365
1051.14/1054.14 c #Conflicts: 336000 | #Constraints: 18365
1051.14/1054.14 c #Conflicts: 337000 | #Constraints: 19365
1051.14/1054.14 c #Conflicts: 338000 | #Constraints: 20365
1051.14/1054.14 c #Conflicts: 339000 | #Constraints: 21365
1051.14/1054.14 c #Conflicts: 340000 | #Constraints: 22365
1051.14/1054.14 c #Conflicts: 341000 | #Constraints: 23365
1051.14/1054.14 c #Conflicts: 342000 | #Constraints: 24365
1051.14/1054.14 c #Conflicts: 343000 | #Constraints: 25365
1051.14/1054.14 c #Conflicts: 344000 | #Constraints: 26365
1051.14/1054.14 c #Conflicts: 345000 | #Constraints: 27365
1051.14/1054.14 c INPROCESSING
1051.14/1054.14 c GARBAGE COLLECT
1051.14/1054.14 c #Conflicts: 346000 | #Constraints: 16759
1051.14/1054.14 c #Conflicts: 347000 | #Constraints: 17759
1051.14/1054.14 c #Conflicts: 348000 | #Constraints: 18759
1051.14/1054.14 c #Conflicts: 349000 | #Constraints: 19759
1051.14/1054.14 c #Conflicts: 350000 | #Constraints: 20759
1051.14/1054.14 c #Conflicts: 351000 | #Constraints: 21759
1051.14/1054.14 c #Conflicts: 352000 | #Constraints: 22759
1051.14/1054.14 c #Conflicts: 353000 | #Constraints: 23759
1051.14/1054.14 c #Conflicts: 354000 | #Constraints: 24759
1051.14/1054.14 c #Conflicts: 355000 | #Constraints: 25759
1051.14/1054.14 c #Conflicts: 356000 | #Constraints: 26759
1051.14/1054.14 c #Conflicts: 357000 | #Constraints: 27759
1051.14/1054.14 c INPROCESSING
1051.14/1054.14 c GARBAGE COLLECT
1051.14/1054.14 c #Conflicts: 358000 | #Constraints: 16955
1051.14/1054.14 c #Conflicts: 359000 | #Constraints: 17955
1051.14/1054.14 c #Conflicts: 360000 | #Constraints: 18955
1051.14/1054.14 c #Conflicts: 361000 | #Constraints: 19955
1269.08/1272.77 c #Conflicts: 362000 | #Constraints: 20955
1269.08/1272.77 c #Conflicts: 363000 | #Constraints: 21955
1269.08/1272.77 c #Conflicts: 364000 | #Constraints: 22955
1269.08/1272.77 c #Conflicts: 365000 | #Constraints: 23955
1269.08/1272.77 c #Conflicts: 366000 | #Constraints: 24955
1269.08/1272.77 c #Conflicts: 367000 | #Constraints: 25955
1269.08/1272.77 c #Conflicts: 368000 | #Constraints: 26955
1269.08/1272.77 c #Conflicts: 369000 | #Constraints: 27955
1269.08/1272.77 c INPROCESSING
1269.08/1272.77 c GARBAGE COLLECT
1269.08/1272.77 c #Conflicts: 370000 | #Constraints: 16955
1269.08/1272.77 c #Conflicts: 371000 | #Constraints: 17955
1269.08/1272.77 c #Conflicts: 372000 | #Constraints: 18955
1269.08/1272.77 c #Conflicts: 373000 | #Constraints: 19955
1269.08/1272.77 c #Conflicts: 374000 | #Constraints: 20955
1269.08/1272.77 c #Conflicts: 375000 | #Constraints: 21955
1269.08/1272.77 c #Conflicts: 376000 | #Constraints: 22955
1269.08/1272.77 c #Conflicts: 377000 | #Constraints: 23955
1269.08/1272.77 c #Conflicts: 378000 | #Constraints: 24955
1269.08/1272.77 c #Conflicts: 379000 | #Constraints: 25955
1269.08/1272.77 c #Conflicts: 380000 | #Constraints: 26955
1269.08/1272.77 c #Conflicts: 381000 | #Constraints: 27955
1269.08/1272.77 c INPROCESSING
1269.08/1272.77 c GARBAGE COLLECT
1269.08/1272.77 c #Conflicts: 382000 | #Constraints: 16758
1269.08/1272.77 c #Conflicts: 383000 | #Constraints: 17758
1269.08/1272.77 c #Conflicts: 384000 | #Constraints: 18758
1269.08/1272.77 c #Conflicts: 385000 | #Constraints: 19758
1269.08/1272.77 c #Conflicts: 386000 | #Constraints: 20758
1269.08/1272.77 c #Conflicts: 387000 | #Constraints: 21758
1269.08/1272.77 c #Conflicts: 388000 | #Constraints: 22758
1269.08/1272.77 c #Conflicts: 389000 | #Constraints: 23758
1269.08/1272.77 c #Conflicts: 390000 | #Constraints: 24758
1269.08/1272.77 c #Conflicts: 391000 | #Constraints: 25758
1269.08/1272.77 c #Conflicts: 392000 | #Constraints: 26758
1269.08/1272.77 c #Conflicts: 393000 | #Constraints: 27758
1269.08/1272.77 c #Conflicts: 394000 | #Constraints: 28758
1269.08/1272.77 c INPROCESSING
1269.08/1272.77 c GARBAGE COLLECT
1269.08/1272.77 c #Conflicts: 395000 | #Constraints: 17354
1269.08/1272.77 c #Conflicts: 396000 | #Constraints: 18354
1269.08/1272.77 c #Conflicts: 397000 | #Constraints: 19354
1269.08/1272.77 c #Conflicts: 398000 | #Constraints: 20354
1269.08/1272.77 c #Conflicts: 399000 | #Constraints: 21354
1269.08/1272.77 c #Conflicts: 400000 | #Constraints: 22354
1269.08/1272.77 c #Conflicts: 401000 | #Constraints: 23354
1269.08/1272.77 c #Conflicts: 402000 | #Constraints: 24354
1269.08/1272.77 c #Conflicts: 403000 | #Constraints: 25354
1269.08/1272.77 c #Conflicts: 404000 | #Constraints: 26354
1269.08/1272.77 c #Conflicts: 405000 | #Constraints: 27354
1269.08/1272.77 c #Conflicts: 406000 | #Constraints: 28354
1269.08/1272.77 c #Conflicts: 407000 | #Constraints: 29354
1269.08/1272.77 c INPROCESSING
1269.08/1272.77 c GARBAGE COLLECT
1269.08/1272.77 c #Conflicts: 408000 | #Constraints: 17751
1269.08/1272.77 c #Conflicts: 409000 | #Constraints: 18751
1269.08/1272.77 c #Conflicts: 410000 | #Constraints: 19751
1269.08/1272.77 c #Conflicts: 411000 | #Constraints: 20751
1269.08/1272.77 c #Conflicts: 412000 | #Constraints: 21751
1269.08/1272.77 c #Conflicts: 413000 | #Constraints: 22751
1269.08/1272.77 c #Conflicts: 414000 | #Constraints: 23751
1269.08/1272.77 c #Conflicts: 415000 | #Constraints: 24751
1269.08/1272.77 c #Conflicts: 416000 | #Constraints: 25751
1269.08/1272.77 c #Conflicts: 417000 | #Constraints: 26751
1269.08/1272.77 c #Conflicts: 418000 | #Constraints: 27751
1269.08/1272.77 c #Conflicts: 419000 | #Constraints: 28751
1269.08/1272.77 c #Conflicts: 420000 | #Constraints: 29751
1269.08/1272.77 c INPROCESSING
1269.08/1272.77 c GARBAGE COLLECT
1269.08/1272.77 c #Conflicts: 421000 | #Constraints: 17957
1269.08/1272.77 c #Conflicts: 422000 | #Constraints: 18957
1269.08/1272.77 c #Conflicts: 423000 | #Constraints: 19957
1269.08/1272.77 c #Conflicts: 424000 | #Constraints: 20957
1269.08/1272.77 c #Conflicts: 425000 | #Constraints: 21957
1269.08/1272.77 c #Conflicts: 426000 | #Constraints: 22957
1269.08/1272.77 c #Conflicts: 427000 | #Constraints: 23957
1269.08/1272.77 c #Conflicts: 428000 | #Constraints: 24957
1269.08/1272.77 c #Conflicts: 429000 | #Constraints: 25957
1269.08/1272.77 c #Conflicts: 430000 | #Constraints: 26957
1269.08/1272.77 c #Conflicts: 431000 | #Constraints: 27957
1269.08/1272.77 c #Conflicts: 432000 | #Constraints: 28957
1269.08/1272.77 c #Conflicts: 433000 | #Constraints: 29957
1269.08/1272.77 c INPROCESSING
1269.08/1272.77 c GARBAGE COLLECT
1269.08/1272.77 c #Conflicts: 434000 | #Constraints: 17964
1269.08/1272.77 c #Conflicts: 435000 | #Constraints: 18964
1530.78/1535.25 c #Conflicts: 436000 | #Constraints: 19964
1530.78/1535.25 c #Conflicts: 437000 | #Constraints: 20964
1530.78/1535.25 c #Conflicts: 438000 | #Constraints: 21964
1530.78/1535.25 c #Conflicts: 439000 | #Constraints: 22964
1530.78/1535.25 c #Conflicts: 440000 | #Constraints: 23964
1530.78/1535.25 c #Conflicts: 441000 | #Constraints: 24964
1530.78/1535.25 c #Conflicts: 442000 | #Constraints: 25964
1530.78/1535.25 c #Conflicts: 443000 | #Constraints: 26964
1530.78/1535.25 c #Conflicts: 444000 | #Constraints: 27964
1530.78/1535.25 c #Conflicts: 445000 | #Constraints: 28964
1530.78/1535.25 c #Conflicts: 446000 | #Constraints: 29964
1530.78/1535.25 c INPROCESSING
1530.78/1535.25 c GARBAGE COLLECT
1530.78/1535.25 c #Conflicts: 447000 | #Constraints: 17760
1530.78/1535.25 c #Conflicts: 448000 | #Constraints: 18760
1530.78/1535.25 c #Conflicts: 449000 | #Constraints: 19760
1530.78/1535.25 c #Conflicts: 450000 | #Constraints: 20760
1530.78/1535.25 c #Conflicts: 451000 | #Constraints: 21760
1530.78/1535.25 c #Conflicts: 452000 | #Constraints: 22760
1530.78/1535.25 c #Conflicts: 453000 | #Constraints: 23760
1530.78/1535.25 c #Conflicts: 454000 | #Constraints: 24760
1530.78/1535.25 c #Conflicts: 455000 | #Constraints: 25760
1530.78/1535.25 c #Conflicts: 456000 | #Constraints: 26760
1530.78/1535.25 c #Conflicts: 457000 | #Constraints: 27760
1530.78/1535.25 c #Conflicts: 458000 | #Constraints: 28760
1530.78/1535.25 c #Conflicts: 459000 | #Constraints: 29760
1530.78/1535.25 c #Conflicts: 460000 | #Constraints: 30760
1530.78/1535.25 c INPROCESSING
1530.78/1535.25 c GARBAGE COLLECT
1530.78/1535.25 c #Conflicts: 461000 | #Constraints: 18363
1530.78/1535.25 c #Conflicts: 462000 | #Constraints: 19363
1530.78/1535.25 c #Conflicts: 463000 | #Constraints: 20363
1530.78/1535.25 c #Conflicts: 464000 | #Constraints: 21363
1530.78/1535.25 c #Conflicts: 465000 | #Constraints: 22363
1530.78/1535.25 c #Conflicts: 466000 | #Constraints: 23363
1530.78/1535.25 c #Conflicts: 467000 | #Constraints: 24363
1530.78/1535.25 c #Conflicts: 468000 | #Constraints: 25363
1530.78/1535.25 c #Conflicts: 469000 | #Constraints: 26363
1530.78/1535.25 c #Conflicts: 470000 | #Constraints: 27363
1530.78/1535.25 c #Conflicts: 471000 | #Constraints: 28363
1530.78/1535.25 c #Conflicts: 472000 | #Constraints: 29363
1530.78/1535.25 c #Conflicts: 473000 | #Constraints: 30363
1530.78/1535.25 c #Conflicts: 474000 | #Constraints: 31363
1530.78/1535.25 c INPROCESSING
1530.78/1535.25 c GARBAGE COLLECT
1530.78/1535.25 c #Conflicts: 475000 | #Constraints: 18770
1530.78/1535.25 c #Conflicts: 476000 | #Constraints: 19770
1530.78/1535.25 c #Conflicts: 477000 | #Constraints: 20770
1530.78/1535.25 c #Conflicts: 478000 | #Constraints: 21770
1530.78/1535.25 c #Conflicts: 479000 | #Constraints: 22770
1530.78/1535.25 c #Conflicts: 480000 | #Constraints: 23770
1530.78/1535.25 c #Conflicts: 481000 | #Constraints: 24770
1530.78/1535.25 c #Conflicts: 482000 | #Constraints: 25770
1530.78/1535.25 c #Conflicts: 483000 | #Constraints: 26770
1530.78/1535.25 c #Conflicts: 484000 | #Constraints: 27770
1530.78/1535.25 c #Conflicts: 485000 | #Constraints: 28770
1530.78/1535.25 c #Conflicts: 486000 | #Constraints: 29770
1530.78/1535.25 c #Conflicts: 487000 | #Constraints: 30770
1530.78/1535.25 c #Conflicts: 488000 | #Constraints: 31770
1530.78/1535.25 c INPROCESSING
1530.78/1535.25 c GARBAGE COLLECT
1530.78/1535.25 c #Conflicts: 489000 | #Constraints: 18965
1530.78/1535.25 c #Conflicts: 490000 | #Constraints: 19965
1530.78/1535.25 c #Conflicts: 491000 | #Constraints: 20965
1530.78/1535.25 c #Conflicts: 492000 | #Constraints: 21965
1530.78/1535.25 c #Conflicts: 493000 | #Constraints: 22965
1530.78/1535.25 c #Conflicts: 494000 | #Constraints: 23965
1530.78/1535.25 c #Conflicts: 495000 | #Constraints: 24965
1530.78/1535.25 c #Conflicts: 496000 | #Constraints: 25965
1530.78/1535.25 c #Conflicts: 497000 | #Constraints: 26965
1530.78/1535.25 c #Conflicts: 498000 | #Constraints: 27965
1530.78/1535.25 c #Conflicts: 499000 | #Constraints: 28965
1530.78/1535.25 c #Conflicts: 500000 | #Constraints: 29965
1530.78/1535.25 c #Conflicts: 501000 | #Constraints: 30965
1530.78/1535.25 c #Conflicts: 502000 | #Constraints: 31965
1530.78/1535.25 c INPROCESSING
1530.78/1535.25 c GARBAGE COLLECT
1530.78/1535.25 c #Conflicts: 503000 | #Constraints: 18960
1530.78/1535.25 c #Conflicts: 504000 | #Constraints: 19960
1530.78/1535.25 c #Conflicts: 505000 | #Constraints: 20960
1530.78/1535.25 c #Conflicts: 506000 | #Constraints: 21960
1530.78/1535.25 c #Conflicts: 507000 | #Constraints: 22960
1530.78/1535.25 c #Conflicts: 508000 | #Constraints: 23960
1530.78/1535.25 c #Conflicts: 509000 | #Constraints: 24960
1530.78/1535.25 c #Conflicts: 510000 | #Constraints: 25960
1530.78/1535.25 c #Conflicts: 511000 | #Constraints: 26960
1770.77/1775.85 c #Conflicts: 512000 | #Constraints: 27960
1770.77/1775.85 c #Conflicts: 513000 | #Constraints: 28960
1770.77/1775.85 c #Conflicts: 514000 | #Constraints: 29960
1770.77/1775.85 c #Conflicts: 515000 | #Constraints: 30960
1770.77/1775.85 c #Conflicts: 516000 | #Constraints: 31960
1770.77/1775.85 c INPROCESSING
1770.77/1775.85 c GARBAGE COLLECT
1770.77/1775.85 c #Conflicts: 517000 | #Constraints: 18757
1770.77/1775.85 c #Conflicts: 518000 | #Constraints: 19757
1770.77/1775.85 c #Conflicts: 519000 | #Constraints: 20757
1770.77/1775.85 c #Conflicts: 520000 | #Constraints: 21757
1770.77/1775.85 c #Conflicts: 521000 | #Constraints: 22757
1770.77/1775.85 c #Conflicts: 522000 | #Constraints: 23757
1770.77/1775.85 c #Conflicts: 523000 | #Constraints: 24757
1770.77/1775.85 c #Conflicts: 524000 | #Constraints: 25757
1770.77/1775.85 c #Conflicts: 525000 | #Constraints: 26757
1770.77/1775.85 c #Conflicts: 526000 | #Constraints: 27757
1770.77/1775.85 c #Conflicts: 527000 | #Constraints: 28757
1770.77/1775.85 c #Conflicts: 528000 | #Constraints: 29757
1770.77/1775.85 c #Conflicts: 529000 | #Constraints: 30757
1770.77/1775.85 c #Conflicts: 530000 | #Constraints: 31757
1770.77/1775.85 c #Conflicts: 531000 | #Constraints: 32757
1770.77/1775.85 c INPROCESSING
1770.77/1775.85 c GARBAGE COLLECT
1770.77/1775.85 c #Conflicts: 532000 | #Constraints: 19360
1770.77/1775.85 c #Conflicts: 533000 | #Constraints: 20360
1770.77/1775.85 c #Conflicts: 534000 | #Constraints: 21360
1770.77/1775.85 c #Conflicts: 535000 | #Constraints: 22360
1770.77/1775.85 c #Conflicts: 536000 | #Constraints: 23360
1770.77/1775.85 c #Conflicts: 537000 | #Constraints: 24360
1770.77/1775.85 c #Conflicts: 538000 | #Constraints: 25360
1770.77/1775.85 c #Conflicts: 539000 | #Constraints: 26360
1770.77/1775.85 c #Conflicts: 540000 | #Constraints: 27360
1770.77/1775.85 c #Conflicts: 541000 | #Constraints: 28360
1770.77/1775.85 c #Conflicts: 542000 | #Constraints: 29360
1770.77/1775.85 c #Conflicts: 543000 | #Constraints: 30360
1770.77/1775.85 c #Conflicts: 544000 | #Constraints: 31360
1770.77/1775.85 c #Conflicts: 545000 | #Constraints: 32360
1770.77/1775.85 c #Conflicts: 546000 | #Constraints: 33360
1770.77/1775.85 c INPROCESSING
1770.77/1775.85 c GARBAGE COLLECT
1770.77/1775.85 c #Conflicts: 547000 | #Constraints: 19757
1770.77/1775.85 c #Conflicts: 548000 | #Constraints: 20757
1770.77/1775.85 c #Conflicts: 549000 | #Constraints: 21757
1770.77/1775.85 c #Conflicts: 550000 | #Constraints: 22757
1770.77/1775.85 c #Conflicts: 551000 | #Constraints: 23757
1770.77/1775.85 c #Conflicts: 552000 | #Constraints: 24757
1770.77/1775.85 c #Conflicts: 553000 | #Constraints: 25757
1770.77/1775.85 c #Conflicts: 554000 | #Constraints: 26757
1770.77/1775.85 c #Conflicts: 555000 | #Constraints: 27757
1770.77/1775.85 c #Conflicts: 556000 | #Constraints: 28757
1770.77/1775.85 c #Conflicts: 557000 | #Constraints: 29757
1770.77/1775.85 c #Conflicts: 558000 | #Constraints: 30757
1770.77/1775.85 c #Conflicts: 559000 | #Constraints: 31757
1770.77/1775.85 c #Conflicts: 560000 | #Constraints: 32757
1770.77/1775.85 c #Conflicts: 561000 | #Constraints: 33757
1770.77/1775.85 c INPROCESSING
1770.77/1775.85 c GARBAGE COLLECT
1770.77/1775.85 c #Conflicts: 562000 | #Constraints: 19961
1770.77/1775.85 c #Conflicts: 563000 | #Constraints: 20961
1770.77/1775.85 c #Conflicts: 564000 | #Constraints: 21961
1770.77/1775.85 c #Conflicts: 565000 | #Constraints: 22961
1770.77/1775.85 c #Conflicts: 566000 | #Constraints: 23961
1770.77/1775.85 c #Conflicts: 567000 | #Constraints: 24961
1770.77/1775.85 c #Conflicts: 568000 | #Constraints: 25961
1770.77/1775.85 c #Conflicts: 569000 | #Constraints: 26961
1770.77/1775.85 c #Conflicts: 570000 | #Constraints: 27961
1770.77/1775.85 c #Conflicts: 571000 | #Constraints: 28961
1770.77/1775.85 c #Conflicts: 572000 | #Constraints: 29961
1770.77/1775.85 c #Conflicts: 573000 | #Constraints: 30961
1770.77/1775.85 c #Conflicts: 574000 | #Constraints: 31961
1770.77/1775.85 c #Conflicts: 575000 | #Constraints: 32961
1770.77/1775.85 c #Conflicts: 576000 | #Constraints: 33961
1770.77/1775.85 c INPROCESSING
1770.77/1775.85 c GARBAGE COLLECT
1770.77/1775.85 c #Conflicts: 577000 | #Constraints: 19957
1770.77/1775.85 c #Conflicts: 578000 | #Constraints: 20957
1770.77/1775.85 c #Conflicts: 579000 | #Constraints: 21957
1770.77/1775.85 c #Conflicts: 580000 | #Constraints: 22957
1770.77/1775.85 c #Conflicts: 581000 | #Constraints: 23957
1770.77/1775.85 c #Conflicts: 582000 | #Constraints: 24957
1770.77/1775.85 c #Conflicts: 583000 | #Constraints: 25957
1770.77/1775.85 c #Conflicts: 584000 | #Constraints: 26957
1770.77/1775.85 c #Conflicts: 585000 | #Constraints: 27957
1770.77/1775.85 c #Conflicts: 586000 | #Constraints: 28957
1770.77/1775.85 c #Conflicts: 587000 | #Constraints: 29957
1996.06/2001.73 c #Conflicts: 588000 | #Constraints: 30957
1996.06/2001.73 c #Conflicts: 589000 | #Constraints: 31957
1996.06/2001.73 c #Conflicts: 590000 | #Constraints: 32957
1996.06/2001.73 c #Conflicts: 591000 | #Constraints: 33957
1996.06/2001.73 c INPROCESSING
1996.06/2001.73 c GARBAGE COLLECT
1996.06/2001.73 c #Conflicts: 592000 | #Constraints: 19755
1996.06/2001.73 c #Conflicts: 593000 | #Constraints: 20755
1996.06/2001.73 c #Conflicts: 594000 | #Constraints: 21755
1996.06/2001.73 c #Conflicts: 595000 | #Constraints: 22755
1996.06/2001.73 c #Conflicts: 596000 | #Constraints: 23755
1996.06/2001.73 c #Conflicts: 597000 | #Constraints: 24755
1996.06/2001.73 c #Conflicts: 598000 | #Constraints: 25755
1996.06/2001.73 c #Conflicts: 599000 | #Constraints: 26755
1996.06/2001.73 c #Conflicts: 600000 | #Constraints: 27755
1996.06/2001.73 c #Conflicts: 601000 | #Constraints: 28755
1996.06/2001.73 c #Conflicts: 602000 | #Constraints: 29755
1996.06/2001.73 c #Conflicts: 603000 | #Constraints: 30755
1996.06/2001.73 c #Conflicts: 604000 | #Constraints: 31755
1996.06/2001.73 c #Conflicts: 605000 | #Constraints: 32755
1996.06/2001.73 c #Conflicts: 606000 | #Constraints: 33755
1996.06/2001.73 c #Conflicts: 607000 | #Constraints: 34755
1996.06/2001.73 c INPROCESSING
1996.06/2001.73 c GARBAGE COLLECT
1996.06/2001.73 c #Conflicts: 608000 | #Constraints: 20364
1996.06/2001.73 c #Conflicts: 609000 | #Constraints: 21364
1996.06/2001.73 c #Conflicts: 610000 | #Constraints: 22364
1996.06/2001.73 c #Conflicts: 611000 | #Constraints: 23364
1996.06/2001.73 c #Conflicts: 612000 | #Constraints: 24364
1996.06/2001.73 c #Conflicts: 613000 | #Constraints: 25364
1996.06/2001.73 c #Conflicts: 614000 | #Constraints: 26364
1996.06/2001.73 c #Conflicts: 615000 | #Constraints: 27364
1996.06/2001.73 c #Conflicts: 616000 | #Constraints: 28364
1996.06/2001.73 c #Conflicts: 617000 | #Constraints: 29364
1996.06/2001.73 c #Conflicts: 618000 | #Constraints: 30364
1996.06/2001.73 c #Conflicts: 619000 | #Constraints: 31364
1996.06/2001.73 c #Conflicts: 620000 | #Constraints: 32364
1996.06/2001.73 c #Conflicts: 621000 | #Constraints: 33364
1996.06/2001.73 c #Conflicts: 622000 | #Constraints: 34364
1996.06/2001.73 c #Conflicts: 623000 | #Constraints: 35364
1996.06/2001.73 c INPROCESSING
1996.06/2001.73 c GARBAGE COLLECT
1996.06/2001.73 c #Conflicts: 624000 | #Constraints: 20764
1996.06/2001.73 c #Conflicts: 625000 | #Constraints: 21764
1996.06/2001.73 c #Conflicts: 626000 | #Constraints: 22764
1996.06/2001.73 c #Conflicts: 627000 | #Constraints: 23764
1996.06/2001.73 c #Conflicts: 628000 | #Constraints: 24764
1996.06/2001.73 c #Conflicts: 629000 | #Constraints: 25764
1996.06/2001.73 c #Conflicts: 630000 | #Constraints: 26764
1996.06/2001.73 c #Conflicts: 631000 | #Constraints: 27764
1996.06/2001.73 c #Conflicts: 632000 | #Constraints: 28764
1996.06/2001.73 c #Conflicts: 633000 | #Constraints: 29764
1996.06/2001.73 c #Conflicts: 634000 | #Constraints: 30764
1996.06/2001.73 c #Conflicts: 635000 | #Constraints: 31764
1996.06/2001.73 c #Conflicts: 636000 | #Constraints: 32764
1996.06/2001.73 c #Conflicts: 637000 | #Constraints: 33764
1996.06/2001.73 c #Conflicts: 638000 | #Constraints: 34764
1996.06/2001.73 c #Conflicts: 639000 | #Constraints: 35764
1996.06/2001.73 c INPROCESSING
1996.06/2001.73 c GARBAGE COLLECT
1996.06/2001.73 c #Conflicts: 640000 | #Constraints: 20955
1996.06/2001.73 c #Conflicts: 641000 | #Constraints: 21955
1996.06/2001.73 c #Conflicts: 642000 | #Constraints: 22955
1996.06/2001.73 c #Conflicts: 643000 | #Constraints: 23955
1996.06/2001.73 c #Conflicts: 644000 | #Constraints: 24955
1996.06/2001.73 c #Conflicts: 645000 | #Constraints: 25955
1996.06/2001.73 c #Conflicts: 646000 | #Constraints: 26955
1996.06/2001.73 c #Conflicts: 647000 | #Constraints: 27955
1996.06/2001.73 c #Conflicts: 648000 | #Constraints: 28955
1996.06/2001.73 c #Conflicts: 649000 | #Constraints: 29955
1996.06/2001.73 c #Conflicts: 650000 | #Constraints: 30955
1996.06/2001.73 c #Conflicts: 651000 | #Constraints: 31955
1996.06/2001.73 c #Conflicts: 652000 | #Constraints: 32955
1996.06/2001.73 c #Conflicts: 653000 | #Constraints: 33955
1996.06/2001.73 c #Conflicts: 654000 | #Constraints: 34955
1996.06/2001.73 c #Conflicts: 655000 | #Constraints: 35955
1996.06/2001.73 c INPROCESSING
1996.06/2001.73 c GARBAGE COLLECT
1996.06/2001.73 c #Conflicts: 656000 | #Constraints: 20960
1996.06/2001.73 c #Conflicts: 657000 | #Constraints: 21960
1996.06/2001.73 c #Conflicts: 658000 | #Constraints: 22960
1996.06/2001.73 c #Conflicts: 659000 | #Constraints: 23960
1996.06/2001.73 c #Conflicts: 660000 | #Constraints: 24960
1996.06/2001.73 c #Conflicts: 661000 | #Constraints: 25960
1996.06/2001.73 c #Conflicts: 662000 | #Constraints: 26960
2227.50/2233.82 c #Conflicts: 663000 | #Constraints: 27960
2227.50/2233.82 c #Conflicts: 664000 | #Constraints: 28960
2227.50/2233.82 c #Conflicts: 665000 | #Constraints: 29960
2227.50/2233.82 c #Conflicts: 666000 | #Constraints: 30960
2227.50/2233.82 c #Conflicts: 667000 | #Constraints: 31960
2227.50/2233.82 c #Conflicts: 668000 | #Constraints: 32960
2227.50/2233.82 c #Conflicts: 669000 | #Constraints: 33960
2227.50/2233.82 c #Conflicts: 670000 | #Constraints: 34960
2227.50/2233.82 c #Conflicts: 671000 | #Constraints: 35960
2227.50/2233.82 c INPROCESSING
2227.50/2233.82 c GARBAGE COLLECT
2227.50/2233.82 c #Conflicts: 672000 | #Constraints: 20754
2227.50/2233.82 c #Conflicts: 673000 | #Constraints: 21754
2227.50/2233.82 c #Conflicts: 674000 | #Constraints: 22754
2227.50/2233.82 c #Conflicts: 675000 | #Constraints: 23754
2227.50/2233.82 c #Conflicts: 676000 | #Constraints: 24754
2227.50/2233.82 c #Conflicts: 677000 | #Constraints: 25754
2227.50/2233.82 c #Conflicts: 678000 | #Constraints: 26754
2227.50/2233.82 c #Conflicts: 679000 | #Constraints: 27754
2227.50/2233.82 c #Conflicts: 680000 | #Constraints: 28754
2227.50/2233.82 c #Conflicts: 681000 | #Constraints: 29754
2227.50/2233.82 c #Conflicts: 682000 | #Constraints: 30754
2227.50/2233.82 c #Conflicts: 683000 | #Constraints: 31754
2227.50/2233.82 c #Conflicts: 684000 | #Constraints: 32754
2227.50/2233.82 c #Conflicts: 685000 | #Constraints: 33754
2227.50/2233.82 c #Conflicts: 686000 | #Constraints: 34754
2227.50/2233.82 c #Conflicts: 687000 | #Constraints: 35754
2227.50/2233.82 c #Conflicts: 688000 | #Constraints: 36754
2227.50/2233.82 c INPROCESSING
2227.50/2233.82 c GARBAGE COLLECT
2227.50/2233.82 c #Conflicts: 689000 | #Constraints: 21352
2227.50/2233.82 c #Conflicts: 690000 | #Constraints: 22352
2227.50/2233.82 c #Conflicts: 691000 | #Constraints: 23352
2227.50/2233.82 c #Conflicts: 692000 | #Constraints: 24352
2227.50/2233.82 c #Conflicts: 693000 | #Constraints: 25352
2227.50/2233.82 c #Conflicts: 694000 | #Constraints: 26352
2227.50/2233.82 c #Conflicts: 695000 | #Constraints: 27352
2227.50/2233.82 c #Conflicts: 696000 | #Constraints: 28352
2227.50/2233.82 c #Conflicts: 697000 | #Constraints: 29352
2227.50/2233.82 c #Conflicts: 698000 | #Constraints: 30352
2227.50/2233.82 c #Conflicts: 699000 | #Constraints: 31352
2227.50/2233.82 c #Conflicts: 700000 | #Constraints: 32352
2227.50/2233.82 c #Conflicts: 701000 | #Constraints: 33352
2227.50/2233.82 c #Conflicts: 702000 | #Constraints: 34352
2227.50/2233.82 c #Conflicts: 703000 | #Constraints: 35352
2227.50/2233.82 c #Conflicts: 704000 | #Constraints: 36352
2227.50/2233.82 c #Conflicts: 705000 | #Constraints: 37352
2227.50/2233.82 c INPROCESSING
2227.50/2233.82 c GARBAGE COLLECT
2227.50/2233.82 c #Conflicts: 706000 | #Constraints: 21758
2227.50/2233.82 c #Conflicts: 707000 | #Constraints: 22758
2227.50/2233.82 c #Conflicts: 708000 | #Constraints: 23758
2227.50/2233.82 c #Conflicts: 709000 | #Constraints: 24758
2227.50/2233.82 c #Conflicts: 710000 | #Constraints: 25758
2227.50/2233.82 c #Conflicts: 711000 | #Constraints: 26758
2227.50/2233.82 c #Conflicts: 712000 | #Constraints: 27758
2227.50/2233.82 c #Conflicts: 713000 | #Constraints: 28758
2227.50/2233.82 c #Conflicts: 714000 | #Constraints: 29758
2227.50/2233.82 c #Conflicts: 715000 | #Constraints: 30758
2227.50/2233.82 c #Conflicts: 716000 | #Constraints: 31758
2227.50/2233.82 c #Conflicts: 717000 | #Constraints: 32758
2227.50/2233.82 c #Conflicts: 718000 | #Constraints: 33758
2227.50/2233.82 c #Conflicts: 719000 | #Constraints: 34758
2227.50/2233.82 c #Conflicts: 720000 | #Constraints: 35758
2227.50/2233.82 c #Conflicts: 721000 | #Constraints: 36758
2227.50/2233.82 c #Conflicts: 722000 | #Constraints: 37758
2227.50/2233.82 c INPROCESSING
2227.50/2233.82 c GARBAGE COLLECT
2227.50/2233.82 c #Conflicts: 723000 | #Constraints: 21959
2227.50/2233.82 c #Conflicts: 724000 | #Constraints: 22959
2227.50/2233.82 c #Conflicts: 725000 | #Constraints: 23959
2227.50/2233.82 c #Conflicts: 726000 | #Constraints: 24959
2227.50/2233.82 c #Conflicts: 727000 | #Constraints: 25959
2227.50/2233.82 c #Conflicts: 728000 | #Constraints: 26959
2227.50/2233.82 c #Conflicts: 729000 | #Constraints: 27959
2227.50/2233.82 c #Conflicts: 730000 | #Constraints: 28959
2227.50/2233.82 c #Conflicts: 731000 | #Constraints: 29959
2227.50/2233.82 c #Conflicts: 732000 | #Constraints: 30959
2227.50/2233.82 c #Conflicts: 733000 | #Constraints: 31959
2227.50/2233.82 c #Conflicts: 734000 | #Constraints: 32959
2227.50/2233.82 c #Conflicts: 735000 | #Constraints: 33959
2227.50/2233.82 c #Conflicts: 736000 | #Constraints: 34959
2227.50/2233.82 c #Conflicts: 737000 | #Constraints: 35959
2227.50/2233.82 c #Conflicts: 738000 | #Constraints: 36959
2507.60/2514.75 c #Conflicts: 739000 | #Constraints: 37959
2507.60/2514.75 c INPROCESSING
2507.60/2514.75 c GARBAGE COLLECT
2507.60/2514.75 c #Conflicts: 740000 | #Constraints: 21968
2507.60/2514.75 c #Conflicts: 741000 | #Constraints: 22968
2507.60/2514.75 c #Conflicts: 742000 | #Constraints: 23968
2507.60/2514.75 c #Conflicts: 743000 | #Constraints: 24968
2507.60/2514.75 c #Conflicts: 744000 | #Constraints: 25968
2507.60/2514.75 c #Conflicts: 745000 | #Constraints: 26968
2507.60/2514.75 c #Conflicts: 746000 | #Constraints: 27968
2507.60/2514.75 c #Conflicts: 747000 | #Constraints: 28968
2507.60/2514.75 c #Conflicts: 748000 | #Constraints: 29968
2507.60/2514.75 c #Conflicts: 749000 | #Constraints: 30968
2507.60/2514.75 c #Conflicts: 750000 | #Constraints: 31968
2507.60/2514.75 c #Conflicts: 751000 | #Constraints: 32968
2507.60/2514.75 c #Conflicts: 752000 | #Constraints: 33968
2507.60/2514.75 c #Conflicts: 753000 | #Constraints: 34968
2507.60/2514.75 c #Conflicts: 754000 | #Constraints: 35968
2507.60/2514.75 c #Conflicts: 755000 | #Constraints: 36968
2507.60/2514.75 c #Conflicts: 756000 | #Constraints: 37968
2507.60/2514.75 c INPROCESSING
2507.60/2514.75 c GARBAGE COLLECT
2507.60/2514.75 c #Conflicts: 757000 | #Constraints: 21760
2507.60/2514.75 c #Conflicts: 758000 | #Constraints: 22760
2507.60/2514.75 c #Conflicts: 759000 | #Constraints: 23760
2507.60/2514.75 c #Conflicts: 760000 | #Constraints: 24760
2507.60/2514.75 c #Conflicts: 761000 | #Constraints: 25760
2507.60/2514.75 c #Conflicts: 762000 | #Constraints: 26760
2507.60/2514.75 c #Conflicts: 763000 | #Constraints: 27760
2507.60/2514.75 c #Conflicts: 764000 | #Constraints: 28760
2507.60/2514.75 c #Conflicts: 765000 | #Constraints: 29760
2507.60/2514.75 c #Conflicts: 766000 | #Constraints: 30760
2507.60/2514.75 c #Conflicts: 767000 | #Constraints: 31760
2507.60/2514.75 c #Conflicts: 768000 | #Constraints: 32760
2507.60/2514.75 c #Conflicts: 769000 | #Constraints: 33760
2507.60/2514.75 c #Conflicts: 770000 | #Constraints: 34760
2507.60/2514.75 c #Conflicts: 771000 | #Constraints: 35760
2507.60/2514.75 c #Conflicts: 772000 | #Constraints: 36760
2507.60/2514.75 c #Conflicts: 773000 | #Constraints: 37760
2507.60/2514.75 c #Conflicts: 774000 | #Constraints: 38760
2507.60/2514.75 c INPROCESSING
2507.60/2514.75 c GARBAGE COLLECT
2507.60/2514.75 c #Conflicts: 775000 | #Constraints: 22359
2507.60/2514.75 c #Conflicts: 776000 | #Constraints: 23359
2507.60/2514.75 c #Conflicts: 777000 | #Constraints: 24359
2507.60/2514.75 c #Conflicts: 778000 | #Constraints: 25359
2507.60/2514.75 c #Conflicts: 779000 | #Constraints: 26359
2507.60/2514.75 c #Conflicts: 780000 | #Constraints: 27359
2507.60/2514.75 c #Conflicts: 781000 | #Constraints: 28359
2507.60/2514.75 c #Conflicts: 782000 | #Constraints: 29359
2507.60/2514.75 c #Conflicts: 783000 | #Constraints: 30359
2507.60/2514.75 c #Conflicts: 784000 | #Constraints: 31359
2507.60/2514.75 c #Conflicts: 785000 | #Constraints: 32359
2507.60/2514.75 c #Conflicts: 786000 | #Constraints: 33359
2507.60/2514.75 c #Conflicts: 787000 | #Constraints: 34359
2507.60/2514.75 c #Conflicts: 788000 | #Constraints: 35359
2507.60/2514.75 c #Conflicts: 789000 | #Constraints: 36359
2507.60/2514.75 c #Conflicts: 790000 | #Constraints: 37359
2507.60/2514.75 c #Conflicts: 791000 | #Constraints: 38359
2507.60/2514.75 c #Conflicts: 792000 | #Constraints: 39359
2507.60/2514.75 c INPROCESSING
2507.60/2514.75 c GARBAGE COLLECT
2507.60/2514.75 c #Conflicts: 793000 | #Constraints: 22759
2507.60/2514.75 c #Conflicts: 794000 | #Constraints: 23759
2507.60/2514.75 c #Conflicts: 795000 | #Constraints: 24759
2507.60/2514.75 c #Conflicts: 796000 | #Constraints: 25759
2507.60/2514.75 c #Conflicts: 797000 | #Constraints: 26759
2507.60/2514.75 c #Conflicts: 798000 | #Constraints: 27759
2507.60/2514.75 c #Conflicts: 799000 | #Constraints: 28759
2507.60/2514.75 c #Conflicts: 800000 | #Constraints: 29759
2507.60/2514.75 c #Conflicts: 801000 | #Constraints: 30759
2507.60/2514.75 c #Conflicts: 802000 | #Constraints: 31759
2507.60/2514.75 c #Conflicts: 803000 | #Constraints: 32759
2507.60/2514.75 c #Conflicts: 804000 | #Constraints: 33759
2507.60/2514.75 c #Conflicts: 805000 | #Constraints: 34759
2507.60/2514.75 c #Conflicts: 806000 | #Constraints: 35759
2507.60/2514.75 c #Conflicts: 807000 | #Constraints: 36759
2507.60/2514.75 c #Conflicts: 808000 | #Constraints: 37759
2507.60/2514.75 c #Conflicts: 809000 | #Constraints: 38759
2507.60/2514.75 c #Conflicts: 810000 | #Constraints: 39759
2507.60/2514.75 c INPROCESSING
2507.60/2514.75 c GARBAGE COLLECT
2507.60/2514.75 c #Conflicts: 811000 | #Constraints: 22952
2507.60/2514.75 c #Conflicts: 812000 | #Constraints: 23952
2507.60/2514.75 c #Conflicts: 813000 | #Constraints: 24952
2507.60/2514.75 c #Conflicts: 814000 | #Constraints: 25952
2766.16/2774.09 c #Conflicts: 815000 | #Constraints: 26952
2766.16/2774.09 c #Conflicts: 816000 | #Constraints: 27952
2766.16/2774.09 c #Conflicts: 817000 | #Constraints: 28952
2766.16/2774.09 c #Conflicts: 818000 | #Constraints: 29952
2766.16/2774.09 c #Conflicts: 819000 | #Constraints: 30952
2766.16/2774.09 c #Conflicts: 820000 | #Constraints: 31952
2766.16/2774.09 c #Conflicts: 821000 | #Constraints: 32952
2766.16/2774.09 c #Conflicts: 822000 | #Constraints: 33952
2766.16/2774.09 c #Conflicts: 823000 | #Constraints: 34952
2766.16/2774.09 c #Conflicts: 824000 | #Constraints: 35952
2766.16/2774.09 c #Conflicts: 825000 | #Constraints: 36952
2766.16/2774.09 c #Conflicts: 826000 | #Constraints: 37952
2766.16/2774.09 c #Conflicts: 827000 | #Constraints: 38952
2766.16/2774.09 c #Conflicts: 828000 | #Constraints: 39952
2766.16/2774.09 c INPROCESSING
2766.16/2774.09 c GARBAGE COLLECT
2766.16/2774.09 c #Conflicts: 829000 | #Constraints: 22958
2766.16/2774.09 c #Conflicts: 830000 | #Constraints: 23958
2766.16/2774.09 c #Conflicts: 831000 | #Constraints: 24958
2766.16/2774.09 c #Conflicts: 832000 | #Constraints: 25958
2766.16/2774.09 c #Conflicts: 833000 | #Constraints: 26958
2766.16/2774.09 c #Conflicts: 834000 | #Constraints: 27958
2766.16/2774.09 c #Conflicts: 835000 | #Constraints: 28958
2766.16/2774.09 c #Conflicts: 836000 | #Constraints: 29958
2766.16/2774.09 c #Conflicts: 837000 | #Constraints: 30958
2766.16/2774.09 c #Conflicts: 838000 | #Constraints: 31958
2766.16/2774.09 c #Conflicts: 839000 | #Constraints: 32958
2766.16/2774.09 c #Conflicts: 840000 | #Constraints: 33958
2766.16/2774.09 c #Conflicts: 841000 | #Constraints: 34958
2766.16/2774.09 c #Conflicts: 842000 | #Constraints: 35958
2766.16/2774.09 c #Conflicts: 843000 | #Constraints: 36958
2766.16/2774.09 c #Conflicts: 844000 | #Constraints: 37958
2766.16/2774.09 c #Conflicts: 845000 | #Constraints: 38958
2766.16/2774.09 c #Conflicts: 846000 | #Constraints: 39958
2766.16/2774.09 c INPROCESSING
2766.16/2774.09 c GARBAGE COLLECT
2766.16/2774.09 c #Conflicts: 847000 | #Constraints: 22756
2766.16/2774.09 c #Conflicts: 848000 | #Constraints: 23756
2766.16/2774.09 c #Conflicts: 849000 | #Constraints: 24756
2766.16/2774.09 c #Conflicts: 850000 | #Constraints: 25756
2766.16/2774.09 c #Conflicts: 851000 | #Constraints: 26756
2766.16/2774.09 c #Conflicts: 852000 | #Constraints: 27756
2766.16/2774.09 c #Conflicts: 853000 | #Constraints: 28756
2766.16/2774.09 c #Conflicts: 854000 | #Constraints: 29756
2766.16/2774.09 c #Conflicts: 855000 | #Constraints: 30756
2766.16/2774.09 c #Conflicts: 856000 | #Constraints: 31756
2766.16/2774.09 c #Conflicts: 857000 | #Constraints: 32756
2766.16/2774.09 c #Conflicts: 858000 | #Constraints: 33756
2766.16/2774.09 c #Conflicts: 859000 | #Constraints: 34756
2766.16/2774.09 c #Conflicts: 860000 | #Constraints: 35756
2766.16/2774.09 c #Conflicts: 861000 | #Constraints: 36756
2766.16/2774.09 c #Conflicts: 862000 | #Constraints: 37756
2766.16/2774.09 c #Conflicts: 863000 | #Constraints: 38756
2766.16/2774.09 c #Conflicts: 864000 | #Constraints: 39756
2766.16/2774.09 c #Conflicts: 865000 | #Constraints: 40756
2766.16/2774.09 c INPROCESSING
2766.16/2774.09 c GARBAGE COLLECT
2766.16/2774.09 c #Conflicts: 866000 | #Constraints: 23362
2766.16/2774.09 c #Conflicts: 867000 | #Constraints: 24362
2766.16/2774.09 c #Conflicts: 868000 | #Constraints: 25362
2766.16/2774.09 c #Conflicts: 869000 | #Constraints: 26362
2766.16/2774.09 c #Conflicts: 870000 | #Constraints: 27362
2766.16/2774.09 c #Conflicts: 871000 | #Constraints: 28362
2766.16/2774.09 c #Conflicts: 872000 | #Constraints: 29362
2766.16/2774.09 c #Conflicts: 873000 | #Constraints: 30362
2766.16/2774.09 c #Conflicts: 874000 | #Constraints: 31362
2766.16/2774.09 c #Conflicts: 875000 | #Constraints: 32362
2766.16/2774.09 c #Conflicts: 876000 | #Constraints: 33362
2766.16/2774.09 c #Conflicts: 877000 | #Constraints: 34362
2766.16/2774.09 c #Conflicts: 878000 | #Constraints: 35362
2766.16/2774.09 c #Conflicts: 879000 | #Constraints: 36362
2766.16/2774.09 c #Conflicts: 880000 | #Constraints: 37362
2766.16/2774.09 c #Conflicts: 881000 | #Constraints: 38362
2766.16/2774.09 c #Conflicts: 882000 | #Constraints: 39362
2766.16/2774.09 c #Conflicts: 883000 | #Constraints: 40362
2766.16/2774.09 c #Conflicts: 884000 | #Constraints: 41362
2766.16/2774.09 c INPROCESSING
2766.16/2774.09 c GARBAGE COLLECT
2766.16/2774.09 c #Conflicts: 885000 | #Constraints: 23755
2766.16/2774.09 c #Conflicts: 886000 | #Constraints: 24755
2766.16/2774.09 c #Conflicts: 887000 | #Constraints: 25755
2766.16/2774.09 c #Conflicts: 888000 | #Constraints: 26755
2766.16/2774.09 c #Conflicts: 889000 | #Constraints: 27755
2766.16/2774.09 c #Conflicts: 890000 | #Constraints: 28755
3042.32/3050.91 c #Conflicts: 891000 | #Constraints: 29755
3042.32/3050.91 c #Conflicts: 892000 | #Constraints: 30755
3042.32/3050.91 c #Conflicts: 893000 | #Constraints: 31755
3042.32/3050.91 c #Conflicts: 894000 | #Constraints: 32755
3042.32/3050.91 c #Conflicts: 895000 | #Constraints: 33755
3042.32/3050.91 c #Conflicts: 896000 | #Constraints: 34755
3042.32/3050.91 c #Conflicts: 897000 | #Constraints: 35755
3042.32/3050.91 c #Conflicts: 898000 | #Constraints: 36755
3042.32/3050.91 c #Conflicts: 899000 | #Constraints: 37755
3042.32/3050.91 c #Conflicts: 900000 | #Constraints: 38755
3042.32/3050.91 c #Conflicts: 901000 | #Constraints: 39755
3042.32/3050.91 c #Conflicts: 902000 | #Constraints: 40755
3042.32/3050.91 c #Conflicts: 903000 | #Constraints: 41755
3042.32/3050.91 c INPROCESSING
3042.32/3050.91 c GARBAGE COLLECT
3042.32/3050.91 c #Conflicts: 904000 | #Constraints: 23956
3042.32/3050.91 c #Conflicts: 905000 | #Constraints: 24956
3042.32/3050.91 c #Conflicts: 906000 | #Constraints: 25956
3042.32/3050.91 c #Conflicts: 907000 | #Constraints: 26956
3042.32/3050.91 c #Conflicts: 908000 | #Constraints: 27956
3042.32/3050.91 c #Conflicts: 909000 | #Constraints: 28956
3042.32/3050.91 c #Conflicts: 910000 | #Constraints: 29956
3042.32/3050.91 c #Conflicts: 911000 | #Constraints: 30956
3042.32/3050.91 c #Conflicts: 912000 | #Constraints: 31956
3042.32/3050.91 c #Conflicts: 913000 | #Constraints: 32956
3042.32/3050.91 c #Conflicts: 914000 | #Constraints: 33956
3042.32/3050.91 c #Conflicts: 915000 | #Constraints: 34956
3042.32/3050.91 c #Conflicts: 916000 | #Constraints: 35956
3042.32/3050.91 c #Conflicts: 917000 | #Constraints: 36956
3042.32/3050.91 c #Conflicts: 918000 | #Constraints: 37956
3042.32/3050.91 c #Conflicts: 919000 | #Constraints: 38956
3042.32/3050.91 c #Conflicts: 920000 | #Constraints: 39956
3042.32/3050.91 c #Conflicts: 921000 | #Constraints: 40956
3042.32/3050.91 c #Conflicts: 922000 | #Constraints: 41956
3042.32/3050.91 c INPROCESSING
3042.32/3050.91 c GARBAGE COLLECT
3042.32/3050.91 c #Conflicts: 923000 | #Constraints: 23959
3042.32/3050.91 c #Conflicts: 924000 | #Constraints: 24959
3042.32/3050.91 c #Conflicts: 925000 | #Constraints: 25959
3042.32/3050.91 c #Conflicts: 926000 | #Constraints: 26959
3042.32/3050.91 c #Conflicts: 927000 | #Constraints: 27959
3042.32/3050.91 c #Conflicts: 928000 | #Constraints: 28959
3042.32/3050.91 c #Conflicts: 929000 | #Constraints: 29959
3042.32/3050.91 c #Conflicts: 930000 | #Constraints: 30959
3042.32/3050.91 c #Conflicts: 931000 | #Constraints: 31959
3042.32/3050.91 c #Conflicts: 932000 | #Constraints: 32959
3042.32/3050.91 c #Conflicts: 933000 | #Constraints: 33959
3042.32/3050.91 c #Conflicts: 934000 | #Constraints: 34959
3042.32/3050.91 c #Conflicts: 935000 | #Constraints: 35959
3042.32/3050.91 c #Conflicts: 936000 | #Constraints: 36959
3042.32/3050.91 c #Conflicts: 937000 | #Constraints: 37959
3042.32/3050.91 c #Conflicts: 938000 | #Constraints: 38959
3042.32/3050.91 c #Conflicts: 939000 | #Constraints: 39959
3042.32/3050.91 c #Conflicts: 940000 | #Constraints: 40959
3042.32/3050.91 c #Conflicts: 941000 | #Constraints: 41959
3042.32/3050.91 c INPROCESSING
3042.32/3050.91 c GARBAGE COLLECT
3042.32/3050.91 c #Conflicts: 942000 | #Constraints: 23760
3042.32/3050.91 c #Conflicts: 943000 | #Constraints: 24760
3042.32/3050.91 c #Conflicts: 944000 | #Constraints: 25760
3042.32/3050.91 c #Conflicts: 945000 | #Constraints: 26760
3042.32/3050.91 c #Conflicts: 946000 | #Constraints: 27760
3042.32/3050.91 c #Conflicts: 947000 | #Constraints: 28760
3042.32/3050.91 c #Conflicts: 948000 | #Constraints: 29760
3042.32/3050.91 c #Conflicts: 949000 | #Constraints: 30760
3042.32/3050.91 c #Conflicts: 950000 | #Constraints: 31760
3042.32/3050.91 c #Conflicts: 951000 | #Constraints: 32760
3042.32/3050.91 c #Conflicts: 952000 | #Constraints: 33760
3042.32/3050.91 c #Conflicts: 953000 | #Constraints: 34760
3042.32/3050.91 c #Conflicts: 954000 | #Constraints: 35760
3042.32/3050.91 c #Conflicts: 955000 | #Constraints: 36760
3042.32/3050.91 c #Conflicts: 956000 | #Constraints: 37760
3042.32/3050.91 c #Conflicts: 957000 | #Constraints: 38760
3042.32/3050.91 c #Conflicts: 958000 | #Constraints: 39760
3042.32/3050.91 c #Conflicts: 959000 | #Constraints: 40760
3042.32/3050.91 c #Conflicts: 960000 | #Constraints: 41760
3042.32/3050.91 c #Conflicts: 961000 | #Constraints: 42760
3042.32/3050.91 c INPROCESSING
3042.32/3050.91 c GARBAGE COLLECT
3042.32/3050.91 c #Conflicts: 962000 | #Constraints: 24362
3042.32/3050.91 c #Conflicts: 963000 | #Constraints: 25362
3042.32/3050.91 c #Conflicts: 964000 | #Constraints: 26362
3042.32/3050.91 c #Conflicts: 965000 | #Constraints: 27362
3042.32/3050.91 c #Conflicts: 966000 | #Constraints: 28362
3042.32/3050.91 c #Conflicts: 967000 | #Constraints: 29362
3379.24/3388.72 c #Conflicts: 968000 | #Constraints: 30362
3379.24/3388.72 c #Conflicts: 969000 | #Constraints: 31362
3379.24/3388.72 c #Conflicts: 970000 | #Constraints: 32362
3379.24/3388.72 c #Conflicts: 971000 | #Constraints: 33362
3379.24/3388.72 c #Conflicts: 972000 | #Constraints: 34362
3379.24/3388.72 c #Conflicts: 973000 | #Constraints: 35362
3379.24/3388.72 c #Conflicts: 974000 | #Constraints: 36362
3379.24/3388.72 c #Conflicts: 975000 | #Constraints: 37362
3379.24/3388.72 c #Conflicts: 976000 | #Constraints: 38362
3379.24/3388.72 c #Conflicts: 977000 | #Constraints: 39362
3379.24/3388.72 c #Conflicts: 978000 | #Constraints: 40362
3379.24/3388.72 c #Conflicts: 979000 | #Constraints: 41362
3379.24/3388.72 c #Conflicts: 980000 | #Constraints: 42362
3379.24/3388.72 c #Conflicts: 981000 | #Constraints: 43362
3379.24/3388.72 c INPROCESSING
3379.24/3388.72 c GARBAGE COLLECT
3379.24/3388.72 c #Conflicts: 982000 | #Constraints: 24764
3379.24/3388.72 c #Conflicts: 983000 | #Constraints: 25764
3379.24/3388.72 c #Conflicts: 984000 | #Constraints: 26764
3379.24/3388.72 c #Conflicts: 985000 | #Constraints: 27764
3379.24/3388.72 c #Conflicts: 986000 | #Constraints: 28764
3379.24/3388.72 c #Conflicts: 987000 | #Constraints: 29764
3379.24/3388.72 c #Conflicts: 988000 | #Constraints: 30764
3379.24/3388.72 c #Conflicts: 989000 | #Constraints: 31764
3379.24/3388.72 c #Conflicts: 990000 | #Constraints: 32764
3379.24/3388.72 c #Conflicts: 991000 | #Constraints: 33764
3379.24/3388.72 c #Conflicts: 992000 | #Constraints: 34764
3379.24/3388.72 c #Conflicts: 993000 | #Constraints: 35764
3379.24/3388.72 c #Conflicts: 994000 | #Constraints: 36764
3379.24/3388.72 c #Conflicts: 995000 | #Constraints: 37764
3379.24/3388.72 c #Conflicts: 996000 | #Constraints: 38764
3379.24/3388.72 c #Conflicts: 997000 | #Constraints: 39764
3379.24/3388.72 c #Conflicts: 998000 | #Constraints: 40764
3379.24/3388.72 c #Conflicts: 999000 | #Constraints: 41764
3379.24/3388.72 c #Conflicts: 1000000 | #Constraints: 42764
3379.24/3388.72 c #Conflicts: 1001000 | #Constraints: 43764
3379.24/3388.72 c INPROCESSING
3379.24/3388.72 c GARBAGE COLLECT
3379.24/3388.72 c #Conflicts: 1002000 | #Constraints: 24965
3379.24/3388.72 c #Conflicts: 1003000 | #Constraints: 25965
3379.24/3388.72 c #Conflicts: 1004000 | #Constraints: 26965
3379.24/3388.72 c #Conflicts: 1005000 | #Constraints: 27965
3379.24/3388.72 c #Conflicts: 1006000 | #Constraints: 28965
3379.24/3388.72 c #Conflicts: 1007000 | #Constraints: 29965
3379.24/3388.72 c #Conflicts: 1008000 | #Constraints: 30965
3379.24/3388.72 c #Conflicts: 1009000 | #Constraints: 31965
3379.24/3388.72 c #Conflicts: 1010000 | #Constraints: 32965
3379.24/3388.72 c #Conflicts: 1011000 | #Constraints: 33965
3379.24/3388.72 c #Conflicts: 1012000 | #Constraints: 34965
3379.24/3388.72 c #Conflicts: 1013000 | #Constraints: 35965
3379.24/3388.72 c #Conflicts: 1014000 | #Constraints: 36965
3379.24/3388.72 c #Conflicts: 1015000 | #Constraints: 37965
3379.24/3388.72 c #Conflicts: 1016000 | #Constraints: 38965
3379.24/3388.72 c #Conflicts: 1017000 | #Constraints: 39965
3379.24/3388.72 c #Conflicts: 1018000 | #Constraints: 40965
3379.24/3388.72 c #Conflicts: 1019000 | #Constraints: 41965
3379.24/3388.72 c #Conflicts: 1020000 | #Constraints: 42965
3379.24/3388.72 c #Conflicts: 1021000 | #Constraints: 43965
3379.24/3388.72 c INPROCESSING
3379.24/3388.72 c GARBAGE COLLECT
3379.24/3388.72 c #Conflicts: 1022000 | #Constraints: 24964
3379.24/3388.72 c #Conflicts: 1023000 | #Constraints: 25964
3379.24/3388.72 c #Conflicts: 1024000 | #Constraints: 26964
3379.24/3388.72 c #Conflicts: 1025000 | #Constraints: 27964
3379.24/3388.72 c #Conflicts: 1026000 | #Constraints: 28964
3379.24/3388.72 c #Conflicts: 1027000 | #Constraints: 29964
3379.24/3388.72 c #Conflicts: 1028000 | #Constraints: 30964
3379.24/3388.72 c #Conflicts: 1029000 | #Constraints: 31964
3379.24/3388.72 c #Conflicts: 1030000 | #Constraints: 32964
3379.24/3388.72 c #Conflicts: 1031000 | #Constraints: 33964
3379.24/3388.72 c #Conflicts: 1032000 | #Constraints: 34964
3379.24/3388.72 c #Conflicts: 1033000 | #Constraints: 35964
3379.24/3388.72 c #Conflicts: 1034000 | #Constraints: 36964
3379.24/3388.72 c #Conflicts: 1035000 | #Constraints: 37964
3379.24/3388.72 c #Conflicts: 1036000 | #Constraints: 38964
3379.24/3388.72 c #Conflicts: 1037000 | #Constraints: 39964
3379.24/3388.72 c #Conflicts: 1038000 | #Constraints: 40964
3379.24/3388.72 c #Conflicts: 1039000 | #Constraints: 41964
3379.24/3388.72 c #Conflicts: 1040000 | #Constraints: 42964
3379.24/3388.72 c #Conflicts: 1041000 | #Constraints: 43964
3379.24/3388.72 c INPROCESSING
3379.24/3388.72 c GARBAGE COLLECT
3379.24/3388.72 c #Conflicts: 1042000 | #Constraints: 24769
3379.24/3388.72 c #Conflicts: 1043000 | #Constraints: 25769
3600.06/3610.10 c #Conflicts: 1044000 | #Constraints: 26769
3600.06/3610.10 c #Conflicts: 1045000 | #Constraints: 27769
3600.06/3610.10 c #Conflicts: 1046000 | #Constraints: 28769
3600.06/3610.10 c #Conflicts: 1047000 | #Constraints: 29769
3600.06/3610.10 c #Conflicts: 1048000 | #Constraints: 30769
3600.06/3610.10 c #Conflicts: 1049000 | #Constraints: 31769
3600.06/3610.10 c #Conflicts: 1050000 | #Constraints: 32769
3600.06/3610.10 c #Conflicts: 1051000 | #Constraints: 33769
3600.06/3610.10 c #Conflicts: 1052000 | #Constraints: 34769
3600.06/3610.10 c #Conflicts: 1053000 | #Constraints: 35769
3600.06/3610.10 c #Conflicts: 1054000 | #Constraints: 36769
3600.06/3610.10 c #Conflicts: 1055000 | #Constraints: 37769
3600.06/3610.10 c #Conflicts: 1056000 | #Constraints: 38769
3600.06/3610.10 c #Conflicts: 1057000 | #Constraints: 39769
3600.06/3610.10 c #Conflicts: 1058000 | #Constraints: 40769
3600.06/3610.10 c #Conflicts: 1059000 | #Constraints: 41769
3600.06/3610.10 c #Conflicts: 1060000 | #Constraints: 42769
3600.06/3610.10 c #Conflicts: 1061000 | #Constraints: 43769
3600.06/3610.10 c #Conflicts: 1062000 | #Constraints: 44769
3600.06/3610.10 c INPROCESSING
3600.06/3610.10 c GARBAGE COLLECT
3600.06/3610.10 c #Conflicts: 1063000 | #Constraints: 25376
3600.06/3610.10 c #Conflicts: 1064000 | #Constraints: 26376
3600.06/3610.10 c #Conflicts: 1065000 | #Constraints: 27376
3600.06/3610.10 c #Conflicts: 1066000 | #Constraints: 28376
3600.06/3610.10 c #Conflicts: 1067000 | #Constraints: 29376
3600.06/3610.10 c #Conflicts: 1068000 | #Constraints: 30376
3600.06/3610.10 c #Conflicts: 1069000 | #Constraints: 31376
3600.06/3610.10 c #Conflicts: 1070000 | #Constraints: 32376
3600.06/3610.10 c #Conflicts: 1071000 | #Constraints: 33376
3600.06/3610.10 c #Conflicts: 1072000 | #Constraints: 34376
3600.06/3610.10 c #Conflicts: 1073000 | #Constraints: 35376
3600.06/3610.10 c #Conflicts: 1074000 | #Constraints: 36376
3600.06/3610.10 c #Conflicts: 1075000 | #Constraints: 37376
3600.06/3610.10 c #Conflicts: 1076000 | #Constraints: 38376
3600.06/3610.10 c #Conflicts: 1077000 | #Constraints: 39376
3600.06/3610.10 c #Conflicts: 1078000 | #Constraints: 40376
3600.06/3610.10 c #Conflicts: 1079000 | #Constraints: 41376
3600.06/3610.10 c #Conflicts: 1080000 | #Constraints: 42376
3600.06/3610.10 c #Conflicts: 1081000 | #Constraints: 43376
3600.06/3610.10 c #Conflicts: 1082000 | #Constraints: 44376
3600.06/3610.10 c #Conflicts: 1083000 | #Constraints: 45376
3600.06/3610.10 c INPROCESSING
3600.06/3610.10 c GARBAGE COLLECT
3600.06/3610.10 c #Conflicts: 1084000 | #Constraints: 25777
3600.06/3610.10 c #Conflicts: 1085000 | #Constraints: 26777
3600.06/3610.10 c #Conflicts: 1086000 | #Constraints: 27777
3600.06/3610.10 c #Conflicts: 1087000 | #Constraints: 28777
3600.06/3610.10 c #Conflicts: 1088000 | #Constraints: 29777
3600.06/3610.10 c #Conflicts: 1089000 | #Constraints: 30777
3600.06/3610.10 c #Conflicts: 1090000 | #Constraints: 31777
3600.06/3610.10 c #Conflicts: 1091000 | #Constraints: 32777
3600.06/3610.10 c #Conflicts: 1092000 | #Constraints: 33777
3600.06/3610.10 c #Conflicts: 1093000 | #Constraints: 34777
3600.06/3610.10 c Program interrupted by user.
3600.06/3610.10 c cpu time 3591.63 s
3600.06/3610.10 c deterministic time 850091745791 8.50e+11
3600.06/3610.10 c optimization time 25.378 s
3600.06/3610.10 c total solve time 3266.78 s
3600.06/3610.10 c core-guided solve time 3266.78 s
3600.06/3610.10 c propagation time 2773.92 s
3600.06/3610.10 c conflict analysis time 401.67 s
3600.06/3610.10 c propagations 165721135
3600.06/3610.10 c resolve steps 9611456
3600.06/3610.10 c decisions 4981949
3600.06/3610.10 c conflicts 1093038
3600.06/3610.10 c restarts 2046
3600.06/3610.10 c inprocessing phases 95
3600.06/3610.10 c input clauses 4066
3600.06/3610.10 c input cardinalities 151
3600.06/3610.10 c input general constraints 0
3600.06/3610.10 c input average constraint length 62.61
3600.06/3610.10 c input average constraint degree 28.38
3600.06/3610.10 c learned clauses 357927
3600.06/3610.10 c learned cardinalities 34160
3600.06/3610.10 c learned general constraints 701099
3600.06/3610.10 c learned average constraint length 818.33
3600.06/3610.10 c learned average constraint degree 74149.96
3600.06/3610.10 c watched constraints 515332
3600.06/3610.10 c counting constraints 185767
3600.06/3610.10 c gcd simplifications 39414
3600.06/3610.10 c detected cardinalities 258
3600.06/3610.10 c weakened non-implied lits 153647912
3600.06/3610.10 c weakened non-implying lits 86885
3600.06/3610.10 c original variables 1965
3600.06/3610.10 c clausal propagations 72080843
3600.06/3610.10 c cardinality propagations 3809111
3600.06/3610.10 c watched propagations 28641643
3600.06/3610.10 c counting propagations 56036127
3600.06/3610.10 c watch lookups 31933155582
3600.06/3610.10 c watch backjump lookups 26059217431
3600.06/3610.10 c watch checks 732237658304
3600.06/3610.10 c propagation checks 56933035517
3600.06/3610.10 c constraint additions 2586181351
3600.06/3610.10 c trail pops 171794521
3600.06/3610.10 c formula constraints 3376
3600.06/3610.10 c learned constraints 1093186
3600.06/3610.10 c bound constraints 151
3600.06/3610.10 c core-guided constraints 690
3600.06/3610.10 c encountered formula constraints 6746348
3600.06/3610.10 c encountered learned constraints 2863468
3600.06/3610.10 c encountered bound constraints 2
3600.06/3610.10 c encountered core-guided constraints 1094676
3600.06/3610.10 c LP total time 0 s
3600.06/3610.10 c LP solve time 0 s
3600.06/3610.10 c LP constraints added 0
3600.06/3610.10 c LP constraints removed 0
3600.06/3610.10 c LP pivots internal 0
3600.06/3610.10 c LP pivots root 0
3600.06/3610.10 c LP calls 0
3600.06/3610.10 c LP optimalities 0
3600.06/3610.10 c LP no pivot count 0
3600.06/3610.10 c LP infeasibilities 0
3600.06/3610.10 c LP valid Farkas constraints 0
3600.06/3610.10 c LP learned Farkas constraints 0
3600.06/3610.10 c LP basis resets 0
3600.06/3610.10 c LP cycling count 0
3600.06/3610.10 c LP singular count 0
3600.06/3610.10 c LP no primal count 0
3600.06/3610.10 c LP no farkas count 0
3600.06/3610.10 c LP other issue count 0
3600.06/3610.10 c LP Gomory cuts 0
3600.06/3610.10 c LP learned cuts 0
3600.06/3610.10 c LP deleted cuts 0
3600.06/3610.10 c LP encountered Gomory constraints 0
3600.06/3610.10 c LP encountered Farkas constraints 0
3600.06/3610.10 c LP encountered learned Farkas constraints 0
3600.06/3610.10 c CG auxiliary variables introduced 690
3600.06/3610.10 c CG solutions found 0
3600.06/3610.10 c CG cores constructed 150
3600.06/3610.10 c CG core cardinality constraints returned 0
3600.06/3610.10 c CG unit cores 0
3600.06/3610.10 c CG single cores 150
3600.06/3610.10 c CG blocks removed during cardinality reduction 0
3600.06/3610.10 c CG first core best 0
3600.06/3610.10 c CG decision core best 0
3600.06/3610.10 c CG core reduction tie 0
3600.06/3610.10 c CG core degree average 1.00
3600.06/3610.10 c CG core slack average 3.14
3600.06/3610.10 c CG exhausted 0
3600.06/3610.10 c CG exhaust time 0 s
3600.06/3610.10 c CG trimmed 2
3600.06/3610.10 c CG trim time 0.000971 s
3600.06/3610.10 c CG minimized 0
3600.06/3610.10 c CG minimize time 0 s
3600.06/3610.10 c CG am1 prop time 0.002327 s
3600.06/3610.10 c CG # am1s reformulated 690
3600.06/3610.10 c CG lower bound derived from am1s 690
3600.06/3610.10 c CG # clausal cores 150
3600.06/3610.10 c CG # cardinality cores 0
3600.06/3610.10 c CG # pb cores 0
3600.06/3610.10 c CG # pb reforms 0
3600.06/3610.10 c CG # cores discarded because of pb reform 0
3600.06/3610.10 d LOWERBOUND 840
3600.06/3610.10 d NCORES 150
3600.06/3610.10 d NPBCORES 0
3600.06/3610.10 d NPBREFORM 0
3600.06/3610.10 d NTRIMMED 2
3600.06/3610.10 d NEXHAUSTED 0
3600.06/3610.10 d NAM1S 690
3600.06/3610.10 d AM1LB 690
3600.06/3610.10 c [Papilo Statistics]
3600.06/3610.10 c prepro time 0.0048088s
3600.06/3610.10 c # tsx applied 134
3600.06/3610.10 c # tsx conflicts 7
3600.06/3610.10 c # bound changes 133
3600.06/3610.10 c # side changes 0
3600.06/3610.10 c # coef changes 0
3600.06/3610.10 c # rounds 2
3600.06/3610.10 c # deted vars 275
3600.06/3610.10 c # deted constrs 624
3600.06/3610.10 c # consecutive rounds of only bound changes 0
3600.06/3610.10 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: 63665 MiB (62011 MiB free)
memory of node 1: 64507 MiB (56757 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528925-1752256448/watcher-4528925-1752256448 -o /tmp/evaluation-result-4528925-1752256448/solver-4528925-1752256448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752256448-119452 --watchdog 3760 mixed-bag HOME/instance-4528925-1752256448.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB
solver pid=119509, runsolver pid=119497
[startup+0.100065 s]*
/proc/loadavg: 2.94 3.85 4.00 6/264 119510
/proc/meminfo: memFree=121554992/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=114936 memory=41036 CPUtime=0.08 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 7108 0 0 0 7 1 0 0 20 0 1 0 141322605 117694464 10259 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 28734 10259 4224 2834 0 10939 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 114936 KiB
Current children cumulated memory: 41036 KiB
[startup+0.205167 s]*
/proc/loadavg: 2.94 3.85 4.00 6/264 119510
/proc/meminfo: memFree=121549056/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=117324 memory=43468 CPUtime=0.18 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 7708 0 0 0 17 1 0 0 20 0 1 0 141322605 120139776 10867 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 29331 10867 4256 2834 0 11536 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 117324 KiB
Current children cumulated memory: 43468 KiB
[startup+0.304818 s]*
/proc/loadavg: 2.94 3.85 4.00 6/264 119510
/proc/meminfo: memFree=121541244/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=117324 memory=43468 CPUtime=0.28 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 7708 0 0 0 27 1 0 0 20 0 1 0 141322605 120139776 10867 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 29331 10867 4256 2834 0 11536 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 117324 KiB
Current children cumulated memory: 43468 KiB
[startup+0.700114 s]
/proc/loadavg: 2.94 3.85 4.00 6/264 119510
/proc/meminfo: memFree=121537212/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=122060 memory=47692 CPUtime=0.67 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 8781 0 0 0 66 1 0 0 20 0 1 0 141322605 124989440 11923 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 30515 11923 4256 2834 0 12720 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 122060 KiB
Current children cumulated memory: 47692 KiB
[startup+1.50012 s]
/proc/loadavg: 2.94 3.85 4.00 6/264 119510
/proc/meminfo: memFree=121523604/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=125092 memory=50124 CPUtime=1.47 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 9395 0 0 0 146 1 0 0 20 0 1 0 141322605 128094208 12531 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 31273 12531 4256 2834 0 13478 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 125092 KiB
Current children cumulated memory: 50124 KiB
[startup+3.10455 s]
/proc/loadavg: 3.11 3.87 4.01 6/264 119510
/proc/meminfo: memFree=121433224/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=140904 memory=64972 CPUtime=3.07 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 13093 0 0 0 305 2 0 0 20 0 1 0 141322605 144285696 16243 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 35226 16243 4256 2834 0 17431 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 140904 KiB
Current children cumulated memory: 64972 KiB
[startup+6.3001 s]
/proc/loadavg: 3.11 3.87 4.01 6/264 119510
/proc/meminfo: memFree=121304680/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=175864 memory=98380 CPUtime=6.26 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 21446 0 0 0 623 3 0 0 20 0 1 0 141322605 180084736 24595 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 43966 24595 4256 2834 0 26171 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 175864 KiB
Current children cumulated memory: 98380 KiB
[startup+12.7001 s]
/proc/loadavg: 3.25 3.87 4.01 6/264 119510
/proc/meminfo: memFree=121111420/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=251356 memory=170540 CPUtime=12.64 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 39978 0 0 0 1258 6 0 0 20 0 1 0 141322605 257388544 42635 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 62839 42635 4256 2834 0 45044 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 251356 KiB
Current children cumulated memory: 170540 KiB
[startup+25.5001 s]
/proc/loadavg: 3.36 3.88 4.01 6/264 119510
/proc/meminfo: memFree=121111468/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=251356 memory=170924 CPUtime=25.41 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 40073 0 0 0 2535 6 0 0 20 0 1 0 141322605 257388544 42731 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 62839 42731 4256 2834 0 45044 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 251356 KiB
Current children cumulated memory: 170924 KiB
[startup+51.1046 s]
/proc/loadavg: 3.66 3.90 4.01 6/264 119511
/proc/meminfo: memFree=120922144/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=291272 memory=207532 CPUtime=50.95 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 49243 0 0 0 5087 8 0 0 20 0 1 0 141322605 298262528 51883 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 72818 51883 4256 2834 0 55023 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 291272 KiB
Current children cumulated memory: 207532 KiB
[startup+102.3 s]
/proc/loadavg: 3.93 3.94 4.01 6/264 119513
/proc/meminfo: memFree=120701040/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=320240 memory=234616 CPUtime=102 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 58490 0 0 0 10191 9 0 0 20 0 1 0 141322605 327925760 58654 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 80060 58654 4256 2834 0 62265 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 320240 KiB
Current children cumulated memory: 234616 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 3.97 4.01 6/265 119516
/proc/meminfo: memFree=120554744/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=332548 memory=244172 CPUtime=161.82 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 62229 0 0 0 16172 10 0 0 20 0 1 0 141322605 340529152 61043 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 83137 61043 4256 2834 0 65342 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 332548 KiB
Current children cumulated memory: 244172 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.01 4.02 6/265 119517
/proc/meminfo: memFree=120509384/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=338388 memory=247056 CPUtime=221.64 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 65226 0 0 0 22153 11 0 0 20 0 1 0 141322605 346509312 61764 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 84597 61764 4256 2834 0 66802 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 338388 KiB
Current children cumulated memory: 247056 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.02 4.02 6/264 119519
/proc/meminfo: memFree=120446656/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=387272 memory=285840 CPUtime=281.45 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 74952 0 0 0 28133 12 0 0 20 0 1 0 141322605 396566528 71460 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 96818 71460 4256 2834 0 79023 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 387272 KiB
Current children cumulated memory: 285840 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.04 4.02 6/263 119527
/proc/meminfo: memFree=120850484/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=261512 memory=189172 CPUtime=341.28 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 80037 0 0 0 34075 53 0 0 20 0 1 0 141322605 267788288 47293 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 65378 47293 4448 2834 0 47583 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 261512 KiB
Current children cumulated memory: 189172 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.05 4.02 6/263 119529
/proc/meminfo: memFree=120760100/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=292332 memory=202900 CPUtime=401.09 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 80906 0 0 0 40025 84 0 0 20 0 1 0 141322605 299347968 50725 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 73083 50725 4448 2834 0 55288 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 292332 KiB
Current children cumulated memory: 202900 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.05 4.02 6/262 119542
/proc/meminfo: memFree=120700572/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=292332 memory=211624 CPUtime=460.92 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 81056 0 0 0 45983 109 0 0 20 0 1 0 141322605 299347968 52906 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 73083 52906 4448 2834 0 55288 0
Current children cumulated CPU time: 460.92 s
################
# More data... #
################
Current children cumulated memory: 410816 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.10 6/262 119653
/proc/meminfo: memFree=119789912/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=506352 memory=411456 CPUtime=2914.06 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 95370 0 0 0 290670 736 0 0 20 0 1 0 141322605 518504448 102864 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 126588 102864 4448 2834 0 108793 0
Current children cumulated CPU time: 2914.06 s
Current children cumulated vsize: 506352 KiB
Current children cumulated memory: 411456 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/263 119656
/proc/meminfo: memFree=119790144/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=506352 memory=411456 CPUtime=2973.9 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 95408 0 0 0 296644 746 0 0 20 0 1 0 141322605 518504448 102864 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 126588 102864 4448 2834 0 108793 0
Current children cumulated CPU time: 2973.9 s
Current children cumulated vsize: 506352 KiB
Current children cumulated memory: 411456 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/263 119658
/proc/meminfo: memFree=119790376/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=506960 memory=411968 CPUtime=3033.75 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 95526 0 0 0 302618 757 0 0 20 0 1 0 141322605 519127040 102992 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 126740 102992 4448 2834 0 108945 0
Current children cumulated CPU time: 3033.75 s
Current children cumulated vsize: 506960 KiB
Current children cumulated memory: 411968 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/263 119660
/proc/meminfo: memFree=119790296/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=507396 memory=412224 CPUtime=3093.59 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 95576 0 0 0 308592 767 0 0 20 0 1 0 141322605 519573504 103056 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 126849 103056 4448 2834 0 109054 0
Current children cumulated CPU time: 3093.59 s
Current children cumulated vsize: 507396 KiB
Current children cumulated memory: 412224 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/263 119662
/proc/meminfo: memFree=119786368/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=509444 memory=419580 CPUtime=3153.43 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 95886 0 0 0 314565 778 0 0 20 0 1 0 141322605 521670656 104895 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 127361 104895 4448 2834 0 109566 0
Current children cumulated CPU time: 3153.43 s
Current children cumulated vsize: 509444 KiB
Current children cumulated memory: 419580 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/263 119664
/proc/meminfo: memFree=119773700/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=510704 memory=420476 CPUtime=3213.28 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 96114 0 0 0 320543 785 0 0 20 0 1 0 141322605 522960896 105119 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 127676 105119 4448 2834 0 109881 0
Current children cumulated CPU time: 3213.28 s
Current children cumulated vsize: 510704 KiB
Current children cumulated memory: 420476 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/262 119666
/proc/meminfo: memFree=119773160/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=510704 memory=420476 CPUtime=3273.12 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 96114 0 0 0 326518 794 0 0 20 0 1 0 141322605 522960896 105119 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 127676 105119 4448 2834 0 109881 0
Current children cumulated CPU time: 3273.12 s
Current children cumulated vsize: 510704 KiB
Current children cumulated memory: 420476 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/263 119675
/proc/meminfo: memFree=119774064/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=510960 memory=420732 CPUtime=3332.97 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 96178 0 0 0 332493 804 0 0 20 0 1 0 141322605 523223040 105183 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 127740 105183 4448 2834 0 109945 0
Current children cumulated CPU time: 3332.97 s
Current children cumulated vsize: 510960 KiB
Current children cumulated memory: 420732 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.11 4.09 6/263 119677
/proc/meminfo: memFree=119755704/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=513008 memory=430268 CPUtime=3392.81 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 96538 0 0 0 338468 813 0 0 20 0 1 0 141322605 525320192 107567 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 128252 107567 4448 2834 0 110457 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 513008 KiB
Current children cumulated memory: 430268 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/263 119679
/proc/meminfo: memFree=119755756/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=513008 memory=430396 CPUtime=3452.65 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 96540 0 0 0 344443 822 0 0 20 0 1 0 141322605 525320192 107599 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 128252 107599 4448 2834 0 110457 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 513008 KiB
Current children cumulated memory: 430396 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/263 119681
/proc/meminfo: memFree=119739408/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=514080 memory=435312 CPUtime=3512.49 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 96772 0 0 0 350418 831 0 0 20 0 1 0 141322605 526417920 108828 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 128520 108828 4448 2834 0 110725 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 514080 KiB
Current children cumulated memory: 435312 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/263 119683
/proc/meminfo: memFree=119737504/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=514080 memory=435312 CPUtime=3572.32 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 96775 0 0 0 356396 836 0 0 20 0 1 0 141322605 526417920 108828 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 128520 108828 4448 2834 0 110725 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 514080 KiB
Current children cumulated memory: 435312 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.1 s]
/proc/loadavg: 4.09 4.09 4.09 4/256 119693
/proc/meminfo: memFree=120754648/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=514336 memory=435568 CPUtime=3600.06 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 96839 0 0 0 359163 843 0 0 20 0 1 0 141322605 526680064 108892 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 128584 108892 4448 2834 0 110789 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 514336 KiB
Current children cumulated memory: 435568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 119509 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.64 s, system=8.43966 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.1 s]
/proc/loadavg: 4.09 4.09 4.09 4/256 119693
/proc/meminfo: memFree=120754648/131249996 swapFree=33010416/33010684
[pid=119509] ppid=119497 vsize=514336 memory=435568 CPUtime=3600.06 cores=1,3
/proc/119509/stat : 119509 (mixed-bag) R 119497 119509 119440 0 -1 4194304 96839 0 0 0 359163 843 0 0 20 0 1 0 141322605 526680064 108892 18446744073709551615 4235264 15840557 140725644877184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 46432256 140725644884378 140725644884455 140725644884455 140725644890059 0
/proc/119509/statm: 128584 108892 4448 2834 0 110789 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 514336 KiB
Current children cumulated memory: 435568 KiB
Child status: 0
Real time (s): 3610.11
CPU time (s): 3600.08
CPU user time (s): 3591.64
CPU system time (s): 8.43966
CPU usage (%): 99.722
Max. virtual memory (cumulated for all children) (KiB): 514336
Max. memory (cumulated for all children) (KiB): 435568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.64
system time used= 8.43966
maximum resident set size= 436080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96870
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= 194
involuntary context switches= 1787
# summary of solver processes directly reported to runsolver:
# pid: 119509
# total CPU time (s): 3600.08
# total CPU user time (s): 3591.64
# total CPU system time (s): 8.43966
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.60499 second user time and 15.3268 second system time
The end
Begin job on nodeC022 at 2025-07-11 19:54:08
IDJOB=4528925
IDBENCH=147532
IDSOLVER=3386
FILE ID=nodeC022/4528925-1752256448
RUNJOBID= nodeC022-1752256448-119452
SLURM_JOB_ID= 9682600
Free space on /tmp= 432152 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528925-1752256448/watcher-4528925-1752256448 -o /tmp/evaluation-result-4528925-1752256448/solver-4528925-1752256448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752256448-119452 --watchdog 3760 mixed-bag HOME/instance-4528925-1752256448.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 40249833eecc795c9ed736ead45c4ff1
RANDOM SEED=856085768
nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3599.918
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3599.564
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3596.849
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3602.414
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3600.197
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3599.227
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3599.790
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3597.688
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 121628128 kB
MemAvailable: 129703776 kB
Buffers: 2128 kB
Cached: 8823904 kB
SwapCached: 32 kB
Active: 723644 kB
Inactive: 8167100 kB
Active(anon): 80628 kB
Inactive(anon): 2124 kB
Active(file): 643016 kB
Inactive(file): 8164976 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 61468 kB
Writeback: 4 kB
AnonPages: 67820 kB
Mapped: 106496 kB
Shmem: 18028 kB
KReclaimable: 213388 kB
Slab: 307724 kB
SReclaimable: 213388 kB
SUnreclaim: 94336 kB
KernelStack: 4080 kB
PageTables: 2992 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 335000 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432092 MiB
End job on nodeC022 at 2025-07-11 20:54:19