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.32/300.37 c [STEP] preprocessing done, loading into solver
299.32/300.37 c [STEP] solving
299.32/300.37 c #variables 1658 #constraints 3254
299.32/300.37 c SMALL=int, LARGE=long long
299.32/300.37 d SCIPUB 894
299.32/300.37 c bounds - >= 0 @ 299.275
299.32/300.37 c stratification level: 0
299.61/300.66 c bounds - >= 677 @ 299.28
299.61/300.66 c bounds - >= 678 @ 299.281
299.61/300.66 c bounds - >= 679 @ 299.282
299.61/300.66 c bounds - >= 680 @ 299.282
299.61/300.66 c bounds - >= 681 @ 299.282
299.61/300.66 c bounds - >= 682 @ 299.282
299.61/300.66 c bounds - >= 683 @ 299.283
299.61/300.66 c bounds - >= 684 @ 299.283
299.61/300.66 c bounds - >= 685 @ 299.283
299.61/300.66 c bounds - >= 686 @ 299.283
299.61/300.66 c bounds - >= 687 @ 299.283
299.61/300.66 c bounds - >= 688 @ 299.283
299.61/300.66 c bounds - >= 689 @ 299.283
299.61/300.66 c bounds - >= 690 @ 299.283
299.61/300.66 c bounds - >= 691 @ 299.283
299.61/300.66 c bounds - >= 692 @ 299.283
299.61/300.66 c bounds - >= 693 @ 299.283
299.61/300.66 c bounds - >= 694 @ 299.284
299.61/300.66 c bounds - >= 695 @ 299.284
299.61/300.66 c bounds - >= 696 @ 299.284
299.61/300.66 c bounds - >= 697 @ 299.284
299.61/300.66 c bounds - >= 698 @ 299.285
299.61/300.66 c bounds - >= 699 @ 299.285
299.61/300.66 c bounds - >= 700 @ 299.285
299.61/300.66 c bounds - >= 701 @ 299.285
299.61/300.66 c bounds - >= 702 @ 299.285
299.61/300.66 c bounds - >= 703 @ 299.286
299.61/300.66 c bounds - >= 704 @ 299.286
299.61/300.66 c bounds - >= 705 @ 299.286
299.61/300.66 c bounds - >= 706 @ 299.286
299.61/300.66 c bounds - >= 707 @ 299.286
299.61/300.66 c bounds - >= 708 @ 299.287
299.61/300.66 c bounds - >= 709 @ 299.287
299.61/300.66 c bounds - >= 710 @ 299.287
299.61/300.66 c bounds - >= 711 @ 299.287
299.61/300.66 c bounds - >= 712 @ 299.287
299.61/300.66 c bounds - >= 713 @ 299.287
299.61/300.66 c bounds - >= 714 @ 299.287
299.61/300.66 c bounds - >= 715 @ 299.287
299.61/300.66 c bounds - >= 716 @ 299.288
299.61/300.66 c bounds - >= 717 @ 299.288
299.61/300.66 c bounds - >= 718 @ 299.288
299.61/300.66 c bounds - >= 719 @ 299.288
299.61/300.66 c bounds - >= 720 @ 299.288
299.61/300.66 c bounds - >= 721 @ 299.289
299.61/300.66 c bounds - >= 722 @ 299.289
299.61/300.66 c bounds - >= 723 @ 299.289
299.61/300.66 c bounds - >= 724 @ 299.289
299.61/300.66 c bounds - >= 725 @ 299.289
299.61/300.66 c bounds - >= 726 @ 299.289
299.61/300.66 c bounds - >= 727 @ 299.289
299.61/300.66 c bounds - >= 728 @ 299.289
299.61/300.66 c bounds - >= 729 @ 299.289
299.61/300.66 c bounds - >= 730 @ 299.289
299.61/300.66 c bounds - >= 731 @ 299.289
299.61/300.66 c bounds - >= 732 @ 299.289
299.61/300.66 c bounds - >= 733 @ 299.29
299.61/300.66 c bounds - >= 734 @ 299.29
299.61/300.66 c bounds - >= 735 @ 299.29
299.61/300.66 c bounds - >= 736 @ 299.29
299.61/300.66 c bounds - >= 737 @ 299.291
299.61/300.66 c bounds - >= 738 @ 299.291
299.61/300.66 c bounds - >= 739 @ 299.291
299.61/300.66 c bounds - >= 740 @ 299.291
299.61/300.66 c bounds - >= 741 @ 299.292
299.61/300.66 c bounds - >= 742 @ 299.292
299.61/300.66 c bounds - >= 743 @ 299.292
299.61/300.66 c bounds - >= 744 @ 299.292
299.61/300.66 c bounds - >= 745 @ 299.293
299.61/300.66 c bounds - >= 746 @ 299.293
299.61/300.66 c bounds - >= 747 @ 299.293
299.61/300.66 c bounds - >= 748 @ 299.293
299.61/300.66 c bounds - >= 749 @ 299.294
299.61/300.66 c bounds - >= 750 @ 299.294
299.61/300.66 c bounds - >= 751 @ 299.294
299.61/300.66 c bounds - >= 752 @ 299.294
299.61/300.66 c bounds - >= 753 @ 299.295
299.61/300.66 c bounds - >= 754 @ 299.295
299.61/300.66 c bounds - >= 755 @ 299.295
299.61/300.66 c bounds - >= 756 @ 299.295
299.61/300.66 c bounds - >= 757 @ 299.296
299.61/300.66 c bounds - >= 758 @ 299.296
299.61/300.66 c bounds - >= 759 @ 299.296
299.61/300.66 c bounds - >= 760 @ 299.296
299.61/300.66 c bounds - >= 761 @ 299.297
299.61/300.66 c bounds - >= 762 @ 299.297
299.61/300.66 c bounds - >= 763 @ 299.297
299.61/300.66 c bounds - >= 764 @ 299.297
299.61/300.66 c bounds - >= 765 @ 299.297
299.61/300.66 c bounds - >= 766 @ 299.297
299.61/300.66 c bounds - >= 767 @ 299.297
299.61/300.66 c bounds - >= 768 @ 299.297
299.61/300.66 c bounds - >= 769 @ 299.297
299.61/300.66 c bounds - >= 770 @ 299.297
299.61/300.66 c bounds - >= 771 @ 299.297
299.61/300.66 c bounds - >= 772 @ 299.298
299.61/300.66 c bounds - >= 773 @ 299.298
299.61/300.66 c bounds - >= 774 @ 299.298
299.61/300.66 c bounds - >= 775 @ 299.298
299.61/300.66 c bounds - >= 776 @ 299.298
299.61/300.66 c bounds - >= 777 @ 299.298
299.61/300.66 c bounds - >= 778 @ 299.298
299.61/300.66 c bounds - >= 779 @ 299.299
299.61/300.66 c bounds - >= 780 @ 299.299
299.61/300.66 c bounds - >= 781 @ 299.299
299.61/300.66 c bounds - >= 782 @ 299.299
299.61/300.66 c bounds - >= 783 @ 299.299
299.61/300.66 c bounds - >= 784 @ 299.299
299.61/300.66 c bounds - >= 785 @ 299.299
299.61/300.66 c bounds - >= 786 @ 299.3
299.61/300.66 c bounds - >= 787 @ 299.3
299.61/300.66 c bounds - >= 788 @ 299.3
299.61/300.66 c bounds - >= 789 @ 299.301
299.61/300.66 c bounds - >= 790 @ 299.301
299.61/300.66 c bounds - >= 791 @ 299.301
299.61/300.66 c bounds - >= 792 @ 299.301
299.61/300.66 c bounds - >= 793 @ 299.301
299.61/300.66 c bounds - >= 794 @ 299.301
299.61/300.66 c bounds - >= 795 @ 299.301
299.61/300.66 c bounds - >= 796 @ 299.301
299.61/300.66 c bounds - >= 797 @ 299.301
299.61/300.66 c bounds - >= 798 @ 299.301
299.61/300.66 c bounds - >= 799 @ 299.301
299.61/300.66 c bounds - >= 800 @ 299.301
299.61/300.66 c bounds - >= 801 @ 299.301
299.61/300.66 c bounds - >= 802 @ 299.301
299.61/300.66 c bounds - >= 803 @ 299.301
299.61/300.66 c bounds - >= 804 @ 299.301
299.61/300.66 c bounds - >= 805 @ 299.301
299.61/300.66 c bounds - >= 806 @ 299.301
299.61/300.66 c bounds - >= 807 @ 299.302
299.61/300.66 c bounds - >= 808 @ 299.302
299.61/300.66 c bounds - >= 809 @ 299.302
299.61/300.66 c bounds - >= 810 @ 299.302
299.61/300.66 c bounds - >= 811 @ 299.302
299.61/300.66 c bounds - >= 812 @ 299.303
299.61/300.66 c bounds - >= 813 @ 299.303
299.61/300.66 c bounds - >= 814 @ 299.303
299.61/300.66 c bounds - >= 815 @ 299.303
299.61/300.66 c bounds - >= 816 @ 299.303
299.61/300.66 c bounds - >= 817 @ 299.304
299.61/300.66 c bounds - >= 818 @ 299.304
299.61/300.66 c bounds - >= 819 @ 299.305
299.61/300.66 c bounds - >= 820 @ 299.305
299.61/300.66 c bounds - >= 821 @ 299.305
299.61/300.66 c #Conflicts: 1000 | #Constraints: 5218
353.74/354.93 c #Conflicts: 2000 | #Constraints: 6218
353.74/354.93 c INPROCESSING
353.74/354.93 c GARBAGE COLLECT
353.74/354.93 c #Conflicts: 3000 | #Constraints: 6080
353.74/354.93 c #Conflicts: 4000 | #Constraints: 7080
353.74/354.93 c INPROCESSING
353.74/354.93 c GARBAGE COLLECT
353.74/354.93 c #Conflicts: 5000 | #Constraints: 6453
353.74/354.93 c #Conflicts: 6000 | #Constraints: 7453
353.74/354.93 c INPROCESSING
353.74/354.93 c GARBAGE COLLECT
353.74/354.93 c #Conflicts: 7000 | #Constraints: 6438
353.74/354.93 c #Conflicts: 8000 | #Constraints: 7438
353.74/354.93 c #Conflicts: 9000 | #Constraints: 8438
353.74/354.93 c INPROCESSING
353.74/354.93 c GARBAGE COLLECT
353.74/354.93 c #Conflicts: 10000 | #Constraints: 7133
353.74/354.93 c #Conflicts: 11000 | #Constraints: 8133
353.74/354.93 c #Conflicts: 12000 | #Constraints: 9133
353.74/354.93 c INPROCESSING
353.74/354.93 c GARBAGE COLLECT
353.74/354.93 c #Conflicts: 13000 | #Constraints: 7574
353.74/354.93 c #Conflicts: 14000 | #Constraints: 8574
353.74/354.93 c #Conflicts: 15000 | #Constraints: 9574
353.74/354.93 c INPROCESSING
353.74/354.93 c GARBAGE COLLECT
353.74/354.93 c #Conflicts: 16000 | #Constraints: 7797
353.74/354.93 c #Conflicts: 17000 | #Constraints: 8797
353.74/354.93 c #Conflicts: 18000 | #Constraints: 9797
353.74/354.93 c INPROCESSING
353.74/354.93 c GARBAGE COLLECT
353.74/354.93 c #Conflicts: 19000 | #Constraints: 7814
353.74/354.93 c #Conflicts: 20000 | #Constraints: 8814
353.74/354.93 c #Conflicts: 21000 | #Constraints: 9814
353.74/354.93 c INPROCESSING
353.74/354.93 c GARBAGE COLLECT
353.74/354.93 c #Conflicts: 22000 | #Constraints: 7620
353.74/354.93 c #Conflicts: 23000 | #Constraints: 8620
353.74/354.93 c #Conflicts: 24000 | #Constraints: 9620
353.74/354.93 c #Conflicts: 25000 | #Constraints: 10620
353.74/354.93 c INPROCESSING
353.74/354.93 c GARBAGE COLLECT
353.74/354.93 c #Conflicts: 26000 | #Constraints: 8238
353.74/354.93 c #Conflicts: 27000 | #Constraints: 9238
353.74/354.93 c #Conflicts: 28000 | #Constraints: 10238
353.74/354.93 c #Conflicts: 29000 | #Constraints: 11238
353.74/354.93 c INPROCESSING
353.74/354.93 c GARBAGE COLLECT
353.74/354.93 c #Conflicts: 30000 | #Constraints: 8637
353.74/354.93 c #Conflicts: 31000 | #Constraints: 9637
353.74/354.93 c #Conflicts: 32000 | #Constraints: 10637
353.74/354.93 c #Conflicts: 33000 | #Constraints: 11637
353.74/354.93 c INPROCESSING
353.74/354.93 c GARBAGE COLLECT
353.74/354.93 c #Conflicts: 34000 | #Constraints: 8825
353.74/354.93 c #Conflicts: 35000 | #Constraints: 9825
353.74/354.93 c #Conflicts: 36000 | #Constraints: 10825
353.74/354.93 c #Conflicts: 37000 | #Constraints: 11825
353.74/354.93 c INPROCESSING
353.74/354.93 c GARBAGE COLLECT
353.74/354.93 c #Conflicts: 38000 | #Constraints: 8826
353.74/354.93 c #Conflicts: 39000 | #Constraints: 9826
353.74/354.93 c #Conflicts: 40000 | #Constraints: 10826
353.74/354.93 c #Conflicts: 41000 | #Constraints: 11826
353.74/354.93 c INPROCESSING
353.74/354.93 c GARBAGE COLLECT
353.74/354.93 c #Conflicts: 42000 | #Constraints: 8625
353.74/354.93 c #Conflicts: 43000 | #Constraints: 9625
353.74/354.93 c #Conflicts: 44000 | #Constraints: 10625
353.74/354.93 c #Conflicts: 45000 | #Constraints: 11625
353.74/354.93 c #Conflicts: 46000 | #Constraints: 12625
353.74/354.93 c INPROCESSING
353.74/354.93 c GARBAGE COLLECT
353.74/354.93 c #Conflicts: 47000 | #Constraints: 9220
353.74/354.93 c #Conflicts: 48000 | #Constraints: 10220
353.74/354.93 c #Conflicts: 49000 | #Constraints: 11220
353.74/354.93 c #Conflicts: 50000 | #Constraints: 12220
353.74/354.93 c #Conflicts: 51000 | #Constraints: 13220
353.74/354.93 c INPROCESSING
353.74/354.93 c GARBAGE COLLECT
353.74/354.93 c #Conflicts: 52000 | #Constraints: 9624
353.74/354.93 c #Conflicts: 53000 | #Constraints: 10624
353.74/354.93 c #Conflicts: 54000 | #Constraints: 11624
353.74/354.93 c #Conflicts: 55000 | #Constraints: 12624
353.74/354.93 c #Conflicts: 56000 | #Constraints: 13624
353.74/354.93 c INPROCESSING
353.74/354.93 c GARBAGE COLLECT
353.74/354.93 c #Conflicts: 57000 | #Constraints: 9824
353.74/354.93 c #Conflicts: 58000 | #Constraints: 10824
353.74/354.93 c #Conflicts: 59000 | #Constraints: 11824
353.74/354.93 c #Conflicts: 60000 | #Constraints: 12824
353.74/354.93 c #Conflicts: 61000 | #Constraints: 13824
353.74/354.93 c INPROCESSING
353.74/354.93 c GARBAGE COLLECT
353.74/354.93 c #Conflicts: 62000 | #Constraints: 9826
353.74/354.93 c #Conflicts: 63000 | #Constraints: 10826
353.74/354.93 c #Conflicts: 64000 | #Constraints: 11826
353.74/354.93 c #Conflicts: 65000 | #Constraints: 12826
353.74/354.93 c #Conflicts: 66000 | #Constraints: 13826
353.74/354.93 c INPROCESSING
353.74/354.93 c GARBAGE COLLECT
353.74/354.93 c #Conflicts: 67000 | #Constraints: 9628
353.74/354.93 c #Conflicts: 68000 | #Constraints: 10628
353.74/354.93 c #Conflicts: 69000 | #Constraints: 11628
451.13/452.67 c #Conflicts: 70000 | #Constraints: 12628
451.13/452.67 c #Conflicts: 71000 | #Constraints: 13628
451.13/452.67 c #Conflicts: 72000 | #Constraints: 14628
451.13/452.67 c INPROCESSING
451.13/452.67 c GARBAGE COLLECT
451.13/452.67 c #Conflicts: 73000 | #Constraints: 10226
451.13/452.67 c #Conflicts: 74000 | #Constraints: 11226
451.13/452.67 c #Conflicts: 75000 | #Constraints: 12226
451.13/452.67 c #Conflicts: 76000 | #Constraints: 13226
451.13/452.67 c #Conflicts: 77000 | #Constraints: 14226
451.13/452.67 c #Conflicts: 78000 | #Constraints: 15226
451.13/452.67 c INPROCESSING
451.13/452.67 c GARBAGE COLLECT
451.13/452.67 c #Conflicts: 79000 | #Constraints: 10622
451.13/452.67 c #Conflicts: 80000 | #Constraints: 11622
451.13/452.67 c #Conflicts: 81000 | #Constraints: 12622
451.13/452.67 c #Conflicts: 82000 | #Constraints: 13622
451.13/452.67 c #Conflicts: 83000 | #Constraints: 14622
451.13/452.67 c #Conflicts: 84000 | #Constraints: 15622
451.13/452.67 c INPROCESSING
451.13/452.67 c GARBAGE COLLECT
451.13/452.67 c #Conflicts: 85000 | #Constraints: 10832
451.13/452.67 c #Conflicts: 86000 | #Constraints: 11832
451.13/452.67 c #Conflicts: 87000 | #Constraints: 12832
451.13/452.67 c #Conflicts: 88000 | #Constraints: 13832
451.13/452.67 c #Conflicts: 89000 | #Constraints: 14832
451.13/452.67 c #Conflicts: 90000 | #Constraints: 15832
451.13/452.67 c INPROCESSING
451.13/452.67 c GARBAGE COLLECT
451.13/452.67 c #Conflicts: 91000 | #Constraints: 10834
451.13/452.67 c #Conflicts: 92000 | #Constraints: 11834
451.13/452.67 c #Conflicts: 93000 | #Constraints: 12834
451.13/452.67 c #Conflicts: 94000 | #Constraints: 13834
451.13/452.67 c #Conflicts: 95000 | #Constraints: 14834
451.13/452.67 c #Conflicts: 96000 | #Constraints: 15834
451.13/452.67 c INPROCESSING
451.13/452.67 c GARBAGE COLLECT
451.13/452.67 c #Conflicts: 97000 | #Constraints: 10638
451.13/452.67 c #Conflicts: 98000 | #Constraints: 11638
451.13/452.67 c #Conflicts: 99000 | #Constraints: 12638
451.13/452.67 c #Conflicts: 100000 | #Constraints: 13638
451.13/452.67 c #Conflicts: 101000 | #Constraints: 14638
451.13/452.67 c #Conflicts: 102000 | #Constraints: 15638
451.13/452.67 c #Conflicts: 103000 | #Constraints: 16638
451.13/452.67 c INPROCESSING
451.13/452.67 c GARBAGE COLLECT
451.13/452.67 c #Conflicts: 104000 | #Constraints: 11232
451.13/452.67 c #Conflicts: 105000 | #Constraints: 12232
451.13/452.67 c #Conflicts: 106000 | #Constraints: 13232
451.13/452.67 c #Conflicts: 107000 | #Constraints: 14232
451.13/452.67 c #Conflicts: 108000 | #Constraints: 15232
451.13/452.67 c #Conflicts: 109000 | #Constraints: 16232
451.13/452.67 c #Conflicts: 110000 | #Constraints: 17232
451.13/452.67 c INPROCESSING
451.13/452.67 c GARBAGE COLLECT
451.13/452.67 c #Conflicts: 111000 | #Constraints: 11631
451.13/452.67 c #Conflicts: 112000 | #Constraints: 12631
451.13/452.67 c #Conflicts: 113000 | #Constraints: 13631
451.13/452.67 c #Conflicts: 114000 | #Constraints: 14631
451.13/452.67 c #Conflicts: 115000 | #Constraints: 15631
451.13/452.67 c #Conflicts: 116000 | #Constraints: 16631
451.13/452.67 c #Conflicts: 117000 | #Constraints: 17631
451.13/452.67 c INPROCESSING
451.13/452.67 c GARBAGE COLLECT
451.13/452.67 c #Conflicts: 118000 | #Constraints: 11832
451.13/452.67 c #Conflicts: 119000 | #Constraints: 12832
451.13/452.67 c #Conflicts: 120000 | #Constraints: 13832
451.13/452.67 c #Conflicts: 121000 | #Constraints: 14832
451.13/452.67 c #Conflicts: 122000 | #Constraints: 15832
451.13/452.67 c #Conflicts: 123000 | #Constraints: 16832
451.13/452.67 c #Conflicts: 124000 | #Constraints: 17832
451.13/452.67 c INPROCESSING
451.13/452.67 c GARBAGE COLLECT
451.13/452.67 c #Conflicts: 125000 | #Constraints: 11833
451.13/452.67 c #Conflicts: 126000 | #Constraints: 12833
451.13/452.67 c #Conflicts: 127000 | #Constraints: 13833
451.13/452.67 c #Conflicts: 128000 | #Constraints: 14833
451.13/452.67 c #Conflicts: 129000 | #Constraints: 15833
451.13/452.67 c #Conflicts: 130000 | #Constraints: 16833
451.13/452.67 c #Conflicts: 131000 | #Constraints: 17833
451.13/452.67 c INPROCESSING
451.13/452.67 c GARBAGE COLLECT
451.13/452.67 c #Conflicts: 132000 | #Constraints: 11624
451.13/452.67 c #Conflicts: 133000 | #Constraints: 12624
451.13/452.67 c #Conflicts: 134000 | #Constraints: 13624
451.13/452.67 c #Conflicts: 135000 | #Constraints: 14624
451.13/452.67 c #Conflicts: 136000 | #Constraints: 15624
451.13/452.67 c #Conflicts: 137000 | #Constraints: 16624
451.13/452.67 c #Conflicts: 138000 | #Constraints: 17624
451.13/452.67 c #Conflicts: 139000 | #Constraints: 18624
451.13/452.67 c INPROCESSING
451.13/452.67 c GARBAGE COLLECT
451.13/452.67 c #Conflicts: 140000 | #Constraints: 12221
451.13/452.67 c #Conflicts: 141000 | #Constraints: 13221
550.06/551.80 c #Conflicts: 142000 | #Constraints: 14221
550.06/551.80 c #Conflicts: 143000 | #Constraints: 15221
550.06/551.80 c #Conflicts: 144000 | #Constraints: 16221
550.06/551.80 c #Conflicts: 145000 | #Constraints: 17221
550.06/551.80 c #Conflicts: 146000 | #Constraints: 18221
550.06/551.80 c #Conflicts: 147000 | #Constraints: 19221
550.06/551.80 c INPROCESSING
550.06/551.80 c GARBAGE COLLECT
550.06/551.80 c #Conflicts: 148000 | #Constraints: 12619
550.06/551.80 c #Conflicts: 149000 | #Constraints: 13619
550.06/551.80 c #Conflicts: 150000 | #Constraints: 14619
550.06/551.80 c #Conflicts: 151000 | #Constraints: 15619
550.06/551.80 c #Conflicts: 152000 | #Constraints: 16619
550.06/551.80 c #Conflicts: 153000 | #Constraints: 17619
550.06/551.80 c #Conflicts: 154000 | #Constraints: 18619
550.06/551.80 c #Conflicts: 155000 | #Constraints: 19619
550.06/551.80 c INPROCESSING
550.06/551.80 c GARBAGE COLLECT
550.06/551.80 c #Conflicts: 156000 | #Constraints: 12817
550.06/551.80 c #Conflicts: 157000 | #Constraints: 13817
550.06/551.80 c #Conflicts: 158000 | #Constraints: 14817
550.06/551.80 c #Conflicts: 159000 | #Constraints: 15817
550.06/551.80 c #Conflicts: 160000 | #Constraints: 16817
550.06/551.80 c #Conflicts: 161000 | #Constraints: 17817
550.06/551.80 c #Conflicts: 162000 | #Constraints: 18817
550.06/551.80 c #Conflicts: 163000 | #Constraints: 19817
550.06/551.80 c INPROCESSING
550.06/551.80 c GARBAGE COLLECT
550.06/551.80 c #Conflicts: 164000 | #Constraints: 12819
550.06/551.80 c #Conflicts: 165000 | #Constraints: 13819
550.06/551.80 c #Conflicts: 166000 | #Constraints: 14819
550.06/551.80 c #Conflicts: 167000 | #Constraints: 15819
550.06/551.80 c #Conflicts: 168000 | #Constraints: 16819
550.06/551.80 c #Conflicts: 169000 | #Constraints: 17819
550.06/551.80 c #Conflicts: 170000 | #Constraints: 18819
550.06/551.80 c #Conflicts: 171000 | #Constraints: 19819
550.06/551.80 c INPROCESSING
550.06/551.80 c GARBAGE COLLECT
550.06/551.80 c #Conflicts: 172000 | #Constraints: 12613
550.06/551.80 c #Conflicts: 173000 | #Constraints: 13613
550.06/551.80 c #Conflicts: 174000 | #Constraints: 14613
550.06/551.80 c #Conflicts: 175000 | #Constraints: 15613
550.06/551.80 c #Conflicts: 176000 | #Constraints: 16613
550.06/551.80 c #Conflicts: 177000 | #Constraints: 17613
550.06/551.80 c #Conflicts: 178000 | #Constraints: 18613
550.06/551.80 c #Conflicts: 179000 | #Constraints: 19613
550.06/551.80 c #Conflicts: 180000 | #Constraints: 20613
550.06/551.80 c INPROCESSING
550.06/551.80 c GARBAGE COLLECT
550.06/551.80 c #Conflicts: 181000 | #Constraints: 13213
550.06/551.80 c #Conflicts: 182000 | #Constraints: 14213
550.06/551.80 c #Conflicts: 183000 | #Constraints: 15213
550.06/551.80 c #Conflicts: 184000 | #Constraints: 16213
550.06/551.80 c #Conflicts: 185000 | #Constraints: 17213
550.06/551.80 c #Conflicts: 186000 | #Constraints: 18213
550.06/551.80 c #Conflicts: 187000 | #Constraints: 19213
550.06/551.80 c #Conflicts: 188000 | #Constraints: 20213
550.06/551.80 c #Conflicts: 189000 | #Constraints: 21213
550.06/551.80 c INPROCESSING
550.06/551.80 c GARBAGE COLLECT
550.06/551.80 c #Conflicts: 190000 | #Constraints: 13619
550.06/551.80 c #Conflicts: 191000 | #Constraints: 14619
550.06/551.80 c #Conflicts: 192000 | #Constraints: 15619
550.06/551.80 c #Conflicts: 193000 | #Constraints: 16619
550.06/551.80 c #Conflicts: 194000 | #Constraints: 17619
550.06/551.80 c #Conflicts: 195000 | #Constraints: 18619
550.06/551.80 c #Conflicts: 196000 | #Constraints: 19619
550.06/551.80 c #Conflicts: 197000 | #Constraints: 20619
550.06/551.80 c #Conflicts: 198000 | #Constraints: 21619
550.06/551.80 c INPROCESSING
550.06/551.80 c GARBAGE COLLECT
550.06/551.80 c #Conflicts: 199000 | #Constraints: 13821
550.06/551.80 c #Conflicts: 200000 | #Constraints: 14821
550.06/551.80 c #Conflicts: 201000 | #Constraints: 15821
550.06/551.80 c #Conflicts: 202000 | #Constraints: 16821
550.06/551.80 c #Conflicts: 203000 | #Constraints: 17821
550.06/551.80 c #Conflicts: 204000 | #Constraints: 18821
550.06/551.80 c #Conflicts: 205000 | #Constraints: 19821
550.06/551.80 c #Conflicts: 206000 | #Constraints: 20821
550.06/551.80 c #Conflicts: 207000 | #Constraints: 21821
550.06/551.80 c INPROCESSING
550.06/551.80 c GARBAGE COLLECT
550.06/551.80 c #Conflicts: 208000 | #Constraints: 13826
550.06/551.80 c #Conflicts: 209000 | #Constraints: 14826
550.06/551.80 c #Conflicts: 210000 | #Constraints: 15826
550.06/551.80 c #Conflicts: 211000 | #Constraints: 16826
550.06/551.80 c #Conflicts: 212000 | #Constraints: 17826
550.06/551.80 c #Conflicts: 213000 | #Constraints: 18826
550.06/551.80 c #Conflicts: 214000 | #Constraints: 19826
708.05/710.31 c #Conflicts: 215000 | #Constraints: 20826
708.05/710.31 c #Conflicts: 216000 | #Constraints: 21826
708.05/710.31 c INPROCESSING
708.05/710.31 c GARBAGE COLLECT
708.05/710.31 c #Conflicts: 217000 | #Constraints: 13624
708.05/710.31 c #Conflicts: 218000 | #Constraints: 14624
708.05/710.31 c #Conflicts: 219000 | #Constraints: 15624
708.05/710.31 c #Conflicts: 220000 | #Constraints: 16624
708.05/710.31 c #Conflicts: 221000 | #Constraints: 17624
708.05/710.31 c #Conflicts: 222000 | #Constraints: 18624
708.05/710.31 c #Conflicts: 223000 | #Constraints: 19624
708.05/710.31 c #Conflicts: 224000 | #Constraints: 20624
708.05/710.31 c #Conflicts: 225000 | #Constraints: 21624
708.05/710.31 c #Conflicts: 226000 | #Constraints: 22624
708.05/710.31 c INPROCESSING
708.05/710.31 c GARBAGE COLLECT
708.05/710.31 c #Conflicts: 227000 | #Constraints: 14227
708.05/710.31 c #Conflicts: 228000 | #Constraints: 15227
708.05/710.31 c #Conflicts: 229000 | #Constraints: 16227
708.05/710.31 c #Conflicts: 230000 | #Constraints: 17227
708.05/710.31 c #Conflicts: 231000 | #Constraints: 18227
708.05/710.31 c #Conflicts: 232000 | #Constraints: 19227
708.05/710.31 c #Conflicts: 233000 | #Constraints: 20227
708.05/710.31 c #Conflicts: 234000 | #Constraints: 21227
708.05/710.31 c #Conflicts: 235000 | #Constraints: 22227
708.05/710.31 c #Conflicts: 236000 | #Constraints: 23227
708.05/710.31 c INPROCESSING
708.05/710.31 c GARBAGE COLLECT
708.05/710.31 c #Conflicts: 237000 | #Constraints: 14617
708.05/710.31 c #Conflicts: 238000 | #Constraints: 15617
708.05/710.31 c #Conflicts: 239000 | #Constraints: 16617
708.05/710.31 c #Conflicts: 240000 | #Constraints: 17617
708.05/710.31 c #Conflicts: 241000 | #Constraints: 18617
708.05/710.31 c #Conflicts: 242000 | #Constraints: 19617
708.05/710.31 c #Conflicts: 243000 | #Constraints: 20617
708.05/710.31 c #Conflicts: 244000 | #Constraints: 21617
708.05/710.31 c #Conflicts: 245000 | #Constraints: 22617
708.05/710.31 c #Conflicts: 246000 | #Constraints: 23617
708.05/710.31 c INPROCESSING
708.05/710.31 c GARBAGE COLLECT
708.05/710.31 c #Conflicts: 247000 | #Constraints: 14821
708.05/710.31 c #Conflicts: 248000 | #Constraints: 15821
708.05/710.31 c #Conflicts: 249000 | #Constraints: 16821
708.05/710.31 c #Conflicts: 250000 | #Constraints: 17821
708.05/710.31 c #Conflicts: 251000 | #Constraints: 18821
708.05/710.31 c #Conflicts: 252000 | #Constraints: 19821
708.05/710.31 c #Conflicts: 253000 | #Constraints: 20821
708.05/710.31 c #Conflicts: 254000 | #Constraints: 21821
708.05/710.31 c #Conflicts: 255000 | #Constraints: 22821
708.05/710.31 c #Conflicts: 256000 | #Constraints: 23821
708.05/710.31 c INPROCESSING
708.05/710.31 c GARBAGE COLLECT
708.05/710.31 c #Conflicts: 257000 | #Constraints: 14817
708.05/710.31 c #Conflicts: 258000 | #Constraints: 15817
708.05/710.31 c #Conflicts: 259000 | #Constraints: 16817
708.05/710.31 c #Conflicts: 260000 | #Constraints: 17817
708.05/710.31 c #Conflicts: 261000 | #Constraints: 18817
708.05/710.31 c #Conflicts: 262000 | #Constraints: 19817
708.05/710.31 c #Conflicts: 263000 | #Constraints: 20817
708.05/710.31 c #Conflicts: 264000 | #Constraints: 21817
708.05/710.31 c #Conflicts: 265000 | #Constraints: 22817
708.05/710.31 c #Conflicts: 266000 | #Constraints: 23817
708.05/710.31 c INPROCESSING
708.05/710.31 c GARBAGE COLLECT
708.05/710.31 c #Conflicts: 267000 | #Constraints: 14622
708.05/710.31 c #Conflicts: 268000 | #Constraints: 15622
708.05/710.31 c #Conflicts: 269000 | #Constraints: 16622
708.05/710.31 c #Conflicts: 270000 | #Constraints: 17622
708.05/710.31 c #Conflicts: 271000 | #Constraints: 18622
708.05/710.31 c #Conflicts: 272000 | #Constraints: 19622
708.05/710.31 c #Conflicts: 273000 | #Constraints: 20622
708.05/710.31 c #Conflicts: 274000 | #Constraints: 21622
708.05/710.31 c #Conflicts: 275000 | #Constraints: 22622
708.05/710.31 c #Conflicts: 276000 | #Constraints: 23622
708.05/710.31 c #Conflicts: 277000 | #Constraints: 24622
708.05/710.31 c INPROCESSING
708.05/710.31 c GARBAGE COLLECT
708.05/710.31 c #Conflicts: 278000 | #Constraints: 15214
708.05/710.31 c #Conflicts: 279000 | #Constraints: 16214
708.05/710.31 c #Conflicts: 280000 | #Constraints: 17214
708.05/710.31 c #Conflicts: 281000 | #Constraints: 18214
708.05/710.31 c #Conflicts: 282000 | #Constraints: 19214
708.05/710.31 c #Conflicts: 283000 | #Constraints: 20214
708.05/710.31 c #Conflicts: 284000 | #Constraints: 21214
708.05/710.31 c #Conflicts: 285000 | #Constraints: 22214
708.05/710.31 c #Conflicts: 286000 | #Constraints: 23214
708.05/710.31 c #Conflicts: 287000 | #Constraints: 24214
708.05/710.31 c #Conflicts: 288000 | #Constraints: 25214
708.05/710.31 c INPROCESSING
881.46/884.32 c GARBAGE COLLECT
881.46/884.32 c #Conflicts: 289000 | #Constraints: 15612
881.46/884.32 c #Conflicts: 290000 | #Constraints: 16612
881.46/884.32 c #Conflicts: 291000 | #Constraints: 17612
881.46/884.32 c #Conflicts: 292000 | #Constraints: 18612
881.46/884.32 c #Conflicts: 293000 | #Constraints: 19612
881.46/884.32 c #Conflicts: 294000 | #Constraints: 20612
881.46/884.32 c #Conflicts: 295000 | #Constraints: 21612
881.46/884.32 c #Conflicts: 296000 | #Constraints: 22612
881.46/884.32 c #Conflicts: 297000 | #Constraints: 23612
881.46/884.32 c #Conflicts: 298000 | #Constraints: 24612
881.46/884.32 c #Conflicts: 299000 | #Constraints: 25612
881.46/884.32 c INPROCESSING
881.46/884.32 c GARBAGE COLLECT
881.46/884.32 c #Conflicts: 300000 | #Constraints: 15812
881.46/884.32 c #Conflicts: 301000 | #Constraints: 16812
881.46/884.32 c #Conflicts: 302000 | #Constraints: 17812
881.46/884.32 c #Conflicts: 303000 | #Constraints: 18812
881.46/884.32 c #Conflicts: 304000 | #Constraints: 19812
881.46/884.32 c #Conflicts: 305000 | #Constraints: 20812
881.46/884.32 c #Conflicts: 306000 | #Constraints: 21812
881.46/884.32 c #Conflicts: 307000 | #Constraints: 22812
881.46/884.32 c #Conflicts: 308000 | #Constraints: 23812
881.46/884.32 c #Conflicts: 309000 | #Constraints: 24812
881.46/884.32 c #Conflicts: 310000 | #Constraints: 25812
881.46/884.32 c INPROCESSING
881.46/884.32 c GARBAGE COLLECT
881.46/884.32 c #Conflicts: 311000 | #Constraints: 15821
881.46/884.32 c #Conflicts: 312000 | #Constraints: 16821
881.46/884.32 c #Conflicts: 313000 | #Constraints: 17821
881.46/884.32 c #Conflicts: 314000 | #Constraints: 18821
881.46/884.32 c #Conflicts: 315000 | #Constraints: 19821
881.46/884.32 c #Conflicts: 316000 | #Constraints: 20821
881.46/884.32 c #Conflicts: 317000 | #Constraints: 21821
881.46/884.32 c #Conflicts: 318000 | #Constraints: 22821
881.46/884.32 c #Conflicts: 319000 | #Constraints: 23821
881.46/884.32 c #Conflicts: 320000 | #Constraints: 24821
881.46/884.32 c #Conflicts: 321000 | #Constraints: 25821
881.46/884.32 c INPROCESSING
881.46/884.32 c GARBAGE COLLECT
881.46/884.32 c #Conflicts: 322000 | #Constraints: 15615
881.46/884.32 c #Conflicts: 323000 | #Constraints: 16615
881.46/884.32 c #Conflicts: 324000 | #Constraints: 17615
881.46/884.32 c #Conflicts: 325000 | #Constraints: 18615
881.46/884.32 c #Conflicts: 326000 | #Constraints: 19615
881.46/884.32 c #Conflicts: 327000 | #Constraints: 20615
881.46/884.32 c #Conflicts: 328000 | #Constraints: 21615
881.46/884.32 c #Conflicts: 329000 | #Constraints: 22615
881.46/884.32 c #Conflicts: 330000 | #Constraints: 23615
881.46/884.32 c #Conflicts: 331000 | #Constraints: 24615
881.46/884.32 c #Conflicts: 332000 | #Constraints: 25615
881.46/884.32 c #Conflicts: 333000 | #Constraints: 26615
881.46/884.32 c INPROCESSING
881.46/884.32 c GARBAGE COLLECT
881.46/884.32 c #Conflicts: 334000 | #Constraints: 16224
881.46/884.32 c #Conflicts: 335000 | #Constraints: 17224
881.46/884.32 c #Conflicts: 336000 | #Constraints: 18224
881.46/884.32 c #Conflicts: 337000 | #Constraints: 19224
881.46/884.32 c #Conflicts: 338000 | #Constraints: 20224
881.46/884.32 c #Conflicts: 339000 | #Constraints: 21224
881.46/884.32 c #Conflicts: 340000 | #Constraints: 22224
881.46/884.32 c #Conflicts: 341000 | #Constraints: 23224
881.46/884.32 c #Conflicts: 342000 | #Constraints: 24224
881.46/884.32 c #Conflicts: 343000 | #Constraints: 25224
881.46/884.32 c #Conflicts: 344000 | #Constraints: 26224
881.46/884.32 c #Conflicts: 345000 | #Constraints: 27224
881.46/884.32 c INPROCESSING
881.46/884.32 c GARBAGE COLLECT
881.46/884.32 c #Conflicts: 346000 | #Constraints: 16622
881.46/884.32 c #Conflicts: 347000 | #Constraints: 17622
881.46/884.32 c #Conflicts: 348000 | #Constraints: 18622
881.46/884.32 c #Conflicts: 349000 | #Constraints: 19622
881.46/884.32 c #Conflicts: 350000 | #Constraints: 20622
881.46/884.32 c #Conflicts: 351000 | #Constraints: 21622
881.46/884.32 c #Conflicts: 352000 | #Constraints: 22622
881.46/884.32 c #Conflicts: 353000 | #Constraints: 23622
881.46/884.32 c #Conflicts: 354000 | #Constraints: 24622
881.46/884.32 c #Conflicts: 355000 | #Constraints: 25622
881.46/884.32 c #Conflicts: 356000 | #Constraints: 26622
881.46/884.32 c #Conflicts: 357000 | #Constraints: 27622
881.46/884.32 c INPROCESSING
881.46/884.32 c GARBAGE COLLECT
881.46/884.32 c #Conflicts: 358000 | #Constraints: 16821
881.46/884.32 c #Conflicts: 359000 | #Constraints: 17821
881.46/884.32 c #Conflicts: 360000 | #Constraints: 18821
881.46/884.32 c #Conflicts: 361000 | #Constraints: 19821
881.46/884.32 c #Conflicts: 362000 | #Constraints: 20821
881.46/884.32 c #Conflicts: 363000 | #Constraints: 21821
1066.14/1069.67 c #Conflicts: 364000 | #Constraints: 22821
1066.14/1069.67 c #Conflicts: 365000 | #Constraints: 23821
1066.14/1069.67 c #Conflicts: 366000 | #Constraints: 24821
1066.14/1069.67 c #Conflicts: 367000 | #Constraints: 25821
1066.14/1069.67 c #Conflicts: 368000 | #Constraints: 26821
1066.14/1069.67 c #Conflicts: 369000 | #Constraints: 27821
1066.14/1069.67 c INPROCESSING
1066.14/1069.67 c GARBAGE COLLECT
1066.14/1069.67 c #Conflicts: 370000 | #Constraints: 16821
1066.14/1069.67 c #Conflicts: 371000 | #Constraints: 17821
1066.14/1069.67 c #Conflicts: 372000 | #Constraints: 18821
1066.14/1069.67 c #Conflicts: 373000 | #Constraints: 19821
1066.14/1069.67 c #Conflicts: 374000 | #Constraints: 20821
1066.14/1069.67 c #Conflicts: 375000 | #Constraints: 21821
1066.14/1069.67 c #Conflicts: 376000 | #Constraints: 22821
1066.14/1069.67 c #Conflicts: 377000 | #Constraints: 23821
1066.14/1069.67 c #Conflicts: 378000 | #Constraints: 24821
1066.14/1069.67 c #Conflicts: 379000 | #Constraints: 25821
1066.14/1069.67 c #Conflicts: 380000 | #Constraints: 26821
1066.14/1069.67 c #Conflicts: 381000 | #Constraints: 27821
1066.14/1069.67 c INPROCESSING
1066.14/1069.67 c GARBAGE COLLECT
1066.14/1069.67 c #Conflicts: 382000 | #Constraints: 16619
1066.14/1069.67 c #Conflicts: 383000 | #Constraints: 17619
1066.14/1069.67 c #Conflicts: 384000 | #Constraints: 18619
1066.14/1069.67 c #Conflicts: 385000 | #Constraints: 19619
1066.14/1069.67 c #Conflicts: 386000 | #Constraints: 20619
1066.14/1069.67 c #Conflicts: 387000 | #Constraints: 21619
1066.14/1069.67 c #Conflicts: 388000 | #Constraints: 22619
1066.14/1069.67 c #Conflicts: 389000 | #Constraints: 23619
1066.14/1069.67 c #Conflicts: 390000 | #Constraints: 24619
1066.14/1069.67 c #Conflicts: 391000 | #Constraints: 25619
1066.14/1069.67 c #Conflicts: 392000 | #Constraints: 26619
1066.14/1069.67 c #Conflicts: 393000 | #Constraints: 27619
1066.14/1069.67 c #Conflicts: 394000 | #Constraints: 28619
1066.14/1069.67 c INPROCESSING
1066.14/1069.67 c GARBAGE COLLECT
1066.14/1069.67 c #Conflicts: 395000 | #Constraints: 17224
1066.14/1069.67 c #Conflicts: 396000 | #Constraints: 18224
1066.14/1069.67 c #Conflicts: 397000 | #Constraints: 19224
1066.14/1069.67 c #Conflicts: 398000 | #Constraints: 20224
1066.14/1069.67 c #Conflicts: 399000 | #Constraints: 21224
1066.14/1069.67 c #Conflicts: 400000 | #Constraints: 22224
1066.14/1069.67 c #Conflicts: 401000 | #Constraints: 23224
1066.14/1069.67 c #Conflicts: 402000 | #Constraints: 24224
1066.14/1069.67 c #Conflicts: 403000 | #Constraints: 25224
1066.14/1069.67 c #Conflicts: 404000 | #Constraints: 26224
1066.14/1069.67 c #Conflicts: 405000 | #Constraints: 27224
1066.14/1069.67 c #Conflicts: 406000 | #Constraints: 28224
1066.14/1069.67 c #Conflicts: 407000 | #Constraints: 29224
1066.14/1069.67 c INPROCESSING
1066.14/1069.67 c GARBAGE COLLECT
1066.14/1069.67 c #Conflicts: 408000 | #Constraints: 17623
1066.14/1069.67 c #Conflicts: 409000 | #Constraints: 18623
1066.14/1069.67 c #Conflicts: 410000 | #Constraints: 19623
1066.14/1069.67 c #Conflicts: 411000 | #Constraints: 20623
1066.14/1069.67 c #Conflicts: 412000 | #Constraints: 21623
1066.14/1069.67 c #Conflicts: 413000 | #Constraints: 22623
1066.14/1069.67 c #Conflicts: 414000 | #Constraints: 23623
1066.14/1069.67 c #Conflicts: 415000 | #Constraints: 24623
1066.14/1069.67 c #Conflicts: 416000 | #Constraints: 25623
1066.14/1069.67 c #Conflicts: 417000 | #Constraints: 26623
1066.14/1069.67 c #Conflicts: 418000 | #Constraints: 27623
1066.14/1069.67 c #Conflicts: 419000 | #Constraints: 28623
1066.14/1069.67 c #Conflicts: 420000 | #Constraints: 29623
1066.14/1069.67 c INPROCESSING
1066.14/1069.67 c GARBAGE COLLECT
1066.14/1069.67 c #Conflicts: 421000 | #Constraints: 17825
1066.14/1069.67 c #Conflicts: 422000 | #Constraints: 18825
1066.14/1069.67 c #Conflicts: 423000 | #Constraints: 19825
1066.14/1069.67 c #Conflicts: 424000 | #Constraints: 20825
1066.14/1069.67 c #Conflicts: 425000 | #Constraints: 21825
1066.14/1069.67 c #Conflicts: 426000 | #Constraints: 22825
1066.14/1069.67 c #Conflicts: 427000 | #Constraints: 23825
1066.14/1069.67 c #Conflicts: 428000 | #Constraints: 24825
1066.14/1069.67 c #Conflicts: 429000 | #Constraints: 25825
1066.14/1069.67 c #Conflicts: 430000 | #Constraints: 26825
1066.14/1069.67 c #Conflicts: 431000 | #Constraints: 27825
1066.14/1069.67 c #Conflicts: 432000 | #Constraints: 28825
1066.14/1069.67 c #Conflicts: 433000 | #Constraints: 29825
1066.14/1069.67 c INPROCESSING
1066.14/1069.67 c GARBAGE COLLECT
1066.14/1069.67 c #Conflicts: 434000 | #Constraints: 17830
1066.14/1069.67 c #Conflicts: 435000 | #Constraints: 18830
1066.14/1069.67 c #Conflicts: 436000 | #Constraints: 19830
1066.14/1069.67 c #Conflicts: 437000 | #Constraints: 20830
1066.14/1069.67 c #Conflicts: 438000 | #Constraints: 21830
1282.33/1286.56 c #Conflicts: 439000 | #Constraints: 22830
1282.33/1286.56 c #Conflicts: 440000 | #Constraints: 23830
1282.33/1286.56 c #Conflicts: 441000 | #Constraints: 24830
1282.33/1286.56 c #Conflicts: 442000 | #Constraints: 25830
1282.33/1286.56 c #Conflicts: 443000 | #Constraints: 26830
1282.33/1286.56 c #Conflicts: 444000 | #Constraints: 27830
1282.33/1286.56 c #Conflicts: 445000 | #Constraints: 28830
1282.33/1286.56 c #Conflicts: 446000 | #Constraints: 29830
1282.33/1286.56 c INPROCESSING
1282.33/1286.56 c GARBAGE COLLECT
1282.33/1286.56 c #Conflicts: 447000 | #Constraints: 17632
1282.33/1286.56 c #Conflicts: 448000 | #Constraints: 18632
1282.33/1286.56 c #Conflicts: 449000 | #Constraints: 19632
1282.33/1286.56 c #Conflicts: 450000 | #Constraints: 20632
1282.33/1286.56 c #Conflicts: 451000 | #Constraints: 21632
1282.33/1286.56 c #Conflicts: 452000 | #Constraints: 22632
1282.33/1286.56 c #Conflicts: 453000 | #Constraints: 23632
1282.33/1286.56 c #Conflicts: 454000 | #Constraints: 24632
1282.33/1286.56 c #Conflicts: 455000 | #Constraints: 25632
1282.33/1286.56 c #Conflicts: 456000 | #Constraints: 26632
1282.33/1286.56 c #Conflicts: 457000 | #Constraints: 27632
1282.33/1286.56 c #Conflicts: 458000 | #Constraints: 28632
1282.33/1286.56 c #Conflicts: 459000 | #Constraints: 29632
1282.33/1286.56 c #Conflicts: 460000 | #Constraints: 30632
1282.33/1286.56 c INPROCESSING
1282.33/1286.56 c GARBAGE COLLECT
1282.33/1286.56 c #Conflicts: 461000 | #Constraints: 18225
1282.33/1286.56 c #Conflicts: 462000 | #Constraints: 19225
1282.33/1286.56 c #Conflicts: 463000 | #Constraints: 20225
1282.33/1286.56 c #Conflicts: 464000 | #Constraints: 21225
1282.33/1286.56 c #Conflicts: 465000 | #Constraints: 22225
1282.33/1286.56 c #Conflicts: 466000 | #Constraints: 23225
1282.33/1286.56 c #Conflicts: 467000 | #Constraints: 24225
1282.33/1286.56 c #Conflicts: 468000 | #Constraints: 25225
1282.33/1286.56 c #Conflicts: 469000 | #Constraints: 26225
1282.33/1286.56 c #Conflicts: 470000 | #Constraints: 27225
1282.33/1286.56 c #Conflicts: 471000 | #Constraints: 28225
1282.33/1286.56 c #Conflicts: 472000 | #Constraints: 29225
1282.33/1286.56 c #Conflicts: 473000 | #Constraints: 30225
1282.33/1286.56 c #Conflicts: 474000 | #Constraints: 31225
1282.33/1286.56 c INPROCESSING
1282.33/1286.56 c GARBAGE COLLECT
1282.33/1286.56 c #Conflicts: 475000 | #Constraints: 18628
1282.33/1286.56 c #Conflicts: 476000 | #Constraints: 19628
1282.33/1286.56 c #Conflicts: 477000 | #Constraints: 20628
1282.33/1286.56 c #Conflicts: 478000 | #Constraints: 21628
1282.33/1286.56 c #Conflicts: 479000 | #Constraints: 22628
1282.33/1286.56 c #Conflicts: 480000 | #Constraints: 23628
1282.33/1286.56 c #Conflicts: 481000 | #Constraints: 24628
1282.33/1286.56 c #Conflicts: 482000 | #Constraints: 25628
1282.33/1286.56 c #Conflicts: 483000 | #Constraints: 26628
1282.33/1286.56 c #Conflicts: 484000 | #Constraints: 27628
1282.33/1286.56 c #Conflicts: 485000 | #Constraints: 28628
1282.33/1286.56 c #Conflicts: 486000 | #Constraints: 29628
1282.33/1286.56 c #Conflicts: 487000 | #Constraints: 30628
1282.33/1286.56 c #Conflicts: 488000 | #Constraints: 31628
1282.33/1286.56 c INPROCESSING
1282.33/1286.56 c GARBAGE COLLECT
1282.33/1286.56 c #Conflicts: 489000 | #Constraints: 18830
1282.33/1286.56 c #Conflicts: 490000 | #Constraints: 19830
1282.33/1286.56 c #Conflicts: 491000 | #Constraints: 20830
1282.33/1286.56 c #Conflicts: 492000 | #Constraints: 21830
1282.33/1286.56 c #Conflicts: 493000 | #Constraints: 22830
1282.33/1286.56 c #Conflicts: 494000 | #Constraints: 23830
1282.33/1286.56 c #Conflicts: 495000 | #Constraints: 24830
1282.33/1286.56 c #Conflicts: 496000 | #Constraints: 25830
1282.33/1286.56 c #Conflicts: 497000 | #Constraints: 26830
1282.33/1286.56 c #Conflicts: 498000 | #Constraints: 27830
1282.33/1286.56 c #Conflicts: 499000 | #Constraints: 28830
1282.33/1286.56 c #Conflicts: 500000 | #Constraints: 29830
1282.33/1286.56 c #Conflicts: 501000 | #Constraints: 30830
1282.33/1286.56 c #Conflicts: 502000 | #Constraints: 31830
1282.33/1286.56 c INPROCESSING
1282.33/1286.56 c GARBAGE COLLECT
1282.33/1286.56 c #Conflicts: 503000 | #Constraints: 18833
1282.33/1286.56 c #Conflicts: 504000 | #Constraints: 19833
1282.33/1286.56 c #Conflicts: 505000 | #Constraints: 20833
1282.33/1286.56 c #Conflicts: 506000 | #Constraints: 21833
1282.33/1286.56 c #Conflicts: 507000 | #Constraints: 22833
1282.33/1286.56 c #Conflicts: 508000 | #Constraints: 23833
1282.33/1286.56 c #Conflicts: 509000 | #Constraints: 24833
1282.33/1286.56 c #Conflicts: 510000 | #Constraints: 25833
1282.33/1286.56 c #Conflicts: 511000 | #Constraints: 26833
1282.33/1286.56 c #Conflicts: 512000 | #Constraints: 27833
1282.33/1286.56 c #Conflicts: 513000 | #Constraints: 28833
1505.40/1510.37 c #Conflicts: 514000 | #Constraints: 29833
1505.40/1510.37 c #Conflicts: 515000 | #Constraints: 30833
1505.40/1510.37 c #Conflicts: 516000 | #Constraints: 31833
1505.40/1510.37 c INPROCESSING
1505.40/1510.37 c GARBAGE COLLECT
1505.40/1510.37 c #Conflicts: 517000 | #Constraints: 18623
1505.40/1510.37 c #Conflicts: 518000 | #Constraints: 19623
1505.40/1510.37 c #Conflicts: 519000 | #Constraints: 20623
1505.40/1510.37 c #Conflicts: 520000 | #Constraints: 21623
1505.40/1510.37 c #Conflicts: 521000 | #Constraints: 22623
1505.40/1510.37 c #Conflicts: 522000 | #Constraints: 23623
1505.40/1510.37 c #Conflicts: 523000 | #Constraints: 24623
1505.40/1510.37 c #Conflicts: 524000 | #Constraints: 25623
1505.40/1510.37 c #Conflicts: 525000 | #Constraints: 26623
1505.40/1510.37 c #Conflicts: 526000 | #Constraints: 27623
1505.40/1510.37 c #Conflicts: 527000 | #Constraints: 28623
1505.40/1510.37 c #Conflicts: 528000 | #Constraints: 29623
1505.40/1510.37 c #Conflicts: 529000 | #Constraints: 30623
1505.40/1510.37 c #Conflicts: 530000 | #Constraints: 31623
1505.40/1510.37 c #Conflicts: 531000 | #Constraints: 32623
1505.40/1510.37 c INPROCESSING
1505.40/1510.37 c GARBAGE COLLECT
1505.40/1510.37 c #Conflicts: 532000 | #Constraints: 19226
1505.40/1510.37 c #Conflicts: 533000 | #Constraints: 20226
1505.40/1510.37 c #Conflicts: 534000 | #Constraints: 21226
1505.40/1510.37 c #Conflicts: 535000 | #Constraints: 22226
1505.40/1510.37 c #Conflicts: 536000 | #Constraints: 23226
1505.40/1510.37 c #Conflicts: 537000 | #Constraints: 24226
1505.40/1510.37 c #Conflicts: 538000 | #Constraints: 25226
1505.40/1510.37 c #Conflicts: 539000 | #Constraints: 26226
1505.40/1510.37 c #Conflicts: 540000 | #Constraints: 27226
1505.40/1510.37 c #Conflicts: 541000 | #Constraints: 28226
1505.40/1510.37 c #Conflicts: 542000 | #Constraints: 29226
1505.40/1510.37 c #Conflicts: 543000 | #Constraints: 30226
1505.40/1510.37 c #Conflicts: 544000 | #Constraints: 31226
1505.40/1510.37 c #Conflicts: 545000 | #Constraints: 32226
1505.40/1510.37 c #Conflicts: 546000 | #Constraints: 33226
1505.40/1510.37 c INPROCESSING
1505.40/1510.37 c GARBAGE COLLECT
1505.40/1510.37 c #Conflicts: 547000 | #Constraints: 19629
1505.40/1510.37 c #Conflicts: 548000 | #Constraints: 20629
1505.40/1510.37 c #Conflicts: 549000 | #Constraints: 21629
1505.40/1510.37 c #Conflicts: 550000 | #Constraints: 22629
1505.40/1510.37 c #Conflicts: 551000 | #Constraints: 23629
1505.40/1510.37 c #Conflicts: 552000 | #Constraints: 24629
1505.40/1510.37 c #Conflicts: 553000 | #Constraints: 25629
1505.40/1510.37 c #Conflicts: 554000 | #Constraints: 26629
1505.40/1510.37 c #Conflicts: 555000 | #Constraints: 27629
1505.40/1510.37 c #Conflicts: 556000 | #Constraints: 28629
1505.40/1510.37 c #Conflicts: 557000 | #Constraints: 29629
1505.40/1510.37 c #Conflicts: 558000 | #Constraints: 30629
1505.40/1510.37 c #Conflicts: 559000 | #Constraints: 31629
1505.40/1510.37 c #Conflicts: 560000 | #Constraints: 32629
1505.40/1510.37 c #Conflicts: 561000 | #Constraints: 33629
1505.40/1510.37 c INPROCESSING
1505.40/1510.37 c GARBAGE COLLECT
1505.40/1510.37 c #Conflicts: 562000 | #Constraints: 19826
1505.40/1510.37 c #Conflicts: 563000 | #Constraints: 20826
1505.40/1510.37 c #Conflicts: 564000 | #Constraints: 21826
1505.40/1510.37 c #Conflicts: 565000 | #Constraints: 22826
1505.40/1510.37 c #Conflicts: 566000 | #Constraints: 23826
1505.40/1510.37 c #Conflicts: 567000 | #Constraints: 24826
1505.40/1510.37 c #Conflicts: 568000 | #Constraints: 25826
1505.40/1510.37 c #Conflicts: 569000 | #Constraints: 26826
1505.40/1510.37 c #Conflicts: 570000 | #Constraints: 27826
1505.40/1510.37 c #Conflicts: 571000 | #Constraints: 28826
1505.40/1510.37 c #Conflicts: 572000 | #Constraints: 29826
1505.40/1510.37 c #Conflicts: 573000 | #Constraints: 30826
1505.40/1510.37 c #Conflicts: 574000 | #Constraints: 31826
1505.40/1510.37 c #Conflicts: 575000 | #Constraints: 32826
1505.40/1510.37 c #Conflicts: 576000 | #Constraints: 33826
1505.40/1510.37 c INPROCESSING
1505.40/1510.37 c GARBAGE COLLECT
1505.40/1510.37 c #Conflicts: 577000 | #Constraints: 19828
1505.40/1510.37 c #Conflicts: 578000 | #Constraints: 20828
1505.40/1510.37 c #Conflicts: 579000 | #Constraints: 21828
1505.40/1510.37 c #Conflicts: 580000 | #Constraints: 22828
1505.40/1510.37 c #Conflicts: 581000 | #Constraints: 23828
1505.40/1510.37 c #Conflicts: 582000 | #Constraints: 24828
1505.40/1510.37 c #Conflicts: 583000 | #Constraints: 25828
1505.40/1510.37 c #Conflicts: 584000 | #Constraints: 26828
1505.40/1510.37 c #Conflicts: 585000 | #Constraints: 27828
1505.40/1510.37 c #Conflicts: 586000 | #Constraints: 28828
1505.40/1510.37 c #Conflicts: 587000 | #Constraints: 29828
1505.40/1510.37 c #Conflicts: 588000 | #Constraints: 30828
1505.40/1510.37 c #Conflicts: 589000 | #Constraints: 31828
1678.66/1684.01 c #Conflicts: 590000 | #Constraints: 32828
1678.66/1684.01 c #Conflicts: 591000 | #Constraints: 33828
1678.66/1684.01 c INPROCESSING
1678.66/1684.01 c GARBAGE COLLECT
1678.66/1684.01 c #Conflicts: 592000 | #Constraints: 19625
1678.66/1684.01 c #Conflicts: 593000 | #Constraints: 20625
1678.66/1684.01 c #Conflicts: 594000 | #Constraints: 21625
1678.66/1684.01 c #Conflicts: 595000 | #Constraints: 22625
1678.66/1684.01 c #Conflicts: 596000 | #Constraints: 23625
1678.66/1684.01 c #Conflicts: 597000 | #Constraints: 24625
1678.66/1684.01 c #Conflicts: 598000 | #Constraints: 25625
1678.66/1684.01 c #Conflicts: 599000 | #Constraints: 26625
1678.66/1684.01 c #Conflicts: 600000 | #Constraints: 27625
1678.66/1684.01 c #Conflicts: 601000 | #Constraints: 28625
1678.66/1684.01 c #Conflicts: 602000 | #Constraints: 29625
1678.66/1684.01 c #Conflicts: 603000 | #Constraints: 30625
1678.66/1684.01 c #Conflicts: 604000 | #Constraints: 31625
1678.66/1684.01 c #Conflicts: 605000 | #Constraints: 32625
1678.66/1684.01 c #Conflicts: 606000 | #Constraints: 33625
1678.66/1684.01 c #Conflicts: 607000 | #Constraints: 34625
1678.66/1684.01 c INPROCESSING
1678.66/1684.01 c GARBAGE COLLECT
1678.66/1684.01 c #Conflicts: 608000 | #Constraints: 20227
1678.66/1684.01 c #Conflicts: 609000 | #Constraints: 21227
1678.66/1684.01 c #Conflicts: 610000 | #Constraints: 22227
1678.66/1684.01 c #Conflicts: 611000 | #Constraints: 23227
1678.66/1684.01 c #Conflicts: 612000 | #Constraints: 24227
1678.66/1684.01 c #Conflicts: 613000 | #Constraints: 25227
1678.66/1684.01 c #Conflicts: 614000 | #Constraints: 26227
1678.66/1684.01 c #Conflicts: 615000 | #Constraints: 27227
1678.66/1684.01 c #Conflicts: 616000 | #Constraints: 28227
1678.66/1684.01 c #Conflicts: 617000 | #Constraints: 29227
1678.66/1684.01 c #Conflicts: 618000 | #Constraints: 30227
1678.66/1684.01 c #Conflicts: 619000 | #Constraints: 31227
1678.66/1684.01 c #Conflicts: 620000 | #Constraints: 32227
1678.66/1684.01 c #Conflicts: 621000 | #Constraints: 33227
1678.66/1684.01 c #Conflicts: 622000 | #Constraints: 34227
1678.66/1684.01 c #Conflicts: 623000 | #Constraints: 35227
1678.66/1684.01 c INPROCESSING
1678.66/1684.01 c GARBAGE COLLECT
1678.66/1684.01 c #Conflicts: 624000 | #Constraints: 20629
1678.66/1684.01 c #Conflicts: 625000 | #Constraints: 21629
1678.66/1684.01 c #Conflicts: 626000 | #Constraints: 22629
1678.66/1684.01 c #Conflicts: 627000 | #Constraints: 23629
1678.66/1684.01 c #Conflicts: 628000 | #Constraints: 24629
1678.66/1684.01 c #Conflicts: 629000 | #Constraints: 25629
1678.66/1684.01 c #Conflicts: 630000 | #Constraints: 26629
1678.66/1684.01 c #Conflicts: 631000 | #Constraints: 27629
1678.66/1684.01 c #Conflicts: 632000 | #Constraints: 28629
1678.66/1684.01 c #Conflicts: 633000 | #Constraints: 29629
1678.66/1684.01 c #Conflicts: 634000 | #Constraints: 30629
1678.66/1684.01 c #Conflicts: 635000 | #Constraints: 31629
1678.66/1684.01 c #Conflicts: 636000 | #Constraints: 32629
1678.66/1684.01 c #Conflicts: 637000 | #Constraints: 33629
1678.66/1684.01 c #Conflicts: 638000 | #Constraints: 34629
1678.66/1684.01 c #Conflicts: 639000 | #Constraints: 35629
1678.66/1684.01 c INPROCESSING
1678.66/1684.01 c GARBAGE COLLECT
1678.66/1684.01 c #Conflicts: 640000 | #Constraints: 20829
1678.66/1684.01 c #Conflicts: 641000 | #Constraints: 21829
1678.66/1684.01 c #Conflicts: 642000 | #Constraints: 22829
1678.66/1684.01 c #Conflicts: 643000 | #Constraints: 23829
1678.66/1684.01 c #Conflicts: 644000 | #Constraints: 24829
1678.66/1684.01 c #Conflicts: 645000 | #Constraints: 25829
1678.66/1684.01 c #Conflicts: 646000 | #Constraints: 26829
1678.66/1684.01 c #Conflicts: 647000 | #Constraints: 27829
1678.66/1684.01 c #Conflicts: 648000 | #Constraints: 28829
1678.66/1684.01 c #Conflicts: 649000 | #Constraints: 29829
1678.66/1684.01 c #Conflicts: 650000 | #Constraints: 30829
1678.66/1684.01 c #Conflicts: 651000 | #Constraints: 31829
1678.66/1684.01 c #Conflicts: 652000 | #Constraints: 32829
1678.66/1684.01 c #Conflicts: 653000 | #Constraints: 33829
1678.66/1684.01 c #Conflicts: 654000 | #Constraints: 34829
1678.66/1684.01 c #Conflicts: 655000 | #Constraints: 35829
1678.66/1684.01 c INPROCESSING
1678.66/1684.01 c GARBAGE COLLECT
1678.66/1684.01 c #Conflicts: 656000 | #Constraints: 20829
1678.66/1684.01 c #Conflicts: 657000 | #Constraints: 21829
1678.66/1684.01 c #Conflicts: 658000 | #Constraints: 22829
1678.66/1684.01 c #Conflicts: 659000 | #Constraints: 23829
1678.66/1684.01 c #Conflicts: 660000 | #Constraints: 24829
1678.66/1684.01 c #Conflicts: 661000 | #Constraints: 25829
1678.66/1684.01 c #Conflicts: 662000 | #Constraints: 26829
1678.66/1684.01 c #Conflicts: 663000 | #Constraints: 27829
1678.66/1684.01 c #Conflicts: 664000 | #Constraints: 28829
1678.66/1684.01 c #Conflicts: 665000 | #Constraints: 29829
1853.12/1858.98 c #Conflicts: 666000 | #Constraints: 30829
1853.12/1858.98 c #Conflicts: 667000 | #Constraints: 31829
1853.12/1858.98 c #Conflicts: 668000 | #Constraints: 32829
1853.12/1858.98 c #Conflicts: 669000 | #Constraints: 33829
1853.12/1858.98 c #Conflicts: 670000 | #Constraints: 34829
1853.12/1858.98 c #Conflicts: 671000 | #Constraints: 35829
1853.12/1858.98 c INPROCESSING
1853.12/1858.98 c GARBAGE COLLECT
1853.12/1858.98 c #Conflicts: 672000 | #Constraints: 20633
1853.12/1858.98 c #Conflicts: 673000 | #Constraints: 21633
1853.12/1858.98 c #Conflicts: 674000 | #Constraints: 22633
1853.12/1858.98 c #Conflicts: 675000 | #Constraints: 23633
1853.12/1858.98 c #Conflicts: 676000 | #Constraints: 24633
1853.12/1858.98 c #Conflicts: 677000 | #Constraints: 25633
1853.12/1858.98 c #Conflicts: 678000 | #Constraints: 26633
1853.12/1858.98 c #Conflicts: 679000 | #Constraints: 27633
1853.12/1858.98 c #Conflicts: 680000 | #Constraints: 28633
1853.12/1858.98 c #Conflicts: 681000 | #Constraints: 29633
1853.12/1858.98 c #Conflicts: 682000 | #Constraints: 30633
1853.12/1858.98 c #Conflicts: 683000 | #Constraints: 31633
1853.12/1858.98 c #Conflicts: 684000 | #Constraints: 32633
1853.12/1858.98 c #Conflicts: 685000 | #Constraints: 33633
1853.12/1858.98 c #Conflicts: 686000 | #Constraints: 34633
1853.12/1858.98 c #Conflicts: 687000 | #Constraints: 35633
1853.12/1858.98 c #Conflicts: 688000 | #Constraints: 36633
1853.12/1858.98 c INPROCESSING
1853.12/1858.98 c GARBAGE COLLECT
1853.12/1858.98 c #Conflicts: 689000 | #Constraints: 21236
1853.12/1858.98 c #Conflicts: 690000 | #Constraints: 22236
1853.12/1858.98 c #Conflicts: 691000 | #Constraints: 23236
1853.12/1858.98 c #Conflicts: 692000 | #Constraints: 24236
1853.12/1858.98 c #Conflicts: 693000 | #Constraints: 25236
1853.12/1858.98 c #Conflicts: 694000 | #Constraints: 26236
1853.12/1858.98 c #Conflicts: 695000 | #Constraints: 27236
1853.12/1858.98 c #Conflicts: 696000 | #Constraints: 28236
1853.12/1858.98 c #Conflicts: 697000 | #Constraints: 29236
1853.12/1858.98 c #Conflicts: 698000 | #Constraints: 30236
1853.12/1858.98 c #Conflicts: 699000 | #Constraints: 31236
1853.12/1858.98 c #Conflicts: 700000 | #Constraints: 32236
1853.12/1858.98 c #Conflicts: 701000 | #Constraints: 33236
1853.12/1858.98 c #Conflicts: 702000 | #Constraints: 34236
1853.12/1858.98 c #Conflicts: 703000 | #Constraints: 35236
1853.12/1858.98 c #Conflicts: 704000 | #Constraints: 36236
1853.12/1858.98 c #Conflicts: 705000 | #Constraints: 37236
1853.12/1858.98 c INPROCESSING
1853.12/1858.98 c GARBAGE COLLECT
1853.12/1858.98 c #Conflicts: 706000 | #Constraints: 21633
1853.12/1858.98 c #Conflicts: 707000 | #Constraints: 22633
1853.12/1858.98 c #Conflicts: 708000 | #Constraints: 23633
1853.12/1858.98 c #Conflicts: 709000 | #Constraints: 24633
1853.12/1858.98 c #Conflicts: 710000 | #Constraints: 25633
1853.12/1858.98 c #Conflicts: 711000 | #Constraints: 26633
1853.12/1858.98 c #Conflicts: 712000 | #Constraints: 27633
1853.12/1858.98 c #Conflicts: 713000 | #Constraints: 28633
1853.12/1858.98 c #Conflicts: 714000 | #Constraints: 29633
1853.12/1858.98 c #Conflicts: 715000 | #Constraints: 30633
1853.12/1858.98 c #Conflicts: 716000 | #Constraints: 31633
1853.12/1858.98 c #Conflicts: 717000 | #Constraints: 32633
1853.12/1858.98 c #Conflicts: 718000 | #Constraints: 33633
1853.12/1858.98 c #Conflicts: 719000 | #Constraints: 34633
1853.12/1858.98 c #Conflicts: 720000 | #Constraints: 35633
1853.12/1858.98 c #Conflicts: 721000 | #Constraints: 36633
1853.12/1858.98 c #Conflicts: 722000 | #Constraints: 37633
1853.12/1858.98 c INPROCESSING
1853.12/1858.98 c GARBAGE COLLECT
1853.12/1858.98 c #Conflicts: 723000 | #Constraints: 21831
1853.12/1858.98 c #Conflicts: 724000 | #Constraints: 22831
1853.12/1858.98 c #Conflicts: 725000 | #Constraints: 23831
1853.12/1858.98 c #Conflicts: 726000 | #Constraints: 24831
1853.12/1858.98 c #Conflicts: 727000 | #Constraints: 25831
1853.12/1858.98 c #Conflicts: 728000 | #Constraints: 26831
1853.12/1858.98 c #Conflicts: 729000 | #Constraints: 27831
1853.12/1858.98 c #Conflicts: 730000 | #Constraints: 28831
1853.12/1858.98 c #Conflicts: 731000 | #Constraints: 29831
1853.12/1858.98 c #Conflicts: 732000 | #Constraints: 30831
1853.12/1858.98 c #Conflicts: 733000 | #Constraints: 31831
1853.12/1858.98 c #Conflicts: 734000 | #Constraints: 32831
1853.12/1858.98 c #Conflicts: 735000 | #Constraints: 33831
1853.12/1858.98 c #Conflicts: 736000 | #Constraints: 34831
1853.12/1858.98 c #Conflicts: 737000 | #Constraints: 35831
1853.12/1858.98 c #Conflicts: 738000 | #Constraints: 36831
1853.12/1858.98 c #Conflicts: 739000 | #Constraints: 37831
1853.12/1858.98 c INPROCESSING
1853.12/1858.98 c GARBAGE COLLECT
1853.12/1858.98 c #Conflicts: 740000 | #Constraints: 21830
2067.39/2073.79 c #Conflicts: 741000 | #Constraints: 22830
2067.39/2073.79 c #Conflicts: 742000 | #Constraints: 23830
2067.39/2073.79 c #Conflicts: 743000 | #Constraints: 24830
2067.39/2073.79 c #Conflicts: 744000 | #Constraints: 25830
2067.39/2073.79 c #Conflicts: 745000 | #Constraints: 26830
2067.39/2073.79 c #Conflicts: 746000 | #Constraints: 27830
2067.39/2073.79 c #Conflicts: 747000 | #Constraints: 28830
2067.39/2073.79 c #Conflicts: 748000 | #Constraints: 29830
2067.39/2073.79 c #Conflicts: 749000 | #Constraints: 30830
2067.39/2073.79 c #Conflicts: 750000 | #Constraints: 31830
2067.39/2073.79 c #Conflicts: 751000 | #Constraints: 32830
2067.39/2073.79 c #Conflicts: 752000 | #Constraints: 33830
2067.39/2073.79 c #Conflicts: 753000 | #Constraints: 34830
2067.39/2073.79 c #Conflicts: 754000 | #Constraints: 35830
2067.39/2073.79 c #Conflicts: 755000 | #Constraints: 36830
2067.39/2073.79 c #Conflicts: 756000 | #Constraints: 37830
2067.39/2073.79 c INPROCESSING
2067.39/2073.79 c GARBAGE COLLECT
2067.39/2073.79 c #Conflicts: 757000 | #Constraints: 21629
2067.39/2073.79 c #Conflicts: 758000 | #Constraints: 22629
2067.39/2073.79 c #Conflicts: 759000 | #Constraints: 23629
2067.39/2073.79 c #Conflicts: 760000 | #Constraints: 24629
2067.39/2073.79 c #Conflicts: 761000 | #Constraints: 25629
2067.39/2073.79 c #Conflicts: 762000 | #Constraints: 26629
2067.39/2073.79 c #Conflicts: 763000 | #Constraints: 27629
2067.39/2073.79 c #Conflicts: 764000 | #Constraints: 28629
2067.39/2073.79 c #Conflicts: 765000 | #Constraints: 29629
2067.39/2073.79 c #Conflicts: 766000 | #Constraints: 30629
2067.39/2073.79 c #Conflicts: 767000 | #Constraints: 31629
2067.39/2073.79 c #Conflicts: 768000 | #Constraints: 32629
2067.39/2073.79 c #Conflicts: 769000 | #Constraints: 33629
2067.39/2073.79 c #Conflicts: 770000 | #Constraints: 34629
2067.39/2073.79 c #Conflicts: 771000 | #Constraints: 35629
2067.39/2073.79 c #Conflicts: 772000 | #Constraints: 36629
2067.39/2073.79 c #Conflicts: 773000 | #Constraints: 37629
2067.39/2073.79 c #Conflicts: 774000 | #Constraints: 38629
2067.39/2073.79 c INPROCESSING
2067.39/2073.79 c GARBAGE COLLECT
2067.39/2073.79 c #Conflicts: 775000 | #Constraints: 22222
2067.39/2073.79 c #Conflicts: 776000 | #Constraints: 23222
2067.39/2073.79 c #Conflicts: 777000 | #Constraints: 24222
2067.39/2073.79 c #Conflicts: 778000 | #Constraints: 25222
2067.39/2073.79 c #Conflicts: 779000 | #Constraints: 26222
2067.39/2073.79 c #Conflicts: 780000 | #Constraints: 27222
2067.39/2073.79 c #Conflicts: 781000 | #Constraints: 28222
2067.39/2073.79 c #Conflicts: 782000 | #Constraints: 29222
2067.39/2073.79 c #Conflicts: 783000 | #Constraints: 30222
2067.39/2073.79 c #Conflicts: 784000 | #Constraints: 31222
2067.39/2073.79 c #Conflicts: 785000 | #Constraints: 32222
2067.39/2073.79 c #Conflicts: 786000 | #Constraints: 33222
2067.39/2073.79 c #Conflicts: 787000 | #Constraints: 34222
2067.39/2073.79 c #Conflicts: 788000 | #Constraints: 35222
2067.39/2073.79 c #Conflicts: 789000 | #Constraints: 36222
2067.39/2073.79 c #Conflicts: 790000 | #Constraints: 37222
2067.39/2073.79 c #Conflicts: 791000 | #Constraints: 38222
2067.39/2073.79 c #Conflicts: 792000 | #Constraints: 39222
2067.39/2073.79 c INPROCESSING
2067.39/2073.79 c GARBAGE COLLECT
2067.39/2073.79 c #Conflicts: 793000 | #Constraints: 22623
2067.39/2073.79 c #Conflicts: 794000 | #Constraints: 23623
2067.39/2073.79 c #Conflicts: 795000 | #Constraints: 24623
2067.39/2073.79 c #Conflicts: 796000 | #Constraints: 25623
2067.39/2073.79 c #Conflicts: 797000 | #Constraints: 26623
2067.39/2073.79 c #Conflicts: 798000 | #Constraints: 27623
2067.39/2073.79 c #Conflicts: 799000 | #Constraints: 28623
2067.39/2073.79 c #Conflicts: 800000 | #Constraints: 29623
2067.39/2073.79 c #Conflicts: 801000 | #Constraints: 30623
2067.39/2073.79 c #Conflicts: 802000 | #Constraints: 31623
2067.39/2073.79 c #Conflicts: 803000 | #Constraints: 32623
2067.39/2073.79 c #Conflicts: 804000 | #Constraints: 33623
2067.39/2073.79 c #Conflicts: 805000 | #Constraints: 34623
2067.39/2073.79 c #Conflicts: 806000 | #Constraints: 35623
2067.39/2073.79 c #Conflicts: 807000 | #Constraints: 36623
2067.39/2073.79 c #Conflicts: 808000 | #Constraints: 37623
2067.39/2073.79 c #Conflicts: 809000 | #Constraints: 38623
2067.39/2073.79 c #Conflicts: 810000 | #Constraints: 39623
2067.39/2073.79 c INPROCESSING
2067.39/2073.79 c GARBAGE COLLECT
2067.39/2073.79 c #Conflicts: 811000 | #Constraints: 22819
2067.39/2073.79 c #Conflicts: 812000 | #Constraints: 23819
2067.39/2073.79 c #Conflicts: 813000 | #Constraints: 24819
2067.39/2073.79 c #Conflicts: 814000 | #Constraints: 25819
2067.39/2073.79 c #Conflicts: 815000 | #Constraints: 26819
2067.39/2073.79 c #Conflicts: 816000 | #Constraints: 27819
2304.00/2310.93 c #Conflicts: 817000 | #Constraints: 28819
2304.00/2310.93 c #Conflicts: 818000 | #Constraints: 29819
2304.00/2310.93 c #Conflicts: 819000 | #Constraints: 30819
2304.00/2310.93 c #Conflicts: 820000 | #Constraints: 31819
2304.00/2310.93 c #Conflicts: 821000 | #Constraints: 32819
2304.00/2310.93 c #Conflicts: 822000 | #Constraints: 33819
2304.00/2310.93 c #Conflicts: 823000 | #Constraints: 34819
2304.00/2310.93 c #Conflicts: 824000 | #Constraints: 35819
2304.00/2310.93 c #Conflicts: 825000 | #Constraints: 36819
2304.00/2310.93 c #Conflicts: 826000 | #Constraints: 37819
2304.00/2310.93 c #Conflicts: 827000 | #Constraints: 38819
2304.00/2310.93 c #Conflicts: 828000 | #Constraints: 39819
2304.00/2310.93 c INPROCESSING
2304.00/2310.93 c GARBAGE COLLECT
2304.00/2310.93 c #Conflicts: 829000 | #Constraints: 22821
2304.00/2310.93 c #Conflicts: 830000 | #Constraints: 23821
2304.00/2310.93 c #Conflicts: 831000 | #Constraints: 24821
2304.00/2310.93 c #Conflicts: 832000 | #Constraints: 25821
2304.00/2310.93 c #Conflicts: 833000 | #Constraints: 26821
2304.00/2310.93 c #Conflicts: 834000 | #Constraints: 27821
2304.00/2310.93 c #Conflicts: 835000 | #Constraints: 28821
2304.00/2310.93 c #Conflicts: 836000 | #Constraints: 29821
2304.00/2310.93 c #Conflicts: 837000 | #Constraints: 30821
2304.00/2310.93 c #Conflicts: 838000 | #Constraints: 31821
2304.00/2310.93 c #Conflicts: 839000 | #Constraints: 32821
2304.00/2310.93 c #Conflicts: 840000 | #Constraints: 33821
2304.00/2310.93 c #Conflicts: 841000 | #Constraints: 34821
2304.00/2310.93 c #Conflicts: 842000 | #Constraints: 35821
2304.00/2310.93 c #Conflicts: 843000 | #Constraints: 36821
2304.00/2310.93 c #Conflicts: 844000 | #Constraints: 37821
2304.00/2310.93 c #Conflicts: 845000 | #Constraints: 38821
2304.00/2310.93 c #Conflicts: 846000 | #Constraints: 39821
2304.00/2310.93 c INPROCESSING
2304.00/2310.93 c GARBAGE COLLECT
2304.00/2310.93 c #Conflicts: 847000 | #Constraints: 22627
2304.00/2310.93 c #Conflicts: 848000 | #Constraints: 23627
2304.00/2310.93 c #Conflicts: 849000 | #Constraints: 24627
2304.00/2310.93 c #Conflicts: 850000 | #Constraints: 25627
2304.00/2310.93 c #Conflicts: 851000 | #Constraints: 26627
2304.00/2310.93 c #Conflicts: 852000 | #Constraints: 27627
2304.00/2310.93 c #Conflicts: 853000 | #Constraints: 28627
2304.00/2310.93 c #Conflicts: 854000 | #Constraints: 29627
2304.00/2310.93 c #Conflicts: 855000 | #Constraints: 30627
2304.00/2310.93 c #Conflicts: 856000 | #Constraints: 31627
2304.00/2310.93 c #Conflicts: 857000 | #Constraints: 32627
2304.00/2310.93 c #Conflicts: 858000 | #Constraints: 33627
2304.00/2310.93 c #Conflicts: 859000 | #Constraints: 34627
2304.00/2310.93 c #Conflicts: 860000 | #Constraints: 35627
2304.00/2310.93 c #Conflicts: 861000 | #Constraints: 36627
2304.00/2310.93 c #Conflicts: 862000 | #Constraints: 37627
2304.00/2310.93 c #Conflicts: 863000 | #Constraints: 38627
2304.00/2310.93 c #Conflicts: 864000 | #Constraints: 39627
2304.00/2310.93 c #Conflicts: 865000 | #Constraints: 40627
2304.00/2310.93 c INPROCESSING
2304.00/2310.93 c GARBAGE COLLECT
2304.00/2310.93 c #Conflicts: 866000 | #Constraints: 23224
2304.00/2310.93 c #Conflicts: 867000 | #Constraints: 24224
2304.00/2310.93 c #Conflicts: 868000 | #Constraints: 25224
2304.00/2310.93 c #Conflicts: 869000 | #Constraints: 26224
2304.00/2310.93 c #Conflicts: 870000 | #Constraints: 27224
2304.00/2310.93 c #Conflicts: 871000 | #Constraints: 28224
2304.00/2310.93 c #Conflicts: 872000 | #Constraints: 29224
2304.00/2310.93 c #Conflicts: 873000 | #Constraints: 30224
2304.00/2310.93 c #Conflicts: 874000 | #Constraints: 31224
2304.00/2310.93 c #Conflicts: 875000 | #Constraints: 32224
2304.00/2310.93 c #Conflicts: 876000 | #Constraints: 33224
2304.00/2310.93 c #Conflicts: 877000 | #Constraints: 34224
2304.00/2310.93 c #Conflicts: 878000 | #Constraints: 35224
2304.00/2310.93 c #Conflicts: 879000 | #Constraints: 36224
2304.00/2310.93 c #Conflicts: 880000 | #Constraints: 37224
2304.00/2310.93 c #Conflicts: 881000 | #Constraints: 38224
2304.00/2310.93 c #Conflicts: 882000 | #Constraints: 39224
2304.00/2310.93 c #Conflicts: 883000 | #Constraints: 40224
2304.00/2310.93 c #Conflicts: 884000 | #Constraints: 41224
2304.00/2310.93 c INPROCESSING
2304.00/2310.93 c GARBAGE COLLECT
2304.00/2310.93 c #Conflicts: 885000 | #Constraints: 23625
2304.00/2310.93 c #Conflicts: 886000 | #Constraints: 24625
2304.00/2310.93 c #Conflicts: 887000 | #Constraints: 25625
2304.00/2310.93 c #Conflicts: 888000 | #Constraints: 26625
2304.00/2310.93 c #Conflicts: 889000 | #Constraints: 27625
2304.00/2310.93 c #Conflicts: 890000 | #Constraints: 28625
2304.00/2310.93 c #Conflicts: 891000 | #Constraints: 29625
2304.00/2310.93 c #Conflicts: 892000 | #Constraints: 30625
2304.00/2310.93 c #Conflicts: 893000 | #Constraints: 31625
2549.49/2557.09 c #Conflicts: 894000 | #Constraints: 32625
2549.49/2557.09 c #Conflicts: 895000 | #Constraints: 33625
2549.49/2557.09 c #Conflicts: 896000 | #Constraints: 34625
2549.49/2557.09 c #Conflicts: 897000 | #Constraints: 35625
2549.49/2557.09 c #Conflicts: 898000 | #Constraints: 36625
2549.49/2557.09 c #Conflicts: 899000 | #Constraints: 37625
2549.49/2557.09 c #Conflicts: 900000 | #Constraints: 38625
2549.49/2557.09 c #Conflicts: 901000 | #Constraints: 39625
2549.49/2557.09 c #Conflicts: 902000 | #Constraints: 40625
2549.49/2557.09 c #Conflicts: 903000 | #Constraints: 41625
2549.49/2557.09 c INPROCESSING
2549.49/2557.09 c GARBAGE COLLECT
2549.49/2557.09 c #Conflicts: 904000 | #Constraints: 23825
2549.49/2557.09 c #Conflicts: 905000 | #Constraints: 24825
2549.49/2557.09 c #Conflicts: 906000 | #Constraints: 25825
2549.49/2557.09 c #Conflicts: 907000 | #Constraints: 26825
2549.49/2557.09 c #Conflicts: 908000 | #Constraints: 27825
2549.49/2557.09 c #Conflicts: 909000 | #Constraints: 28825
2549.49/2557.09 c #Conflicts: 910000 | #Constraints: 29825
2549.49/2557.09 c #Conflicts: 911000 | #Constraints: 30825
2549.49/2557.09 c #Conflicts: 912000 | #Constraints: 31825
2549.49/2557.09 c #Conflicts: 913000 | #Constraints: 32825
2549.49/2557.09 c #Conflicts: 914000 | #Constraints: 33825
2549.49/2557.09 c #Conflicts: 915000 | #Constraints: 34825
2549.49/2557.09 c #Conflicts: 916000 | #Constraints: 35825
2549.49/2557.09 c #Conflicts: 917000 | #Constraints: 36825
2549.49/2557.09 c #Conflicts: 918000 | #Constraints: 37825
2549.49/2557.09 c #Conflicts: 919000 | #Constraints: 38825
2549.49/2557.09 c #Conflicts: 920000 | #Constraints: 39825
2549.49/2557.09 c #Conflicts: 921000 | #Constraints: 40825
2549.49/2557.09 c #Conflicts: 922000 | #Constraints: 41825
2549.49/2557.09 c INPROCESSING
2549.49/2557.09 c GARBAGE COLLECT
2549.49/2557.09 c #Conflicts: 923000 | #Constraints: 23822
2549.49/2557.09 c #Conflicts: 924000 | #Constraints: 24822
2549.49/2557.09 c #Conflicts: 925000 | #Constraints: 25822
2549.49/2557.09 c #Conflicts: 926000 | #Constraints: 26822
2549.49/2557.09 c #Conflicts: 927000 | #Constraints: 27822
2549.49/2557.09 c #Conflicts: 928000 | #Constraints: 28822
2549.49/2557.09 c #Conflicts: 929000 | #Constraints: 29822
2549.49/2557.09 c #Conflicts: 930000 | #Constraints: 30822
2549.49/2557.09 c #Conflicts: 931000 | #Constraints: 31822
2549.49/2557.09 c #Conflicts: 932000 | #Constraints: 32822
2549.49/2557.09 c #Conflicts: 933000 | #Constraints: 33822
2549.49/2557.09 c #Conflicts: 934000 | #Constraints: 34822
2549.49/2557.09 c #Conflicts: 935000 | #Constraints: 35822
2549.49/2557.09 c #Conflicts: 936000 | #Constraints: 36822
2549.49/2557.09 c #Conflicts: 937000 | #Constraints: 37822
2549.49/2557.09 c #Conflicts: 938000 | #Constraints: 38822
2549.49/2557.09 c #Conflicts: 939000 | #Constraints: 39822
2549.49/2557.09 c #Conflicts: 940000 | #Constraints: 40822
2549.49/2557.09 c #Conflicts: 941000 | #Constraints: 41822
2549.49/2557.09 c INPROCESSING
2549.49/2557.09 c GARBAGE COLLECT
2549.49/2557.09 c #Conflicts: 942000 | #Constraints: 23628
2549.49/2557.09 c #Conflicts: 943000 | #Constraints: 24628
2549.49/2557.09 c #Conflicts: 944000 | #Constraints: 25628
2549.49/2557.09 c #Conflicts: 945000 | #Constraints: 26628
2549.49/2557.09 c #Conflicts: 946000 | #Constraints: 27628
2549.49/2557.09 c #Conflicts: 947000 | #Constraints: 28628
2549.49/2557.09 c #Conflicts: 948000 | #Constraints: 29628
2549.49/2557.09 c #Conflicts: 949000 | #Constraints: 30628
2549.49/2557.09 c #Conflicts: 950000 | #Constraints: 31628
2549.49/2557.09 c #Conflicts: 951000 | #Constraints: 32628
2549.49/2557.09 c #Conflicts: 952000 | #Constraints: 33628
2549.49/2557.09 c #Conflicts: 953000 | #Constraints: 34628
2549.49/2557.09 c #Conflicts: 954000 | #Constraints: 35628
2549.49/2557.09 c #Conflicts: 955000 | #Constraints: 36628
2549.49/2557.09 c #Conflicts: 956000 | #Constraints: 37628
2549.49/2557.09 c #Conflicts: 957000 | #Constraints: 38628
2549.49/2557.09 c #Conflicts: 958000 | #Constraints: 39628
2549.49/2557.09 c #Conflicts: 959000 | #Constraints: 40628
2549.49/2557.09 c #Conflicts: 960000 | #Constraints: 41628
2549.49/2557.09 c #Conflicts: 961000 | #Constraints: 42628
2549.49/2557.09 c INPROCESSING
2549.49/2557.09 c GARBAGE COLLECT
2549.49/2557.09 c #Conflicts: 962000 | #Constraints: 24223
2549.49/2557.09 c #Conflicts: 963000 | #Constraints: 25223
2549.49/2557.09 c #Conflicts: 964000 | #Constraints: 26223
2549.49/2557.09 c #Conflicts: 965000 | #Constraints: 27223
2549.49/2557.09 c #Conflicts: 966000 | #Constraints: 28223
2549.49/2557.09 c #Conflicts: 967000 | #Constraints: 29223
2549.49/2557.09 c #Conflicts: 968000 | #Constraints: 30223
2549.49/2557.09 c #Conflicts: 969000 | #Constraints: 31223
2824.18/2832.42 c #Conflicts: 970000 | #Constraints: 32223
2824.18/2832.42 c #Conflicts: 971000 | #Constraints: 33223
2824.18/2832.42 c #Conflicts: 972000 | #Constraints: 34223
2824.18/2832.42 c #Conflicts: 973000 | #Constraints: 35223
2824.18/2832.42 c #Conflicts: 974000 | #Constraints: 36223
2824.18/2832.42 c #Conflicts: 975000 | #Constraints: 37223
2824.18/2832.42 c #Conflicts: 976000 | #Constraints: 38223
2824.18/2832.42 c #Conflicts: 977000 | #Constraints: 39223
2824.18/2832.42 c #Conflicts: 978000 | #Constraints: 40223
2824.18/2832.42 c #Conflicts: 979000 | #Constraints: 41223
2824.18/2832.42 c #Conflicts: 980000 | #Constraints: 42223
2824.18/2832.42 c #Conflicts: 981000 | #Constraints: 43223
2824.18/2832.42 c INPROCESSING
2824.18/2832.42 c GARBAGE COLLECT
2824.18/2832.42 c #Conflicts: 982000 | #Constraints: 24626
2824.18/2832.42 c #Conflicts: 983000 | #Constraints: 25626
2824.18/2832.42 c #Conflicts: 984000 | #Constraints: 26626
2824.18/2832.42 c #Conflicts: 985000 | #Constraints: 27626
2824.18/2832.42 c #Conflicts: 986000 | #Constraints: 28626
2824.18/2832.42 c #Conflicts: 987000 | #Constraints: 29626
2824.18/2832.42 c #Conflicts: 988000 | #Constraints: 30626
2824.18/2832.42 c #Conflicts: 989000 | #Constraints: 31626
2824.18/2832.42 c #Conflicts: 990000 | #Constraints: 32626
2824.18/2832.42 c #Conflicts: 991000 | #Constraints: 33626
2824.18/2832.42 c #Conflicts: 992000 | #Constraints: 34626
2824.18/2832.42 c #Conflicts: 993000 | #Constraints: 35626
2824.18/2832.42 c #Conflicts: 994000 | #Constraints: 36626
2824.18/2832.42 c #Conflicts: 995000 | #Constraints: 37626
2824.18/2832.42 c #Conflicts: 996000 | #Constraints: 38626
2824.18/2832.42 c #Conflicts: 997000 | #Constraints: 39626
2824.18/2832.42 c #Conflicts: 998000 | #Constraints: 40626
2824.18/2832.42 c #Conflicts: 999000 | #Constraints: 41626
2824.18/2832.42 c #Conflicts: 1000000 | #Constraints: 42626
2824.18/2832.42 c #Conflicts: 1001000 | #Constraints: 43626
2824.18/2832.42 c INPROCESSING
2824.18/2832.42 c GARBAGE COLLECT
2824.18/2832.42 c #Conflicts: 1002000 | #Constraints: 24831
2824.18/2832.42 c #Conflicts: 1003000 | #Constraints: 25831
2824.18/2832.42 c #Conflicts: 1004000 | #Constraints: 26831
2824.18/2832.42 c #Conflicts: 1005000 | #Constraints: 27831
2824.18/2832.42 c #Conflicts: 1006000 | #Constraints: 28831
2824.18/2832.42 c #Conflicts: 1007000 | #Constraints: 29831
2824.18/2832.42 c #Conflicts: 1008000 | #Constraints: 30831
2824.18/2832.42 c #Conflicts: 1009000 | #Constraints: 31831
2824.18/2832.42 c #Conflicts: 1010000 | #Constraints: 32831
2824.18/2832.42 c #Conflicts: 1011000 | #Constraints: 33831
2824.18/2832.42 c #Conflicts: 1012000 | #Constraints: 34831
2824.18/2832.42 c #Conflicts: 1013000 | #Constraints: 35831
2824.18/2832.42 c #Conflicts: 1014000 | #Constraints: 36831
2824.18/2832.42 c #Conflicts: 1015000 | #Constraints: 37831
2824.18/2832.42 c #Conflicts: 1016000 | #Constraints: 38831
2824.18/2832.42 c #Conflicts: 1017000 | #Constraints: 39831
2824.18/2832.42 c #Conflicts: 1018000 | #Constraints: 40831
2824.18/2832.42 c #Conflicts: 1019000 | #Constraints: 41831
2824.18/2832.42 c #Conflicts: 1020000 | #Constraints: 42831
2824.18/2832.42 c #Conflicts: 1021000 | #Constraints: 43831
2824.18/2832.42 c INPROCESSING
2824.18/2832.42 c GARBAGE COLLECT
2824.18/2832.42 c #Conflicts: 1022000 | #Constraints: 24829
2824.18/2832.42 c #Conflicts: 1023000 | #Constraints: 25829
2824.18/2832.42 c #Conflicts: 1024000 | #Constraints: 26829
2824.18/2832.42 c #Conflicts: 1025000 | #Constraints: 27829
2824.18/2832.42 c #Conflicts: 1026000 | #Constraints: 28829
2824.18/2832.42 c #Conflicts: 1027000 | #Constraints: 29829
2824.18/2832.42 c #Conflicts: 1028000 | #Constraints: 30829
2824.18/2832.42 c #Conflicts: 1029000 | #Constraints: 31829
2824.18/2832.42 c #Conflicts: 1030000 | #Constraints: 32829
2824.18/2832.42 c #Conflicts: 1031000 | #Constraints: 33829
2824.18/2832.42 c #Conflicts: 1032000 | #Constraints: 34829
2824.18/2832.42 c #Conflicts: 1033000 | #Constraints: 35829
2824.18/2832.42 c #Conflicts: 1034000 | #Constraints: 36829
2824.18/2832.42 c #Conflicts: 1035000 | #Constraints: 37829
2824.18/2832.42 c #Conflicts: 1036000 | #Constraints: 38829
2824.18/2832.42 c #Conflicts: 1037000 | #Constraints: 39829
2824.18/2832.42 c #Conflicts: 1038000 | #Constraints: 40829
2824.18/2832.42 c #Conflicts: 1039000 | #Constraints: 41829
2824.18/2832.42 c #Conflicts: 1040000 | #Constraints: 42829
2824.18/2832.42 c #Conflicts: 1041000 | #Constraints: 43829
2824.18/2832.42 c INPROCESSING
2824.18/2832.42 c GARBAGE COLLECT
2824.18/2832.42 c #Conflicts: 1042000 | #Constraints: 24628
2824.18/2832.42 c #Conflicts: 1043000 | #Constraints: 25628
2824.18/2832.42 c #Conflicts: 1044000 | #Constraints: 26628
2824.18/2832.42 c #Conflicts: 1045000 | #Constraints: 27628
3070.95/3079.82 c #Conflicts: 1046000 | #Constraints: 28628
3070.95/3079.82 c #Conflicts: 1047000 | #Constraints: 29628
3070.95/3079.82 c #Conflicts: 1048000 | #Constraints: 30628
3070.95/3079.82 c #Conflicts: 1049000 | #Constraints: 31628
3070.95/3079.82 c #Conflicts: 1050000 | #Constraints: 32628
3070.95/3079.82 c #Conflicts: 1051000 | #Constraints: 33628
3070.95/3079.82 c #Conflicts: 1052000 | #Constraints: 34628
3070.95/3079.82 c #Conflicts: 1053000 | #Constraints: 35628
3070.95/3079.82 c #Conflicts: 1054000 | #Constraints: 36628
3070.95/3079.82 c #Conflicts: 1055000 | #Constraints: 37628
3070.95/3079.82 c #Conflicts: 1056000 | #Constraints: 38628
3070.95/3079.82 c #Conflicts: 1057000 | #Constraints: 39628
3070.95/3079.82 c #Conflicts: 1058000 | #Constraints: 40628
3070.95/3079.82 c #Conflicts: 1059000 | #Constraints: 41628
3070.95/3079.82 c #Conflicts: 1060000 | #Constraints: 42628
3070.95/3079.82 c #Conflicts: 1061000 | #Constraints: 43628
3070.95/3079.82 c #Conflicts: 1062000 | #Constraints: 44628
3070.95/3079.82 c INPROCESSING
3070.95/3079.82 c GARBAGE COLLECT
3070.95/3079.82 c #Conflicts: 1063000 | #Constraints: 25228
3070.95/3079.82 c #Conflicts: 1064000 | #Constraints: 26228
3070.95/3079.82 c #Conflicts: 1065000 | #Constraints: 27228
3070.95/3079.82 c #Conflicts: 1066000 | #Constraints: 28228
3070.95/3079.82 c #Conflicts: 1067000 | #Constraints: 29228
3070.95/3079.82 c #Conflicts: 1068000 | #Constraints: 30228
3070.95/3079.82 c #Conflicts: 1069000 | #Constraints: 31228
3070.95/3079.82 c #Conflicts: 1070000 | #Constraints: 32228
3070.95/3079.82 c #Conflicts: 1071000 | #Constraints: 33228
3070.95/3079.82 c #Conflicts: 1072000 | #Constraints: 34228
3070.95/3079.82 c #Conflicts: 1073000 | #Constraints: 35228
3070.95/3079.82 c #Conflicts: 1074000 | #Constraints: 36228
3070.95/3079.82 c #Conflicts: 1075000 | #Constraints: 37228
3070.95/3079.82 c #Conflicts: 1076000 | #Constraints: 38228
3070.95/3079.82 c #Conflicts: 1077000 | #Constraints: 39228
3070.95/3079.82 c #Conflicts: 1078000 | #Constraints: 40228
3070.95/3079.82 c #Conflicts: 1079000 | #Constraints: 41228
3070.95/3079.82 c #Conflicts: 1080000 | #Constraints: 42228
3070.95/3079.82 c #Conflicts: 1081000 | #Constraints: 43228
3070.95/3079.82 c #Conflicts: 1082000 | #Constraints: 44228
3070.95/3079.82 c #Conflicts: 1083000 | #Constraints: 45228
3070.95/3079.82 c INPROCESSING
3070.95/3079.82 c GARBAGE COLLECT
3070.95/3079.82 c #Conflicts: 1084000 | #Constraints: 25622
3070.95/3079.82 c #Conflicts: 1085000 | #Constraints: 26622
3070.95/3079.82 c #Conflicts: 1086000 | #Constraints: 27622
3070.95/3079.82 c #Conflicts: 1087000 | #Constraints: 28622
3070.95/3079.82 c #Conflicts: 1088000 | #Constraints: 29622
3070.95/3079.82 c #Conflicts: 1089000 | #Constraints: 30622
3070.95/3079.82 c #Conflicts: 1090000 | #Constraints: 31622
3070.95/3079.82 c #Conflicts: 1091000 | #Constraints: 32622
3070.95/3079.82 c #Conflicts: 1092000 | #Constraints: 33622
3070.95/3079.82 c #Conflicts: 1093000 | #Constraints: 34622
3070.95/3079.82 c #Conflicts: 1094000 | #Constraints: 35622
3070.95/3079.82 c #Conflicts: 1095000 | #Constraints: 36622
3070.95/3079.82 c #Conflicts: 1096000 | #Constraints: 37622
3070.95/3079.82 c #Conflicts: 1097000 | #Constraints: 38622
3070.95/3079.82 c #Conflicts: 1098000 | #Constraints: 39622
3070.95/3079.82 c #Conflicts: 1099000 | #Constraints: 40622
3070.95/3079.82 c #Conflicts: 1100000 | #Constraints: 41622
3070.95/3079.82 c #Conflicts: 1101000 | #Constraints: 42622
3070.95/3079.82 c #Conflicts: 1102000 | #Constraints: 43622
3070.95/3079.82 c #Conflicts: 1103000 | #Constraints: 44622
3070.95/3079.82 c #Conflicts: 1104000 | #Constraints: 45622
3070.95/3079.82 c INPROCESSING
3070.95/3079.82 c GARBAGE COLLECT
3070.95/3079.82 c #Conflicts: 1105000 | #Constraints: 25833
3070.95/3079.82 c #Conflicts: 1106000 | #Constraints: 26833
3070.95/3079.82 c #Conflicts: 1107000 | #Constraints: 27833
3070.95/3079.82 c #Conflicts: 1108000 | #Constraints: 28833
3070.95/3079.82 c #Conflicts: 1109000 | #Constraints: 29833
3070.95/3079.82 c #Conflicts: 1110000 | #Constraints: 30833
3070.95/3079.82 c #Conflicts: 1111000 | #Constraints: 31833
3070.95/3079.82 c #Conflicts: 1112000 | #Constraints: 32833
3070.95/3079.82 c #Conflicts: 1113000 | #Constraints: 33833
3070.95/3079.82 c #Conflicts: 1114000 | #Constraints: 34833
3070.95/3079.82 c #Conflicts: 1115000 | #Constraints: 35833
3070.95/3079.82 c #Conflicts: 1116000 | #Constraints: 36833
3070.95/3079.82 c #Conflicts: 1117000 | #Constraints: 37833
3070.95/3079.82 c #Conflicts: 1118000 | #Constraints: 38833
3070.95/3079.82 c #Conflicts: 1119000 | #Constraints: 39833
3070.95/3079.82 c #Conflicts: 1120000 | #Constraints: 40833
3070.95/3079.82 c #Conflicts: 1121000 | #Constraints: 41833
3070.95/3079.82 c #Conflicts: 1122000 | #Constraints: 42833
3319.63/3329.16 c #Conflicts: 1123000 | #Constraints: 43833
3319.63/3329.16 c #Conflicts: 1124000 | #Constraints: 44833
3319.63/3329.16 c #Conflicts: 1125000 | #Constraints: 45833
3319.63/3329.16 c INPROCESSING
3319.63/3329.16 c GARBAGE COLLECT
3319.63/3329.16 c #Conflicts: 1126000 | #Constraints: 25834
3319.63/3329.16 c #Conflicts: 1127000 | #Constraints: 26834
3319.63/3329.16 c #Conflicts: 1128000 | #Constraints: 27834
3319.63/3329.16 c #Conflicts: 1129000 | #Constraints: 28834
3319.63/3329.16 c #Conflicts: 1130000 | #Constraints: 29834
3319.63/3329.16 c #Conflicts: 1131000 | #Constraints: 30834
3319.63/3329.16 c #Conflicts: 1132000 | #Constraints: 31834
3319.63/3329.16 c #Conflicts: 1133000 | #Constraints: 32834
3319.63/3329.16 c #Conflicts: 1134000 | #Constraints: 33834
3319.63/3329.16 c #Conflicts: 1135000 | #Constraints: 34834
3319.63/3329.16 c #Conflicts: 1136000 | #Constraints: 35834
3319.63/3329.16 c #Conflicts: 1137000 | #Constraints: 36834
3319.63/3329.16 c #Conflicts: 1138000 | #Constraints: 37834
3319.63/3329.16 c #Conflicts: 1139000 | #Constraints: 38834
3319.63/3329.16 c #Conflicts: 1140000 | #Constraints: 39834
3319.63/3329.16 c #Conflicts: 1141000 | #Constraints: 40834
3319.63/3329.16 c #Conflicts: 1142000 | #Constraints: 41834
3319.63/3329.16 c #Conflicts: 1143000 | #Constraints: 42834
3319.63/3329.16 c #Conflicts: 1144000 | #Constraints: 43834
3319.63/3329.16 c #Conflicts: 1145000 | #Constraints: 44834
3319.63/3329.16 c #Conflicts: 1146000 | #Constraints: 45834
3319.63/3329.16 c INPROCESSING
3319.63/3329.16 c GARBAGE COLLECT
3319.63/3329.16 c #Conflicts: 1147000 | #Constraints: 25619
3319.63/3329.16 c #Conflicts: 1148000 | #Constraints: 26619
3319.63/3329.16 c #Conflicts: 1149000 | #Constraints: 27619
3319.63/3329.16 c #Conflicts: 1150000 | #Constraints: 28619
3319.63/3329.16 c #Conflicts: 1151000 | #Constraints: 29619
3319.63/3329.16 c #Conflicts: 1152000 | #Constraints: 30619
3319.63/3329.16 c #Conflicts: 1153000 | #Constraints: 31619
3319.63/3329.16 c #Conflicts: 1154000 | #Constraints: 32619
3319.63/3329.16 c #Conflicts: 1155000 | #Constraints: 33619
3319.63/3329.16 c #Conflicts: 1156000 | #Constraints: 34619
3319.63/3329.16 c #Conflicts: 1157000 | #Constraints: 35619
3319.63/3329.16 c #Conflicts: 1158000 | #Constraints: 36619
3319.63/3329.16 c #Conflicts: 1159000 | #Constraints: 37619
3319.63/3329.16 c #Conflicts: 1160000 | #Constraints: 38619
3319.63/3329.16 c #Conflicts: 1161000 | #Constraints: 39619
3319.63/3329.16 c #Conflicts: 1162000 | #Constraints: 40619
3319.63/3329.16 c #Conflicts: 1163000 | #Constraints: 41619
3319.63/3329.16 c #Conflicts: 1164000 | #Constraints: 42619
3319.63/3329.16 c #Conflicts: 1165000 | #Constraints: 43619
3319.63/3329.16 c #Conflicts: 1166000 | #Constraints: 44619
3319.63/3329.16 c #Conflicts: 1167000 | #Constraints: 45619
3319.63/3329.16 c #Conflicts: 1168000 | #Constraints: 46619
3319.63/3329.16 c INPROCESSING
3319.63/3329.16 c GARBAGE COLLECT
3319.63/3329.16 c #Conflicts: 1169000 | #Constraints: 26210
3319.63/3329.16 c #Conflicts: 1170000 | #Constraints: 27210
3319.63/3329.16 c #Conflicts: 1171000 | #Constraints: 28210
3319.63/3329.16 c #Conflicts: 1172000 | #Constraints: 29210
3319.63/3329.16 c #Conflicts: 1173000 | #Constraints: 30210
3319.63/3329.16 c #Conflicts: 1174000 | #Constraints: 31210
3319.63/3329.16 c #Conflicts: 1175000 | #Constraints: 32210
3319.63/3329.16 c #Conflicts: 1176000 | #Constraints: 33210
3319.63/3329.16 c #Conflicts: 1177000 | #Constraints: 34210
3319.63/3329.16 c #Conflicts: 1178000 | #Constraints: 35210
3319.63/3329.16 c #Conflicts: 1179000 | #Constraints: 36210
3319.63/3329.16 c #Conflicts: 1180000 | #Constraints: 37210
3319.63/3329.16 c #Conflicts: 1181000 | #Constraints: 38210
3319.63/3329.16 c #Conflicts: 1182000 | #Constraints: 39210
3319.63/3329.16 c #Conflicts: 1183000 | #Constraints: 40210
3319.63/3329.16 c #Conflicts: 1184000 | #Constraints: 41210
3319.63/3329.16 c #Conflicts: 1185000 | #Constraints: 42210
3319.63/3329.16 c #Conflicts: 1186000 | #Constraints: 43210
3319.63/3329.16 c #Conflicts: 1187000 | #Constraints: 44210
3319.63/3329.16 c #Conflicts: 1188000 | #Constraints: 45210
3319.63/3329.16 c #Conflicts: 1189000 | #Constraints: 46210
3319.63/3329.16 c #Conflicts: 1190000 | #Constraints: 47210
3319.63/3329.16 c INPROCESSING
3319.63/3329.16 c GARBAGE COLLECT
3319.63/3329.16 c #Conflicts: 1191000 | #Constraints: 26616
3319.63/3329.16 c #Conflicts: 1192000 | #Constraints: 27616
3319.63/3329.16 c #Conflicts: 1193000 | #Constraints: 28616
3319.63/3329.16 c #Conflicts: 1194000 | #Constraints: 29616
3319.63/3329.16 c #Conflicts: 1195000 | #Constraints: 30616
3319.63/3329.16 c #Conflicts: 1196000 | #Constraints: 31616
3319.63/3329.16 c #Conflicts: 1197000 | #Constraints: 32616
3319.63/3329.16 c #Conflicts: 1198000 | #Constraints: 33616
3600.10/3610.30 c #Conflicts: 1199000 | #Constraints: 34616
3600.10/3610.30 c #Conflicts: 1200000 | #Constraints: 35616
3600.10/3610.30 c #Conflicts: 1201000 | #Constraints: 36616
3600.10/3610.30 c #Conflicts: 1202000 | #Constraints: 37616
3600.10/3610.30 c #Conflicts: 1203000 | #Constraints: 38616
3600.10/3610.30 c #Conflicts: 1204000 | #Constraints: 39616
3600.10/3610.30 c #Conflicts: 1205000 | #Constraints: 40616
3600.10/3610.30 c #Conflicts: 1206000 | #Constraints: 41616
3600.10/3610.30 c #Conflicts: 1207000 | #Constraints: 42616
3600.10/3610.30 c #Conflicts: 1208000 | #Constraints: 43616
3600.10/3610.30 c #Conflicts: 1209000 | #Constraints: 44616
3600.10/3610.30 c #Conflicts: 1210000 | #Constraints: 45616
3600.10/3610.30 c #Conflicts: 1211000 | #Constraints: 46616
3600.10/3610.30 c #Conflicts: 1212000 | #Constraints: 47616
3600.10/3610.30 c INPROCESSING
3600.10/3610.30 c GARBAGE COLLECT
3600.10/3610.30 c #Conflicts: 1213000 | #Constraints: 26816
3600.10/3610.30 c #Conflicts: 1214000 | #Constraints: 27816
3600.10/3610.30 c #Conflicts: 1215000 | #Constraints: 28816
3600.10/3610.30 c #Conflicts: 1216000 | #Constraints: 29816
3600.10/3610.30 c #Conflicts: 1217000 | #Constraints: 30816
3600.10/3610.30 c #Conflicts: 1218000 | #Constraints: 31816
3600.10/3610.30 c #Conflicts: 1219000 | #Constraints: 32816
3600.10/3610.30 c #Conflicts: 1220000 | #Constraints: 33816
3600.10/3610.30 c #Conflicts: 1221000 | #Constraints: 34816
3600.10/3610.30 c #Conflicts: 1222000 | #Constraints: 35816
3600.10/3610.30 c #Conflicts: 1223000 | #Constraints: 36816
3600.10/3610.30 c #Conflicts: 1224000 | #Constraints: 37816
3600.10/3610.30 c #Conflicts: 1225000 | #Constraints: 38816
3600.10/3610.30 c #Conflicts: 1226000 | #Constraints: 39816
3600.10/3610.30 c #Conflicts: 1227000 | #Constraints: 40816
3600.10/3610.30 c #Conflicts: 1228000 | #Constraints: 41816
3600.10/3610.30 c #Conflicts: 1229000 | #Constraints: 42816
3600.10/3610.30 c #Conflicts: 1230000 | #Constraints: 43816
3600.10/3610.30 c #Conflicts: 1231000 | #Constraints: 44816
3600.10/3610.30 c #Conflicts: 1232000 | #Constraints: 45816
3600.10/3610.30 c #Conflicts: 1233000 | #Constraints: 46816
3600.10/3610.30 c #Conflicts: 1234000 | #Constraints: 47816
3600.10/3610.30 c INPROCESSING
3600.10/3610.30 c GARBAGE COLLECT
3600.10/3610.30 c #Conflicts: 1235000 | #Constraints: 26818
3600.10/3610.30 c #Conflicts: 1236000 | #Constraints: 27818
3600.10/3610.30 c #Conflicts: 1237000 | #Constraints: 28818
3600.10/3610.30 c #Conflicts: 1238000 | #Constraints: 29818
3600.10/3610.30 c #Conflicts: 1239000 | #Constraints: 30818
3600.10/3610.30 c #Conflicts: 1240000 | #Constraints: 31818
3600.10/3610.30 c #Conflicts: 1241000 | #Constraints: 32818
3600.10/3610.30 c #Conflicts: 1242000 | #Constraints: 33818
3600.10/3610.30 c #Conflicts: 1243000 | #Constraints: 34818
3600.10/3610.30 c #Conflicts: 1244000 | #Constraints: 35818
3600.10/3610.30 c #Conflicts: 1245000 | #Constraints: 36818
3600.10/3610.30 c #Conflicts: 1246000 | #Constraints: 37818
3600.10/3610.30 c #Conflicts: 1247000 | #Constraints: 38818
3600.10/3610.30 c #Conflicts: 1248000 | #Constraints: 39818
3600.10/3610.30 c #Conflicts: 1249000 | #Constraints: 40818
3600.10/3610.30 c #Conflicts: 1250000 | #Constraints: 41818
3600.10/3610.30 c #Conflicts: 1251000 | #Constraints: 42818
3600.10/3610.30 c #Conflicts: 1252000 | #Constraints: 43818
3600.10/3610.30 c #Conflicts: 1253000 | #Constraints: 44818
3600.10/3610.30 c #Conflicts: 1254000 | #Constraints: 45818
3600.10/3610.30 c #Conflicts: 1255000 | #Constraints: 46818
3600.10/3610.30 c #Conflicts: 1256000 | #Constraints: 47818
3600.10/3610.30 c INPROCESSING
3600.10/3610.30 c GARBAGE COLLECT
3600.10/3610.30 c #Conflicts: 1257000 | #Constraints: 26617
3600.10/3610.30 c #Conflicts: 1258000 | #Constraints: 27617
3600.10/3610.30 c #Conflicts: 1259000 | #Constraints: 28617
3600.10/3610.30 c #Conflicts: 1260000 | #Constraints: 29617
3600.10/3610.30 c #Conflicts: 1261000 | #Constraints: 30617
3600.10/3610.30 c #Conflicts: 1262000 | #Constraints: 31617
3600.10/3610.30 c #Conflicts: 1263000 | #Constraints: 32617
3600.10/3610.30 c #Conflicts: 1264000 | #Constraints: 33617
3600.10/3610.30 c #Conflicts: 1265000 | #Constraints: 34617
3600.10/3610.30 c #Conflicts: 1266000 | #Constraints: 35617
3600.10/3610.30 c #Conflicts: 1267000 | #Constraints: 36617
3600.10/3610.30 c #Conflicts: 1268000 | #Constraints: 37617
3600.10/3610.30 c #Conflicts: 1269000 | #Constraints: 38617
3600.10/3610.30 c #Conflicts: 1270000 | #Constraints: 39617
3600.10/3610.30 c #Conflicts: 1271000 | #Constraints: 40617
3600.10/3610.30 c #Conflicts: 1272000 | #Constraints: 41617
3600.10/3610.30 c Program interrupted by user.
3600.10/3610.30 c cpu time 3591.33 s
3600.10/3610.30 c deterministic time 596005005546 5.96e+11
3600.10/3610.30 c optimization time 44.8079 s
3600.10/3610.30 c total solve time 3247.25 s
3600.10/3610.30 c core-guided solve time 3247.25 s
3600.10/3610.30 c propagation time 2697.26 s
3600.10/3610.30 c conflict analysis time 468.859 s
3600.10/3610.30 c propagations 158259962
3600.10/3610.30 c resolve steps 12392327
3600.10/3610.30 c decisions 4865727
3600.10/3610.30 c conflicts 1272545
3600.10/3610.30 c restarts 2428
3600.10/3610.30 c inprocessing phases 103
3600.10/3610.30 c input clauses 3928
3600.10/3610.30 c input cardinalities 146
3600.10/3610.30 c input general constraints 0
3600.10/3610.30 c input average constraint length 61.48
3600.10/3610.30 c input average constraint degree 27.81
3600.10/3610.30 c learned clauses 512563
3600.10/3610.30 c learned cardinalities 94316
3600.10/3610.30 c learned general constraints 665810
3600.10/3610.30 c learned average constraint length 764.10
3600.10/3610.30 c learned average constraint degree 5980.25
3600.10/3610.30 c watched constraints 336843
3600.10/3610.30 c counting constraints 328967
3600.10/3610.30 c gcd simplifications 27463
3600.10/3610.30 c detected cardinalities 573
3600.10/3610.30 c weakened non-implied lits 208806835
3600.10/3610.30 c weakened non-implying lits 57545
3600.10/3610.30 c original variables 1963
3600.10/3610.30 c clausal propagations 78831355
3600.10/3610.30 c cardinality propagations 14492257
3600.10/3610.30 c watched propagations 8524370
3600.10/3610.30 c counting propagations 47537563
3600.10/3610.30 c watch lookups 42036519955
3600.10/3610.30 c watch backjump lookups 32220031516
3600.10/3610.30 c watch checks 481273069906
3600.10/3610.30 c propagation checks 37332805268
3600.10/3610.30 c constraint additions 2815056550
3600.10/3610.30 c trail pops 164396661
3600.10/3610.30 c formula constraints 3254
3600.10/3610.30 c learned constraints 1272689
3600.10/3610.30 c bound constraints 146
3600.10/3610.30 c core-guided constraints 674
3600.10/3610.30 c encountered formula constraints 8646613
3600.10/3610.30 c encountered learned constraints 3371244
3600.10/3610.30 c encountered bound constraints 2
3600.10/3610.30 c encountered core-guided constraints 1647013
3600.10/3610.30 c LP total time 0 s
3600.10/3610.30 c LP solve time 0 s
3600.10/3610.30 c LP constraints added 0
3600.10/3610.30 c LP constraints removed 0
3600.10/3610.30 c LP pivots internal 0
3600.10/3610.30 c LP pivots root 0
3600.10/3610.30 c LP calls 0
3600.10/3610.30 c LP optimalities 0
3600.10/3610.30 c LP no pivot count 0
3600.10/3610.30 c LP infeasibilities 0
3600.10/3610.30 c LP valid Farkas constraints 0
3600.10/3610.30 c LP learned Farkas constraints 0
3600.10/3610.30 c LP basis resets 0
3600.10/3610.30 c LP cycling count 0
3600.10/3610.30 c LP singular count 0
3600.10/3610.30 c LP no primal count 0
3600.10/3610.30 c LP no farkas count 0
3600.10/3610.30 c LP other issue count 0
3600.10/3610.30 c LP Gomory cuts 0
3600.10/3610.30 c LP learned cuts 0
3600.10/3610.30 c LP deleted cuts 0
3600.10/3610.30 c LP encountered Gomory constraints 0
3600.10/3610.30 c LP encountered Farkas constraints 0
3600.10/3610.30 c LP encountered learned Farkas constraints 0
3600.10/3610.30 c CG auxiliary variables introduced 674
3600.10/3610.30 c CG solutions found 0
3600.10/3610.30 c CG cores constructed 145
3600.10/3610.30 c CG core cardinality constraints returned 0
3600.10/3610.30 c CG unit cores 0
3600.10/3610.30 c CG single cores 145
3600.10/3610.30 c CG blocks removed during cardinality reduction 0
3600.10/3610.30 c CG first core best 0
3600.10/3610.30 c CG decision core best 0
3600.10/3610.30 c CG core reduction tie 0
3600.10/3610.30 c CG core degree average 1.00
3600.10/3610.30 c CG core slack average 3.03
3600.10/3610.30 c CG exhausted 0
3600.10/3610.30 c CG exhaust time 0 s
3600.10/3610.30 c CG trimmed 0
3600.10/3610.30 c CG trim time 0.000768 s
3600.10/3610.30 c CG minimized 0
3600.10/3610.30 c CG minimize time 0 s
3600.10/3610.30 c CG am1 prop time 0.001492 s
3600.10/3610.30 c CG # am1s reformulated 674
3600.10/3610.30 c CG lower bound derived from am1s 676
3600.10/3610.30 c CG # clausal cores 145
3600.10/3610.30 c CG # cardinality cores 0
3600.10/3610.30 c CG # pb cores 0
3600.10/3610.30 c CG # pb reforms 0
3600.10/3610.30 c CG # cores discarded because of pb reform 0
3600.10/3610.30 d LOWERBOUND 821
3600.10/3610.30 d NCORES 145
3600.10/3610.30 d NPBCORES 0
3600.10/3610.30 d NPBREFORM 0
3600.10/3610.30 d NTRIMMED 0
3600.10/3610.30 d NEXHAUSTED 0
3600.10/3610.30 d NAM1S 674
3600.10/3610.30 d AM1LB 676
3600.10/3610.30 c [Papilo Statistics]
3600.10/3610.30 c prepro time 0.00470046s
3600.10/3610.30 c # tsx applied 150
3600.10/3610.30 c # tsx conflicts 6
3600.10/3610.30 c # bound changes 149
3600.10/3610.30 c # side changes 0
3600.10/3610.30 c # coef changes 0
3600.10/3610.30 c # rounds 2
3600.10/3610.30 c # deted vars 306
3600.10/3610.30 c # deted constrs 746
3600.10/3610.30 c # consecutive rounds of only bound changes 0
3600.10/3610.30 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 (62482 MiB free)
memory of node 1: 64465 MiB (63558 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488761-1751330152/watcher-4488761-1751330152 -o /tmp/evaluation-result-4488761-1751330152/solver-4488761-1751330152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45658 --watchdog 3760 mixed-bag HOME/instance-4488761-1751330152.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=47582, runsolver pid=47579
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.07 4.09 4.14 5/265 47583
/proc/meminfo: memFree=129050384/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=116036 memory=40404 CPUtime=0.09 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 6804 0 0 0 8 1 0 0 20 0 1 0 48692716 118820864 10101 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 29009 10101 4256 2842 0 10703 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 116036 KiB
Current children cumulated memory: 40404 KiB
[startup+0.205798 s]*
/proc/loadavg: 4.07 4.09 4.14 5/265 47583
/proc/meminfo: memFree=129048620/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=118016 memory=42324 CPUtime=0.19 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 7270 0 0 0 18 1 0 0 20 0 1 0 48692716 120848384 10581 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 29504 10581 4288 2842 0 11198 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 118016 KiB
Current children cumulated memory: 42324 KiB
[startup+0.305687 s]*
/proc/loadavg: 4.07 4.09 4.14 5/265 47583
/proc/meminfo: memFree=129048620/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=118384 memory=42708 CPUtime=0.29 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 7377 0 0 0 28 1 0 0 20 0 1 0 48692716 121225216 10677 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 29596 10677 4288 2842 0 11290 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 118384 KiB
Current children cumulated memory: 42708 KiB
[startup+0.700172 s]
/proc/loadavg: 4.07 4.09 4.14 5/265 47583
/proc/meminfo: memFree=129042572/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=123540 memory=47188 CPUtime=0.68 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 8494 0 0 0 67 1 0 0 20 0 1 0 48692716 126504960 11797 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 30885 11797 4288 2842 0 12579 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 123540 KiB
Current children cumulated memory: 47188 KiB
[startup+1.50017 s]
/proc/loadavg: 4.07 4.09 4.14 5/265 47583
/proc/meminfo: memFree=129042572/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=126804 memory=50132 CPUtime=1.47 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 9216 0 0 0 146 1 0 0 20 0 1 0 48692716 129847296 12533 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 31701 12533 4288 2842 0 13395 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 126804 KiB
Current children cumulated memory: 50132 KiB
[startup+3.10551 s]
/proc/loadavg: 4.07 4.09 4.14 5/265 47583
/proc/meminfo: memFree=129018380/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=151692 memory=74068 CPUtime=3.07 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 15221 0 0 0 305 2 0 0 20 0 1 0 48692716 155332608 18517 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 37923 18517 4288 2842 0 19617 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 151692 KiB
Current children cumulated memory: 74068 KiB
[startup+6.30016 s]
/proc/loadavg: 4.06 4.08 4.14 5/265 47583
/proc/meminfo: memFree=128978312/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=183448 memory=104148 CPUtime=6.26 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 22723 0 0 0 623 3 0 0 20 0 1 0 48692716 187850752 26037 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 45862 26037 4288 2842 0 27556 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 183448 KiB
Current children cumulated memory: 104148 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.14 5/265 47583
/proc/meminfo: memFree=128938168/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=216536 memory=133436 CPUtime=12.65 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 31149 0 0 0 1260 5 0 0 20 0 1 0 48692716 221732864 33359 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 54134 33359 4288 2842 0 35828 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 216536 KiB
Current children cumulated memory: 133436 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.08 4.13 5/266 47631
/proc/meminfo: memFree=129316588/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=216536 memory=133820 CPUtime=25.41 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 31237 0 0 0 2536 5 0 0 20 0 1 0 48692716 221732864 33455 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 54134 33455 4288 2842 0 35828 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 216536 KiB
Current children cumulated memory: 133820 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 4.13 5/266 47631
/proc/meminfo: memFree=129129932/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=283680 memory=195632 CPUtime=50.92 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 48358 0 0 0 5085 7 0 0 20 0 1 0 48692716 290488320 48908 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 70920 48908 4320 2842 0 52614 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 283680 KiB
Current children cumulated memory: 195632 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.13 5/267 47638
/proc/meminfo: memFree=128992540/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=295200 memory=206812 CPUtime=101.95 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 53368 0 0 0 10186 9 0 0 20 0 1 0 48692716 302284800 51703 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 73800 51703 4320 2842 0 55494 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 295200 KiB
Current children cumulated memory: 206812 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.12 5/266 47640
/proc/meminfo: memFree=129019716/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=312244 memory=223712 CPUtime=161.75 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 58429 0 0 0 16165 10 0 0 20 0 1 0 48692716 319737856 55928 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 78061 55928 4320 2842 0 59755 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 312244 KiB
Current children cumulated memory: 223712 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.12 5/267 47643
/proc/meminfo: memFree=129067212/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=326880 memory=233800 CPUtime=221.55 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 62258 0 0 0 22145 10 0 0 20 0 1 0 48692716 334725120 58450 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 81720 58450 4320 2842 0 63414 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 326880 KiB
Current children cumulated memory: 233800 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.11 5/267 47645
/proc/meminfo: memFree=129018920/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=334600 memory=239176 CPUtime=281.37 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 63618 0 0 0 28126 11 0 0 20 0 1 0 48692716 342630400 59794 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 83650 59794 4320 2842 0 65344 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 334600 KiB
Current children cumulated memory: 239176 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.09 4.11 5/266 47648
/proc/meminfo: memFree=129125212/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=236552 memory=163264 CPUtime=341.18 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 67658 0 0 0 34064 54 0 0 20 0 1 0 48692716 242229248 40816 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 59138 40816 4512 2842 0 40832 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 236552 KiB
Current children cumulated memory: 163264 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.09 4.11 5/266 47650
/proc/meminfo: memFree=129066076/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=267372 memory=179008 CPUtime=400.98 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 68518 0 0 0 40008 90 0 0 20 0 1 0 48692716 273788928 44752 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 66843 44752 4512 2842 0 48537 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 267372 KiB
Current children cumulated memory: 179008 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 4.07 4.10 5/265 47652
/proc/meminfo: memFree=128970148/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=275488 memory=194080 CPUtime=460.8 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 70363 0 0 0 45961 119 0 0 20 0 1 0 48692716 282099712 48520 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 68872 48520 4512 2842 0 50566 0
Current children cumulated CPU time: 460.8 s
################
# More data... #
################
Current children cumulated memory: 399604 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 47796
/proc/meminfo: memFree=128281864/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=510256 memory=410752 CPUtime=2913.85 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 88635 0 0 0 290635 750 0 0 20 0 1 0 48692716 522502144 102688 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 127564 102688 4512 2842 0 109258 0
Current children cumulated CPU time: 2913.85 s
Current children cumulated vsize: 510256 KiB
Current children cumulated memory: 410752 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 47798
/proc/meminfo: memFree=128269440/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=511664 memory=411776 CPUtime=2973.7 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 88910 0 0 0 296612 758 0 0 20 0 1 0 48692716 523943936 102944 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 127916 102944 4512 2842 0 109610 0
Current children cumulated CPU time: 2973.7 s
Current children cumulated vsize: 511664 KiB
Current children cumulated memory: 411776 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 47802
/proc/meminfo: memFree=128229524/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=516608 memory=414720 CPUtime=3033.54 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 89626 0 0 0 302586 768 0 0 20 0 1 0 48692716 529006592 103680 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 129152 103680 4512 2842 0 110846 0
Current children cumulated CPU time: 3033.54 s
Current children cumulated vsize: 516608 KiB
Current children cumulated memory: 414720 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 47809
/proc/meminfo: memFree=128197204/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=517472 memory=419448 CPUtime=3093.4 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 89797 0 0 0 308558 782 0 0 20 0 1 0 48692716 529891328 104862 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 129368 104862 4512 2842 0 111062 0
Current children cumulated CPU time: 3093.4 s
Current children cumulated vsize: 517472 KiB
Current children cumulated memory: 419448 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 47812
/proc/meminfo: memFree=128192964/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=518752 memory=420216 CPUtime=3153.25 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 89998 0 0 0 314529 796 0 0 20 0 1 0 48692716 531202048 105054 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 129688 105054 4512 2842 0 111382 0
Current children cumulated CPU time: 3153.25 s
Current children cumulated vsize: 518752 KiB
Current children cumulated memory: 420216 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 47814
/proc/meminfo: memFree=128204248/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=519264 memory=420728 CPUtime=3213.09 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 90104 0 0 0 320503 806 0 0 20 0 1 0 48692716 531726336 105182 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 129816 105182 4512 2842 0 111510 0
Current children cumulated CPU time: 3213.09 s
Current children cumulated vsize: 519264 KiB
Current children cumulated memory: 420728 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 47816
/proc/meminfo: memFree=128187628/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=519264 memory=420728 CPUtime=3272.94 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 90104 0 0 0 326478 816 0 0 20 0 1 0 48692716 531726336 105182 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 129816 105182 4512 2842 0 111510 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 519264 KiB
Current children cumulated memory: 420728 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 47819
/proc/meminfo: memFree=128175380/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=519264 memory=420728 CPUtime=3332.79 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 90104 0 0 0 332452 827 0 0 20 0 1 0 48692716 531726336 105182 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 129816 105182 4512 2842 0 111510 0
Current children cumulated CPU time: 3332.79 s
Current children cumulated vsize: 519264 KiB
Current children cumulated memory: 420728 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 47822
/proc/meminfo: memFree=128159372/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=519264 memory=420728 CPUtime=3392.64 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 90104 0 0 0 338430 834 0 0 20 0 1 0 48692716 531726336 105182 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 129816 105182 4512 2842 0 111510 0
Current children cumulated CPU time: 3392.64 s
Current children cumulated vsize: 519264 KiB
Current children cumulated memory: 420728 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 47870
/proc/meminfo: memFree=128508124/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=519520 memory=420984 CPUtime=3452.48 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 90171 0 0 0 344402 846 0 0 20 0 1 0 48692716 531988480 105246 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 129880 105246 4512 2842 0 111574 0
Current children cumulated CPU time: 3452.48 s
Current children cumulated vsize: 519520 KiB
Current children cumulated memory: 420984 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 47917
/proc/meminfo: memFree=128823388/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=519776 memory=427448 CPUtime=3512.32 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 90245 0 0 0 350373 859 0 0 20 0 1 0 48692716 532250624 106862 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 129944 106862 4512 2842 0 111638 0
Current children cumulated CPU time: 3512.32 s
Current children cumulated vsize: 519776 KiB
Current children cumulated memory: 427448 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 47919
/proc/meminfo: memFree=128694456/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=521824 memory=428728 CPUtime=3572.17 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 90567 0 0 0 356346 871 0 0 20 0 1 0 48692716 534347776 107182 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 130456 107182 4512 2842 0 112150 0
Current children cumulated CPU time: 3572.17 s
Current children cumulated vsize: 521824 KiB
Current children cumulated memory: 428728 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 47920
/proc/meminfo: memFree=128637364/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=521824 memory=428728 CPUtime=3600.1 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 90637 0 0 0 359133 877 0 0 20 0 1 0 48692716 534347776 107182 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 130456 107182 4512 2842 0 112150 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 521824 KiB
Current children cumulated memory: 428728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 47582 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.33 s, system=8.77452 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 47920
/proc/meminfo: memFree=128637364/131249996 swapFree=33010416/33010684
[pid=47582] ppid=47579 vsize=521824 memory=428728 CPUtime=3600.1 cores=5,7
/proc/47582/stat : 47582 (mixed-bag) R 47579 47582 45645 0 -1 4194304 90637 0 0 0 359133 877 0 0 20 0 1 0 48692716 534347776 107182 18446744073709551615 4235264 15874749 140729443351792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51449856 140729443355036 140729443355113 140729443355113 140729443360715 0
/proc/47582/statm: 130456 107182 4512 2842 0 112150 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 521824 KiB
Current children cumulated memory: 428728 KiB
Child status: 0
Real time (s): 3610.31
CPU time (s): 3600.11
CPU user time (s): 3591.33
CPU system time (s): 8.77452
CPU usage (%): 99.7176
Max. virtual memory (cumulated for all children) (KiB): 521824
Max. memory (cumulated for all children) (KiB): 428728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.34
system time used= 8.77452
maximum resident set size= 429240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90667
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= 231
involuntary context switches= 2467
# summary of solver processes directly reported to runsolver:
# pid: 47582
# total CPU time (s): 3600.11
# total CPU user time (s): 3591.33
# total CPU system time (s): 8.77452
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.97975 second user time and 16.0383 second system time
The end
Begin job on nodeC015 at 2025-07-01 02:35:52
IDJOB=4488761
IDBENCH=147531
IDSOLVER=3340
FILE ID=nodeC015/4488761-1751330152
RUNJOBID= nodeC015-1751326375-45658
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_1.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488761-1751330152/watcher-4488761-1751330152 -o /tmp/evaluation-result-4488761-1751330152/solver-4488761-1751330152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45658 --watchdog 3760 mixed-bag HOME/instance-4488761-1751330152.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f429a5cb74c34761160471c7897bca93
RANDOM SEED=1869540815
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.056
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.102
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.766
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 : 3634.181
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.038
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.068
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 : 3700.000
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 : 3592.481
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: 129066164 kB
MemAvailable: 128789752 kB
Buffers: 2128 kB
Cached: 512364 kB
SwapCached: 24 kB
Active: 1356812 kB
Inactive: 207960 kB
Active(anon): 1048248 kB
Inactive(anon): 20084 kB
Active(file): 308564 kB
Inactive(file): 187876 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15696 kB
Writeback: 0 kB
AnonPages: 1051120 kB
Mapped: 137464 kB
Shmem: 18052 kB
KReclaimable: 132772 kB
Slab: 221988 kB
SReclaimable: 132772 kB
SUnreclaim: 89216 kB
KernelStack: 4272 kB
PageTables: 5380 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1595380 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 503808 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 03:36:03