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.03 c [STEP] solving with SCIP
299.27/300.19 c [STEP] preprocessing done, loading into solver
299.36/300.20 c [STEP] solving
299.36/300.20 c #variables 1679 #constraints 3322
299.36/300.20 c SMALL=int, LARGE=long long
299.36/300.20 d SCIPUB 908
299.36/300.20 c bounds - >= 0 @ 299.209
299.36/300.20 c stratification level: 0
299.66/300.50 c bounds - >= 688 @ 299.216
299.66/300.50 c bounds - >= 689 @ 299.218
299.66/300.50 c bounds - >= 690 @ 299.218
299.66/300.50 c bounds - >= 691 @ 299.218
299.66/300.50 c bounds - >= 692 @ 299.218
299.66/300.50 c bounds - >= 693 @ 299.218
299.66/300.50 c bounds - >= 694 @ 299.218
299.66/300.50 c bounds - >= 695 @ 299.218
299.66/300.50 c bounds - >= 696 @ 299.218
299.66/300.50 c bounds - >= 697 @ 299.219
299.66/300.50 c bounds - >= 698 @ 299.219
299.66/300.50 c bounds - >= 699 @ 299.219
299.66/300.50 c bounds - >= 700 @ 299.219
299.66/300.50 c bounds - >= 701 @ 299.219
299.66/300.50 c bounds - >= 702 @ 299.22
299.66/300.50 c bounds - >= 703 @ 299.22
299.66/300.50 c bounds - >= 704 @ 299.22
299.66/300.50 c bounds - >= 705 @ 299.22
299.66/300.50 c bounds - >= 706 @ 299.22
299.66/300.50 c bounds - >= 707 @ 299.22
299.66/300.50 c bounds - >= 708 @ 299.221
299.66/300.50 c bounds - >= 709 @ 299.221
299.66/300.50 c bounds - >= 710 @ 299.221
299.66/300.50 c bounds - >= 711 @ 299.221
299.66/300.50 c bounds - >= 712 @ 299.221
299.66/300.50 c bounds - >= 713 @ 299.222
299.66/300.50 c bounds - >= 714 @ 299.222
299.66/300.50 c bounds - >= 715 @ 299.222
299.66/300.50 c bounds - >= 716 @ 299.222
299.66/300.50 c bounds - >= 717 @ 299.223
299.66/300.50 c bounds - >= 718 @ 299.223
299.66/300.50 c bounds - >= 719 @ 299.223
299.66/300.50 c bounds - >= 720 @ 299.223
299.66/300.50 c bounds - >= 721 @ 299.223
299.66/300.50 c bounds - >= 722 @ 299.224
299.66/300.50 c bounds - >= 723 @ 299.224
299.66/300.50 c bounds - >= 724 @ 299.224
299.66/300.50 c bounds - >= 725 @ 299.224
299.66/300.50 c bounds - >= 726 @ 299.224
299.66/300.50 c bounds - >= 727 @ 299.225
299.66/300.50 c bounds - >= 728 @ 299.225
299.66/300.50 c bounds - >= 729 @ 299.225
299.66/300.50 c bounds - >= 730 @ 299.225
299.66/300.50 c bounds - >= 731 @ 299.226
299.66/300.50 c bounds - >= 732 @ 299.226
299.66/300.50 c bounds - >= 733 @ 299.226
299.66/300.50 c bounds - >= 734 @ 299.226
299.66/300.50 c bounds - >= 735 @ 299.226
299.66/300.50 c bounds - >= 736 @ 299.227
299.66/300.50 c bounds - >= 737 @ 299.227
299.66/300.50 c bounds - >= 738 @ 299.227
299.66/300.50 c bounds - >= 739 @ 299.227
299.66/300.50 c bounds - >= 740 @ 299.228
299.66/300.50 c bounds - >= 741 @ 299.228
299.66/300.50 c bounds - >= 742 @ 299.228
299.66/300.50 c bounds - >= 743 @ 299.228
299.66/300.50 c bounds - >= 744 @ 299.229
299.66/300.50 c bounds - >= 745 @ 299.229
299.66/300.50 c bounds - >= 746 @ 299.229
299.66/300.50 c bounds - >= 747 @ 299.229
299.66/300.50 c bounds - >= 748 @ 299.23
299.66/300.50 c bounds - >= 749 @ 299.23
299.66/300.50 c bounds - >= 750 @ 299.23
299.66/300.50 c bounds - >= 751 @ 299.23
299.66/300.50 c bounds - >= 752 @ 299.231
299.66/300.50 c bounds - >= 753 @ 299.231
299.66/300.50 c bounds - >= 754 @ 299.231
299.66/300.50 c bounds - >= 755 @ 299.231
299.66/300.50 c bounds - >= 756 @ 299.231
299.66/300.50 c bounds - >= 757 @ 299.231
299.66/300.50 c bounds - >= 758 @ 299.231
299.66/300.50 c bounds - >= 759 @ 299.232
299.66/300.50 c bounds - >= 760 @ 299.232
299.66/300.50 c bounds - >= 761 @ 299.232
299.66/300.50 c bounds - >= 762 @ 299.232
299.66/300.50 c bounds - >= 763 @ 299.233
299.66/300.50 c bounds - >= 764 @ 299.233
299.66/300.50 c bounds - >= 765 @ 299.233
299.66/300.50 c bounds - >= 766 @ 299.233
299.66/300.50 c bounds - >= 767 @ 299.234
299.66/300.50 c bounds - >= 768 @ 299.234
299.66/300.50 c bounds - >= 769 @ 299.234
299.66/300.50 c bounds - >= 770 @ 299.235
299.66/300.50 c bounds - >= 771 @ 299.235
299.66/300.50 c bounds - >= 772 @ 299.235
299.66/300.50 c bounds - >= 773 @ 299.235
299.66/300.50 c bounds - >= 774 @ 299.236
299.66/300.50 c bounds - >= 775 @ 299.236
299.66/300.50 c bounds - >= 776 @ 299.236
299.66/300.50 c bounds - >= 777 @ 299.236
299.66/300.50 c bounds - >= 778 @ 299.237
299.66/300.50 c bounds - >= 779 @ 299.237
299.66/300.50 c bounds - >= 780 @ 299.237
299.66/300.50 c bounds - >= 781 @ 299.237
299.66/300.50 c bounds - >= 782 @ 299.237
299.66/300.50 c bounds - >= 783 @ 299.237
299.66/300.50 c bounds - >= 784 @ 299.237
299.66/300.50 c bounds - >= 785 @ 299.238
299.66/300.50 c bounds - >= 786 @ 299.238
299.66/300.50 c bounds - >= 787 @ 299.238
299.66/300.50 c bounds - >= 788 @ 299.238
299.66/300.50 c bounds - >= 789 @ 299.238
299.66/300.50 c bounds - >= 790 @ 299.238
299.66/300.50 c bounds - >= 791 @ 299.238
299.66/300.50 c bounds - >= 792 @ 299.239
299.66/300.50 c bounds - >= 793 @ 299.239
299.66/300.50 c bounds - >= 794 @ 299.239
299.66/300.50 c bounds - >= 795 @ 299.239
299.66/300.50 c bounds - >= 796 @ 299.239
299.66/300.50 c bounds - >= 797 @ 299.239
299.66/300.50 c bounds - >= 798 @ 299.24
299.66/300.50 c bounds - >= 799 @ 299.24
299.66/300.50 c bounds - >= 800 @ 299.24
299.66/300.50 c bounds - >= 801 @ 299.24
299.66/300.50 c bounds - >= 802 @ 299.241
299.66/300.50 c bounds - >= 803 @ 299.241
299.66/300.50 c bounds - >= 804 @ 299.241
299.66/300.50 c bounds - >= 805 @ 299.241
299.66/300.50 c bounds - >= 806 @ 299.241
299.66/300.50 c bounds - >= 807 @ 299.241
299.66/300.50 c bounds - >= 808 @ 299.242
299.66/300.50 c bounds - >= 809 @ 299.242
299.66/300.50 c bounds - >= 810 @ 299.242
299.66/300.50 c bounds - >= 811 @ 299.242
299.66/300.50 c bounds - >= 812 @ 299.243
299.66/300.50 c bounds - >= 813 @ 299.243
299.66/300.50 c bounds - >= 814 @ 299.243
299.66/300.50 c bounds - >= 815 @ 299.243
299.66/300.50 c bounds - >= 816 @ 299.243
299.66/300.50 c bounds - >= 817 @ 299.243
299.66/300.50 c bounds - >= 818 @ 299.244
299.66/300.50 c bounds - >= 819 @ 299.244
299.66/300.50 c bounds - >= 820 @ 299.244
299.66/300.50 c bounds - >= 821 @ 299.244
299.66/300.50 c bounds - >= 822 @ 299.244
299.66/300.50 c bounds - >= 823 @ 299.244
299.66/300.50 c bounds - >= 824 @ 299.244
299.66/300.50 c bounds - >= 825 @ 299.244
299.66/300.50 c bounds - >= 826 @ 299.245
299.66/300.50 c bounds - >= 827 @ 299.245
299.66/300.50 c bounds - >= 828 @ 299.245
299.66/300.50 c bounds - >= 829 @ 299.245
299.66/300.50 c bounds - >= 830 @ 299.245
299.66/300.50 c bounds - >= 831 @ 299.245
299.66/300.50 c bounds - >= 832 @ 299.246
299.66/300.50 c #Conflicts: 1000 | #Constraints: 5296
351.91/352.95 c #Conflicts: 2000 | #Constraints: 6296
351.91/352.95 c INPROCESSING
351.91/352.95 c GARBAGE COLLECT
351.91/352.95 c #Conflicts: 3000 | #Constraints: 6127
351.91/352.95 c #Conflicts: 4000 | #Constraints: 7127
351.91/352.95 c INPROCESSING
351.91/352.95 c GARBAGE COLLECT
351.91/352.95 c #Conflicts: 5000 | #Constraints: 6535
351.91/352.95 c #Conflicts: 6000 | #Constraints: 7535
351.91/352.95 c INPROCESSING
351.91/352.95 c GARBAGE COLLECT
351.91/352.95 c #Conflicts: 7000 | #Constraints: 6522
351.91/352.95 c #Conflicts: 8000 | #Constraints: 7522
351.91/352.95 c #Conflicts: 9000 | #Constraints: 8522
351.91/352.95 c INPROCESSING
351.91/352.95 c GARBAGE COLLECT
351.91/352.95 c #Conflicts: 10000 | #Constraints: 7224
351.91/352.95 c #Conflicts: 11000 | #Constraints: 8224
351.91/352.95 c #Conflicts: 12000 | #Constraints: 9224
351.91/352.95 c INPROCESSING
351.91/352.95 c GARBAGE COLLECT
351.91/352.95 c #Conflicts: 13000 | #Constraints: 7686
351.91/352.95 c #Conflicts: 14000 | #Constraints: 8686
351.91/352.95 c #Conflicts: 15000 | #Constraints: 9686
351.91/352.95 c INPROCESSING
351.91/352.95 c GARBAGE COLLECT
351.91/352.95 c #Conflicts: 16000 | #Constraints: 7907
351.91/352.95 c #Conflicts: 17000 | #Constraints: 8907
351.91/352.95 c #Conflicts: 18000 | #Constraints: 9907
351.91/352.95 c INPROCESSING
351.91/352.95 c GARBAGE COLLECT
351.91/352.95 c #Conflicts: 19000 | #Constraints: 7908
351.91/352.95 c #Conflicts: 20000 | #Constraints: 8908
351.91/352.95 c #Conflicts: 21000 | #Constraints: 9908
351.91/352.95 c INPROCESSING
351.91/352.95 c GARBAGE COLLECT
351.91/352.95 c #Conflicts: 22000 | #Constraints: 7700
351.91/352.95 c #Conflicts: 23000 | #Constraints: 8700
351.91/352.95 c #Conflicts: 24000 | #Constraints: 9700
351.91/352.95 c #Conflicts: 25000 | #Constraints: 10700
351.91/352.95 c INPROCESSING
351.91/352.95 c GARBAGE COLLECT
351.91/352.95 c #Conflicts: 26000 | #Constraints: 8302
351.91/352.95 c #Conflicts: 27000 | #Constraints: 9302
351.91/352.95 c #Conflicts: 28000 | #Constraints: 10302
351.91/352.95 c #Conflicts: 29000 | #Constraints: 11302
351.91/352.95 c INPROCESSING
351.91/352.95 c GARBAGE COLLECT
351.91/352.95 c #Conflicts: 30000 | #Constraints: 8695
351.91/352.95 c #Conflicts: 31000 | #Constraints: 9695
351.91/352.95 c #Conflicts: 32000 | #Constraints: 10695
351.91/352.95 c #Conflicts: 33000 | #Constraints: 11695
351.91/352.95 c INPROCESSING
351.91/352.95 c GARBAGE COLLECT
351.91/352.95 c #Conflicts: 34000 | #Constraints: 8890
351.91/352.95 c #Conflicts: 35000 | #Constraints: 9890
351.91/352.95 c #Conflicts: 36000 | #Constraints: 10890
351.91/352.95 c #Conflicts: 37000 | #Constraints: 11890
351.91/352.95 c INPROCESSING
351.91/352.95 c GARBAGE COLLECT
351.91/352.95 c #Conflicts: 38000 | #Constraints: 8895
351.91/352.95 c #Conflicts: 39000 | #Constraints: 9895
351.91/352.95 c #Conflicts: 40000 | #Constraints: 10895
351.91/352.95 c #Conflicts: 41000 | #Constraints: 11895
351.91/352.95 c INPROCESSING
351.91/352.95 c GARBAGE COLLECT
351.91/352.95 c #Conflicts: 42000 | #Constraints: 8701
351.91/352.95 c #Conflicts: 43000 | #Constraints: 9701
351.91/352.95 c #Conflicts: 44000 | #Constraints: 10701
351.91/352.95 c #Conflicts: 45000 | #Constraints: 11701
351.91/352.95 c #Conflicts: 46000 | #Constraints: 12701
351.91/352.95 c INPROCESSING
351.91/352.95 c GARBAGE COLLECT
351.91/352.95 c #Conflicts: 47000 | #Constraints: 9295
351.91/352.95 c #Conflicts: 48000 | #Constraints: 10295
351.91/352.95 c #Conflicts: 49000 | #Constraints: 11295
351.91/352.95 c #Conflicts: 50000 | #Constraints: 12295
351.91/352.95 c #Conflicts: 51000 | #Constraints: 13295
351.91/352.95 c INPROCESSING
351.91/352.95 c GARBAGE COLLECT
351.91/352.95 c #Conflicts: 52000 | #Constraints: 9693
351.91/352.95 c #Conflicts: 53000 | #Constraints: 10693
351.91/352.95 c #Conflicts: 54000 | #Constraints: 11693
351.91/352.95 c #Conflicts: 55000 | #Constraints: 12693
351.91/352.95 c #Conflicts: 56000 | #Constraints: 13693
351.91/352.95 c INPROCESSING
351.91/352.95 c GARBAGE COLLECT
351.91/352.95 c #Conflicts: 57000 | #Constraints: 9889
351.91/352.95 c #Conflicts: 58000 | #Constraints: 10889
351.91/352.95 c #Conflicts: 59000 | #Constraints: 11889
351.91/352.95 c #Conflicts: 60000 | #Constraints: 12889
351.91/352.95 c #Conflicts: 61000 | #Constraints: 13889
351.91/352.95 c INPROCESSING
351.91/352.95 c GARBAGE COLLECT
351.91/352.95 c #Conflicts: 62000 | #Constraints: 9891
351.91/352.95 c #Conflicts: 63000 | #Constraints: 10891
351.91/352.95 c #Conflicts: 64000 | #Constraints: 11891
351.91/352.95 c #Conflicts: 65000 | #Constraints: 12891
351.91/352.95 c #Conflicts: 66000 | #Constraints: 13891
351.91/352.95 c INPROCESSING
351.91/352.95 c GARBAGE COLLECT
351.91/352.95 c #Conflicts: 67000 | #Constraints: 9681
351.91/352.95 c #Conflicts: 68000 | #Constraints: 10681
351.91/352.95 c #Conflicts: 69000 | #Constraints: 11681
450.24/451.50 c #Conflicts: 70000 | #Constraints: 12681
450.24/451.50 c #Conflicts: 71000 | #Constraints: 13681
450.24/451.50 c #Conflicts: 72000 | #Constraints: 14681
450.24/451.50 c INPROCESSING
450.24/451.50 c GARBAGE COLLECT
450.24/451.50 c #Conflicts: 73000 | #Constraints: 10279
450.24/451.50 c #Conflicts: 74000 | #Constraints: 11279
450.24/451.50 c #Conflicts: 75000 | #Constraints: 12279
450.24/451.50 c #Conflicts: 76000 | #Constraints: 13279
450.24/451.50 c #Conflicts: 77000 | #Constraints: 14279
450.24/451.50 c #Conflicts: 78000 | #Constraints: 15279
450.24/451.50 c INPROCESSING
450.24/451.50 c GARBAGE COLLECT
450.24/451.50 c #Conflicts: 79000 | #Constraints: 10678
450.24/451.50 c #Conflicts: 80000 | #Constraints: 11678
450.24/451.50 c #Conflicts: 81000 | #Constraints: 12678
450.24/451.50 c #Conflicts: 82000 | #Constraints: 13678
450.24/451.50 c #Conflicts: 83000 | #Constraints: 14678
450.24/451.50 c #Conflicts: 84000 | #Constraints: 15678
450.24/451.50 c INPROCESSING
450.24/451.50 c GARBAGE COLLECT
450.24/451.50 c #Conflicts: 85000 | #Constraints: 10874
450.24/451.50 c #Conflicts: 86000 | #Constraints: 11874
450.24/451.50 c #Conflicts: 87000 | #Constraints: 12874
450.24/451.50 c #Conflicts: 88000 | #Constraints: 13874
450.24/451.50 c #Conflicts: 89000 | #Constraints: 14874
450.24/451.50 c #Conflicts: 90000 | #Constraints: 15874
450.24/451.50 c INPROCESSING
450.24/451.50 c GARBAGE COLLECT
450.24/451.50 c #Conflicts: 91000 | #Constraints: 10879
450.24/451.50 c #Conflicts: 92000 | #Constraints: 11879
450.24/451.50 c #Conflicts: 93000 | #Constraints: 12879
450.24/451.50 c #Conflicts: 94000 | #Constraints: 13879
450.24/451.50 c #Conflicts: 95000 | #Constraints: 14879
450.24/451.50 c #Conflicts: 96000 | #Constraints: 15879
450.24/451.50 c INPROCESSING
450.24/451.50 c GARBAGE COLLECT
450.24/451.50 c #Conflicts: 97000 | #Constraints: 10682
450.24/451.50 c #Conflicts: 98000 | #Constraints: 11682
450.24/451.50 c #Conflicts: 99000 | #Constraints: 12682
450.24/451.50 c #Conflicts: 100000 | #Constraints: 13682
450.24/451.50 c #Conflicts: 101000 | #Constraints: 14682
450.24/451.50 c #Conflicts: 102000 | #Constraints: 15682
450.24/451.50 c #Conflicts: 103000 | #Constraints: 16682
450.24/451.50 c INPROCESSING
450.24/451.50 c GARBAGE COLLECT
450.24/451.50 c #Conflicts: 104000 | #Constraints: 11289
450.24/451.50 c #Conflicts: 105000 | #Constraints: 12289
450.24/451.50 c #Conflicts: 106000 | #Constraints: 13289
450.24/451.50 c #Conflicts: 107000 | #Constraints: 14289
450.24/451.50 c #Conflicts: 108000 | #Constraints: 15289
450.24/451.50 c #Conflicts: 109000 | #Constraints: 16289
450.24/451.50 c #Conflicts: 110000 | #Constraints: 17289
450.24/451.50 c INPROCESSING
450.24/451.50 c GARBAGE COLLECT
450.24/451.50 c #Conflicts: 111000 | #Constraints: 11684
450.24/451.50 c #Conflicts: 112000 | #Constraints: 12684
450.24/451.50 c #Conflicts: 113000 | #Constraints: 13684
450.24/451.50 c #Conflicts: 114000 | #Constraints: 14684
450.24/451.50 c #Conflicts: 115000 | #Constraints: 15684
450.24/451.50 c #Conflicts: 116000 | #Constraints: 16684
450.24/451.50 c #Conflicts: 117000 | #Constraints: 17684
450.24/451.50 c INPROCESSING
450.24/451.50 c GARBAGE COLLECT
450.24/451.50 c #Conflicts: 118000 | #Constraints: 11887
450.24/451.50 c #Conflicts: 119000 | #Constraints: 12887
450.24/451.50 c #Conflicts: 120000 | #Constraints: 13887
450.24/451.50 c #Conflicts: 121000 | #Constraints: 14887
450.24/451.50 c #Conflicts: 122000 | #Constraints: 15887
450.24/451.50 c #Conflicts: 123000 | #Constraints: 16887
450.24/451.50 c #Conflicts: 124000 | #Constraints: 17887
450.24/451.50 c INPROCESSING
450.24/451.50 c GARBAGE COLLECT
450.24/451.50 c #Conflicts: 125000 | #Constraints: 11885
450.24/451.50 c #Conflicts: 126000 | #Constraints: 12885
450.24/451.50 c #Conflicts: 127000 | #Constraints: 13885
450.24/451.50 c #Conflicts: 128000 | #Constraints: 14885
450.24/451.50 c #Conflicts: 129000 | #Constraints: 15885
450.24/451.50 c #Conflicts: 130000 | #Constraints: 16885
450.24/451.50 c #Conflicts: 131000 | #Constraints: 17885
450.24/451.50 c INPROCESSING
450.24/451.50 c GARBAGE COLLECT
450.24/451.50 c #Conflicts: 132000 | #Constraints: 11685
450.24/451.50 c #Conflicts: 133000 | #Constraints: 12685
450.24/451.50 c #Conflicts: 134000 | #Constraints: 13685
450.24/451.50 c #Conflicts: 135000 | #Constraints: 14685
450.24/451.50 c #Conflicts: 136000 | #Constraints: 15685
450.24/451.50 c #Conflicts: 137000 | #Constraints: 16685
450.24/451.50 c #Conflicts: 138000 | #Constraints: 17685
450.24/451.50 c #Conflicts: 139000 | #Constraints: 18685
450.24/451.50 c INPROCESSING
450.24/451.50 c GARBAGE COLLECT
450.24/451.50 c #Conflicts: 140000 | #Constraints: 12284
450.24/451.50 c #Conflicts: 141000 | #Constraints: 13284
620.75/622.50 c #Conflicts: 142000 | #Constraints: 14284
620.75/622.50 c #Conflicts: 143000 | #Constraints: 15284
620.75/622.50 c #Conflicts: 144000 | #Constraints: 16284
620.75/622.50 c #Conflicts: 145000 | #Constraints: 17284
620.75/622.50 c #Conflicts: 146000 | #Constraints: 18284
620.75/622.50 c #Conflicts: 147000 | #Constraints: 19284
620.75/622.50 c INPROCESSING
620.75/622.50 c GARBAGE COLLECT
620.75/622.50 c #Conflicts: 148000 | #Constraints: 12684
620.75/622.50 c #Conflicts: 149000 | #Constraints: 13684
620.75/622.50 c #Conflicts: 150000 | #Constraints: 14684
620.75/622.50 c #Conflicts: 151000 | #Constraints: 15684
620.75/622.50 c #Conflicts: 152000 | #Constraints: 16684
620.75/622.50 c #Conflicts: 153000 | #Constraints: 17684
620.75/622.50 c #Conflicts: 154000 | #Constraints: 18684
620.75/622.50 c #Conflicts: 155000 | #Constraints: 19684
620.75/622.50 c INPROCESSING
620.75/622.50 c GARBAGE COLLECT
620.75/622.50 c #Conflicts: 156000 | #Constraints: 12884
620.75/622.50 c #Conflicts: 157000 | #Constraints: 13884
620.75/622.50 c #Conflicts: 158000 | #Constraints: 14884
620.75/622.50 c #Conflicts: 159000 | #Constraints: 15884
620.75/622.50 c #Conflicts: 160000 | #Constraints: 16884
620.75/622.50 c #Conflicts: 161000 | #Constraints: 17884
620.75/622.50 c #Conflicts: 162000 | #Constraints: 18884
620.75/622.50 c #Conflicts: 163000 | #Constraints: 19884
620.75/622.50 c INPROCESSING
620.75/622.50 c GARBAGE COLLECT
620.75/622.50 c #Conflicts: 164000 | #Constraints: 12885
620.75/622.50 c #Conflicts: 165000 | #Constraints: 13885
620.75/622.50 c #Conflicts: 166000 | #Constraints: 14885
620.75/622.50 c #Conflicts: 167000 | #Constraints: 15885
620.75/622.50 c #Conflicts: 168000 | #Constraints: 16885
620.75/622.50 c #Conflicts: 169000 | #Constraints: 17885
620.75/622.50 c #Conflicts: 170000 | #Constraints: 18885
620.75/622.50 c #Conflicts: 171000 | #Constraints: 19885
620.75/622.50 c INPROCESSING
620.75/622.50 c GARBAGE COLLECT
620.75/622.50 c #Conflicts: 172000 | #Constraints: 12680
620.75/622.50 c #Conflicts: 173000 | #Constraints: 13680
620.75/622.50 c #Conflicts: 174000 | #Constraints: 14680
620.75/622.50 c #Conflicts: 175000 | #Constraints: 15680
620.75/622.50 c #Conflicts: 176000 | #Constraints: 16680
620.75/622.50 c #Conflicts: 177000 | #Constraints: 17680
620.75/622.50 c #Conflicts: 178000 | #Constraints: 18680
620.75/622.50 c #Conflicts: 179000 | #Constraints: 19680
620.75/622.50 c #Conflicts: 180000 | #Constraints: 20680
620.75/622.50 c INPROCESSING
620.75/622.50 c GARBAGE COLLECT
620.75/622.50 c #Conflicts: 181000 | #Constraints: 13278
620.75/622.50 c #Conflicts: 182000 | #Constraints: 14278
620.75/622.50 c #Conflicts: 183000 | #Constraints: 15278
620.75/622.50 c #Conflicts: 184000 | #Constraints: 16278
620.75/622.50 c #Conflicts: 185000 | #Constraints: 17278
620.75/622.50 c #Conflicts: 186000 | #Constraints: 18278
620.75/622.50 c #Conflicts: 187000 | #Constraints: 19278
620.75/622.50 c #Conflicts: 188000 | #Constraints: 20278
620.75/622.50 c #Conflicts: 189000 | #Constraints: 21278
620.75/622.50 c INPROCESSING
620.75/622.50 c GARBAGE COLLECT
620.75/622.50 c #Conflicts: 190000 | #Constraints: 13679
620.75/622.50 c #Conflicts: 191000 | #Constraints: 14679
620.75/622.50 c #Conflicts: 192000 | #Constraints: 15679
620.75/622.50 c #Conflicts: 193000 | #Constraints: 16679
620.75/622.50 c #Conflicts: 194000 | #Constraints: 17679
620.75/622.50 c #Conflicts: 195000 | #Constraints: 18679
620.75/622.50 c #Conflicts: 196000 | #Constraints: 19679
620.75/622.50 c #Conflicts: 197000 | #Constraints: 20679
620.75/622.50 c #Conflicts: 198000 | #Constraints: 21679
620.75/622.50 c INPROCESSING
620.75/622.50 c GARBAGE COLLECT
620.75/622.50 c #Conflicts: 199000 | #Constraints: 13882
620.75/622.50 c #Conflicts: 200000 | #Constraints: 14882
620.75/622.50 c #Conflicts: 201000 | #Constraints: 15882
620.75/622.50 c #Conflicts: 202000 | #Constraints: 16882
620.75/622.50 c #Conflicts: 203000 | #Constraints: 17882
620.75/622.50 c #Conflicts: 204000 | #Constraints: 18882
620.75/622.50 c #Conflicts: 205000 | #Constraints: 19882
620.75/622.50 c #Conflicts: 206000 | #Constraints: 20882
620.75/622.50 c #Conflicts: 207000 | #Constraints: 21882
620.75/622.50 c INPROCESSING
620.75/622.50 c GARBAGE COLLECT
620.75/622.50 c #Conflicts: 208000 | #Constraints: 13889
620.75/622.50 c #Conflicts: 209000 | #Constraints: 14889
620.75/622.50 c #Conflicts: 210000 | #Constraints: 15889
620.75/622.50 c #Conflicts: 211000 | #Constraints: 16889
620.75/622.50 c #Conflicts: 212000 | #Constraints: 17889
620.75/622.50 c #Conflicts: 213000 | #Constraints: 18889
620.75/622.50 c #Conflicts: 214000 | #Constraints: 19889
805.56/807.94 c #Conflicts: 215000 | #Constraints: 20889
805.56/807.94 c #Conflicts: 216000 | #Constraints: 21889
805.56/807.94 c INPROCESSING
805.56/807.94 c GARBAGE COLLECT
805.56/807.94 c #Conflicts: 217000 | #Constraints: 13689
805.56/807.94 c #Conflicts: 218000 | #Constraints: 14689
805.56/807.94 c #Conflicts: 219000 | #Constraints: 15689
805.56/807.94 c #Conflicts: 220000 | #Constraints: 16689
805.56/807.94 c #Conflicts: 221000 | #Constraints: 17689
805.56/807.94 c #Conflicts: 222000 | #Constraints: 18689
805.56/807.94 c #Conflicts: 223000 | #Constraints: 19689
805.56/807.94 c #Conflicts: 224000 | #Constraints: 20689
805.56/807.94 c #Conflicts: 225000 | #Constraints: 21689
805.56/807.94 c #Conflicts: 226000 | #Constraints: 22689
805.56/807.94 c INPROCESSING
805.56/807.94 c GARBAGE COLLECT
805.56/807.94 c #Conflicts: 227000 | #Constraints: 14283
805.56/807.94 c #Conflicts: 228000 | #Constraints: 15283
805.56/807.94 c #Conflicts: 229000 | #Constraints: 16283
805.56/807.94 c #Conflicts: 230000 | #Constraints: 17283
805.56/807.94 c #Conflicts: 231000 | #Constraints: 18283
805.56/807.94 c #Conflicts: 232000 | #Constraints: 19283
805.56/807.94 c #Conflicts: 233000 | #Constraints: 20283
805.56/807.94 c #Conflicts: 234000 | #Constraints: 21283
805.56/807.94 c #Conflicts: 235000 | #Constraints: 22283
805.56/807.94 c #Conflicts: 236000 | #Constraints: 23283
805.56/807.94 c INPROCESSING
805.56/807.94 c GARBAGE COLLECT
805.56/807.94 c #Conflicts: 237000 | #Constraints: 14676
805.56/807.94 c #Conflicts: 238000 | #Constraints: 15676
805.56/807.94 c #Conflicts: 239000 | #Constraints: 16676
805.56/807.94 c #Conflicts: 240000 | #Constraints: 17676
805.56/807.94 c #Conflicts: 241000 | #Constraints: 18676
805.56/807.94 c #Conflicts: 242000 | #Constraints: 19676
805.56/807.94 c #Conflicts: 243000 | #Constraints: 20676
805.56/807.94 c #Conflicts: 244000 | #Constraints: 21676
805.56/807.94 c #Conflicts: 245000 | #Constraints: 22676
805.56/807.94 c #Conflicts: 246000 | #Constraints: 23676
805.56/807.94 c INPROCESSING
805.56/807.94 c GARBAGE COLLECT
805.56/807.94 c #Conflicts: 247000 | #Constraints: 14880
805.56/807.94 c #Conflicts: 248000 | #Constraints: 15880
805.56/807.94 c #Conflicts: 249000 | #Constraints: 16880
805.56/807.94 c #Conflicts: 250000 | #Constraints: 17880
805.56/807.94 c #Conflicts: 251000 | #Constraints: 18880
805.56/807.94 c #Conflicts: 252000 | #Constraints: 19880
805.56/807.94 c #Conflicts: 253000 | #Constraints: 20880
805.56/807.94 c #Conflicts: 254000 | #Constraints: 21880
805.56/807.94 c #Conflicts: 255000 | #Constraints: 22880
805.56/807.94 c #Conflicts: 256000 | #Constraints: 23880
805.56/807.94 c INPROCESSING
805.56/807.94 c GARBAGE COLLECT
805.56/807.94 c #Conflicts: 257000 | #Constraints: 14877
805.56/807.94 c #Conflicts: 258000 | #Constraints: 15877
805.56/807.94 c #Conflicts: 259000 | #Constraints: 16877
805.56/807.94 c #Conflicts: 260000 | #Constraints: 17877
805.56/807.94 c #Conflicts: 261000 | #Constraints: 18877
805.56/807.94 c #Conflicts: 262000 | #Constraints: 19877
805.56/807.94 c #Conflicts: 263000 | #Constraints: 20877
805.56/807.94 c #Conflicts: 264000 | #Constraints: 21877
805.56/807.94 c #Conflicts: 265000 | #Constraints: 22877
805.56/807.94 c #Conflicts: 266000 | #Constraints: 23877
805.56/807.94 c INPROCESSING
805.56/807.94 c GARBAGE COLLECT
805.56/807.94 c #Conflicts: 267000 | #Constraints: 14679
805.56/807.94 c #Conflicts: 268000 | #Constraints: 15679
805.56/807.94 c #Conflicts: 269000 | #Constraints: 16679
805.56/807.94 c #Conflicts: 270000 | #Constraints: 17679
805.56/807.94 c #Conflicts: 271000 | #Constraints: 18679
805.56/807.94 c #Conflicts: 272000 | #Constraints: 19679
805.56/807.94 c #Conflicts: 273000 | #Constraints: 20679
805.56/807.94 c #Conflicts: 274000 | #Constraints: 21679
805.56/807.94 c #Conflicts: 275000 | #Constraints: 22679
805.56/807.94 c #Conflicts: 276000 | #Constraints: 23679
805.56/807.94 c #Conflicts: 277000 | #Constraints: 24679
805.56/807.94 c INPROCESSING
805.56/807.94 c GARBAGE COLLECT
805.56/807.94 c #Conflicts: 278000 | #Constraints: 15278
805.56/807.94 c #Conflicts: 279000 | #Constraints: 16278
805.56/807.94 c #Conflicts: 280000 | #Constraints: 17278
805.56/807.94 c #Conflicts: 281000 | #Constraints: 18278
805.56/807.94 c #Conflicts: 282000 | #Constraints: 19278
805.56/807.94 c #Conflicts: 283000 | #Constraints: 20278
805.56/807.94 c #Conflicts: 284000 | #Constraints: 21278
805.56/807.94 c #Conflicts: 285000 | #Constraints: 22278
805.56/807.94 c #Conflicts: 286000 | #Constraints: 23278
805.56/807.94 c #Conflicts: 287000 | #Constraints: 24278
805.56/807.94 c #Conflicts: 288000 | #Constraints: 25278
805.56/807.94 c INPROCESSING
927.48/930.24 c GARBAGE COLLECT
927.48/930.24 c #Conflicts: 289000 | #Constraints: 15681
927.48/930.24 c #Conflicts: 290000 | #Constraints: 16681
927.48/930.24 c #Conflicts: 291000 | #Constraints: 17681
927.48/930.24 c #Conflicts: 292000 | #Constraints: 18681
927.48/930.24 c #Conflicts: 293000 | #Constraints: 19681
927.48/930.24 c #Conflicts: 294000 | #Constraints: 20681
927.48/930.24 c #Conflicts: 295000 | #Constraints: 21681
927.48/930.24 c #Conflicts: 296000 | #Constraints: 22681
927.48/930.24 c #Conflicts: 297000 | #Constraints: 23681
927.48/930.24 c #Conflicts: 298000 | #Constraints: 24681
927.48/930.24 c #Conflicts: 299000 | #Constraints: 25681
927.48/930.24 c INPROCESSING
927.48/930.24 c GARBAGE COLLECT
927.48/930.24 c #Conflicts: 300000 | #Constraints: 15875
927.48/930.24 c #Conflicts: 301000 | #Constraints: 16875
927.48/930.24 c #Conflicts: 302000 | #Constraints: 17875
927.48/930.24 c #Conflicts: 303000 | #Constraints: 18875
927.48/930.24 c #Conflicts: 304000 | #Constraints: 19875
927.48/930.24 c #Conflicts: 305000 | #Constraints: 20875
927.48/930.24 c #Conflicts: 306000 | #Constraints: 21875
927.48/930.24 c #Conflicts: 307000 | #Constraints: 22875
927.48/930.24 c #Conflicts: 308000 | #Constraints: 23875
927.48/930.24 c #Conflicts: 309000 | #Constraints: 24875
927.48/930.24 c #Conflicts: 310000 | #Constraints: 25875
927.48/930.24 c INPROCESSING
927.48/930.24 c GARBAGE COLLECT
927.48/930.24 c #Conflicts: 311000 | #Constraints: 15873
927.48/930.24 c #Conflicts: 312000 | #Constraints: 16873
927.48/930.24 c #Conflicts: 313000 | #Constraints: 17873
927.48/930.24 c #Conflicts: 314000 | #Constraints: 18873
927.48/930.24 c #Conflicts: 315000 | #Constraints: 19873
927.48/930.24 c #Conflicts: 316000 | #Constraints: 20873
927.48/930.24 c #Conflicts: 317000 | #Constraints: 21873
927.48/930.24 c #Conflicts: 318000 | #Constraints: 22873
927.48/930.24 c #Conflicts: 319000 | #Constraints: 23873
927.48/930.24 c #Conflicts: 320000 | #Constraints: 24873
927.48/930.24 c #Conflicts: 321000 | #Constraints: 25873
927.48/930.24 c INPROCESSING
927.48/930.24 c GARBAGE COLLECT
927.48/930.24 c #Conflicts: 322000 | #Constraints: 15680
927.48/930.24 c #Conflicts: 323000 | #Constraints: 16680
927.48/930.24 c #Conflicts: 324000 | #Constraints: 17680
927.48/930.24 c #Conflicts: 325000 | #Constraints: 18680
927.48/930.24 c #Conflicts: 326000 | #Constraints: 19680
927.48/930.24 c #Conflicts: 327000 | #Constraints: 20680
927.48/930.24 c #Conflicts: 328000 | #Constraints: 21680
927.48/930.24 c #Conflicts: 329000 | #Constraints: 22680
927.48/930.24 c #Conflicts: 330000 | #Constraints: 23680
927.48/930.24 c #Conflicts: 331000 | #Constraints: 24680
927.48/930.24 c #Conflicts: 332000 | #Constraints: 25680
927.48/930.24 c #Conflicts: 333000 | #Constraints: 26680
927.48/930.24 c INPROCESSING
927.48/930.24 c GARBAGE COLLECT
927.48/930.24 c #Conflicts: 334000 | #Constraints: 16290
927.48/930.24 c #Conflicts: 335000 | #Constraints: 17290
927.48/930.24 c #Conflicts: 336000 | #Constraints: 18290
927.48/930.24 c #Conflicts: 337000 | #Constraints: 19290
927.48/930.24 c #Conflicts: 338000 | #Constraints: 20290
927.48/930.24 c #Conflicts: 339000 | #Constraints: 21290
927.48/930.24 c #Conflicts: 340000 | #Constraints: 22290
927.48/930.24 c #Conflicts: 341000 | #Constraints: 23290
927.48/930.24 c #Conflicts: 342000 | #Constraints: 24290
927.48/930.24 c #Conflicts: 343000 | #Constraints: 25290
927.48/930.24 c #Conflicts: 344000 | #Constraints: 26290
927.48/930.24 c #Conflicts: 345000 | #Constraints: 27290
927.48/930.24 c INPROCESSING
927.48/930.24 c GARBAGE COLLECT
927.48/930.24 c #Conflicts: 346000 | #Constraints: 16688
927.48/930.24 c #Conflicts: 347000 | #Constraints: 17688
927.48/930.24 c #Conflicts: 348000 | #Constraints: 18688
927.48/930.24 c #Conflicts: 349000 | #Constraints: 19688
927.48/930.24 c #Conflicts: 350000 | #Constraints: 20688
927.48/930.24 c #Conflicts: 351000 | #Constraints: 21688
927.48/930.24 c #Conflicts: 352000 | #Constraints: 22688
927.48/930.24 c #Conflicts: 353000 | #Constraints: 23688
927.48/930.24 c #Conflicts: 354000 | #Constraints: 24688
927.48/930.24 c #Conflicts: 355000 | #Constraints: 25688
927.48/930.24 c #Conflicts: 356000 | #Constraints: 26688
927.48/930.24 c #Conflicts: 357000 | #Constraints: 27688
927.48/930.24 c INPROCESSING
927.48/930.24 c GARBAGE COLLECT
927.48/930.24 c #Conflicts: 358000 | #Constraints: 16886
927.48/930.24 c #Conflicts: 359000 | #Constraints: 17886
927.48/930.24 c #Conflicts: 360000 | #Constraints: 18886
927.48/930.24 c #Conflicts: 361000 | #Constraints: 19886
927.48/930.24 c #Conflicts: 362000 | #Constraints: 20886
927.48/930.24 c #Conflicts: 363000 | #Constraints: 21886
1077.03/1080.29 c #Conflicts: 364000 | #Constraints: 22886
1077.03/1080.29 c #Conflicts: 365000 | #Constraints: 23886
1077.03/1080.29 c #Conflicts: 366000 | #Constraints: 24886
1077.03/1080.29 c #Conflicts: 367000 | #Constraints: 25886
1077.03/1080.29 c #Conflicts: 368000 | #Constraints: 26886
1077.03/1080.29 c #Conflicts: 369000 | #Constraints: 27886
1077.03/1080.29 c INPROCESSING
1077.03/1080.29 c GARBAGE COLLECT
1077.03/1080.29 c #Conflicts: 370000 | #Constraints: 16884
1077.03/1080.29 c #Conflicts: 371000 | #Constraints: 17884
1077.03/1080.29 c #Conflicts: 372000 | #Constraints: 18884
1077.03/1080.29 c #Conflicts: 373000 | #Constraints: 19884
1077.03/1080.29 c #Conflicts: 374000 | #Constraints: 20884
1077.03/1080.29 c #Conflicts: 375000 | #Constraints: 21884
1077.03/1080.29 c #Conflicts: 376000 | #Constraints: 22884
1077.03/1080.29 c #Conflicts: 377000 | #Constraints: 23884
1077.03/1080.29 c #Conflicts: 378000 | #Constraints: 24884
1077.03/1080.29 c #Conflicts: 379000 | #Constraints: 25884
1077.03/1080.29 c #Conflicts: 380000 | #Constraints: 26884
1077.03/1080.29 c #Conflicts: 381000 | #Constraints: 27884
1077.03/1080.29 c INPROCESSING
1077.03/1080.29 c GARBAGE COLLECT
1077.03/1080.29 c #Conflicts: 382000 | #Constraints: 16683
1077.03/1080.29 c #Conflicts: 383000 | #Constraints: 17683
1077.03/1080.29 c #Conflicts: 384000 | #Constraints: 18683
1077.03/1080.29 c #Conflicts: 385000 | #Constraints: 19683
1077.03/1080.29 c #Conflicts: 386000 | #Constraints: 20683
1077.03/1080.29 c #Conflicts: 387000 | #Constraints: 21683
1077.03/1080.29 c #Conflicts: 388000 | #Constraints: 22683
1077.03/1080.29 c #Conflicts: 389000 | #Constraints: 23683
1077.03/1080.29 c #Conflicts: 390000 | #Constraints: 24683
1077.03/1080.29 c #Conflicts: 391000 | #Constraints: 25683
1077.03/1080.29 c #Conflicts: 392000 | #Constraints: 26683
1077.03/1080.29 c #Conflicts: 393000 | #Constraints: 27683
1077.03/1080.29 c #Conflicts: 394000 | #Constraints: 28683
1077.03/1080.29 c INPROCESSING
1077.03/1080.29 c GARBAGE COLLECT
1077.03/1080.29 c #Conflicts: 395000 | #Constraints: 17284
1077.03/1080.29 c #Conflicts: 396000 | #Constraints: 18284
1077.03/1080.29 c #Conflicts: 397000 | #Constraints: 19284
1077.03/1080.29 c #Conflicts: 398000 | #Constraints: 20284
1077.03/1080.29 c #Conflicts: 399000 | #Constraints: 21284
1077.03/1080.29 c #Conflicts: 400000 | #Constraints: 22284
1077.03/1080.29 c #Conflicts: 401000 | #Constraints: 23284
1077.03/1080.29 c #Conflicts: 402000 | #Constraints: 24284
1077.03/1080.29 c #Conflicts: 403000 | #Constraints: 25284
1077.03/1080.29 c #Conflicts: 404000 | #Constraints: 26284
1077.03/1080.29 c #Conflicts: 405000 | #Constraints: 27284
1077.03/1080.29 c #Conflicts: 406000 | #Constraints: 28284
1077.03/1080.29 c #Conflicts: 407000 | #Constraints: 29284
1077.03/1080.29 c INPROCESSING
1077.03/1080.29 c GARBAGE COLLECT
1077.03/1080.29 c #Conflicts: 408000 | #Constraints: 17684
1077.03/1080.29 c #Conflicts: 409000 | #Constraints: 18684
1077.03/1080.29 c #Conflicts: 410000 | #Constraints: 19684
1077.03/1080.29 c #Conflicts: 411000 | #Constraints: 20684
1077.03/1080.29 c #Conflicts: 412000 | #Constraints: 21684
1077.03/1080.29 c #Conflicts: 413000 | #Constraints: 22684
1077.03/1080.29 c #Conflicts: 414000 | #Constraints: 23684
1077.03/1080.29 c #Conflicts: 415000 | #Constraints: 24684
1077.03/1080.29 c #Conflicts: 416000 | #Constraints: 25684
1077.03/1080.29 c #Conflicts: 417000 | #Constraints: 26684
1077.03/1080.29 c #Conflicts: 418000 | #Constraints: 27684
1077.03/1080.29 c #Conflicts: 419000 | #Constraints: 28684
1077.03/1080.29 c #Conflicts: 420000 | #Constraints: 29684
1077.03/1080.29 c INPROCESSING
1077.03/1080.29 c GARBAGE COLLECT
1077.03/1080.29 c #Conflicts: 421000 | #Constraints: 17883
1077.03/1080.29 c #Conflicts: 422000 | #Constraints: 18883
1077.03/1080.29 c #Conflicts: 423000 | #Constraints: 19883
1077.03/1080.29 c #Conflicts: 424000 | #Constraints: 20883
1077.03/1080.29 c #Conflicts: 425000 | #Constraints: 21883
1077.03/1080.29 c #Conflicts: 426000 | #Constraints: 22883
1077.03/1080.29 c #Conflicts: 427000 | #Constraints: 23883
1077.03/1080.29 c #Conflicts: 428000 | #Constraints: 24883
1077.03/1080.29 c #Conflicts: 429000 | #Constraints: 25883
1077.03/1080.29 c #Conflicts: 430000 | #Constraints: 26883
1077.03/1080.29 c #Conflicts: 431000 | #Constraints: 27883
1077.03/1080.29 c #Conflicts: 432000 | #Constraints: 28883
1077.03/1080.29 c #Conflicts: 433000 | #Constraints: 29883
1077.03/1080.29 c INPROCESSING
1077.03/1080.29 c GARBAGE COLLECT
1077.03/1080.29 c #Conflicts: 434000 | #Constraints: 17891
1077.03/1080.29 c #Conflicts: 435000 | #Constraints: 18891
1077.03/1080.29 c #Conflicts: 436000 | #Constraints: 19891
1077.03/1080.29 c #Conflicts: 437000 | #Constraints: 20891
1077.03/1080.29 c #Conflicts: 438000 | #Constraints: 21891
1375.70/1379.74 c #Conflicts: 439000 | #Constraints: 22891
1375.70/1379.74 c #Conflicts: 440000 | #Constraints: 23891
1375.70/1379.74 c #Conflicts: 441000 | #Constraints: 24891
1375.70/1379.74 c #Conflicts: 442000 | #Constraints: 25891
1375.70/1379.74 c #Conflicts: 443000 | #Constraints: 26891
1375.70/1379.74 c #Conflicts: 444000 | #Constraints: 27891
1375.70/1379.74 c #Conflicts: 445000 | #Constraints: 28891
1375.70/1379.74 c #Conflicts: 446000 | #Constraints: 29891
1375.70/1379.74 c INPROCESSING
1375.70/1379.74 c GARBAGE COLLECT
1375.70/1379.74 c #Conflicts: 447000 | #Constraints: 17690
1375.70/1379.74 c #Conflicts: 448000 | #Constraints: 18690
1375.70/1379.74 c #Conflicts: 449000 | #Constraints: 19690
1375.70/1379.74 c #Conflicts: 450000 | #Constraints: 20690
1375.70/1379.74 c #Conflicts: 451000 | #Constraints: 21690
1375.70/1379.74 c #Conflicts: 452000 | #Constraints: 22690
1375.70/1379.74 c #Conflicts: 453000 | #Constraints: 23690
1375.70/1379.74 c #Conflicts: 454000 | #Constraints: 24690
1375.70/1379.74 c #Conflicts: 455000 | #Constraints: 25690
1375.70/1379.74 c #Conflicts: 456000 | #Constraints: 26690
1375.70/1379.74 c #Conflicts: 457000 | #Constraints: 27690
1375.70/1379.74 c #Conflicts: 458000 | #Constraints: 28690
1375.70/1379.74 c #Conflicts: 459000 | #Constraints: 29690
1375.70/1379.74 c #Conflicts: 460000 | #Constraints: 30690
1375.70/1379.74 c INPROCESSING
1375.70/1379.74 c GARBAGE COLLECT
1375.70/1379.74 c #Conflicts: 461000 | #Constraints: 18289
1375.70/1379.74 c #Conflicts: 462000 | #Constraints: 19289
1375.70/1379.74 c #Conflicts: 463000 | #Constraints: 20289
1375.70/1379.74 c #Conflicts: 464000 | #Constraints: 21289
1375.70/1379.74 c #Conflicts: 465000 | #Constraints: 22289
1375.70/1379.74 c #Conflicts: 466000 | #Constraints: 23289
1375.70/1379.74 c #Conflicts: 467000 | #Constraints: 24289
1375.70/1379.74 c #Conflicts: 468000 | #Constraints: 25289
1375.70/1379.74 c #Conflicts: 469000 | #Constraints: 26289
1375.70/1379.74 c #Conflicts: 470000 | #Constraints: 27289
1375.70/1379.74 c #Conflicts: 471000 | #Constraints: 28289
1375.70/1379.74 c #Conflicts: 472000 | #Constraints: 29289
1375.70/1379.74 c #Conflicts: 473000 | #Constraints: 30289
1375.70/1379.74 c #Conflicts: 474000 | #Constraints: 31289
1375.70/1379.74 c INPROCESSING
1375.70/1379.74 c GARBAGE COLLECT
1375.70/1379.74 c #Conflicts: 475000 | #Constraints: 18698
1375.70/1379.74 c #Conflicts: 476000 | #Constraints: 19698
1375.70/1379.74 c #Conflicts: 477000 | #Constraints: 20698
1375.70/1379.74 c #Conflicts: 478000 | #Constraints: 21698
1375.70/1379.74 c #Conflicts: 479000 | #Constraints: 22698
1375.70/1379.74 c #Conflicts: 480000 | #Constraints: 23698
1375.70/1379.74 c #Conflicts: 481000 | #Constraints: 24698
1375.70/1379.74 c #Conflicts: 482000 | #Constraints: 25698
1375.70/1379.74 c #Conflicts: 483000 | #Constraints: 26698
1375.70/1379.74 c #Conflicts: 484000 | #Constraints: 27698
1375.70/1379.74 c #Conflicts: 485000 | #Constraints: 28698
1375.70/1379.74 c #Conflicts: 486000 | #Constraints: 29698
1375.70/1379.74 c #Conflicts: 487000 | #Constraints: 30698
1375.70/1379.74 c #Conflicts: 488000 | #Constraints: 31698
1375.70/1379.74 c INPROCESSING
1375.70/1379.74 c GARBAGE COLLECT
1375.70/1379.74 c #Conflicts: 489000 | #Constraints: 18893
1375.70/1379.74 c #Conflicts: 490000 | #Constraints: 19893
1375.70/1379.74 c #Conflicts: 491000 | #Constraints: 20893
1375.70/1379.74 c #Conflicts: 492000 | #Constraints: 21893
1375.70/1379.74 c #Conflicts: 493000 | #Constraints: 22893
1375.70/1379.74 c #Conflicts: 494000 | #Constraints: 23893
1375.70/1379.74 c #Conflicts: 495000 | #Constraints: 24893
1375.70/1379.74 c #Conflicts: 496000 | #Constraints: 25893
1375.70/1379.74 c #Conflicts: 497000 | #Constraints: 26893
1375.70/1379.74 c #Conflicts: 498000 | #Constraints: 27893
1375.70/1379.74 c #Conflicts: 499000 | #Constraints: 28893
1375.70/1379.74 c #Conflicts: 500000 | #Constraints: 29893
1375.70/1379.74 c #Conflicts: 501000 | #Constraints: 30893
1375.70/1379.74 c #Conflicts: 502000 | #Constraints: 31893
1375.70/1379.74 c INPROCESSING
1375.70/1379.74 c GARBAGE COLLECT
1375.70/1379.74 c #Conflicts: 503000 | #Constraints: 18896
1375.70/1379.74 c #Conflicts: 504000 | #Constraints: 19896
1375.70/1379.74 c #Conflicts: 505000 | #Constraints: 20896
1375.70/1379.74 c #Conflicts: 506000 | #Constraints: 21896
1375.70/1379.74 c #Conflicts: 507000 | #Constraints: 22896
1375.70/1379.74 c #Conflicts: 508000 | #Constraints: 23896
1375.70/1379.74 c #Conflicts: 509000 | #Constraints: 24896
1375.70/1379.74 c #Conflicts: 510000 | #Constraints: 25896
1375.70/1379.74 c #Conflicts: 511000 | #Constraints: 26896
1375.70/1379.74 c #Conflicts: 512000 | #Constraints: 27896
1375.70/1379.74 c #Conflicts: 513000 | #Constraints: 28896
1620.20/1624.95 c #Conflicts: 514000 | #Constraints: 29896
1620.20/1624.95 c #Conflicts: 515000 | #Constraints: 30896
1620.20/1624.95 c #Conflicts: 516000 | #Constraints: 31896
1620.20/1624.95 c INPROCESSING
1620.20/1624.95 c GARBAGE COLLECT
1620.20/1624.95 c #Conflicts: 517000 | #Constraints: 18688
1620.20/1624.95 c #Conflicts: 518000 | #Constraints: 19688
1620.20/1624.95 c #Conflicts: 519000 | #Constraints: 20688
1620.20/1624.95 c #Conflicts: 520000 | #Constraints: 21688
1620.20/1624.95 c #Conflicts: 521000 | #Constraints: 22688
1620.20/1624.95 c #Conflicts: 522000 | #Constraints: 23688
1620.20/1624.95 c #Conflicts: 523000 | #Constraints: 24688
1620.20/1624.95 c #Conflicts: 524000 | #Constraints: 25688
1620.20/1624.95 c #Conflicts: 525000 | #Constraints: 26688
1620.20/1624.95 c #Conflicts: 526000 | #Constraints: 27688
1620.20/1624.95 c #Conflicts: 527000 | #Constraints: 28688
1620.20/1624.95 c #Conflicts: 528000 | #Constraints: 29688
1620.20/1624.95 c #Conflicts: 529000 | #Constraints: 30688
1620.20/1624.95 c #Conflicts: 530000 | #Constraints: 31688
1620.20/1624.95 c #Conflicts: 531000 | #Constraints: 32688
1620.20/1624.95 c INPROCESSING
1620.20/1624.95 c GARBAGE COLLECT
1620.20/1624.95 c #Conflicts: 532000 | #Constraints: 19288
1620.20/1624.95 c #Conflicts: 533000 | #Constraints: 20288
1620.20/1624.95 c #Conflicts: 534000 | #Constraints: 21288
1620.20/1624.95 c #Conflicts: 535000 | #Constraints: 22288
1620.20/1624.95 c #Conflicts: 536000 | #Constraints: 23288
1620.20/1624.95 c #Conflicts: 537000 | #Constraints: 24288
1620.20/1624.95 c #Conflicts: 538000 | #Constraints: 25288
1620.20/1624.95 c #Conflicts: 539000 | #Constraints: 26288
1620.20/1624.95 c #Conflicts: 540000 | #Constraints: 27288
1620.20/1624.95 c #Conflicts: 541000 | #Constraints: 28288
1620.20/1624.95 c #Conflicts: 542000 | #Constraints: 29288
1620.20/1624.95 c #Conflicts: 543000 | #Constraints: 30288
1620.20/1624.95 c #Conflicts: 544000 | #Constraints: 31288
1620.20/1624.95 c #Conflicts: 545000 | #Constraints: 32288
1620.20/1624.95 c #Conflicts: 546000 | #Constraints: 33288
1620.20/1624.95 c INPROCESSING
1620.20/1624.95 c GARBAGE COLLECT
1620.20/1624.95 c #Conflicts: 547000 | #Constraints: 19689
1620.20/1624.95 c #Conflicts: 548000 | #Constraints: 20689
1620.20/1624.95 c #Conflicts: 549000 | #Constraints: 21689
1620.20/1624.95 c #Conflicts: 550000 | #Constraints: 22689
1620.20/1624.95 c #Conflicts: 551000 | #Constraints: 23689
1620.20/1624.95 c #Conflicts: 552000 | #Constraints: 24689
1620.20/1624.95 c #Conflicts: 553000 | #Constraints: 25689
1620.20/1624.95 c #Conflicts: 554000 | #Constraints: 26689
1620.20/1624.95 c #Conflicts: 555000 | #Constraints: 27689
1620.20/1624.95 c #Conflicts: 556000 | #Constraints: 28689
1620.20/1624.95 c #Conflicts: 557000 | #Constraints: 29689
1620.20/1624.95 c #Conflicts: 558000 | #Constraints: 30689
1620.20/1624.95 c #Conflicts: 559000 | #Constraints: 31689
1620.20/1624.95 c #Conflicts: 560000 | #Constraints: 32689
1620.20/1624.95 c #Conflicts: 561000 | #Constraints: 33689
1620.20/1624.95 c INPROCESSING
1620.20/1624.95 c GARBAGE COLLECT
1620.20/1624.95 c #Conflicts: 562000 | #Constraints: 19887
1620.20/1624.95 c #Conflicts: 563000 | #Constraints: 20887
1620.20/1624.95 c #Conflicts: 564000 | #Constraints: 21887
1620.20/1624.95 c #Conflicts: 565000 | #Constraints: 22887
1620.20/1624.95 c #Conflicts: 566000 | #Constraints: 23887
1620.20/1624.95 c #Conflicts: 567000 | #Constraints: 24887
1620.20/1624.95 c #Conflicts: 568000 | #Constraints: 25887
1620.20/1624.95 c #Conflicts: 569000 | #Constraints: 26887
1620.20/1624.95 c #Conflicts: 570000 | #Constraints: 27887
1620.20/1624.95 c #Conflicts: 571000 | #Constraints: 28887
1620.20/1624.95 c #Conflicts: 572000 | #Constraints: 29887
1620.20/1624.95 c #Conflicts: 573000 | #Constraints: 30887
1620.20/1624.95 c #Conflicts: 574000 | #Constraints: 31887
1620.20/1624.95 c #Conflicts: 575000 | #Constraints: 32887
1620.20/1624.95 c #Conflicts: 576000 | #Constraints: 33887
1620.20/1624.95 c INPROCESSING
1620.20/1624.95 c GARBAGE COLLECT
1620.20/1624.95 c #Conflicts: 577000 | #Constraints: 19889
1620.20/1624.95 c #Conflicts: 578000 | #Constraints: 20889
1620.20/1624.95 c #Conflicts: 579000 | #Constraints: 21889
1620.20/1624.95 c #Conflicts: 580000 | #Constraints: 22889
1620.20/1624.95 c #Conflicts: 581000 | #Constraints: 23889
1620.20/1624.95 c #Conflicts: 582000 | #Constraints: 24889
1620.20/1624.95 c #Conflicts: 583000 | #Constraints: 25889
1620.20/1624.95 c #Conflicts: 584000 | #Constraints: 26889
1620.20/1624.95 c #Conflicts: 585000 | #Constraints: 27889
1620.20/1624.95 c #Conflicts: 586000 | #Constraints: 28889
1620.20/1624.95 c #Conflicts: 587000 | #Constraints: 29889
1620.20/1624.95 c #Conflicts: 588000 | #Constraints: 30889
1620.20/1624.95 c #Conflicts: 589000 | #Constraints: 31889
1869.98/1875.48 c #Conflicts: 590000 | #Constraints: 32889
1869.98/1875.48 c #Conflicts: 591000 | #Constraints: 33889
1869.98/1875.48 c INPROCESSING
1869.98/1875.48 c GARBAGE COLLECT
1869.98/1875.48 c #Conflicts: 592000 | #Constraints: 19684
1869.98/1875.48 c #Conflicts: 593000 | #Constraints: 20684
1869.98/1875.48 c #Conflicts: 594000 | #Constraints: 21684
1869.98/1875.48 c #Conflicts: 595000 | #Constraints: 22684
1869.98/1875.48 c #Conflicts: 596000 | #Constraints: 23684
1869.98/1875.48 c #Conflicts: 597000 | #Constraints: 24684
1869.98/1875.48 c #Conflicts: 598000 | #Constraints: 25684
1869.98/1875.48 c #Conflicts: 599000 | #Constraints: 26684
1869.98/1875.48 c #Conflicts: 600000 | #Constraints: 27684
1869.98/1875.48 c #Conflicts: 601000 | #Constraints: 28684
1869.98/1875.48 c #Conflicts: 602000 | #Constraints: 29684
1869.98/1875.48 c #Conflicts: 603000 | #Constraints: 30684
1869.98/1875.48 c #Conflicts: 604000 | #Constraints: 31684
1869.98/1875.48 c #Conflicts: 605000 | #Constraints: 32684
1869.98/1875.48 c #Conflicts: 606000 | #Constraints: 33684
1869.98/1875.48 c #Conflicts: 607000 | #Constraints: 34684
1869.98/1875.48 c INPROCESSING
1869.98/1875.48 c GARBAGE COLLECT
1869.98/1875.48 c #Conflicts: 608000 | #Constraints: 20281
1869.98/1875.48 c #Conflicts: 609000 | #Constraints: 21281
1869.98/1875.48 c #Conflicts: 610000 | #Constraints: 22281
1869.98/1875.48 c #Conflicts: 611000 | #Constraints: 23281
1869.98/1875.48 c #Conflicts: 612000 | #Constraints: 24281
1869.98/1875.48 c #Conflicts: 613000 | #Constraints: 25281
1869.98/1875.48 c #Conflicts: 614000 | #Constraints: 26281
1869.98/1875.48 c #Conflicts: 615000 | #Constraints: 27281
1869.98/1875.48 c #Conflicts: 616000 | #Constraints: 28281
1869.98/1875.48 c #Conflicts: 617000 | #Constraints: 29281
1869.98/1875.48 c #Conflicts: 618000 | #Constraints: 30281
1869.98/1875.48 c #Conflicts: 619000 | #Constraints: 31281
1869.98/1875.48 c #Conflicts: 620000 | #Constraints: 32281
1869.98/1875.48 c #Conflicts: 621000 | #Constraints: 33281
1869.98/1875.48 c #Conflicts: 622000 | #Constraints: 34281
1869.98/1875.48 c #Conflicts: 623000 | #Constraints: 35281
1869.98/1875.48 c INPROCESSING
1869.98/1875.48 c GARBAGE COLLECT
1869.98/1875.48 c #Conflicts: 624000 | #Constraints: 20680
1869.98/1875.48 c #Conflicts: 625000 | #Constraints: 21680
1869.98/1875.48 c #Conflicts: 626000 | #Constraints: 22680
1869.98/1875.48 c #Conflicts: 627000 | #Constraints: 23680
1869.98/1875.48 c #Conflicts: 628000 | #Constraints: 24680
1869.98/1875.48 c #Conflicts: 629000 | #Constraints: 25680
1869.98/1875.48 c #Conflicts: 630000 | #Constraints: 26680
1869.98/1875.48 c #Conflicts: 631000 | #Constraints: 27680
1869.98/1875.48 c #Conflicts: 632000 | #Constraints: 28680
1869.98/1875.48 c #Conflicts: 633000 | #Constraints: 29680
1869.98/1875.48 c #Conflicts: 634000 | #Constraints: 30680
1869.98/1875.48 c #Conflicts: 635000 | #Constraints: 31680
1869.98/1875.48 c #Conflicts: 636000 | #Constraints: 32680
1869.98/1875.48 c #Conflicts: 637000 | #Constraints: 33680
1869.98/1875.48 c #Conflicts: 638000 | #Constraints: 34680
1869.98/1875.48 c #Conflicts: 639000 | #Constraints: 35680
1869.98/1875.48 c INPROCESSING
1869.98/1875.48 c GARBAGE COLLECT
1869.98/1875.48 c #Conflicts: 640000 | #Constraints: 20882
1869.98/1875.48 c #Conflicts: 641000 | #Constraints: 21882
1869.98/1875.48 c #Conflicts: 642000 | #Constraints: 22882
1869.98/1875.48 c #Conflicts: 643000 | #Constraints: 23882
1869.98/1875.48 c #Conflicts: 644000 | #Constraints: 24882
1869.98/1875.48 c #Conflicts: 645000 | #Constraints: 25882
1869.98/1875.48 c #Conflicts: 646000 | #Constraints: 26882
1869.98/1875.48 c #Conflicts: 647000 | #Constraints: 27882
1869.98/1875.48 c #Conflicts: 648000 | #Constraints: 28882
1869.98/1875.48 c #Conflicts: 649000 | #Constraints: 29882
1869.98/1875.48 c #Conflicts: 650000 | #Constraints: 30882
1869.98/1875.48 c #Conflicts: 651000 | #Constraints: 31882
1869.98/1875.48 c #Conflicts: 652000 | #Constraints: 32882
1869.98/1875.48 c #Conflicts: 653000 | #Constraints: 33882
1869.98/1875.48 c #Conflicts: 654000 | #Constraints: 34882
1869.98/1875.48 c #Conflicts: 655000 | #Constraints: 35882
1869.98/1875.48 c INPROCESSING
1869.98/1875.48 c GARBAGE COLLECT
1869.98/1875.48 c #Conflicts: 656000 | #Constraints: 20883
1869.98/1875.48 c #Conflicts: 657000 | #Constraints: 21883
1869.98/1875.48 c #Conflicts: 658000 | #Constraints: 22883
1869.98/1875.48 c #Conflicts: 659000 | #Constraints: 23883
1869.98/1875.48 c #Conflicts: 660000 | #Constraints: 24883
1869.98/1875.48 c #Conflicts: 661000 | #Constraints: 25883
1869.98/1875.48 c #Conflicts: 662000 | #Constraints: 26883
1869.98/1875.48 c #Conflicts: 663000 | #Constraints: 27883
1869.98/1875.48 c #Conflicts: 664000 | #Constraints: 28883
1869.98/1875.48 c #Conflicts: 665000 | #Constraints: 29883
2091.06/2097.11 c #Conflicts: 666000 | #Constraints: 30883
2091.06/2097.11 c #Conflicts: 667000 | #Constraints: 31883
2091.06/2097.11 c #Conflicts: 668000 | #Constraints: 32883
2091.06/2097.11 c #Conflicts: 669000 | #Constraints: 33883
2091.06/2097.11 c #Conflicts: 670000 | #Constraints: 34883
2091.06/2097.11 c #Conflicts: 671000 | #Constraints: 35883
2091.06/2097.11 c INPROCESSING
2091.06/2097.11 c GARBAGE COLLECT
2091.06/2097.11 c #Conflicts: 672000 | #Constraints: 20676
2091.06/2097.11 c #Conflicts: 673000 | #Constraints: 21676
2091.06/2097.11 c #Conflicts: 674000 | #Constraints: 22676
2091.06/2097.11 c #Conflicts: 675000 | #Constraints: 23676
2091.06/2097.11 c #Conflicts: 676000 | #Constraints: 24676
2091.06/2097.11 c #Conflicts: 677000 | #Constraints: 25676
2091.06/2097.11 c #Conflicts: 678000 | #Constraints: 26676
2091.06/2097.11 c #Conflicts: 679000 | #Constraints: 27676
2091.06/2097.11 c #Conflicts: 680000 | #Constraints: 28676
2091.06/2097.11 c #Conflicts: 681000 | #Constraints: 29676
2091.06/2097.11 c #Conflicts: 682000 | #Constraints: 30676
2091.06/2097.11 c #Conflicts: 683000 | #Constraints: 31676
2091.06/2097.11 c #Conflicts: 684000 | #Constraints: 32676
2091.06/2097.11 c #Conflicts: 685000 | #Constraints: 33676
2091.06/2097.11 c #Conflicts: 686000 | #Constraints: 34676
2091.06/2097.11 c #Conflicts: 687000 | #Constraints: 35676
2091.06/2097.11 c #Conflicts: 688000 | #Constraints: 36676
2091.06/2097.11 c INPROCESSING
2091.06/2097.11 c GARBAGE COLLECT
2091.06/2097.11 c #Conflicts: 689000 | #Constraints: 21281
2091.06/2097.11 c #Conflicts: 690000 | #Constraints: 22281
2091.06/2097.11 c #Conflicts: 691000 | #Constraints: 23281
2091.06/2097.11 c #Conflicts: 692000 | #Constraints: 24281
2091.06/2097.11 c #Conflicts: 693000 | #Constraints: 25281
2091.06/2097.11 c #Conflicts: 694000 | #Constraints: 26281
2091.06/2097.11 c #Conflicts: 695000 | #Constraints: 27281
2091.06/2097.11 c #Conflicts: 696000 | #Constraints: 28281
2091.06/2097.11 c #Conflicts: 697000 | #Constraints: 29281
2091.06/2097.11 c #Conflicts: 698000 | #Constraints: 30281
2091.06/2097.11 c #Conflicts: 699000 | #Constraints: 31281
2091.06/2097.11 c #Conflicts: 700000 | #Constraints: 32281
2091.06/2097.11 c #Conflicts: 701000 | #Constraints: 33281
2091.06/2097.11 c #Conflicts: 702000 | #Constraints: 34281
2091.06/2097.11 c #Conflicts: 703000 | #Constraints: 35281
2091.06/2097.11 c #Conflicts: 704000 | #Constraints: 36281
2091.06/2097.11 c #Conflicts: 705000 | #Constraints: 37281
2091.06/2097.11 c INPROCESSING
2091.06/2097.11 c GARBAGE COLLECT
2091.06/2097.11 c #Conflicts: 706000 | #Constraints: 21687
2091.06/2097.11 c #Conflicts: 707000 | #Constraints: 22687
2091.06/2097.11 c #Conflicts: 708000 | #Constraints: 23687
2091.06/2097.11 c #Conflicts: 709000 | #Constraints: 24687
2091.06/2097.11 c #Conflicts: 710000 | #Constraints: 25687
2091.06/2097.11 c #Conflicts: 711000 | #Constraints: 26687
2091.06/2097.11 c #Conflicts: 712000 | #Constraints: 27687
2091.06/2097.11 c #Conflicts: 713000 | #Constraints: 28687
2091.06/2097.11 c #Conflicts: 714000 | #Constraints: 29687
2091.06/2097.11 c #Conflicts: 715000 | #Constraints: 30687
2091.06/2097.11 c #Conflicts: 716000 | #Constraints: 31687
2091.06/2097.11 c #Conflicts: 717000 | #Constraints: 32687
2091.06/2097.11 c #Conflicts: 718000 | #Constraints: 33687
2091.06/2097.11 c #Conflicts: 719000 | #Constraints: 34687
2091.06/2097.11 c #Conflicts: 720000 | #Constraints: 35687
2091.06/2097.11 c #Conflicts: 721000 | #Constraints: 36687
2091.06/2097.11 c #Conflicts: 722000 | #Constraints: 37687
2091.06/2097.11 c INPROCESSING
2091.06/2097.11 c GARBAGE COLLECT
2091.06/2097.11 c #Conflicts: 723000 | #Constraints: 21887
2091.06/2097.11 c #Conflicts: 724000 | #Constraints: 22887
2091.06/2097.11 c #Conflicts: 725000 | #Constraints: 23887
2091.06/2097.11 c #Conflicts: 726000 | #Constraints: 24887
2091.06/2097.11 c #Conflicts: 727000 | #Constraints: 25887
2091.06/2097.11 c #Conflicts: 728000 | #Constraints: 26887
2091.06/2097.11 c #Conflicts: 729000 | #Constraints: 27887
2091.06/2097.11 c #Conflicts: 730000 | #Constraints: 28887
2091.06/2097.11 c #Conflicts: 731000 | #Constraints: 29887
2091.06/2097.11 c #Conflicts: 732000 | #Constraints: 30887
2091.06/2097.11 c #Conflicts: 733000 | #Constraints: 31887
2091.06/2097.11 c #Conflicts: 734000 | #Constraints: 32887
2091.06/2097.11 c #Conflicts: 735000 | #Constraints: 33887
2091.06/2097.11 c #Conflicts: 736000 | #Constraints: 34887
2091.06/2097.11 c #Conflicts: 737000 | #Constraints: 35887
2091.06/2097.11 c #Conflicts: 738000 | #Constraints: 36887
2091.06/2097.11 c #Conflicts: 739000 | #Constraints: 37887
2091.06/2097.11 c INPROCESSING
2091.06/2097.11 c GARBAGE COLLECT
2091.06/2097.11 c #Conflicts: 740000 | #Constraints: 21894
2371.70/2378.58 c #Conflicts: 741000 | #Constraints: 22894
2371.70/2378.58 c #Conflicts: 742000 | #Constraints: 23894
2371.70/2378.58 c #Conflicts: 743000 | #Constraints: 24894
2371.70/2378.58 c #Conflicts: 744000 | #Constraints: 25894
2371.70/2378.58 c #Conflicts: 745000 | #Constraints: 26894
2371.70/2378.58 c #Conflicts: 746000 | #Constraints: 27894
2371.70/2378.58 c #Conflicts: 747000 | #Constraints: 28894
2371.70/2378.58 c #Conflicts: 748000 | #Constraints: 29894
2371.70/2378.58 c #Conflicts: 749000 | #Constraints: 30894
2371.70/2378.58 c #Conflicts: 750000 | #Constraints: 31894
2371.70/2378.58 c #Conflicts: 751000 | #Constraints: 32894
2371.70/2378.58 c #Conflicts: 752000 | #Constraints: 33894
2371.70/2378.58 c #Conflicts: 753000 | #Constraints: 34894
2371.70/2378.58 c #Conflicts: 754000 | #Constraints: 35894
2371.70/2378.58 c #Conflicts: 755000 | #Constraints: 36894
2371.70/2378.58 c #Conflicts: 756000 | #Constraints: 37894
2371.70/2378.58 c INPROCESSING
2371.70/2378.58 c GARBAGE COLLECT
2371.70/2378.58 c #Conflicts: 757000 | #Constraints: 21686
2371.70/2378.58 c #Conflicts: 758000 | #Constraints: 22686
2371.70/2378.58 c #Conflicts: 759000 | #Constraints: 23686
2371.70/2378.58 c #Conflicts: 760000 | #Constraints: 24686
2371.70/2378.58 c #Conflicts: 761000 | #Constraints: 25686
2371.70/2378.58 c #Conflicts: 762000 | #Constraints: 26686
2371.70/2378.58 c #Conflicts: 763000 | #Constraints: 27686
2371.70/2378.58 c #Conflicts: 764000 | #Constraints: 28686
2371.70/2378.58 c #Conflicts: 765000 | #Constraints: 29686
2371.70/2378.58 c #Conflicts: 766000 | #Constraints: 30686
2371.70/2378.58 c #Conflicts: 767000 | #Constraints: 31686
2371.70/2378.58 c #Conflicts: 768000 | #Constraints: 32686
2371.70/2378.58 c #Conflicts: 769000 | #Constraints: 33686
2371.70/2378.58 c #Conflicts: 770000 | #Constraints: 34686
2371.70/2378.58 c #Conflicts: 771000 | #Constraints: 35686
2371.70/2378.58 c #Conflicts: 772000 | #Constraints: 36686
2371.70/2378.58 c #Conflicts: 773000 | #Constraints: 37686
2371.70/2378.58 c #Conflicts: 774000 | #Constraints: 38686
2371.70/2378.58 c INPROCESSING
2371.70/2378.58 c GARBAGE COLLECT
2371.70/2378.58 c #Conflicts: 775000 | #Constraints: 22280
2371.70/2378.58 c #Conflicts: 776000 | #Constraints: 23280
2371.70/2378.58 c #Conflicts: 777000 | #Constraints: 24280
2371.70/2378.58 c #Conflicts: 778000 | #Constraints: 25280
2371.70/2378.58 c #Conflicts: 779000 | #Constraints: 26280
2371.70/2378.58 c #Conflicts: 780000 | #Constraints: 27280
2371.70/2378.58 c #Conflicts: 781000 | #Constraints: 28280
2371.70/2378.58 c #Conflicts: 782000 | #Constraints: 29280
2371.70/2378.58 c #Conflicts: 783000 | #Constraints: 30280
2371.70/2378.58 c #Conflicts: 784000 | #Constraints: 31280
2371.70/2378.58 c #Conflicts: 785000 | #Constraints: 32280
2371.70/2378.58 c #Conflicts: 786000 | #Constraints: 33280
2371.70/2378.58 c #Conflicts: 787000 | #Constraints: 34280
2371.70/2378.58 c #Conflicts: 788000 | #Constraints: 35280
2371.70/2378.58 c #Conflicts: 789000 | #Constraints: 36280
2371.70/2378.58 c #Conflicts: 790000 | #Constraints: 37280
2371.70/2378.58 c #Conflicts: 791000 | #Constraints: 38280
2371.70/2378.58 c #Conflicts: 792000 | #Constraints: 39280
2371.70/2378.58 c INPROCESSING
2371.70/2378.58 c GARBAGE COLLECT
2371.70/2378.58 c #Conflicts: 793000 | #Constraints: 22685
2371.70/2378.58 c #Conflicts: 794000 | #Constraints: 23685
2371.70/2378.58 c #Conflicts: 795000 | #Constraints: 24685
2371.70/2378.58 c #Conflicts: 796000 | #Constraints: 25685
2371.70/2378.58 c #Conflicts: 797000 | #Constraints: 26685
2371.70/2378.58 c #Conflicts: 798000 | #Constraints: 27685
2371.70/2378.58 c #Conflicts: 799000 | #Constraints: 28685
2371.70/2378.58 c #Conflicts: 800000 | #Constraints: 29685
2371.70/2378.58 c #Conflicts: 801000 | #Constraints: 30685
2371.70/2378.58 c #Conflicts: 802000 | #Constraints: 31685
2371.70/2378.58 c #Conflicts: 803000 | #Constraints: 32685
2371.70/2378.58 c #Conflicts: 804000 | #Constraints: 33685
2371.70/2378.58 c #Conflicts: 805000 | #Constraints: 34685
2371.70/2378.58 c #Conflicts: 806000 | #Constraints: 35685
2371.70/2378.58 c #Conflicts: 807000 | #Constraints: 36685
2371.70/2378.58 c #Conflicts: 808000 | #Constraints: 37685
2371.70/2378.58 c #Conflicts: 809000 | #Constraints: 38685
2371.70/2378.58 c #Conflicts: 810000 | #Constraints: 39685
2371.70/2378.58 c INPROCESSING
2371.70/2378.58 c GARBAGE COLLECT
2371.70/2378.58 c #Conflicts: 811000 | #Constraints: 22889
2371.70/2378.58 c #Conflicts: 812000 | #Constraints: 23889
2371.70/2378.58 c #Conflicts: 813000 | #Constraints: 24889
2371.70/2378.58 c #Conflicts: 814000 | #Constraints: 25889
2371.70/2378.58 c #Conflicts: 815000 | #Constraints: 26889
2371.70/2378.58 c #Conflicts: 816000 | #Constraints: 27889
2371.70/2378.58 c #Conflicts: 817000 | #Constraints: 28889
2638.70/2646.23 c #Conflicts: 818000 | #Constraints: 29889
2638.70/2646.23 c #Conflicts: 819000 | #Constraints: 30889
2638.70/2646.23 c #Conflicts: 820000 | #Constraints: 31889
2638.70/2646.23 c #Conflicts: 821000 | #Constraints: 32889
2638.70/2646.23 c #Conflicts: 822000 | #Constraints: 33889
2638.70/2646.23 c #Conflicts: 823000 | #Constraints: 34889
2638.70/2646.23 c #Conflicts: 824000 | #Constraints: 35889
2638.70/2646.23 c #Conflicts: 825000 | #Constraints: 36889
2638.70/2646.23 c #Conflicts: 826000 | #Constraints: 37889
2638.70/2646.23 c #Conflicts: 827000 | #Constraints: 38889
2638.70/2646.23 c #Conflicts: 828000 | #Constraints: 39889
2638.70/2646.23 c INPROCESSING
2638.70/2646.23 c GARBAGE COLLECT
2638.70/2646.23 c #Conflicts: 829000 | #Constraints: 22890
2638.70/2646.23 c #Conflicts: 830000 | #Constraints: 23890
2638.70/2646.23 c #Conflicts: 831000 | #Constraints: 24890
2638.70/2646.23 c #Conflicts: 832000 | #Constraints: 25890
2638.70/2646.23 c #Conflicts: 833000 | #Constraints: 26890
2638.70/2646.23 c #Conflicts: 834000 | #Constraints: 27890
2638.70/2646.23 c #Conflicts: 835000 | #Constraints: 28890
2638.70/2646.23 c #Conflicts: 836000 | #Constraints: 29890
2638.70/2646.23 c #Conflicts: 837000 | #Constraints: 30890
2638.70/2646.23 c #Conflicts: 838000 | #Constraints: 31890
2638.70/2646.23 c #Conflicts: 839000 | #Constraints: 32890
2638.70/2646.23 c #Conflicts: 840000 | #Constraints: 33890
2638.70/2646.23 c #Conflicts: 841000 | #Constraints: 34890
2638.70/2646.23 c #Conflicts: 842000 | #Constraints: 35890
2638.70/2646.23 c #Conflicts: 843000 | #Constraints: 36890
2638.70/2646.23 c #Conflicts: 844000 | #Constraints: 37890
2638.70/2646.23 c #Conflicts: 845000 | #Constraints: 38890
2638.70/2646.23 c #Conflicts: 846000 | #Constraints: 39890
2638.70/2646.23 c INPROCESSING
2638.70/2646.23 c GARBAGE COLLECT
2638.70/2646.23 c #Conflicts: 847000 | #Constraints: 22686
2638.70/2646.23 c #Conflicts: 848000 | #Constraints: 23686
2638.70/2646.23 c #Conflicts: 849000 | #Constraints: 24686
2638.70/2646.23 c #Conflicts: 850000 | #Constraints: 25686
2638.70/2646.23 c #Conflicts: 851000 | #Constraints: 26686
2638.70/2646.23 c #Conflicts: 852000 | #Constraints: 27686
2638.70/2646.23 c #Conflicts: 853000 | #Constraints: 28686
2638.70/2646.23 c #Conflicts: 854000 | #Constraints: 29686
2638.70/2646.23 c #Conflicts: 855000 | #Constraints: 30686
2638.70/2646.23 c #Conflicts: 856000 | #Constraints: 31686
2638.70/2646.23 c #Conflicts: 857000 | #Constraints: 32686
2638.70/2646.23 c #Conflicts: 858000 | #Constraints: 33686
2638.70/2646.23 c #Conflicts: 859000 | #Constraints: 34686
2638.70/2646.23 c #Conflicts: 860000 | #Constraints: 35686
2638.70/2646.23 c #Conflicts: 861000 | #Constraints: 36686
2638.70/2646.23 c #Conflicts: 862000 | #Constraints: 37686
2638.70/2646.23 c #Conflicts: 863000 | #Constraints: 38686
2638.70/2646.23 c #Conflicts: 864000 | #Constraints: 39686
2638.70/2646.23 c #Conflicts: 865000 | #Constraints: 40686
2638.70/2646.23 c INPROCESSING
2638.70/2646.23 c GARBAGE COLLECT
2638.70/2646.23 c #Conflicts: 866000 | #Constraints: 23281
2638.70/2646.23 c #Conflicts: 867000 | #Constraints: 24281
2638.70/2646.23 c #Conflicts: 868000 | #Constraints: 25281
2638.70/2646.23 c #Conflicts: 869000 | #Constraints: 26281
2638.70/2646.23 c #Conflicts: 870000 | #Constraints: 27281
2638.70/2646.23 c #Conflicts: 871000 | #Constraints: 28281
2638.70/2646.23 c #Conflicts: 872000 | #Constraints: 29281
2638.70/2646.23 c #Conflicts: 873000 | #Constraints: 30281
2638.70/2646.23 c #Conflicts: 874000 | #Constraints: 31281
2638.70/2646.23 c #Conflicts: 875000 | #Constraints: 32281
2638.70/2646.23 c #Conflicts: 876000 | #Constraints: 33281
2638.70/2646.23 c #Conflicts: 877000 | #Constraints: 34281
2638.70/2646.23 c #Conflicts: 878000 | #Constraints: 35281
2638.70/2646.23 c #Conflicts: 879000 | #Constraints: 36281
2638.70/2646.23 c #Conflicts: 880000 | #Constraints: 37281
2638.70/2646.23 c #Conflicts: 881000 | #Constraints: 38281
2638.70/2646.23 c #Conflicts: 882000 | #Constraints: 39281
2638.70/2646.23 c #Conflicts: 883000 | #Constraints: 40281
2638.70/2646.23 c #Conflicts: 884000 | #Constraints: 41281
2638.70/2646.23 c INPROCESSING
2638.70/2646.23 c GARBAGE COLLECT
2638.70/2646.23 c #Conflicts: 885000 | #Constraints: 23689
2638.70/2646.23 c #Conflicts: 886000 | #Constraints: 24689
2638.70/2646.23 c #Conflicts: 887000 | #Constraints: 25689
2638.70/2646.23 c #Conflicts: 888000 | #Constraints: 26689
2638.70/2646.23 c #Conflicts: 889000 | #Constraints: 27689
2638.70/2646.23 c #Conflicts: 890000 | #Constraints: 28689
2638.70/2646.23 c #Conflicts: 891000 | #Constraints: 29689
2638.70/2646.23 c #Conflicts: 892000 | #Constraints: 30689
2638.70/2646.23 c #Conflicts: 893000 | #Constraints: 31689
2894.73/2902.93 c #Conflicts: 894000 | #Constraints: 32689
2894.73/2902.93 c #Conflicts: 895000 | #Constraints: 33689
2894.73/2902.93 c #Conflicts: 896000 | #Constraints: 34689
2894.73/2902.93 c #Conflicts: 897000 | #Constraints: 35689
2894.73/2902.93 c #Conflicts: 898000 | #Constraints: 36689
2894.73/2902.93 c #Conflicts: 899000 | #Constraints: 37689
2894.73/2902.93 c #Conflicts: 900000 | #Constraints: 38689
2894.73/2902.93 c #Conflicts: 901000 | #Constraints: 39689
2894.73/2902.93 c #Conflicts: 902000 | #Constraints: 40689
2894.73/2902.93 c #Conflicts: 903000 | #Constraints: 41689
2894.73/2902.93 c INPROCESSING
2894.73/2902.93 c GARBAGE COLLECT
2894.73/2902.93 c #Conflicts: 904000 | #Constraints: 23888
2894.73/2902.93 c #Conflicts: 905000 | #Constraints: 24888
2894.73/2902.93 c #Conflicts: 906000 | #Constraints: 25888
2894.73/2902.93 c #Conflicts: 907000 | #Constraints: 26888
2894.73/2902.93 c #Conflicts: 908000 | #Constraints: 27888
2894.73/2902.93 c #Conflicts: 909000 | #Constraints: 28888
2894.73/2902.93 c #Conflicts: 910000 | #Constraints: 29888
2894.73/2902.93 c #Conflicts: 911000 | #Constraints: 30888
2894.73/2902.93 c #Conflicts: 912000 | #Constraints: 31888
2894.73/2902.93 c #Conflicts: 913000 | #Constraints: 32888
2894.73/2902.93 c #Conflicts: 914000 | #Constraints: 33888
2894.73/2902.93 c #Conflicts: 915000 | #Constraints: 34888
2894.73/2902.93 c #Conflicts: 916000 | #Constraints: 35888
2894.73/2902.93 c #Conflicts: 917000 | #Constraints: 36888
2894.73/2902.93 c #Conflicts: 918000 | #Constraints: 37888
2894.73/2902.93 c #Conflicts: 919000 | #Constraints: 38888
2894.73/2902.93 c #Conflicts: 920000 | #Constraints: 39888
2894.73/2902.93 c #Conflicts: 921000 | #Constraints: 40888
2894.73/2902.93 c #Conflicts: 922000 | #Constraints: 41888
2894.73/2902.93 c INPROCESSING
2894.73/2902.93 c GARBAGE COLLECT
2894.73/2902.93 c #Conflicts: 923000 | #Constraints: 23885
2894.73/2902.93 c #Conflicts: 924000 | #Constraints: 24885
2894.73/2902.93 c #Conflicts: 925000 | #Constraints: 25885
2894.73/2902.93 c #Conflicts: 926000 | #Constraints: 26885
2894.73/2902.93 c #Conflicts: 927000 | #Constraints: 27885
2894.73/2902.93 c #Conflicts: 928000 | #Constraints: 28885
2894.73/2902.93 c #Conflicts: 929000 | #Constraints: 29885
2894.73/2902.93 c #Conflicts: 930000 | #Constraints: 30885
2894.73/2902.93 c #Conflicts: 931000 | #Constraints: 31885
2894.73/2902.93 c #Conflicts: 932000 | #Constraints: 32885
2894.73/2902.93 c #Conflicts: 933000 | #Constraints: 33885
2894.73/2902.93 c #Conflicts: 934000 | #Constraints: 34885
2894.73/2902.93 c #Conflicts: 935000 | #Constraints: 35885
2894.73/2902.93 c #Conflicts: 936000 | #Constraints: 36885
2894.73/2902.93 c #Conflicts: 937000 | #Constraints: 37885
2894.73/2902.93 c #Conflicts: 938000 | #Constraints: 38885
2894.73/2902.93 c #Conflicts: 939000 | #Constraints: 39885
2894.73/2902.93 c #Conflicts: 940000 | #Constraints: 40885
2894.73/2902.93 c #Conflicts: 941000 | #Constraints: 41885
2894.73/2902.93 c INPROCESSING
2894.73/2902.93 c GARBAGE COLLECT
2894.73/2902.93 c #Conflicts: 942000 | #Constraints: 23688
2894.73/2902.93 c #Conflicts: 943000 | #Constraints: 24688
2894.73/2902.93 c #Conflicts: 944000 | #Constraints: 25688
2894.73/2902.93 c #Conflicts: 945000 | #Constraints: 26688
2894.73/2902.93 c #Conflicts: 946000 | #Constraints: 27688
2894.73/2902.93 c #Conflicts: 947000 | #Constraints: 28688
2894.73/2902.93 c #Conflicts: 948000 | #Constraints: 29688
2894.73/2902.93 c #Conflicts: 949000 | #Constraints: 30688
2894.73/2902.93 c #Conflicts: 950000 | #Constraints: 31688
2894.73/2902.93 c #Conflicts: 951000 | #Constraints: 32688
2894.73/2902.93 c #Conflicts: 952000 | #Constraints: 33688
2894.73/2902.93 c #Conflicts: 953000 | #Constraints: 34688
2894.73/2902.93 c #Conflicts: 954000 | #Constraints: 35688
2894.73/2902.93 c #Conflicts: 955000 | #Constraints: 36688
2894.73/2902.93 c #Conflicts: 956000 | #Constraints: 37688
2894.73/2902.93 c #Conflicts: 957000 | #Constraints: 38688
2894.73/2902.93 c #Conflicts: 958000 | #Constraints: 39688
2894.73/2902.93 c #Conflicts: 959000 | #Constraints: 40688
2894.73/2902.93 c #Conflicts: 960000 | #Constraints: 41688
2894.73/2902.93 c #Conflicts: 961000 | #Constraints: 42688
2894.73/2902.93 c INPROCESSING
2894.73/2902.93 c GARBAGE COLLECT
2894.73/2902.93 c #Conflicts: 962000 | #Constraints: 24289
2894.73/2902.93 c #Conflicts: 963000 | #Constraints: 25289
2894.73/2902.93 c #Conflicts: 964000 | #Constraints: 26289
2894.73/2902.93 c #Conflicts: 965000 | #Constraints: 27289
2894.73/2902.93 c #Conflicts: 966000 | #Constraints: 28289
2894.73/2902.93 c #Conflicts: 967000 | #Constraints: 29289
2894.73/2902.93 c #Conflicts: 968000 | #Constraints: 30289
2894.73/2902.93 c #Conflicts: 969000 | #Constraints: 31289
3168.50/3177.45 c #Conflicts: 970000 | #Constraints: 32289
3168.50/3177.45 c #Conflicts: 971000 | #Constraints: 33289
3168.50/3177.45 c #Conflicts: 972000 | #Constraints: 34289
3168.50/3177.45 c #Conflicts: 973000 | #Constraints: 35289
3168.50/3177.45 c #Conflicts: 974000 | #Constraints: 36289
3168.50/3177.45 c #Conflicts: 975000 | #Constraints: 37289
3168.50/3177.45 c #Conflicts: 976000 | #Constraints: 38289
3168.50/3177.45 c #Conflicts: 977000 | #Constraints: 39289
3168.50/3177.45 c #Conflicts: 978000 | #Constraints: 40289
3168.50/3177.45 c #Conflicts: 979000 | #Constraints: 41289
3168.50/3177.45 c #Conflicts: 980000 | #Constraints: 42289
3168.50/3177.45 c #Conflicts: 981000 | #Constraints: 43289
3168.50/3177.45 c INPROCESSING
3168.50/3177.45 c GARBAGE COLLECT
3168.50/3177.45 c #Conflicts: 982000 | #Constraints: 24696
3168.50/3177.45 c #Conflicts: 983000 | #Constraints: 25696
3168.50/3177.45 c #Conflicts: 984000 | #Constraints: 26696
3168.50/3177.45 c #Conflicts: 985000 | #Constraints: 27696
3168.50/3177.45 c #Conflicts: 986000 | #Constraints: 28696
3168.50/3177.45 c #Conflicts: 987000 | #Constraints: 29696
3168.50/3177.45 c #Conflicts: 988000 | #Constraints: 30696
3168.50/3177.45 c #Conflicts: 989000 | #Constraints: 31696
3168.50/3177.45 c #Conflicts: 990000 | #Constraints: 32696
3168.50/3177.45 c #Conflicts: 991000 | #Constraints: 33696
3168.50/3177.45 c #Conflicts: 992000 | #Constraints: 34696
3168.50/3177.45 c #Conflicts: 993000 | #Constraints: 35696
3168.50/3177.45 c #Conflicts: 994000 | #Constraints: 36696
3168.50/3177.45 c #Conflicts: 995000 | #Constraints: 37696
3168.50/3177.45 c #Conflicts: 996000 | #Constraints: 38696
3168.50/3177.45 c #Conflicts: 997000 | #Constraints: 39696
3168.50/3177.45 c #Conflicts: 998000 | #Constraints: 40696
3168.50/3177.45 c #Conflicts: 999000 | #Constraints: 41696
3168.50/3177.45 c #Conflicts: 1000000 | #Constraints: 42696
3168.50/3177.45 c #Conflicts: 1001000 | #Constraints: 43696
3168.50/3177.45 c INPROCESSING
3168.50/3177.45 c GARBAGE COLLECT
3168.50/3177.45 c #Conflicts: 1002000 | #Constraints: 24897
3168.50/3177.45 c #Conflicts: 1003000 | #Constraints: 25897
3168.50/3177.45 c #Conflicts: 1004000 | #Constraints: 26897
3168.50/3177.45 c #Conflicts: 1005000 | #Constraints: 27897
3168.50/3177.45 c #Conflicts: 1006000 | #Constraints: 28897
3168.50/3177.45 c #Conflicts: 1007000 | #Constraints: 29897
3168.50/3177.45 c #Conflicts: 1008000 | #Constraints: 30897
3168.50/3177.45 c #Conflicts: 1009000 | #Constraints: 31897
3168.50/3177.45 c #Conflicts: 1010000 | #Constraints: 32897
3168.50/3177.45 c #Conflicts: 1011000 | #Constraints: 33897
3168.50/3177.45 c #Conflicts: 1012000 | #Constraints: 34897
3168.50/3177.45 c #Conflicts: 1013000 | #Constraints: 35897
3168.50/3177.45 c #Conflicts: 1014000 | #Constraints: 36897
3168.50/3177.45 c #Conflicts: 1015000 | #Constraints: 37897
3168.50/3177.45 c #Conflicts: 1016000 | #Constraints: 38897
3168.50/3177.45 c #Conflicts: 1017000 | #Constraints: 39897
3168.50/3177.45 c #Conflicts: 1018000 | #Constraints: 40897
3168.50/3177.45 c #Conflicts: 1019000 | #Constraints: 41897
3168.50/3177.45 c #Conflicts: 1020000 | #Constraints: 42897
3168.50/3177.45 c #Conflicts: 1021000 | #Constraints: 43897
3168.50/3177.45 c INPROCESSING
3168.50/3177.45 c GARBAGE COLLECT
3168.50/3177.45 c #Conflicts: 1022000 | #Constraints: 24891
3168.50/3177.45 c #Conflicts: 1023000 | #Constraints: 25891
3168.50/3177.45 c #Conflicts: 1024000 | #Constraints: 26891
3168.50/3177.45 c #Conflicts: 1025000 | #Constraints: 27891
3168.50/3177.45 c #Conflicts: 1026000 | #Constraints: 28891
3168.50/3177.45 c #Conflicts: 1027000 | #Constraints: 29891
3168.50/3177.45 c #Conflicts: 1028000 | #Constraints: 30891
3168.50/3177.45 c #Conflicts: 1029000 | #Constraints: 31891
3168.50/3177.45 c #Conflicts: 1030000 | #Constraints: 32891
3168.50/3177.45 c #Conflicts: 1031000 | #Constraints: 33891
3168.50/3177.45 c #Conflicts: 1032000 | #Constraints: 34891
3168.50/3177.45 c #Conflicts: 1033000 | #Constraints: 35891
3168.50/3177.45 c #Conflicts: 1034000 | #Constraints: 36891
3168.50/3177.45 c #Conflicts: 1035000 | #Constraints: 37891
3168.50/3177.45 c #Conflicts: 1036000 | #Constraints: 38891
3168.50/3177.45 c #Conflicts: 1037000 | #Constraints: 39891
3168.50/3177.45 c #Conflicts: 1038000 | #Constraints: 40891
3168.50/3177.45 c #Conflicts: 1039000 | #Constraints: 41891
3168.50/3177.45 c #Conflicts: 1040000 | #Constraints: 42891
3168.50/3177.45 c #Conflicts: 1041000 | #Constraints: 43891
3168.50/3177.45 c INPROCESSING
3168.50/3177.45 c GARBAGE COLLECT
3168.50/3177.45 c #Conflicts: 1042000 | #Constraints: 24698
3168.50/3177.45 c #Conflicts: 1043000 | #Constraints: 25698
3168.50/3177.45 c #Conflicts: 1044000 | #Constraints: 26698
3168.50/3177.45 c #Conflicts: 1045000 | #Constraints: 27698
3452.54/3462.23 c #Conflicts: 1046000 | #Constraints: 28698
3452.54/3462.23 c #Conflicts: 1047000 | #Constraints: 29698
3452.54/3462.23 c #Conflicts: 1048000 | #Constraints: 30698
3452.54/3462.23 c #Conflicts: 1049000 | #Constraints: 31698
3452.54/3462.23 c #Conflicts: 1050000 | #Constraints: 32698
3452.54/3462.23 c #Conflicts: 1051000 | #Constraints: 33698
3452.54/3462.23 c #Conflicts: 1052000 | #Constraints: 34698
3452.54/3462.23 c #Conflicts: 1053000 | #Constraints: 35698
3452.54/3462.23 c #Conflicts: 1054000 | #Constraints: 36698
3452.54/3462.23 c #Conflicts: 1055000 | #Constraints: 37698
3452.54/3462.23 c #Conflicts: 1056000 | #Constraints: 38698
3452.54/3462.23 c #Conflicts: 1057000 | #Constraints: 39698
3452.54/3462.23 c #Conflicts: 1058000 | #Constraints: 40698
3452.54/3462.23 c #Conflicts: 1059000 | #Constraints: 41698
3452.54/3462.23 c #Conflicts: 1060000 | #Constraints: 42698
3452.54/3462.23 c #Conflicts: 1061000 | #Constraints: 43698
3452.54/3462.23 c #Conflicts: 1062000 | #Constraints: 44698
3452.54/3462.23 c INPROCESSING
3452.54/3462.23 c GARBAGE COLLECT
3452.54/3462.23 c #Conflicts: 1063000 | #Constraints: 25299
3452.54/3462.23 c #Conflicts: 1064000 | #Constraints: 26299
3452.54/3462.23 c #Conflicts: 1065000 | #Constraints: 27299
3452.54/3462.23 c #Conflicts: 1066000 | #Constraints: 28299
3452.54/3462.23 c #Conflicts: 1067000 | #Constraints: 29299
3452.54/3462.23 c #Conflicts: 1068000 | #Constraints: 30299
3452.54/3462.23 c #Conflicts: 1069000 | #Constraints: 31299
3452.54/3462.23 c #Conflicts: 1070000 | #Constraints: 32299
3452.54/3462.23 c #Conflicts: 1071000 | #Constraints: 33299
3452.54/3462.23 c #Conflicts: 1072000 | #Constraints: 34299
3452.54/3462.23 c #Conflicts: 1073000 | #Constraints: 35299
3452.54/3462.23 c #Conflicts: 1074000 | #Constraints: 36299
3452.54/3462.23 c #Conflicts: 1075000 | #Constraints: 37299
3452.54/3462.23 c #Conflicts: 1076000 | #Constraints: 38299
3452.54/3462.23 c #Conflicts: 1077000 | #Constraints: 39299
3452.54/3462.23 c #Conflicts: 1078000 | #Constraints: 40299
3452.54/3462.23 c #Conflicts: 1079000 | #Constraints: 41299
3452.54/3462.23 c #Conflicts: 1080000 | #Constraints: 42299
3452.54/3462.23 c #Conflicts: 1081000 | #Constraints: 43299
3452.54/3462.23 c #Conflicts: 1082000 | #Constraints: 44299
3452.54/3462.23 c #Conflicts: 1083000 | #Constraints: 45299
3452.54/3462.23 c INPROCESSING
3452.54/3462.23 c GARBAGE COLLECT
3452.54/3462.23 c #Conflicts: 1084000 | #Constraints: 25702
3452.54/3462.23 c #Conflicts: 1085000 | #Constraints: 26702
3452.54/3462.23 c #Conflicts: 1086000 | #Constraints: 27702
3452.54/3462.23 c #Conflicts: 1087000 | #Constraints: 28702
3452.54/3462.23 c #Conflicts: 1088000 | #Constraints: 29702
3452.54/3462.23 c #Conflicts: 1089000 | #Constraints: 30702
3452.54/3462.23 c #Conflicts: 1090000 | #Constraints: 31702
3452.54/3462.23 c #Conflicts: 1091000 | #Constraints: 32702
3452.54/3462.23 c #Conflicts: 1092000 | #Constraints: 33702
3452.54/3462.23 c #Conflicts: 1093000 | #Constraints: 34702
3452.54/3462.23 c #Conflicts: 1094000 | #Constraints: 35702
3452.54/3462.23 c #Conflicts: 1095000 | #Constraints: 36702
3452.54/3462.23 c #Conflicts: 1096000 | #Constraints: 37702
3452.54/3462.23 c #Conflicts: 1097000 | #Constraints: 38702
3452.54/3462.23 c #Conflicts: 1098000 | #Constraints: 39702
3452.54/3462.23 c #Conflicts: 1099000 | #Constraints: 40702
3452.54/3462.23 c #Conflicts: 1100000 | #Constraints: 41702
3452.54/3462.23 c #Conflicts: 1101000 | #Constraints: 42702
3452.54/3462.23 c #Conflicts: 1102000 | #Constraints: 43702
3452.54/3462.23 c #Conflicts: 1103000 | #Constraints: 44702
3452.54/3462.23 c #Conflicts: 1104000 | #Constraints: 45702
3452.54/3462.23 c INPROCESSING
3452.54/3462.23 c GARBAGE COLLECT
3452.54/3462.23 c #Conflicts: 1105000 | #Constraints: 25908
3452.54/3462.23 c #Conflicts: 1106000 | #Constraints: 26908
3452.54/3462.23 c #Conflicts: 1107000 | #Constraints: 27908
3452.54/3462.23 c #Conflicts: 1108000 | #Constraints: 28908
3452.54/3462.23 c #Conflicts: 1109000 | #Constraints: 29908
3452.54/3462.23 c #Conflicts: 1110000 | #Constraints: 30908
3452.54/3462.23 c #Conflicts: 1111000 | #Constraints: 31908
3452.54/3462.23 c #Conflicts: 1112000 | #Constraints: 32908
3452.54/3462.23 c #Conflicts: 1113000 | #Constraints: 33908
3452.54/3462.23 c #Conflicts: 1114000 | #Constraints: 34908
3452.54/3462.23 c #Conflicts: 1115000 | #Constraints: 35908
3452.54/3462.23 c #Conflicts: 1116000 | #Constraints: 36908
3452.54/3462.23 c #Conflicts: 1117000 | #Constraints: 37908
3452.54/3462.23 c #Conflicts: 1118000 | #Constraints: 38908
3452.54/3462.23 c #Conflicts: 1119000 | #Constraints: 39908
3452.54/3462.23 c #Conflicts: 1120000 | #Constraints: 40908
3452.54/3462.23 c #Conflicts: 1121000 | #Constraints: 41908
3452.54/3462.23 c #Conflicts: 1122000 | #Constraints: 42908
3600.05/3610.10 c #Conflicts: 1123000 | #Constraints: 43908
3600.05/3610.10 c #Conflicts: 1124000 | #Constraints: 44908
3600.05/3610.10 c #Conflicts: 1125000 | #Constraints: 45908
3600.05/3610.10 c INPROCESSING
3600.05/3610.10 c GARBAGE COLLECT
3600.05/3610.10 c #Conflicts: 1126000 | #Constraints: 25905
3600.05/3610.10 c #Conflicts: 1127000 | #Constraints: 26905
3600.05/3610.10 c #Conflicts: 1128000 | #Constraints: 27905
3600.05/3610.10 c #Conflicts: 1129000 | #Constraints: 28905
3600.05/3610.10 c #Conflicts: 1130000 | #Constraints: 29905
3600.05/3610.10 c #Conflicts: 1131000 | #Constraints: 30905
3600.05/3610.10 c #Conflicts: 1132000 | #Constraints: 31905
3600.05/3610.10 c #Conflicts: 1133000 | #Constraints: 32905
3600.05/3610.10 c #Conflicts: 1134000 | #Constraints: 33905
3600.05/3610.10 c #Conflicts: 1135000 | #Constraints: 34905
3600.05/3610.10 c #Conflicts: 1136000 | #Constraints: 35905
3600.05/3610.10 c #Conflicts: 1137000 | #Constraints: 36905
3600.05/3610.10 c #Conflicts: 1138000 | #Constraints: 37905
3600.05/3610.10 c #Conflicts: 1139000 | #Constraints: 38905
3600.05/3610.10 c #Conflicts: 1140000 | #Constraints: 39905
3600.05/3610.10 c #Conflicts: 1141000 | #Constraints: 40905
3600.05/3610.10 c #Conflicts: 1142000 | #Constraints: 41905
3600.05/3610.10 c #Conflicts: 1143000 | #Constraints: 42905
3600.05/3610.10 c #Conflicts: 1144000 | #Constraints: 43905
3600.05/3610.10 c #Conflicts: 1145000 | #Constraints: 44905
3600.05/3610.10 c #Conflicts: 1146000 | #Constraints: 45905
3600.05/3610.10 c INPROCESSING
3600.05/3610.10 c GARBAGE COLLECT
3600.05/3610.10 c #Conflicts: 1147000 | #Constraints: 25696
3600.05/3610.10 c #Conflicts: 1148000 | #Constraints: 26696
3600.05/3610.10 c #Conflicts: 1149000 | #Constraints: 27696
3600.05/3610.10 c #Conflicts: 1150000 | #Constraints: 28696
3600.05/3610.10 c #Conflicts: 1151000 | #Constraints: 29696
3600.05/3610.10 c #Conflicts: 1152000 | #Constraints: 30696
3600.05/3610.10 c #Conflicts: 1153000 | #Constraints: 31696
3600.05/3610.10 c #Conflicts: 1154000 | #Constraints: 32696
3600.05/3610.10 c #Conflicts: 1155000 | #Constraints: 33696
3600.05/3610.10 c #Conflicts: 1156000 | #Constraints: 34696
3600.05/3610.10 c #Conflicts: 1157000 | #Constraints: 35696
3600.05/3610.10 c Program interrupted by user.
3600.05/3610.10 c cpu time 3592.02 s
3600.05/3610.10 c deterministic time 776641965452 7.77e+11
3600.05/3610.10 c optimization time 38.449 s
3600.05/3610.10 c total solve time 3254.36 s
3600.05/3610.10 c core-guided solve time 3254.36 s
3600.05/3610.10 c propagation time 2782.37 s
3600.05/3610.10 c conflict analysis time 399.64 s
3600.05/3610.10 c propagations 119584770
3600.05/3610.10 c resolve steps 9110367
3600.05/3610.10 c decisions 4277534
3600.05/3610.10 c conflicts 1157173
3600.05/3610.10 c restarts 2150
3600.05/3610.10 c inprocessing phases 98
3600.05/3610.10 c input clauses 4007
3600.05/3610.10 c input cardinalities 146
3600.05/3610.10 c input general constraints 0
3600.05/3610.10 c input average constraint length 61.09
3600.05/3610.10 c input average constraint degree 27.69
3600.05/3610.10 c learned clauses 396862
3600.05/3610.10 c learned cardinalities 112746
3600.05/3610.10 c learned general constraints 647708
3600.05/3610.10 c learned average constraint length 857.41
3600.05/3610.10 c learned average constraint degree 15975.09
3600.05/3610.10 c watched constraints 435730
3600.05/3610.10 c counting constraints 211978
3600.05/3610.10 c gcd simplifications 30544
3600.05/3610.10 c detected cardinalities 2519
3600.05/3610.10 c weakened non-implied lits 178410040
3600.05/3610.10 c weakened non-implying lits 51475
3600.05/3610.10 c original variables 1968
3600.05/3610.10 c clausal propagations 53741011
3600.05/3610.10 c cardinality propagations 10132252
3600.05/3610.10 c watched propagations 11633196
3600.05/3610.10 c counting propagations 36261651
3600.05/3610.10 c watch lookups 33495897599
3600.05/3610.10 c watch backjump lookups 25655933564
3600.05/3610.10 c watch checks 665809632557
3600.05/3610.10 c propagation checks 48735183690
3600.05/3610.10 c constraint additions 2696437771
3600.05/3610.10 c trail pops 125017966
3600.05/3610.10 c formula constraints 3322
3600.05/3610.10 c learned constraints 1157316
3600.05/3610.10 c bound constraints 146
3600.05/3610.10 c core-guided constraints 685
3600.05/3610.10 c encountered formula constraints 6485928
3600.05/3610.10 c encountered learned constraints 2891660
3600.05/3610.10 c encountered bound constraints 1
3600.05/3610.10 c encountered core-guided constraints 889951
3600.05/3610.10 c LP total time 0 s
3600.05/3610.10 c LP solve time 0 s
3600.05/3610.10 c LP constraints added 0
3600.05/3610.10 c LP constraints removed 0
3600.05/3610.10 c LP pivots internal 0
3600.05/3610.10 c LP pivots root 0
3600.05/3610.10 c LP calls 0
3600.05/3610.10 c LP optimalities 0
3600.05/3610.10 c LP no pivot count 0
3600.05/3610.10 c LP infeasibilities 0
3600.05/3610.10 c LP valid Farkas constraints 0
3600.05/3610.10 c LP learned Farkas constraints 0
3600.05/3610.10 c LP basis resets 0
3600.05/3610.10 c LP cycling count 0
3600.05/3610.10 c LP singular count 0
3600.05/3610.10 c LP no primal count 0
3600.05/3610.10 c LP no farkas count 0
3600.05/3610.10 c LP other issue count 0
3600.05/3610.10 c LP Gomory cuts 0
3600.05/3610.10 c LP learned cuts 0
3600.05/3610.10 c LP deleted cuts 0
3600.05/3610.10 c LP encountered Gomory constraints 0
3600.05/3610.10 c LP encountered Farkas constraints 0
3600.05/3610.10 c LP encountered learned Farkas constraints 0
3600.05/3610.10 c CG auxiliary variables introduced 685
3600.05/3610.10 c CG solutions found 0
3600.05/3610.10 c CG cores constructed 145
3600.05/3610.10 c CG core cardinality constraints returned 0
3600.05/3610.10 c CG unit cores 0
3600.05/3610.10 c CG single cores 145
3600.05/3610.10 c CG blocks removed during cardinality reduction 0
3600.05/3610.10 c CG first core best 0
3600.05/3610.10 c CG decision core best 0
3600.05/3610.10 c CG core reduction tie 0
3600.05/3610.10 c CG core degree average 1.00
3600.05/3610.10 c CG core slack average 3.12
3600.05/3610.10 c CG exhausted 0
3600.05/3610.10 c CG exhaust time 0 s
3600.05/3610.10 c CG trimmed 0
3600.05/3610.10 c CG trim time 0.000848 s
3600.05/3610.10 c CG minimized 0
3600.05/3610.10 c CG minimize time 0 s
3600.05/3610.10 c CG am1 prop time 0.002575 s
3600.05/3610.10 c CG # am1s reformulated 685
3600.05/3610.10 c CG lower bound derived from am1s 687
3600.05/3610.10 c CG # clausal cores 145
3600.05/3610.10 c CG # cardinality cores 0
3600.05/3610.10 c CG # pb cores 0
3600.05/3610.10 c CG # pb reforms 0
3600.05/3610.10 c CG # cores discarded because of pb reform 0
3600.05/3610.10 d LOWERBOUND 832
3600.05/3610.10 d NCORES 145
3600.05/3610.10 d NPBCORES 0
3600.05/3610.10 d NPBREFORM 0
3600.05/3610.10 d NTRIMMED 0
3600.05/3610.10 d NEXHAUSTED 0
3600.05/3610.10 d NAM1S 685
3600.05/3610.10 d AM1LB 687
3600.05/3610.10 c [Papilo Statistics]
3600.05/3610.10 c prepro time 0.00477594s
3600.05/3610.10 c # tsx applied 143
3600.05/3610.10 c # tsx conflicts 4
3600.05/3610.10 c # bound changes 142
3600.05/3610.10 c # side changes 0
3600.05/3610.10 c # coef changes 0
3600.05/3610.10 c # rounds 2
3600.05/3610.10 c # deted vars 290
3600.05/3610.10 c # deted constrs 678
3600.05/3610.10 c # consecutive rounds of only bound changes 0
3600.05/3610.10 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62339 MiB free)
memory of node 1: 64465 MiB (63263 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488853-1751333607/watcher-4488853-1751333607 -o /tmp/evaluation-result-4488853-1751333607/solver-4488853-1751333607 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45655 --watchdog 3760 mixed-bag HOME/instance-4488853-1751333607.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
solver pid=47869, runsolver pid=47866
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.12 4.10 4.09 5/264 47870
/proc/meminfo: memFree=128594520/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=117048 memory=41268 CPUtime=0.09 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 7050 0 0 0 8 1 0 0 20 0 1 0 49038238 119857152 10317 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 29262 10317 4224 2842 0 10956 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 117048 KiB
Current children cumulated memory: 41268 KiB
[startup+0.205626 s]*
/proc/loadavg: 4.12 4.10 4.09 5/264 47870
/proc/meminfo: memFree=128591496/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=119280 memory=43444 CPUtime=0.19 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 7577 0 0 0 18 1 0 0 20 0 1 0 49038238 122142720 10861 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 29820 10861 4256 2842 0 11514 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 119280 KiB
Current children cumulated memory: 43444 KiB
[startup+0.305554 s]*
/proc/loadavg: 4.12 4.10 4.09 5/264 47870
/proc/meminfo: memFree=128591496/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=119632 memory=43828 CPUtime=0.29 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 7679 0 0 0 28 1 0 0 20 0 1 0 49038238 122503168 10957 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 29908 10957 4256 2842 0 11602 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 119632 KiB
Current children cumulated memory: 43828 KiB
[startup+0.700178 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 47870
/proc/meminfo: memFree=128587464/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=124248 memory=47796 CPUtime=0.68 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 8675 0 0 0 67 1 0 0 20 0 1 0 49038238 127229952 11949 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 31062 11949 4256 2842 0 12756 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 124248 KiB
Current children cumulated memory: 47796 KiB
[startup+1.50018 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 47870
/proc/meminfo: memFree=128579400/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=136736 memory=59956 CPUtime=1.48 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 11697 0 0 0 146 2 0 0 20 0 1 0 49038238 140017664 14989 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 34184 14989 4256 2842 0 15878 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 136736 KiB
Current children cumulated memory: 59956 KiB
[startup+3.10539 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 47870
/proc/meminfo: memFree=128555232/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=157436 memory=79412 CPUtime=3.08 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 16567 0 0 0 305 3 0 0 20 0 1 0 49038238 161214464 19853 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 39359 19853 4256 2842 0 21053 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 157436 KiB
Current children cumulated memory: 79412 KiB
[startup+6.30016 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 47870
/proc/meminfo: memFree=128524000/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=189456 memory=110772 CPUtime=6.27 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 24421 0 0 0 623 4 0 0 20 0 1 0 49038238 194002944 27693 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 47364 27693 4256 2842 0 29058 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 189456 KiB
Current children cumulated memory: 110772 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 47870
/proc/meminfo: memFree=128484184/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=226764 memory=145028 CPUtime=12.64 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 34075 0 0 0 1259 5 0 0 20 0 1 0 49038238 232206336 36257 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 56691 36257 4256 2842 0 38385 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 226764 KiB
Current children cumulated memory: 145028 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 47870
/proc/meminfo: memFree=128483408/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=226764 memory=145284 CPUtime=25.4 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 34155 0 0 0 2535 5 0 0 20 0 1 0 49038238 232206336 36321 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 56691 36321 4256 2842 0 38385 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 226764 KiB
Current children cumulated memory: 145284 KiB
[startup+51.1053 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 47917
/proc/meminfo: memFree=128899476/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=284056 memory=198864 CPUtime=50.95 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 48088 0 0 0 5086 9 0 0 20 0 1 0 49038238 290873344 49716 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 71014 49716 4256 2842 0 52708 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 284056 KiB
Current children cumulated memory: 198864 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 47919
/proc/meminfo: memFree=128710236/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=414788 memory=323384 CPUtime=102 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 79709 0 0 0 10186 14 0 0 20 0 1 0 49038238 424742912 80846 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 103697 80846 4288 2842 0 85391 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 414788 KiB
Current children cumulated memory: 323384 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 47966
/proc/meminfo: memFree=128943608/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=419700 memory=329732 CPUtime=161.84 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 82734 0 0 0 16170 14 0 0 20 0 1 0 49038238 429772800 82433 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 104925 82433 4288 2842 0 86619 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 419700 KiB
Current children cumulated memory: 329732 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 48015
/proc/meminfo: memFree=128926300/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=419792 memory=334756 CPUtime=221.67 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 83714 0 0 0 22153 14 0 0 20 0 1 0 49038238 429867008 83689 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 104948 83689 4288 2842 0 86642 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 419792 KiB
Current children cumulated memory: 334756 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 48021
/proc/meminfo: memFree=128858160/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=425196 memory=347636 CPUtime=281.51 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 86058 0 0 0 28136 15 0 0 20 0 1 0 49038238 435400704 86909 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 106299 86909 4288 2842 0 87993 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 425196 KiB
Current children cumulated memory: 347636 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 48023
/proc/meminfo: memFree=129076592/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=271812 memory=203648 CPUtime=341.35 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 88992 0 0 0 34078 57 0 0 20 0 1 0 49038238 278335488 50912 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 67953 50912 4448 2842 0 49647 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 271812 KiB
Current children cumulated memory: 203648 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 48026
/proc/meminfo: memFree=129027616/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=302632 memory=224128 CPUtime=401.18 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 89570 0 0 0 40025 93 0 0 20 0 1 0 49038238 309895168 56032 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 75658 56032 4448 2842 0 57352 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 302632 KiB
Current children cumulated memory: 224128 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 48028
/proc/meminfo: memFree=129149512/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=302632 memory=230272 CPUtime=461.02 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 89640 0 0 0 45980 122 0 0 20 0 1 0 49038238 309895168 57568 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 75658 57568 4448 2842 0 57352 0
Current children cumulated CPU time: 461.02 s
################
# More data... #
################
Current children cumulated memory: 430032 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 48163
/proc/meminfo: memFree=128470452/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=546956 memory=430544 CPUtime=2914.08 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 109115 0 0 0 290718 690 0 0 20 0 1 0 49038238 560082944 107636 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 136739 107636 4448 2842 0 118433 0
Current children cumulated CPU time: 2914.08 s
Current children cumulated vsize: 546956 KiB
Current children cumulated memory: 430544 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 48165
/proc/meminfo: memFree=128429528/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=548240 memory=431440 CPUtime=2973.92 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 109330 0 0 0 296692 700 0 0 20 0 1 0 49038238 561397760 107860 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 137060 107860 4448 2842 0 118754 0
Current children cumulated CPU time: 2973.92 s
Current children cumulated vsize: 548240 KiB
Current children cumulated memory: 431440 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 48167
/proc/meminfo: memFree=128403532/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=550544 memory=441352 CPUtime=3033.76 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 109791 0 0 0 302664 712 0 0 20 0 1 0 49038238 563757056 110338 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 137636 110338 4448 2842 0 119330 0
Current children cumulated CPU time: 3033.76 s
Current children cumulated vsize: 550544 KiB
Current children cumulated memory: 441352 KiB
[startup+3102.3 s]
/proc/loadavg: 4.26 4.15 4.10 5/264 48171
/proc/meminfo: memFree=128402068/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=551312 memory=441992 CPUtime=3093.59 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 109933 0 0 0 308639 720 0 0 20 0 1 0 49038238 564543488 110498 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 137828 110498 4448 2842 0 119522 0
Current children cumulated CPU time: 3093.59 s
Current children cumulated vsize: 551312 KiB
Current children cumulated memory: 441992 KiB
[startup+3162.3 s]
/proc/loadavg: 4.24 4.17 4.11 5/264 48173
/proc/meminfo: memFree=128393900/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=551492 memory=442120 CPUtime=3153.44 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 109964 0 0 0 314615 729 0 0 20 0 1 0 49038238 564727808 110530 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 137873 110530 4448 2842 0 119567 0
Current children cumulated CPU time: 3153.44 s
Current children cumulated vsize: 551492 KiB
Current children cumulated memory: 442120 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/265 48178
/proc/meminfo: memFree=128385624/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=552592 memory=449084 CPUtime=3213.29 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 110184 0 0 0 320589 740 0 0 20 0 1 0 49038238 565854208 112271 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 138148 112271 4448 2842 0 119842 0
Current children cumulated CPU time: 3213.29 s
Current children cumulated vsize: 552592 KiB
Current children cumulated memory: 449084 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/265 48184
/proc/meminfo: memFree=128354912/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=553104 memory=469080 CPUtime=3273.12 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 110291 0 0 0 326563 749 0 0 20 0 1 0 49038238 566378496 117270 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 138276 117270 4448 2842 0 119970 0
Current children cumulated CPU time: 3273.12 s
Current children cumulated vsize: 553104 KiB
Current children cumulated memory: 469080 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/265 48186
/proc/meminfo: memFree=128346640/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=553360 memory=473388 CPUtime=3332.95 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 110333 0 0 0 332538 757 0 0 20 0 1 0 49038238 566640640 118347 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 138340 118347 4448 2842 0 120034 0
Current children cumulated CPU time: 3332.95 s
Current children cumulated vsize: 553360 KiB
Current children cumulated memory: 473388 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 48188
/proc/meminfo: memFree=128346752/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=553360 memory=473388 CPUtime=3392.8 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 110333 0 0 0 338513 767 0 0 20 0 1 0 49038238 566640640 118347 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 138340 118347 4448 2842 0 120034 0
Current children cumulated CPU time: 3392.8 s
Current children cumulated vsize: 553360 KiB
Current children cumulated memory: 473388 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 48191
/proc/meminfo: memFree=128338568/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=554052 memory=473772 CPUtime=3452.64 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 110450 0 0 0 344485 779 0 0 20 0 1 0 49038238 567349248 118443 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 138513 118443 4448 2842 0 120207 0
Current children cumulated CPU time: 3452.64 s
Current children cumulated vsize: 554052 KiB
Current children cumulated memory: 473772 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/263 48193
/proc/meminfo: memFree=128310296/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=555848 memory=487244 CPUtime=3512.47 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 110738 0 0 0 350459 788 0 0 20 0 1 0 49038238 569188352 121811 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 138962 121811 4448 2842 0 120656 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 555848 KiB
Current children cumulated memory: 487244 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 48196
/proc/meminfo: memFree=128290952/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=558992 memory=489420 CPUtime=3572.31 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 111268 0 0 0 356432 799 0 0 20 0 1 0 49038238 572407808 122355 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 139748 122355 4448 2842 0 121442 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 558992 KiB
Current children cumulated memory: 489420 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 48198
/proc/meminfo: memFree=128298600/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=558992 memory=489420 CPUtime=3600.05 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 111394 0 0 0 359202 803 0 0 20 0 1 0 49038238 572407808 122355 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 139748 122355 4448 2842 0 121442 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 558992 KiB
Current children cumulated memory: 489420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 47869 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.02 s, system=8.03354 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 48198
/proc/meminfo: memFree=128298600/131249996 swapFree=33010416/33010684
[pid=47869] ppid=47866 vsize=558992 memory=489420 CPUtime=3600.05 cores=0,2
/proc/47869/stat : 47869 (mixed-bag) R 47866 47869 45645 0 -1 4194304 111394 0 0 0 359202 803 0 0 20 0 1 0 49038238 572407808 122355 18446744073709551615 4235264 15874749 140721161035200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 50257920 140721161042332 140721161042409 140721161042409 140721161048011 0
/proc/47869/statm: 139748 122355 4448 2842 0 121442 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 558992 KiB
Current children cumulated memory: 489420 KiB
Child status: 0
Real time (s): 3610.11
CPU time (s): 3600.06
CPU user time (s): 3592.02
CPU system time (s): 8.03354
CPU usage (%): 99.7215
Max. virtual memory (cumulated for all children) (KiB): 558992
Max. memory (cumulated for all children) (KiB): 489420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.02
system time used= 8.03354
maximum resident set size= 490060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111424
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= 4772
# summary of solver processes directly reported to runsolver:
# pid: 47869
# total CPU time (s): 3600.06
# total CPU user time (s): 3592.02
# total CPU system time (s): 8.03354
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62958 second user time and 16.059 second system time
The end
Begin job on nodeC015 at 2025-07-01 03:33:28
IDJOB=4488853
IDBENCH=147533
IDSOLVER=3340
FILE ID=nodeC015/4488853-1751333607
RUNJOBID= nodeC015-1751326375-45655
SLURM_JOB_ID= 9594361
Free space on /tmp= 432972 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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-4488853-1751333607/watcher-4488853-1751333607 -o /tmp/evaluation-result-4488853-1751333607/solver-4488853-1751333607 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45655 --watchdog 3760 mixed-bag HOME/instance-4488853-1751333607.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1c637e715c606e851ba2308661126deb
RANDOM SEED=1527401081
nodeC015 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.080
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 : 7000.14
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.079
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 : 7000.14
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.518
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 : 7000.14
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 : 3586.556
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.069
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 : 7000.14
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 : 3600.063
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 : 7000.14
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 : 3610.728
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 : 7000.14
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 : 3700.000
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128617704 kB
MemAvailable: 128342696 kB
Buffers: 2128 kB
Cached: 513788 kB
SwapCached: 24 kB
Active: 1795572 kB
Inactive: 209364 kB
Active(anon): 1487008 kB
Inactive(anon): 20084 kB
Active(file): 308564 kB
Inactive(file): 189280 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15600 kB
Writeback: 0 kB
AnonPages: 1490364 kB
Mapped: 138972 kB
Shmem: 18052 kB
KReclaimable: 132776 kB
Slab: 222072 kB
SReclaimable: 132776 kB
SUnreclaim: 89296 kB
KernelStack: 4304 kB
PageTables: 6368 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2047024 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1339392 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: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432956 MiB
End job on nodeC015 at 2025-07-01 04:33:38