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.65/300.40 c [STEP] preprocessing done, loading into solver
299.65/300.41 c [STEP] solving
299.65/300.41 c #variables 1679 #constraints 3322
299.65/300.41 c SMALL=int, LARGE=long long
299.65/300.41 d SCIPUB 909
299.65/300.41 c bounds - >= 0 @ 299.484
299.65/300.41 c stratification level: 0
299.94/300.71 c bounds - >= 688 @ 299.491
299.94/300.71 c bounds - >= 689 @ 299.493
299.94/300.71 c bounds - >= 690 @ 299.493
299.94/300.71 c bounds - >= 691 @ 299.493
299.94/300.71 c bounds - >= 692 @ 299.493
299.94/300.71 c bounds - >= 693 @ 299.494
299.94/300.71 c bounds - >= 694 @ 299.494
299.94/300.71 c bounds - >= 695 @ 299.494
299.94/300.71 c bounds - >= 696 @ 299.494
299.94/300.71 c bounds - >= 697 @ 299.494
299.94/300.71 c bounds - >= 698 @ 299.495
299.94/300.71 c bounds - >= 699 @ 299.495
299.94/300.71 c bounds - >= 700 @ 299.495
299.94/300.71 c bounds - >= 701 @ 299.495
299.94/300.71 c bounds - >= 702 @ 299.495
299.94/300.71 c bounds - >= 703 @ 299.495
299.94/300.71 c bounds - >= 704 @ 299.495
299.94/300.71 c bounds - >= 705 @ 299.495
299.94/300.71 c bounds - >= 706 @ 299.495
299.94/300.71 c bounds - >= 707 @ 299.495
299.94/300.71 c bounds - >= 708 @ 299.495
299.94/300.71 c bounds - >= 709 @ 299.496
299.94/300.71 c bounds - >= 710 @ 299.496
299.94/300.71 c bounds - >= 711 @ 299.496
299.94/300.71 c bounds - >= 712 @ 299.496
299.94/300.71 c bounds - >= 713 @ 299.497
299.94/300.71 c bounds - >= 714 @ 299.497
299.94/300.71 c bounds - >= 715 @ 299.497
299.94/300.71 c bounds - >= 716 @ 299.497
299.94/300.71 c bounds - >= 717 @ 299.497
299.94/300.71 c bounds - >= 718 @ 299.497
299.94/300.71 c bounds - >= 719 @ 299.497
299.94/300.71 c bounds - >= 720 @ 299.497
299.94/300.71 c bounds - >= 721 @ 299.497
299.94/300.71 c bounds - >= 722 @ 299.497
299.94/300.71 c bounds - >= 723 @ 299.497
299.94/300.71 c bounds - >= 724 @ 299.497
299.94/300.71 c bounds - >= 725 @ 299.497
299.94/300.71 c bounds - >= 726 @ 299.497
299.94/300.71 c bounds - >= 727 @ 299.497
299.94/300.71 c bounds - >= 728 @ 299.498
299.94/300.71 c bounds - >= 729 @ 299.498
299.94/300.71 c bounds - >= 730 @ 299.498
299.94/300.71 c bounds - >= 731 @ 299.498
299.94/300.71 c bounds - >= 732 @ 299.498
299.94/300.71 c bounds - >= 733 @ 299.498
299.94/300.71 c bounds - >= 734 @ 299.498
299.94/300.71 c bounds - >= 735 @ 299.498
299.94/300.71 c bounds - >= 736 @ 299.498
299.94/300.71 c bounds - >= 737 @ 299.499
299.94/300.71 c bounds - >= 738 @ 299.499
299.94/300.71 c bounds - >= 739 @ 299.499
299.94/300.71 c bounds - >= 740 @ 299.499
299.94/300.71 c bounds - >= 741 @ 299.5
299.94/300.71 c bounds - >= 742 @ 299.5
299.94/300.71 c bounds - >= 743 @ 299.5
299.94/300.71 c bounds - >= 744 @ 299.5
299.94/300.71 c bounds - >= 745 @ 299.501
299.94/300.71 c bounds - >= 746 @ 299.501
299.94/300.71 c bounds - >= 747 @ 299.501
299.94/300.71 c bounds - >= 748 @ 299.501
299.94/300.71 c bounds - >= 749 @ 299.502
299.94/300.71 c bounds - >= 750 @ 299.502
299.94/300.71 c bounds - >= 751 @ 299.502
299.94/300.71 c bounds - >= 752 @ 299.502
299.94/300.71 c bounds - >= 753 @ 299.502
299.94/300.71 c bounds - >= 754 @ 299.502
299.94/300.71 c bounds - >= 755 @ 299.502
299.94/300.71 c bounds - >= 756 @ 299.503
299.94/300.71 c bounds - >= 757 @ 299.503
299.94/300.71 c bounds - >= 758 @ 299.503
299.94/300.71 c bounds - >= 759 @ 299.503
299.94/300.71 c bounds - >= 760 @ 299.504
299.94/300.71 c bounds - >= 761 @ 299.504
299.94/300.71 c bounds - >= 762 @ 299.504
299.94/300.71 c bounds - >= 763 @ 299.504
299.94/300.71 c bounds - >= 764 @ 299.505
299.94/300.71 c bounds - >= 765 @ 299.505
299.94/300.71 c bounds - >= 766 @ 299.505
299.94/300.71 c bounds - >= 767 @ 299.505
299.94/300.71 c bounds - >= 768 @ 299.505
299.94/300.71 c bounds - >= 769 @ 299.505
299.94/300.71 c bounds - >= 770 @ 299.505
299.94/300.71 c bounds - >= 771 @ 299.506
299.94/300.71 c bounds - >= 772 @ 299.506
299.94/300.71 c bounds - >= 773 @ 299.506
299.94/300.71 c bounds - >= 774 @ 299.506
299.94/300.71 c bounds - >= 775 @ 299.507
299.94/300.71 c bounds - >= 776 @ 299.507
299.94/300.71 c bounds - >= 777 @ 299.507
299.94/300.71 c bounds - >= 778 @ 299.507
299.94/300.71 c bounds - >= 779 @ 299.507
299.94/300.71 c bounds - >= 780 @ 299.507
299.94/300.71 c bounds - >= 781 @ 299.507
299.94/300.71 c bounds - >= 782 @ 299.508
299.94/300.71 c bounds - >= 783 @ 299.508
299.94/300.71 c bounds - >= 784 @ 299.508
299.94/300.71 c bounds - >= 785 @ 299.508
299.94/300.71 c bounds - >= 786 @ 299.508
299.94/300.71 c bounds - >= 787 @ 299.508
299.94/300.71 c bounds - >= 788 @ 299.508
299.94/300.71 c bounds - >= 789 @ 299.509
299.94/300.71 c bounds - >= 790 @ 299.509
299.94/300.71 c bounds - >= 791 @ 299.509
299.94/300.71 c bounds - >= 792 @ 299.51
299.94/300.71 c bounds - >= 793 @ 299.51
299.94/300.71 c bounds - >= 794 @ 299.51
299.94/300.71 c bounds - >= 795 @ 299.51
299.94/300.71 c bounds - >= 796 @ 299.51
299.94/300.71 c bounds - >= 797 @ 299.51
299.94/300.71 c bounds - >= 798 @ 299.51
299.94/300.71 c bounds - >= 799 @ 299.511
299.94/300.71 c bounds - >= 800 @ 299.511
299.94/300.71 c bounds - >= 801 @ 299.511
299.94/300.71 c bounds - >= 802 @ 299.511
299.94/300.71 c bounds - >= 803 @ 299.511
299.94/300.71 c bounds - >= 804 @ 299.511
299.94/300.71 c bounds - >= 805 @ 299.511
299.94/300.71 c bounds - >= 806 @ 299.512
299.94/300.71 c bounds - >= 807 @ 299.512
299.94/300.71 c bounds - >= 808 @ 299.512
299.94/300.71 c bounds - >= 809 @ 299.513
299.94/300.71 c bounds - >= 810 @ 299.513
299.94/300.71 c bounds - >= 811 @ 299.513
299.94/300.71 c bounds - >= 812 @ 299.514
299.94/300.71 c bounds - >= 813 @ 299.514
299.94/300.71 c bounds - >= 814 @ 299.514
299.94/300.71 c bounds - >= 815 @ 299.515
299.94/300.71 c bounds - >= 816 @ 299.515
299.94/300.71 c bounds - >= 817 @ 299.515
299.94/300.71 c bounds - >= 818 @ 299.515
299.94/300.71 c bounds - >= 819 @ 299.515
299.94/300.71 c bounds - >= 820 @ 299.515
299.94/300.71 c bounds - >= 821 @ 299.516
299.94/300.71 c bounds - >= 822 @ 299.516
299.94/300.71 c bounds - >= 823 @ 299.516
299.94/300.71 c bounds - >= 824 @ 299.516
299.94/300.71 c bounds - >= 825 @ 299.516
299.94/300.71 c bounds - >= 826 @ 299.516
299.94/300.71 c bounds - >= 827 @ 299.516
299.94/300.71 c bounds - >= 828 @ 299.516
299.94/300.71 c bounds - >= 829 @ 299.516
299.94/300.71 c bounds - >= 830 @ 299.516
299.94/300.71 c bounds - >= 831 @ 299.516
299.94/300.71 c bounds - >= 832 @ 299.516
299.94/300.71 c #Conflicts: 1000 | #Constraints: 5296
384.21/385.22 c #Conflicts: 2000 | #Constraints: 6296
384.21/385.22 c INPROCESSING
384.21/385.22 c GARBAGE COLLECT
384.21/385.22 c #Conflicts: 3000 | #Constraints: 6130
384.21/385.22 c #Conflicts: 4000 | #Constraints: 7130
384.21/385.22 c INPROCESSING
384.21/385.22 c GARBAGE COLLECT
384.21/385.22 c #Conflicts: 5000 | #Constraints: 6538
384.21/385.22 c #Conflicts: 6000 | #Constraints: 7538
384.21/385.22 c INPROCESSING
384.21/385.22 c GARBAGE COLLECT
384.21/385.22 c #Conflicts: 7000 | #Constraints: 6543
384.21/385.22 c #Conflicts: 8000 | #Constraints: 7543
384.21/385.22 c #Conflicts: 9000 | #Constraints: 8543
384.21/385.22 c INPROCESSING
384.21/385.22 c GARBAGE COLLECT
384.21/385.22 c #Conflicts: 10000 | #Constraints: 7237
384.21/385.22 c #Conflicts: 11000 | #Constraints: 8237
384.21/385.22 c #Conflicts: 12000 | #Constraints: 9237
384.21/385.22 c INPROCESSING
384.21/385.22 c GARBAGE COLLECT
384.21/385.22 c #Conflicts: 13000 | #Constraints: 7680
384.21/385.22 c #Conflicts: 14000 | #Constraints: 8680
384.21/385.22 c #Conflicts: 15000 | #Constraints: 9680
384.21/385.22 c INPROCESSING
384.21/385.22 c GARBAGE COLLECT
384.21/385.22 c #Conflicts: 16000 | #Constraints: 7904
384.21/385.22 c #Conflicts: 17000 | #Constraints: 8904
384.21/385.22 c #Conflicts: 18000 | #Constraints: 9904
384.21/385.22 c INPROCESSING
384.21/385.22 c GARBAGE COLLECT
384.21/385.22 c #Conflicts: 19000 | #Constraints: 7922
384.21/385.22 c #Conflicts: 20000 | #Constraints: 8922
384.21/385.22 c #Conflicts: 21000 | #Constraints: 9922
384.21/385.22 c INPROCESSING
384.21/385.22 c GARBAGE COLLECT
384.21/385.22 c #Conflicts: 22000 | #Constraints: 7723
384.21/385.22 c #Conflicts: 23000 | #Constraints: 8723
384.21/385.22 c #Conflicts: 24000 | #Constraints: 9723
384.21/385.22 c #Conflicts: 25000 | #Constraints: 10723
384.21/385.22 c INPROCESSING
384.21/385.22 c GARBAGE COLLECT
384.21/385.22 c #Conflicts: 26000 | #Constraints: 8321
384.21/385.22 c #Conflicts: 27000 | #Constraints: 9321
384.21/385.22 c #Conflicts: 28000 | #Constraints: 10321
384.21/385.22 c #Conflicts: 29000 | #Constraints: 11321
384.21/385.22 c INPROCESSING
384.21/385.22 c GARBAGE COLLECT
384.21/385.22 c #Conflicts: 30000 | #Constraints: 8712
384.21/385.22 c #Conflicts: 31000 | #Constraints: 9712
384.21/385.22 c #Conflicts: 32000 | #Constraints: 10712
384.21/385.22 c #Conflicts: 33000 | #Constraints: 11712
384.21/385.22 c INPROCESSING
384.21/385.22 c GARBAGE COLLECT
384.21/385.22 c #Conflicts: 34000 | #Constraints: 8920
384.21/385.22 c #Conflicts: 35000 | #Constraints: 9920
384.21/385.22 c #Conflicts: 36000 | #Constraints: 10920
384.21/385.22 c #Conflicts: 37000 | #Constraints: 11920
384.21/385.22 c INPROCESSING
384.21/385.22 c GARBAGE COLLECT
384.21/385.22 c #Conflicts: 38000 | #Constraints: 8919
384.21/385.22 c #Conflicts: 39000 | #Constraints: 9919
384.21/385.22 c #Conflicts: 40000 | #Constraints: 10919
384.21/385.22 c #Conflicts: 41000 | #Constraints: 11919
384.21/385.22 c INPROCESSING
384.21/385.22 c GARBAGE COLLECT
384.21/385.22 c #Conflicts: 42000 | #Constraints: 8715
384.21/385.22 c #Conflicts: 43000 | #Constraints: 9715
384.21/385.22 c #Conflicts: 44000 | #Constraints: 10715
384.21/385.22 c #Conflicts: 45000 | #Constraints: 11715
384.21/385.22 c #Conflicts: 46000 | #Constraints: 12715
384.21/385.22 c INPROCESSING
384.21/385.22 c GARBAGE COLLECT
384.21/385.22 c #Conflicts: 47000 | #Constraints: 9314
384.21/385.22 c #Conflicts: 48000 | #Constraints: 10314
384.21/385.22 c #Conflicts: 49000 | #Constraints: 11314
384.21/385.22 c #Conflicts: 50000 | #Constraints: 12314
384.21/385.22 c #Conflicts: 51000 | #Constraints: 13314
384.21/385.22 c INPROCESSING
384.21/385.22 c GARBAGE COLLECT
384.21/385.22 c #Conflicts: 52000 | #Constraints: 9717
384.21/385.22 c #Conflicts: 53000 | #Constraints: 10717
384.21/385.22 c #Conflicts: 54000 | #Constraints: 11717
384.21/385.22 c #Conflicts: 55000 | #Constraints: 12717
384.21/385.22 c #Conflicts: 56000 | #Constraints: 13717
384.21/385.22 c INPROCESSING
384.21/385.22 c GARBAGE COLLECT
384.21/385.22 c #Conflicts: 57000 | #Constraints: 9920
384.21/385.22 c #Conflicts: 58000 | #Constraints: 10920
384.21/385.22 c #Conflicts: 59000 | #Constraints: 11920
384.21/385.22 c #Conflicts: 60000 | #Constraints: 12920
384.21/385.22 c #Conflicts: 61000 | #Constraints: 13920
384.21/385.22 c INPROCESSING
384.21/385.22 c GARBAGE COLLECT
384.21/385.22 c #Conflicts: 62000 | #Constraints: 9915
384.21/385.22 c #Conflicts: 63000 | #Constraints: 10915
384.21/385.22 c #Conflicts: 64000 | #Constraints: 11915
384.21/385.22 c #Conflicts: 65000 | #Constraints: 12915
384.21/385.22 c #Conflicts: 66000 | #Constraints: 13915
384.21/385.22 c INPROCESSING
384.21/385.22 c GARBAGE COLLECT
384.21/385.22 c #Conflicts: 67000 | #Constraints: 9714
384.21/385.22 c #Conflicts: 68000 | #Constraints: 10714
384.21/385.22 c #Conflicts: 69000 | #Constraints: 11714
497.71/499.02 c #Conflicts: 70000 | #Constraints: 12714
497.71/499.02 c #Conflicts: 71000 | #Constraints: 13714
497.71/499.02 c #Conflicts: 72000 | #Constraints: 14714
497.71/499.02 c INPROCESSING
497.71/499.02 c GARBAGE COLLECT
497.71/499.02 c #Conflicts: 73000 | #Constraints: 10312
497.71/499.02 c #Conflicts: 74000 | #Constraints: 11312
497.71/499.02 c #Conflicts: 75000 | #Constraints: 12312
497.71/499.02 c #Conflicts: 76000 | #Constraints: 13312
497.71/499.02 c #Conflicts: 77000 | #Constraints: 14312
497.71/499.02 c #Conflicts: 78000 | #Constraints: 15312
497.71/499.02 c INPROCESSING
497.71/499.02 c GARBAGE COLLECT
497.71/499.02 c #Conflicts: 79000 | #Constraints: 10709
497.71/499.02 c #Conflicts: 80000 | #Constraints: 11709
497.71/499.02 c #Conflicts: 81000 | #Constraints: 12709
497.71/499.02 c #Conflicts: 82000 | #Constraints: 13709
497.71/499.02 c #Conflicts: 83000 | #Constraints: 14709
497.71/499.02 c #Conflicts: 84000 | #Constraints: 15709
497.71/499.02 c INPROCESSING
497.71/499.02 c GARBAGE COLLECT
497.71/499.02 c #Conflicts: 85000 | #Constraints: 10909
497.71/499.02 c #Conflicts: 86000 | #Constraints: 11909
497.71/499.02 c #Conflicts: 87000 | #Constraints: 12909
497.71/499.02 c #Conflicts: 88000 | #Constraints: 13909
497.71/499.02 c #Conflicts: 89000 | #Constraints: 14909
497.71/499.02 c #Conflicts: 90000 | #Constraints: 15909
497.71/499.02 c INPROCESSING
497.71/499.02 c GARBAGE COLLECT
497.71/499.02 c #Conflicts: 91000 | #Constraints: 10903
497.71/499.02 c #Conflicts: 92000 | #Constraints: 11903
497.71/499.02 c #Conflicts: 93000 | #Constraints: 12903
497.71/499.02 c #Conflicts: 94000 | #Constraints: 13903
497.71/499.02 c #Conflicts: 95000 | #Constraints: 14903
497.71/499.02 c #Conflicts: 96000 | #Constraints: 15903
497.71/499.02 c INPROCESSING
497.71/499.02 c GARBAGE COLLECT
497.71/499.02 c #Conflicts: 97000 | #Constraints: 10707
497.71/499.02 c #Conflicts: 98000 | #Constraints: 11707
497.71/499.02 c #Conflicts: 99000 | #Constraints: 12707
497.71/499.02 c #Conflicts: 100000 | #Constraints: 13707
497.71/499.02 c #Conflicts: 101000 | #Constraints: 14707
497.71/499.02 c #Conflicts: 102000 | #Constraints: 15707
497.71/499.02 c #Conflicts: 103000 | #Constraints: 16707
497.71/499.02 c INPROCESSING
497.71/499.02 c GARBAGE COLLECT
497.71/499.02 c #Conflicts: 104000 | #Constraints: 11300
497.71/499.02 c #Conflicts: 105000 | #Constraints: 12300
497.71/499.02 c #Conflicts: 106000 | #Constraints: 13300
497.71/499.02 c #Conflicts: 107000 | #Constraints: 14300
497.71/499.02 c #Conflicts: 108000 | #Constraints: 15300
497.71/499.02 c #Conflicts: 109000 | #Constraints: 16300
497.71/499.02 c #Conflicts: 110000 | #Constraints: 17300
497.71/499.02 c INPROCESSING
497.71/499.02 c GARBAGE COLLECT
497.71/499.02 c #Conflicts: 111000 | #Constraints: 11711
497.71/499.02 c #Conflicts: 112000 | #Constraints: 12711
497.71/499.02 c #Conflicts: 113000 | #Constraints: 13711
497.71/499.02 c #Conflicts: 114000 | #Constraints: 14711
497.71/499.02 c #Conflicts: 115000 | #Constraints: 15711
497.71/499.02 c #Conflicts: 116000 | #Constraints: 16711
497.71/499.02 c #Conflicts: 117000 | #Constraints: 17711
497.71/499.02 c INPROCESSING
497.71/499.02 c GARBAGE COLLECT
497.71/499.02 c #Conflicts: 118000 | #Constraints: 11909
497.71/499.02 c #Conflicts: 119000 | #Constraints: 12909
497.71/499.02 c #Conflicts: 120000 | #Constraints: 13909
497.71/499.02 c #Conflicts: 121000 | #Constraints: 14909
497.71/499.02 c #Conflicts: 122000 | #Constraints: 15909
497.71/499.02 c #Conflicts: 123000 | #Constraints: 16909
497.71/499.02 c #Conflicts: 124000 | #Constraints: 17909
497.71/499.02 c INPROCESSING
497.71/499.02 c GARBAGE COLLECT
497.71/499.02 c #Conflicts: 125000 | #Constraints: 11898
497.71/499.02 c #Conflicts: 126000 | #Constraints: 12898
497.71/499.02 c #Conflicts: 127000 | #Constraints: 13898
497.71/499.02 c #Conflicts: 128000 | #Constraints: 14898
497.71/499.02 c #Conflicts: 129000 | #Constraints: 15898
497.71/499.02 c #Conflicts: 130000 | #Constraints: 16898
497.71/499.02 c #Conflicts: 131000 | #Constraints: 17898
497.71/499.02 c INPROCESSING
497.71/499.02 c GARBAGE COLLECT
497.71/499.02 c #Conflicts: 132000 | #Constraints: 11698
497.71/499.02 c #Conflicts: 133000 | #Constraints: 12698
497.71/499.02 c #Conflicts: 134000 | #Constraints: 13698
497.71/499.02 c #Conflicts: 135000 | #Constraints: 14698
497.71/499.02 c #Conflicts: 136000 | #Constraints: 15698
497.71/499.02 c #Conflicts: 137000 | #Constraints: 16698
497.71/499.02 c #Conflicts: 138000 | #Constraints: 17698
497.71/499.02 c #Conflicts: 139000 | #Constraints: 18698
497.71/499.02 c INPROCESSING
497.71/499.02 c GARBAGE COLLECT
497.71/499.02 c #Conflicts: 140000 | #Constraints: 12307
497.71/499.02 c #Conflicts: 141000 | #Constraints: 13307
647.32/649.09 c #Conflicts: 142000 | #Constraints: 14307
647.32/649.09 c #Conflicts: 143000 | #Constraints: 15307
647.32/649.09 c #Conflicts: 144000 | #Constraints: 16307
647.32/649.09 c #Conflicts: 145000 | #Constraints: 17307
647.32/649.09 c #Conflicts: 146000 | #Constraints: 18307
647.32/649.09 c #Conflicts: 147000 | #Constraints: 19307
647.32/649.09 c INPROCESSING
647.32/649.09 c GARBAGE COLLECT
647.32/649.09 c #Conflicts: 148000 | #Constraints: 12710
647.32/649.09 c #Conflicts: 149000 | #Constraints: 13710
647.32/649.09 c #Conflicts: 150000 | #Constraints: 14710
647.32/649.09 c #Conflicts: 151000 | #Constraints: 15710
647.32/649.09 c #Conflicts: 152000 | #Constraints: 16710
647.32/649.09 c #Conflicts: 153000 | #Constraints: 17710
647.32/649.09 c #Conflicts: 154000 | #Constraints: 18710
647.32/649.09 c #Conflicts: 155000 | #Constraints: 19710
647.32/649.09 c INPROCESSING
647.32/649.09 c GARBAGE COLLECT
647.32/649.09 c #Conflicts: 156000 | #Constraints: 12911
647.32/649.09 c #Conflicts: 157000 | #Constraints: 13911
647.32/649.09 c #Conflicts: 158000 | #Constraints: 14911
647.32/649.09 c #Conflicts: 159000 | #Constraints: 15911
647.32/649.09 c #Conflicts: 160000 | #Constraints: 16911
647.32/649.09 c #Conflicts: 161000 | #Constraints: 17911
647.32/649.09 c #Conflicts: 162000 | #Constraints: 18911
647.32/649.09 c #Conflicts: 163000 | #Constraints: 19911
647.32/649.09 c INPROCESSING
647.32/649.09 c GARBAGE COLLECT
647.32/649.09 c #Conflicts: 164000 | #Constraints: 12911
647.32/649.09 c #Conflicts: 165000 | #Constraints: 13911
647.32/649.09 c #Conflicts: 166000 | #Constraints: 14911
647.32/649.09 c #Conflicts: 167000 | #Constraints: 15911
647.32/649.09 c #Conflicts: 168000 | #Constraints: 16911
647.32/649.09 c #Conflicts: 169000 | #Constraints: 17911
647.32/649.09 c #Conflicts: 170000 | #Constraints: 18911
647.32/649.09 c #Conflicts: 171000 | #Constraints: 19911
647.32/649.09 c INPROCESSING
647.32/649.09 c GARBAGE COLLECT
647.32/649.09 c #Conflicts: 172000 | #Constraints: 12708
647.32/649.09 c #Conflicts: 173000 | #Constraints: 13708
647.32/649.09 c #Conflicts: 174000 | #Constraints: 14708
647.32/649.09 c #Conflicts: 175000 | #Constraints: 15708
647.32/649.09 c #Conflicts: 176000 | #Constraints: 16708
647.32/649.09 c #Conflicts: 177000 | #Constraints: 17708
647.32/649.09 c #Conflicts: 178000 | #Constraints: 18708
647.32/649.09 c #Conflicts: 179000 | #Constraints: 19708
647.32/649.09 c #Conflicts: 180000 | #Constraints: 20708
647.32/649.09 c INPROCESSING
647.32/649.09 c GARBAGE COLLECT
647.32/649.09 c #Conflicts: 181000 | #Constraints: 13316
647.32/649.09 c #Conflicts: 182000 | #Constraints: 14316
647.32/649.09 c #Conflicts: 183000 | #Constraints: 15316
647.32/649.09 c #Conflicts: 184000 | #Constraints: 16316
647.32/649.09 c #Conflicts: 185000 | #Constraints: 17316
647.32/649.09 c #Conflicts: 186000 | #Constraints: 18316
647.32/649.09 c #Conflicts: 187000 | #Constraints: 19316
647.32/649.09 c #Conflicts: 188000 | #Constraints: 20316
647.32/649.09 c #Conflicts: 189000 | #Constraints: 21316
647.32/649.09 c INPROCESSING
647.32/649.09 c GARBAGE COLLECT
647.32/649.09 c #Conflicts: 190000 | #Constraints: 13709
647.32/649.09 c #Conflicts: 191000 | #Constraints: 14709
647.32/649.09 c #Conflicts: 192000 | #Constraints: 15709
647.32/649.09 c #Conflicts: 193000 | #Constraints: 16709
647.32/649.09 c #Conflicts: 194000 | #Constraints: 17709
647.32/649.09 c #Conflicts: 195000 | #Constraints: 18709
647.32/649.09 c #Conflicts: 196000 | #Constraints: 19709
647.32/649.09 c #Conflicts: 197000 | #Constraints: 20709
647.32/649.09 c #Conflicts: 198000 | #Constraints: 21709
647.32/649.09 c INPROCESSING
647.32/649.09 c GARBAGE COLLECT
647.32/649.09 c #Conflicts: 199000 | #Constraints: 13910
647.32/649.09 c #Conflicts: 200000 | #Constraints: 14910
647.32/649.09 c #Conflicts: 201000 | #Constraints: 15910
647.32/649.09 c #Conflicts: 202000 | #Constraints: 16910
647.32/649.09 c #Conflicts: 203000 | #Constraints: 17910
647.32/649.09 c #Conflicts: 204000 | #Constraints: 18910
647.32/649.09 c #Conflicts: 205000 | #Constraints: 19910
647.32/649.09 c #Conflicts: 206000 | #Constraints: 20910
647.32/649.09 c #Conflicts: 207000 | #Constraints: 21910
647.32/649.09 c INPROCESSING
647.32/649.09 c GARBAGE COLLECT
647.32/649.09 c #Conflicts: 208000 | #Constraints: 13908
647.32/649.09 c #Conflicts: 209000 | #Constraints: 14908
647.32/649.09 c #Conflicts: 210000 | #Constraints: 15908
647.32/649.09 c #Conflicts: 211000 | #Constraints: 16908
647.32/649.09 c #Conflicts: 212000 | #Constraints: 17908
647.32/649.09 c #Conflicts: 213000 | #Constraints: 18908
647.32/649.09 c #Conflicts: 214000 | #Constraints: 19908
834.41/836.67 c #Conflicts: 215000 | #Constraints: 20908
834.41/836.67 c #Conflicts: 216000 | #Constraints: 21908
834.41/836.67 c INPROCESSING
834.41/836.67 c GARBAGE COLLECT
834.41/836.67 c #Conflicts: 217000 | #Constraints: 13711
834.41/836.67 c #Conflicts: 218000 | #Constraints: 14711
834.41/836.67 c #Conflicts: 219000 | #Constraints: 15711
834.41/836.67 c #Conflicts: 220000 | #Constraints: 16711
834.41/836.67 c #Conflicts: 221000 | #Constraints: 17711
834.41/836.67 c #Conflicts: 222000 | #Constraints: 18711
834.41/836.67 c #Conflicts: 223000 | #Constraints: 19711
834.41/836.67 c #Conflicts: 224000 | #Constraints: 20711
834.41/836.67 c #Conflicts: 225000 | #Constraints: 21711
834.41/836.67 c #Conflicts: 226000 | #Constraints: 22711
834.41/836.67 c INPROCESSING
834.41/836.67 c GARBAGE COLLECT
834.41/836.67 c #Conflicts: 227000 | #Constraints: 14314
834.41/836.67 c #Conflicts: 228000 | #Constraints: 15314
834.41/836.67 c #Conflicts: 229000 | #Constraints: 16314
834.41/836.67 c #Conflicts: 230000 | #Constraints: 17314
834.41/836.67 c #Conflicts: 231000 | #Constraints: 18314
834.41/836.67 c #Conflicts: 232000 | #Constraints: 19314
834.41/836.67 c #Conflicts: 233000 | #Constraints: 20314
834.41/836.67 c #Conflicts: 234000 | #Constraints: 21314
834.41/836.67 c #Conflicts: 235000 | #Constraints: 22314
834.41/836.67 c #Conflicts: 236000 | #Constraints: 23314
834.41/836.67 c INPROCESSING
834.41/836.67 c GARBAGE COLLECT
834.41/836.67 c #Conflicts: 237000 | #Constraints: 14712
834.41/836.67 c #Conflicts: 238000 | #Constraints: 15712
834.41/836.67 c #Conflicts: 239000 | #Constraints: 16712
834.41/836.67 c #Conflicts: 240000 | #Constraints: 17712
834.41/836.67 c #Conflicts: 241000 | #Constraints: 18712
834.41/836.67 c #Conflicts: 242000 | #Constraints: 19712
834.41/836.67 c #Conflicts: 243000 | #Constraints: 20712
834.41/836.67 c #Conflicts: 244000 | #Constraints: 21712
834.41/836.67 c #Conflicts: 245000 | #Constraints: 22712
834.41/836.67 c #Conflicts: 246000 | #Constraints: 23712
834.41/836.67 c INPROCESSING
834.41/836.67 c GARBAGE COLLECT
834.41/836.67 c #Conflicts: 247000 | #Constraints: 14916
834.41/836.67 c #Conflicts: 248000 | #Constraints: 15916
834.41/836.67 c #Conflicts: 249000 | #Constraints: 16916
834.41/836.67 c #Conflicts: 250000 | #Constraints: 17916
834.41/836.67 c #Conflicts: 251000 | #Constraints: 18916
834.41/836.67 c #Conflicts: 252000 | #Constraints: 19916
834.41/836.67 c #Conflicts: 253000 | #Constraints: 20916
834.41/836.67 c #Conflicts: 254000 | #Constraints: 21916
834.41/836.67 c #Conflicts: 255000 | #Constraints: 22916
834.41/836.67 c #Conflicts: 256000 | #Constraints: 23916
834.41/836.67 c INPROCESSING
834.41/836.67 c GARBAGE COLLECT
834.41/836.67 c #Conflicts: 257000 | #Constraints: 14914
834.41/836.67 c #Conflicts: 258000 | #Constraints: 15914
834.41/836.67 c #Conflicts: 259000 | #Constraints: 16914
834.41/836.67 c #Conflicts: 260000 | #Constraints: 17914
834.41/836.67 c #Conflicts: 261000 | #Constraints: 18914
834.41/836.67 c #Conflicts: 262000 | #Constraints: 19914
834.41/836.67 c #Conflicts: 263000 | #Constraints: 20914
834.41/836.67 c #Conflicts: 264000 | #Constraints: 21914
834.41/836.67 c #Conflicts: 265000 | #Constraints: 22914
834.41/836.67 c #Conflicts: 266000 | #Constraints: 23914
834.41/836.67 c INPROCESSING
834.41/836.67 c GARBAGE COLLECT
834.41/836.67 c #Conflicts: 267000 | #Constraints: 14713
834.41/836.67 c #Conflicts: 268000 | #Constraints: 15713
834.41/836.67 c #Conflicts: 269000 | #Constraints: 16713
834.41/836.67 c #Conflicts: 270000 | #Constraints: 17713
834.41/836.67 c #Conflicts: 271000 | #Constraints: 18713
834.41/836.67 c #Conflicts: 272000 | #Constraints: 19713
834.41/836.67 c #Conflicts: 273000 | #Constraints: 20713
834.41/836.67 c #Conflicts: 274000 | #Constraints: 21713
834.41/836.67 c #Conflicts: 275000 | #Constraints: 22713
834.41/836.67 c #Conflicts: 276000 | #Constraints: 23713
834.41/836.67 c #Conflicts: 277000 | #Constraints: 24713
834.41/836.67 c INPROCESSING
834.41/836.67 c GARBAGE COLLECT
834.41/836.67 c #Conflicts: 278000 | #Constraints: 15312
834.41/836.67 c #Conflicts: 279000 | #Constraints: 16312
834.41/836.67 c #Conflicts: 280000 | #Constraints: 17312
834.41/836.67 c #Conflicts: 281000 | #Constraints: 18312
834.41/836.67 c #Conflicts: 282000 | #Constraints: 19312
834.41/836.67 c #Conflicts: 283000 | #Constraints: 20312
834.41/836.67 c #Conflicts: 284000 | #Constraints: 21312
834.41/836.67 c #Conflicts: 285000 | #Constraints: 22312
834.41/836.67 c #Conflicts: 286000 | #Constraints: 23312
834.41/836.67 c #Conflicts: 287000 | #Constraints: 24312
834.41/836.67 c #Conflicts: 288000 | #Constraints: 25312
834.41/836.67 c INPROCESSING
976.24/978.87 c GARBAGE COLLECT
976.24/978.87 c #Conflicts: 289000 | #Constraints: 15706
976.24/978.87 c #Conflicts: 290000 | #Constraints: 16706
976.24/978.87 c #Conflicts: 291000 | #Constraints: 17706
976.24/978.87 c #Conflicts: 292000 | #Constraints: 18706
976.24/978.87 c #Conflicts: 293000 | #Constraints: 19706
976.24/978.87 c #Conflicts: 294000 | #Constraints: 20706
976.24/978.87 c #Conflicts: 295000 | #Constraints: 21706
976.24/978.87 c #Conflicts: 296000 | #Constraints: 22706
976.24/978.87 c #Conflicts: 297000 | #Constraints: 23706
976.24/978.87 c #Conflicts: 298000 | #Constraints: 24706
976.24/978.87 c #Conflicts: 299000 | #Constraints: 25706
976.24/978.87 c INPROCESSING
976.24/978.87 c GARBAGE COLLECT
976.24/978.87 c #Conflicts: 300000 | #Constraints: 15904
976.24/978.87 c #Conflicts: 301000 | #Constraints: 16904
976.24/978.87 c #Conflicts: 302000 | #Constraints: 17904
976.24/978.87 c #Conflicts: 303000 | #Constraints: 18904
976.24/978.87 c #Conflicts: 304000 | #Constraints: 19904
976.24/978.87 c #Conflicts: 305000 | #Constraints: 20904
976.24/978.87 c #Conflicts: 306000 | #Constraints: 21904
976.24/978.87 c #Conflicts: 307000 | #Constraints: 22904
976.24/978.87 c #Conflicts: 308000 | #Constraints: 23904
976.24/978.87 c #Conflicts: 309000 | #Constraints: 24904
976.24/978.87 c #Conflicts: 310000 | #Constraints: 25904
976.24/978.87 c INPROCESSING
976.24/978.87 c GARBAGE COLLECT
976.24/978.87 c #Conflicts: 311000 | #Constraints: 15908
976.24/978.87 c #Conflicts: 312000 | #Constraints: 16908
976.24/978.87 c #Conflicts: 313000 | #Constraints: 17908
976.24/978.87 c #Conflicts: 314000 | #Constraints: 18908
976.24/978.87 c #Conflicts: 315000 | #Constraints: 19908
976.24/978.87 c #Conflicts: 316000 | #Constraints: 20908
976.24/978.87 c #Conflicts: 317000 | #Constraints: 21908
976.24/978.87 c #Conflicts: 318000 | #Constraints: 22908
976.24/978.87 c #Conflicts: 319000 | #Constraints: 23908
976.24/978.87 c #Conflicts: 320000 | #Constraints: 24908
976.24/978.87 c #Conflicts: 321000 | #Constraints: 25908
976.24/978.87 c INPROCESSING
976.24/978.87 c GARBAGE COLLECT
976.24/978.87 c #Conflicts: 322000 | #Constraints: 15704
976.24/978.87 c #Conflicts: 323000 | #Constraints: 16704
976.24/978.87 c #Conflicts: 324000 | #Constraints: 17704
976.24/978.87 c #Conflicts: 325000 | #Constraints: 18704
976.24/978.87 c #Conflicts: 326000 | #Constraints: 19704
976.24/978.87 c #Conflicts: 327000 | #Constraints: 20704
976.24/978.87 c #Conflicts: 328000 | #Constraints: 21704
976.24/978.87 c #Conflicts: 329000 | #Constraints: 22704
976.24/978.87 c #Conflicts: 330000 | #Constraints: 23704
976.24/978.87 c #Conflicts: 331000 | #Constraints: 24704
976.24/978.87 c #Conflicts: 332000 | #Constraints: 25704
976.24/978.87 c #Conflicts: 333000 | #Constraints: 26704
976.24/978.87 c INPROCESSING
976.24/978.87 c GARBAGE COLLECT
976.24/978.87 c #Conflicts: 334000 | #Constraints: 16310
976.24/978.87 c #Conflicts: 335000 | #Constraints: 17310
976.24/978.87 c #Conflicts: 336000 | #Constraints: 18310
976.24/978.87 c #Conflicts: 337000 | #Constraints: 19310
976.24/978.87 c #Conflicts: 338000 | #Constraints: 20310
976.24/978.87 c #Conflicts: 339000 | #Constraints: 21310
976.24/978.87 c #Conflicts: 340000 | #Constraints: 22310
976.24/978.87 c #Conflicts: 341000 | #Constraints: 23310
976.24/978.87 c #Conflicts: 342000 | #Constraints: 24310
976.24/978.87 c #Conflicts: 343000 | #Constraints: 25310
976.24/978.87 c #Conflicts: 344000 | #Constraints: 26310
976.24/978.87 c #Conflicts: 345000 | #Constraints: 27310
976.24/978.87 c INPROCESSING
976.24/978.87 c GARBAGE COLLECT
976.24/978.87 c #Conflicts: 346000 | #Constraints: 16693
976.24/978.87 c #Conflicts: 347000 | #Constraints: 17693
976.24/978.87 c #Conflicts: 348000 | #Constraints: 18693
976.24/978.87 c #Conflicts: 349000 | #Constraints: 19693
976.24/978.87 c #Conflicts: 350000 | #Constraints: 20693
976.24/978.87 c #Conflicts: 351000 | #Constraints: 21693
976.24/978.87 c #Conflicts: 352000 | #Constraints: 22693
976.24/978.87 c #Conflicts: 353000 | #Constraints: 23693
976.24/978.87 c #Conflicts: 354000 | #Constraints: 24693
976.24/978.87 c #Conflicts: 355000 | #Constraints: 25693
976.24/978.87 c #Conflicts: 356000 | #Constraints: 26693
976.24/978.87 c #Conflicts: 357000 | #Constraints: 27693
976.24/978.87 c INPROCESSING
976.24/978.87 c GARBAGE COLLECT
976.24/978.87 c #Conflicts: 358000 | #Constraints: 16890
976.24/978.87 c #Conflicts: 359000 | #Constraints: 17890
976.24/978.87 c #Conflicts: 360000 | #Constraints: 18890
976.24/978.87 c #Conflicts: 361000 | #Constraints: 19890
976.24/978.87 c #Conflicts: 362000 | #Constraints: 20890
976.24/978.87 c #Conflicts: 363000 | #Constraints: 21890
1219.61/1222.80 c #Conflicts: 364000 | #Constraints: 22890
1219.61/1222.80 c #Conflicts: 365000 | #Constraints: 23890
1219.61/1222.80 c #Conflicts: 366000 | #Constraints: 24890
1219.61/1222.80 c #Conflicts: 367000 | #Constraints: 25890
1219.61/1222.80 c #Conflicts: 368000 | #Constraints: 26890
1219.61/1222.80 c #Conflicts: 369000 | #Constraints: 27890
1219.61/1222.80 c INPROCESSING
1219.61/1222.80 c GARBAGE COLLECT
1219.61/1222.80 c #Conflicts: 370000 | #Constraints: 16897
1219.61/1222.80 c #Conflicts: 371000 | #Constraints: 17897
1219.61/1222.80 c #Conflicts: 372000 | #Constraints: 18897
1219.61/1222.80 c #Conflicts: 373000 | #Constraints: 19897
1219.61/1222.80 c #Conflicts: 374000 | #Constraints: 20897
1219.61/1222.80 c #Conflicts: 375000 | #Constraints: 21897
1219.61/1222.80 c #Conflicts: 376000 | #Constraints: 22897
1219.61/1222.80 c #Conflicts: 377000 | #Constraints: 23897
1219.61/1222.80 c #Conflicts: 378000 | #Constraints: 24897
1219.61/1222.80 c #Conflicts: 379000 | #Constraints: 25897
1219.61/1222.80 c #Conflicts: 380000 | #Constraints: 26897
1219.61/1222.80 c #Conflicts: 381000 | #Constraints: 27897
1219.61/1222.80 c INPROCESSING
1219.61/1222.80 c GARBAGE COLLECT
1219.61/1222.80 c #Conflicts: 382000 | #Constraints: 16693
1219.61/1222.80 c #Conflicts: 383000 | #Constraints: 17693
1219.61/1222.80 c #Conflicts: 384000 | #Constraints: 18693
1219.61/1222.80 c #Conflicts: 385000 | #Constraints: 19693
1219.61/1222.80 c #Conflicts: 386000 | #Constraints: 20693
1219.61/1222.80 c #Conflicts: 387000 | #Constraints: 21693
1219.61/1222.80 c #Conflicts: 388000 | #Constraints: 22693
1219.61/1222.80 c #Conflicts: 389000 | #Constraints: 23693
1219.61/1222.80 c #Conflicts: 390000 | #Constraints: 24693
1219.61/1222.80 c #Conflicts: 391000 | #Constraints: 25693
1219.61/1222.80 c #Conflicts: 392000 | #Constraints: 26693
1219.61/1222.80 c #Conflicts: 393000 | #Constraints: 27693
1219.61/1222.80 c #Conflicts: 394000 | #Constraints: 28693
1219.61/1222.80 c INPROCESSING
1219.61/1222.80 c GARBAGE COLLECT
1219.61/1222.80 c #Conflicts: 395000 | #Constraints: 17298
1219.61/1222.80 c #Conflicts: 396000 | #Constraints: 18298
1219.61/1222.80 c #Conflicts: 397000 | #Constraints: 19298
1219.61/1222.80 c #Conflicts: 398000 | #Constraints: 20298
1219.61/1222.80 c #Conflicts: 399000 | #Constraints: 21298
1219.61/1222.80 c #Conflicts: 400000 | #Constraints: 22298
1219.61/1222.80 c #Conflicts: 401000 | #Constraints: 23298
1219.61/1222.80 c #Conflicts: 402000 | #Constraints: 24298
1219.61/1222.80 c #Conflicts: 403000 | #Constraints: 25298
1219.61/1222.80 c #Conflicts: 404000 | #Constraints: 26298
1219.61/1222.80 c #Conflicts: 405000 | #Constraints: 27298
1219.61/1222.80 c #Conflicts: 406000 | #Constraints: 28298
1219.61/1222.80 c #Conflicts: 407000 | #Constraints: 29298
1219.61/1222.80 c INPROCESSING
1219.61/1222.80 c GARBAGE COLLECT
1219.61/1222.80 c #Conflicts: 408000 | #Constraints: 17700
1219.61/1222.80 c #Conflicts: 409000 | #Constraints: 18700
1219.61/1222.80 c #Conflicts: 410000 | #Constraints: 19700
1219.61/1222.80 c #Conflicts: 411000 | #Constraints: 20700
1219.61/1222.80 c #Conflicts: 412000 | #Constraints: 21700
1219.61/1222.80 c #Conflicts: 413000 | #Constraints: 22700
1219.61/1222.80 c #Conflicts: 414000 | #Constraints: 23700
1219.61/1222.80 c #Conflicts: 415000 | #Constraints: 24700
1219.61/1222.80 c #Conflicts: 416000 | #Constraints: 25700
1219.61/1222.80 c #Conflicts: 417000 | #Constraints: 26700
1219.61/1222.80 c #Conflicts: 418000 | #Constraints: 27700
1219.61/1222.80 c #Conflicts: 419000 | #Constraints: 28700
1219.61/1222.80 c #Conflicts: 420000 | #Constraints: 29700
1219.61/1222.80 c INPROCESSING
1219.61/1222.80 c GARBAGE COLLECT
1219.61/1222.80 c #Conflicts: 421000 | #Constraints: 17908
1219.61/1222.80 c #Conflicts: 422000 | #Constraints: 18908
1219.61/1222.80 c #Conflicts: 423000 | #Constraints: 19908
1219.61/1222.80 c #Conflicts: 424000 | #Constraints: 20908
1219.61/1222.80 c #Conflicts: 425000 | #Constraints: 21908
1219.61/1222.80 c #Conflicts: 426000 | #Constraints: 22908
1219.61/1222.80 c #Conflicts: 427000 | #Constraints: 23908
1219.61/1222.80 c #Conflicts: 428000 | #Constraints: 24908
1219.61/1222.80 c #Conflicts: 429000 | #Constraints: 25908
1219.61/1222.80 c #Conflicts: 430000 | #Constraints: 26908
1219.61/1222.80 c #Conflicts: 431000 | #Constraints: 27908
1219.61/1222.80 c #Conflicts: 432000 | #Constraints: 28908
1219.61/1222.80 c #Conflicts: 433000 | #Constraints: 29908
1219.61/1222.80 c INPROCESSING
1219.61/1222.80 c GARBAGE COLLECT
1219.61/1222.80 c #Conflicts: 434000 | #Constraints: 17910
1219.61/1222.80 c #Conflicts: 435000 | #Constraints: 18910
1219.61/1222.80 c #Conflicts: 436000 | #Constraints: 19910
1219.61/1222.80 c #Conflicts: 437000 | #Constraints: 20910
1219.61/1222.80 c #Conflicts: 438000 | #Constraints: 21910
1507.73/1511.74 c #Conflicts: 439000 | #Constraints: 22910
1507.73/1511.74 c #Conflicts: 440000 | #Constraints: 23910
1507.73/1511.74 c #Conflicts: 441000 | #Constraints: 24910
1507.73/1511.74 c #Conflicts: 442000 | #Constraints: 25910
1507.73/1511.74 c #Conflicts: 443000 | #Constraints: 26910
1507.73/1511.74 c #Conflicts: 444000 | #Constraints: 27910
1507.73/1511.74 c #Conflicts: 445000 | #Constraints: 28910
1507.73/1511.74 c #Conflicts: 446000 | #Constraints: 29910
1507.73/1511.74 c INPROCESSING
1507.73/1511.74 c GARBAGE COLLECT
1507.73/1511.74 c #Conflicts: 447000 | #Constraints: 17709
1507.73/1511.74 c #Conflicts: 448000 | #Constraints: 18709
1507.73/1511.74 c #Conflicts: 449000 | #Constraints: 19709
1507.73/1511.74 c #Conflicts: 450000 | #Constraints: 20709
1507.73/1511.74 c #Conflicts: 451000 | #Constraints: 21709
1507.73/1511.74 c #Conflicts: 452000 | #Constraints: 22709
1507.73/1511.74 c #Conflicts: 453000 | #Constraints: 23709
1507.73/1511.74 c #Conflicts: 454000 | #Constraints: 24709
1507.73/1511.74 c #Conflicts: 455000 | #Constraints: 25709
1507.73/1511.74 c #Conflicts: 456000 | #Constraints: 26709
1507.73/1511.74 c #Conflicts: 457000 | #Constraints: 27709
1507.73/1511.74 c #Conflicts: 458000 | #Constraints: 28709
1507.73/1511.74 c #Conflicts: 459000 | #Constraints: 29709
1507.73/1511.74 c #Conflicts: 460000 | #Constraints: 30709
1507.73/1511.74 c INPROCESSING
1507.73/1511.74 c GARBAGE COLLECT
1507.73/1511.74 c #Conflicts: 461000 | #Constraints: 18304
1507.73/1511.74 c #Conflicts: 462000 | #Constraints: 19304
1507.73/1511.74 c #Conflicts: 463000 | #Constraints: 20304
1507.73/1511.74 c #Conflicts: 464000 | #Constraints: 21304
1507.73/1511.74 c #Conflicts: 465000 | #Constraints: 22304
1507.73/1511.74 c #Conflicts: 466000 | #Constraints: 23304
1507.73/1511.74 c #Conflicts: 467000 | #Constraints: 24304
1507.73/1511.74 c #Conflicts: 468000 | #Constraints: 25304
1507.73/1511.74 c #Conflicts: 469000 | #Constraints: 26304
1507.73/1511.74 c #Conflicts: 470000 | #Constraints: 27304
1507.73/1511.74 c #Conflicts: 471000 | #Constraints: 28304
1507.73/1511.74 c #Conflicts: 472000 | #Constraints: 29304
1507.73/1511.74 c #Conflicts: 473000 | #Constraints: 30304
1507.73/1511.74 c #Conflicts: 474000 | #Constraints: 31304
1507.73/1511.74 c INPROCESSING
1507.73/1511.74 c GARBAGE COLLECT
1507.73/1511.74 c #Conflicts: 475000 | #Constraints: 18696
1507.73/1511.74 c #Conflicts: 476000 | #Constraints: 19696
1507.73/1511.74 c #Conflicts: 477000 | #Constraints: 20696
1507.73/1511.74 c #Conflicts: 478000 | #Constraints: 21696
1507.73/1511.74 c #Conflicts: 479000 | #Constraints: 22696
1507.73/1511.74 c #Conflicts: 480000 | #Constraints: 23696
1507.73/1511.74 c #Conflicts: 481000 | #Constraints: 24696
1507.73/1511.74 c #Conflicts: 482000 | #Constraints: 25696
1507.73/1511.74 c #Conflicts: 483000 | #Constraints: 26696
1507.73/1511.74 c #Conflicts: 484000 | #Constraints: 27696
1507.73/1511.74 c #Conflicts: 485000 | #Constraints: 28696
1507.73/1511.74 c #Conflicts: 486000 | #Constraints: 29696
1507.73/1511.74 c #Conflicts: 487000 | #Constraints: 30696
1507.73/1511.74 c #Conflicts: 488000 | #Constraints: 31696
1507.73/1511.74 c INPROCESSING
1507.73/1511.74 c GARBAGE COLLECT
1507.73/1511.74 c #Conflicts: 489000 | #Constraints: 18896
1507.73/1511.74 c #Conflicts: 490000 | #Constraints: 19896
1507.73/1511.74 c #Conflicts: 491000 | #Constraints: 20896
1507.73/1511.74 c #Conflicts: 492000 | #Constraints: 21896
1507.73/1511.74 c #Conflicts: 493000 | #Constraints: 22896
1507.73/1511.74 c #Conflicts: 494000 | #Constraints: 23896
1507.73/1511.74 c #Conflicts: 495000 | #Constraints: 24896
1507.73/1511.74 c #Conflicts: 496000 | #Constraints: 25896
1507.73/1511.74 c #Conflicts: 497000 | #Constraints: 26896
1507.73/1511.74 c #Conflicts: 498000 | #Constraints: 27896
1507.73/1511.74 c #Conflicts: 499000 | #Constraints: 28896
1507.73/1511.74 c #Conflicts: 500000 | #Constraints: 29896
1507.73/1511.74 c #Conflicts: 501000 | #Constraints: 30896
1507.73/1511.74 c #Conflicts: 502000 | #Constraints: 31896
1507.73/1511.74 c INPROCESSING
1507.73/1511.74 c GARBAGE COLLECT
1507.73/1511.74 c #Conflicts: 503000 | #Constraints: 18902
1507.73/1511.74 c #Conflicts: 504000 | #Constraints: 19902
1507.73/1511.74 c #Conflicts: 505000 | #Constraints: 20902
1507.73/1511.74 c #Conflicts: 506000 | #Constraints: 21902
1507.73/1511.74 c #Conflicts: 507000 | #Constraints: 22902
1507.73/1511.74 c #Conflicts: 508000 | #Constraints: 23902
1507.73/1511.74 c #Conflicts: 509000 | #Constraints: 24902
1507.73/1511.74 c #Conflicts: 510000 | #Constraints: 25902
1507.73/1511.74 c #Conflicts: 511000 | #Constraints: 26902
1507.73/1511.74 c #Conflicts: 512000 | #Constraints: 27902
1507.73/1511.74 c #Conflicts: 513000 | #Constraints: 28902
1507.73/1511.74 c #Conflicts: 514000 | #Constraints: 29902
1722.19/1726.74 c #Conflicts: 515000 | #Constraints: 30902
1722.19/1726.74 c #Conflicts: 516000 | #Constraints: 31902
1722.19/1726.74 c INPROCESSING
1722.19/1726.74 c GARBAGE COLLECT
1722.19/1726.74 c #Conflicts: 517000 | #Constraints: 18689
1722.19/1726.74 c #Conflicts: 518000 | #Constraints: 19689
1722.19/1726.74 c #Conflicts: 519000 | #Constraints: 20689
1722.19/1726.74 c #Conflicts: 520000 | #Constraints: 21689
1722.19/1726.74 c #Conflicts: 521000 | #Constraints: 22689
1722.19/1726.74 c #Conflicts: 522000 | #Constraints: 23689
1722.19/1726.74 c #Conflicts: 523000 | #Constraints: 24689
1722.19/1726.74 c #Conflicts: 524000 | #Constraints: 25689
1722.19/1726.74 c #Conflicts: 525000 | #Constraints: 26689
1722.19/1726.74 c #Conflicts: 526000 | #Constraints: 27689
1722.19/1726.74 c #Conflicts: 527000 | #Constraints: 28689
1722.19/1726.74 c #Conflicts: 528000 | #Constraints: 29689
1722.19/1726.74 c #Conflicts: 529000 | #Constraints: 30689
1722.19/1726.74 c #Conflicts: 530000 | #Constraints: 31689
1722.19/1726.74 c #Conflicts: 531000 | #Constraints: 32689
1722.19/1726.74 c INPROCESSING
1722.19/1726.74 c GARBAGE COLLECT
1722.19/1726.74 c #Conflicts: 532000 | #Constraints: 19298
1722.19/1726.74 c #Conflicts: 533000 | #Constraints: 20298
1722.19/1726.74 c #Conflicts: 534000 | #Constraints: 21298
1722.19/1726.74 c #Conflicts: 535000 | #Constraints: 22298
1722.19/1726.74 c #Conflicts: 536000 | #Constraints: 23298
1722.19/1726.74 c #Conflicts: 537000 | #Constraints: 24298
1722.19/1726.74 c #Conflicts: 538000 | #Constraints: 25298
1722.19/1726.74 c #Conflicts: 539000 | #Constraints: 26298
1722.19/1726.74 c #Conflicts: 540000 | #Constraints: 27298
1722.19/1726.74 c #Conflicts: 541000 | #Constraints: 28298
1722.19/1726.74 c #Conflicts: 542000 | #Constraints: 29298
1722.19/1726.74 c #Conflicts: 543000 | #Constraints: 30298
1722.19/1726.74 c #Conflicts: 544000 | #Constraints: 31298
1722.19/1726.74 c #Conflicts: 545000 | #Constraints: 32298
1722.19/1726.74 c #Conflicts: 546000 | #Constraints: 33298
1722.19/1726.74 c INPROCESSING
1722.19/1726.74 c GARBAGE COLLECT
1722.19/1726.74 c #Conflicts: 547000 | #Constraints: 19702
1722.19/1726.74 c #Conflicts: 548000 | #Constraints: 20702
1722.19/1726.74 c #Conflicts: 549000 | #Constraints: 21702
1722.19/1726.74 c #Conflicts: 550000 | #Constraints: 22702
1722.19/1726.74 c #Conflicts: 551000 | #Constraints: 23702
1722.19/1726.74 c #Conflicts: 552000 | #Constraints: 24702
1722.19/1726.74 c #Conflicts: 553000 | #Constraints: 25702
1722.19/1726.74 c #Conflicts: 554000 | #Constraints: 26702
1722.19/1726.74 c #Conflicts: 555000 | #Constraints: 27702
1722.19/1726.74 c #Conflicts: 556000 | #Constraints: 28702
1722.19/1726.74 c #Conflicts: 557000 | #Constraints: 29702
1722.19/1726.74 c #Conflicts: 558000 | #Constraints: 30702
1722.19/1726.74 c #Conflicts: 559000 | #Constraints: 31702
1722.19/1726.74 c #Conflicts: 560000 | #Constraints: 32702
1722.19/1726.74 c #Conflicts: 561000 | #Constraints: 33702
1722.19/1726.74 c INPROCESSING
1722.19/1726.74 c GARBAGE COLLECT
1722.19/1726.74 c #Conflicts: 562000 | #Constraints: 19905
1722.19/1726.74 c #Conflicts: 563000 | #Constraints: 20905
1722.19/1726.74 c #Conflicts: 564000 | #Constraints: 21905
1722.19/1726.74 c #Conflicts: 565000 | #Constraints: 22905
1722.19/1726.74 c #Conflicts: 566000 | #Constraints: 23905
1722.19/1726.74 c #Conflicts: 567000 | #Constraints: 24905
1722.19/1726.74 c #Conflicts: 568000 | #Constraints: 25905
1722.19/1726.74 c #Conflicts: 569000 | #Constraints: 26905
1722.19/1726.74 c #Conflicts: 570000 | #Constraints: 27905
1722.19/1726.74 c #Conflicts: 571000 | #Constraints: 28905
1722.19/1726.74 c #Conflicts: 572000 | #Constraints: 29905
1722.19/1726.74 c #Conflicts: 573000 | #Constraints: 30905
1722.19/1726.74 c #Conflicts: 574000 | #Constraints: 31905
1722.19/1726.74 c #Conflicts: 575000 | #Constraints: 32905
1722.19/1726.74 c #Conflicts: 576000 | #Constraints: 33905
1722.19/1726.74 c INPROCESSING
1722.19/1726.74 c GARBAGE COLLECT
1722.19/1726.74 c #Conflicts: 577000 | #Constraints: 19912
1722.19/1726.74 c #Conflicts: 578000 | #Constraints: 20912
1722.19/1726.74 c #Conflicts: 579000 | #Constraints: 21912
1722.19/1726.74 c #Conflicts: 580000 | #Constraints: 22912
1722.19/1726.74 c #Conflicts: 581000 | #Constraints: 23912
1722.19/1726.74 c #Conflicts: 582000 | #Constraints: 24912
1722.19/1726.74 c #Conflicts: 583000 | #Constraints: 25912
1722.19/1726.74 c #Conflicts: 584000 | #Constraints: 26912
1722.19/1726.74 c #Conflicts: 585000 | #Constraints: 27912
1722.19/1726.74 c #Conflicts: 586000 | #Constraints: 28912
1722.19/1726.74 c #Conflicts: 587000 | #Constraints: 29912
1722.19/1726.74 c #Conflicts: 588000 | #Constraints: 30912
1722.19/1726.74 c #Conflicts: 589000 | #Constraints: 31912
1957.90/1963.01 c #Conflicts: 590000 | #Constraints: 32912
1957.90/1963.01 c #Conflicts: 591000 | #Constraints: 33912
1957.90/1963.01 c INPROCESSING
1957.90/1963.01 c GARBAGE COLLECT
1957.90/1963.01 c #Conflicts: 592000 | #Constraints: 19708
1957.90/1963.01 c #Conflicts: 593000 | #Constraints: 20708
1957.90/1963.01 c #Conflicts: 594000 | #Constraints: 21708
1957.90/1963.01 c #Conflicts: 595000 | #Constraints: 22708
1957.90/1963.01 c #Conflicts: 596000 | #Constraints: 23708
1957.90/1963.01 c #Conflicts: 597000 | #Constraints: 24708
1957.90/1963.01 c #Conflicts: 598000 | #Constraints: 25708
1957.90/1963.01 c #Conflicts: 599000 | #Constraints: 26708
1957.90/1963.01 c #Conflicts: 600000 | #Constraints: 27708
1957.90/1963.01 c #Conflicts: 601000 | #Constraints: 28708
1957.90/1963.01 c #Conflicts: 602000 | #Constraints: 29708
1957.90/1963.01 c #Conflicts: 603000 | #Constraints: 30708
1957.90/1963.01 c #Conflicts: 604000 | #Constraints: 31708
1957.90/1963.01 c #Conflicts: 605000 | #Constraints: 32708
1957.90/1963.01 c #Conflicts: 606000 | #Constraints: 33708
1957.90/1963.01 c #Conflicts: 607000 | #Constraints: 34708
1957.90/1963.01 c INPROCESSING
1957.90/1963.01 c GARBAGE COLLECT
1957.90/1963.01 c #Conflicts: 608000 | #Constraints: 20307
1957.90/1963.01 c #Conflicts: 609000 | #Constraints: 21307
1957.90/1963.01 c #Conflicts: 610000 | #Constraints: 22307
1957.90/1963.01 c #Conflicts: 611000 | #Constraints: 23307
1957.90/1963.01 c #Conflicts: 612000 | #Constraints: 24307
1957.90/1963.01 c #Conflicts: 613000 | #Constraints: 25307
1957.90/1963.01 c #Conflicts: 614000 | #Constraints: 26307
1957.90/1963.01 c #Conflicts: 615000 | #Constraints: 27307
1957.90/1963.01 c #Conflicts: 616000 | #Constraints: 28307
1957.90/1963.01 c #Conflicts: 617000 | #Constraints: 29307
1957.90/1963.01 c #Conflicts: 618000 | #Constraints: 30307
1957.90/1963.01 c #Conflicts: 619000 | #Constraints: 31307
1957.90/1963.01 c #Conflicts: 620000 | #Constraints: 32307
1957.90/1963.01 c #Conflicts: 621000 | #Constraints: 33307
1957.90/1963.01 c #Conflicts: 622000 | #Constraints: 34307
1957.90/1963.01 c #Conflicts: 623000 | #Constraints: 35307
1957.90/1963.01 c INPROCESSING
1957.90/1963.01 c GARBAGE COLLECT
1957.90/1963.01 c #Conflicts: 624000 | #Constraints: 20703
1957.90/1963.01 c #Conflicts: 625000 | #Constraints: 21703
1957.90/1963.01 c #Conflicts: 626000 | #Constraints: 22703
1957.90/1963.01 c #Conflicts: 627000 | #Constraints: 23703
1957.90/1963.01 c #Conflicts: 628000 | #Constraints: 24703
1957.90/1963.01 c #Conflicts: 629000 | #Constraints: 25703
1957.90/1963.01 c #Conflicts: 630000 | #Constraints: 26703
1957.90/1963.01 c #Conflicts: 631000 | #Constraints: 27703
1957.90/1963.01 c #Conflicts: 632000 | #Constraints: 28703
1957.90/1963.01 c #Conflicts: 633000 | #Constraints: 29703
1957.90/1963.01 c #Conflicts: 634000 | #Constraints: 30703
1957.90/1963.01 c #Conflicts: 635000 | #Constraints: 31703
1957.90/1963.01 c #Conflicts: 636000 | #Constraints: 32703
1957.90/1963.01 c #Conflicts: 637000 | #Constraints: 33703
1957.90/1963.01 c #Conflicts: 638000 | #Constraints: 34703
1957.90/1963.01 c #Conflicts: 639000 | #Constraints: 35703
1957.90/1963.01 c INPROCESSING
1957.90/1963.01 c GARBAGE COLLECT
1957.90/1963.01 c #Conflicts: 640000 | #Constraints: 20899
1957.90/1963.01 c #Conflicts: 641000 | #Constraints: 21899
1957.90/1963.01 c #Conflicts: 642000 | #Constraints: 22899
1957.90/1963.01 c #Conflicts: 643000 | #Constraints: 23899
1957.90/1963.01 c #Conflicts: 644000 | #Constraints: 24899
1957.90/1963.01 c #Conflicts: 645000 | #Constraints: 25899
1957.90/1963.01 c #Conflicts: 646000 | #Constraints: 26899
1957.90/1963.01 c #Conflicts: 647000 | #Constraints: 27899
1957.90/1963.01 c #Conflicts: 648000 | #Constraints: 28899
1957.90/1963.01 c #Conflicts: 649000 | #Constraints: 29899
1957.90/1963.01 c #Conflicts: 650000 | #Constraints: 30899
1957.90/1963.01 c #Conflicts: 651000 | #Constraints: 31899
1957.90/1963.01 c #Conflicts: 652000 | #Constraints: 32899
1957.90/1963.01 c #Conflicts: 653000 | #Constraints: 33899
1957.90/1963.01 c #Conflicts: 654000 | #Constraints: 34899
1957.90/1963.01 c #Conflicts: 655000 | #Constraints: 35899
1957.90/1963.01 c INPROCESSING
1957.90/1963.01 c GARBAGE COLLECT
1957.90/1963.01 c #Conflicts: 656000 | #Constraints: 20899
1957.90/1963.01 c #Conflicts: 657000 | #Constraints: 21899
1957.90/1963.01 c #Conflicts: 658000 | #Constraints: 22899
1957.90/1963.01 c #Conflicts: 659000 | #Constraints: 23899
1957.90/1963.01 c #Conflicts: 660000 | #Constraints: 24899
1957.90/1963.01 c #Conflicts: 661000 | #Constraints: 25899
1957.90/1963.01 c #Conflicts: 662000 | #Constraints: 26899
1957.90/1963.01 c #Conflicts: 663000 | #Constraints: 27899
1957.90/1963.01 c #Conflicts: 664000 | #Constraints: 28899
1957.90/1963.01 c #Conflicts: 665000 | #Constraints: 29899
2229.20/2235.09 c #Conflicts: 666000 | #Constraints: 30899
2229.20/2235.09 c #Conflicts: 667000 | #Constraints: 31899
2229.20/2235.09 c #Conflicts: 668000 | #Constraints: 32899
2229.20/2235.09 c #Conflicts: 669000 | #Constraints: 33899
2229.20/2235.09 c #Conflicts: 670000 | #Constraints: 34899
2229.20/2235.09 c #Conflicts: 671000 | #Constraints: 35899
2229.20/2235.09 c INPROCESSING
2229.20/2235.09 c GARBAGE COLLECT
2229.20/2235.09 c #Conflicts: 672000 | #Constraints: 20693
2229.20/2235.09 c #Conflicts: 673000 | #Constraints: 21693
2229.20/2235.09 c #Conflicts: 674000 | #Constraints: 22693
2229.20/2235.09 c #Conflicts: 675000 | #Constraints: 23693
2229.20/2235.09 c #Conflicts: 676000 | #Constraints: 24693
2229.20/2235.09 c #Conflicts: 677000 | #Constraints: 25693
2229.20/2235.09 c #Conflicts: 678000 | #Constraints: 26693
2229.20/2235.09 c #Conflicts: 679000 | #Constraints: 27693
2229.20/2235.09 c #Conflicts: 680000 | #Constraints: 28693
2229.20/2235.09 c #Conflicts: 681000 | #Constraints: 29693
2229.20/2235.09 c #Conflicts: 682000 | #Constraints: 30693
2229.20/2235.09 c #Conflicts: 683000 | #Constraints: 31693
2229.20/2235.09 c #Conflicts: 684000 | #Constraints: 32693
2229.20/2235.09 c #Conflicts: 685000 | #Constraints: 33693
2229.20/2235.09 c #Conflicts: 686000 | #Constraints: 34693
2229.20/2235.09 c #Conflicts: 687000 | #Constraints: 35693
2229.20/2235.09 c #Conflicts: 688000 | #Constraints: 36693
2229.20/2235.09 c INPROCESSING
2229.20/2235.09 c GARBAGE COLLECT
2229.20/2235.09 c #Conflicts: 689000 | #Constraints: 21285
2229.20/2235.09 c #Conflicts: 690000 | #Constraints: 22285
2229.20/2235.09 c #Conflicts: 691000 | #Constraints: 23285
2229.20/2235.09 c #Conflicts: 692000 | #Constraints: 24285
2229.20/2235.09 c #Conflicts: 693000 | #Constraints: 25285
2229.20/2235.09 c #Conflicts: 694000 | #Constraints: 26285
2229.20/2235.09 c #Conflicts: 695000 | #Constraints: 27285
2229.20/2235.09 c #Conflicts: 696000 | #Constraints: 28285
2229.20/2235.09 c #Conflicts: 697000 | #Constraints: 29285
2229.20/2235.09 c #Conflicts: 698000 | #Constraints: 30285
2229.20/2235.09 c #Conflicts: 699000 | #Constraints: 31285
2229.20/2235.09 c #Conflicts: 700000 | #Constraints: 32285
2229.20/2235.09 c #Conflicts: 701000 | #Constraints: 33285
2229.20/2235.09 c #Conflicts: 702000 | #Constraints: 34285
2229.20/2235.09 c #Conflicts: 703000 | #Constraints: 35285
2229.20/2235.09 c #Conflicts: 704000 | #Constraints: 36285
2229.20/2235.09 c #Conflicts: 705000 | #Constraints: 37285
2229.20/2235.09 c INPROCESSING
2229.20/2235.09 c GARBAGE COLLECT
2229.20/2235.09 c #Conflicts: 706000 | #Constraints: 21698
2229.20/2235.09 c #Conflicts: 707000 | #Constraints: 22698
2229.20/2235.09 c #Conflicts: 708000 | #Constraints: 23698
2229.20/2235.09 c #Conflicts: 709000 | #Constraints: 24698
2229.20/2235.09 c #Conflicts: 710000 | #Constraints: 25698
2229.20/2235.09 c #Conflicts: 711000 | #Constraints: 26698
2229.20/2235.09 c #Conflicts: 712000 | #Constraints: 27698
2229.20/2235.09 c #Conflicts: 713000 | #Constraints: 28698
2229.20/2235.09 c #Conflicts: 714000 | #Constraints: 29698
2229.20/2235.09 c #Conflicts: 715000 | #Constraints: 30698
2229.20/2235.09 c #Conflicts: 716000 | #Constraints: 31698
2229.20/2235.09 c #Conflicts: 717000 | #Constraints: 32698
2229.20/2235.09 c #Conflicts: 718000 | #Constraints: 33698
2229.20/2235.09 c #Conflicts: 719000 | #Constraints: 34698
2229.20/2235.09 c #Conflicts: 720000 | #Constraints: 35698
2229.20/2235.09 c #Conflicts: 721000 | #Constraints: 36698
2229.20/2235.09 c #Conflicts: 722000 | #Constraints: 37698
2229.20/2235.09 c INPROCESSING
2229.20/2235.09 c GARBAGE COLLECT
2229.20/2235.09 c #Conflicts: 723000 | #Constraints: 21903
2229.20/2235.09 c #Conflicts: 724000 | #Constraints: 22903
2229.20/2235.09 c #Conflicts: 725000 | #Constraints: 23903
2229.20/2235.09 c #Conflicts: 726000 | #Constraints: 24903
2229.20/2235.09 c #Conflicts: 727000 | #Constraints: 25903
2229.20/2235.09 c #Conflicts: 728000 | #Constraints: 26903
2229.20/2235.09 c #Conflicts: 729000 | #Constraints: 27903
2229.20/2235.09 c #Conflicts: 730000 | #Constraints: 28903
2229.20/2235.09 c #Conflicts: 731000 | #Constraints: 29903
2229.20/2235.09 c #Conflicts: 732000 | #Constraints: 30903
2229.20/2235.09 c #Conflicts: 733000 | #Constraints: 31903
2229.20/2235.09 c #Conflicts: 734000 | #Constraints: 32903
2229.20/2235.09 c #Conflicts: 735000 | #Constraints: 33903
2229.20/2235.09 c #Conflicts: 736000 | #Constraints: 34903
2229.20/2235.09 c #Conflicts: 737000 | #Constraints: 35903
2229.20/2235.09 c #Conflicts: 738000 | #Constraints: 36903
2229.20/2235.09 c #Conflicts: 739000 | #Constraints: 37903
2229.20/2235.09 c INPROCESSING
2229.20/2235.09 c GARBAGE COLLECT
2229.20/2235.09 c #Conflicts: 740000 | #Constraints: 21902
2511.06/2517.67 c #Conflicts: 741000 | #Constraints: 22902
2511.06/2517.67 c #Conflicts: 742000 | #Constraints: 23902
2511.06/2517.67 c #Conflicts: 743000 | #Constraints: 24902
2511.06/2517.67 c #Conflicts: 744000 | #Constraints: 25902
2511.06/2517.67 c #Conflicts: 745000 | #Constraints: 26902
2511.06/2517.67 c #Conflicts: 746000 | #Constraints: 27902
2511.06/2517.67 c #Conflicts: 747000 | #Constraints: 28902
2511.06/2517.67 c #Conflicts: 748000 | #Constraints: 29902
2511.06/2517.67 c #Conflicts: 749000 | #Constraints: 30902
2511.06/2517.67 c #Conflicts: 750000 | #Constraints: 31902
2511.06/2517.67 c #Conflicts: 751000 | #Constraints: 32902
2511.06/2517.67 c #Conflicts: 752000 | #Constraints: 33902
2511.06/2517.67 c #Conflicts: 753000 | #Constraints: 34902
2511.06/2517.67 c #Conflicts: 754000 | #Constraints: 35902
2511.06/2517.67 c #Conflicts: 755000 | #Constraints: 36902
2511.06/2517.67 c #Conflicts: 756000 | #Constraints: 37902
2511.06/2517.67 c INPROCESSING
2511.06/2517.67 c GARBAGE COLLECT
2511.06/2517.67 c #Conflicts: 757000 | #Constraints: 21702
2511.06/2517.67 c #Conflicts: 758000 | #Constraints: 22702
2511.06/2517.67 c #Conflicts: 759000 | #Constraints: 23702
2511.06/2517.67 c #Conflicts: 760000 | #Constraints: 24702
2511.06/2517.67 c #Conflicts: 761000 | #Constraints: 25702
2511.06/2517.67 c #Conflicts: 762000 | #Constraints: 26702
2511.06/2517.67 c #Conflicts: 763000 | #Constraints: 27702
2511.06/2517.67 c #Conflicts: 764000 | #Constraints: 28702
2511.06/2517.67 c #Conflicts: 765000 | #Constraints: 29702
2511.06/2517.67 c #Conflicts: 766000 | #Constraints: 30702
2511.06/2517.67 c #Conflicts: 767000 | #Constraints: 31702
2511.06/2517.67 c #Conflicts: 768000 | #Constraints: 32702
2511.06/2517.67 c #Conflicts: 769000 | #Constraints: 33702
2511.06/2517.67 c #Conflicts: 770000 | #Constraints: 34702
2511.06/2517.67 c #Conflicts: 771000 | #Constraints: 35702
2511.06/2517.67 c #Conflicts: 772000 | #Constraints: 36702
2511.06/2517.67 c #Conflicts: 773000 | #Constraints: 37702
2511.06/2517.67 c #Conflicts: 774000 | #Constraints: 38702
2511.06/2517.67 c INPROCESSING
2511.06/2517.67 c GARBAGE COLLECT
2511.06/2517.67 c #Conflicts: 775000 | #Constraints: 22293
2511.06/2517.67 c #Conflicts: 776000 | #Constraints: 23293
2511.06/2517.67 c #Conflicts: 777000 | #Constraints: 24293
2511.06/2517.67 c #Conflicts: 778000 | #Constraints: 25293
2511.06/2517.67 c #Conflicts: 779000 | #Constraints: 26293
2511.06/2517.67 c #Conflicts: 780000 | #Constraints: 27293
2511.06/2517.67 c #Conflicts: 781000 | #Constraints: 28293
2511.06/2517.67 c #Conflicts: 782000 | #Constraints: 29293
2511.06/2517.67 c #Conflicts: 783000 | #Constraints: 30293
2511.06/2517.67 c #Conflicts: 784000 | #Constraints: 31293
2511.06/2517.67 c #Conflicts: 785000 | #Constraints: 32293
2511.06/2517.67 c #Conflicts: 786000 | #Constraints: 33293
2511.06/2517.67 c #Conflicts: 787000 | #Constraints: 34293
2511.06/2517.67 c #Conflicts: 788000 | #Constraints: 35293
2511.06/2517.67 c #Conflicts: 789000 | #Constraints: 36293
2511.06/2517.67 c #Conflicts: 790000 | #Constraints: 37293
2511.06/2517.67 c #Conflicts: 791000 | #Constraints: 38293
2511.06/2517.67 c #Conflicts: 792000 | #Constraints: 39293
2511.06/2517.67 c INPROCESSING
2511.06/2517.67 c GARBAGE COLLECT
2511.06/2517.67 c #Conflicts: 793000 | #Constraints: 22684
2511.06/2517.67 c #Conflicts: 794000 | #Constraints: 23684
2511.06/2517.67 c #Conflicts: 795000 | #Constraints: 24684
2511.06/2517.67 c #Conflicts: 796000 | #Constraints: 25684
2511.06/2517.67 c #Conflicts: 797000 | #Constraints: 26684
2511.06/2517.67 c #Conflicts: 798000 | #Constraints: 27684
2511.06/2517.67 c #Conflicts: 799000 | #Constraints: 28684
2511.06/2517.67 c #Conflicts: 800000 | #Constraints: 29684
2511.06/2517.67 c #Conflicts: 801000 | #Constraints: 30684
2511.06/2517.67 c #Conflicts: 802000 | #Constraints: 31684
2511.06/2517.67 c #Conflicts: 803000 | #Constraints: 32684
2511.06/2517.67 c #Conflicts: 804000 | #Constraints: 33684
2511.06/2517.67 c #Conflicts: 805000 | #Constraints: 34684
2511.06/2517.67 c #Conflicts: 806000 | #Constraints: 35684
2511.06/2517.67 c #Conflicts: 807000 | #Constraints: 36684
2511.06/2517.67 c #Conflicts: 808000 | #Constraints: 37684
2511.06/2517.67 c #Conflicts: 809000 | #Constraints: 38684
2511.06/2517.67 c #Conflicts: 810000 | #Constraints: 39684
2511.06/2517.67 c INPROCESSING
2511.06/2517.67 c GARBAGE COLLECT
2511.06/2517.67 c #Conflicts: 811000 | #Constraints: 22884
2511.06/2517.67 c #Conflicts: 812000 | #Constraints: 23884
2511.06/2517.67 c #Conflicts: 813000 | #Constraints: 24884
2511.06/2517.67 c #Conflicts: 814000 | #Constraints: 25884
2511.06/2517.67 c #Conflicts: 815000 | #Constraints: 26884
2511.06/2517.67 c #Conflicts: 816000 | #Constraints: 27884
2511.06/2517.67 c #Conflicts: 817000 | #Constraints: 28884
2896.78/2904.44 c #Conflicts: 818000 | #Constraints: 29884
2896.78/2904.44 c #Conflicts: 819000 | #Constraints: 30884
2896.78/2904.44 c #Conflicts: 820000 | #Constraints: 31884
2896.78/2904.44 c #Conflicts: 821000 | #Constraints: 32884
2896.78/2904.44 c #Conflicts: 822000 | #Constraints: 33884
2896.78/2904.44 c #Conflicts: 823000 | #Constraints: 34884
2896.78/2904.44 c #Conflicts: 824000 | #Constraints: 35884
2896.78/2904.44 c #Conflicts: 825000 | #Constraints: 36884
2896.78/2904.44 c #Conflicts: 826000 | #Constraints: 37884
2896.78/2904.44 c #Conflicts: 827000 | #Constraints: 38884
2896.78/2904.44 c #Conflicts: 828000 | #Constraints: 39884
2896.78/2904.44 c INPROCESSING
2896.78/2904.44 c GARBAGE COLLECT
2896.78/2904.44 c #Conflicts: 829000 | #Constraints: 22887
2896.78/2904.44 c #Conflicts: 830000 | #Constraints: 23887
2896.78/2904.44 c #Conflicts: 831000 | #Constraints: 24887
2896.78/2904.44 c #Conflicts: 832000 | #Constraints: 25887
2896.78/2904.44 c #Conflicts: 833000 | #Constraints: 26887
2896.78/2904.44 c #Conflicts: 834000 | #Constraints: 27887
2896.78/2904.44 c #Conflicts: 835000 | #Constraints: 28887
2896.78/2904.44 c #Conflicts: 836000 | #Constraints: 29887
2896.78/2904.44 c #Conflicts: 837000 | #Constraints: 30887
2896.78/2904.44 c #Conflicts: 838000 | #Constraints: 31887
2896.78/2904.44 c #Conflicts: 839000 | #Constraints: 32887
2896.78/2904.44 c #Conflicts: 840000 | #Constraints: 33887
2896.78/2904.44 c #Conflicts: 841000 | #Constraints: 34887
2896.78/2904.44 c #Conflicts: 842000 | #Constraints: 35887
2896.78/2904.44 c #Conflicts: 843000 | #Constraints: 36887
2896.78/2904.44 c #Conflicts: 844000 | #Constraints: 37887
2896.78/2904.44 c #Conflicts: 845000 | #Constraints: 38887
2896.78/2904.44 c #Conflicts: 846000 | #Constraints: 39887
2896.78/2904.44 c INPROCESSING
2896.78/2904.44 c GARBAGE COLLECT
2896.78/2904.44 c #Conflicts: 847000 | #Constraints: 22695
2896.78/2904.44 c #Conflicts: 848000 | #Constraints: 23695
2896.78/2904.44 c #Conflicts: 849000 | #Constraints: 24695
2896.78/2904.44 c #Conflicts: 850000 | #Constraints: 25695
2896.78/2904.44 c #Conflicts: 851000 | #Constraints: 26695
2896.78/2904.44 c #Conflicts: 852000 | #Constraints: 27695
2896.78/2904.44 c #Conflicts: 853000 | #Constraints: 28695
2896.78/2904.44 c #Conflicts: 854000 | #Constraints: 29695
2896.78/2904.44 c #Conflicts: 855000 | #Constraints: 30695
2896.78/2904.44 c #Conflicts: 856000 | #Constraints: 31695
2896.78/2904.44 c #Conflicts: 857000 | #Constraints: 32695
2896.78/2904.44 c #Conflicts: 858000 | #Constraints: 33695
2896.78/2904.44 c #Conflicts: 859000 | #Constraints: 34695
2896.78/2904.44 c #Conflicts: 860000 | #Constraints: 35695
2896.78/2904.44 c #Conflicts: 861000 | #Constraints: 36695
2896.78/2904.44 c #Conflicts: 862000 | #Constraints: 37695
2896.78/2904.44 c #Conflicts: 863000 | #Constraints: 38695
2896.78/2904.44 c #Conflicts: 864000 | #Constraints: 39695
2896.78/2904.44 c #Conflicts: 865000 | #Constraints: 40695
2896.78/2904.44 c INPROCESSING
2896.78/2904.44 c GARBAGE COLLECT
2896.78/2904.44 c #Conflicts: 866000 | #Constraints: 23293
2896.78/2904.44 c #Conflicts: 867000 | #Constraints: 24293
2896.78/2904.44 c #Conflicts: 868000 | #Constraints: 25293
2896.78/2904.44 c #Conflicts: 869000 | #Constraints: 26293
2896.78/2904.44 c #Conflicts: 870000 | #Constraints: 27293
2896.78/2904.44 c #Conflicts: 871000 | #Constraints: 28293
2896.78/2904.44 c #Conflicts: 872000 | #Constraints: 29293
2896.78/2904.44 c #Conflicts: 873000 | #Constraints: 30293
2896.78/2904.44 c #Conflicts: 874000 | #Constraints: 31293
2896.78/2904.44 c #Conflicts: 875000 | #Constraints: 32293
2896.78/2904.44 c #Conflicts: 876000 | #Constraints: 33293
2896.78/2904.44 c #Conflicts: 877000 | #Constraints: 34293
2896.78/2904.44 c #Conflicts: 878000 | #Constraints: 35293
2896.78/2904.44 c #Conflicts: 879000 | #Constraints: 36293
2896.78/2904.44 c #Conflicts: 880000 | #Constraints: 37293
2896.78/2904.44 c #Conflicts: 881000 | #Constraints: 38293
2896.78/2904.44 c #Conflicts: 882000 | #Constraints: 39293
2896.78/2904.44 c #Conflicts: 883000 | #Constraints: 40293
2896.78/2904.44 c #Conflicts: 884000 | #Constraints: 41293
2896.78/2904.44 c INPROCESSING
2896.78/2904.44 c GARBAGE COLLECT
2896.78/2904.44 c #Conflicts: 885000 | #Constraints: 23692
2896.78/2904.44 c #Conflicts: 886000 | #Constraints: 24692
2896.78/2904.44 c #Conflicts: 887000 | #Constraints: 25692
2896.78/2904.44 c #Conflicts: 888000 | #Constraints: 26692
2896.78/2904.44 c #Conflicts: 889000 | #Constraints: 27692
2896.78/2904.44 c #Conflicts: 890000 | #Constraints: 28692
2896.78/2904.44 c #Conflicts: 891000 | #Constraints: 29692
2896.78/2904.44 c #Conflicts: 892000 | #Constraints: 30692
2896.78/2904.44 c #Conflicts: 893000 | #Constraints: 31692
3272.91/3281.79 c #Conflicts: 894000 | #Constraints: 32692
3272.91/3281.79 c #Conflicts: 895000 | #Constraints: 33692
3272.91/3281.79 c #Conflicts: 896000 | #Constraints: 34692
3272.91/3281.79 c #Conflicts: 897000 | #Constraints: 35692
3272.91/3281.79 c #Conflicts: 898000 | #Constraints: 36692
3272.91/3281.79 c #Conflicts: 899000 | #Constraints: 37692
3272.91/3281.79 c #Conflicts: 900000 | #Constraints: 38692
3272.91/3281.79 c #Conflicts: 901000 | #Constraints: 39692
3272.91/3281.79 c #Conflicts: 902000 | #Constraints: 40692
3272.91/3281.79 c #Conflicts: 903000 | #Constraints: 41692
3272.91/3281.79 c INPROCESSING
3272.91/3281.79 c GARBAGE COLLECT
3272.91/3281.79 c #Conflicts: 904000 | #Constraints: 23891
3272.91/3281.79 c #Conflicts: 905000 | #Constraints: 24891
3272.91/3281.79 c #Conflicts: 906000 | #Constraints: 25891
3272.91/3281.79 c #Conflicts: 907000 | #Constraints: 26891
3272.91/3281.79 c #Conflicts: 908000 | #Constraints: 27891
3272.91/3281.79 c #Conflicts: 909000 | #Constraints: 28891
3272.91/3281.79 c #Conflicts: 910000 | #Constraints: 29891
3272.91/3281.79 c #Conflicts: 911000 | #Constraints: 30891
3272.91/3281.79 c #Conflicts: 912000 | #Constraints: 31891
3272.91/3281.79 c #Conflicts: 913000 | #Constraints: 32891
3272.91/3281.79 c #Conflicts: 914000 | #Constraints: 33891
3272.91/3281.79 c #Conflicts: 915000 | #Constraints: 34891
3272.91/3281.79 c #Conflicts: 916000 | #Constraints: 35891
3272.91/3281.79 c #Conflicts: 917000 | #Constraints: 36891
3272.91/3281.79 c #Conflicts: 918000 | #Constraints: 37891
3272.91/3281.79 c #Conflicts: 919000 | #Constraints: 38891
3272.91/3281.79 c #Conflicts: 920000 | #Constraints: 39891
3272.91/3281.79 c #Conflicts: 921000 | #Constraints: 40891
3272.91/3281.79 c #Conflicts: 922000 | #Constraints: 41891
3272.91/3281.79 c INPROCESSING
3272.91/3281.79 c GARBAGE COLLECT
3272.91/3281.79 c #Conflicts: 923000 | #Constraints: 23891
3272.91/3281.79 c #Conflicts: 924000 | #Constraints: 24891
3272.91/3281.79 c #Conflicts: 925000 | #Constraints: 25891
3272.91/3281.79 c #Conflicts: 926000 | #Constraints: 26891
3272.91/3281.79 c #Conflicts: 927000 | #Constraints: 27891
3272.91/3281.79 c #Conflicts: 928000 | #Constraints: 28891
3272.91/3281.79 c #Conflicts: 929000 | #Constraints: 29891
3272.91/3281.79 c #Conflicts: 930000 | #Constraints: 30891
3272.91/3281.79 c #Conflicts: 931000 | #Constraints: 31891
3272.91/3281.79 c #Conflicts: 932000 | #Constraints: 32891
3272.91/3281.79 c #Conflicts: 933000 | #Constraints: 33891
3272.91/3281.79 c #Conflicts: 934000 | #Constraints: 34891
3272.91/3281.79 c #Conflicts: 935000 | #Constraints: 35891
3272.91/3281.79 c #Conflicts: 936000 | #Constraints: 36891
3272.91/3281.79 c #Conflicts: 937000 | #Constraints: 37891
3272.91/3281.79 c #Conflicts: 938000 | #Constraints: 38891
3272.91/3281.79 c #Conflicts: 939000 | #Constraints: 39891
3272.91/3281.79 c #Conflicts: 940000 | #Constraints: 40891
3272.91/3281.79 c #Conflicts: 941000 | #Constraints: 41891
3272.91/3281.79 c INPROCESSING
3272.91/3281.79 c GARBAGE COLLECT
3272.91/3281.79 c #Conflicts: 942000 | #Constraints: 23698
3272.91/3281.79 c #Conflicts: 943000 | #Constraints: 24698
3272.91/3281.79 c #Conflicts: 944000 | #Constraints: 25698
3272.91/3281.79 c #Conflicts: 945000 | #Constraints: 26698
3272.91/3281.79 c #Conflicts: 946000 | #Constraints: 27698
3272.91/3281.79 c #Conflicts: 947000 | #Constraints: 28698
3272.91/3281.79 c #Conflicts: 948000 | #Constraints: 29698
3272.91/3281.79 c #Conflicts: 949000 | #Constraints: 30698
3272.91/3281.79 c #Conflicts: 950000 | #Constraints: 31698
3272.91/3281.79 c #Conflicts: 951000 | #Constraints: 32698
3272.91/3281.79 c #Conflicts: 952000 | #Constraints: 33698
3272.91/3281.79 c #Conflicts: 953000 | #Constraints: 34698
3272.91/3281.79 c #Conflicts: 954000 | #Constraints: 35698
3272.91/3281.79 c #Conflicts: 955000 | #Constraints: 36698
3272.91/3281.79 c #Conflicts: 956000 | #Constraints: 37698
3272.91/3281.79 c #Conflicts: 957000 | #Constraints: 38698
3272.91/3281.79 c #Conflicts: 958000 | #Constraints: 39698
3272.91/3281.79 c #Conflicts: 959000 | #Constraints: 40698
3272.91/3281.79 c #Conflicts: 960000 | #Constraints: 41698
3272.91/3281.79 c #Conflicts: 961000 | #Constraints: 42698
3272.91/3281.79 c INPROCESSING
3272.91/3281.79 c GARBAGE COLLECT
3272.91/3281.79 c #Conflicts: 962000 | #Constraints: 24302
3272.91/3281.79 c #Conflicts: 963000 | #Constraints: 25302
3272.91/3281.79 c #Conflicts: 964000 | #Constraints: 26302
3272.91/3281.79 c #Conflicts: 965000 | #Constraints: 27302
3272.91/3281.79 c #Conflicts: 966000 | #Constraints: 28302
3272.91/3281.79 c #Conflicts: 967000 | #Constraints: 29302
3272.91/3281.79 c #Conflicts: 968000 | #Constraints: 30302
3272.91/3281.79 c #Conflicts: 969000 | #Constraints: 31302
3600.08/3609.90 c #Conflicts: 970000 | #Constraints: 32302
3600.08/3609.90 c #Conflicts: 971000 | #Constraints: 33302
3600.08/3609.90 c #Conflicts: 972000 | #Constraints: 34302
3600.08/3609.90 c #Conflicts: 973000 | #Constraints: 35302
3600.08/3609.90 c #Conflicts: 974000 | #Constraints: 36302
3600.08/3609.90 c #Conflicts: 975000 | #Constraints: 37302
3600.08/3609.90 c #Conflicts: 976000 | #Constraints: 38302
3600.08/3609.90 c #Conflicts: 977000 | #Constraints: 39302
3600.08/3609.90 c #Conflicts: 978000 | #Constraints: 40302
3600.08/3609.90 c #Conflicts: 979000 | #Constraints: 41302
3600.08/3609.90 c #Conflicts: 980000 | #Constraints: 42302
3600.08/3609.90 c #Conflicts: 981000 | #Constraints: 43302
3600.08/3609.90 c INPROCESSING
3600.08/3609.90 c GARBAGE COLLECT
3600.08/3609.90 c #Conflicts: 982000 | #Constraints: 24703
3600.08/3609.90 c #Conflicts: 983000 | #Constraints: 25703
3600.08/3609.90 c #Conflicts: 984000 | #Constraints: 26703
3600.08/3609.90 c #Conflicts: 985000 | #Constraints: 27703
3600.08/3609.90 c #Conflicts: 986000 | #Constraints: 28703
3600.08/3609.90 c #Conflicts: 987000 | #Constraints: 29703
3600.08/3609.90 c #Conflicts: 988000 | #Constraints: 30703
3600.08/3609.90 c #Conflicts: 989000 | #Constraints: 31703
3600.08/3609.90 c #Conflicts: 990000 | #Constraints: 32703
3600.08/3609.90 c #Conflicts: 991000 | #Constraints: 33703
3600.08/3609.90 c #Conflicts: 992000 | #Constraints: 34703
3600.08/3609.90 c #Conflicts: 993000 | #Constraints: 35703
3600.08/3609.90 c #Conflicts: 994000 | #Constraints: 36703
3600.08/3609.90 c #Conflicts: 995000 | #Constraints: 37703
3600.08/3609.90 c #Conflicts: 996000 | #Constraints: 38703
3600.08/3609.90 c #Conflicts: 997000 | #Constraints: 39703
3600.08/3609.90 c #Conflicts: 998000 | #Constraints: 40703
3600.08/3609.90 c #Conflicts: 999000 | #Constraints: 41703
3600.08/3609.90 c #Conflicts: 1000000 | #Constraints: 42703
3600.08/3609.90 c #Conflicts: 1001000 | #Constraints: 43703
3600.08/3609.90 c INPROCESSING
3600.08/3609.90 c GARBAGE COLLECT
3600.08/3609.90 c #Conflicts: 1002000 | #Constraints: 24909
3600.08/3609.90 c #Conflicts: 1003000 | #Constraints: 25909
3600.08/3609.90 c #Conflicts: 1004000 | #Constraints: 26909
3600.08/3609.90 c #Conflicts: 1005000 | #Constraints: 27909
3600.08/3609.90 c #Conflicts: 1006000 | #Constraints: 28909
3600.08/3609.90 c #Conflicts: 1007000 | #Constraints: 29909
3600.08/3609.90 c #Conflicts: 1008000 | #Constraints: 30909
3600.08/3609.90 c #Conflicts: 1009000 | #Constraints: 31909
3600.08/3609.90 c #Conflicts: 1010000 | #Constraints: 32909
3600.08/3609.90 c #Conflicts: 1011000 | #Constraints: 33909
3600.08/3609.90 c #Conflicts: 1012000 | #Constraints: 34909
3600.08/3609.90 c #Conflicts: 1013000 | #Constraints: 35909
3600.08/3609.90 c #Conflicts: 1014000 | #Constraints: 36909
3600.08/3609.90 c #Conflicts: 1015000 | #Constraints: 37909
3600.08/3609.90 c #Conflicts: 1016000 | #Constraints: 38909
3600.08/3609.90 c #Conflicts: 1017000 | #Constraints: 39909
3600.08/3609.90 c #Conflicts: 1018000 | #Constraints: 40909
3600.08/3609.90 c #Conflicts: 1019000 | #Constraints: 41909
3600.08/3609.90 c #Conflicts: 1020000 | #Constraints: 42909
3600.08/3609.90 c #Conflicts: 1021000 | #Constraints: 43909
3600.08/3609.90 c INPROCESSING
3600.08/3609.90 c GARBAGE COLLECT
3600.08/3609.90 c Program interrupted by user.
3600.08/3609.90 c cpu time 3592.42 s
3600.08/3609.90 c deterministic time 748578868189 7.49e+11
3600.08/3609.90 c optimization time 0.267449 s
3600.08/3609.90 c total solve time 3292.66 s
3600.08/3609.90 c core-guided solve time 3292.66 s
3600.08/3609.90 c propagation time 2733.8 s
3600.08/3609.90 c conflict analysis time 406.144 s
3600.08/3609.90 c propagations 81088311
3600.08/3609.90 c resolve steps 7646062
3600.08/3609.90 c decisions 3991696
3600.08/3609.90 c conflicts 1021277
3600.08/3609.90 c restarts 2045
3600.08/3609.90 c inprocessing phases 92
3600.08/3609.90 c input clauses 4007
3600.08/3609.90 c input cardinalities 146
3600.08/3609.90 c input general constraints 0
3600.08/3609.90 c input average constraint length 61.09
3600.08/3609.90 c input average constraint degree 27.69
3600.08/3609.90 c learned clauses 327419
3600.08/3609.90 c learned cardinalities 48780
3600.08/3609.90 c learned general constraints 645221
3600.08/3609.90 c learned average constraint length 895.43
3600.08/3609.90 c learned average constraint degree 194327.52
3600.08/3609.90 c watched constraints 393784
3600.08/3609.90 c counting constraints 251437
3600.08/3609.90 c gcd simplifications 28473
3600.08/3609.90 c detected cardinalities 671
3600.08/3609.90 c weakened non-implied lits 137615957
3600.08/3609.90 c weakened non-implying lits 52444
3600.08/3609.90 c original variables 1968
3600.08/3609.90 c clausal propagations 38210045
3600.08/3609.90 c cardinality propagations 5546093
3600.08/3609.90 c watched propagations 9401548
3600.08/3609.90 c counting propagations 24449528
3600.08/3609.90 c watch lookups 33330466054
3600.08/3609.90 c watch backjump lookups 28752661929
3600.08/3609.90 c watch checks 606552227926
3600.08/3609.90 c propagation checks 77142088819
3600.08/3609.90 c constraint additions 2630243654
3600.08/3609.90 c trail pops 86099799
3600.08/3609.90 c formula constraints 3322
3600.08/3609.90 c learned constraints 1021420
3600.08/3609.90 c bound constraints 146
3600.08/3609.90 c core-guided constraints 685
3600.08/3609.90 c encountered formula constraints 5196630
3600.08/3609.90 c encountered learned constraints 2739533
3600.08/3609.90 c encountered bound constraints 2
3600.08/3609.90 c encountered core-guided constraints 731174
3600.08/3609.90 c LP total time 0 s
3600.08/3609.90 c LP solve time 0 s
3600.08/3609.90 c LP constraints added 0
3600.08/3609.90 c LP constraints removed 0
3600.08/3609.90 c LP pivots internal 0
3600.08/3609.90 c LP pivots root 0
3600.08/3609.90 c LP calls 0
3600.08/3609.90 c LP optimalities 0
3600.08/3609.90 c LP no pivot count 0
3600.08/3609.90 c LP infeasibilities 0
3600.08/3609.90 c LP valid Farkas constraints 0
3600.08/3609.90 c LP learned Farkas constraints 0
3600.08/3609.90 c LP basis resets 0
3600.08/3609.90 c LP cycling count 0
3600.08/3609.90 c LP singular count 0
3600.08/3609.90 c LP no primal count 0
3600.08/3609.90 c LP no farkas count 0
3600.08/3609.90 c LP other issue count 0
3600.08/3609.90 c LP Gomory cuts 0
3600.08/3609.90 c LP learned cuts 0
3600.08/3609.90 c LP deleted cuts 0
3600.08/3609.90 c LP encountered Gomory constraints 0
3600.08/3609.90 c LP encountered Farkas constraints 0
3600.08/3609.90 c LP encountered learned Farkas constraints 0
3600.08/3609.90 c CG auxiliary variables introduced 685
3600.08/3609.90 c CG solutions found 0
3600.08/3609.90 c CG cores constructed 145
3600.08/3609.90 c CG core cardinality constraints returned 0
3600.08/3609.90 c CG unit cores 0
3600.08/3609.90 c CG single cores 145
3600.08/3609.90 c CG blocks removed during cardinality reduction 0
3600.08/3609.90 c CG first core best 0
3600.08/3609.90 c CG decision core best 0
3600.08/3609.90 c CG core reduction tie 0
3600.08/3609.90 c CG core degree average 1.00
3600.08/3609.90 c CG core slack average 3.12
3600.08/3609.90 c CG exhausted 0
3600.08/3609.90 c CG exhaust time 0 s
3600.08/3609.90 c CG trimmed 0
3600.08/3609.90 c CG trim time 0.000687 s
3600.08/3609.90 c CG minimized 0
3600.08/3609.90 c CG minimize time 0 s
3600.08/3609.90 c CG am1 prop time 0.002972 s
3600.08/3609.90 c CG # am1s reformulated 685
3600.08/3609.90 c CG lower bound derived from am1s 687
3600.08/3609.90 c CG # clausal cores 145
3600.08/3609.90 c CG # cardinality cores 0
3600.08/3609.90 c CG # pb cores 0
3600.08/3609.90 c CG # pb reforms 0
3600.08/3609.90 c CG # cores discarded because of pb reform 0
3600.08/3609.90 d LOWERBOUND 832
3600.08/3609.90 d NCORES 145
3600.08/3609.90 d NPBCORES 0
3600.08/3609.90 d NPBREFORM 0
3600.08/3609.90 d NTRIMMED 0
3600.08/3609.90 d NEXHAUSTED 0
3600.08/3609.90 d NAM1S 685
3600.08/3609.90 d AM1LB 687
3600.08/3609.90 c [Papilo Statistics]
3600.08/3609.90 c prepro time 0.00477761s
3600.08/3609.90 c # tsx applied 143
3600.08/3609.90 c # tsx conflicts 4
3600.08/3609.90 c # bound changes 142
3600.08/3609.90 c # side changes 0
3600.08/3609.90 c # coef changes 0
3600.08/3609.90 c # rounds 2
3600.08/3609.90 c # deted vars 290
3600.08/3609.90 c # deted constrs 678
3600.08/3609.90 c # consecutive rounds of only bound changes 0
3600.08/3609.90 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 (56758 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528924-1752256448/watcher-4528924-1752256448 -o /tmp/evaluation-result-4528924-1752256448/solver-4528924-1752256448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752256448-119453 --watchdog 3760 mixed-bag HOME/instance-4528924-1752256448.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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.el9_5.x86_64
Starting watchdog thread
solver pid=119505, runsolver pid=119498
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 2.94 3.85 4.00 5/264 119510
/proc/meminfo: memFree=121554992/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=115176 memory=41644 CPUtime=0.09 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 7073 0 0 0 8 1 0 0 20 0 1 0 141322605 117940224 10411 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 28794 10411 4320 2834 0 10999 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 115176 KiB
Current children cumulated memory: 41644 KiB
[startup+0.205683 s]*
/proc/loadavg: 2.94 3.85 4.00 5/264 119510
/proc/meminfo: memFree=121549056/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=117180 memory=43692 CPUtime=0.19 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 7574 0 0 0 18 1 0 0 20 0 1 0 141322605 119992320 10923 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 29295 10923 4320 2834 0 11500 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 117180 KiB
Current children cumulated memory: 43692 KiB
[startup+0.305514 s]*
/proc/loadavg: 2.94 3.85 4.00 5/264 119510
/proc/meminfo: memFree=121541244/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=117528 memory=44076 CPUtime=0.29 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 7672 0 0 0 28 1 0 0 20 0 1 0 141322605 120348672 11019 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 29382 11019 4320 2834 0 11587 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 117528 KiB
Current children cumulated memory: 44076 KiB
[startup+0.700133 s]
/proc/loadavg: 2.94 3.85 4.00 5/264 119510
/proc/meminfo: memFree=121537212/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=122076 memory=48044 CPUtime=0.68 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 8664 0 0 0 67 1 0 0 20 0 1 0 141322605 125005824 12011 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 30519 12011 4320 2834 0 12724 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 122076 KiB
Current children cumulated memory: 48044 KiB
[startup+1.50016 s]
/proc/loadavg: 2.94 3.85 4.00 5/264 119510
/proc/meminfo: memFree=121523604/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=134444 memory=60076 CPUtime=1.48 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 11685 0 0 0 146 2 0 0 20 0 1 0 141322605 137670656 15019 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 33611 15019 4320 2834 0 15816 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 134444 KiB
Current children cumulated memory: 60076 KiB
[startup+3.10542 s]
/proc/loadavg: 3.11 3.87 4.01 5/264 119510
/proc/meminfo: memFree=121433224/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=155400 memory=79660 CPUtime=3.08 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 16564 0 0 0 305 3 0 0 20 0 1 0 141322605 159129600 19915 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 38850 19915 4320 2834 0 21055 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 155400 KiB
Current children cumulated memory: 79660 KiB
[startup+6.30011 s]
/proc/loadavg: 3.11 3.87 4.01 5/264 119510
/proc/meminfo: memFree=121304680/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=187220 memory=110892 CPUtime=6.26 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 24385 0 0 0 622 4 0 0 20 0 1 0 141322605 191713280 27723 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 46805 27723 4320 2834 0 29010 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 187220 KiB
Current children cumulated memory: 110892 KiB
[startup+12.7001 s]
/proc/loadavg: 3.25 3.87 4.01 5/264 119510
/proc/meminfo: memFree=121111420/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=224596 memory=145280 CPUtime=12.65 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 34048 0 0 0 1259 6 0 0 20 0 1 0 141322605 229986304 36320 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 56149 36320 4352 2834 0 38354 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 224596 KiB
Current children cumulated memory: 145280 KiB
[startup+25.5001 s]
/proc/loadavg: 3.36 3.88 4.01 5/264 119510
/proc/meminfo: memFree=121111468/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=224596 memory=145536 CPUtime=25.42 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 34128 0 0 0 2536 6 0 0 20 0 1 0 141322605 229986304 36384 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 56149 36384 4352 2834 0 38354 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 224596 KiB
Current children cumulated memory: 145536 KiB
[startup+51.1053 s]
/proc/loadavg: 3.66 3.90 4.01 5/264 119511
/proc/meminfo: memFree=120922144/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=283516 memory=200792 CPUtime=50.96 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 48208 0 0 0 5088 8 0 0 20 0 1 0 141322605 290320384 50198 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 70879 50198 4352 2834 0 53084 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 283516 KiB
Current children cumulated memory: 200792 KiB
[startup+102.3 s]
/proc/loadavg: 3.93 3.94 4.01 5/264 119513
/proc/meminfo: memFree=120701040/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=407708 memory=320912 CPUtime=102.03 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 78459 0 0 0 10188 15 0 0 20 0 1 0 141322605 417492992 80228 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 101927 80228 4352 2834 0 84132 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 407708 KiB
Current children cumulated memory: 320912 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 3.97 4.01 5/265 119516
/proc/meminfo: memFree=120554744/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=417392 memory=327208 CPUtime=161.88 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 82279 0 0 0 16172 16 0 0 20 0 1 0 141322605 427409408 81802 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 104348 81802 4352 2834 0 86553 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 417392 KiB
Current children cumulated memory: 327208 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.01 4.02 5/265 119517
/proc/meminfo: memFree=120509384/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=414540 memory=324520 CPUtime=221.74 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 82364 0 0 0 22158 16 0 0 20 0 1 0 141322605 424488960 81130 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 103635 81130 4352 2834 0 85840 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 414540 KiB
Current children cumulated memory: 324520 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.02 4.02 5/264 119519
/proc/meminfo: memFree=120446656/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=421544 memory=328520 CPUtime=281.59 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 86044 0 0 0 28143 16 0 0 20 0 1 0 141322605 431661056 82130 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 105386 82130 4352 2834 0 87591 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 421544 KiB
Current children cumulated memory: 328520 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.04 4.02 5/263 119527
/proc/meminfo: memFree=120850484/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=259868 memory=185260 CPUtime=341.44 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 90427 0 0 0 34091 53 0 0 20 0 1 0 141322605 266104832 46315 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 64967 46315 4512 2834 0 47172 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 259868 KiB
Current children cumulated memory: 185260 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.05 4.02 5/263 119529
/proc/meminfo: memFree=120760100/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=290688 memory=202264 CPUtime=401.26 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 91342 0 0 0 40045 81 0 0 20 0 1 0 141322605 297664512 50566 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 72672 50566 4512 2834 0 54877 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 290688 KiB
Current children cumulated memory: 202264 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.05 4.02 5/262 119542
/proc/meminfo: memFree=120700572/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=290688 memory=222744 CPUtime=461.1 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 91387 0 0 0 46005 105 0 0 20 0 1 0 141322605 297664512 55686 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 72672 55686 4512 2834 0 54877 0
################
# More data... #
################
Current children cumulated memory: 480340 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/262 119653
/proc/meminfo: memFree=119789912/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=674952 memory=480340 CPUtime=2914.62 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 113334 0 0 0 290802 660 0 0 20 0 1 0 141322605 691150848 120085 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 168738 120085 4512 2834 0 150943 0
Current children cumulated CPU time: 2914.62 s
Current children cumulated vsize: 674952 KiB
Current children cumulated memory: 480340 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 119656
/proc/meminfo: memFree=119790144/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=675208 memory=480596 CPUtime=2974.43 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 113398 0 0 0 296773 670 0 0 20 0 1 0 141322605 691412992 120149 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 168802 120149 4512 2834 0 151007 0
Current children cumulated CPU time: 2974.43 s
Current children cumulated vsize: 675208 KiB
Current children cumulated memory: 480596 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 119658
/proc/meminfo: memFree=119790376/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=675392 memory=480596 CPUtime=3034.25 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 113414 0 0 0 302744 681 0 0 20 0 1 0 141322605 691601408 120149 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 168848 120149 4512 2834 0 151053 0
Current children cumulated CPU time: 3034.25 s
Current children cumulated vsize: 675392 KiB
Current children cumulated memory: 480596 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 119660
/proc/meminfo: memFree=119790296/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=675720 memory=480980 CPUtime=3094.06 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 113503 0 0 0 308715 691 0 0 20 0 1 0 141322605 691937280 120245 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 168930 120245 4512 2834 0 151135 0
Current children cumulated CPU time: 3094.06 s
Current children cumulated vsize: 675720 KiB
Current children cumulated memory: 480980 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 119662
/proc/meminfo: memFree=119786368/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=675720 memory=480980 CPUtime=3153.88 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 113503 0 0 0 314688 700 0 0 20 0 1 0 141322605 691937280 120245 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 168930 120245 4512 2834 0 151135 0
Current children cumulated CPU time: 3153.88 s
Current children cumulated vsize: 675720 KiB
Current children cumulated memory: 480980 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 119664
/proc/meminfo: memFree=119773700/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=675720 memory=480980 CPUtime=3213.69 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 113503 0 0 0 320657 712 0 0 20 0 1 0 141322605 691937280 120245 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 168930 120245 4512 2834 0 151135 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 675720 KiB
Current children cumulated memory: 480980 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/262 119666
/proc/meminfo: memFree=119773160/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=675976 memory=481236 CPUtime=3273.51 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 113567 0 0 0 326629 722 0 0 20 0 1 0 141322605 692199424 120309 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 168994 120309 4512 2834 0 151199 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 675976 KiB
Current children cumulated memory: 481236 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 119675
/proc/meminfo: memFree=119774064/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=675976 memory=481236 CPUtime=3333.32 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 113567 0 0 0 332603 729 0 0 20 0 1 0 141322605 692199424 120309 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 168994 120309 4512 2834 0 151199 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 675976 KiB
Current children cumulated memory: 481236 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 119677
/proc/meminfo: memFree=119755704/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=676232 memory=481492 CPUtime=3393.13 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 113631 0 0 0 338573 740 0 0 20 0 1 0 141322605 692461568 120373 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 169058 120373 4512 2834 0 151263 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 676232 KiB
Current children cumulated memory: 481492 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 119679
/proc/meminfo: memFree=119755756/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=676232 memory=481492 CPUtime=3452.94 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 113635 0 0 0 344546 748 0 0 20 0 1 0 141322605 692461568 120373 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 169058 120373 4512 2834 0 151263 0
Current children cumulated CPU time: 3452.94 s
Current children cumulated vsize: 676232 KiB
Current children cumulated memory: 481492 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 119681
/proc/meminfo: memFree=119739408/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=676232 memory=487972 CPUtime=3512.75 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 113702 0 0 0 350517 758 0 0 20 0 1 0 141322605 692461568 121993 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 169058 121993 4512 2834 0 151263 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 676232 KiB
Current children cumulated memory: 487972 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 119683
/proc/meminfo: memFree=119737504/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=676232 memory=487972 CPUtime=3572.56 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 113702 0 0 0 356492 764 0 0 20 0 1 0 141322605 692461568 121993 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 169058 121993 4512 2834 0 151263 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 676232 KiB
Current children cumulated memory: 487972 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 119685
/proc/meminfo: memFree=119725144/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=676488 memory=488228 CPUtime=3600.08 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 113766 0 0 0 359241 767 0 0 20 0 1 0 141322605 692723712 122057 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 169122 122057 4512 2834 0 151327 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 676488 KiB
Current children cumulated memory: 488228 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 119505 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.42 s, system=7.67733 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 119685
/proc/meminfo: memFree=119725144/131249996 swapFree=33010416/33010684
[pid=119505] ppid=119498 vsize=676488 memory=488228 CPUtime=3600.08 cores=5,7
/proc/119505/stat : 119505 (mixed-bag) R 119498 119505 119440 0 -1 4194304 113766 0 0 0 359241 767 0 0 20 0 1 0 141322605 692723712 122057 18446744073709551615 4235264 15840557 140728480042800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 56205312 140728480045466 140728480045543 140728480045543 140728480051147 0
/proc/119505/statm: 169122 122057 4512 2834 0 151327 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 676488 KiB
Current children cumulated memory: 488228 KiB
Child status: 0
Real time (s): 3609.91
CPU time (s): 3600.1
CPU user time (s): 3592.42
CPU system time (s): 7.67733
CPU usage (%): 99.7282
Max. virtual memory (cumulated for all children) (KiB): 676488
Max. memory (cumulated for all children) (KiB): 488228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.42
system time used= 7.67733
maximum resident set size= 488612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113795
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= 217
involuntary context switches= 2140
# summary of solver processes directly reported to runsolver:
# pid: 119505
# total CPU time (s): 3600.1
# total CPU user time (s): 3592.42
# total CPU system time (s): 7.67733
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.85729 second user time and 17.1762 second system time
The end
Begin job on nodeC022 at 2025-07-11 19:54:08
IDJOB=4528924
IDBENCH=147533
IDSOLVER=3386
FILE ID=nodeC022/4528924-1752256448
RUNJOBID= nodeC022-1752256448-119453
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_2.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528924-1752256448/watcher-4528924-1752256448 -o /tmp/evaluation-result-4528924-1752256448/solver-4528924-1752256448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752256448-119453 --watchdog 3760 mixed-bag HOME/instance-4528924-1752256448.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1c637e715c606e851ba2308661126deb
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 : 3600.332
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 : 3600.363
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 : 3599.700
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 : 3599.844
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 : 3605.622
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.835
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.951
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 : 3735.095
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: 335612 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