0.00/0.03 c RoundingSat 2
0.00/0.03 c branch
0.00/0.03 c commit
0.00/0.03 c with Papilo
0.00/0.03 c with SCIP
0.00/0.03 c [STEP] parsing instance
0.00/0.04 c [STEP] preprocessing with Papilo
0.00/0.08 c [STEP] solving with SCIP
299.25/300.31 c [STEP] preprocessing done, loading into solver
299.25/300.31 c [STEP] solving
299.25/300.31 c #variables 1654 #constraints 3240
299.25/300.31 c SMALL=int, LARGE=long long
299.25/300.31 c bounds - >= 0 @ 299.019
299.25/300.31 c stratification level: 0
299.25/300.36 c bounds - >= 674 @ 299.026
299.25/300.36 c bounds - >= 675 @ 299.027
299.25/300.36 c bounds - >= 676 @ 299.027
299.25/300.36 c bounds - >= 677 @ 299.028
299.25/300.36 c bounds - >= 678 @ 299.028
299.25/300.36 c bounds - >= 679 @ 299.028
299.25/300.36 c bounds - >= 680 @ 299.028
299.25/300.36 c bounds - >= 681 @ 299.028
299.25/300.36 c bounds - >= 682 @ 299.028
299.25/300.36 c bounds - >= 683 @ 299.028
299.25/300.36 c bounds - >= 684 @ 299.028
299.25/300.36 c bounds - >= 685 @ 299.028
299.25/300.36 c bounds - >= 686 @ 299.029
299.25/300.36 c bounds - >= 687 @ 299.029
299.25/300.36 c bounds - >= 688 @ 299.029
299.25/300.36 c bounds - >= 689 @ 299.029
299.25/300.36 c bounds - >= 690 @ 299.029
299.25/300.36 c bounds - >= 691 @ 299.03
299.25/300.36 c bounds - >= 692 @ 299.03
299.25/300.36 c bounds - >= 693 @ 299.03
299.25/300.36 c bounds - >= 694 @ 299.03
299.25/300.36 c bounds - >= 695 @ 299.03
299.25/300.36 c bounds - >= 696 @ 299.03
299.25/300.36 c bounds - >= 697 @ 299.03
299.25/300.36 c bounds - >= 698 @ 299.03
299.25/300.36 c bounds - >= 699 @ 299.031
299.25/300.36 c bounds - >= 700 @ 299.031
299.25/300.36 c bounds - >= 701 @ 299.031
299.25/300.36 c bounds - >= 702 @ 299.031
299.25/300.36 c bounds - >= 703 @ 299.031
299.25/300.36 c bounds - >= 704 @ 299.032
299.25/300.36 c bounds - >= 705 @ 299.032
299.25/300.36 c bounds - >= 706 @ 299.032
299.25/300.36 c bounds - >= 707 @ 299.032
299.25/300.36 c bounds - >= 708 @ 299.033
299.25/300.36 c bounds - >= 709 @ 299.033
299.25/300.36 c bounds - >= 710 @ 299.033
299.25/300.36 c bounds - >= 711 @ 299.033
299.25/300.36 c bounds - >= 712 @ 299.033
299.25/300.36 c bounds - >= 713 @ 299.033
299.25/300.36 c bounds - >= 714 @ 299.033
299.25/300.36 c bounds - >= 715 @ 299.033
299.25/300.36 c bounds - >= 716 @ 299.033
299.25/300.36 c bounds - >= 717 @ 299.033
299.25/300.36 c bounds - >= 718 @ 299.033
299.25/300.36 c bounds - >= 719 @ 299.033
299.25/300.36 c bounds - >= 720 @ 299.034
299.25/300.36 c bounds - >= 721 @ 299.034
299.25/300.36 c bounds - >= 722 @ 299.034
299.25/300.36 c bounds - >= 723 @ 299.034
299.25/300.36 c bounds - >= 724 @ 299.034
299.25/300.36 c bounds - >= 725 @ 299.034
299.25/300.36 c bounds - >= 726 @ 299.034
299.25/300.36 c bounds - >= 727 @ 299.034
299.25/300.36 c bounds - >= 728 @ 299.035
299.25/300.36 c bounds - >= 729 @ 299.035
299.25/300.36 c bounds - >= 730 @ 299.035
299.25/300.36 c bounds - >= 731 @ 299.035
299.25/300.36 c bounds - >= 732 @ 299.036
299.25/300.36 c bounds - >= 733 @ 299.036
299.25/300.36 c bounds - >= 734 @ 299.036
299.25/300.36 c bounds - >= 735 @ 299.036
299.25/300.36 c bounds - >= 736 @ 299.036
299.25/300.36 c bounds - >= 737 @ 299.037
299.25/300.36 c bounds - >= 738 @ 299.037
299.25/300.36 c bounds - >= 739 @ 299.037
299.25/300.36 c bounds - >= 740 @ 299.037
299.25/300.36 c bounds - >= 741 @ 299.038
299.25/300.36 c bounds - >= 742 @ 299.038
299.25/300.36 c bounds - >= 743 @ 299.038
299.25/300.36 c bounds - >= 744 @ 299.038
299.25/300.36 c bounds - >= 745 @ 299.038
299.25/300.36 c bounds - >= 746 @ 299.038
299.25/300.36 c bounds - >= 747 @ 299.038
299.25/300.36 c bounds - >= 748 @ 299.038
299.25/300.36 c bounds - >= 749 @ 299.038
299.25/300.36 c bounds - >= 750 @ 299.038
299.25/300.36 c bounds - >= 751 @ 299.038
299.25/300.36 c bounds - >= 752 @ 299.038
299.25/300.36 c bounds - >= 753 @ 299.038
299.25/300.36 c bounds - >= 754 @ 299.038
299.25/300.36 c bounds - >= 755 @ 299.039
299.25/300.36 c bounds - >= 756 @ 299.039
299.25/300.36 c bounds - >= 757 @ 299.039
299.25/300.36 c bounds - >= 758 @ 299.039
299.25/300.36 c bounds - >= 759 @ 299.04
299.25/300.36 c bounds - >= 760 @ 299.04
299.25/300.36 c bounds - >= 761 @ 299.04
299.25/300.36 c bounds - >= 762 @ 299.04
299.25/300.36 c bounds - >= 763 @ 299.041
299.25/300.36 c bounds - >= 764 @ 299.041
299.25/300.36 c bounds - >= 765 @ 299.041
299.25/300.36 c bounds - >= 766 @ 299.042
299.25/300.36 c bounds - >= 767 @ 299.042
299.25/300.36 c bounds - >= 768 @ 299.042
299.25/300.36 c bounds - >= 769 @ 299.042
299.25/300.36 c bounds - >= 770 @ 299.043
299.25/300.36 c bounds - >= 771 @ 299.043
299.25/300.36 c bounds - >= 772 @ 299.043
299.25/300.36 c bounds - >= 773 @ 299.043
299.25/300.36 c bounds - >= 774 @ 299.044
299.25/300.36 c bounds - >= 775 @ 299.044
299.25/300.36 c bounds - >= 776 @ 299.044
299.25/300.36 c bounds - >= 777 @ 299.044
299.25/300.36 c bounds - >= 778 @ 299.045
299.25/300.36 c bounds - >= 779 @ 299.045
299.25/300.36 c bounds - >= 780 @ 299.045
299.25/300.36 c bounds - >= 781 @ 299.045
299.25/300.36 c bounds - >= 782 @ 299.046
299.25/300.36 c bounds - >= 783 @ 299.046
299.25/300.36 c bounds - >= 784 @ 299.046
299.25/300.36 c bounds - >= 785 @ 299.046
299.25/300.36 c bounds - >= 786 @ 299.047
299.25/300.36 c bounds - >= 787 @ 299.047
299.25/300.36 c bounds - >= 788 @ 299.047
299.25/300.36 c bounds - >= 789 @ 299.048
299.25/300.36 c bounds - >= 790 @ 299.048
299.25/300.36 c bounds - >= 791 @ 299.048
299.25/300.36 c bounds - >= 792 @ 299.048
299.25/300.36 c bounds - >= 793 @ 299.049
299.25/300.36 c bounds - >= 794 @ 299.049
299.25/300.36 c bounds - >= 795 @ 299.049
299.25/300.36 c bounds - >= 796 @ 299.05
299.25/300.36 c bounds - >= 797 @ 299.05
299.25/300.36 c bounds - >= 798 @ 299.05
299.25/300.36 c bounds - >= 799 @ 299.051
299.25/300.36 c bounds - >= 800 @ 299.051
299.25/300.36 c bounds - >= 801 @ 299.051
299.25/300.36 c bounds - >= 802 @ 299.052
299.25/300.36 c bounds - >= 803 @ 299.052
299.25/300.36 c bounds - >= 804 @ 299.052
299.25/300.36 c bounds - >= 805 @ 299.052
299.25/300.36 c bounds - >= 806 @ 299.052
299.25/300.36 c bounds - >= 807 @ 299.052
299.25/300.36 c bounds - >= 808 @ 299.052
299.25/300.36 c bounds - >= 809 @ 299.052
299.25/300.36 c bounds - >= 810 @ 299.052
299.25/300.36 c bounds - >= 811 @ 299.052
299.25/300.36 c bounds - >= 812 @ 299.052
299.25/300.36 c bounds - >= 813 @ 299.053
299.25/300.36 c bounds - >= 814 @ 299.053
299.25/300.36 c bounds - >= 815 @ 299.054
299.25/300.36 c bounds - >= 816 @ 299.054
299.25/300.36 c bounds - >= 817 @ 299.054
299.25/300.36 c bounds - >= 818 @ 299.054
299.25/300.36 c bounds - >= 819 @ 299.054
299.25/300.36 c bounds - >= 820 @ 299.054
351.37/352.68 c bounds - >= 821 @ 299.054
351.37/352.68 c bounds - >= 822 @ 299.054
351.37/352.68 c #Conflicts: 1000 | #Constraints: 5209
351.37/352.68 c #Conflicts: 2000 | #Constraints: 6209
351.37/352.68 c INPROCESSING
351.37/352.68 c GARBAGE COLLECT
351.37/352.68 c #Conflicts: 3000 | #Constraints: 6046
351.37/352.68 c #Conflicts: 4000 | #Constraints: 7046
351.37/352.68 c INPROCESSING
351.37/352.68 c GARBAGE COLLECT
351.37/352.68 c #Conflicts: 5000 | #Constraints: 6433
351.37/352.68 c #Conflicts: 6000 | #Constraints: 7433
351.37/352.68 c INPROCESSING
351.37/352.68 c GARBAGE COLLECT
351.37/352.68 c #Conflicts: 7000 | #Constraints: 6441
351.37/352.68 c #Conflicts: 8000 | #Constraints: 7441
351.37/352.68 c #Conflicts: 9000 | #Constraints: 8441
351.37/352.68 c INPROCESSING
351.37/352.68 c GARBAGE COLLECT
351.37/352.68 c #Conflicts: 10000 | #Constraints: 7115
351.37/352.68 c #Conflicts: 11000 | #Constraints: 8115
351.37/352.68 c #Conflicts: 12000 | #Constraints: 9115
351.37/352.68 c INPROCESSING
351.37/352.68 c GARBAGE COLLECT
351.37/352.68 c #Conflicts: 13000 | #Constraints: 7552
351.37/352.68 c #Conflicts: 14000 | #Constraints: 8552
351.37/352.68 c #Conflicts: 15000 | #Constraints: 9552
351.37/352.68 c INPROCESSING
351.37/352.68 c GARBAGE COLLECT
351.37/352.68 c #Conflicts: 16000 | #Constraints: 7773
351.37/352.68 c #Conflicts: 17000 | #Constraints: 8773
351.37/352.68 c #Conflicts: 18000 | #Constraints: 9773
351.37/352.68 c INPROCESSING
351.37/352.68 c GARBAGE COLLECT
351.37/352.68 c #Conflicts: 19000 | #Constraints: 7818
351.37/352.68 c #Conflicts: 20000 | #Constraints: 8818
351.37/352.68 c #Conflicts: 21000 | #Constraints: 9818
351.37/352.68 c INPROCESSING
351.37/352.68 c GARBAGE COLLECT
351.37/352.68 c #Conflicts: 22000 | #Constraints: 7627
351.37/352.68 c #Conflicts: 23000 | #Constraints: 8627
351.37/352.68 c #Conflicts: 24000 | #Constraints: 9627
351.37/352.68 c #Conflicts: 25000 | #Constraints: 10627
351.37/352.68 c INPROCESSING
351.37/352.68 c GARBAGE COLLECT
351.37/352.68 c #Conflicts: 26000 | #Constraints: 8212
351.37/352.68 c #Conflicts: 27000 | #Constraints: 9212
351.37/352.68 c #Conflicts: 28000 | #Constraints: 10212
351.37/352.68 c #Conflicts: 29000 | #Constraints: 11212
351.37/352.68 c INPROCESSING
351.37/352.68 c GARBAGE COLLECT
351.37/352.68 c #Conflicts: 30000 | #Constraints: 8601
351.37/352.68 c #Conflicts: 31000 | #Constraints: 9601
351.37/352.68 c #Conflicts: 32000 | #Constraints: 10601
351.37/352.68 c #Conflicts: 33000 | #Constraints: 11601
351.37/352.68 c INPROCESSING
351.37/352.68 c GARBAGE COLLECT
351.37/352.68 c #Conflicts: 34000 | #Constraints: 8805
351.37/352.68 c #Conflicts: 35000 | #Constraints: 9805
351.37/352.68 c #Conflicts: 36000 | #Constraints: 10805
351.37/352.68 c #Conflicts: 37000 | #Constraints: 11805
351.37/352.68 c INPROCESSING
351.37/352.68 c GARBAGE COLLECT
351.37/352.68 c #Conflicts: 38000 | #Constraints: 8797
351.37/352.68 c #Conflicts: 39000 | #Constraints: 9797
351.37/352.68 c #Conflicts: 40000 | #Constraints: 10797
351.37/352.68 c #Conflicts: 41000 | #Constraints: 11797
351.37/352.68 c INPROCESSING
351.37/352.68 c GARBAGE COLLECT
351.37/352.68 c #Conflicts: 42000 | #Constraints: 8597
351.37/352.68 c #Conflicts: 43000 | #Constraints: 9597
351.37/352.68 c #Conflicts: 44000 | #Constraints: 10597
351.37/352.68 c #Conflicts: 45000 | #Constraints: 11597
351.37/352.68 c #Conflicts: 46000 | #Constraints: 12597
351.37/352.68 c INPROCESSING
351.37/352.68 c GARBAGE COLLECT
351.37/352.68 c #Conflicts: 47000 | #Constraints: 9211
351.37/352.68 c #Conflicts: 48000 | #Constraints: 10211
351.37/352.68 c #Conflicts: 49000 | #Constraints: 11211
351.37/352.68 c #Conflicts: 50000 | #Constraints: 12211
351.37/352.68 c #Conflicts: 51000 | #Constraints: 13211
351.37/352.68 c INPROCESSING
351.37/352.68 c GARBAGE COLLECT
351.37/352.68 c #Conflicts: 52000 | #Constraints: 9612
351.37/352.68 c #Conflicts: 53000 | #Constraints: 10612
351.37/352.68 c #Conflicts: 54000 | #Constraints: 11612
351.37/352.68 c #Conflicts: 55000 | #Constraints: 12612
351.37/352.68 c #Conflicts: 56000 | #Constraints: 13612
351.37/352.68 c INPROCESSING
351.37/352.68 c GARBAGE COLLECT
351.37/352.68 c #Conflicts: 57000 | #Constraints: 9808
351.37/352.68 c #Conflicts: 58000 | #Constraints: 10808
351.37/352.68 c #Conflicts: 59000 | #Constraints: 11808
351.37/352.68 c #Conflicts: 60000 | #Constraints: 12808
351.37/352.68 c #Conflicts: 61000 | #Constraints: 13808
351.37/352.68 c INPROCESSING
351.37/352.68 c GARBAGE COLLECT
351.37/352.68 c #Conflicts: 62000 | #Constraints: 9806
351.37/352.68 c #Conflicts: 63000 | #Constraints: 10806
351.37/352.68 c #Conflicts: 64000 | #Constraints: 11806
351.37/352.68 c #Conflicts: 65000 | #Constraints: 12806
351.37/352.68 c #Conflicts: 66000 | #Constraints: 13806
351.37/352.68 c INPROCESSING
351.37/352.68 c GARBAGE COLLECT
351.37/352.68 c #Conflicts: 67000 | #Constraints: 9607
475.45/477.11 c #Conflicts: 68000 | #Constraints: 10607
475.45/477.11 c #Conflicts: 69000 | #Constraints: 11607
475.45/477.11 c #Conflicts: 70000 | #Constraints: 12607
475.45/477.11 c #Conflicts: 71000 | #Constraints: 13607
475.45/477.11 c #Conflicts: 72000 | #Constraints: 14607
475.45/477.11 c INPROCESSING
475.45/477.11 c GARBAGE COLLECT
475.45/477.11 c #Conflicts: 73000 | #Constraints: 10211
475.45/477.11 c #Conflicts: 74000 | #Constraints: 11211
475.45/477.11 c #Conflicts: 75000 | #Constraints: 12211
475.45/477.11 c #Conflicts: 76000 | #Constraints: 13211
475.45/477.11 c #Conflicts: 77000 | #Constraints: 14211
475.45/477.11 c #Conflicts: 78000 | #Constraints: 15211
475.45/477.11 c INPROCESSING
475.45/477.11 c GARBAGE COLLECT
475.45/477.11 c #Conflicts: 79000 | #Constraints: 10604
475.45/477.11 c #Conflicts: 80000 | #Constraints: 11604
475.45/477.11 c #Conflicts: 81000 | #Constraints: 12604
475.45/477.11 c #Conflicts: 82000 | #Constraints: 13604
475.45/477.11 c #Conflicts: 83000 | #Constraints: 14604
475.45/477.11 c #Conflicts: 84000 | #Constraints: 15604
475.45/477.11 c INPROCESSING
475.45/477.11 c GARBAGE COLLECT
475.45/477.11 c #Conflicts: 85000 | #Constraints: 10806
475.45/477.11 c #Conflicts: 86000 | #Constraints: 11806
475.45/477.11 c #Conflicts: 87000 | #Constraints: 12806
475.45/477.11 c #Conflicts: 88000 | #Constraints: 13806
475.45/477.11 c #Conflicts: 89000 | #Constraints: 14806
475.45/477.11 c #Conflicts: 90000 | #Constraints: 15806
475.45/477.11 c INPROCESSING
475.45/477.11 c GARBAGE COLLECT
475.45/477.11 c #Conflicts: 91000 | #Constraints: 10807
475.45/477.11 c #Conflicts: 92000 | #Constraints: 11807
475.45/477.11 c #Conflicts: 93000 | #Constraints: 12807
475.45/477.11 c #Conflicts: 94000 | #Constraints: 13807
475.45/477.11 c #Conflicts: 95000 | #Constraints: 14807
475.45/477.11 c #Conflicts: 96000 | #Constraints: 15807
475.45/477.11 c INPROCESSING
475.45/477.11 c GARBAGE COLLECT
475.45/477.11 c #Conflicts: 97000 | #Constraints: 10604
475.45/477.11 c #Conflicts: 98000 | #Constraints: 11604
475.45/477.11 c #Conflicts: 99000 | #Constraints: 12604
475.45/477.11 c #Conflicts: 100000 | #Constraints: 13604
475.45/477.11 c #Conflicts: 101000 | #Constraints: 14604
475.45/477.11 c #Conflicts: 102000 | #Constraints: 15604
475.45/477.11 c #Conflicts: 103000 | #Constraints: 16604
475.45/477.11 c INPROCESSING
475.45/477.11 c GARBAGE COLLECT
475.45/477.11 c #Conflicts: 104000 | #Constraints: 11207
475.45/477.11 c #Conflicts: 105000 | #Constraints: 12207
475.45/477.11 c #Conflicts: 106000 | #Constraints: 13207
475.45/477.11 c #Conflicts: 107000 | #Constraints: 14207
475.45/477.11 c #Conflicts: 108000 | #Constraints: 15207
475.45/477.11 c #Conflicts: 109000 | #Constraints: 16207
475.45/477.11 c #Conflicts: 110000 | #Constraints: 17207
475.45/477.11 c INPROCESSING
475.45/477.11 c GARBAGE COLLECT
475.45/477.11 c #Conflicts: 111000 | #Constraints: 11611
475.45/477.11 c #Conflicts: 112000 | #Constraints: 12611
475.45/477.11 c #Conflicts: 113000 | #Constraints: 13611
475.45/477.11 c #Conflicts: 114000 | #Constraints: 14611
475.45/477.11 c #Conflicts: 115000 | #Constraints: 15611
475.45/477.11 c #Conflicts: 116000 | #Constraints: 16611
475.45/477.11 c #Conflicts: 117000 | #Constraints: 17611
475.45/477.11 c INPROCESSING
475.45/477.11 c GARBAGE COLLECT
475.45/477.11 c #Conflicts: 118000 | #Constraints: 11813
475.45/477.11 c #Conflicts: 119000 | #Constraints: 12813
475.45/477.11 c #Conflicts: 120000 | #Constraints: 13813
475.45/477.11 c #Conflicts: 121000 | #Constraints: 14813
475.45/477.11 c #Conflicts: 122000 | #Constraints: 15813
475.45/477.11 c #Conflicts: 123000 | #Constraints: 16813
475.45/477.11 c #Conflicts: 124000 | #Constraints: 17813
475.45/477.11 c INPROCESSING
475.45/477.11 c GARBAGE COLLECT
475.45/477.11 c #Conflicts: 125000 | #Constraints: 11815
475.45/477.11 c #Conflicts: 126000 | #Constraints: 12815
475.45/477.11 c #Conflicts: 127000 | #Constraints: 13815
475.45/477.11 c #Conflicts: 128000 | #Constraints: 14815
475.45/477.11 c #Conflicts: 129000 | #Constraints: 15815
475.45/477.11 c #Conflicts: 130000 | #Constraints: 16815
475.45/477.11 c #Conflicts: 131000 | #Constraints: 17815
475.45/477.11 c INPROCESSING
475.45/477.11 c GARBAGE COLLECT
475.45/477.11 c #Conflicts: 132000 | #Constraints: 11612
475.45/477.11 c #Conflicts: 133000 | #Constraints: 12612
475.45/477.11 c #Conflicts: 134000 | #Constraints: 13612
475.45/477.11 c #Conflicts: 135000 | #Constraints: 14612
475.45/477.11 c #Conflicts: 136000 | #Constraints: 15612
475.45/477.11 c #Conflicts: 137000 | #Constraints: 16612
475.45/477.11 c #Conflicts: 138000 | #Constraints: 17612
475.45/477.11 c #Conflicts: 139000 | #Constraints: 18612
599.70/601.86 c INPROCESSING
599.70/601.86 c GARBAGE COLLECT
599.70/601.86 c #Conflicts: 140000 | #Constraints: 12205
599.70/601.86 c #Conflicts: 141000 | #Constraints: 13205
599.70/601.86 c #Conflicts: 142000 | #Constraints: 14205
599.70/601.86 c #Conflicts: 143000 | #Constraints: 15205
599.70/601.86 c #Conflicts: 144000 | #Constraints: 16205
599.70/601.86 c #Conflicts: 145000 | #Constraints: 17205
599.70/601.86 c #Conflicts: 146000 | #Constraints: 18205
599.70/601.86 c #Conflicts: 147000 | #Constraints: 19205
599.70/601.86 c INPROCESSING
599.70/601.86 c GARBAGE COLLECT
599.70/601.86 c #Conflicts: 148000 | #Constraints: 12608
599.70/601.86 c #Conflicts: 149000 | #Constraints: 13608
599.70/601.86 c #Conflicts: 150000 | #Constraints: 14608
599.70/601.86 c #Conflicts: 151000 | #Constraints: 15608
599.70/601.86 c #Conflicts: 152000 | #Constraints: 16608
599.70/601.86 c #Conflicts: 153000 | #Constraints: 17608
599.70/601.86 c #Conflicts: 154000 | #Constraints: 18608
599.70/601.86 c #Conflicts: 155000 | #Constraints: 19608
599.70/601.86 c INPROCESSING
599.70/601.86 c GARBAGE COLLECT
599.70/601.86 c #Conflicts: 156000 | #Constraints: 12810
599.70/601.86 c #Conflicts: 157000 | #Constraints: 13810
599.70/601.86 c #Conflicts: 158000 | #Constraints: 14810
599.70/601.86 c #Conflicts: 159000 | #Constraints: 15810
599.70/601.86 c #Conflicts: 160000 | #Constraints: 16810
599.70/601.86 c #Conflicts: 161000 | #Constraints: 17810
599.70/601.86 c #Conflicts: 162000 | #Constraints: 18810
599.70/601.86 c #Conflicts: 163000 | #Constraints: 19810
599.70/601.86 c INPROCESSING
599.70/601.86 c GARBAGE COLLECT
599.70/601.86 c #Conflicts: 164000 | #Constraints: 12813
599.70/601.86 c #Conflicts: 165000 | #Constraints: 13813
599.70/601.86 c #Conflicts: 166000 | #Constraints: 14813
599.70/601.86 c #Conflicts: 167000 | #Constraints: 15813
599.70/601.86 c #Conflicts: 168000 | #Constraints: 16813
599.70/601.86 c #Conflicts: 169000 | #Constraints: 17813
599.70/601.86 c #Conflicts: 170000 | #Constraints: 18813
599.70/601.86 c #Conflicts: 171000 | #Constraints: 19813
599.70/601.86 c INPROCESSING
599.70/601.86 c GARBAGE COLLECT
599.70/601.86 c #Conflicts: 172000 | #Constraints: 12616
599.70/601.86 c #Conflicts: 173000 | #Constraints: 13616
599.70/601.86 c #Conflicts: 174000 | #Constraints: 14616
599.70/601.86 c #Conflicts: 175000 | #Constraints: 15616
599.70/601.86 c #Conflicts: 176000 | #Constraints: 16616
599.70/601.86 c #Conflicts: 177000 | #Constraints: 17616
599.70/601.86 c #Conflicts: 178000 | #Constraints: 18616
599.70/601.86 c #Conflicts: 179000 | #Constraints: 19616
599.70/601.86 c #Conflicts: 180000 | #Constraints: 20616
599.70/601.86 c INPROCESSING
599.70/601.86 c GARBAGE COLLECT
599.70/601.86 c #Conflicts: 181000 | #Constraints: 13218
599.70/601.86 c #Conflicts: 182000 | #Constraints: 14218
599.70/601.86 c #Conflicts: 183000 | #Constraints: 15218
599.70/601.86 c #Conflicts: 184000 | #Constraints: 16218
599.70/601.86 c #Conflicts: 185000 | #Constraints: 17218
599.70/601.86 c #Conflicts: 186000 | #Constraints: 18218
599.70/601.86 c #Conflicts: 187000 | #Constraints: 19218
599.70/601.86 c #Conflicts: 188000 | #Constraints: 20218
599.70/601.86 c #Conflicts: 189000 | #Constraints: 21218
599.70/601.86 c INPROCESSING
599.70/601.86 c GARBAGE COLLECT
599.70/601.86 c #Conflicts: 190000 | #Constraints: 13616
599.70/601.86 c #Conflicts: 191000 | #Constraints: 14616
599.70/601.86 c #Conflicts: 192000 | #Constraints: 15616
599.70/601.86 c #Conflicts: 193000 | #Constraints: 16616
599.70/601.86 c #Conflicts: 194000 | #Constraints: 17616
599.70/601.86 c #Conflicts: 195000 | #Constraints: 18616
599.70/601.86 c #Conflicts: 196000 | #Constraints: 19616
599.70/601.86 c #Conflicts: 197000 | #Constraints: 20616
599.70/601.86 c #Conflicts: 198000 | #Constraints: 21616
599.70/601.86 c INPROCESSING
599.70/601.86 c GARBAGE COLLECT
599.70/601.86 c #Conflicts: 199000 | #Constraints: 13820
599.70/601.86 c #Conflicts: 200000 | #Constraints: 14820
599.70/601.86 c #Conflicts: 201000 | #Constraints: 15820
599.70/601.86 c #Conflicts: 202000 | #Constraints: 16820
599.70/601.86 c #Conflicts: 203000 | #Constraints: 17820
599.70/601.86 c #Conflicts: 204000 | #Constraints: 18820
599.70/601.86 c #Conflicts: 205000 | #Constraints: 19820
599.70/601.86 c #Conflicts: 206000 | #Constraints: 20820
599.70/601.86 c #Conflicts: 207000 | #Constraints: 21820
599.70/601.86 c INPROCESSING
599.70/601.86 c GARBAGE COLLECT
599.70/601.86 c #Conflicts: 208000 | #Constraints: 13819
599.70/601.86 c #Conflicts: 209000 | #Constraints: 14819
599.70/601.86 c #Conflicts: 210000 | #Constraints: 15819
599.70/601.86 c #Conflicts: 211000 | #Constraints: 16819
599.70/601.86 c #Conflicts: 212000 | #Constraints: 17819
776.65/779.42 c #Conflicts: 213000 | #Constraints: 18819
776.65/779.42 c #Conflicts: 214000 | #Constraints: 19819
776.65/779.42 c #Conflicts: 215000 | #Constraints: 20819
776.65/779.42 c #Conflicts: 216000 | #Constraints: 21819
776.65/779.42 c INPROCESSING
776.65/779.42 c GARBAGE COLLECT
776.65/779.42 c #Conflicts: 217000 | #Constraints: 13622
776.65/779.42 c #Conflicts: 218000 | #Constraints: 14622
776.65/779.42 c #Conflicts: 219000 | #Constraints: 15622
776.65/779.42 c #Conflicts: 220000 | #Constraints: 16622
776.65/779.42 c #Conflicts: 221000 | #Constraints: 17622
776.65/779.42 c #Conflicts: 222000 | #Constraints: 18622
776.65/779.42 c #Conflicts: 223000 | #Constraints: 19622
776.65/779.42 c #Conflicts: 224000 | #Constraints: 20622
776.65/779.42 c #Conflicts: 225000 | #Constraints: 21622
776.65/779.42 c #Conflicts: 226000 | #Constraints: 22622
776.65/779.42 c INPROCESSING
776.65/779.42 c GARBAGE COLLECT
776.65/779.42 c #Conflicts: 227000 | #Constraints: 14220
776.65/779.42 c #Conflicts: 228000 | #Constraints: 15220
776.65/779.42 c #Conflicts: 229000 | #Constraints: 16220
776.65/779.42 c #Conflicts: 230000 | #Constraints: 17220
776.65/779.42 c #Conflicts: 231000 | #Constraints: 18220
776.65/779.42 c #Conflicts: 232000 | #Constraints: 19220
776.65/779.42 c #Conflicts: 233000 | #Constraints: 20220
776.65/779.42 c #Conflicts: 234000 | #Constraints: 21220
776.65/779.42 c #Conflicts: 235000 | #Constraints: 22220
776.65/779.42 c #Conflicts: 236000 | #Constraints: 23220
776.65/779.42 c INPROCESSING
776.65/779.42 c GARBAGE COLLECT
776.65/779.42 c #Conflicts: 237000 | #Constraints: 14617
776.65/779.42 c #Conflicts: 238000 | #Constraints: 15617
776.65/779.42 c #Conflicts: 239000 | #Constraints: 16617
776.65/779.42 c #Conflicts: 240000 | #Constraints: 17617
776.65/779.42 c #Conflicts: 241000 | #Constraints: 18617
776.65/779.42 c #Conflicts: 242000 | #Constraints: 19617
776.65/779.42 c #Conflicts: 243000 | #Constraints: 20617
776.65/779.42 c #Conflicts: 244000 | #Constraints: 21617
776.65/779.42 c #Conflicts: 245000 | #Constraints: 22617
776.65/779.42 c #Conflicts: 246000 | #Constraints: 23617
776.65/779.42 c INPROCESSING
776.65/779.42 c GARBAGE COLLECT
776.65/779.42 c #Conflicts: 247000 | #Constraints: 14827
776.65/779.42 c #Conflicts: 248000 | #Constraints: 15827
776.65/779.42 c #Conflicts: 249000 | #Constraints: 16827
776.65/779.42 c #Conflicts: 250000 | #Constraints: 17827
776.65/779.42 c #Conflicts: 251000 | #Constraints: 18827
776.65/779.42 c #Conflicts: 252000 | #Constraints: 19827
776.65/779.42 c #Conflicts: 253000 | #Constraints: 20827
776.65/779.42 c #Conflicts: 254000 | #Constraints: 21827
776.65/779.42 c #Conflicts: 255000 | #Constraints: 22827
776.65/779.42 c #Conflicts: 256000 | #Constraints: 23827
776.65/779.42 c INPROCESSING
776.65/779.42 c GARBAGE COLLECT
776.65/779.42 c #Conflicts: 257000 | #Constraints: 14811
776.65/779.42 c #Conflicts: 258000 | #Constraints: 15811
776.65/779.42 c #Conflicts: 259000 | #Constraints: 16811
776.65/779.42 c #Conflicts: 260000 | #Constraints: 17811
776.65/779.42 c #Conflicts: 261000 | #Constraints: 18811
776.65/779.42 c #Conflicts: 262000 | #Constraints: 19811
776.65/779.42 c #Conflicts: 263000 | #Constraints: 20811
776.65/779.42 c #Conflicts: 264000 | #Constraints: 21811
776.65/779.42 c #Conflicts: 265000 | #Constraints: 22811
776.65/779.42 c #Conflicts: 266000 | #Constraints: 23811
776.65/779.42 c INPROCESSING
776.65/779.42 c GARBAGE COLLECT
776.65/779.42 c #Conflicts: 267000 | #Constraints: 14609
776.65/779.42 c #Conflicts: 268000 | #Constraints: 15609
776.65/779.42 c #Conflicts: 269000 | #Constraints: 16609
776.65/779.42 c #Conflicts: 270000 | #Constraints: 17609
776.65/779.42 c #Conflicts: 271000 | #Constraints: 18609
776.65/779.42 c #Conflicts: 272000 | #Constraints: 19609
776.65/779.42 c #Conflicts: 273000 | #Constraints: 20609
776.65/779.42 c #Conflicts: 274000 | #Constraints: 21609
776.65/779.42 c #Conflicts: 275000 | #Constraints: 22609
776.65/779.42 c #Conflicts: 276000 | #Constraints: 23609
776.65/779.42 c #Conflicts: 277000 | #Constraints: 24609
776.65/779.42 c INPROCESSING
776.65/779.42 c GARBAGE COLLECT
776.65/779.42 c #Conflicts: 278000 | #Constraints: 15201
776.65/779.42 c #Conflicts: 279000 | #Constraints: 16201
776.65/779.42 c #Conflicts: 280000 | #Constraints: 17201
776.65/779.42 c #Conflicts: 281000 | #Constraints: 18201
776.65/779.42 c #Conflicts: 282000 | #Constraints: 19201
776.65/779.42 c #Conflicts: 283000 | #Constraints: 20201
776.65/779.42 c #Conflicts: 284000 | #Constraints: 21201
776.65/779.42 c #Conflicts: 285000 | #Constraints: 22201
776.65/779.42 c #Conflicts: 286000 | #Constraints: 23201
956.59/960.02 c #Conflicts: 287000 | #Constraints: 24201
956.59/960.02 c #Conflicts: 288000 | #Constraints: 25201
956.59/960.02 c INPROCESSING
956.59/960.02 c GARBAGE COLLECT
956.59/960.02 c #Conflicts: 289000 | #Constraints: 15609
956.59/960.02 c #Conflicts: 290000 | #Constraints: 16609
956.59/960.02 c #Conflicts: 291000 | #Constraints: 17609
956.59/960.02 c #Conflicts: 292000 | #Constraints: 18609
956.59/960.02 c #Conflicts: 293000 | #Constraints: 19609
956.59/960.02 c #Conflicts: 294000 | #Constraints: 20609
956.59/960.02 c #Conflicts: 295000 | #Constraints: 21609
956.59/960.02 c #Conflicts: 296000 | #Constraints: 22609
956.59/960.02 c #Conflicts: 297000 | #Constraints: 23609
956.59/960.02 c #Conflicts: 298000 | #Constraints: 24609
956.59/960.02 c #Conflicts: 299000 | #Constraints: 25609
956.59/960.02 c INPROCESSING
956.59/960.02 c GARBAGE COLLECT
956.59/960.02 c #Conflicts: 300000 | #Constraints: 15805
956.59/960.02 c #Conflicts: 301000 | #Constraints: 16805
956.59/960.02 c #Conflicts: 302000 | #Constraints: 17805
956.59/960.02 c #Conflicts: 303000 | #Constraints: 18805
956.59/960.02 c #Conflicts: 304000 | #Constraints: 19805
956.59/960.02 c #Conflicts: 305000 | #Constraints: 20805
956.59/960.02 c #Conflicts: 306000 | #Constraints: 21805
956.59/960.02 c #Conflicts: 307000 | #Constraints: 22805
956.59/960.02 c #Conflicts: 308000 | #Constraints: 23805
956.59/960.02 c #Conflicts: 309000 | #Constraints: 24805
956.59/960.02 c #Conflicts: 310000 | #Constraints: 25805
956.59/960.02 c INPROCESSING
956.59/960.02 c GARBAGE COLLECT
956.59/960.02 c #Conflicts: 311000 | #Constraints: 15803
956.59/960.02 c #Conflicts: 312000 | #Constraints: 16803
956.59/960.02 c #Conflicts: 313000 | #Constraints: 17803
956.59/960.02 c #Conflicts: 314000 | #Constraints: 18803
956.59/960.02 c #Conflicts: 315000 | #Constraints: 19803
956.59/960.02 c #Conflicts: 316000 | #Constraints: 20803
956.59/960.02 c #Conflicts: 317000 | #Constraints: 21803
956.59/960.02 c #Conflicts: 318000 | #Constraints: 22803
956.59/960.02 c #Conflicts: 319000 | #Constraints: 23803
956.59/960.02 c #Conflicts: 320000 | #Constraints: 24803
956.59/960.02 c #Conflicts: 321000 | #Constraints: 25803
956.59/960.02 c INPROCESSING
956.59/960.02 c GARBAGE COLLECT
956.59/960.02 c #Conflicts: 322000 | #Constraints: 15606
956.59/960.02 c #Conflicts: 323000 | #Constraints: 16606
956.59/960.02 c #Conflicts: 324000 | #Constraints: 17606
956.59/960.02 c #Conflicts: 325000 | #Constraints: 18606
956.59/960.02 c #Conflicts: 326000 | #Constraints: 19606
956.59/960.02 c #Conflicts: 327000 | #Constraints: 20606
956.59/960.02 c #Conflicts: 328000 | #Constraints: 21606
956.59/960.02 c #Conflicts: 329000 | #Constraints: 22606
956.59/960.02 c #Conflicts: 330000 | #Constraints: 23606
956.59/960.02 c #Conflicts: 331000 | #Constraints: 24606
956.59/960.02 c #Conflicts: 332000 | #Constraints: 25606
956.59/960.02 c #Conflicts: 333000 | #Constraints: 26606
956.59/960.02 c INPROCESSING
956.59/960.02 c GARBAGE COLLECT
956.59/960.02 c #Conflicts: 334000 | #Constraints: 16207
956.59/960.02 c #Conflicts: 335000 | #Constraints: 17207
956.59/960.02 c #Conflicts: 336000 | #Constraints: 18207
956.59/960.02 c #Conflicts: 337000 | #Constraints: 19207
956.59/960.02 c #Conflicts: 338000 | #Constraints: 20207
956.59/960.02 c #Conflicts: 339000 | #Constraints: 21207
956.59/960.02 c #Conflicts: 340000 | #Constraints: 22207
956.59/960.02 c #Conflicts: 341000 | #Constraints: 23207
956.59/960.02 c #Conflicts: 342000 | #Constraints: 24207
956.59/960.02 c #Conflicts: 343000 | #Constraints: 25207
956.59/960.02 c #Conflicts: 344000 | #Constraints: 26207
956.59/960.02 c #Conflicts: 345000 | #Constraints: 27207
956.59/960.02 c INPROCESSING
956.59/960.02 c GARBAGE COLLECT
956.59/960.02 c #Conflicts: 346000 | #Constraints: 16610
956.59/960.02 c #Conflicts: 347000 | #Constraints: 17610
956.59/960.02 c #Conflicts: 348000 | #Constraints: 18610
956.59/960.02 c #Conflicts: 349000 | #Constraints: 19610
956.59/960.02 c #Conflicts: 350000 | #Constraints: 20610
956.59/960.02 c #Conflicts: 351000 | #Constraints: 21610
956.59/960.02 c #Conflicts: 352000 | #Constraints: 22610
956.59/960.02 c #Conflicts: 353000 | #Constraints: 23610
956.59/960.02 c #Conflicts: 354000 | #Constraints: 24610
956.59/960.02 c #Conflicts: 355000 | #Constraints: 25610
956.59/960.02 c #Conflicts: 356000 | #Constraints: 26610
956.59/960.02 c #Conflicts: 357000 | #Constraints: 27610
956.59/960.02 c INPROCESSING
956.59/960.02 c GARBAGE COLLECT
956.59/960.02 c #Conflicts: 358000 | #Constraints: 16808
956.59/960.02 c #Conflicts: 359000 | #Constraints: 17808
956.59/960.02 c #Conflicts: 360000 | #Constraints: 18808
956.59/960.02 c #Conflicts: 361000 | #Constraints: 19808
1149.88/1154.09 c #Conflicts: 362000 | #Constraints: 20808
1149.88/1154.09 c #Conflicts: 363000 | #Constraints: 21808
1149.88/1154.09 c #Conflicts: 364000 | #Constraints: 22808
1149.88/1154.09 c #Conflicts: 365000 | #Constraints: 23808
1149.88/1154.09 c #Conflicts: 366000 | #Constraints: 24808
1149.88/1154.09 c #Conflicts: 367000 | #Constraints: 25808
1149.88/1154.09 c #Conflicts: 368000 | #Constraints: 26808
1149.88/1154.09 c #Conflicts: 369000 | #Constraints: 27808
1149.88/1154.09 c INPROCESSING
1149.88/1154.09 c GARBAGE COLLECT
1149.88/1154.09 c #Conflicts: 370000 | #Constraints: 16810
1149.88/1154.09 c #Conflicts: 371000 | #Constraints: 17810
1149.88/1154.09 c #Conflicts: 372000 | #Constraints: 18810
1149.88/1154.09 c #Conflicts: 373000 | #Constraints: 19810
1149.88/1154.09 c #Conflicts: 374000 | #Constraints: 20810
1149.88/1154.09 c #Conflicts: 375000 | #Constraints: 21810
1149.88/1154.09 c #Conflicts: 376000 | #Constraints: 22810
1149.88/1154.09 c #Conflicts: 377000 | #Constraints: 23810
1149.88/1154.09 c #Conflicts: 378000 | #Constraints: 24810
1149.88/1154.09 c #Conflicts: 379000 | #Constraints: 25810
1149.88/1154.09 c #Conflicts: 380000 | #Constraints: 26810
1149.88/1154.09 c #Conflicts: 381000 | #Constraints: 27810
1149.88/1154.09 c INPROCESSING
1149.88/1154.09 c GARBAGE COLLECT
1149.88/1154.09 c #Conflicts: 382000 | #Constraints: 16614
1149.88/1154.09 c #Conflicts: 383000 | #Constraints: 17614
1149.88/1154.09 c #Conflicts: 384000 | #Constraints: 18614
1149.88/1154.09 c #Conflicts: 385000 | #Constraints: 19614
1149.88/1154.09 c #Conflicts: 386000 | #Constraints: 20614
1149.88/1154.09 c #Conflicts: 387000 | #Constraints: 21614
1149.88/1154.09 c #Conflicts: 388000 | #Constraints: 22614
1149.88/1154.09 c #Conflicts: 389000 | #Constraints: 23614
1149.88/1154.09 c #Conflicts: 390000 | #Constraints: 24614
1149.88/1154.09 c #Conflicts: 391000 | #Constraints: 25614
1149.88/1154.09 c #Conflicts: 392000 | #Constraints: 26614
1149.88/1154.09 c #Conflicts: 393000 | #Constraints: 27614
1149.88/1154.09 c #Conflicts: 394000 | #Constraints: 28614
1149.88/1154.09 c INPROCESSING
1149.88/1154.09 c GARBAGE COLLECT
1149.88/1154.09 c #Conflicts: 395000 | #Constraints: 17213
1149.88/1154.09 c #Conflicts: 396000 | #Constraints: 18213
1149.88/1154.09 c #Conflicts: 397000 | #Constraints: 19213
1149.88/1154.09 c #Conflicts: 398000 | #Constraints: 20213
1149.88/1154.09 c #Conflicts: 399000 | #Constraints: 21213
1149.88/1154.09 c #Conflicts: 400000 | #Constraints: 22213
1149.88/1154.09 c #Conflicts: 401000 | #Constraints: 23213
1149.88/1154.09 c #Conflicts: 402000 | #Constraints: 24213
1149.88/1154.09 c #Conflicts: 403000 | #Constraints: 25213
1149.88/1154.09 c #Conflicts: 404000 | #Constraints: 26213
1149.88/1154.09 c #Conflicts: 405000 | #Constraints: 27213
1149.88/1154.09 c #Conflicts: 406000 | #Constraints: 28213
1149.88/1154.09 c #Conflicts: 407000 | #Constraints: 29213
1149.88/1154.09 c INPROCESSING
1149.88/1154.09 c GARBAGE COLLECT
1149.88/1154.09 c #Conflicts: 408000 | #Constraints: 17609
1149.88/1154.09 c #Conflicts: 409000 | #Constraints: 18609
1149.88/1154.09 c #Conflicts: 410000 | #Constraints: 19609
1149.88/1154.09 c #Conflicts: 411000 | #Constraints: 20609
1149.88/1154.09 c #Conflicts: 412000 | #Constraints: 21609
1149.88/1154.09 c #Conflicts: 413000 | #Constraints: 22609
1149.88/1154.09 c #Conflicts: 414000 | #Constraints: 23609
1149.88/1154.09 c #Conflicts: 415000 | #Constraints: 24609
1149.88/1154.09 c #Conflicts: 416000 | #Constraints: 25609
1149.88/1154.09 c #Conflicts: 417000 | #Constraints: 26609
1149.88/1154.09 c #Conflicts: 418000 | #Constraints: 27609
1149.88/1154.09 c #Conflicts: 419000 | #Constraints: 28609
1149.88/1154.09 c #Conflicts: 420000 | #Constraints: 29609
1149.88/1154.09 c INPROCESSING
1149.88/1154.09 c GARBAGE COLLECT
1149.88/1154.09 c #Conflicts: 421000 | #Constraints: 17810
1149.88/1154.09 c #Conflicts: 422000 | #Constraints: 18810
1149.88/1154.09 c #Conflicts: 423000 | #Constraints: 19810
1149.88/1154.09 c #Conflicts: 424000 | #Constraints: 20810
1149.88/1154.09 c #Conflicts: 425000 | #Constraints: 21810
1149.88/1154.09 c #Conflicts: 426000 | #Constraints: 22810
1149.88/1154.09 c #Conflicts: 427000 | #Constraints: 23810
1149.88/1154.09 c #Conflicts: 428000 | #Constraints: 24810
1149.88/1154.09 c #Conflicts: 429000 | #Constraints: 25810
1149.88/1154.09 c #Conflicts: 430000 | #Constraints: 26810
1149.88/1154.09 c #Conflicts: 431000 | #Constraints: 27810
1149.88/1154.09 c #Conflicts: 432000 | #Constraints: 28810
1149.88/1154.09 c #Conflicts: 433000 | #Constraints: 29810
1149.88/1154.09 c INPROCESSING
1149.88/1154.09 c GARBAGE COLLECT
1149.88/1154.09 c #Conflicts: 434000 | #Constraints: 17818
1149.88/1154.09 c #Conflicts: 435000 | #Constraints: 18818
1149.88/1154.09 c #Conflicts: 436000 | #Constraints: 19818
1317.95/1322.72 c #Conflicts: 437000 | #Constraints: 20818
1317.95/1322.72 c #Conflicts: 438000 | #Constraints: 21818
1317.95/1322.72 c #Conflicts: 439000 | #Constraints: 22818
1317.95/1322.72 c #Conflicts: 440000 | #Constraints: 23818
1317.95/1322.72 c #Conflicts: 441000 | #Constraints: 24818
1317.95/1322.72 c #Conflicts: 442000 | #Constraints: 25818
1317.95/1322.72 c #Conflicts: 443000 | #Constraints: 26818
1317.95/1322.72 c #Conflicts: 444000 | #Constraints: 27818
1317.95/1322.72 c #Conflicts: 445000 | #Constraints: 28818
1317.95/1322.72 c #Conflicts: 446000 | #Constraints: 29818
1317.95/1322.72 c INPROCESSING
1317.95/1322.72 c GARBAGE COLLECT
1317.95/1322.72 c #Conflicts: 447000 | #Constraints: 17621
1317.95/1322.72 c #Conflicts: 448000 | #Constraints: 18621
1317.95/1322.72 c #Conflicts: 449000 | #Constraints: 19621
1317.95/1322.72 c #Conflicts: 450000 | #Constraints: 20621
1317.95/1322.72 c #Conflicts: 451000 | #Constraints: 21621
1317.95/1322.72 c #Conflicts: 452000 | #Constraints: 22621
1317.95/1322.72 c #Conflicts: 453000 | #Constraints: 23621
1317.95/1322.72 c #Conflicts: 454000 | #Constraints: 24621
1317.95/1322.72 c #Conflicts: 455000 | #Constraints: 25621
1317.95/1322.72 c #Conflicts: 456000 | #Constraints: 26621
1317.95/1322.72 c #Conflicts: 457000 | #Constraints: 27621
1317.95/1322.72 c #Conflicts: 458000 | #Constraints: 28621
1317.95/1322.72 c #Conflicts: 459000 | #Constraints: 29621
1317.95/1322.72 c #Conflicts: 460000 | #Constraints: 30621
1317.95/1322.72 c INPROCESSING
1317.95/1322.72 c GARBAGE COLLECT
1317.95/1322.72 c #Conflicts: 461000 | #Constraints: 18214
1317.95/1322.72 c #Conflicts: 462000 | #Constraints: 19214
1317.95/1322.72 c #Conflicts: 463000 | #Constraints: 20214
1317.95/1322.72 c #Conflicts: 464000 | #Constraints: 21214
1317.95/1322.72 c #Conflicts: 465000 | #Constraints: 22214
1317.95/1322.72 c #Conflicts: 466000 | #Constraints: 23214
1317.95/1322.72 c #Conflicts: 467000 | #Constraints: 24214
1317.95/1322.72 c #Conflicts: 468000 | #Constraints: 25214
1317.95/1322.72 c #Conflicts: 469000 | #Constraints: 26214
1317.95/1322.72 c #Conflicts: 470000 | #Constraints: 27214
1317.95/1322.72 c #Conflicts: 471000 | #Constraints: 28214
1317.95/1322.72 c #Conflicts: 472000 | #Constraints: 29214
1317.95/1322.72 c #Conflicts: 473000 | #Constraints: 30214
1317.95/1322.72 c #Conflicts: 474000 | #Constraints: 31214
1317.95/1322.72 c INPROCESSING
1317.95/1322.72 c GARBAGE COLLECT
1317.95/1322.72 c #Conflicts: 475000 | #Constraints: 18612
1317.95/1322.72 c #Conflicts: 476000 | #Constraints: 19612
1317.95/1322.72 c #Conflicts: 477000 | #Constraints: 20612
1317.95/1322.72 c #Conflicts: 478000 | #Constraints: 21612
1317.95/1322.72 c #Conflicts: 479000 | #Constraints: 22612
1317.95/1322.72 c #Conflicts: 480000 | #Constraints: 23612
1317.95/1322.72 c #Conflicts: 481000 | #Constraints: 24612
1317.95/1322.72 c #Conflicts: 482000 | #Constraints: 25612
1317.95/1322.72 c #Conflicts: 483000 | #Constraints: 26612
1317.95/1322.72 c #Conflicts: 484000 | #Constraints: 27612
1317.95/1322.72 c #Conflicts: 485000 | #Constraints: 28612
1317.95/1322.72 c #Conflicts: 486000 | #Constraints: 29612
1317.95/1322.72 c #Conflicts: 487000 | #Constraints: 30612
1317.95/1322.72 c #Conflicts: 488000 | #Constraints: 31612
1317.95/1322.72 c INPROCESSING
1317.95/1322.72 c GARBAGE COLLECT
1317.95/1322.72 c #Conflicts: 489000 | #Constraints: 18820
1317.95/1322.72 c #Conflicts: 490000 | #Constraints: 19820
1317.95/1322.72 c #Conflicts: 491000 | #Constraints: 20820
1317.95/1322.72 c #Conflicts: 492000 | #Constraints: 21820
1317.95/1322.72 c #Conflicts: 493000 | #Constraints: 22820
1317.95/1322.72 c #Conflicts: 494000 | #Constraints: 23820
1317.95/1322.72 c #Conflicts: 495000 | #Constraints: 24820
1317.95/1322.72 c #Conflicts: 496000 | #Constraints: 25820
1317.95/1322.72 c #Conflicts: 497000 | #Constraints: 26820
1317.95/1322.72 c #Conflicts: 498000 | #Constraints: 27820
1317.95/1322.72 c #Conflicts: 499000 | #Constraints: 28820
1317.95/1322.72 c #Conflicts: 500000 | #Constraints: 29820
1317.95/1322.72 c #Conflicts: 501000 | #Constraints: 30820
1317.95/1322.72 c #Conflicts: 502000 | #Constraints: 31820
1317.95/1322.72 c INPROCESSING
1317.95/1322.72 c GARBAGE COLLECT
1317.95/1322.72 c #Conflicts: 503000 | #Constraints: 18825
1317.95/1322.72 c #Conflicts: 504000 | #Constraints: 19825
1317.95/1322.72 c #Conflicts: 505000 | #Constraints: 20825
1317.95/1322.72 c #Conflicts: 506000 | #Constraints: 21825
1317.95/1322.72 c #Conflicts: 507000 | #Constraints: 22825
1317.95/1322.72 c #Conflicts: 508000 | #Constraints: 23825
1317.95/1322.72 c #Conflicts: 509000 | #Constraints: 24825
1317.95/1322.72 c #Conflicts: 510000 | #Constraints: 25825
1317.95/1322.72 c #Conflicts: 511000 | #Constraints: 26825
1507.00/1512.44 c #Conflicts: 512000 | #Constraints: 27825
1507.00/1512.44 c #Conflicts: 513000 | #Constraints: 28825
1507.00/1512.44 c #Conflicts: 514000 | #Constraints: 29825
1507.00/1512.44 c #Conflicts: 515000 | #Constraints: 30825
1507.00/1512.44 c #Conflicts: 516000 | #Constraints: 31825
1507.00/1512.44 c INPROCESSING
1507.00/1512.44 c GARBAGE COLLECT
1507.00/1512.44 c #Conflicts: 517000 | #Constraints: 18624
1507.00/1512.44 c #Conflicts: 518000 | #Constraints: 19624
1507.00/1512.44 c #Conflicts: 519000 | #Constraints: 20624
1507.00/1512.44 c #Conflicts: 520000 | #Constraints: 21624
1507.00/1512.44 c #Conflicts: 521000 | #Constraints: 22624
1507.00/1512.44 c #Conflicts: 522000 | #Constraints: 23624
1507.00/1512.44 c #Conflicts: 523000 | #Constraints: 24624
1507.00/1512.44 c #Conflicts: 524000 | #Constraints: 25624
1507.00/1512.44 c #Conflicts: 525000 | #Constraints: 26624
1507.00/1512.44 c #Conflicts: 526000 | #Constraints: 27624
1507.00/1512.44 c #Conflicts: 527000 | #Constraints: 28624
1507.00/1512.44 c #Conflicts: 528000 | #Constraints: 29624
1507.00/1512.44 c #Conflicts: 529000 | #Constraints: 30624
1507.00/1512.44 c #Conflicts: 530000 | #Constraints: 31624
1507.00/1512.44 c #Conflicts: 531000 | #Constraints: 32624
1507.00/1512.44 c INPROCESSING
1507.00/1512.44 c GARBAGE COLLECT
1507.00/1512.44 c #Conflicts: 532000 | #Constraints: 19221
1507.00/1512.44 c #Conflicts: 533000 | #Constraints: 20221
1507.00/1512.44 c #Conflicts: 534000 | #Constraints: 21221
1507.00/1512.44 c #Conflicts: 535000 | #Constraints: 22221
1507.00/1512.44 c #Conflicts: 536000 | #Constraints: 23221
1507.00/1512.44 c #Conflicts: 537000 | #Constraints: 24221
1507.00/1512.44 c #Conflicts: 538000 | #Constraints: 25221
1507.00/1512.44 c #Conflicts: 539000 | #Constraints: 26221
1507.00/1512.44 c #Conflicts: 540000 | #Constraints: 27221
1507.00/1512.44 c #Conflicts: 541000 | #Constraints: 28221
1507.00/1512.44 c #Conflicts: 542000 | #Constraints: 29221
1507.00/1512.44 c #Conflicts: 543000 | #Constraints: 30221
1507.00/1512.44 c #Conflicts: 544000 | #Constraints: 31221
1507.00/1512.44 c #Conflicts: 545000 | #Constraints: 32221
1507.00/1512.44 c #Conflicts: 546000 | #Constraints: 33221
1507.00/1512.44 c INPROCESSING
1507.00/1512.44 c GARBAGE COLLECT
1507.00/1512.44 c #Conflicts: 547000 | #Constraints: 19613
1507.00/1512.44 c #Conflicts: 548000 | #Constraints: 20613
1507.00/1512.44 c #Conflicts: 549000 | #Constraints: 21613
1507.00/1512.44 c #Conflicts: 550000 | #Constraints: 22613
1507.00/1512.44 c #Conflicts: 551000 | #Constraints: 23613
1507.00/1512.44 c #Conflicts: 552000 | #Constraints: 24613
1507.00/1512.44 c #Conflicts: 553000 | #Constraints: 25613
1507.00/1512.44 c #Conflicts: 554000 | #Constraints: 26613
1507.00/1512.44 c #Conflicts: 555000 | #Constraints: 27613
1507.00/1512.44 c #Conflicts: 556000 | #Constraints: 28613
1507.00/1512.44 c #Conflicts: 557000 | #Constraints: 29613
1507.00/1512.44 c #Conflicts: 558000 | #Constraints: 30613
1507.00/1512.44 c #Conflicts: 559000 | #Constraints: 31613
1507.00/1512.44 c #Conflicts: 560000 | #Constraints: 32613
1507.00/1512.44 c #Conflicts: 561000 | #Constraints: 33613
1507.00/1512.44 c INPROCESSING
1507.00/1512.44 c GARBAGE COLLECT
1507.00/1512.44 c #Conflicts: 562000 | #Constraints: 19815
1507.00/1512.44 c #Conflicts: 563000 | #Constraints: 20815
1507.00/1512.44 c #Conflicts: 564000 | #Constraints: 21815
1507.00/1512.44 c #Conflicts: 565000 | #Constraints: 22815
1507.00/1512.44 c #Conflicts: 566000 | #Constraints: 23815
1507.00/1512.44 c #Conflicts: 567000 | #Constraints: 24815
1507.00/1512.44 c #Conflicts: 568000 | #Constraints: 25815
1507.00/1512.44 c #Conflicts: 569000 | #Constraints: 26815
1507.00/1512.44 c #Conflicts: 570000 | #Constraints: 27815
1507.00/1512.44 c #Conflicts: 571000 | #Constraints: 28815
1507.00/1512.44 c #Conflicts: 572000 | #Constraints: 29815
1507.00/1512.44 c #Conflicts: 573000 | #Constraints: 30815
1507.00/1512.44 c #Conflicts: 574000 | #Constraints: 31815
1507.00/1512.44 c #Conflicts: 575000 | #Constraints: 32815
1507.00/1512.44 c #Conflicts: 576000 | #Constraints: 33815
1507.00/1512.44 c INPROCESSING
1507.00/1512.44 c GARBAGE COLLECT
1507.00/1512.44 c #Conflicts: 577000 | #Constraints: 19808
1507.00/1512.44 c #Conflicts: 578000 | #Constraints: 20808
1507.00/1512.44 c #Conflicts: 579000 | #Constraints: 21808
1507.00/1512.44 c #Conflicts: 580000 | #Constraints: 22808
1507.00/1512.44 c #Conflicts: 581000 | #Constraints: 23808
1507.00/1512.44 c #Conflicts: 582000 | #Constraints: 24808
1507.00/1512.44 c #Conflicts: 583000 | #Constraints: 25808
1507.00/1512.44 c #Conflicts: 584000 | #Constraints: 26808
1507.00/1512.44 c #Conflicts: 585000 | #Constraints: 27808
1507.00/1512.44 c #Conflicts: 586000 | #Constraints: 28808
1507.00/1512.44 c #Conflicts: 587000 | #Constraints: 29808
1738.57/1744.75 c #Conflicts: 588000 | #Constraints: 30808
1738.57/1744.75 c #Conflicts: 589000 | #Constraints: 31808
1738.57/1744.75 c #Conflicts: 590000 | #Constraints: 32808
1738.57/1744.75 c #Conflicts: 591000 | #Constraints: 33808
1738.57/1744.75 c INPROCESSING
1738.57/1744.75 c GARBAGE COLLECT
1738.57/1744.75 c #Conflicts: 592000 | #Constraints: 19606
1738.57/1744.75 c #Conflicts: 593000 | #Constraints: 20606
1738.57/1744.75 c #Conflicts: 594000 | #Constraints: 21606
1738.57/1744.75 c #Conflicts: 595000 | #Constraints: 22606
1738.57/1744.75 c #Conflicts: 596000 | #Constraints: 23606
1738.57/1744.75 c #Conflicts: 597000 | #Constraints: 24606
1738.57/1744.75 c #Conflicts: 598000 | #Constraints: 25606
1738.57/1744.75 c #Conflicts: 599000 | #Constraints: 26606
1738.57/1744.75 c #Conflicts: 600000 | #Constraints: 27606
1738.57/1744.75 c #Conflicts: 601000 | #Constraints: 28606
1738.57/1744.75 c #Conflicts: 602000 | #Constraints: 29606
1738.57/1744.75 c #Conflicts: 603000 | #Constraints: 30606
1738.57/1744.75 c #Conflicts: 604000 | #Constraints: 31606
1738.57/1744.75 c #Conflicts: 605000 | #Constraints: 32606
1738.57/1744.75 c #Conflicts: 606000 | #Constraints: 33606
1738.57/1744.75 c #Conflicts: 607000 | #Constraints: 34606
1738.57/1744.75 c INPROCESSING
1738.57/1744.75 c GARBAGE COLLECT
1738.57/1744.75 c #Conflicts: 608000 | #Constraints: 20209
1738.57/1744.75 c #Conflicts: 609000 | #Constraints: 21209
1738.57/1744.75 c #Conflicts: 610000 | #Constraints: 22209
1738.57/1744.75 c #Conflicts: 611000 | #Constraints: 23209
1738.57/1744.75 c #Conflicts: 612000 | #Constraints: 24209
1738.57/1744.75 c #Conflicts: 613000 | #Constraints: 25209
1738.57/1744.75 c #Conflicts: 614000 | #Constraints: 26209
1738.57/1744.75 c #Conflicts: 615000 | #Constraints: 27209
1738.57/1744.75 c #Conflicts: 616000 | #Constraints: 28209
1738.57/1744.75 c #Conflicts: 617000 | #Constraints: 29209
1738.57/1744.75 c #Conflicts: 618000 | #Constraints: 30209
1738.57/1744.75 c #Conflicts: 619000 | #Constraints: 31209
1738.57/1744.75 c #Conflicts: 620000 | #Constraints: 32209
1738.57/1744.75 c #Conflicts: 621000 | #Constraints: 33209
1738.57/1744.75 c #Conflicts: 622000 | #Constraints: 34209
1738.57/1744.75 c #Conflicts: 623000 | #Constraints: 35209
1738.57/1744.75 c INPROCESSING
1738.57/1744.75 c GARBAGE COLLECT
1738.57/1744.75 c #Conflicts: 624000 | #Constraints: 20609
1738.57/1744.75 c #Conflicts: 625000 | #Constraints: 21609
1738.57/1744.75 c #Conflicts: 626000 | #Constraints: 22609
1738.57/1744.75 c #Conflicts: 627000 | #Constraints: 23609
1738.57/1744.75 c #Conflicts: 628000 | #Constraints: 24609
1738.57/1744.75 c #Conflicts: 629000 | #Constraints: 25609
1738.57/1744.75 c #Conflicts: 630000 | #Constraints: 26609
1738.57/1744.75 c #Conflicts: 631000 | #Constraints: 27609
1738.57/1744.75 c #Conflicts: 632000 | #Constraints: 28609
1738.57/1744.75 c #Conflicts: 633000 | #Constraints: 29609
1738.57/1744.75 c #Conflicts: 634000 | #Constraints: 30609
1738.57/1744.75 c #Conflicts: 635000 | #Constraints: 31609
1738.57/1744.75 c #Conflicts: 636000 | #Constraints: 32609
1738.57/1744.75 c #Conflicts: 637000 | #Constraints: 33609
1738.57/1744.75 c #Conflicts: 638000 | #Constraints: 34609
1738.57/1744.75 c #Conflicts: 639000 | #Constraints: 35609
1738.57/1744.75 c INPROCESSING
1738.57/1744.75 c GARBAGE COLLECT
1738.57/1744.75 c #Conflicts: 640000 | #Constraints: 20803
1738.57/1744.75 c #Conflicts: 641000 | #Constraints: 21803
1738.57/1744.75 c #Conflicts: 642000 | #Constraints: 22803
1738.57/1744.75 c #Conflicts: 643000 | #Constraints: 23803
1738.57/1744.75 c #Conflicts: 644000 | #Constraints: 24803
1738.57/1744.75 c #Conflicts: 645000 | #Constraints: 25803
1738.57/1744.75 c #Conflicts: 646000 | #Constraints: 26803
1738.57/1744.75 c #Conflicts: 647000 | #Constraints: 27803
1738.57/1744.75 c #Conflicts: 648000 | #Constraints: 28803
1738.57/1744.75 c #Conflicts: 649000 | #Constraints: 29803
1738.57/1744.75 c #Conflicts: 650000 | #Constraints: 30803
1738.57/1744.75 c #Conflicts: 651000 | #Constraints: 31803
1738.57/1744.75 c #Conflicts: 652000 | #Constraints: 32803
1738.57/1744.75 c #Conflicts: 653000 | #Constraints: 33803
1738.57/1744.75 c #Conflicts: 654000 | #Constraints: 34803
1738.57/1744.75 c #Conflicts: 655000 | #Constraints: 35803
1738.57/1744.75 c INPROCESSING
1738.57/1744.75 c GARBAGE COLLECT
1738.57/1744.75 c #Conflicts: 656000 | #Constraints: 20809
1738.57/1744.75 c #Conflicts: 657000 | #Constraints: 21809
1738.57/1744.75 c #Conflicts: 658000 | #Constraints: 22809
1738.57/1744.75 c #Conflicts: 659000 | #Constraints: 23809
1738.57/1744.75 c #Conflicts: 660000 | #Constraints: 24809
1738.57/1744.75 c #Conflicts: 661000 | #Constraints: 25809
1738.57/1744.75 c #Conflicts: 662000 | #Constraints: 26809
1738.57/1744.75 c #Conflicts: 663000 | #Constraints: 27809
1995.25/2002.23 c #Conflicts: 664000 | #Constraints: 28809
1995.25/2002.23 c #Conflicts: 665000 | #Constraints: 29809
1995.25/2002.23 c #Conflicts: 666000 | #Constraints: 30809
1995.25/2002.23 c #Conflicts: 667000 | #Constraints: 31809
1995.25/2002.23 c #Conflicts: 668000 | #Constraints: 32809
1995.25/2002.23 c #Conflicts: 669000 | #Constraints: 33809
1995.25/2002.23 c #Conflicts: 670000 | #Constraints: 34809
1995.25/2002.23 c #Conflicts: 671000 | #Constraints: 35809
1995.25/2002.23 c INPROCESSING
1995.25/2002.23 c GARBAGE COLLECT
1995.25/2002.23 c #Conflicts: 672000 | #Constraints: 20607
1995.25/2002.23 c #Conflicts: 673000 | #Constraints: 21607
1995.25/2002.23 c #Conflicts: 674000 | #Constraints: 22607
1995.25/2002.23 c #Conflicts: 675000 | #Constraints: 23607
1995.25/2002.23 c #Conflicts: 676000 | #Constraints: 24607
1995.25/2002.23 c #Conflicts: 677000 | #Constraints: 25607
1995.25/2002.23 c #Conflicts: 678000 | #Constraints: 26607
1995.25/2002.23 c #Conflicts: 679000 | #Constraints: 27607
1995.25/2002.23 c #Conflicts: 680000 | #Constraints: 28607
1995.25/2002.23 c #Conflicts: 681000 | #Constraints: 29607
1995.25/2002.23 c #Conflicts: 682000 | #Constraints: 30607
1995.25/2002.23 c #Conflicts: 683000 | #Constraints: 31607
1995.25/2002.23 c #Conflicts: 684000 | #Constraints: 32607
1995.25/2002.23 c #Conflicts: 685000 | #Constraints: 33607
1995.25/2002.23 c #Conflicts: 686000 | #Constraints: 34607
1995.25/2002.23 c #Conflicts: 687000 | #Constraints: 35607
1995.25/2002.23 c #Conflicts: 688000 | #Constraints: 36607
1995.25/2002.23 c INPROCESSING
1995.25/2002.23 c GARBAGE COLLECT
1995.25/2002.23 c #Conflicts: 689000 | #Constraints: 21208
1995.25/2002.23 c #Conflicts: 690000 | #Constraints: 22208
1995.25/2002.23 c #Conflicts: 691000 | #Constraints: 23208
1995.25/2002.23 c #Conflicts: 692000 | #Constraints: 24208
1995.25/2002.23 c #Conflicts: 693000 | #Constraints: 25208
1995.25/2002.23 c #Conflicts: 694000 | #Constraints: 26208
1995.25/2002.23 c #Conflicts: 695000 | #Constraints: 27208
1995.25/2002.23 c #Conflicts: 696000 | #Constraints: 28208
1995.25/2002.23 c #Conflicts: 697000 | #Constraints: 29208
1995.25/2002.23 c #Conflicts: 698000 | #Constraints: 30208
1995.25/2002.23 c #Conflicts: 699000 | #Constraints: 31208
1995.25/2002.23 c #Conflicts: 700000 | #Constraints: 32208
1995.25/2002.23 c #Conflicts: 701000 | #Constraints: 33208
1995.25/2002.23 c #Conflicts: 702000 | #Constraints: 34208
1995.25/2002.23 c #Conflicts: 703000 | #Constraints: 35208
1995.25/2002.23 c #Conflicts: 704000 | #Constraints: 36208
1995.25/2002.23 c #Conflicts: 705000 | #Constraints: 37208
1995.25/2002.23 c INPROCESSING
1995.25/2002.23 c GARBAGE COLLECT
1995.25/2002.23 c #Conflicts: 706000 | #Constraints: 21605
1995.25/2002.23 c #Conflicts: 707000 | #Constraints: 22605
1995.25/2002.23 c #Conflicts: 708000 | #Constraints: 23605
1995.25/2002.23 c #Conflicts: 709000 | #Constraints: 24605
1995.25/2002.23 c #Conflicts: 710000 | #Constraints: 25605
1995.25/2002.23 c #Conflicts: 711000 | #Constraints: 26605
1995.25/2002.23 c #Conflicts: 712000 | #Constraints: 27605
1995.25/2002.23 c #Conflicts: 713000 | #Constraints: 28605
1995.25/2002.23 c #Conflicts: 714000 | #Constraints: 29605
1995.25/2002.23 c #Conflicts: 715000 | #Constraints: 30605
1995.25/2002.23 c #Conflicts: 716000 | #Constraints: 31605
1995.25/2002.23 c #Conflicts: 717000 | #Constraints: 32605
1995.25/2002.23 c #Conflicts: 718000 | #Constraints: 33605
1995.25/2002.23 c #Conflicts: 719000 | #Constraints: 34605
1995.25/2002.23 c #Conflicts: 720000 | #Constraints: 35605
1995.25/2002.23 c #Conflicts: 721000 | #Constraints: 36605
1995.25/2002.23 c #Conflicts: 722000 | #Constraints: 37605
1995.25/2002.23 c INPROCESSING
1995.25/2002.23 c GARBAGE COLLECT
1995.25/2002.23 c #Conflicts: 723000 | #Constraints: 21805
1995.25/2002.23 c #Conflicts: 724000 | #Constraints: 22805
1995.25/2002.23 c #Conflicts: 725000 | #Constraints: 23805
1995.25/2002.23 c #Conflicts: 726000 | #Constraints: 24805
1995.25/2002.23 c #Conflicts: 727000 | #Constraints: 25805
1995.25/2002.23 c #Conflicts: 728000 | #Constraints: 26805
1995.25/2002.23 c #Conflicts: 729000 | #Constraints: 27805
1995.25/2002.23 c #Conflicts: 730000 | #Constraints: 28805
1995.25/2002.23 c #Conflicts: 731000 | #Constraints: 29805
1995.25/2002.23 c #Conflicts: 732000 | #Constraints: 30805
1995.25/2002.23 c #Conflicts: 733000 | #Constraints: 31805
1995.25/2002.23 c #Conflicts: 734000 | #Constraints: 32805
1995.25/2002.23 c #Conflicts: 735000 | #Constraints: 33805
1995.25/2002.23 c #Conflicts: 736000 | #Constraints: 34805
1995.25/2002.23 c #Conflicts: 737000 | #Constraints: 35805
1995.25/2002.23 c #Conflicts: 738000 | #Constraints: 36805
1995.25/2002.23 c #Conflicts: 739000 | #Constraints: 37805
2240.06/2247.89 c INPROCESSING
2240.06/2247.89 c GARBAGE COLLECT
2240.06/2247.89 c #Conflicts: 740000 | #Constraints: 21810
2240.06/2247.89 c #Conflicts: 741000 | #Constraints: 22810
2240.06/2247.89 c #Conflicts: 742000 | #Constraints: 23810
2240.06/2247.89 c #Conflicts: 743000 | #Constraints: 24810
2240.06/2247.89 c #Conflicts: 744000 | #Constraints: 25810
2240.06/2247.89 c #Conflicts: 745000 | #Constraints: 26810
2240.06/2247.89 c #Conflicts: 746000 | #Constraints: 27810
2240.06/2247.89 c #Conflicts: 747000 | #Constraints: 28810
2240.06/2247.89 c #Conflicts: 748000 | #Constraints: 29810
2240.06/2247.89 c #Conflicts: 749000 | #Constraints: 30810
2240.06/2247.89 c #Conflicts: 750000 | #Constraints: 31810
2240.06/2247.89 c #Conflicts: 751000 | #Constraints: 32810
2240.06/2247.89 c #Conflicts: 752000 | #Constraints: 33810
2240.06/2247.89 c #Conflicts: 753000 | #Constraints: 34810
2240.06/2247.89 c #Conflicts: 754000 | #Constraints: 35810
2240.06/2247.89 c #Conflicts: 755000 | #Constraints: 36810
2240.06/2247.89 c #Conflicts: 756000 | #Constraints: 37810
2240.06/2247.89 c INPROCESSING
2240.06/2247.89 c GARBAGE COLLECT
2240.06/2247.89 c #Conflicts: 757000 | #Constraints: 21606
2240.06/2247.89 c #Conflicts: 758000 | #Constraints: 22606
2240.06/2247.89 c #Conflicts: 759000 | #Constraints: 23606
2240.06/2247.89 c #Conflicts: 760000 | #Constraints: 24606
2240.06/2247.89 c #Conflicts: 761000 | #Constraints: 25606
2240.06/2247.89 c #Conflicts: 762000 | #Constraints: 26606
2240.06/2247.89 c #Conflicts: 763000 | #Constraints: 27606
2240.06/2247.89 c #Conflicts: 764000 | #Constraints: 28606
2240.06/2247.89 c #Conflicts: 765000 | #Constraints: 29606
2240.06/2247.89 c #Conflicts: 766000 | #Constraints: 30606
2240.06/2247.89 c #Conflicts: 767000 | #Constraints: 31606
2240.06/2247.89 c #Conflicts: 768000 | #Constraints: 32606
2240.06/2247.89 c #Conflicts: 769000 | #Constraints: 33606
2240.06/2247.89 c #Conflicts: 770000 | #Constraints: 34606
2240.06/2247.89 c #Conflicts: 771000 | #Constraints: 35606
2240.06/2247.89 c #Conflicts: 772000 | #Constraints: 36606
2240.06/2247.89 c #Conflicts: 773000 | #Constraints: 37606
2240.06/2247.89 c #Conflicts: 774000 | #Constraints: 38606
2240.06/2247.89 c INPROCESSING
2240.06/2247.89 c GARBAGE COLLECT
2240.06/2247.89 c #Conflicts: 775000 | #Constraints: 22207
2240.06/2247.89 c #Conflicts: 776000 | #Constraints: 23207
2240.06/2247.89 c #Conflicts: 777000 | #Constraints: 24207
2240.06/2247.89 c #Conflicts: 778000 | #Constraints: 25207
2240.06/2247.89 c #Conflicts: 779000 | #Constraints: 26207
2240.06/2247.89 c #Conflicts: 780000 | #Constraints: 27207
2240.06/2247.89 c #Conflicts: 781000 | #Constraints: 28207
2240.06/2247.89 c #Conflicts: 782000 | #Constraints: 29207
2240.06/2247.89 c #Conflicts: 783000 | #Constraints: 30207
2240.06/2247.89 c #Conflicts: 784000 | #Constraints: 31207
2240.06/2247.89 c #Conflicts: 785000 | #Constraints: 32207
2240.06/2247.89 c #Conflicts: 786000 | #Constraints: 33207
2240.06/2247.89 c #Conflicts: 787000 | #Constraints: 34207
2240.06/2247.89 c #Conflicts: 788000 | #Constraints: 35207
2240.06/2247.89 c #Conflicts: 789000 | #Constraints: 36207
2240.06/2247.89 c #Conflicts: 790000 | #Constraints: 37207
2240.06/2247.89 c #Conflicts: 791000 | #Constraints: 38207
2240.06/2247.89 c #Conflicts: 792000 | #Constraints: 39207
2240.06/2247.89 c INPROCESSING
2240.06/2247.89 c GARBAGE COLLECT
2240.06/2247.89 c #Conflicts: 793000 | #Constraints: 22606
2240.06/2247.89 c #Conflicts: 794000 | #Constraints: 23606
2240.06/2247.89 c #Conflicts: 795000 | #Constraints: 24606
2240.06/2247.89 c #Conflicts: 796000 | #Constraints: 25606
2240.06/2247.89 c #Conflicts: 797000 | #Constraints: 26606
2240.06/2247.89 c #Conflicts: 798000 | #Constraints: 27606
2240.06/2247.89 c #Conflicts: 799000 | #Constraints: 28606
2240.06/2247.89 c #Conflicts: 800000 | #Constraints: 29606
2240.06/2247.89 c #Conflicts: 801000 | #Constraints: 30606
2240.06/2247.89 c #Conflicts: 802000 | #Constraints: 31606
2240.06/2247.89 c #Conflicts: 803000 | #Constraints: 32606
2240.06/2247.89 c #Conflicts: 804000 | #Constraints: 33606
2240.06/2247.89 c #Conflicts: 805000 | #Constraints: 34606
2240.06/2247.89 c #Conflicts: 806000 | #Constraints: 35606
2240.06/2247.89 c #Conflicts: 807000 | #Constraints: 36606
2240.06/2247.89 c #Conflicts: 808000 | #Constraints: 37606
2240.06/2247.89 c #Conflicts: 809000 | #Constraints: 38606
2240.06/2247.89 c #Conflicts: 810000 | #Constraints: 39606
2240.06/2247.89 c INPROCESSING
2240.06/2247.89 c GARBAGE COLLECT
2240.06/2247.89 c #Conflicts: 811000 | #Constraints: 22808
2240.06/2247.89 c #Conflicts: 812000 | #Constraints: 23808
2240.06/2247.89 c #Conflicts: 813000 | #Constraints: 24808
2240.06/2247.89 c #Conflicts: 814000 | #Constraints: 25808
2493.64/2502.24 c #Conflicts: 815000 | #Constraints: 26808
2493.64/2502.24 c #Conflicts: 816000 | #Constraints: 27808
2493.64/2502.24 c #Conflicts: 817000 | #Constraints: 28808
2493.64/2502.24 c #Conflicts: 818000 | #Constraints: 29808
2493.64/2502.24 c #Conflicts: 819000 | #Constraints: 30808
2493.64/2502.24 c #Conflicts: 820000 | #Constraints: 31808
2493.64/2502.24 c #Conflicts: 821000 | #Constraints: 32808
2493.64/2502.24 c #Conflicts: 822000 | #Constraints: 33808
2493.64/2502.24 c #Conflicts: 823000 | #Constraints: 34808
2493.64/2502.24 c #Conflicts: 824000 | #Constraints: 35808
2493.64/2502.24 c #Conflicts: 825000 | #Constraints: 36808
2493.64/2502.24 c #Conflicts: 826000 | #Constraints: 37808
2493.64/2502.24 c #Conflicts: 827000 | #Constraints: 38808
2493.64/2502.24 c #Conflicts: 828000 | #Constraints: 39808
2493.64/2502.24 c INPROCESSING
2493.64/2502.24 c GARBAGE COLLECT
2493.64/2502.24 c #Conflicts: 829000 | #Constraints: 22806
2493.64/2502.24 c #Conflicts: 830000 | #Constraints: 23806
2493.64/2502.24 c #Conflicts: 831000 | #Constraints: 24806
2493.64/2502.24 c #Conflicts: 832000 | #Constraints: 25806
2493.64/2502.24 c #Conflicts: 833000 | #Constraints: 26806
2493.64/2502.24 c #Conflicts: 834000 | #Constraints: 27806
2493.64/2502.24 c #Conflicts: 835000 | #Constraints: 28806
2493.64/2502.24 c #Conflicts: 836000 | #Constraints: 29806
2493.64/2502.24 c #Conflicts: 837000 | #Constraints: 30806
2493.64/2502.24 c #Conflicts: 838000 | #Constraints: 31806
2493.64/2502.24 c #Conflicts: 839000 | #Constraints: 32806
2493.64/2502.24 c #Conflicts: 840000 | #Constraints: 33806
2493.64/2502.24 c #Conflicts: 841000 | #Constraints: 34806
2493.64/2502.24 c #Conflicts: 842000 | #Constraints: 35806
2493.64/2502.24 c #Conflicts: 843000 | #Constraints: 36806
2493.64/2502.24 c #Conflicts: 844000 | #Constraints: 37806
2493.64/2502.24 c #Conflicts: 845000 | #Constraints: 38806
2493.64/2502.24 c #Conflicts: 846000 | #Constraints: 39806
2493.64/2502.24 c INPROCESSING
2493.64/2502.24 c GARBAGE COLLECT
2493.64/2502.24 c #Conflicts: 847000 | #Constraints: 22598
2493.64/2502.24 c #Conflicts: 848000 | #Constraints: 23598
2493.64/2502.24 c #Conflicts: 849000 | #Constraints: 24598
2493.64/2502.24 c #Conflicts: 850000 | #Constraints: 25598
2493.64/2502.24 c #Conflicts: 851000 | #Constraints: 26598
2493.64/2502.24 c #Conflicts: 852000 | #Constraints: 27598
2493.64/2502.24 c #Conflicts: 853000 | #Constraints: 28598
2493.64/2502.24 c #Conflicts: 854000 | #Constraints: 29598
2493.64/2502.24 c #Conflicts: 855000 | #Constraints: 30598
2493.64/2502.24 c #Conflicts: 856000 | #Constraints: 31598
2493.64/2502.24 c #Conflicts: 857000 | #Constraints: 32598
2493.64/2502.24 c #Conflicts: 858000 | #Constraints: 33598
2493.64/2502.24 c #Conflicts: 859000 | #Constraints: 34598
2493.64/2502.24 c #Conflicts: 860000 | #Constraints: 35598
2493.64/2502.24 c #Conflicts: 861000 | #Constraints: 36598
2493.64/2502.24 c #Conflicts: 862000 | #Constraints: 37598
2493.64/2502.24 c #Conflicts: 863000 | #Constraints: 38598
2493.64/2502.24 c #Conflicts: 864000 | #Constraints: 39598
2493.64/2502.24 c #Conflicts: 865000 | #Constraints: 40598
2493.64/2502.24 c INPROCESSING
2493.64/2502.24 c GARBAGE COLLECT
2493.64/2502.24 c #Conflicts: 866000 | #Constraints: 23197
2493.64/2502.24 c #Conflicts: 867000 | #Constraints: 24197
2493.64/2502.24 c #Conflicts: 868000 | #Constraints: 25197
2493.64/2502.24 c #Conflicts: 869000 | #Constraints: 26197
2493.64/2502.24 c #Conflicts: 870000 | #Constraints: 27197
2493.64/2502.24 c #Conflicts: 871000 | #Constraints: 28197
2493.64/2502.24 c #Conflicts: 872000 | #Constraints: 29197
2493.64/2502.24 c #Conflicts: 873000 | #Constraints: 30197
2493.64/2502.24 c #Conflicts: 874000 | #Constraints: 31197
2493.64/2502.24 c #Conflicts: 875000 | #Constraints: 32197
2493.64/2502.24 c #Conflicts: 876000 | #Constraints: 33197
2493.64/2502.24 c #Conflicts: 877000 | #Constraints: 34197
2493.64/2502.24 c #Conflicts: 878000 | #Constraints: 35197
2493.64/2502.24 c #Conflicts: 879000 | #Constraints: 36197
2493.64/2502.24 c #Conflicts: 880000 | #Constraints: 37197
2493.64/2502.24 c #Conflicts: 881000 | #Constraints: 38197
2493.64/2502.24 c #Conflicts: 882000 | #Constraints: 39197
2493.64/2502.24 c #Conflicts: 883000 | #Constraints: 40197
2493.64/2502.24 c #Conflicts: 884000 | #Constraints: 41197
2493.64/2502.24 c INPROCESSING
2493.64/2502.24 c GARBAGE COLLECT
2493.64/2502.24 c #Conflicts: 885000 | #Constraints: 23605
2493.64/2502.24 c #Conflicts: 886000 | #Constraints: 24605
2493.64/2502.24 c #Conflicts: 887000 | #Constraints: 25605
2493.64/2502.24 c #Conflicts: 888000 | #Constraints: 26605
2493.64/2502.24 c #Conflicts: 889000 | #Constraints: 27605
2493.64/2502.24 c #Conflicts: 890000 | #Constraints: 28605
2493.64/2502.24 c #Conflicts: 891000 | #Constraints: 29605
2766.16/2775.69 c #Conflicts: 892000 | #Constraints: 30605
2766.16/2775.69 c #Conflicts: 893000 | #Constraints: 31605
2766.16/2775.69 c #Conflicts: 894000 | #Constraints: 32605
2766.16/2775.69 c #Conflicts: 895000 | #Constraints: 33605
2766.16/2775.69 c #Conflicts: 896000 | #Constraints: 34605
2766.16/2775.69 c #Conflicts: 897000 | #Constraints: 35605
2766.16/2775.69 c #Conflicts: 898000 | #Constraints: 36605
2766.16/2775.69 c #Conflicts: 899000 | #Constraints: 37605
2766.16/2775.69 c #Conflicts: 900000 | #Constraints: 38605
2766.16/2775.69 c #Conflicts: 901000 | #Constraints: 39605
2766.16/2775.69 c #Conflicts: 902000 | #Constraints: 40605
2766.16/2775.69 c #Conflicts: 903000 | #Constraints: 41605
2766.16/2775.69 c INPROCESSING
2766.16/2775.69 c GARBAGE COLLECT
2766.16/2775.69 c #Conflicts: 904000 | #Constraints: 23808
2766.16/2775.69 c #Conflicts: 905000 | #Constraints: 24808
2766.16/2775.69 c #Conflicts: 906000 | #Constraints: 25808
2766.16/2775.69 c #Conflicts: 907000 | #Constraints: 26808
2766.16/2775.69 c #Conflicts: 908000 | #Constraints: 27808
2766.16/2775.69 c #Conflicts: 909000 | #Constraints: 28808
2766.16/2775.69 c #Conflicts: 910000 | #Constraints: 29808
2766.16/2775.69 c #Conflicts: 911000 | #Constraints: 30808
2766.16/2775.69 c #Conflicts: 912000 | #Constraints: 31808
2766.16/2775.69 c #Conflicts: 913000 | #Constraints: 32808
2766.16/2775.69 c #Conflicts: 914000 | #Constraints: 33808
2766.16/2775.69 c #Conflicts: 915000 | #Constraints: 34808
2766.16/2775.69 c #Conflicts: 916000 | #Constraints: 35808
2766.16/2775.69 c #Conflicts: 917000 | #Constraints: 36808
2766.16/2775.69 c #Conflicts: 918000 | #Constraints: 37808
2766.16/2775.69 c #Conflicts: 919000 | #Constraints: 38808
2766.16/2775.69 c #Conflicts: 920000 | #Constraints: 39808
2766.16/2775.69 c #Conflicts: 921000 | #Constraints: 40808
2766.16/2775.69 c #Conflicts: 922000 | #Constraints: 41808
2766.16/2775.69 c INPROCESSING
2766.16/2775.69 c GARBAGE COLLECT
2766.16/2775.69 c #Conflicts: 923000 | #Constraints: 23810
2766.16/2775.69 c #Conflicts: 924000 | #Constraints: 24810
2766.16/2775.69 c #Conflicts: 925000 | #Constraints: 25810
2766.16/2775.69 c #Conflicts: 926000 | #Constraints: 26810
2766.16/2775.69 c #Conflicts: 927000 | #Constraints: 27810
2766.16/2775.69 c #Conflicts: 928000 | #Constraints: 28810
2766.16/2775.69 c #Conflicts: 929000 | #Constraints: 29810
2766.16/2775.69 c #Conflicts: 930000 | #Constraints: 30810
2766.16/2775.69 c #Conflicts: 931000 | #Constraints: 31810
2766.16/2775.69 c #Conflicts: 932000 | #Constraints: 32810
2766.16/2775.69 c #Conflicts: 933000 | #Constraints: 33810
2766.16/2775.69 c #Conflicts: 934000 | #Constraints: 34810
2766.16/2775.69 c #Conflicts: 935000 | #Constraints: 35810
2766.16/2775.69 c #Conflicts: 936000 | #Constraints: 36810
2766.16/2775.69 c #Conflicts: 937000 | #Constraints: 37810
2766.16/2775.69 c #Conflicts: 938000 | #Constraints: 38810
2766.16/2775.69 c #Conflicts: 939000 | #Constraints: 39810
2766.16/2775.69 c #Conflicts: 940000 | #Constraints: 40810
2766.16/2775.69 c #Conflicts: 941000 | #Constraints: 41810
2766.16/2775.69 c INPROCESSING
2766.16/2775.69 c GARBAGE COLLECT
2766.16/2775.69 c #Conflicts: 942000 | #Constraints: 23606
2766.16/2775.69 c #Conflicts: 943000 | #Constraints: 24606
2766.16/2775.69 c #Conflicts: 944000 | #Constraints: 25606
2766.16/2775.69 c #Conflicts: 945000 | #Constraints: 26606
2766.16/2775.69 c #Conflicts: 946000 | #Constraints: 27606
2766.16/2775.69 c #Conflicts: 947000 | #Constraints: 28606
2766.16/2775.69 c #Conflicts: 948000 | #Constraints: 29606
2766.16/2775.69 c #Conflicts: 949000 | #Constraints: 30606
2766.16/2775.69 c #Conflicts: 950000 | #Constraints: 31606
2766.16/2775.69 c #Conflicts: 951000 | #Constraints: 32606
2766.16/2775.69 c #Conflicts: 952000 | #Constraints: 33606
2766.16/2775.69 c #Conflicts: 953000 | #Constraints: 34606
2766.16/2775.69 c #Conflicts: 954000 | #Constraints: 35606
2766.16/2775.69 c #Conflicts: 955000 | #Constraints: 36606
2766.16/2775.69 c #Conflicts: 956000 | #Constraints: 37606
2766.16/2775.69 c #Conflicts: 957000 | #Constraints: 38606
2766.16/2775.69 c #Conflicts: 958000 | #Constraints: 39606
2766.16/2775.69 c #Conflicts: 959000 | #Constraints: 40606
2766.16/2775.69 c #Conflicts: 960000 | #Constraints: 41606
2766.16/2775.69 c #Conflicts: 961000 | #Constraints: 42606
2766.16/2775.69 c INPROCESSING
2766.16/2775.69 c GARBAGE COLLECT
2766.16/2775.69 c #Conflicts: 962000 | #Constraints: 24207
2766.16/2775.69 c #Conflicts: 963000 | #Constraints: 25207
2766.16/2775.69 c #Conflicts: 964000 | #Constraints: 26207
2766.16/2775.69 c #Conflicts: 965000 | #Constraints: 27207
2766.16/2775.69 c #Conflicts: 966000 | #Constraints: 28207
2766.16/2775.69 c #Conflicts: 967000 | #Constraints: 29207
2996.92/3007.14 c #Conflicts: 968000 | #Constraints: 30207
2996.92/3007.14 c #Conflicts: 969000 | #Constraints: 31207
2996.92/3007.14 c #Conflicts: 970000 | #Constraints: 32207
2996.92/3007.14 c #Conflicts: 971000 | #Constraints: 33207
2996.92/3007.14 c #Conflicts: 972000 | #Constraints: 34207
2996.92/3007.14 c #Conflicts: 973000 | #Constraints: 35207
2996.92/3007.14 c #Conflicts: 974000 | #Constraints: 36207
2996.92/3007.14 c #Conflicts: 975000 | #Constraints: 37207
2996.92/3007.14 c #Conflicts: 976000 | #Constraints: 38207
2996.92/3007.14 c #Conflicts: 977000 | #Constraints: 39207
2996.92/3007.14 c #Conflicts: 978000 | #Constraints: 40207
2996.92/3007.14 c #Conflicts: 979000 | #Constraints: 41207
2996.92/3007.14 c #Conflicts: 980000 | #Constraints: 42207
2996.92/3007.14 c #Conflicts: 981000 | #Constraints: 43207
2996.92/3007.14 c INPROCESSING
2996.92/3007.14 c GARBAGE COLLECT
2996.92/3007.14 c #Conflicts: 982000 | #Constraints: 24611
2996.92/3007.14 c #Conflicts: 983000 | #Constraints: 25611
2996.92/3007.14 c #Conflicts: 984000 | #Constraints: 26611
2996.92/3007.14 c #Conflicts: 985000 | #Constraints: 27611
2996.92/3007.14 c #Conflicts: 986000 | #Constraints: 28611
2996.92/3007.14 c #Conflicts: 987000 | #Constraints: 29611
2996.92/3007.14 c #Conflicts: 988000 | #Constraints: 30611
2996.92/3007.14 c #Conflicts: 989000 | #Constraints: 31611
2996.92/3007.14 c #Conflicts: 990000 | #Constraints: 32611
2996.92/3007.14 c #Conflicts: 991000 | #Constraints: 33611
2996.92/3007.14 c #Conflicts: 992000 | #Constraints: 34611
2996.92/3007.14 c #Conflicts: 993000 | #Constraints: 35611
2996.92/3007.14 c #Conflicts: 994000 | #Constraints: 36611
2996.92/3007.14 c #Conflicts: 995000 | #Constraints: 37611
2996.92/3007.14 c #Conflicts: 996000 | #Constraints: 38611
2996.92/3007.14 c #Conflicts: 997000 | #Constraints: 39611
2996.92/3007.14 c #Conflicts: 998000 | #Constraints: 40611
2996.92/3007.14 c #Conflicts: 999000 | #Constraints: 41611
2996.92/3007.14 c #Conflicts: 1000000 | #Constraints: 42611
2996.92/3007.14 c #Conflicts: 1001000 | #Constraints: 43611
2996.92/3007.14 c INPROCESSING
2996.92/3007.14 c GARBAGE COLLECT
2996.92/3007.14 c #Conflicts: 1002000 | #Constraints: 24813
2996.92/3007.14 c #Conflicts: 1003000 | #Constraints: 25813
2996.92/3007.14 c #Conflicts: 1004000 | #Constraints: 26813
2996.92/3007.14 c #Conflicts: 1005000 | #Constraints: 27813
2996.92/3007.14 c #Conflicts: 1006000 | #Constraints: 28813
2996.92/3007.14 c #Conflicts: 1007000 | #Constraints: 29813
2996.92/3007.14 c #Conflicts: 1008000 | #Constraints: 30813
2996.92/3007.14 c #Conflicts: 1009000 | #Constraints: 31813
2996.92/3007.14 c #Conflicts: 1010000 | #Constraints: 32813
2996.92/3007.14 c #Conflicts: 1011000 | #Constraints: 33813
2996.92/3007.14 c #Conflicts: 1012000 | #Constraints: 34813
2996.92/3007.14 c #Conflicts: 1013000 | #Constraints: 35813
2996.92/3007.14 c #Conflicts: 1014000 | #Constraints: 36813
2996.92/3007.14 c #Conflicts: 1015000 | #Constraints: 37813
2996.92/3007.14 c #Conflicts: 1016000 | #Constraints: 38813
2996.92/3007.14 c #Conflicts: 1017000 | #Constraints: 39813
2996.92/3007.14 c #Conflicts: 1018000 | #Constraints: 40813
2996.92/3007.14 c #Conflicts: 1019000 | #Constraints: 41813
2996.92/3007.14 c #Conflicts: 1020000 | #Constraints: 42813
2996.92/3007.14 c #Conflicts: 1021000 | #Constraints: 43813
2996.92/3007.14 c INPROCESSING
2996.92/3007.14 c GARBAGE COLLECT
2996.92/3007.14 c #Conflicts: 1022000 | #Constraints: 24813
2996.92/3007.14 c #Conflicts: 1023000 | #Constraints: 25813
2996.92/3007.14 c #Conflicts: 1024000 | #Constraints: 26813
2996.92/3007.14 c #Conflicts: 1025000 | #Constraints: 27813
2996.92/3007.14 c #Conflicts: 1026000 | #Constraints: 28813
2996.92/3007.14 c #Conflicts: 1027000 | #Constraints: 29813
2996.92/3007.14 c #Conflicts: 1028000 | #Constraints: 30813
2996.92/3007.14 c #Conflicts: 1029000 | #Constraints: 31813
2996.92/3007.14 c #Conflicts: 1030000 | #Constraints: 32813
2996.92/3007.14 c #Conflicts: 1031000 | #Constraints: 33813
2996.92/3007.14 c #Conflicts: 1032000 | #Constraints: 34813
2996.92/3007.14 c #Conflicts: 1033000 | #Constraints: 35813
2996.92/3007.14 c #Conflicts: 1034000 | #Constraints: 36813
2996.92/3007.14 c #Conflicts: 1035000 | #Constraints: 37813
2996.92/3007.14 c #Conflicts: 1036000 | #Constraints: 38813
2996.92/3007.14 c #Conflicts: 1037000 | #Constraints: 39813
2996.92/3007.14 c #Conflicts: 1038000 | #Constraints: 40813
2996.92/3007.14 c #Conflicts: 1039000 | #Constraints: 41813
2996.92/3007.14 c #Conflicts: 1040000 | #Constraints: 42813
2996.92/3007.14 c #Conflicts: 1041000 | #Constraints: 43813
2996.92/3007.14 c INPROCESSING
2996.92/3007.14 c GARBAGE COLLECT
2996.92/3007.14 c #Conflicts: 1042000 | #Constraints: 24618
2996.92/3007.14 c #Conflicts: 1043000 | #Constraints: 25618
3209.42/3220.37 c #Conflicts: 1044000 | #Constraints: 26618
3209.42/3220.37 c #Conflicts: 1045000 | #Constraints: 27618
3209.42/3220.37 c #Conflicts: 1046000 | #Constraints: 28618
3209.42/3220.37 c #Conflicts: 1047000 | #Constraints: 29618
3209.42/3220.37 c #Conflicts: 1048000 | #Constraints: 30618
3209.42/3220.37 c #Conflicts: 1049000 | #Constraints: 31618
3209.42/3220.37 c #Conflicts: 1050000 | #Constraints: 32618
3209.42/3220.37 c #Conflicts: 1051000 | #Constraints: 33618
3209.42/3220.37 c #Conflicts: 1052000 | #Constraints: 34618
3209.42/3220.37 c #Conflicts: 1053000 | #Constraints: 35618
3209.42/3220.37 c #Conflicts: 1054000 | #Constraints: 36618
3209.42/3220.37 c #Conflicts: 1055000 | #Constraints: 37618
3209.42/3220.37 c #Conflicts: 1056000 | #Constraints: 38618
3209.42/3220.37 c #Conflicts: 1057000 | #Constraints: 39618
3209.42/3220.37 c #Conflicts: 1058000 | #Constraints: 40618
3209.42/3220.37 c #Conflicts: 1059000 | #Constraints: 41618
3209.42/3220.37 c #Conflicts: 1060000 | #Constraints: 42618
3209.42/3220.37 c #Conflicts: 1061000 | #Constraints: 43618
3209.42/3220.37 c #Conflicts: 1062000 | #Constraints: 44618
3209.42/3220.37 c INPROCESSING
3209.42/3220.37 c GARBAGE COLLECT
3209.42/3220.37 c #Conflicts: 1063000 | #Constraints: 25225
3209.42/3220.37 c #Conflicts: 1064000 | #Constraints: 26225
3209.42/3220.37 c #Conflicts: 1065000 | #Constraints: 27225
3209.42/3220.37 c #Conflicts: 1066000 | #Constraints: 28225
3209.42/3220.37 c #Conflicts: 1067000 | #Constraints: 29225
3209.42/3220.37 c #Conflicts: 1068000 | #Constraints: 30225
3209.42/3220.37 c #Conflicts: 1069000 | #Constraints: 31225
3209.42/3220.37 c #Conflicts: 1070000 | #Constraints: 32225
3209.42/3220.37 c #Conflicts: 1071000 | #Constraints: 33225
3209.42/3220.37 c #Conflicts: 1072000 | #Constraints: 34225
3209.42/3220.37 c #Conflicts: 1073000 | #Constraints: 35225
3209.42/3220.37 c #Conflicts: 1074000 | #Constraints: 36225
3209.42/3220.37 c #Conflicts: 1075000 | #Constraints: 37225
3209.42/3220.37 c #Conflicts: 1076000 | #Constraints: 38225
3209.42/3220.37 c #Conflicts: 1077000 | #Constraints: 39225
3209.42/3220.37 c #Conflicts: 1078000 | #Constraints: 40225
3209.42/3220.37 c #Conflicts: 1079000 | #Constraints: 41225
3209.42/3220.37 c #Conflicts: 1080000 | #Constraints: 42225
3209.42/3220.37 c #Conflicts: 1081000 | #Constraints: 43225
3209.42/3220.37 c #Conflicts: 1082000 | #Constraints: 44225
3209.42/3220.37 c #Conflicts: 1083000 | #Constraints: 45225
3209.42/3220.37 c INPROCESSING
3209.42/3220.37 c GARBAGE COLLECT
3209.42/3220.37 c #Conflicts: 1084000 | #Constraints: 25628
3209.42/3220.37 c #Conflicts: 1085000 | #Constraints: 26628
3209.42/3220.37 c #Conflicts: 1086000 | #Constraints: 27628
3209.42/3220.37 c #Conflicts: 1087000 | #Constraints: 28628
3209.42/3220.37 c #Conflicts: 1088000 | #Constraints: 29628
3209.42/3220.37 c #Conflicts: 1089000 | #Constraints: 30628
3209.42/3220.37 c #Conflicts: 1090000 | #Constraints: 31628
3209.42/3220.37 c #Conflicts: 1091000 | #Constraints: 32628
3209.42/3220.37 c #Conflicts: 1092000 | #Constraints: 33628
3209.42/3220.37 c #Conflicts: 1093000 | #Constraints: 34628
3209.42/3220.37 c #Conflicts: 1094000 | #Constraints: 35628
3209.42/3220.37 c #Conflicts: 1095000 | #Constraints: 36628
3209.42/3220.37 c #Conflicts: 1096000 | #Constraints: 37628
3209.42/3220.37 c #Conflicts: 1097000 | #Constraints: 38628
3209.42/3220.37 c #Conflicts: 1098000 | #Constraints: 39628
3209.42/3220.37 c #Conflicts: 1099000 | #Constraints: 40628
3209.42/3220.37 c #Conflicts: 1100000 | #Constraints: 41628
3209.42/3220.37 c #Conflicts: 1101000 | #Constraints: 42628
3209.42/3220.37 c #Conflicts: 1102000 | #Constraints: 43628
3209.42/3220.37 c #Conflicts: 1103000 | #Constraints: 44628
3209.42/3220.37 c #Conflicts: 1104000 | #Constraints: 45628
3209.42/3220.37 c INPROCESSING
3209.42/3220.37 c GARBAGE COLLECT
3209.42/3220.37 c #Conflicts: 1105000 | #Constraints: 25828
3209.42/3220.37 c #Conflicts: 1106000 | #Constraints: 26828
3209.42/3220.37 c #Conflicts: 1107000 | #Constraints: 27828
3209.42/3220.37 c #Conflicts: 1108000 | #Constraints: 28828
3209.42/3220.37 c #Conflicts: 1109000 | #Constraints: 29828
3209.42/3220.37 c #Conflicts: 1110000 | #Constraints: 30828
3209.42/3220.37 c #Conflicts: 1111000 | #Constraints: 31828
3209.42/3220.37 c #Conflicts: 1112000 | #Constraints: 32828
3209.42/3220.37 c #Conflicts: 1113000 | #Constraints: 33828
3209.42/3220.37 c #Conflicts: 1114000 | #Constraints: 34828
3209.42/3220.37 c #Conflicts: 1115000 | #Constraints: 35828
3209.42/3220.37 c #Conflicts: 1116000 | #Constraints: 36828
3209.42/3220.37 c #Conflicts: 1117000 | #Constraints: 37828
3209.42/3220.37 c #Conflicts: 1118000 | #Constraints: 38828
3209.42/3220.37 c #Conflicts: 1119000 | #Constraints: 39828
3209.42/3220.37 c #Conflicts: 1120000 | #Constraints: 40828
3506.45/3518.32 c #Conflicts: 1121000 | #Constraints: 41828
3506.45/3518.32 c #Conflicts: 1122000 | #Constraints: 42828
3506.45/3518.32 c #Conflicts: 1123000 | #Constraints: 43828
3506.45/3518.32 c #Conflicts: 1124000 | #Constraints: 44828
3506.45/3518.32 c #Conflicts: 1125000 | #Constraints: 45828
3506.45/3518.32 c INPROCESSING
3506.45/3518.32 c GARBAGE COLLECT
3506.45/3518.32 c #Conflicts: 1126000 | #Constraints: 25824
3506.45/3518.32 c #Conflicts: 1127000 | #Constraints: 26824
3506.45/3518.32 c #Conflicts: 1128000 | #Constraints: 27824
3506.45/3518.32 c #Conflicts: 1129000 | #Constraints: 28824
3506.45/3518.32 c #Conflicts: 1130000 | #Constraints: 29824
3506.45/3518.32 c #Conflicts: 1131000 | #Constraints: 30824
3506.45/3518.32 c #Conflicts: 1132000 | #Constraints: 31824
3506.45/3518.32 c #Conflicts: 1133000 | #Constraints: 32824
3506.45/3518.32 c #Conflicts: 1134000 | #Constraints: 33824
3506.45/3518.32 c #Conflicts: 1135000 | #Constraints: 34824
3506.45/3518.32 c #Conflicts: 1136000 | #Constraints: 35824
3506.45/3518.32 c #Conflicts: 1137000 | #Constraints: 36824
3506.45/3518.32 c #Conflicts: 1138000 | #Constraints: 37824
3506.45/3518.32 c #Conflicts: 1139000 | #Constraints: 38824
3506.45/3518.32 c #Conflicts: 1140000 | #Constraints: 39824
3506.45/3518.32 c #Conflicts: 1141000 | #Constraints: 40824
3506.45/3518.32 c #Conflicts: 1142000 | #Constraints: 41824
3506.45/3518.32 c #Conflicts: 1143000 | #Constraints: 42824
3506.45/3518.32 c #Conflicts: 1144000 | #Constraints: 43824
3506.45/3518.32 c #Conflicts: 1145000 | #Constraints: 44824
3506.45/3518.32 c #Conflicts: 1146000 | #Constraints: 45824
3506.45/3518.32 c INPROCESSING
3506.45/3518.32 c GARBAGE COLLECT
3506.45/3518.32 c #Conflicts: 1147000 | #Constraints: 25621
3506.45/3518.32 c #Conflicts: 1148000 | #Constraints: 26621
3506.45/3518.32 c #Conflicts: 1149000 | #Constraints: 27621
3506.45/3518.32 c #Conflicts: 1150000 | #Constraints: 28621
3506.45/3518.32 c #Conflicts: 1151000 | #Constraints: 29621
3506.45/3518.32 c #Conflicts: 1152000 | #Constraints: 30621
3506.45/3518.32 c #Conflicts: 1153000 | #Constraints: 31621
3506.45/3518.32 c #Conflicts: 1154000 | #Constraints: 32621
3506.45/3518.32 c #Conflicts: 1155000 | #Constraints: 33621
3506.45/3518.32 c #Conflicts: 1156000 | #Constraints: 34621
3506.45/3518.32 c #Conflicts: 1157000 | #Constraints: 35621
3506.45/3518.32 c #Conflicts: 1158000 | #Constraints: 36621
3506.45/3518.32 c #Conflicts: 1159000 | #Constraints: 37621
3506.45/3518.32 c #Conflicts: 1160000 | #Constraints: 38621
3506.45/3518.32 c #Conflicts: 1161000 | #Constraints: 39621
3506.45/3518.32 c #Conflicts: 1162000 | #Constraints: 40621
3506.45/3518.32 c #Conflicts: 1163000 | #Constraints: 41621
3506.45/3518.32 c #Conflicts: 1164000 | #Constraints: 42621
3506.45/3518.32 c #Conflicts: 1165000 | #Constraints: 43621
3506.45/3518.32 c #Conflicts: 1166000 | #Constraints: 44621
3506.45/3518.32 c #Conflicts: 1167000 | #Constraints: 45621
3506.45/3518.32 c #Conflicts: 1168000 | #Constraints: 46621
3506.45/3518.32 c INPROCESSING
3506.45/3518.32 c GARBAGE COLLECT
3506.45/3518.32 c #Conflicts: 1169000 | #Constraints: 26221
3506.45/3518.32 c #Conflicts: 1170000 | #Constraints: 27221
3506.45/3518.32 c #Conflicts: 1171000 | #Constraints: 28221
3506.45/3518.32 c #Conflicts: 1172000 | #Constraints: 29221
3506.45/3518.32 c #Conflicts: 1173000 | #Constraints: 30221
3506.45/3518.32 c #Conflicts: 1174000 | #Constraints: 31221
3506.45/3518.32 c #Conflicts: 1175000 | #Constraints: 32221
3506.45/3518.32 c #Conflicts: 1176000 | #Constraints: 33221
3506.45/3518.32 c #Conflicts: 1177000 | #Constraints: 34221
3506.45/3518.32 c #Conflicts: 1178000 | #Constraints: 35221
3506.45/3518.32 c #Conflicts: 1179000 | #Constraints: 36221
3506.45/3518.32 c #Conflicts: 1180000 | #Constraints: 37221
3506.45/3518.32 c #Conflicts: 1181000 | #Constraints: 38221
3506.45/3518.32 c #Conflicts: 1182000 | #Constraints: 39221
3506.45/3518.32 c #Conflicts: 1183000 | #Constraints: 40221
3506.45/3518.32 c #Conflicts: 1184000 | #Constraints: 41221
3506.45/3518.32 c #Conflicts: 1185000 | #Constraints: 42221
3506.45/3518.32 c #Conflicts: 1186000 | #Constraints: 43221
3506.45/3518.32 c #Conflicts: 1187000 | #Constraints: 44221
3506.45/3518.32 c #Conflicts: 1188000 | #Constraints: 45221
3506.45/3518.32 c #Conflicts: 1189000 | #Constraints: 46221
3506.45/3518.32 c #Conflicts: 1190000 | #Constraints: 47221
3506.45/3518.32 c INPROCESSING
3506.45/3518.32 c GARBAGE COLLECT
3506.45/3518.32 c #Conflicts: 1191000 | #Constraints: 26614
3506.45/3518.32 c #Conflicts: 1192000 | #Constraints: 27614
3506.45/3518.32 c #Conflicts: 1193000 | #Constraints: 28614
3506.45/3518.32 c #Conflicts: 1194000 | #Constraints: 29614
3506.45/3518.32 c #Conflicts: 1195000 | #Constraints: 30614
3506.45/3518.32 c #Conflicts: 1196000 | #Constraints: 31614
3600.03/3612.20 c #Conflicts: 1197000 | #Constraints: 32614
3600.03/3612.20 c #Conflicts: 1198000 | #Constraints: 33614
3600.03/3612.20 c #Conflicts: 1199000 | #Constraints: 34614
3600.03/3612.20 c #Conflicts: 1200000 | #Constraints: 35614
3600.03/3612.20 c #Conflicts: 1201000 | #Constraints: 36614
3600.03/3612.20 c #Conflicts: 1202000 | #Constraints: 37614
3600.03/3612.20 c #Conflicts: 1203000 | #Constraints: 38614
3600.03/3612.20 c #Conflicts: 1204000 | #Constraints: 39614
3600.03/3612.20 c #Conflicts: 1205000 | #Constraints: 40614
3600.03/3612.20 c #Conflicts: 1206000 | #Constraints: 41614
3600.03/3612.20 c #Conflicts: 1207000 | #Constraints: 42614
3600.03/3612.20 c #Conflicts: 1208000 | #Constraints: 43614
3600.03/3612.20 c #Conflicts: 1209000 | #Constraints: 44614
3600.03/3612.20 c #Conflicts: 1210000 | #Constraints: 45614
3600.03/3612.20 c #Conflicts: 1211000 | #Constraints: 46614
3600.03/3612.20 c #Conflicts: 1212000 | #Constraints: 47614
3600.03/3612.20 c INPROCESSING
3600.03/3612.20 c GARBAGE COLLECT
3600.03/3612.20 c #Conflicts: 1213000 | #Constraints: 26810
3600.03/3612.20 c #Conflicts: 1214000 | #Constraints: 27810
3600.03/3612.20 c #Conflicts: 1215000 | #Constraints: 28810
3600.03/3612.20 c #Conflicts: 1216000 | #Constraints: 29810
3600.03/3612.20 c #Conflicts: 1217000 | #Constraints: 30810
3600.03/3612.20 c #Conflicts: 1218000 | #Constraints: 31810
3600.03/3612.20 c #Conflicts: 1219000 | #Constraints: 32810
3600.03/3612.20 c Program interrupted by user.
3600.03/3612.20 c cpu time 3590.29 s
3600.03/3612.20 c deterministic time 560294597294 5.60e+11
3600.03/3612.20 c optimization time 15.9305 s
3600.03/3612.20 c total solve time 3275.34 s
3600.03/3612.20 c core-guided solve time 3275.34 s
3600.03/3612.20 c propagation time 2675.7 s
3600.03/3612.20 c conflict analysis time 483.29 s
3600.03/3612.20 c propagations 143644360
3600.03/3612.20 c resolve steps 10099963
3600.03/3612.20 c decisions 4896950
3600.03/3612.20 c conflicts 1219142
3600.03/3612.20 c restarts 2301
3600.03/3612.20 c inprocessing phases 101
3600.03/3612.20 c input clauses 3912
3600.03/3612.20 c input cardinalities 150
3600.03/3612.20 c input general constraints 0
3600.03/3612.20 c input average constraint length 63.13
3600.03/3612.20 c input average constraint degree 28.59
3600.03/3612.20 c learned clauses 437426
3600.03/3612.20 c learned cardinalities 118890
3600.03/3612.20 c learned general constraints 662973
3600.03/3612.20 c learned average constraint length 720.38
3600.03/3612.20 c learned average constraint degree 9577.28
3600.03/3612.20 c watched constraints 365779
3600.03/3612.20 c counting constraints 297194
3600.03/3612.20 c gcd simplifications 31855
3600.03/3612.20 c detected cardinalities 1503
3600.03/3612.20 c weakened non-implied lits 163648306
3600.03/3612.20 c weakened non-implying lits 50163
3600.03/3612.20 c original variables 1964
3600.03/3612.20 c clausal propagations 69671283
3600.03/3612.20 c cardinality propagations 8929199
3600.03/3612.20 c watched propagations 10933923
3600.03/3612.20 c counting propagations 45792269
3600.03/3612.20 c watch lookups 46697444006
3600.03/3612.20 c watch backjump lookups 39019275644
3600.03/3612.20 c watch checks 438948843967
3600.03/3612.20 c propagation checks 32907079087
3600.03/3612.20 c constraint additions 2423654386
3600.03/3612.20 c trail pops 149758893
3600.03/3612.20 c formula constraints 3240
3600.03/3612.20 c learned constraints 1219289
3600.03/3612.20 c bound constraints 150
3600.03/3612.20 c core-guided constraints 672
3600.03/3612.20 c encountered formula constraints 7064965
3600.03/3612.20 c encountered learned constraints 3068971
3600.03/3612.20 c encountered bound constraints 1
3600.03/3612.20 c encountered core-guided constraints 1185168
3600.03/3612.20 c LP total time 0 s
3600.03/3612.20 c LP solve time 0 s
3600.03/3612.20 c LP constraints added 0
3600.03/3612.20 c LP constraints removed 0
3600.03/3612.20 c LP pivots internal 0
3600.03/3612.20 c LP pivots root 0
3600.03/3612.20 c LP calls 0
3600.03/3612.20 c LP optimalities 0
3600.03/3612.20 c LP no pivot count 0
3600.03/3612.20 c LP infeasibilities 0
3600.03/3612.20 c LP valid Farkas constraints 0
3600.03/3612.20 c LP learned Farkas constraints 0
3600.03/3612.20 c LP basis resets 0
3600.03/3612.20 c LP cycling count 0
3600.03/3612.20 c LP singular count 0
3600.03/3612.20 c LP no primal count 0
3600.03/3612.20 c LP no farkas count 0
3600.03/3612.20 c LP other issue count 0
3600.03/3612.20 c LP Gomory cuts 0
3600.03/3612.20 c LP learned cuts 0
3600.03/3612.20 c LP deleted cuts 0
3600.03/3612.20 c LP encountered Gomory constraints 0
3600.03/3612.20 c LP encountered Farkas constraints 0
3600.03/3612.20 c LP encountered learned Farkas constraints 0
3600.03/3612.20 c CG auxiliary variables introduced 672
3600.03/3612.20 c CG solutions found 0
3600.03/3612.20 c CG cores constructed 149
3600.03/3612.20 c CG core cardinality constraints returned 0
3600.03/3612.20 c CG unit cores 0
3600.03/3612.20 c CG single cores 149
3600.03/3612.20 c CG blocks removed during cardinality reduction 0
3600.03/3612.20 c CG first core best 0
3600.03/3612.20 c CG decision core best 0
3600.03/3612.20 c CG core reduction tie 0
3600.03/3612.20 c CG core degree average 1.00
3600.03/3612.20 c CG core slack average 3.10
3600.03/3612.20 c CG exhausted 0
3600.03/3612.20 c CG exhaust time 0 s
3600.03/3612.20 c CG trimmed 0
3600.03/3612.20 c CG trim time 0.00084 s
3600.03/3612.20 c CG minimized 0
3600.03/3612.20 c CG minimize time 0 s
3600.03/3612.20 c CG am1 prop time 0.002243 s
3600.03/3612.20 c CG # am1s reformulated 672
3600.03/3612.20 c CG lower bound derived from am1s 673
3600.03/3612.20 c CG # clausal cores 149
3600.03/3612.20 c CG # cardinality cores 0
3600.03/3612.20 c CG # pb cores 0
3600.03/3612.20 c CG # pb reforms 0
3600.03/3612.20 c CG # cores discarded because of pb reform 0
3600.03/3612.20 d LOWERBOUND 822
3600.03/3612.20 d NCORES 149
3600.03/3612.20 d NPBCORES 0
3600.03/3612.20 d NPBREFORM 0
3600.03/3612.20 d NTRIMMED 0
3600.03/3612.20 d NEXHAUSTED 0
3600.03/3612.20 d NAM1S 672
3600.03/3612.20 d AM1LB 673
3600.03/3612.20 c [Papilo Statistics]
3600.03/3612.20 c prepro time 0.00469122s
3600.03/3612.20 c # tsx applied 151
3600.03/3612.20 c # tsx conflicts 10
3600.03/3612.20 c # bound changes 149
3600.03/3612.20 c # side changes 0
3600.03/3612.20 c # coef changes 0
3600.03/3612.20 c # rounds 2
3600.03/3612.20 c # deted vars 311
3600.03/3612.20 c # deted constrs 760
3600.03/3612.20 c # consecutive rounds of only bound changes 0
3600.03/3612.20 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: 63968 MiB (62784 MiB free)
memory of node 1: 64473 MiB (63330 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435459-1721091219/watcher-4435459-1721091219 -o /tmp/evaluation-result-4435459-1721091219/solver-4435459-1721091219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721091231-833379 --watchdog 3760 mixed-bag HOME/instance-4435459-1721091219.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=833432, runsolver pid=833424
Current StackSize limit: 8192 KiB
[startup+0.100347 s]*
/proc/loadavg: 2.66 3.90 4.08 8/258 833443
/proc/meminfo: memFree=129089784/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=98232 memory=31444 CPUtime=0.03 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 4680 0 0 0 3 0 0 0 20 0 1 0 161292732 100589568 7861 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 2 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 24558 7861 3823 3002 0 8309 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 98232 KiB
Current children cumulated memory: 31444 KiB
[startup+0.214366 s]*
/proc/loadavg: 2.77 3.91 4.08 5/258 833445
/proc/meminfo: memFree=129053120/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=109804 memory=41184 CPUtime=0.12 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 7202 0 0 0 12 0 0 0 20 0 1 0 161292732 112439296 10296 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 2 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 27451 10296 4047 3002 0 11202 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 109804 KiB
Current children cumulated memory: 41184 KiB
[startup+0.305345 s]*
/proc/loadavg: 2.77 3.91 4.08 5/258 833445
/proc/meminfo: memFree=129052748/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=109804 memory=41184 CPUtime=0.21 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 7212 0 0 0 21 0 0 0 20 0 1 0 161292732 112439296 10296 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 27451 10296 4047 3002 0 11202 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 109804 KiB
Current children cumulated memory: 41184 KiB
[startup+0.700164 s]
/proc/loadavg: 2.77 3.91 4.08 5/258 833445
/proc/meminfo: memFree=129039272/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=115068 memory=45960 CPUtime=0.61 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 8422 0 0 0 60 1 0 0 20 0 1 0 161292732 117829632 11490 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 28767 11490 4063 3002 0 12518 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 115068 KiB
Current children cumulated memory: 45960 KiB
[startup+1.50016 s]
/proc/loadavg: 2.77 3.91 4.08 6/258 833445
/proc/meminfo: memFree=128994696/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=119696 memory=49920 CPUtime=1.41 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 9394 0 0 0 140 1 0 0 20 0 1 0 161292732 122568704 12480 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 29924 12480 4063 3002 0 13675 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 119696 KiB
Current children cumulated memory: 49920 KiB
[startup+3.10646 s]
/proc/loadavg: 2.77 3.91 4.08 6/258 833445
/proc/meminfo: memFree=128843584/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=135620 memory=65496 CPUtime=3 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 13277 0 0 0 299 1 0 0 20 0 1 0 161292732 138874880 16374 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 33905 16374 4063 3002 0 17656 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 135620 KiB
Current children cumulated memory: 65496 KiB
[startup+6.30015 s]
/proc/loadavg: 2.87 3.91 4.08 6/258 833445
/proc/meminfo: memFree=128733208/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=176092 memory=104820 CPUtime=6.19 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 23111 0 0 0 616 3 0 0 20 0 1 0 161292732 180318208 26205 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 44023 26205 4063 3002 0 27774 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 176092 KiB
Current children cumulated memory: 104820 KiB
[startup+12.7002 s]
/proc/loadavg: 2.96 3.91 4.08 6/258 833446
/proc/meminfo: memFree=128612672/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=218960 memory=142880 CPUtime=12.56 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 33729 0 0 0 1252 4 0 0 20 0 1 0 161292732 224215040 35720 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 54740 35720 4063 3002 0 38491 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 218960 KiB
Current children cumulated memory: 142880 KiB
[startup+25.5002 s]
/proc/loadavg: 3.12 3.91 4.08 6/258 833448
/proc/meminfo: memFree=128531204/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=224056 memory=147628 CPUtime=25.32 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 34905 0 0 0 2528 4 0 0 20 0 1 0 161292732 229433344 36907 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 56014 36907 4063 3002 0 39765 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 224056 KiB
Current children cumulated memory: 147628 KiB
[startup+51.1065 s]
/proc/loadavg: 3.52 3.94 4.08 6/258 833453
/proc/meminfo: memFree=128344632/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=273064 memory=193060 CPUtime=50.86 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 46827 0 0 0 5080 6 0 0 20 0 1 0 161292732 279617536 48265 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 68266 48265 4086 3002 0 52017 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 273064 KiB
Current children cumulated memory: 193060 KiB
[startup+102.3 s]
/proc/loadavg: 3.91 3.98 4.09 6/257 833847
/proc/meminfo: memFree=128391672/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=308532 memory=226396 CPUtime=101.88 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 58843 0 0 0 10178 10 0 0 20 0 1 0 161292732 315936768 56599 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 77133 56599 4086 3002 0 60884 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 308532 KiB
Current children cumulated memory: 226396 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.02 4.09 6/257 833858
/proc/meminfo: memFree=128250176/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=404000 memory=311368 CPUtime=161.69 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 80170 0 0 0 16152 17 0 0 20 0 1 0 161292732 413696000 77842 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 101000 77842 4086 3002 0 84751 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 404000 KiB
Current children cumulated memory: 311368 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.03 4.09 6/256 833871
/proc/meminfo: memFree=128129644/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=447128 memory=355524 CPUtime=221.5 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 94764 0 0 0 22129 21 0 0 20 0 1 0 161292732 457859072 88881 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 111782 88881 4086 3002 0 95533 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 447128 KiB
Current children cumulated memory: 355524 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.04 4.09 6/257 834050
/proc/meminfo: memFree=128100520/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=448284 memory=356892 CPUtime=281.31 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 100952 0 0 0 28107 24 0 0 20 0 1 0 161292732 459042816 89223 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 112071 89223 4086 3002 0 95822 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 448284 KiB
Current children cumulated memory: 356892 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.06 4.09 6/256 834061
/proc/meminfo: memFree=128392512/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=342732 memory=269340 CPUtime=341.1 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 105086 0 0 0 34039 71 0 0 20 0 1 0 161292732 350957568 67335 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 85683 67335 4218 3002 0 69434 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 342732 KiB
Current children cumulated memory: 269340 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 4.05 4.09 6/258 834076
/proc/meminfo: memFree=128333652/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=373552 memory=287488 CPUtime=400.9 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 105710 0 0 0 39987 103 0 0 20 0 1 0 161292732 382517248 71872 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 93388 71872 4218 3002 0 77139 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 373552 KiB
Current children cumulated memory: 287488 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.07 4.09 6/259 834101
/proc/meminfo: memFree=128294212/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=373552 memory=300860 CPUtime=460.69 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 105954 0 0 0 45936 133 0 0 20 0 1 0 161292732 382517248 75215 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 93388 75215 4218 3002 0 77139 0
################
# More data... #
################
Current children cumulated memory: 427044 KiB
[startup+2862.3 s]
/proc/loadavg: 4.17 4.14 4.10 6/258 835153
/proc/meminfo: memFree=127671576/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=527628 memory=427432 CPUtime=2852.57 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 116065 0 0 0 284450 807 0 0 20 0 1 0 161292732 540291072 106858 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 131907 106858 4218 3002 0 115658 0
Current children cumulated CPU time: 2852.57 s
Current children cumulated vsize: 527628 KiB
Current children cumulated memory: 427432 KiB
[startup+2922.3 s]
/proc/loadavg: 4.21 4.16 4.10 6/258 835165
/proc/meminfo: memFree=127647028/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=527884 memory=427696 CPUtime=2912.38 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 116328 0 0 0 290416 822 0 0 20 0 1 0 161292732 540553216 106924 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 131971 106924 4218 3002 0 115722 0
Current children cumulated CPU time: 2912.38 s
Current children cumulated vsize: 527884 KiB
Current children cumulated memory: 427696 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.10 6/259 835177
/proc/meminfo: memFree=127638920/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=529168 memory=428528 CPUtime=2972.18 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 116730 0 0 0 296383 835 0 0 20 0 1 0 161292732 541868032 107132 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 132292 107132 4218 3002 0 116043 0
Current children cumulated CPU time: 2972.18 s
Current children cumulated vsize: 529168 KiB
Current children cumulated memory: 428528 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.15 4.10 6/259 835188
/proc/meminfo: memFree=127625312/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=529936 memory=429092 CPUtime=3031.99 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 117064 0 0 0 302352 847 0 0 20 0 1 0 161292732 542654464 107273 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 132484 107273 4218 3002 0 116235 0
Current children cumulated CPU time: 3031.99 s
Current children cumulated vsize: 529936 KiB
Current children cumulated memory: 429092 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.09 6/256 835198
/proc/meminfo: memFree=127622368/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=530704 memory=429628 CPUtime=3091.8 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 117386 0 0 0 308320 860 0 0 20 0 1 0 161292732 543440896 107407 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 132676 107407 4218 3002 0 116427 0
Current children cumulated CPU time: 3091.8 s
Current children cumulated vsize: 530704 KiB
Current children cumulated memory: 429628 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.09 6/255 835225
/proc/meminfo: memFree=127621116/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=531216 memory=430024 CPUtime=3151.6 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 117683 0 0 0 314287 873 0 0 20 0 1 0 161292732 543965184 107506 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 132804 107506 4218 3002 0 116555 0
Current children cumulated CPU time: 3151.6 s
Current children cumulated vsize: 531216 KiB
Current children cumulated memory: 430024 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.09 6/255 835236
/proc/meminfo: memFree=127618684/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=531216 memory=430024 CPUtime=3211.41 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 117874 0 0 0 320256 885 0 0 20 0 1 0 161292732 543965184 107506 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 132804 107506 4218 3002 0 116555 0
Current children cumulated CPU time: 3211.41 s
Current children cumulated vsize: 531216 KiB
Current children cumulated memory: 430024 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.13 4.10 6/255 835247
/proc/meminfo: memFree=127614052/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=531216 memory=432088 CPUtime=3271.22 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 118072 0 0 0 326219 903 0 0 20 0 1 0 161292732 543965184 108022 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 132804 108022 4218 3002 0 116555 0
Current children cumulated CPU time: 3271.22 s
Current children cumulated vsize: 531216 KiB
Current children cumulated memory: 432088 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.10 6/256 835259
/proc/meminfo: memFree=127597716/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=531216 memory=434168 CPUtime=3331.02 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 118261 0 0 0 332186 916 0 0 20 0 1 0 161292732 543965184 108542 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 132804 108542 4218 3002 0 116555 0
Current children cumulated CPU time: 3331.02 s
Current children cumulated vsize: 531216 KiB
Current children cumulated memory: 434168 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.10 6/258 835274
/proc/meminfo: memFree=127587276/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=531216 memory=434168 CPUtime=3390.82 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 118479 0 0 0 338156 926 0 0 20 0 1 0 161292732 543965184 108542 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 132804 108542 4218 3002 0 116555 0
Current children cumulated CPU time: 3390.82 s
Current children cumulated vsize: 531216 KiB
Current children cumulated memory: 434168 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.11 4.09 6/258 835285
/proc/meminfo: memFree=127565868/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=531396 memory=434168 CPUtime=3450.63 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 118678 0 0 0 344123 940 0 0 20 0 1 0 161292732 544149504 108542 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 132849 108542 4218 3002 0 116600 0
Current children cumulated CPU time: 3450.63 s
Current children cumulated vsize: 531396 KiB
Current children cumulated memory: 434168 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/258 835296
/proc/meminfo: memFree=127554676/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=533776 memory=435588 CPUtime=3510.43 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 119268 0 0 0 350090 953 0 0 20 0 1 0 161292732 546586624 108897 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 133444 108897 4218 3002 0 117195 0
Current children cumulated CPU time: 3510.43 s
Current children cumulated vsize: 533776 KiB
Current children cumulated memory: 435588 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/258 835306
/proc/meminfo: memFree=127542732/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=533776 memory=435764 CPUtime=3570.23 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 119464 0 0 0 356058 965 0 0 20 0 1 0 161292732 546586624 108941 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 133444 108941 4218 3002 0 117195 0
Current children cumulated CPU time: 3570.23 s
Current children cumulated vsize: 533776 KiB
Current children cumulated memory: 435764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 835450
/proc/meminfo: memFree=128367036/131524600 swapFree=131071996/131071996
[pid=833432] ppid=833424 vsize=534032 memory=442020 CPUtime=3600.03 cores=0,2
/proc/833432/stat : 833432 (mixed-bag) R 833424 833432 833369 0 -1 4194304 119660 0 0 0 359028 975 0 0 20 0 1 0 161292732 546848768 110505 134679101440 4194304 16487941 140720887723792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 18723592 18734648 24883200 140720887727127 140720887727204 140720887727204 140720887734219 0
/proc/833432/statm: 133508 110505 4218 3002 0 117259 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 534032 KiB
Current children cumulated memory: 442020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.21 s]
# the end of solver process 833432 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.29 s, system=9.75487 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.21
CPU time (s): 3600.05
CPU user time (s): 3590.29
CPU system time (s): 9.75487
CPU usage (%): 99.6634
Max. virtual memory (cumulated for all children) (KiB): 534032
Max. memory (cumulated for all children) (KiB): 442020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.29
system time used= 9.75487
maximum resident set size= 442020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119682
page faults= 0
swaps= 0
block input operations= 272
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128
involuntary context switches= 24676
# summary of solver processes directly reported to runsolver:
# pid: 833432
# total CPU time (s): 3600.05
# total CPU user time (s): 3590.29
# total CPU system time (s): 9.75487
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.82263 second user time and 21.5003 second system time
The end
Begin job on nodeC035 at 2024-07-16 02:53:51
IDJOB=4435459
IDBENCH=147534
IDSOLVER=3066
FILE ID=nodeC035/4435459-1721091219
RUNJOBID= nodeC035-1721091231-833379
SLURM_JOB_ID= 7505584
Free space on /tmp= 890068 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435459-1721091219/watcher-4435459-1721091219 -o /tmp/evaluation-result-4435459-1721091219/solver-4435459-1721091219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721091231-833379 --watchdog 3760 mixed-bag HOME/instance-4435459-1721091219.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 40839a009ce460ae7be0fe2be6267e36
RANDOM SEED=247940641
nodeC035.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 : 0xb00002a
cpu MHz : 3713.119
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3780.200
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3811.974
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3724.386
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3630.688
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.066
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3818.873
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3938.525
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129142404 kB
MemAvailable: 129742024 kB
Buffers: 374068 kB
Cached: 1064232 kB
SwapCached: 0 kB
Active: 682356 kB
Inactive: 1111592 kB
Active(anon): 1444 kB
Inactive(anon): 391948 kB
Active(file): 680912 kB
Inactive(file): 719644 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65332 kB
Writeback: 0 kB
AnonPages: 355684 kB
Mapped: 103668 kB
Shmem: 37724 kB
KReclaimable: 77772 kB
Slab: 181112 kB
SReclaimable: 77772 kB
SUnreclaim: 103340 kB
KernelStack: 3968 kB
PageTables: 9768 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 751332 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62528 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 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: 199380 kB
DirectMap2M: 18448384 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC035 at 2024-07-16 03:54:04