0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.03 c [STEP] preprocessing with Papilo
0.00/0.04 c [STEP] solving with SCIP
299.25/300.20 c [STEP] preprocessing done, loading into solver
299.25/300.21 c [STEP] solving
299.25/300.21 c #variables 1664 #constraints 3290
299.25/300.21 c SMALL=int, LARGE=long long
299.25/300.21 c bounds - >= 0 @ 299.05
299.25/300.21 c stratification level: 0
299.25/300.26 c bounds - >= 678 @ 299.056
299.25/300.26 c bounds - >= 679 @ 299.057
299.25/300.26 c bounds - >= 680 @ 299.057
299.25/300.26 c bounds - >= 681 @ 299.057
299.25/300.26 c bounds - >= 682 @ 299.057
299.25/300.26 c bounds - >= 683 @ 299.058
299.25/300.26 c bounds - >= 684 @ 299.058
299.25/300.26 c bounds - >= 685 @ 299.058
299.25/300.26 c bounds - >= 686 @ 299.058
299.25/300.26 c bounds - >= 687 @ 299.058
299.25/300.26 c bounds - >= 688 @ 299.059
299.25/300.26 c bounds - >= 689 @ 299.059
299.25/300.26 c bounds - >= 690 @ 299.059
299.25/300.26 c bounds - >= 691 @ 299.059
299.25/300.26 c bounds - >= 692 @ 299.06
299.25/300.26 c bounds - >= 693 @ 299.06
299.25/300.26 c bounds - >= 694 @ 299.06
299.25/300.26 c bounds - >= 695 @ 299.06
299.25/300.26 c bounds - >= 696 @ 299.061
299.25/300.26 c bounds - >= 697 @ 299.061
299.25/300.26 c bounds - >= 698 @ 299.061
299.25/300.26 c bounds - >= 699 @ 299.061
299.25/300.26 c bounds - >= 700 @ 299.062
299.25/300.26 c bounds - >= 701 @ 299.062
299.25/300.26 c bounds - >= 702 @ 299.062
299.25/300.26 c bounds - >= 703 @ 299.062
299.25/300.26 c bounds - >= 704 @ 299.062
299.25/300.26 c bounds - >= 705 @ 299.062
299.25/300.26 c bounds - >= 706 @ 299.062
299.25/300.26 c bounds - >= 707 @ 299.062
299.25/300.26 c bounds - >= 708 @ 299.062
299.25/300.26 c bounds - >= 709 @ 299.063
299.25/300.26 c bounds - >= 710 @ 299.063
299.25/300.26 c bounds - >= 711 @ 299.063
299.25/300.26 c bounds - >= 712 @ 299.063
299.25/300.26 c bounds - >= 713 @ 299.064
299.25/300.26 c bounds - >= 714 @ 299.064
299.25/300.26 c bounds - >= 715 @ 299.064
299.25/300.26 c bounds - >= 716 @ 299.064
299.25/300.26 c bounds - >= 717 @ 299.065
299.25/300.26 c bounds - >= 718 @ 299.065
299.25/300.26 c bounds - >= 719 @ 299.065
299.25/300.26 c bounds - >= 720 @ 299.065
299.25/300.26 c bounds - >= 721 @ 299.066
299.25/300.26 c bounds - >= 722 @ 299.066
299.25/300.26 c bounds - >= 723 @ 299.066
299.25/300.26 c bounds - >= 724 @ 299.066
299.25/300.26 c bounds - >= 725 @ 299.066
299.25/300.26 c bounds - >= 726 @ 299.066
299.25/300.26 c bounds - >= 727 @ 299.066
299.25/300.26 c bounds - >= 728 @ 299.066
299.25/300.26 c bounds - >= 729 @ 299.066
299.25/300.26 c bounds - >= 730 @ 299.066
299.25/300.26 c bounds - >= 731 @ 299.066
299.25/300.26 c bounds - >= 732 @ 299.066
299.25/300.26 c bounds - >= 733 @ 299.066
299.25/300.26 c bounds - >= 734 @ 299.066
299.25/300.26 c bounds - >= 735 @ 299.066
299.25/300.26 c bounds - >= 736 @ 299.066
299.25/300.26 c bounds - >= 737 @ 299.066
299.25/300.26 c bounds - >= 738 @ 299.066
299.25/300.26 c bounds - >= 739 @ 299.066
299.25/300.26 c bounds - >= 740 @ 299.066
299.25/300.26 c bounds - >= 741 @ 299.066
299.25/300.26 c bounds - >= 742 @ 299.066
299.25/300.26 c bounds - >= 743 @ 299.066
299.25/300.26 c bounds - >= 744 @ 299.066
299.25/300.26 c bounds - >= 745 @ 299.067
299.25/300.26 c bounds - >= 746 @ 299.067
299.25/300.26 c bounds - >= 747 @ 299.067
299.25/300.26 c bounds - >= 748 @ 299.067
299.25/300.26 c bounds - >= 749 @ 299.068
299.25/300.26 c bounds - >= 750 @ 299.068
299.25/300.26 c bounds - >= 751 @ 299.068
299.25/300.26 c bounds - >= 752 @ 299.068
299.25/300.26 c bounds - >= 753 @ 299.068
299.25/300.26 c bounds - >= 754 @ 299.068
299.25/300.26 c bounds - >= 755 @ 299.068
299.25/300.26 c bounds - >= 756 @ 299.068
299.25/300.26 c bounds - >= 757 @ 299.069
299.25/300.26 c bounds - >= 758 @ 299.069
299.25/300.26 c bounds - >= 759 @ 299.069
299.25/300.26 c bounds - >= 760 @ 299.07
299.25/300.26 c bounds - >= 761 @ 299.07
299.25/300.26 c bounds - >= 762 @ 299.07
299.25/300.26 c bounds - >= 763 @ 299.07
299.25/300.26 c bounds - >= 764 @ 299.07
299.25/300.26 c bounds - >= 765 @ 299.07
299.25/300.26 c bounds - >= 766 @ 299.07
299.25/300.26 c bounds - >= 767 @ 299.07
299.25/300.26 c bounds - >= 768 @ 299.071
299.25/300.26 c bounds - >= 769 @ 299.071
299.25/300.26 c bounds - >= 770 @ 299.071
299.25/300.26 c bounds - >= 771 @ 299.072
299.25/300.26 c bounds - >= 772 @ 299.072
299.25/300.26 c bounds - >= 773 @ 299.072
299.25/300.26 c bounds - >= 774 @ 299.072
299.25/300.26 c bounds - >= 775 @ 299.073
299.25/300.26 c bounds - >= 776 @ 299.073
299.25/300.26 c bounds - >= 777 @ 299.073
299.25/300.26 c bounds - >= 778 @ 299.074
299.25/300.26 c bounds - >= 779 @ 299.074
299.25/300.26 c bounds - >= 780 @ 299.074
299.25/300.26 c bounds - >= 781 @ 299.074
299.25/300.26 c bounds - >= 782 @ 299.074
299.25/300.26 c bounds - >= 783 @ 299.074
299.25/300.26 c bounds - >= 784 @ 299.074
299.25/300.26 c bounds - >= 785 @ 299.074
299.25/300.26 c bounds - >= 786 @ 299.074
299.25/300.26 c bounds - >= 787 @ 299.074
299.25/300.26 c bounds - >= 788 @ 299.074
299.25/300.26 c bounds - >= 789 @ 299.074
299.25/300.26 c bounds - >= 790 @ 299.074
299.25/300.26 c bounds - >= 791 @ 299.075
299.25/300.26 c bounds - >= 792 @ 299.075
299.25/300.26 c bounds - >= 793 @ 299.075
299.25/300.26 c bounds - >= 794 @ 299.076
299.25/300.26 c bounds - >= 795 @ 299.076
299.25/300.26 c bounds - >= 796 @ 299.076
299.25/300.26 c bounds - >= 797 @ 299.076
299.25/300.26 c bounds - >= 798 @ 299.076
299.25/300.26 c bounds - >= 799 @ 299.076
299.25/300.26 c bounds - >= 800 @ 299.076
299.25/300.26 c bounds - >= 801 @ 299.076
299.25/300.26 c bounds - >= 802 @ 299.076
299.25/300.26 c bounds - >= 803 @ 299.076
299.25/300.26 c bounds - >= 804 @ 299.076
299.25/300.26 c bounds - >= 805 @ 299.076
299.25/300.26 c bounds - >= 806 @ 299.076
299.25/300.26 c bounds - >= 807 @ 299.076
299.25/300.26 c bounds - >= 808 @ 299.077
299.25/300.26 c bounds - >= 809 @ 299.077
299.25/300.26 c bounds - >= 810 @ 299.077
299.25/300.26 c bounds - >= 811 @ 299.077
299.25/300.26 c bounds - >= 812 @ 299.077
299.25/300.26 c bounds - >= 813 @ 299.077
299.25/300.26 c bounds - >= 814 @ 299.077
299.25/300.26 c bounds - >= 815 @ 299.077
299.25/300.26 c bounds - >= 816 @ 299.077
299.25/300.26 c bounds - >= 817 @ 299.077
299.25/300.26 c bounds - >= 818 @ 299.077
299.25/300.26 c bounds - >= 819 @ 299.077
299.25/300.26 c bounds - >= 820 @ 299.077
299.25/300.26 c bounds - >= 821 @ 299.078
299.25/300.26 c bounds - >= 822 @ 299.078
299.25/300.26 c bounds - >= 823 @ 299.079
299.25/300.26 c bounds - >= 824 @ 299.079
351.50/352.64 c bounds - >= 825 @ 299.079
351.50/352.64 c #Conflicts: 1000 | #Constraints: 5262
351.50/352.64 c #Conflicts: 2000 | #Constraints: 6262
351.50/352.64 c INPROCESSING
351.50/352.64 c GARBAGE COLLECT
351.50/352.64 c #Conflicts: 3000 | #Constraints: 6112
351.50/352.64 c #Conflicts: 4000 | #Constraints: 7112
351.50/352.64 c INPROCESSING
351.50/352.64 c GARBAGE COLLECT
351.50/352.64 c #Conflicts: 5000 | #Constraints: 6478
351.50/352.64 c #Conflicts: 6000 | #Constraints: 7478
351.50/352.64 c INPROCESSING
351.50/352.64 c GARBAGE COLLECT
351.50/352.64 c #Conflicts: 7000 | #Constraints: 6467
351.50/352.64 c #Conflicts: 8000 | #Constraints: 7467
351.50/352.64 c #Conflicts: 9000 | #Constraints: 8467
351.50/352.64 c INPROCESSING
351.50/352.64 c GARBAGE COLLECT
351.50/352.64 c #Conflicts: 10000 | #Constraints: 7149
351.50/352.64 c #Conflicts: 11000 | #Constraints: 8149
351.50/352.64 c #Conflicts: 12000 | #Constraints: 9149
351.50/352.64 c INPROCESSING
351.50/352.64 c GARBAGE COLLECT
351.50/352.64 c #Conflicts: 13000 | #Constraints: 7593
351.50/352.64 c #Conflicts: 14000 | #Constraints: 8593
351.50/352.64 c #Conflicts: 15000 | #Constraints: 9593
351.50/352.64 c INPROCESSING
351.50/352.64 c GARBAGE COLLECT
351.50/352.64 c #Conflicts: 16000 | #Constraints: 7818
351.50/352.64 c #Conflicts: 17000 | #Constraints: 8818
351.50/352.64 c #Conflicts: 18000 | #Constraints: 9818
351.50/352.64 c INPROCESSING
351.50/352.64 c GARBAGE COLLECT
351.50/352.64 c #Conflicts: 19000 | #Constraints: 7832
351.50/352.64 c #Conflicts: 20000 | #Constraints: 8832
351.50/352.64 c #Conflicts: 21000 | #Constraints: 9832
351.50/352.64 c INPROCESSING
351.50/352.64 c GARBAGE COLLECT
351.50/352.64 c #Conflicts: 22000 | #Constraints: 7633
351.50/352.64 c #Conflicts: 23000 | #Constraints: 8633
351.50/352.64 c #Conflicts: 24000 | #Constraints: 9633
351.50/352.64 c #Conflicts: 25000 | #Constraints: 10633
351.50/352.64 c INPROCESSING
351.50/352.64 c GARBAGE COLLECT
351.50/352.64 c #Conflicts: 26000 | #Constraints: 8233
351.50/352.64 c #Conflicts: 27000 | #Constraints: 9233
351.50/352.64 c #Conflicts: 28000 | #Constraints: 10233
351.50/352.64 c #Conflicts: 29000 | #Constraints: 11233
351.50/352.64 c INPROCESSING
351.50/352.64 c GARBAGE COLLECT
351.50/352.64 c #Conflicts: 30000 | #Constraints: 8667
351.50/352.64 c #Conflicts: 31000 | #Constraints: 9667
351.50/352.64 c #Conflicts: 32000 | #Constraints: 10667
351.50/352.64 c #Conflicts: 33000 | #Constraints: 11667
351.50/352.64 c INPROCESSING
351.50/352.64 c GARBAGE COLLECT
351.50/352.64 c #Conflicts: 34000 | #Constraints: 8858
351.50/352.64 c #Conflicts: 35000 | #Constraints: 9858
351.50/352.64 c #Conflicts: 36000 | #Constraints: 10858
351.50/352.64 c #Conflicts: 37000 | #Constraints: 11858
351.50/352.64 c INPROCESSING
351.50/352.64 c GARBAGE COLLECT
351.50/352.64 c #Conflicts: 38000 | #Constraints: 8859
351.50/352.64 c #Conflicts: 39000 | #Constraints: 9859
351.50/352.64 c #Conflicts: 40000 | #Constraints: 10859
351.50/352.64 c #Conflicts: 41000 | #Constraints: 11859
351.50/352.64 c INPROCESSING
351.50/352.64 c GARBAGE COLLECT
351.50/352.64 c #Conflicts: 42000 | #Constraints: 8659
351.50/352.64 c #Conflicts: 43000 | #Constraints: 9659
351.50/352.64 c #Conflicts: 44000 | #Constraints: 10659
351.50/352.64 c #Conflicts: 45000 | #Constraints: 11659
351.50/352.64 c #Conflicts: 46000 | #Constraints: 12659
351.50/352.64 c INPROCESSING
351.50/352.64 c GARBAGE COLLECT
351.50/352.64 c #Conflicts: 47000 | #Constraints: 9246
351.50/352.64 c #Conflicts: 48000 | #Constraints: 10246
351.50/352.64 c #Conflicts: 49000 | #Constraints: 11246
351.50/352.64 c #Conflicts: 50000 | #Constraints: 12246
351.50/352.64 c #Conflicts: 51000 | #Constraints: 13246
351.50/352.64 c INPROCESSING
351.50/352.64 c GARBAGE COLLECT
351.50/352.64 c #Conflicts: 52000 | #Constraints: 9648
351.50/352.64 c #Conflicts: 53000 | #Constraints: 10648
351.50/352.64 c #Conflicts: 54000 | #Constraints: 11648
351.50/352.64 c #Conflicts: 55000 | #Constraints: 12648
351.50/352.64 c #Conflicts: 56000 | #Constraints: 13648
351.50/352.64 c INPROCESSING
351.50/352.64 c GARBAGE COLLECT
351.50/352.64 c #Conflicts: 57000 | #Constraints: 9844
351.50/352.64 c #Conflicts: 58000 | #Constraints: 10844
351.50/352.64 c #Conflicts: 59000 | #Constraints: 11844
351.50/352.64 c #Conflicts: 60000 | #Constraints: 12844
351.50/352.64 c #Conflicts: 61000 | #Constraints: 13844
351.50/352.64 c INPROCESSING
351.50/352.64 c GARBAGE COLLECT
351.50/352.64 c #Conflicts: 62000 | #Constraints: 9839
351.50/352.64 c #Conflicts: 63000 | #Constraints: 10839
351.50/352.64 c #Conflicts: 64000 | #Constraints: 11839
351.50/352.64 c #Conflicts: 65000 | #Constraints: 12839
351.50/352.64 c #Conflicts: 66000 | #Constraints: 13839
351.50/352.64 c INPROCESSING
351.50/352.64 c GARBAGE COLLECT
351.50/352.64 c #Conflicts: 67000 | #Constraints: 9632
457.02/458.48 c #Conflicts: 68000 | #Constraints: 10632
457.02/458.48 c #Conflicts: 69000 | #Constraints: 11632
457.02/458.48 c #Conflicts: 70000 | #Constraints: 12632
457.02/458.48 c #Conflicts: 71000 | #Constraints: 13632
457.02/458.48 c #Conflicts: 72000 | #Constraints: 14632
457.02/458.48 c INPROCESSING
457.02/458.48 c GARBAGE COLLECT
457.02/458.48 c #Conflicts: 73000 | #Constraints: 10233
457.02/458.48 c #Conflicts: 74000 | #Constraints: 11233
457.02/458.48 c #Conflicts: 75000 | #Constraints: 12233
457.02/458.48 c #Conflicts: 76000 | #Constraints: 13233
457.02/458.48 c #Conflicts: 77000 | #Constraints: 14233
457.02/458.48 c #Conflicts: 78000 | #Constraints: 15233
457.02/458.48 c INPROCESSING
457.02/458.48 c GARBAGE COLLECT
457.02/458.48 c #Conflicts: 79000 | #Constraints: 10635
457.02/458.48 c #Conflicts: 80000 | #Constraints: 11635
457.02/458.48 c #Conflicts: 81000 | #Constraints: 12635
457.02/458.48 c #Conflicts: 82000 | #Constraints: 13635
457.02/458.48 c #Conflicts: 83000 | #Constraints: 14635
457.02/458.48 c #Conflicts: 84000 | #Constraints: 15635
457.02/458.48 c INPROCESSING
457.02/458.48 c GARBAGE COLLECT
457.02/458.48 c #Conflicts: 85000 | #Constraints: 10842
457.02/458.48 c #Conflicts: 86000 | #Constraints: 11842
457.02/458.48 c #Conflicts: 87000 | #Constraints: 12842
457.02/458.48 c #Conflicts: 88000 | #Constraints: 13842
457.02/458.48 c #Conflicts: 89000 | #Constraints: 14842
457.02/458.48 c #Conflicts: 90000 | #Constraints: 15842
457.02/458.48 c INPROCESSING
457.02/458.48 c GARBAGE COLLECT
457.02/458.48 c #Conflicts: 91000 | #Constraints: 10838
457.02/458.48 c #Conflicts: 92000 | #Constraints: 11838
457.02/458.48 c #Conflicts: 93000 | #Constraints: 12838
457.02/458.48 c #Conflicts: 94000 | #Constraints: 13838
457.02/458.48 c #Conflicts: 95000 | #Constraints: 14838
457.02/458.48 c #Conflicts: 96000 | #Constraints: 15838
457.02/458.48 c INPROCESSING
457.02/458.48 c GARBAGE COLLECT
457.02/458.48 c #Conflicts: 97000 | #Constraints: 10639
457.02/458.48 c #Conflicts: 98000 | #Constraints: 11639
457.02/458.48 c #Conflicts: 99000 | #Constraints: 12639
457.02/458.48 c #Conflicts: 100000 | #Constraints: 13639
457.02/458.48 c #Conflicts: 101000 | #Constraints: 14639
457.02/458.48 c #Conflicts: 102000 | #Constraints: 15639
457.02/458.48 c #Conflicts: 103000 | #Constraints: 16639
457.02/458.48 c INPROCESSING
457.02/458.48 c GARBAGE COLLECT
457.02/458.48 c #Conflicts: 104000 | #Constraints: 11239
457.02/458.48 c #Conflicts: 105000 | #Constraints: 12239
457.02/458.48 c #Conflicts: 106000 | #Constraints: 13239
457.02/458.48 c #Conflicts: 107000 | #Constraints: 14239
457.02/458.48 c #Conflicts: 108000 | #Constraints: 15239
457.02/458.48 c #Conflicts: 109000 | #Constraints: 16239
457.02/458.48 c #Conflicts: 110000 | #Constraints: 17239
457.02/458.48 c INPROCESSING
457.02/458.48 c GARBAGE COLLECT
457.02/458.48 c #Conflicts: 111000 | #Constraints: 11636
457.02/458.48 c #Conflicts: 112000 | #Constraints: 12636
457.02/458.48 c #Conflicts: 113000 | #Constraints: 13636
457.02/458.48 c #Conflicts: 114000 | #Constraints: 14636
457.02/458.48 c #Conflicts: 115000 | #Constraints: 15636
457.02/458.48 c #Conflicts: 116000 | #Constraints: 16636
457.02/458.48 c #Conflicts: 117000 | #Constraints: 17636
457.02/458.48 c INPROCESSING
457.02/458.48 c GARBAGE COLLECT
457.02/458.48 c #Conflicts: 118000 | #Constraints: 11836
457.02/458.48 c #Conflicts: 119000 | #Constraints: 12836
457.02/458.48 c #Conflicts: 120000 | #Constraints: 13836
457.02/458.48 c #Conflicts: 121000 | #Constraints: 14836
457.02/458.48 c #Conflicts: 122000 | #Constraints: 15836
457.02/458.48 c #Conflicts: 123000 | #Constraints: 16836
457.02/458.48 c #Conflicts: 124000 | #Constraints: 17836
457.02/458.48 c INPROCESSING
457.02/458.48 c GARBAGE COLLECT
457.02/458.48 c #Conflicts: 125000 | #Constraints: 11839
457.02/458.48 c #Conflicts: 126000 | #Constraints: 12839
457.02/458.48 c #Conflicts: 127000 | #Constraints: 13839
457.02/458.48 c #Conflicts: 128000 | #Constraints: 14839
457.02/458.48 c #Conflicts: 129000 | #Constraints: 15839
457.02/458.48 c #Conflicts: 130000 | #Constraints: 16839
457.02/458.48 c #Conflicts: 131000 | #Constraints: 17839
457.02/458.48 c INPROCESSING
457.02/458.48 c GARBAGE COLLECT
457.02/458.48 c #Conflicts: 132000 | #Constraints: 11637
457.02/458.48 c #Conflicts: 133000 | #Constraints: 12637
457.02/458.48 c #Conflicts: 134000 | #Constraints: 13637
457.02/458.48 c #Conflicts: 135000 | #Constraints: 14637
457.02/458.48 c #Conflicts: 136000 | #Constraints: 15637
457.02/458.48 c #Conflicts: 137000 | #Constraints: 16637
457.02/458.48 c #Conflicts: 138000 | #Constraints: 17637
457.02/458.48 c #Conflicts: 139000 | #Constraints: 18637
457.02/458.48 c INPROCESSING
559.12/560.81 c GARBAGE COLLECT
559.12/560.81 c #Conflicts: 140000 | #Constraints: 12246
559.12/560.81 c #Conflicts: 141000 | #Constraints: 13246
559.12/560.81 c #Conflicts: 142000 | #Constraints: 14246
559.12/560.81 c #Conflicts: 143000 | #Constraints: 15246
559.12/560.81 c #Conflicts: 144000 | #Constraints: 16246
559.12/560.81 c #Conflicts: 145000 | #Constraints: 17246
559.12/560.81 c #Conflicts: 146000 | #Constraints: 18246
559.12/560.81 c #Conflicts: 147000 | #Constraints: 19246
559.12/560.81 c INPROCESSING
559.12/560.81 c GARBAGE COLLECT
559.12/560.81 c #Conflicts: 148000 | #Constraints: 12650
559.12/560.81 c #Conflicts: 149000 | #Constraints: 13650
559.12/560.81 c #Conflicts: 150000 | #Constraints: 14650
559.12/560.81 c #Conflicts: 151000 | #Constraints: 15650
559.12/560.81 c #Conflicts: 152000 | #Constraints: 16650
559.12/560.81 c #Conflicts: 153000 | #Constraints: 17650
559.12/560.81 c #Conflicts: 154000 | #Constraints: 18650
559.12/560.81 c #Conflicts: 155000 | #Constraints: 19650
559.12/560.81 c INPROCESSING
559.12/560.81 c GARBAGE COLLECT
559.12/560.81 c #Conflicts: 156000 | #Constraints: 12841
559.12/560.81 c #Conflicts: 157000 | #Constraints: 13841
559.12/560.81 c #Conflicts: 158000 | #Constraints: 14841
559.12/560.81 c #Conflicts: 159000 | #Constraints: 15841
559.12/560.81 c #Conflicts: 160000 | #Constraints: 16841
559.12/560.81 c #Conflicts: 161000 | #Constraints: 17841
559.12/560.81 c #Conflicts: 162000 | #Constraints: 18841
559.12/560.81 c #Conflicts: 163000 | #Constraints: 19841
559.12/560.81 c INPROCESSING
559.12/560.81 c GARBAGE COLLECT
559.12/560.81 c #Conflicts: 164000 | #Constraints: 12851
559.12/560.81 c #Conflicts: 165000 | #Constraints: 13851
559.12/560.81 c #Conflicts: 166000 | #Constraints: 14851
559.12/560.81 c #Conflicts: 167000 | #Constraints: 15851
559.12/560.81 c #Conflicts: 168000 | #Constraints: 16851
559.12/560.81 c #Conflicts: 169000 | #Constraints: 17851
559.12/560.81 c #Conflicts: 170000 | #Constraints: 18851
559.12/560.81 c #Conflicts: 171000 | #Constraints: 19851
559.12/560.81 c INPROCESSING
559.12/560.81 c GARBAGE COLLECT
559.12/560.81 c #Conflicts: 172000 | #Constraints: 12650
559.12/560.81 c #Conflicts: 173000 | #Constraints: 13650
559.12/560.81 c #Conflicts: 174000 | #Constraints: 14650
559.12/560.81 c #Conflicts: 175000 | #Constraints: 15650
559.12/560.81 c #Conflicts: 176000 | #Constraints: 16650
559.12/560.81 c #Conflicts: 177000 | #Constraints: 17650
559.12/560.81 c #Conflicts: 178000 | #Constraints: 18650
559.12/560.81 c #Conflicts: 179000 | #Constraints: 19650
559.12/560.81 c #Conflicts: 180000 | #Constraints: 20650
559.12/560.81 c INPROCESSING
559.12/560.81 c GARBAGE COLLECT
559.12/560.81 c #Conflicts: 181000 | #Constraints: 13251
559.12/560.81 c #Conflicts: 182000 | #Constraints: 14251
559.12/560.81 c #Conflicts: 183000 | #Constraints: 15251
559.12/560.81 c #Conflicts: 184000 | #Constraints: 16251
559.12/560.81 c #Conflicts: 185000 | #Constraints: 17251
559.12/560.81 c #Conflicts: 186000 | #Constraints: 18251
559.12/560.81 c #Conflicts: 187000 | #Constraints: 19251
559.12/560.81 c #Conflicts: 188000 | #Constraints: 20251
559.12/560.81 c #Conflicts: 189000 | #Constraints: 21251
559.12/560.81 c INPROCESSING
559.12/560.81 c GARBAGE COLLECT
559.12/560.81 c #Conflicts: 190000 | #Constraints: 13651
559.12/560.81 c #Conflicts: 191000 | #Constraints: 14651
559.12/560.81 c #Conflicts: 192000 | #Constraints: 15651
559.12/560.81 c #Conflicts: 193000 | #Constraints: 16651
559.12/560.81 c #Conflicts: 194000 | #Constraints: 17651
559.12/560.81 c #Conflicts: 195000 | #Constraints: 18651
559.12/560.81 c #Conflicts: 196000 | #Constraints: 19651
559.12/560.81 c #Conflicts: 197000 | #Constraints: 20651
559.12/560.81 c #Conflicts: 198000 | #Constraints: 21651
559.12/560.81 c INPROCESSING
559.12/560.81 c GARBAGE COLLECT
559.12/560.81 c #Conflicts: 199000 | #Constraints: 13854
559.12/560.81 c #Conflicts: 200000 | #Constraints: 14854
559.12/560.81 c #Conflicts: 201000 | #Constraints: 15854
559.12/560.81 c #Conflicts: 202000 | #Constraints: 16854
559.12/560.81 c #Conflicts: 203000 | #Constraints: 17854
559.12/560.81 c #Conflicts: 204000 | #Constraints: 18854
559.12/560.81 c #Conflicts: 205000 | #Constraints: 19854
559.12/560.81 c #Conflicts: 206000 | #Constraints: 20854
559.12/560.81 c #Conflicts: 207000 | #Constraints: 21854
559.12/560.81 c INPROCESSING
559.12/560.81 c GARBAGE COLLECT
559.12/560.81 c #Conflicts: 208000 | #Constraints: 13857
559.12/560.81 c #Conflicts: 209000 | #Constraints: 14857
559.12/560.81 c #Conflicts: 210000 | #Constraints: 15857
559.12/560.81 c #Conflicts: 211000 | #Constraints: 16857
559.12/560.81 c #Conflicts: 212000 | #Constraints: 17857
559.12/560.81 c #Conflicts: 213000 | #Constraints: 18857
730.48/732.72 c #Conflicts: 214000 | #Constraints: 19857
730.48/732.72 c #Conflicts: 215000 | #Constraints: 20857
730.48/732.72 c #Conflicts: 216000 | #Constraints: 21857
730.48/732.72 c INPROCESSING
730.48/732.72 c GARBAGE COLLECT
730.48/732.72 c #Conflicts: 217000 | #Constraints: 13669
730.48/732.72 c #Conflicts: 218000 | #Constraints: 14669
730.48/732.72 c #Conflicts: 219000 | #Constraints: 15669
730.48/732.72 c #Conflicts: 220000 | #Constraints: 16669
730.48/732.72 c #Conflicts: 221000 | #Constraints: 17669
730.48/732.72 c #Conflicts: 222000 | #Constraints: 18669
730.48/732.72 c #Conflicts: 223000 | #Constraints: 19669
730.48/732.72 c #Conflicts: 224000 | #Constraints: 20669
730.48/732.72 c #Conflicts: 225000 | #Constraints: 21669
730.48/732.72 c #Conflicts: 226000 | #Constraints: 22669
730.48/732.72 c INPROCESSING
730.48/732.72 c GARBAGE COLLECT
730.48/732.72 c #Conflicts: 227000 | #Constraints: 14278
730.48/732.72 c #Conflicts: 228000 | #Constraints: 15278
730.48/732.72 c #Conflicts: 229000 | #Constraints: 16278
730.48/732.72 c #Conflicts: 230000 | #Constraints: 17278
730.48/732.72 c #Conflicts: 231000 | #Constraints: 18278
730.48/732.72 c #Conflicts: 232000 | #Constraints: 19278
730.48/732.72 c #Conflicts: 233000 | #Constraints: 20278
730.48/732.72 c #Conflicts: 234000 | #Constraints: 21278
730.48/732.72 c #Conflicts: 235000 | #Constraints: 22278
730.48/732.72 c #Conflicts: 236000 | #Constraints: 23278
730.48/732.72 c INPROCESSING
730.48/732.72 c GARBAGE COLLECT
730.48/732.72 c #Conflicts: 237000 | #Constraints: 14669
730.48/732.72 c #Conflicts: 238000 | #Constraints: 15669
730.48/732.72 c #Conflicts: 239000 | #Constraints: 16669
730.48/732.72 c #Conflicts: 240000 | #Constraints: 17669
730.48/732.72 c #Conflicts: 241000 | #Constraints: 18669
730.48/732.72 c #Conflicts: 242000 | #Constraints: 19669
730.48/732.72 c #Conflicts: 243000 | #Constraints: 20669
730.48/732.72 c #Conflicts: 244000 | #Constraints: 21669
730.48/732.72 c #Conflicts: 245000 | #Constraints: 22669
730.48/732.72 c #Conflicts: 246000 | #Constraints: 23669
730.48/732.72 c INPROCESSING
730.48/732.72 c GARBAGE COLLECT
730.48/732.72 c #Conflicts: 247000 | #Constraints: 14867
730.48/732.72 c #Conflicts: 248000 | #Constraints: 15867
730.48/732.72 c #Conflicts: 249000 | #Constraints: 16867
730.48/732.72 c #Conflicts: 250000 | #Constraints: 17867
730.48/732.72 c #Conflicts: 251000 | #Constraints: 18867
730.48/732.72 c #Conflicts: 252000 | #Constraints: 19867
730.48/732.72 c #Conflicts: 253000 | #Constraints: 20867
730.48/732.72 c #Conflicts: 254000 | #Constraints: 21867
730.48/732.72 c #Conflicts: 255000 | #Constraints: 22867
730.48/732.72 c #Conflicts: 256000 | #Constraints: 23867
730.48/732.72 c INPROCESSING
730.48/732.72 c GARBAGE COLLECT
730.48/732.72 c #Conflicts: 257000 | #Constraints: 14855
730.48/732.72 c #Conflicts: 258000 | #Constraints: 15855
730.48/732.72 c #Conflicts: 259000 | #Constraints: 16855
730.48/732.72 c #Conflicts: 260000 | #Constraints: 17855
730.48/732.72 c #Conflicts: 261000 | #Constraints: 18855
730.48/732.72 c #Conflicts: 262000 | #Constraints: 19855
730.48/732.72 c #Conflicts: 263000 | #Constraints: 20855
730.48/732.72 c #Conflicts: 264000 | #Constraints: 21855
730.48/732.72 c #Conflicts: 265000 | #Constraints: 22855
730.48/732.72 c #Conflicts: 266000 | #Constraints: 23855
730.48/732.72 c INPROCESSING
730.48/732.72 c GARBAGE COLLECT
730.48/732.72 c #Conflicts: 267000 | #Constraints: 14647
730.48/732.72 c #Conflicts: 268000 | #Constraints: 15647
730.48/732.72 c #Conflicts: 269000 | #Constraints: 16647
730.48/732.72 c #Conflicts: 270000 | #Constraints: 17647
730.48/732.72 c #Conflicts: 271000 | #Constraints: 18647
730.48/732.72 c #Conflicts: 272000 | #Constraints: 19647
730.48/732.72 c #Conflicts: 273000 | #Constraints: 20647
730.48/732.72 c #Conflicts: 274000 | #Constraints: 21647
730.48/732.72 c #Conflicts: 275000 | #Constraints: 22647
730.48/732.72 c #Conflicts: 276000 | #Constraints: 23647
730.48/732.72 c #Conflicts: 277000 | #Constraints: 24647
730.48/732.72 c INPROCESSING
730.48/732.72 c GARBAGE COLLECT
730.48/732.72 c #Conflicts: 278000 | #Constraints: 15250
730.48/732.72 c #Conflicts: 279000 | #Constraints: 16250
730.48/732.72 c #Conflicts: 280000 | #Constraints: 17250
730.48/732.72 c #Conflicts: 281000 | #Constraints: 18250
730.48/732.72 c #Conflicts: 282000 | #Constraints: 19250
730.48/732.72 c #Conflicts: 283000 | #Constraints: 20250
730.48/732.72 c #Conflicts: 284000 | #Constraints: 21250
730.48/732.72 c #Conflicts: 285000 | #Constraints: 22250
730.48/732.72 c #Conflicts: 286000 | #Constraints: 23250
730.48/732.72 c #Conflicts: 287000 | #Constraints: 24250
962.67/965.69 c #Conflicts: 288000 | #Constraints: 25250
962.67/965.69 c INPROCESSING
962.67/965.69 c GARBAGE COLLECT
962.67/965.69 c #Conflicts: 289000 | #Constraints: 15653
962.67/965.69 c #Conflicts: 290000 | #Constraints: 16653
962.67/965.69 c #Conflicts: 291000 | #Constraints: 17653
962.67/965.69 c #Conflicts: 292000 | #Constraints: 18653
962.67/965.69 c #Conflicts: 293000 | #Constraints: 19653
962.67/965.69 c #Conflicts: 294000 | #Constraints: 20653
962.67/965.69 c #Conflicts: 295000 | #Constraints: 21653
962.67/965.69 c #Conflicts: 296000 | #Constraints: 22653
962.67/965.69 c #Conflicts: 297000 | #Constraints: 23653
962.67/965.69 c #Conflicts: 298000 | #Constraints: 24653
962.67/965.69 c #Conflicts: 299000 | #Constraints: 25653
962.67/965.69 c INPROCESSING
962.67/965.69 c GARBAGE COLLECT
962.67/965.69 c #Conflicts: 300000 | #Constraints: 15848
962.67/965.69 c #Conflicts: 301000 | #Constraints: 16848
962.67/965.69 c #Conflicts: 302000 | #Constraints: 17848
962.67/965.69 c #Conflicts: 303000 | #Constraints: 18848
962.67/965.69 c #Conflicts: 304000 | #Constraints: 19848
962.67/965.69 c #Conflicts: 305000 | #Constraints: 20848
962.67/965.69 c #Conflicts: 306000 | #Constraints: 21848
962.67/965.69 c #Conflicts: 307000 | #Constraints: 22848
962.67/965.69 c #Conflicts: 308000 | #Constraints: 23848
962.67/965.69 c #Conflicts: 309000 | #Constraints: 24848
962.67/965.69 c #Conflicts: 310000 | #Constraints: 25848
962.67/965.69 c INPROCESSING
962.67/965.69 c GARBAGE COLLECT
962.67/965.69 c #Conflicts: 311000 | #Constraints: 15851
962.67/965.69 c #Conflicts: 312000 | #Constraints: 16851
962.67/965.69 c #Conflicts: 313000 | #Constraints: 17851
962.67/965.69 c #Conflicts: 314000 | #Constraints: 18851
962.67/965.69 c #Conflicts: 315000 | #Constraints: 19851
962.67/965.69 c #Conflicts: 316000 | #Constraints: 20851
962.67/965.69 c #Conflicts: 317000 | #Constraints: 21851
962.67/965.69 c #Conflicts: 318000 | #Constraints: 22851
962.67/965.69 c #Conflicts: 319000 | #Constraints: 23851
962.67/965.69 c #Conflicts: 320000 | #Constraints: 24851
962.67/965.69 c #Conflicts: 321000 | #Constraints: 25851
962.67/965.69 c INPROCESSING
962.67/965.69 c GARBAGE COLLECT
962.67/965.69 c #Conflicts: 322000 | #Constraints: 15669
962.67/965.69 c #Conflicts: 323000 | #Constraints: 16669
962.67/965.69 c #Conflicts: 324000 | #Constraints: 17669
962.67/965.69 c #Conflicts: 325000 | #Constraints: 18669
962.67/965.69 c #Conflicts: 326000 | #Constraints: 19669
962.67/965.69 c #Conflicts: 327000 | #Constraints: 20669
962.67/965.69 c #Conflicts: 328000 | #Constraints: 21669
962.67/965.69 c #Conflicts: 329000 | #Constraints: 22669
962.67/965.69 c #Conflicts: 330000 | #Constraints: 23669
962.67/965.69 c #Conflicts: 331000 | #Constraints: 24669
962.67/965.69 c #Conflicts: 332000 | #Constraints: 25669
962.67/965.69 c #Conflicts: 333000 | #Constraints: 26669
962.67/965.69 c INPROCESSING
962.67/965.69 c GARBAGE COLLECT
962.67/965.69 c #Conflicts: 334000 | #Constraints: 16262
962.67/965.69 c #Conflicts: 335000 | #Constraints: 17262
962.67/965.69 c #Conflicts: 336000 | #Constraints: 18262
962.67/965.69 c #Conflicts: 337000 | #Constraints: 19262
962.67/965.69 c #Conflicts: 338000 | #Constraints: 20262
962.67/965.69 c #Conflicts: 339000 | #Constraints: 21262
962.67/965.69 c #Conflicts: 340000 | #Constraints: 22262
962.67/965.69 c #Conflicts: 341000 | #Constraints: 23262
962.67/965.69 c #Conflicts: 342000 | #Constraints: 24262
962.67/965.69 c #Conflicts: 343000 | #Constraints: 25262
962.67/965.69 c #Conflicts: 344000 | #Constraints: 26262
962.67/965.69 c #Conflicts: 345000 | #Constraints: 27262
962.67/965.69 c INPROCESSING
962.67/965.69 c GARBAGE COLLECT
962.67/965.69 c #Conflicts: 346000 | #Constraints: 16651
962.67/965.69 c #Conflicts: 347000 | #Constraints: 17651
962.67/965.69 c #Conflicts: 348000 | #Constraints: 18651
962.67/965.69 c #Conflicts: 349000 | #Constraints: 19651
962.67/965.69 c #Conflicts: 350000 | #Constraints: 20651
962.67/965.69 c #Conflicts: 351000 | #Constraints: 21651
962.67/965.69 c #Conflicts: 352000 | #Constraints: 22651
962.67/965.69 c #Conflicts: 353000 | #Constraints: 23651
962.67/965.69 c #Conflicts: 354000 | #Constraints: 24651
962.67/965.69 c #Conflicts: 355000 | #Constraints: 25651
962.67/965.69 c #Conflicts: 356000 | #Constraints: 26651
962.67/965.69 c #Conflicts: 357000 | #Constraints: 27651
962.67/965.69 c INPROCESSING
962.67/965.69 c GARBAGE COLLECT
962.67/965.69 c #Conflicts: 358000 | #Constraints: 16849
962.67/965.69 c #Conflicts: 359000 | #Constraints: 17849
962.67/965.69 c #Conflicts: 360000 | #Constraints: 18849
962.67/965.69 c #Conflicts: 361000 | #Constraints: 19849
1250.77/1254.68 c #Conflicts: 362000 | #Constraints: 20849
1250.77/1254.68 c #Conflicts: 363000 | #Constraints: 21849
1250.77/1254.68 c #Conflicts: 364000 | #Constraints: 22849
1250.77/1254.68 c #Conflicts: 365000 | #Constraints: 23849
1250.77/1254.68 c #Conflicts: 366000 | #Constraints: 24849
1250.77/1254.68 c #Conflicts: 367000 | #Constraints: 25849
1250.77/1254.68 c #Conflicts: 368000 | #Constraints: 26849
1250.77/1254.68 c #Conflicts: 369000 | #Constraints: 27849
1250.77/1254.68 c INPROCESSING
1250.77/1254.68 c GARBAGE COLLECT
1250.77/1254.68 c #Conflicts: 370000 | #Constraints: 16853
1250.77/1254.68 c #Conflicts: 371000 | #Constraints: 17853
1250.77/1254.68 c #Conflicts: 372000 | #Constraints: 18853
1250.77/1254.68 c #Conflicts: 373000 | #Constraints: 19853
1250.77/1254.68 c #Conflicts: 374000 | #Constraints: 20853
1250.77/1254.68 c #Conflicts: 375000 | #Constraints: 21853
1250.77/1254.68 c #Conflicts: 376000 | #Constraints: 22853
1250.77/1254.68 c #Conflicts: 377000 | #Constraints: 23853
1250.77/1254.68 c #Conflicts: 378000 | #Constraints: 24853
1250.77/1254.68 c #Conflicts: 379000 | #Constraints: 25853
1250.77/1254.68 c #Conflicts: 380000 | #Constraints: 26853
1250.77/1254.68 c #Conflicts: 381000 | #Constraints: 27853
1250.77/1254.68 c INPROCESSING
1250.77/1254.68 c GARBAGE COLLECT
1250.77/1254.68 c #Conflicts: 382000 | #Constraints: 16652
1250.77/1254.68 c #Conflicts: 383000 | #Constraints: 17652
1250.77/1254.68 c #Conflicts: 384000 | #Constraints: 18652
1250.77/1254.68 c #Conflicts: 385000 | #Constraints: 19652
1250.77/1254.68 c #Conflicts: 386000 | #Constraints: 20652
1250.77/1254.68 c #Conflicts: 387000 | #Constraints: 21652
1250.77/1254.68 c #Conflicts: 388000 | #Constraints: 22652
1250.77/1254.68 c #Conflicts: 389000 | #Constraints: 23652
1250.77/1254.68 c #Conflicts: 390000 | #Constraints: 24652
1250.77/1254.68 c #Conflicts: 391000 | #Constraints: 25652
1250.77/1254.68 c #Conflicts: 392000 | #Constraints: 26652
1250.77/1254.68 c #Conflicts: 393000 | #Constraints: 27652
1250.77/1254.68 c #Conflicts: 394000 | #Constraints: 28652
1250.77/1254.68 c INPROCESSING
1250.77/1254.68 c GARBAGE COLLECT
1250.77/1254.68 c #Conflicts: 395000 | #Constraints: 17245
1250.77/1254.68 c #Conflicts: 396000 | #Constraints: 18245
1250.77/1254.68 c #Conflicts: 397000 | #Constraints: 19245
1250.77/1254.68 c #Conflicts: 398000 | #Constraints: 20245
1250.77/1254.68 c #Conflicts: 399000 | #Constraints: 21245
1250.77/1254.68 c #Conflicts: 400000 | #Constraints: 22245
1250.77/1254.68 c #Conflicts: 401000 | #Constraints: 23245
1250.77/1254.68 c #Conflicts: 402000 | #Constraints: 24245
1250.77/1254.68 c #Conflicts: 403000 | #Constraints: 25245
1250.77/1254.68 c #Conflicts: 404000 | #Constraints: 26245
1250.77/1254.68 c #Conflicts: 405000 | #Constraints: 27245
1250.77/1254.68 c #Conflicts: 406000 | #Constraints: 28245
1250.77/1254.68 c #Conflicts: 407000 | #Constraints: 29245
1250.77/1254.68 c INPROCESSING
1250.77/1254.68 c GARBAGE COLLECT
1250.77/1254.68 c #Conflicts: 408000 | #Constraints: 17644
1250.77/1254.68 c #Conflicts: 409000 | #Constraints: 18644
1250.77/1254.68 c #Conflicts: 410000 | #Constraints: 19644
1250.77/1254.68 c #Conflicts: 411000 | #Constraints: 20644
1250.77/1254.68 c #Conflicts: 412000 | #Constraints: 21644
1250.77/1254.68 c #Conflicts: 413000 | #Constraints: 22644
1250.77/1254.68 c #Conflicts: 414000 | #Constraints: 23644
1250.77/1254.68 c #Conflicts: 415000 | #Constraints: 24644
1250.77/1254.68 c #Conflicts: 416000 | #Constraints: 25644
1250.77/1254.68 c #Conflicts: 417000 | #Constraints: 26644
1250.77/1254.68 c #Conflicts: 418000 | #Constraints: 27644
1250.77/1254.68 c #Conflicts: 419000 | #Constraints: 28644
1250.77/1254.68 c #Conflicts: 420000 | #Constraints: 29644
1250.77/1254.68 c INPROCESSING
1250.77/1254.68 c GARBAGE COLLECT
1250.77/1254.68 c #Conflicts: 421000 | #Constraints: 17850
1250.77/1254.68 c #Conflicts: 422000 | #Constraints: 18850
1250.77/1254.68 c #Conflicts: 423000 | #Constraints: 19850
1250.77/1254.68 c #Conflicts: 424000 | #Constraints: 20850
1250.77/1254.68 c #Conflicts: 425000 | #Constraints: 21850
1250.77/1254.68 c #Conflicts: 426000 | #Constraints: 22850
1250.77/1254.68 c #Conflicts: 427000 | #Constraints: 23850
1250.77/1254.68 c #Conflicts: 428000 | #Constraints: 24850
1250.77/1254.68 c #Conflicts: 429000 | #Constraints: 25850
1250.77/1254.68 c #Conflicts: 430000 | #Constraints: 26850
1250.77/1254.68 c #Conflicts: 431000 | #Constraints: 27850
1250.77/1254.68 c #Conflicts: 432000 | #Constraints: 28850
1250.77/1254.68 c #Conflicts: 433000 | #Constraints: 29850
1250.77/1254.68 c INPROCESSING
1250.77/1254.68 c GARBAGE COLLECT
1250.77/1254.68 c #Conflicts: 434000 | #Constraints: 17851
1250.77/1254.68 c #Conflicts: 435000 | #Constraints: 18851
1250.77/1254.68 c #Conflicts: 436000 | #Constraints: 19851
1534.48/1539.28 c #Conflicts: 437000 | #Constraints: 20851
1534.48/1539.28 c #Conflicts: 438000 | #Constraints: 21851
1534.48/1539.28 c #Conflicts: 439000 | #Constraints: 22851
1534.48/1539.28 c #Conflicts: 440000 | #Constraints: 23851
1534.48/1539.28 c #Conflicts: 441000 | #Constraints: 24851
1534.48/1539.28 c #Conflicts: 442000 | #Constraints: 25851
1534.48/1539.28 c #Conflicts: 443000 | #Constraints: 26851
1534.48/1539.28 c #Conflicts: 444000 | #Constraints: 27851
1534.48/1539.28 c #Conflicts: 445000 | #Constraints: 28851
1534.48/1539.28 c #Conflicts: 446000 | #Constraints: 29851
1534.48/1539.28 c INPROCESSING
1534.48/1539.28 c GARBAGE COLLECT
1534.48/1539.28 c #Conflicts: 447000 | #Constraints: 17661
1534.48/1539.28 c #Conflicts: 448000 | #Constraints: 18661
1534.48/1539.28 c #Conflicts: 449000 | #Constraints: 19661
1534.48/1539.28 c #Conflicts: 450000 | #Constraints: 20661
1534.48/1539.28 c #Conflicts: 451000 | #Constraints: 21661
1534.48/1539.28 c #Conflicts: 452000 | #Constraints: 22661
1534.48/1539.28 c #Conflicts: 453000 | #Constraints: 23661
1534.48/1539.28 c #Conflicts: 454000 | #Constraints: 24661
1534.48/1539.28 c #Conflicts: 455000 | #Constraints: 25661
1534.48/1539.28 c #Conflicts: 456000 | #Constraints: 26661
1534.48/1539.28 c #Conflicts: 457000 | #Constraints: 27661
1534.48/1539.28 c #Conflicts: 458000 | #Constraints: 28661
1534.48/1539.28 c #Conflicts: 459000 | #Constraints: 29661
1534.48/1539.28 c #Conflicts: 460000 | #Constraints: 30661
1534.48/1539.28 c INPROCESSING
1534.48/1539.28 c GARBAGE COLLECT
1534.48/1539.28 c #Conflicts: 461000 | #Constraints: 18258
1534.48/1539.28 c #Conflicts: 462000 | #Constraints: 19258
1534.48/1539.28 c #Conflicts: 463000 | #Constraints: 20258
1534.48/1539.28 c #Conflicts: 464000 | #Constraints: 21258
1534.48/1539.28 c #Conflicts: 465000 | #Constraints: 22258
1534.48/1539.28 c #Conflicts: 466000 | #Constraints: 23258
1534.48/1539.28 c #Conflicts: 467000 | #Constraints: 24258
1534.48/1539.28 c #Conflicts: 468000 | #Constraints: 25258
1534.48/1539.28 c #Conflicts: 469000 | #Constraints: 26258
1534.48/1539.28 c #Conflicts: 470000 | #Constraints: 27258
1534.48/1539.28 c #Conflicts: 471000 | #Constraints: 28258
1534.48/1539.28 c #Conflicts: 472000 | #Constraints: 29258
1534.48/1539.28 c #Conflicts: 473000 | #Constraints: 30258
1534.48/1539.28 c #Conflicts: 474000 | #Constraints: 31258
1534.48/1539.28 c INPROCESSING
1534.48/1539.28 c GARBAGE COLLECT
1534.48/1539.28 c #Conflicts: 475000 | #Constraints: 18658
1534.48/1539.28 c #Conflicts: 476000 | #Constraints: 19658
1534.48/1539.28 c #Conflicts: 477000 | #Constraints: 20658
1534.48/1539.28 c #Conflicts: 478000 | #Constraints: 21658
1534.48/1539.28 c #Conflicts: 479000 | #Constraints: 22658
1534.48/1539.28 c #Conflicts: 480000 | #Constraints: 23658
1534.48/1539.28 c #Conflicts: 481000 | #Constraints: 24658
1534.48/1539.28 c #Conflicts: 482000 | #Constraints: 25658
1534.48/1539.28 c #Conflicts: 483000 | #Constraints: 26658
1534.48/1539.28 c #Conflicts: 484000 | #Constraints: 27658
1534.48/1539.28 c #Conflicts: 485000 | #Constraints: 28658
1534.48/1539.28 c #Conflicts: 486000 | #Constraints: 29658
1534.48/1539.28 c #Conflicts: 487000 | #Constraints: 30658
1534.48/1539.28 c #Conflicts: 488000 | #Constraints: 31658
1534.48/1539.28 c INPROCESSING
1534.48/1539.28 c GARBAGE COLLECT
1534.48/1539.28 c #Conflicts: 489000 | #Constraints: 18863
1534.48/1539.28 c #Conflicts: 490000 | #Constraints: 19863
1534.48/1539.28 c #Conflicts: 491000 | #Constraints: 20863
1534.48/1539.28 c #Conflicts: 492000 | #Constraints: 21863
1534.48/1539.28 c #Conflicts: 493000 | #Constraints: 22863
1534.48/1539.28 c #Conflicts: 494000 | #Constraints: 23863
1534.48/1539.28 c #Conflicts: 495000 | #Constraints: 24863
1534.48/1539.28 c #Conflicts: 496000 | #Constraints: 25863
1534.48/1539.28 c #Conflicts: 497000 | #Constraints: 26863
1534.48/1539.28 c #Conflicts: 498000 | #Constraints: 27863
1534.48/1539.28 c #Conflicts: 499000 | #Constraints: 28863
1534.48/1539.28 c #Conflicts: 500000 | #Constraints: 29863
1534.48/1539.28 c #Conflicts: 501000 | #Constraints: 30863
1534.48/1539.28 c #Conflicts: 502000 | #Constraints: 31863
1534.48/1539.28 c INPROCESSING
1534.48/1539.28 c GARBAGE COLLECT
1534.48/1539.28 c #Conflicts: 503000 | #Constraints: 18867
1534.48/1539.28 c #Conflicts: 504000 | #Constraints: 19867
1534.48/1539.28 c #Conflicts: 505000 | #Constraints: 20867
1534.48/1539.28 c #Conflicts: 506000 | #Constraints: 21867
1534.48/1539.28 c #Conflicts: 507000 | #Constraints: 22867
1534.48/1539.28 c #Conflicts: 508000 | #Constraints: 23867
1534.48/1539.28 c #Conflicts: 509000 | #Constraints: 24867
1534.48/1539.28 c #Conflicts: 510000 | #Constraints: 25867
1534.48/1539.28 c #Conflicts: 511000 | #Constraints: 26867
1534.48/1539.28 c #Conflicts: 512000 | #Constraints: 27867
1852.81/1858.41 c #Conflicts: 513000 | #Constraints: 28867
1852.81/1858.41 c #Conflicts: 514000 | #Constraints: 29867
1852.81/1858.41 c #Conflicts: 515000 | #Constraints: 30867
1852.81/1858.41 c #Conflicts: 516000 | #Constraints: 31867
1852.81/1858.41 c INPROCESSING
1852.81/1858.41 c GARBAGE COLLECT
1852.81/1858.41 c #Conflicts: 517000 | #Constraints: 18656
1852.81/1858.41 c #Conflicts: 518000 | #Constraints: 19656
1852.81/1858.41 c #Conflicts: 519000 | #Constraints: 20656
1852.81/1858.41 c #Conflicts: 520000 | #Constraints: 21656
1852.81/1858.41 c #Conflicts: 521000 | #Constraints: 22656
1852.81/1858.41 c #Conflicts: 522000 | #Constraints: 23656
1852.81/1858.41 c #Conflicts: 523000 | #Constraints: 24656
1852.81/1858.41 c #Conflicts: 524000 | #Constraints: 25656
1852.81/1858.41 c #Conflicts: 525000 | #Constraints: 26656
1852.81/1858.41 c #Conflicts: 526000 | #Constraints: 27656
1852.81/1858.41 c #Conflicts: 527000 | #Constraints: 28656
1852.81/1858.41 c #Conflicts: 528000 | #Constraints: 29656
1852.81/1858.41 c #Conflicts: 529000 | #Constraints: 30656
1852.81/1858.41 c #Conflicts: 530000 | #Constraints: 31656
1852.81/1858.41 c #Conflicts: 531000 | #Constraints: 32656
1852.81/1858.41 c INPROCESSING
1852.81/1858.41 c GARBAGE COLLECT
1852.81/1858.41 c #Conflicts: 532000 | #Constraints: 19256
1852.81/1858.41 c #Conflicts: 533000 | #Constraints: 20256
1852.81/1858.41 c #Conflicts: 534000 | #Constraints: 21256
1852.81/1858.41 c #Conflicts: 535000 | #Constraints: 22256
1852.81/1858.41 c #Conflicts: 536000 | #Constraints: 23256
1852.81/1858.41 c #Conflicts: 537000 | #Constraints: 24256
1852.81/1858.41 c #Conflicts: 538000 | #Constraints: 25256
1852.81/1858.41 c #Conflicts: 539000 | #Constraints: 26256
1852.81/1858.41 c #Conflicts: 540000 | #Constraints: 27256
1852.81/1858.41 c #Conflicts: 541000 | #Constraints: 28256
1852.81/1858.41 c #Conflicts: 542000 | #Constraints: 29256
1852.81/1858.41 c #Conflicts: 543000 | #Constraints: 30256
1852.81/1858.41 c #Conflicts: 544000 | #Constraints: 31256
1852.81/1858.41 c #Conflicts: 545000 | #Constraints: 32256
1852.81/1858.41 c #Conflicts: 546000 | #Constraints: 33256
1852.81/1858.41 c INPROCESSING
1852.81/1858.41 c GARBAGE COLLECT
1852.81/1858.41 c #Conflicts: 547000 | #Constraints: 19649
1852.81/1858.41 c #Conflicts: 548000 | #Constraints: 20649
1852.81/1858.41 c #Conflicts: 549000 | #Constraints: 21649
1852.81/1858.41 c #Conflicts: 550000 | #Constraints: 22649
1852.81/1858.41 c #Conflicts: 551000 | #Constraints: 23649
1852.81/1858.41 c #Conflicts: 552000 | #Constraints: 24649
1852.81/1858.41 c #Conflicts: 553000 | #Constraints: 25649
1852.81/1858.41 c #Conflicts: 554000 | #Constraints: 26649
1852.81/1858.41 c #Conflicts: 555000 | #Constraints: 27649
1852.81/1858.41 c #Conflicts: 556000 | #Constraints: 28649
1852.81/1858.41 c #Conflicts: 557000 | #Constraints: 29649
1852.81/1858.41 c #Conflicts: 558000 | #Constraints: 30649
1852.81/1858.41 c #Conflicts: 559000 | #Constraints: 31649
1852.81/1858.41 c #Conflicts: 560000 | #Constraints: 32649
1852.81/1858.41 c #Conflicts: 561000 | #Constraints: 33649
1852.81/1858.41 c INPROCESSING
1852.81/1858.41 c GARBAGE COLLECT
1852.81/1858.41 c #Conflicts: 562000 | #Constraints: 19842
1852.81/1858.41 c #Conflicts: 563000 | #Constraints: 20842
1852.81/1858.41 c #Conflicts: 564000 | #Constraints: 21842
1852.81/1858.41 c #Conflicts: 565000 | #Constraints: 22842
1852.81/1858.41 c #Conflicts: 566000 | #Constraints: 23842
1852.81/1858.41 c #Conflicts: 567000 | #Constraints: 24842
1852.81/1858.41 c #Conflicts: 568000 | #Constraints: 25842
1852.81/1858.41 c #Conflicts: 569000 | #Constraints: 26842
1852.81/1858.41 c #Conflicts: 570000 | #Constraints: 27842
1852.81/1858.41 c #Conflicts: 571000 | #Constraints: 28842
1852.81/1858.41 c #Conflicts: 572000 | #Constraints: 29842
1852.81/1858.41 c #Conflicts: 573000 | #Constraints: 30842
1852.81/1858.41 c #Conflicts: 574000 | #Constraints: 31842
1852.81/1858.41 c #Conflicts: 575000 | #Constraints: 32842
1852.81/1858.41 c #Conflicts: 576000 | #Constraints: 33842
1852.81/1858.41 c INPROCESSING
1852.81/1858.41 c GARBAGE COLLECT
1852.81/1858.41 c #Conflicts: 577000 | #Constraints: 19851
1852.81/1858.41 c #Conflicts: 578000 | #Constraints: 20851
1852.81/1858.41 c #Conflicts: 579000 | #Constraints: 21851
1852.81/1858.41 c #Conflicts: 580000 | #Constraints: 22851
1852.81/1858.41 c #Conflicts: 581000 | #Constraints: 23851
1852.81/1858.41 c #Conflicts: 582000 | #Constraints: 24851
1852.81/1858.41 c #Conflicts: 583000 | #Constraints: 25851
1852.81/1858.41 c #Conflicts: 584000 | #Constraints: 26851
1852.81/1858.41 c #Conflicts: 585000 | #Constraints: 27851
1852.81/1858.41 c #Conflicts: 586000 | #Constraints: 28851
1852.81/1858.41 c #Conflicts: 587000 | #Constraints: 29851
2142.58/2148.91 c #Conflicts: 588000 | #Constraints: 30851
2142.58/2148.91 c #Conflicts: 589000 | #Constraints: 31851
2142.58/2148.91 c #Conflicts: 590000 | #Constraints: 32851
2142.58/2148.91 c #Conflicts: 591000 | #Constraints: 33851
2142.58/2148.91 c INPROCESSING
2142.58/2148.91 c GARBAGE COLLECT
2142.58/2148.91 c #Conflicts: 592000 | #Constraints: 19643
2142.58/2148.91 c #Conflicts: 593000 | #Constraints: 20643
2142.58/2148.91 c #Conflicts: 594000 | #Constraints: 21643
2142.58/2148.91 c #Conflicts: 595000 | #Constraints: 22643
2142.58/2148.91 c #Conflicts: 596000 | #Constraints: 23643
2142.58/2148.91 c #Conflicts: 597000 | #Constraints: 24643
2142.58/2148.91 c #Conflicts: 598000 | #Constraints: 25643
2142.58/2148.91 c #Conflicts: 599000 | #Constraints: 26643
2142.58/2148.91 c #Conflicts: 600000 | #Constraints: 27643
2142.58/2148.91 c #Conflicts: 601000 | #Constraints: 28643
2142.58/2148.91 c #Conflicts: 602000 | #Constraints: 29643
2142.58/2148.91 c #Conflicts: 603000 | #Constraints: 30643
2142.58/2148.91 c #Conflicts: 604000 | #Constraints: 31643
2142.58/2148.91 c #Conflicts: 605000 | #Constraints: 32643
2142.58/2148.91 c #Conflicts: 606000 | #Constraints: 33643
2142.58/2148.91 c #Conflicts: 607000 | #Constraints: 34643
2142.58/2148.91 c INPROCESSING
2142.58/2148.91 c GARBAGE COLLECT
2142.58/2148.91 c #Conflicts: 608000 | #Constraints: 20246
2142.58/2148.91 c #Conflicts: 609000 | #Constraints: 21246
2142.58/2148.91 c #Conflicts: 610000 | #Constraints: 22246
2142.58/2148.91 c #Conflicts: 611000 | #Constraints: 23246
2142.58/2148.91 c #Conflicts: 612000 | #Constraints: 24246
2142.58/2148.91 c #Conflicts: 613000 | #Constraints: 25246
2142.58/2148.91 c #Conflicts: 614000 | #Constraints: 26246
2142.58/2148.91 c #Conflicts: 615000 | #Constraints: 27246
2142.58/2148.91 c #Conflicts: 616000 | #Constraints: 28246
2142.58/2148.91 c #Conflicts: 617000 | #Constraints: 29246
2142.58/2148.91 c #Conflicts: 618000 | #Constraints: 30246
2142.58/2148.91 c #Conflicts: 619000 | #Constraints: 31246
2142.58/2148.91 c #Conflicts: 620000 | #Constraints: 32246
2142.58/2148.91 c #Conflicts: 621000 | #Constraints: 33246
2142.58/2148.91 c #Conflicts: 622000 | #Constraints: 34246
2142.58/2148.91 c #Conflicts: 623000 | #Constraints: 35246
2142.58/2148.91 c INPROCESSING
2142.58/2148.91 c GARBAGE COLLECT
2142.58/2148.91 c #Conflicts: 624000 | #Constraints: 20644
2142.58/2148.91 c #Conflicts: 625000 | #Constraints: 21644
2142.58/2148.91 c #Conflicts: 626000 | #Constraints: 22644
2142.58/2148.91 c #Conflicts: 627000 | #Constraints: 23644
2142.58/2148.91 c #Conflicts: 628000 | #Constraints: 24644
2142.58/2148.91 c #Conflicts: 629000 | #Constraints: 25644
2142.58/2148.91 c #Conflicts: 630000 | #Constraints: 26644
2142.58/2148.91 c #Conflicts: 631000 | #Constraints: 27644
2142.58/2148.91 c #Conflicts: 632000 | #Constraints: 28644
2142.58/2148.91 c #Conflicts: 633000 | #Constraints: 29644
2142.58/2148.91 c #Conflicts: 634000 | #Constraints: 30644
2142.58/2148.91 c #Conflicts: 635000 | #Constraints: 31644
2142.58/2148.91 c #Conflicts: 636000 | #Constraints: 32644
2142.58/2148.91 c #Conflicts: 637000 | #Constraints: 33644
2142.58/2148.91 c #Conflicts: 638000 | #Constraints: 34644
2142.58/2148.91 c #Conflicts: 639000 | #Constraints: 35644
2142.58/2148.91 c INPROCESSING
2142.58/2148.91 c GARBAGE COLLECT
2142.58/2148.91 c #Conflicts: 640000 | #Constraints: 20840
2142.58/2148.91 c #Conflicts: 641000 | #Constraints: 21840
2142.58/2148.91 c #Conflicts: 642000 | #Constraints: 22840
2142.58/2148.91 c #Conflicts: 643000 | #Constraints: 23840
2142.58/2148.91 c #Conflicts: 644000 | #Constraints: 24840
2142.58/2148.91 c #Conflicts: 645000 | #Constraints: 25840
2142.58/2148.91 c #Conflicts: 646000 | #Constraints: 26840
2142.58/2148.91 c #Conflicts: 647000 | #Constraints: 27840
2142.58/2148.91 c #Conflicts: 648000 | #Constraints: 28840
2142.58/2148.91 c #Conflicts: 649000 | #Constraints: 29840
2142.58/2148.91 c #Conflicts: 650000 | #Constraints: 30840
2142.58/2148.91 c #Conflicts: 651000 | #Constraints: 31840
2142.58/2148.91 c #Conflicts: 652000 | #Constraints: 32840
2142.58/2148.91 c #Conflicts: 653000 | #Constraints: 33840
2142.58/2148.91 c #Conflicts: 654000 | #Constraints: 34840
2142.58/2148.91 c #Conflicts: 655000 | #Constraints: 35840
2142.58/2148.91 c INPROCESSING
2142.58/2148.91 c GARBAGE COLLECT
2142.58/2148.91 c #Conflicts: 656000 | #Constraints: 20842
2142.58/2148.91 c #Conflicts: 657000 | #Constraints: 21842
2142.58/2148.91 c #Conflicts: 658000 | #Constraints: 22842
2142.58/2148.91 c #Conflicts: 659000 | #Constraints: 23842
2142.58/2148.91 c #Conflicts: 660000 | #Constraints: 24842
2142.58/2148.91 c #Conflicts: 661000 | #Constraints: 25842
2142.58/2148.91 c #Conflicts: 662000 | #Constraints: 26842
2142.58/2148.91 c #Conflicts: 663000 | #Constraints: 27842
2432.24/2439.30 c #Conflicts: 664000 | #Constraints: 28842
2432.24/2439.30 c #Conflicts: 665000 | #Constraints: 29842
2432.24/2439.30 c #Conflicts: 666000 | #Constraints: 30842
2432.24/2439.30 c #Conflicts: 667000 | #Constraints: 31842
2432.24/2439.30 c #Conflicts: 668000 | #Constraints: 32842
2432.24/2439.30 c #Conflicts: 669000 | #Constraints: 33842
2432.24/2439.30 c #Conflicts: 670000 | #Constraints: 34842
2432.24/2439.30 c #Conflicts: 671000 | #Constraints: 35842
2432.24/2439.30 c INPROCESSING
2432.24/2439.30 c GARBAGE COLLECT
2432.24/2439.30 c #Conflicts: 672000 | #Constraints: 20639
2432.24/2439.30 c #Conflicts: 673000 | #Constraints: 21639
2432.24/2439.30 c #Conflicts: 674000 | #Constraints: 22639
2432.24/2439.30 c #Conflicts: 675000 | #Constraints: 23639
2432.24/2439.30 c #Conflicts: 676000 | #Constraints: 24639
2432.24/2439.30 c #Conflicts: 677000 | #Constraints: 25639
2432.24/2439.30 c #Conflicts: 678000 | #Constraints: 26639
2432.24/2439.30 c #Conflicts: 679000 | #Constraints: 27639
2432.24/2439.30 c #Conflicts: 680000 | #Constraints: 28639
2432.24/2439.30 c #Conflicts: 681000 | #Constraints: 29639
2432.24/2439.30 c #Conflicts: 682000 | #Constraints: 30639
2432.24/2439.31 c #Conflicts: 683000 | #Constraints: 31639
2432.24/2439.31 c #Conflicts: 684000 | #Constraints: 32639
2432.24/2439.31 c #Conflicts: 685000 | #Constraints: 33639
2432.24/2439.31 c #Conflicts: 686000 | #Constraints: 34639
2432.24/2439.31 c #Conflicts: 687000 | #Constraints: 35639
2432.24/2439.31 c #Conflicts: 688000 | #Constraints: 36639
2432.24/2439.31 c INPROCESSING
2432.24/2439.31 c GARBAGE COLLECT
2432.24/2439.31 c #Conflicts: 689000 | #Constraints: 21229
2432.24/2439.31 c #Conflicts: 690000 | #Constraints: 22229
2432.24/2439.31 c #Conflicts: 691000 | #Constraints: 23229
2432.24/2439.31 c #Conflicts: 692000 | #Constraints: 24229
2432.24/2439.31 c #Conflicts: 693000 | #Constraints: 25229
2432.24/2439.31 c #Conflicts: 694000 | #Constraints: 26229
2432.24/2439.31 c #Conflicts: 695000 | #Constraints: 27229
2432.24/2439.31 c #Conflicts: 696000 | #Constraints: 28229
2432.24/2439.31 c #Conflicts: 697000 | #Constraints: 29229
2432.24/2439.31 c #Conflicts: 698000 | #Constraints: 30229
2432.24/2439.31 c #Conflicts: 699000 | #Constraints: 31229
2432.24/2439.31 c #Conflicts: 700000 | #Constraints: 32229
2432.24/2439.31 c #Conflicts: 701000 | #Constraints: 33229
2432.24/2439.31 c #Conflicts: 702000 | #Constraints: 34229
2432.24/2439.31 c #Conflicts: 703000 | #Constraints: 35229
2432.24/2439.31 c #Conflicts: 704000 | #Constraints: 36229
2432.24/2439.31 c #Conflicts: 705000 | #Constraints: 37229
2432.24/2439.31 c INPROCESSING
2432.24/2439.31 c GARBAGE COLLECT
2432.24/2439.31 c #Conflicts: 706000 | #Constraints: 21638
2432.24/2439.31 c #Conflicts: 707000 | #Constraints: 22638
2432.24/2439.31 c #Conflicts: 708000 | #Constraints: 23638
2432.24/2439.31 c #Conflicts: 709000 | #Constraints: 24638
2432.24/2439.31 c #Conflicts: 710000 | #Constraints: 25638
2432.24/2439.31 c #Conflicts: 711000 | #Constraints: 26638
2432.24/2439.31 c #Conflicts: 712000 | #Constraints: 27638
2432.24/2439.31 c #Conflicts: 713000 | #Constraints: 28638
2432.24/2439.31 c #Conflicts: 714000 | #Constraints: 29638
2432.24/2439.31 c #Conflicts: 715000 | #Constraints: 30638
2432.24/2439.31 c #Conflicts: 716000 | #Constraints: 31638
2432.24/2439.31 c #Conflicts: 717000 | #Constraints: 32638
2432.24/2439.31 c #Conflicts: 718000 | #Constraints: 33638
2432.24/2439.31 c #Conflicts: 719000 | #Constraints: 34638
2432.24/2439.31 c #Conflicts: 720000 | #Constraints: 35638
2432.24/2439.31 c #Conflicts: 721000 | #Constraints: 36638
2432.24/2439.31 c #Conflicts: 722000 | #Constraints: 37638
2432.24/2439.31 c INPROCESSING
2432.24/2439.31 c GARBAGE COLLECT
2432.24/2439.31 c #Conflicts: 723000 | #Constraints: 21842
2432.24/2439.31 c #Conflicts: 724000 | #Constraints: 22842
2432.24/2439.31 c #Conflicts: 725000 | #Constraints: 23842
2432.24/2439.31 c #Conflicts: 726000 | #Constraints: 24842
2432.24/2439.31 c #Conflicts: 727000 | #Constraints: 25842
2432.24/2439.31 c #Conflicts: 728000 | #Constraints: 26842
2432.24/2439.31 c #Conflicts: 729000 | #Constraints: 27842
2432.24/2439.31 c #Conflicts: 730000 | #Constraints: 28842
2432.24/2439.31 c #Conflicts: 731000 | #Constraints: 29842
2432.24/2439.31 c #Conflicts: 732000 | #Constraints: 30842
2432.24/2439.31 c #Conflicts: 733000 | #Constraints: 31842
2432.24/2439.31 c #Conflicts: 734000 | #Constraints: 32842
2432.24/2439.31 c #Conflicts: 735000 | #Constraints: 33842
2432.24/2439.31 c #Conflicts: 736000 | #Constraints: 34842
2432.24/2439.31 c #Conflicts: 737000 | #Constraints: 35842
2432.24/2439.31 c #Conflicts: 738000 | #Constraints: 36842
2432.24/2439.31 c #Conflicts: 739000 | #Constraints: 37842
2784.03/2792.01 c INPROCESSING
2784.03/2792.01 c GARBAGE COLLECT
2784.03/2792.01 c #Conflicts: 740000 | #Constraints: 21850
2784.03/2792.01 c #Conflicts: 741000 | #Constraints: 22850
2784.03/2792.01 c #Conflicts: 742000 | #Constraints: 23850
2784.03/2792.01 c #Conflicts: 743000 | #Constraints: 24850
2784.03/2792.01 c #Conflicts: 744000 | #Constraints: 25850
2784.03/2792.01 c #Conflicts: 745000 | #Constraints: 26850
2784.03/2792.01 c #Conflicts: 746000 | #Constraints: 27850
2784.03/2792.01 c #Conflicts: 747000 | #Constraints: 28850
2784.03/2792.01 c #Conflicts: 748000 | #Constraints: 29850
2784.03/2792.01 c #Conflicts: 749000 | #Constraints: 30850
2784.03/2792.01 c #Conflicts: 750000 | #Constraints: 31850
2784.03/2792.01 c #Conflicts: 751000 | #Constraints: 32850
2784.03/2792.01 c #Conflicts: 752000 | #Constraints: 33850
2784.03/2792.01 c #Conflicts: 753000 | #Constraints: 34850
2784.03/2792.01 c #Conflicts: 754000 | #Constraints: 35850
2784.03/2792.01 c #Conflicts: 755000 | #Constraints: 36850
2784.03/2792.01 c #Conflicts: 756000 | #Constraints: 37850
2784.03/2792.01 c INPROCESSING
2784.03/2792.01 c GARBAGE COLLECT
2784.03/2792.01 c #Conflicts: 757000 | #Constraints: 21643
2784.03/2792.01 c #Conflicts: 758000 | #Constraints: 22643
2784.03/2792.01 c #Conflicts: 759000 | #Constraints: 23643
2784.03/2792.01 c #Conflicts: 760000 | #Constraints: 24643
2784.03/2792.01 c #Conflicts: 761000 | #Constraints: 25643
2784.03/2792.01 c #Conflicts: 762000 | #Constraints: 26643
2784.03/2792.01 c #Conflicts: 763000 | #Constraints: 27643
2784.03/2792.01 c #Conflicts: 764000 | #Constraints: 28643
2784.03/2792.01 c #Conflicts: 765000 | #Constraints: 29643
2784.03/2792.01 c #Conflicts: 766000 | #Constraints: 30643
2784.03/2792.01 c #Conflicts: 767000 | #Constraints: 31643
2784.03/2792.01 c #Conflicts: 768000 | #Constraints: 32643
2784.03/2792.01 c #Conflicts: 769000 | #Constraints: 33643
2784.03/2792.01 c #Conflicts: 770000 | #Constraints: 34643
2784.03/2792.01 c #Conflicts: 771000 | #Constraints: 35643
2784.03/2792.01 c #Conflicts: 772000 | #Constraints: 36643
2784.03/2792.01 c #Conflicts: 773000 | #Constraints: 37643
2784.03/2792.01 c #Conflicts: 774000 | #Constraints: 38643
2784.03/2792.01 c INPROCESSING
2784.03/2792.01 c GARBAGE COLLECT
2784.03/2792.01 c #Conflicts: 775000 | #Constraints: 22240
2784.03/2792.01 c #Conflicts: 776000 | #Constraints: 23240
2784.03/2792.01 c #Conflicts: 777000 | #Constraints: 24240
2784.03/2792.01 c #Conflicts: 778000 | #Constraints: 25240
2784.03/2792.01 c #Conflicts: 779000 | #Constraints: 26240
2784.03/2792.01 c #Conflicts: 780000 | #Constraints: 27240
2784.03/2792.01 c #Conflicts: 781000 | #Constraints: 28240
2784.03/2792.01 c #Conflicts: 782000 | #Constraints: 29240
2784.03/2792.01 c #Conflicts: 783000 | #Constraints: 30240
2784.03/2792.01 c #Conflicts: 784000 | #Constraints: 31240
2784.03/2792.01 c #Conflicts: 785000 | #Constraints: 32240
2784.03/2792.01 c #Conflicts: 786000 | #Constraints: 33240
2784.03/2792.01 c #Conflicts: 787000 | #Constraints: 34240
2784.03/2792.01 c #Conflicts: 788000 | #Constraints: 35240
2784.03/2792.01 c #Conflicts: 789000 | #Constraints: 36240
2784.03/2792.01 c #Conflicts: 790000 | #Constraints: 37240
2784.03/2792.01 c #Conflicts: 791000 | #Constraints: 38240
2784.03/2792.01 c #Conflicts: 792000 | #Constraints: 39240
2784.03/2792.01 c INPROCESSING
2784.03/2792.01 c GARBAGE COLLECT
2784.03/2792.01 c #Conflicts: 793000 | #Constraints: 22637
2784.03/2792.01 c #Conflicts: 794000 | #Constraints: 23637
2784.03/2792.01 c #Conflicts: 795000 | #Constraints: 24637
2784.03/2792.01 c #Conflicts: 796000 | #Constraints: 25637
2784.03/2792.01 c #Conflicts: 797000 | #Constraints: 26637
2784.03/2792.01 c #Conflicts: 798000 | #Constraints: 27637
2784.03/2792.01 c #Conflicts: 799000 | #Constraints: 28637
2784.03/2792.01 c #Conflicts: 800000 | #Constraints: 29637
2784.03/2792.01 c #Conflicts: 801000 | #Constraints: 30637
2784.03/2792.01 c #Conflicts: 802000 | #Constraints: 31637
2784.03/2792.01 c #Conflicts: 803000 | #Constraints: 32637
2784.03/2792.01 c #Conflicts: 804000 | #Constraints: 33637
2784.03/2792.01 c #Conflicts: 805000 | #Constraints: 34637
2784.03/2792.01 c #Conflicts: 806000 | #Constraints: 35637
2784.03/2792.01 c #Conflicts: 807000 | #Constraints: 36637
2784.03/2792.01 c #Conflicts: 808000 | #Constraints: 37637
2784.03/2792.01 c #Conflicts: 809000 | #Constraints: 38637
2784.03/2792.01 c #Conflicts: 810000 | #Constraints: 39637
2784.03/2792.01 c INPROCESSING
2784.03/2792.01 c GARBAGE COLLECT
2784.03/2792.01 c #Conflicts: 811000 | #Constraints: 22834
2784.03/2792.01 c #Conflicts: 812000 | #Constraints: 23834
2784.03/2792.01 c #Conflicts: 813000 | #Constraints: 24834
2784.03/2792.01 c #Conflicts: 814000 | #Constraints: 25834
2784.03/2792.01 c #Conflicts: 815000 | #Constraints: 26834
3142.48/3151.45 c #Conflicts: 816000 | #Constraints: 27834
3142.48/3151.45 c #Conflicts: 817000 | #Constraints: 28834
3142.48/3151.45 c #Conflicts: 818000 | #Constraints: 29834
3142.48/3151.45 c #Conflicts: 819000 | #Constraints: 30834
3142.48/3151.45 c #Conflicts: 820000 | #Constraints: 31834
3142.48/3151.45 c #Conflicts: 821000 | #Constraints: 32834
3142.48/3151.45 c #Conflicts: 822000 | #Constraints: 33834
3142.48/3151.45 c #Conflicts: 823000 | #Constraints: 34834
3142.48/3151.45 c #Conflicts: 824000 | #Constraints: 35834
3142.48/3151.45 c #Conflicts: 825000 | #Constraints: 36834
3142.48/3151.45 c #Conflicts: 826000 | #Constraints: 37834
3142.48/3151.45 c #Conflicts: 827000 | #Constraints: 38834
3142.48/3151.45 c #Conflicts: 828000 | #Constraints: 39834
3142.48/3151.45 c INPROCESSING
3142.48/3151.45 c GARBAGE COLLECT
3142.48/3151.45 c #Conflicts: 829000 | #Constraints: 22837
3142.48/3151.45 c #Conflicts: 830000 | #Constraints: 23837
3142.48/3151.45 c #Conflicts: 831000 | #Constraints: 24837
3142.48/3151.45 c #Conflicts: 832000 | #Constraints: 25837
3142.48/3151.45 c #Conflicts: 833000 | #Constraints: 26837
3142.48/3151.45 c #Conflicts: 834000 | #Constraints: 27837
3142.48/3151.45 c #Conflicts: 835000 | #Constraints: 28837
3142.48/3151.45 c #Conflicts: 836000 | #Constraints: 29837
3142.48/3151.45 c #Conflicts: 837000 | #Constraints: 30837
3142.48/3151.45 c #Conflicts: 838000 | #Constraints: 31837
3142.48/3151.45 c #Conflicts: 839000 | #Constraints: 32837
3142.48/3151.45 c #Conflicts: 840000 | #Constraints: 33837
3142.48/3151.45 c #Conflicts: 841000 | #Constraints: 34837
3142.48/3151.45 c #Conflicts: 842000 | #Constraints: 35837
3142.48/3151.45 c #Conflicts: 843000 | #Constraints: 36837
3142.48/3151.45 c #Conflicts: 844000 | #Constraints: 37837
3142.48/3151.45 c #Conflicts: 845000 | #Constraints: 38837
3142.48/3151.45 c #Conflicts: 846000 | #Constraints: 39837
3142.48/3151.45 c INPROCESSING
3142.48/3151.45 c GARBAGE COLLECT
3142.48/3151.45 c #Conflicts: 847000 | #Constraints: 22636
3142.48/3151.45 c #Conflicts: 848000 | #Constraints: 23636
3142.48/3151.45 c #Conflicts: 849000 | #Constraints: 24636
3142.48/3151.45 c #Conflicts: 850000 | #Constraints: 25636
3142.48/3151.45 c #Conflicts: 851000 | #Constraints: 26636
3142.48/3151.45 c #Conflicts: 852000 | #Constraints: 27636
3142.48/3151.45 c #Conflicts: 853000 | #Constraints: 28636
3142.48/3151.45 c #Conflicts: 854000 | #Constraints: 29636
3142.48/3151.45 c #Conflicts: 855000 | #Constraints: 30636
3142.48/3151.45 c #Conflicts: 856000 | #Constraints: 31636
3142.48/3151.45 c #Conflicts: 857000 | #Constraints: 32636
3142.48/3151.45 c #Conflicts: 858000 | #Constraints: 33636
3142.48/3151.45 c #Conflicts: 859000 | #Constraints: 34636
3142.48/3151.45 c #Conflicts: 860000 | #Constraints: 35636
3142.48/3151.45 c #Conflicts: 861000 | #Constraints: 36636
3142.48/3151.45 c #Conflicts: 862000 | #Constraints: 37636
3142.48/3151.45 c #Conflicts: 863000 | #Constraints: 38636
3142.48/3151.45 c #Conflicts: 864000 | #Constraints: 39636
3142.48/3151.45 c #Conflicts: 865000 | #Constraints: 40636
3142.48/3151.45 c INPROCESSING
3142.48/3151.45 c GARBAGE COLLECT
3142.48/3151.45 c #Conflicts: 866000 | #Constraints: 23238
3142.48/3151.45 c #Conflicts: 867000 | #Constraints: 24238
3142.48/3151.45 c #Conflicts: 868000 | #Constraints: 25238
3142.48/3151.45 c #Conflicts: 869000 | #Constraints: 26238
3142.48/3151.45 c #Conflicts: 870000 | #Constraints: 27238
3142.48/3151.45 c #Conflicts: 871000 | #Constraints: 28238
3142.48/3151.45 c #Conflicts: 872000 | #Constraints: 29238
3142.48/3151.45 c #Conflicts: 873000 | #Constraints: 30238
3142.48/3151.45 c #Conflicts: 874000 | #Constraints: 31238
3142.48/3151.45 c #Conflicts: 875000 | #Constraints: 32238
3142.48/3151.45 c #Conflicts: 876000 | #Constraints: 33238
3142.48/3151.45 c #Conflicts: 877000 | #Constraints: 34238
3142.48/3151.45 c #Conflicts: 878000 | #Constraints: 35238
3142.48/3151.45 c #Conflicts: 879000 | #Constraints: 36238
3142.48/3151.45 c #Conflicts: 880000 | #Constraints: 37238
3142.48/3151.45 c #Conflicts: 881000 | #Constraints: 38238
3142.48/3151.45 c #Conflicts: 882000 | #Constraints: 39238
3142.48/3151.45 c #Conflicts: 883000 | #Constraints: 40238
3142.48/3151.45 c #Conflicts: 884000 | #Constraints: 41238
3142.48/3151.45 c INPROCESSING
3142.48/3151.45 c GARBAGE COLLECT
3142.48/3151.45 c #Conflicts: 885000 | #Constraints: 23640
3142.48/3151.45 c #Conflicts: 886000 | #Constraints: 24640
3142.48/3151.45 c #Conflicts: 887000 | #Constraints: 25640
3142.48/3151.45 c #Conflicts: 888000 | #Constraints: 26640
3142.48/3151.45 c #Conflicts: 889000 | #Constraints: 27640
3142.48/3151.45 c #Conflicts: 890000 | #Constraints: 28640
3142.48/3151.45 c #Conflicts: 891000 | #Constraints: 29640
3474.02/3483.84 c #Conflicts: 892000 | #Constraints: 30640
3474.02/3483.84 c #Conflicts: 893000 | #Constraints: 31640
3474.02/3483.84 c #Conflicts: 894000 | #Constraints: 32640
3474.02/3483.84 c #Conflicts: 895000 | #Constraints: 33640
3474.02/3483.84 c #Conflicts: 896000 | #Constraints: 34640
3474.02/3483.84 c #Conflicts: 897000 | #Constraints: 35640
3474.02/3483.84 c #Conflicts: 898000 | #Constraints: 36640
3474.02/3483.84 c #Conflicts: 899000 | #Constraints: 37640
3474.02/3483.84 c #Conflicts: 900000 | #Constraints: 38640
3474.02/3483.84 c #Conflicts: 901000 | #Constraints: 39640
3474.02/3483.84 c #Conflicts: 902000 | #Constraints: 40640
3474.02/3483.84 c #Conflicts: 903000 | #Constraints: 41640
3474.02/3483.84 c INPROCESSING
3474.02/3483.84 c GARBAGE COLLECT
3474.02/3483.84 c #Conflicts: 904000 | #Constraints: 23839
3474.02/3483.84 c #Conflicts: 905000 | #Constraints: 24839
3474.02/3483.84 c #Conflicts: 906000 | #Constraints: 25839
3474.02/3483.84 c #Conflicts: 907000 | #Constraints: 26839
3474.02/3483.84 c #Conflicts: 908000 | #Constraints: 27839
3474.02/3483.84 c #Conflicts: 909000 | #Constraints: 28839
3474.02/3483.84 c #Conflicts: 910000 | #Constraints: 29839
3474.02/3483.84 c #Conflicts: 911000 | #Constraints: 30839
3474.02/3483.84 c #Conflicts: 912000 | #Constraints: 31839
3474.02/3483.84 c #Conflicts: 913000 | #Constraints: 32839
3474.02/3483.84 c #Conflicts: 914000 | #Constraints: 33839
3474.02/3483.84 c #Conflicts: 915000 | #Constraints: 34839
3474.02/3483.84 c #Conflicts: 916000 | #Constraints: 35839
3474.02/3483.84 c #Conflicts: 917000 | #Constraints: 36839
3474.02/3483.84 c #Conflicts: 918000 | #Constraints: 37839
3474.02/3483.84 c #Conflicts: 919000 | #Constraints: 38839
3474.02/3483.84 c #Conflicts: 920000 | #Constraints: 39839
3474.02/3483.84 c #Conflicts: 921000 | #Constraints: 40839
3474.02/3483.84 c #Conflicts: 922000 | #Constraints: 41839
3474.02/3483.84 c INPROCESSING
3474.02/3483.84 c GARBAGE COLLECT
3474.02/3483.84 c #Conflicts: 923000 | #Constraints: 23841
3474.02/3483.84 c #Conflicts: 924000 | #Constraints: 24841
3474.02/3483.84 c #Conflicts: 925000 | #Constraints: 25841
3474.02/3483.84 c #Conflicts: 926000 | #Constraints: 26841
3474.02/3483.84 c #Conflicts: 927000 | #Constraints: 27841
3474.02/3483.84 c #Conflicts: 928000 | #Constraints: 28841
3474.02/3483.84 c #Conflicts: 929000 | #Constraints: 29841
3474.02/3483.84 c #Conflicts: 930000 | #Constraints: 30841
3474.02/3483.84 c #Conflicts: 931000 | #Constraints: 31841
3474.02/3483.84 c #Conflicts: 932000 | #Constraints: 32841
3474.02/3483.84 c #Conflicts: 933000 | #Constraints: 33841
3474.02/3483.84 c #Conflicts: 934000 | #Constraints: 34841
3474.02/3483.84 c #Conflicts: 935000 | #Constraints: 35841
3474.02/3483.84 c #Conflicts: 936000 | #Constraints: 36841
3474.02/3483.84 c #Conflicts: 937000 | #Constraints: 37841
3474.02/3483.84 c #Conflicts: 938000 | #Constraints: 38841
3474.02/3483.84 c #Conflicts: 939000 | #Constraints: 39841
3474.02/3483.84 c #Conflicts: 940000 | #Constraints: 40841
3474.02/3483.84 c #Conflicts: 941000 | #Constraints: 41841
3474.02/3483.84 c INPROCESSING
3474.02/3483.84 c GARBAGE COLLECT
3474.02/3483.84 c #Conflicts: 942000 | #Constraints: 23638
3474.02/3483.84 c #Conflicts: 943000 | #Constraints: 24638
3474.02/3483.84 c #Conflicts: 944000 | #Constraints: 25638
3474.02/3483.84 c #Conflicts: 945000 | #Constraints: 26638
3474.02/3483.84 c #Conflicts: 946000 | #Constraints: 27638
3474.02/3483.84 c #Conflicts: 947000 | #Constraints: 28638
3474.02/3483.84 c #Conflicts: 948000 | #Constraints: 29638
3474.02/3483.84 c #Conflicts: 949000 | #Constraints: 30638
3474.02/3483.84 c #Conflicts: 950000 | #Constraints: 31638
3474.02/3483.84 c #Conflicts: 951000 | #Constraints: 32638
3474.02/3483.84 c #Conflicts: 952000 | #Constraints: 33638
3474.02/3483.84 c #Conflicts: 953000 | #Constraints: 34638
3474.02/3483.84 c #Conflicts: 954000 | #Constraints: 35638
3474.02/3483.84 c #Conflicts: 955000 | #Constraints: 36638
3474.02/3483.84 c #Conflicts: 956000 | #Constraints: 37638
3474.02/3483.84 c #Conflicts: 957000 | #Constraints: 38638
3474.02/3483.84 c #Conflicts: 958000 | #Constraints: 39638
3474.02/3483.84 c #Conflicts: 959000 | #Constraints: 40638
3474.02/3483.84 c #Conflicts: 960000 | #Constraints: 41638
3474.02/3483.84 c #Conflicts: 961000 | #Constraints: 42638
3474.02/3483.84 c INPROCESSING
3474.02/3483.84 c GARBAGE COLLECT
3474.02/3483.84 c #Conflicts: 962000 | #Constraints: 24237
3474.02/3483.84 c #Conflicts: 963000 | #Constraints: 25237
3474.02/3483.84 c #Conflicts: 964000 | #Constraints: 26237
3474.02/3483.84 c #Conflicts: 965000 | #Constraints: 27237
3474.02/3483.84 c #Conflicts: 966000 | #Constraints: 28237
3474.02/3483.84 c #Conflicts: 967000 | #Constraints: 29237
3600.01/3610.11 c #Conflicts: 968000 | #Constraints: 30237
3600.01/3610.11 c #Conflicts: 969000 | #Constraints: 31237
3600.01/3610.11 c #Conflicts: 970000 | #Constraints: 32237
3600.01/3610.11 c #Conflicts: 971000 | #Constraints: 33237
3600.01/3610.11 c #Conflicts: 972000 | #Constraints: 34237
3600.01/3610.11 c #Conflicts: 973000 | #Constraints: 35237
3600.01/3610.11 c #Conflicts: 974000 | #Constraints: 36237
3600.01/3610.11 c #Conflicts: 975000 | #Constraints: 37237
3600.01/3610.11 c #Conflicts: 976000 | #Constraints: 38237
3600.01/3610.11 c #Conflicts: 977000 | #Constraints: 39237
3600.01/3610.11 c #Conflicts: 978000 | #Constraints: 40237
3600.01/3610.11 c #Conflicts: 979000 | #Constraints: 41237
3600.01/3610.11 c #Conflicts: 980000 | #Constraints: 42237
3600.01/3610.11 c #Conflicts: 981000 | #Constraints: 43237
3600.01/3610.11 c INPROCESSING
3600.01/3610.11 c GARBAGE COLLECT
3600.01/3610.11 c #Conflicts: 982000 | #Constraints: 24645
3600.01/3610.11 c #Conflicts: 983000 | #Constraints: 25645
3600.01/3610.11 c #Conflicts: 984000 | #Constraints: 26645
3600.01/3610.11 c #Conflicts: 985000 | #Constraints: 27645
3600.01/3610.11 c #Conflicts: 986000 | #Constraints: 28645
3600.01/3610.11 c Program interrupted by user.
3600.01/3610.11 c cpu time 3590.83 s
3600.01/3610.11 c deterministic time 660967791409 6.61e+11
3600.01/3610.11 c optimization time 17.2767 s
3600.01/3610.11 c total solve time 3274.5 s
3600.01/3610.11 c core-guided solve time 3274.5 s
3600.01/3610.11 c propagation time 2691.16 s
3600.01/3610.11 c conflict analysis time 461.288 s
3600.01/3610.11 c propagations 133749774
3600.01/3610.11 c resolve steps 7245108
3600.01/3610.11 c decisions 4700824
3600.01/3610.11 c conflicts 986437
3600.01/3610.11 c restarts 2045
3600.01/3610.11 c inprocessing phases 90
3600.01/3610.11 c input clauses 3965
3600.01/3610.11 c input cardinalities 149
3600.01/3610.11 c input general constraints 0
3600.01/3610.11 c input average constraint length 62.32
3600.01/3610.11 c input average constraint degree 28.18
3600.01/3610.11 c learned clauses 347549
3600.01/3610.11 c learned cardinalities 52631
3600.01/3610.11 c learned general constraints 586405
3600.01/3610.11 c learned average constraint length 833.87
3600.01/3610.11 c learned average constraint degree 38141.37
3600.01/3610.11 c watched constraints 380540
3600.01/3610.11 c counting constraints 205865
3600.01/3610.11 c gcd simplifications 42132
3600.01/3610.11 c detected cardinalities 1191
3600.01/3610.11 c weakened non-implied lits 148482334
3600.01/3610.11 c weakened non-implying lits 71287
3600.01/3610.11 c original variables 1957
3600.01/3610.11 c clausal propagations 55098836
3600.01/3610.11 c cardinality propagations 2702277
3600.01/3610.11 c watched propagations 17652970
3600.01/3610.11 c counting propagations 52190722
3600.01/3610.11 c watch lookups 42359312296
3600.01/3610.11 c watch backjump lookups 37927291586
3600.01/3610.11 c watch checks 539219208487
3600.01/3610.11 c propagation checks 38911434782
3600.01/3610.11 c constraint additions 2272658178
3600.01/3610.11 c trail pops 139435481
3600.01/3610.11 c formula constraints 3290
3600.01/3610.11 c learned constraints 986585
3600.01/3610.11 c bound constraints 149
3600.01/3610.11 c core-guided constraints 675
3600.01/3610.11 c encountered formula constraints 5102819
3600.01/3610.11 c encountered learned constraints 2420636
3600.01/3610.11 c encountered bound constraints 1
3600.01/3610.11 c encountered core-guided constraints 708089
3600.01/3610.11 c LP total time 0 s
3600.01/3610.11 c LP solve time 0 s
3600.01/3610.11 c LP constraints added 0
3600.01/3610.11 c LP constraints removed 0
3600.01/3610.11 c LP pivots internal 0
3600.01/3610.11 c LP pivots root 0
3600.01/3610.11 c LP calls 0
3600.01/3610.11 c LP optimalities 0
3600.01/3610.11 c LP no pivot count 0
3600.01/3610.11 c LP infeasibilities 0
3600.01/3610.11 c LP valid Farkas constraints 0
3600.01/3610.11 c LP learned Farkas constraints 0
3600.01/3610.11 c LP basis resets 0
3600.01/3610.11 c LP cycling count 0
3600.01/3610.11 c LP singular count 0
3600.01/3610.11 c LP no primal count 0
3600.01/3610.11 c LP no farkas count 0
3600.01/3610.11 c LP other issue count 0
3600.01/3610.11 c LP Gomory cuts 0
3600.01/3610.11 c LP learned cuts 0
3600.01/3610.11 c LP deleted cuts 0
3600.01/3610.11 c LP encountered Gomory constraints 0
3600.01/3610.11 c LP encountered Farkas constraints 0
3600.01/3610.11 c LP encountered learned Farkas constraints 0
3600.01/3610.11 c CG auxiliary variables introduced 675
3600.01/3610.11 c CG solutions found 0
3600.01/3610.11 c CG cores constructed 148
3600.01/3610.11 c CG core cardinality constraints returned 0
3600.01/3610.11 c CG unit cores 0
3600.01/3610.11 c CG single cores 148
3600.01/3610.11 c CG blocks removed during cardinality reduction 0
3600.01/3610.11 c CG first core best 0
3600.01/3610.11 c CG decision core best 0
3600.01/3610.11 c CG core reduction tie 0
3600.01/3610.11 c CG core degree average 1.00
3600.01/3610.11 c CG core slack average 3.03
3600.01/3610.11 c CG exhausted 0
3600.01/3610.11 c CG exhaust time 0 s
3600.01/3610.11 c CG trimmed 6
3600.01/3610.11 c CG trim time 0.000641 s
3600.01/3610.11 c CG minimized 0
3600.01/3610.11 c CG minimize time 0 s
3600.01/3610.11 c CG am1 prop time 0.002229 s
3600.01/3610.11 c CG # am1s reformulated 675
3600.01/3610.11 c CG lower bound derived from am1s 677
3600.01/3610.11 c CG # clausal cores 148
3600.01/3610.11 c CG # cardinality cores 0
3600.01/3610.11 c CG # pb cores 0
3600.01/3610.11 c CG # pb reforms 0
3600.01/3610.11 c CG # cores discarded because of pb reform 0
3600.01/3610.11 d LOWERBOUND 825
3600.01/3610.11 d NCORES 148
3600.01/3610.11 d NPBCORES 0
3600.01/3610.11 d NPBREFORM 0
3600.01/3610.11 d NTRIMMED 6
3600.01/3610.11 d NEXHAUSTED 0
3600.01/3610.11 d NAM1S 675
3600.01/3610.11 d AM1LB 677
3600.01/3610.11 c [Papilo Statistics]
3600.01/3610.11 c prepro time 0.0132527s
3600.01/3610.11 c # tsx applied 145
3600.01/3610.11 c # tsx conflicts 6
3600.01/3610.11 c # bound changes 143
3600.01/3610.11 c # side changes 0
3600.01/3610.11 c # coef changes 0
3600.01/3610.11 c # rounds 2
3600.01/3610.11 c # deted vars 294
3600.01/3610.11 c # deted constrs 710
3600.01/3610.11 c # consecutive rounds of only bound changes 0
3600.01/3610.11 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61790 MiB free)
memory of node 1: 64510 MiB (63545 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435465-1721079288/watcher-4435465-1721079288 -o /tmp/evaluation-result-4435465-1721079288/solver-4435465-1721079288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721072075-807108 --watchdog 3760 mixed-bag HOME/instance-4435465-1721079288.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=811567, runsolver pid=811564
[startup+0.100483 s]*
/proc/loadavg: 4.77 4.37 4.24 5/247 811568
/proc/meminfo: memFree=128322740/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=98272 memory=31132 CPUtime=0.09 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 4685 0 0 0 8 1 0 0 20 0 1 0 160088417 100630528 7783 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 24568 7783 3744 3002 0 8319 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98272 KiB
Current children cumulated memory: 31132 KiB
[startup+0.214484 s]*
/proc/loadavg: 4.77 4.37 4.24 5/247 811568
/proc/meminfo: memFree=128314200/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=108588 memory=39488 CPUtime=0.19 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 7089 0 0 0 18 1 0 0 20 0 1 0 160088417 111194112 9872 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 27147 9872 3918 3002 0 10898 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108588 KiB
Current children cumulated memory: 39488 KiB
[startup+0.31344 s]*
/proc/loadavg: 4.77 4.37 4.24 6/247 811568
/proc/meminfo: memFree=128291396/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=111024 memory=42076 CPUtime=0.3 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 7690 0 0 0 28 2 0 0 20 0 1 0 160088417 113688576 10519 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 27756 10519 3982 3002 0 11507 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 111024 KiB
Current children cumulated memory: 42076 KiB
[startup+0.700263 s]
/proc/loadavg: 4.77 4.37 4.24 5/247 811568
/proc/meminfo: memFree=128284504/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=115228 memory=46064 CPUtime=0.67 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 8664 0 0 0 65 2 0 0 20 0 1 0 160088417 117993472 11516 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 28807 11516 3998 3002 0 12558 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 115228 KiB
Current children cumulated memory: 46064 KiB
[startup+1.50027 s]
/proc/loadavg: 4.71 4.36 4.24 5/247 811568
/proc/meminfo: memFree=128277868/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=117396 memory=47912 CPUtime=1.47 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 9166 0 0 0 145 2 0 0 20 0 1 0 160088417 120213504 11978 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 29349 11978 3998 3002 0 13100 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 117396 KiB
Current children cumulated memory: 47912 KiB
[startup+3.11283 s]
/proc/loadavg: 4.71 4.36 4.24 5/247 811568
/proc/meminfo: memFree=128228100/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=124828 memory=54512 CPUtime=3.07 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 10795 0 0 0 305 2 0 0 20 0 1 0 160088417 127823872 13628 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 31207 13628 3998 3002 0 14958 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 124828 KiB
Current children cumulated memory: 54512 KiB
[startup+6.30023 s]
/proc/loadavg: 4.73 4.37 4.25 5/247 811568
/proc/meminfo: memFree=128129868/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=175044 memory=103088 CPUtime=6.25 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 22925 0 0 0 621 4 0 0 20 0 1 0 160088417 179245056 25772 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 43761 25772 3998 3002 0 27512 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 175044 KiB
Current children cumulated memory: 103088 KiB
[startup+12.7003 s]
/proc/loadavg: 4.67 4.37 4.25 5/247 811569
/proc/meminfo: memFree=128044092/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=223144 memory=151276 CPUtime=12.64 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 35449 0 0 0 1258 6 0 0 20 0 1 0 160088417 228499456 37819 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 55786 37819 3998 3002 0 39537 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 223144 KiB
Current children cumulated memory: 151276 KiB
[startup+25.5003 s]
/proc/loadavg: 4.64 4.37 4.25 5/247 811571
/proc/meminfo: memFree=128011996/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=223144 memory=151276 CPUtime=25.4 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 35452 0 0 0 2534 6 0 0 20 0 1 0 160088417 228499456 37819 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 55786 37819 3998 3002 0 39537 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 223144 KiB
Current children cumulated memory: 151276 KiB
[startup+51.1136 s]
/proc/loadavg: 4.39 4.33 4.24 5/243 811623
/proc/meminfo: memFree=127795044/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=285400 memory=210192 CPUtime=50.92 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 51823 0 0 0 5082 10 0 0 20 0 1 0 160088417 292249600 52548 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 71350 52548 4021 3002 0 55101 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 285400 KiB
Current children cumulated memory: 210192 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.30 4.23 5/242 811632
/proc/meminfo: memFree=127621940/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=331100 memory=252096 CPUtime=101.94 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 64615 0 0 0 10178 16 0 0 20 0 1 0 160088417 339046400 63024 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 82775 63024 4021 3002 0 66526 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 331100 KiB
Current children cumulated memory: 252096 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.26 4.22 5/242 811642
/proc/meminfo: memFree=127555564/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=350160 memory=265296 CPUtime=161.76 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 68649 0 0 0 16158 18 0 0 20 0 1 0 160088417 358563840 66324 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 87540 66324 4021 3002 0 71291 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 350160 KiB
Current children cumulated memory: 265296 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.24 4.21 5/241 811652
/proc/meminfo: memFree=127510772/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=357352 memory=268456 CPUtime=221.58 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 69484 0 0 0 22139 19 0 0 20 0 1 0 160088417 365928448 67114 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 89338 67114 4021 3002 0 73089 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 357352 KiB
Current children cumulated memory: 268456 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.19 4.20 5/242 811664
/proc/meminfo: memFree=127423028/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=363112 memory=271088 CPUtime=281.39 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 69662 0 0 0 28120 19 0 0 20 0 1 0 160088417 371826688 67772 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 90778 67772 4021 3002 0 74529 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 363112 KiB
Current children cumulated memory: 271088 KiB
[startup+342.3 s]
/proc/loadavg: 4.70 4.33 4.24 5/245 811679
/proc/meminfo: memFree=127543024/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=320136 memory=241448 CPUtime=341.23 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 74343 0 0 0 34053 70 0 0 20 0 1 0 160088417 327819264 60362 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 80034 60362 4164 3002 0 63785 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 320136 KiB
Current children cumulated memory: 241448 KiB
[startup+402.3 s]
/proc/loadavg: 4.59 4.39 4.27 5/245 811689
/proc/meminfo: memFree=127453812/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=350956 memory=278700 CPUtime=401.07 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 74964 0 0 0 40004 103 0 0 20 0 1 0 160088417 359378944 69675 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 87739 69675 4164 3002 0 71490 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 350956 KiB
Current children cumulated memory: 278700 KiB
[startup+462.3 s]
/proc/loadavg: 4.27 4.33 4.26 5/245 811700
/proc/meminfo: memFree=127365832/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=350956 memory=292964 CPUtime=460.91 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 74979 0 0 0 45959 132 0 0 20 0 1 0 160088417 359378944 73241 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 87739 73241 4164 3002 0 71490 0
################
# More data... #
################
Current children cumulated memory: 456536 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.19 4.22 5/244 813239
/proc/meminfo: memFree=126299148/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=547536 memory=461784 CPUtime=2913.98 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 93038 0 0 0 290610 788 0 0 20 0 1 0 160088417 560676864 115446 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 136884 115446 4164 3002 0 120635 0
Current children cumulated CPU time: 2913.98 s
Current children cumulated vsize: 547536 KiB
Current children cumulated memory: 461784 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.18 4.21 5/244 813250
/proc/meminfo: memFree=126297676/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=547792 memory=462104 CPUtime=2973.82 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 93293 0 0 0 296582 800 0 0 20 0 1 0 160088417 560939008 115526 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 136948 115526 4164 3002 0 120699 0
Current children cumulated CPU time: 2973.82 s
Current children cumulated vsize: 547792 KiB
Current children cumulated memory: 462104 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.18 4.21 5/247 813645
/proc/meminfo: memFree=126295592/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=548304 memory=462832 CPUtime=3033.67 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 93696 0 0 0 302556 811 0 0 20 0 1 0 160088417 561463296 115708 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 137076 115708 4164 3002 0 120827 0
Current children cumulated CPU time: 3033.67 s
Current children cumulated vsize: 548304 KiB
Current children cumulated memory: 462832 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.19 4.21 5/244 813656
/proc/meminfo: memFree=126292528/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=548740 memory=462924 CPUtime=3093.51 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 93922 0 0 0 308526 825 0 0 20 0 1 0 160088417 561909760 115731 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 137185 115731 4164 3002 0 120936 0
Current children cumulated CPU time: 3093.51 s
Current children cumulated vsize: 548740 KiB
Current children cumulated memory: 462924 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.17 4.19 5/244 813666
/proc/meminfo: memFree=126265280/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=549584 memory=463760 CPUtime=3153.35 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 94275 0 0 0 314496 839 0 0 20 0 1 0 160088417 562774016 115940 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 137396 115940 4164 3002 0 121147 0
Current children cumulated CPU time: 3153.35 s
Current children cumulated vsize: 549584 KiB
Current children cumulated memory: 463760 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.15 4.18 5/244 813844
/proc/meminfo: memFree=126263284/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=550864 memory=464792 CPUtime=3213.19 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 94779 0 0 0 320467 852 0 0 20 0 1 0 160088417 564084736 116198 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 137716 116198 4164 3002 0 121467 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 550864 KiB
Current children cumulated memory: 464792 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.18 5/244 813855
/proc/meminfo: memFree=126250036/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=550864 memory=464932 CPUtime=3273.04 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 94959 0 0 0 326441 863 0 0 20 0 1 0 160088417 564084736 116233 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 137716 116233 4164 3002 0 121467 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 550864 KiB
Current children cumulated memory: 464932 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.17 4.18 5/246 813923
/proc/meminfo: memFree=126244464/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=552912 memory=466452 CPUtime=3332.88 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 95513 0 0 0 332414 874 0 0 20 0 1 0 160088417 566181888 116613 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 138228 116613 4164 3002 0 121979 0
Current children cumulated CPU time: 3332.88 s
Current children cumulated vsize: 552912 KiB
Current children cumulated memory: 466452 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.17 4.18 5/244 813933
/proc/meminfo: memFree=126236056/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=554376 memory=471116 CPUtime=3392.73 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 95949 0 0 0 338391 882 0 0 20 0 1 0 160088417 567681024 117779 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 138594 117779 4164 3002 0 122345 0
Current children cumulated CPU time: 3392.73 s
Current children cumulated vsize: 554376 KiB
Current children cumulated memory: 471116 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.18 5/244 813944
/proc/meminfo: memFree=126217432/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=554888 memory=485160 CPUtime=3452.57 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 96249 0 0 0 344365 892 0 0 20 0 1 0 160088417 568205312 121290 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 138722 121290 4164 3002 0 122473 0
Current children cumulated CPU time: 3452.57 s
Current children cumulated vsize: 554888 KiB
Current children cumulated memory: 485160 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/245 813955
/proc/meminfo: memFree=126197720/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=555912 memory=485636 CPUtime=3512.42 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 96638 0 0 0 350339 903 0 0 20 0 1 0 160088417 569253888 121409 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 138978 121409 4164 3002 0 122729 0
Current children cumulated CPU time: 3512.42 s
Current children cumulated vsize: 555912 KiB
Current children cumulated memory: 485636 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/245 813966
/proc/meminfo: memFree=126157256/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=693036 memory=520964 CPUtime=3572.26 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 97943 0 0 0 356314 912 0 0 20 0 1 0 160088417 709668864 130241 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 173259 130241 4164 3002 0 157010 0
Current children cumulated CPU time: 3572.26 s
Current children cumulated vsize: 693036 KiB
Current children cumulated memory: 520964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.07 4.11 4.16 4/238 814002
/proc/meminfo: memFree=126914992/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=693620 memory=525568 CPUtime=3600.01 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 98077 0 0 0 359083 918 0 0 20 0 1 0 160088417 710266880 131392 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 173405 131392 4164 3002 0 157156 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 693620 KiB
Current children cumulated memory: 525568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 811567 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.84 s, system=9.18543 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.07 4.11 4.16 4/238 814002
/proc/meminfo: memFree=126914992/131655788 swapFree=131071996/131071996
[pid=811567] ppid=811564 vsize=693620 memory=525568 CPUtime=3600.01 cores=5,7
/proc/811567/stat : 811567 (mixed-bag) R 811564 811567 807095 0 -1 4194304 98077 0 0 0 359083 918 0 0 20 0 1 0 160088417 710266880 131392 134679101440 4194304 16487941 140726796196896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44380160 140726796203031 140726796203108 140726796203108 140726796210123 0
/proc/811567/statm: 173405 131392 4164 3002 0 157156 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 693620 KiB
Current children cumulated memory: 525568 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.02
CPU user time (s): 3590.84
CPU system time (s): 9.18543
CPU usage (%): 99.7203
Max. virtual memory (cumulated for all children) (KiB): 693620
Max. memory (cumulated for all children) (KiB): 525568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.84
system time used= 9.18543
maximum resident set size= 525568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98097
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= 99
involuntary context switches= 2427
# summary of solver processes directly reported to runsolver:
# pid: 811567
# total CPU time (s): 3600.02
# total CPU user time (s): 3590.84
# total CPU system time (s): 9.18543
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.7013 second user time and 29.0806 second system time
The end
Begin job on nodeC009 at 2024-07-15 23:35:00
IDJOB=4435465
IDBENCH=147523
IDSOLVER=3066
FILE ID=nodeC009/4435465-1721079288
RUNJOBID= nodeC009-1721072075-807108
SLURM_JOB_ID= 7505538
Free space on /tmp= 723708 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435465-1721079288/watcher-4435465-1721079288 -o /tmp/evaluation-result-4435465-1721079288/solver-4435465-1721079288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721072075-807108 --watchdog 3760 mixed-bag HOME/instance-4435465-1721079288.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fd68547584ae9b6527d66061061fb773
RANDOM SEED=1789775614
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3326.284
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
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 : 0xb00001f
cpu MHz : 2693.503
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
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 : 0xb00001f
cpu MHz : 1197.349
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
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 : 0xb00001f
cpu MHz : 1197.417
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
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 : 0xb00001f
cpu MHz : 1396.521
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
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 : 0xb00001f
cpu MHz : 3581.792
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
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 : 0xb00001f
cpu MHz : 1197.325
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
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 : 0xb00001f
cpu MHz : 1197.318
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128345392 kB
MemAvailable: 129832252 kB
Buffers: 379384 kB
Cached: 1935648 kB
SwapCached: 0 kB
Active: 632096 kB
Inactive: 2125484 kB
Active(anon): 1436 kB
Inactive(anon): 478792 kB
Active(file): 630660 kB
Inactive(file): 1646692 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 79528 kB
Writeback: 0 kB
AnonPages: 442668 kB
Mapped: 118752 kB
Shmem: 37700 kB
KReclaimable: 99080 kB
Slab: 196348 kB
SReclaimable: 99080 kB
SUnreclaim: 97268 kB
KernelStack: 4000 kB
PageTables: 10316 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 842596 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51552 kB
HardwareCorrupted: 0 kB
AnonHugePages: 241664 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723720 MiB
End job on nodeC009 at 2024-07-16 00:35:10