0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.02 c [STEP] preprocessing with Papilo
0.00/0.03 c [STEP] solving with SCIP
299.18/300.13 c [STEP] preprocessing done, loading into solver
299.18/300.13 c [STEP] solving
299.18/300.13 c #variables 1638 #constraints 3207
299.18/300.13 c SMALL=int, LARGE=long long
299.18/300.13 d SCIPUB 885
299.18/300.13 c bounds - >= 0 @ 299.102
299.18/300.13 c stratification level: 0
299.18/300.19 c bounds - >= 658 @ 299.108
299.18/300.19 c bounds - >= 659 @ 299.109
299.18/300.19 c bounds - >= 660 @ 299.109
299.18/300.19 c bounds - >= 661 @ 299.109
299.18/300.19 c bounds - >= 662 @ 299.109
299.18/300.19 c bounds - >= 663 @ 299.109
299.18/300.19 c bounds - >= 664 @ 299.109
299.18/300.19 c bounds - >= 665 @ 299.109
299.18/300.19 c bounds - >= 666 @ 299.11
299.18/300.19 c bounds - >= 667 @ 299.11
299.18/300.19 c bounds - >= 668 @ 299.11
299.18/300.19 c bounds - >= 669 @ 299.11
299.18/300.19 c bounds - >= 670 @ 299.11
299.18/300.19 c bounds - >= 671 @ 299.111
299.18/300.19 c bounds - >= 672 @ 299.111
299.18/300.19 c bounds - >= 673 @ 299.111
299.18/300.19 c bounds - >= 674 @ 299.111
299.18/300.19 c bounds - >= 675 @ 299.111
299.18/300.19 c bounds - >= 676 @ 299.112
299.18/300.19 c bounds - >= 677 @ 299.112
299.18/300.19 c bounds - >= 678 @ 299.112
299.18/300.19 c bounds - >= 679 @ 299.112
299.18/300.19 c bounds - >= 680 @ 299.112
299.18/300.19 c bounds - >= 681 @ 299.112
299.18/300.19 c bounds - >= 682 @ 299.112
299.18/300.19 c bounds - >= 683 @ 299.112
299.18/300.19 c bounds - >= 684 @ 299.113
299.18/300.19 c bounds - >= 685 @ 299.113
299.18/300.19 c bounds - >= 686 @ 299.113
299.18/300.19 c bounds - >= 687 @ 299.113
299.18/300.19 c bounds - >= 688 @ 299.113
299.18/300.19 c bounds - >= 689 @ 299.114
299.18/300.19 c bounds - >= 690 @ 299.114
299.18/300.19 c bounds - >= 691 @ 299.114
299.18/300.19 c bounds - >= 692 @ 299.114
299.18/300.19 c bounds - >= 693 @ 299.115
299.18/300.19 c bounds - >= 694 @ 299.115
299.18/300.19 c bounds - >= 695 @ 299.115
299.18/300.19 c bounds - >= 696 @ 299.115
299.18/300.19 c bounds - >= 697 @ 299.115
299.18/300.19 c bounds - >= 698 @ 299.115
299.18/300.19 c bounds - >= 699 @ 299.115
299.18/300.19 c bounds - >= 700 @ 299.115
299.18/300.19 c bounds - >= 701 @ 299.115
299.18/300.19 c bounds - >= 702 @ 299.115
299.18/300.19 c bounds - >= 703 @ 299.115
299.18/300.19 c bounds - >= 704 @ 299.115
299.18/300.19 c bounds - >= 705 @ 299.116
299.18/300.19 c bounds - >= 706 @ 299.116
299.18/300.19 c bounds - >= 707 @ 299.116
299.18/300.19 c bounds - >= 708 @ 299.116
299.18/300.19 c bounds - >= 709 @ 299.117
299.18/300.19 c bounds - >= 710 @ 299.117
299.18/300.19 c bounds - >= 711 @ 299.117
299.18/300.19 c bounds - >= 712 @ 299.117
299.18/300.19 c bounds - >= 713 @ 299.117
299.18/300.19 c bounds - >= 714 @ 299.117
299.18/300.19 c bounds - >= 715 @ 299.117
299.18/300.19 c bounds - >= 716 @ 299.117
299.18/300.19 c bounds - >= 717 @ 299.118
299.18/300.19 c bounds - >= 718 @ 299.118
299.18/300.19 c bounds - >= 719 @ 299.118
299.18/300.19 c bounds - >= 720 @ 299.119
299.18/300.19 c bounds - >= 721 @ 299.119
299.18/300.19 c bounds - >= 722 @ 299.119
299.18/300.19 c bounds - >= 723 @ 299.119
299.18/300.19 c bounds - >= 724 @ 299.119
299.18/300.19 c bounds - >= 725 @ 299.119
299.18/300.19 c bounds - >= 726 @ 299.119
299.18/300.19 c bounds - >= 727 @ 299.119
299.18/300.19 c bounds - >= 728 @ 299.119
299.18/300.19 c bounds - >= 729 @ 299.119
299.18/300.19 c bounds - >= 730 @ 299.119
299.18/300.19 c bounds - >= 731 @ 299.12
299.18/300.19 c bounds - >= 732 @ 299.12
299.18/300.19 c bounds - >= 733 @ 299.12
299.18/300.19 c bounds - >= 734 @ 299.12
299.18/300.19 c bounds - >= 735 @ 299.121
299.18/300.19 c bounds - >= 736 @ 299.121
299.18/300.19 c bounds - >= 737 @ 299.121
299.18/300.19 c bounds - >= 738 @ 299.122
299.18/300.19 c bounds - >= 739 @ 299.122
299.18/300.19 c bounds - >= 740 @ 299.122
299.18/300.19 c bounds - >= 741 @ 299.122
299.18/300.19 c bounds - >= 742 @ 299.122
299.18/300.19 c bounds - >= 743 @ 299.122
299.18/300.19 c bounds - >= 744 @ 299.122
299.18/300.19 c bounds - >= 745 @ 299.123
299.18/300.19 c bounds - >= 746 @ 299.123
299.18/300.19 c bounds - >= 747 @ 299.123
299.18/300.19 c bounds - >= 748 @ 299.123
299.18/300.19 c bounds - >= 749 @ 299.123
299.18/300.19 c bounds - >= 750 @ 299.123
299.18/300.19 c bounds - >= 751 @ 299.123
299.18/300.19 c bounds - >= 752 @ 299.124
299.18/300.19 c bounds - >= 753 @ 299.124
299.18/300.19 c bounds - >= 754 @ 299.124
299.18/300.19 c bounds - >= 755 @ 299.124
299.18/300.19 c bounds - >= 756 @ 299.124
299.18/300.19 c bounds - >= 757 @ 299.124
299.18/300.19 c bounds - >= 758 @ 299.124
299.18/300.19 c bounds - >= 759 @ 299.125
299.18/300.19 c bounds - >= 760 @ 299.125
299.18/300.19 c bounds - >= 761 @ 299.125
299.18/300.19 c bounds - >= 762 @ 299.126
299.18/300.19 c bounds - >= 763 @ 299.126
299.18/300.19 c bounds - >= 764 @ 299.126
299.18/300.19 c bounds - >= 765 @ 299.127
299.18/300.19 c bounds - >= 766 @ 299.127
299.18/300.19 c bounds - >= 767 @ 299.127
299.18/300.19 c bounds - >= 768 @ 299.128
299.18/300.19 c bounds - >= 769 @ 299.128
299.18/300.19 c bounds - >= 770 @ 299.128
299.18/300.19 c bounds - >= 771 @ 299.129
299.18/300.19 c bounds - >= 772 @ 299.129
299.18/300.19 c bounds - >= 773 @ 299.129
299.18/300.19 c bounds - >= 774 @ 299.13
299.18/300.19 c bounds - >= 775 @ 299.13
299.18/300.19 c bounds - >= 776 @ 299.13
299.18/300.19 c bounds - >= 777 @ 299.131
299.18/300.19 c bounds - >= 778 @ 299.131
299.18/300.19 c bounds - >= 779 @ 299.131
299.18/300.19 c bounds - >= 780 @ 299.132
299.18/300.19 c bounds - >= 781 @ 299.132
299.18/300.19 c bounds - >= 782 @ 299.132
299.18/300.19 c bounds - >= 783 @ 299.133
299.18/300.19 c bounds - >= 784 @ 299.133
299.18/300.19 c bounds - >= 785 @ 299.133
299.18/300.19 c bounds - >= 786 @ 299.134
299.18/300.19 c bounds - >= 787 @ 299.134
299.18/300.19 c bounds - >= 788 @ 299.135
299.18/300.19 c bounds - >= 789 @ 299.135
299.18/300.19 c bounds - >= 790 @ 299.135
299.18/300.19 c bounds - >= 791 @ 299.136
299.18/300.19 c bounds - >= 792 @ 299.136
299.18/300.19 c bounds - >= 793 @ 299.136
299.18/300.19 c bounds - >= 794 @ 299.137
299.18/300.19 c bounds - >= 795 @ 299.137
299.18/300.19 c bounds - >= 796 @ 299.137
299.18/300.19 c bounds - >= 797 @ 299.137
299.18/300.19 c bounds - >= 798 @ 299.137
299.18/300.19 c bounds - >= 799 @ 299.137
299.18/300.19 c bounds - >= 800 @ 299.137
299.18/300.19 c bounds - >= 801 @ 299.137
299.18/300.19 c bounds - >= 802 @ 299.138
299.18/300.19 c bounds - >= 803 @ 299.138
299.18/300.19 c bounds - >= 804 @ 299.138
352.54/353.66 c bounds - >= 805 @ 299.138
352.54/353.66 c bounds - >= 806 @ 299.138
352.54/353.66 c #Conflicts: 1000 | #Constraints: 5157
352.54/353.66 c #Conflicts: 2000 | #Constraints: 6157
352.54/353.66 c INPROCESSING
352.54/353.66 c GARBAGE COLLECT
352.54/353.66 c #Conflicts: 3000 | #Constraints: 6000
352.54/353.66 c #Conflicts: 4000 | #Constraints: 7000
352.54/353.66 c INPROCESSING
352.54/353.66 c GARBAGE COLLECT
352.54/353.66 c #Conflicts: 5000 | #Constraints: 6393
352.54/353.66 c #Conflicts: 6000 | #Constraints: 7393
352.54/353.66 c INPROCESSING
352.54/353.66 c GARBAGE COLLECT
352.54/353.66 c #Conflicts: 7000 | #Constraints: 6390
352.54/353.66 c #Conflicts: 8000 | #Constraints: 7390
352.54/353.66 c #Conflicts: 9000 | #Constraints: 8390
352.54/353.66 c INPROCESSING
352.54/353.66 c GARBAGE COLLECT
352.54/353.66 c #Conflicts: 10000 | #Constraints: 7082
352.54/353.66 c #Conflicts: 11000 | #Constraints: 8082
352.54/353.66 c #Conflicts: 12000 | #Constraints: 9082
352.54/353.66 c INPROCESSING
352.54/353.66 c GARBAGE COLLECT
352.54/353.66 c #Conflicts: 13000 | #Constraints: 7528
352.54/353.66 c #Conflicts: 14000 | #Constraints: 8528
352.54/353.66 c #Conflicts: 15000 | #Constraints: 9528
352.54/353.66 c INPROCESSING
352.54/353.66 c GARBAGE COLLECT
352.54/353.66 c #Conflicts: 16000 | #Constraints: 7740
352.54/353.66 c #Conflicts: 17000 | #Constraints: 8740
352.54/353.66 c #Conflicts: 18000 | #Constraints: 9740
352.54/353.66 c INPROCESSING
352.54/353.66 c GARBAGE COLLECT
352.54/353.66 c #Conflicts: 19000 | #Constraints: 7765
352.54/353.66 c #Conflicts: 20000 | #Constraints: 8765
352.54/353.66 c #Conflicts: 21000 | #Constraints: 9765
352.54/353.66 c INPROCESSING
352.54/353.66 c GARBAGE COLLECT
352.54/353.66 c #Conflicts: 22000 | #Constraints: 7570
352.54/353.66 c #Conflicts: 23000 | #Constraints: 8570
352.54/353.66 c #Conflicts: 24000 | #Constraints: 9570
352.54/353.66 c #Conflicts: 25000 | #Constraints: 10570
352.54/353.66 c INPROCESSING
352.54/353.66 c GARBAGE COLLECT
352.54/353.66 c #Conflicts: 26000 | #Constraints: 8167
352.54/353.66 c #Conflicts: 27000 | #Constraints: 9167
352.54/353.66 c #Conflicts: 28000 | #Constraints: 10167
352.54/353.66 c #Conflicts: 29000 | #Constraints: 11167
352.54/353.66 c INPROCESSING
352.54/353.66 c GARBAGE COLLECT
352.54/353.66 c #Conflicts: 30000 | #Constraints: 8569
352.54/353.66 c #Conflicts: 31000 | #Constraints: 9569
352.54/353.66 c #Conflicts: 32000 | #Constraints: 10569
352.54/353.66 c #Conflicts: 33000 | #Constraints: 11569
352.54/353.66 c INPROCESSING
352.54/353.66 c GARBAGE COLLECT
352.54/353.66 c #Conflicts: 34000 | #Constraints: 8770
352.54/353.66 c #Conflicts: 35000 | #Constraints: 9770
352.54/353.66 c #Conflicts: 36000 | #Constraints: 10770
352.54/353.66 c #Conflicts: 37000 | #Constraints: 11770
352.54/353.66 c INPROCESSING
352.54/353.66 c GARBAGE COLLECT
352.54/353.66 c #Conflicts: 38000 | #Constraints: 8769
352.54/353.66 c #Conflicts: 39000 | #Constraints: 9769
352.54/353.66 c #Conflicts: 40000 | #Constraints: 10769
352.54/353.66 c #Conflicts: 41000 | #Constraints: 11769
352.54/353.66 c INPROCESSING
352.54/353.66 c GARBAGE COLLECT
352.54/353.66 c #Conflicts: 42000 | #Constraints: 8579
352.54/353.66 c #Conflicts: 43000 | #Constraints: 9579
352.54/353.66 c #Conflicts: 44000 | #Constraints: 10579
352.54/353.66 c #Conflicts: 45000 | #Constraints: 11579
352.54/353.66 c #Conflicts: 46000 | #Constraints: 12579
352.54/353.66 c INPROCESSING
352.54/353.66 c GARBAGE COLLECT
352.54/353.66 c #Conflicts: 47000 | #Constraints: 9177
352.54/353.66 c #Conflicts: 48000 | #Constraints: 10177
352.54/353.66 c #Conflicts: 49000 | #Constraints: 11177
352.54/353.66 c #Conflicts: 50000 | #Constraints: 12177
352.54/353.66 c #Conflicts: 51000 | #Constraints: 13177
352.54/353.66 c INPROCESSING
352.54/353.66 c GARBAGE COLLECT
352.54/353.66 c #Conflicts: 52000 | #Constraints: 9576
352.54/353.66 c #Conflicts: 53000 | #Constraints: 10576
352.54/353.66 c #Conflicts: 54000 | #Constraints: 11576
352.54/353.66 c #Conflicts: 55000 | #Constraints: 12576
352.54/353.66 c #Conflicts: 56000 | #Constraints: 13576
352.54/353.66 c INPROCESSING
352.54/353.66 c GARBAGE COLLECT
352.54/353.66 c #Conflicts: 57000 | #Constraints: 9776
352.54/353.66 c #Conflicts: 58000 | #Constraints: 10776
352.54/353.66 c #Conflicts: 59000 | #Constraints: 11776
352.54/353.66 c #Conflicts: 60000 | #Constraints: 12776
352.54/353.66 c #Conflicts: 61000 | #Constraints: 13776
352.54/353.66 c INPROCESSING
352.54/353.66 c GARBAGE COLLECT
352.54/353.66 c #Conflicts: 62000 | #Constraints: 9775
352.54/353.66 c #Conflicts: 63000 | #Constraints: 10775
352.54/353.66 c #Conflicts: 64000 | #Constraints: 11775
352.54/353.66 c #Conflicts: 65000 | #Constraints: 12775
352.54/353.66 c #Conflicts: 66000 | #Constraints: 13775
352.54/353.66 c INPROCESSING
352.54/353.66 c GARBAGE COLLECT
352.54/353.66 c #Conflicts: 67000 | #Constraints: 9573
424.66/425.95 c #Conflicts: 68000 | #Constraints: 10573
424.66/425.95 c #Conflicts: 69000 | #Constraints: 11573
424.66/425.95 c #Conflicts: 70000 | #Constraints: 12573
424.66/425.95 c #Conflicts: 71000 | #Constraints: 13573
424.66/425.95 c #Conflicts: 72000 | #Constraints: 14573
424.66/425.95 c INPROCESSING
424.66/425.95 c GARBAGE COLLECT
424.66/425.95 c #Conflicts: 73000 | #Constraints: 10173
424.66/425.95 c #Conflicts: 74000 | #Constraints: 11173
424.66/425.95 c #Conflicts: 75000 | #Constraints: 12173
424.66/425.95 c #Conflicts: 76000 | #Constraints: 13173
424.66/425.95 c #Conflicts: 77000 | #Constraints: 14173
424.66/425.95 c #Conflicts: 78000 | #Constraints: 15173
424.66/425.95 c INPROCESSING
424.66/425.95 c GARBAGE COLLECT
424.66/425.95 c #Conflicts: 79000 | #Constraints: 10592
424.66/425.95 c #Conflicts: 80000 | #Constraints: 11592
424.66/425.95 c bounds - >= 807 @ 369.403
424.66/425.95 c #Conflicts: 81000 | #Constraints: 12593
424.66/425.95 c #Conflicts: 82000 | #Constraints: 13593
424.66/425.95 c #Conflicts: 83000 | #Constraints: 14593
424.66/425.95 c #Conflicts: 84000 | #Constraints: 15593
424.66/425.95 c INPROCESSING
424.66/425.95 c GARBAGE COLLECT
424.66/425.95 c #Conflicts: 85000 | #Constraints: 10797
424.66/425.95 c #Conflicts: 86000 | #Constraints: 11797
424.66/425.95 c #Conflicts: 87000 | #Constraints: 12797
424.66/425.95 c #Conflicts: 88000 | #Constraints: 13797
424.66/425.95 c #Conflicts: 89000 | #Constraints: 14797
424.66/425.95 c #Conflicts: 90000 | #Constraints: 15797
424.66/425.95 c INPROCESSING
424.66/425.95 c GARBAGE COLLECT
424.66/425.95 c #Conflicts: 91000 | #Constraints: 10798
424.66/425.95 c #Conflicts: 92000 | #Constraints: 11798
424.66/425.95 c #Conflicts: 93000 | #Constraints: 12798
424.66/425.95 c #Conflicts: 94000 | #Constraints: 13798
424.66/425.95 c #Conflicts: 95000 | #Constraints: 14798
424.66/425.95 c #Conflicts: 96000 | #Constraints: 15798
424.66/425.95 c INPROCESSING
424.66/425.95 c GARBAGE COLLECT
424.66/425.95 c #Conflicts: 97000 | #Constraints: 10593
424.66/425.95 c #Conflicts: 98000 | #Constraints: 11593
424.66/425.95 c #Conflicts: 99000 | #Constraints: 12593
424.66/425.95 c #Conflicts: 100000 | #Constraints: 13593
424.66/425.95 c #Conflicts: 101000 | #Constraints: 14593
424.66/425.95 c #Conflicts: 102000 | #Constraints: 15593
424.66/425.95 c #Conflicts: 103000 | #Constraints: 16593
424.66/425.95 c INPROCESSING
424.66/425.95 c GARBAGE COLLECT
424.66/425.95 c #Conflicts: 104000 | #Constraints: 11180
424.66/425.95 c #Conflicts: 105000 | #Constraints: 12180
424.66/425.95 c #Conflicts: 106000 | #Constraints: 13180
424.66/425.95 c #Conflicts: 107000 | #Constraints: 14180
424.66/425.95 c #Conflicts: 108000 | #Constraints: 15180
424.66/425.95 c #Conflicts: 109000 | #Constraints: 16180
424.66/425.95 c #Conflicts: 110000 | #Constraints: 17180
424.66/425.95 c INPROCESSING
424.66/425.95 c GARBAGE COLLECT
424.66/425.95 c #Conflicts: 111000 | #Constraints: 11578
424.66/425.95 c #Conflicts: 112000 | #Constraints: 12578
424.66/425.95 c #Conflicts: 113000 | #Constraints: 13578
424.66/425.95 c #Conflicts: 114000 | #Constraints: 14578
424.66/425.95 c #Conflicts: 115000 | #Constraints: 15578
424.66/425.95 c #Conflicts: 116000 | #Constraints: 16578
424.66/425.95 c #Conflicts: 117000 | #Constraints: 17578
424.66/425.95 c INPROCESSING
424.66/425.95 c GARBAGE COLLECT
424.66/425.95 c #Conflicts: 118000 | #Constraints: 11782
424.66/425.95 c #Conflicts: 119000 | #Constraints: 12782
424.66/425.95 c #Conflicts: 120000 | #Constraints: 13782
424.66/425.95 c #Conflicts: 121000 | #Constraints: 14782
424.66/425.95 c #Conflicts: 122000 | #Constraints: 15782
424.66/425.95 c #Conflicts: 123000 | #Constraints: 16782
424.66/425.95 c #Conflicts: 124000 | #Constraints: 17782
424.66/425.95 c INPROCESSING
424.66/425.95 c GARBAGE COLLECT
424.66/425.95 c #Conflicts: 125000 | #Constraints: 11774
424.66/425.95 c #Conflicts: 126000 | #Constraints: 12774
424.66/425.95 c #Conflicts: 127000 | #Constraints: 13774
424.66/425.95 c #Conflicts: 128000 | #Constraints: 14774
424.66/425.95 c #Conflicts: 129000 | #Constraints: 15774
424.66/425.95 c #Conflicts: 130000 | #Constraints: 16774
424.66/425.95 c #Conflicts: 131000 | #Constraints: 17774
424.66/425.95 c INPROCESSING
424.66/425.95 c GARBAGE COLLECT
424.66/425.95 c #Conflicts: 132000 | #Constraints: 11561
424.66/425.95 c #Conflicts: 133000 | #Constraints: 12561
424.66/425.95 c #Conflicts: 134000 | #Constraints: 13561
424.66/425.95 c #Conflicts: 135000 | #Constraints: 14561
424.66/425.95 c #Conflicts: 136000 | #Constraints: 15561
424.66/425.95 c #Conflicts: 137000 | #Constraints: 16561
424.66/425.95 c #Conflicts: 138000 | #Constraints: 17561
536.48/538.01 c #Conflicts: 139000 | #Constraints: 18561
536.48/538.01 c INPROCESSING
536.48/538.01 c GARBAGE COLLECT
536.48/538.01 c #Conflicts: 140000 | #Constraints: 12158
536.48/538.01 c #Conflicts: 141000 | #Constraints: 13158
536.48/538.01 c #Conflicts: 142000 | #Constraints: 14158
536.48/538.01 c #Conflicts: 143000 | #Constraints: 15158
536.48/538.01 c #Conflicts: 144000 | #Constraints: 16158
536.48/538.01 c #Conflicts: 145000 | #Constraints: 17158
536.48/538.01 c #Conflicts: 146000 | #Constraints: 18158
536.48/538.01 c #Conflicts: 147000 | #Constraints: 19158
536.48/538.01 c INPROCESSING
536.48/538.01 c GARBAGE COLLECT
536.48/538.01 c #Conflicts: 148000 | #Constraints: 12558
536.48/538.01 c #Conflicts: 149000 | #Constraints: 13558
536.48/538.01 c #Conflicts: 150000 | #Constraints: 14558
536.48/538.01 c #Conflicts: 151000 | #Constraints: 15558
536.48/538.01 c #Conflicts: 152000 | #Constraints: 16558
536.48/538.01 c #Conflicts: 153000 | #Constraints: 17558
536.48/538.01 c #Conflicts: 154000 | #Constraints: 18558
536.48/538.01 c #Conflicts: 155000 | #Constraints: 19558
536.48/538.01 c INPROCESSING
536.48/538.01 c GARBAGE COLLECT
536.48/538.01 c #Conflicts: 156000 | #Constraints: 12753
536.48/538.01 c #Conflicts: 157000 | #Constraints: 13753
536.48/538.01 c #Conflicts: 158000 | #Constraints: 14753
536.48/538.01 c #Conflicts: 159000 | #Constraints: 15753
536.48/538.01 c #Conflicts: 160000 | #Constraints: 16753
536.48/538.01 c #Conflicts: 161000 | #Constraints: 17753
536.48/538.01 c #Conflicts: 162000 | #Constraints: 18753
536.48/538.01 c #Conflicts: 163000 | #Constraints: 19753
536.48/538.01 c INPROCESSING
536.48/538.01 c GARBAGE COLLECT
536.48/538.01 c #Conflicts: 164000 | #Constraints: 12750
536.48/538.01 c #Conflicts: 165000 | #Constraints: 13750
536.48/538.01 c #Conflicts: 166000 | #Constraints: 14750
536.48/538.01 c #Conflicts: 167000 | #Constraints: 15750
536.48/538.01 c #Conflicts: 168000 | #Constraints: 16750
536.48/538.01 c #Conflicts: 169000 | #Constraints: 17750
536.48/538.01 c #Conflicts: 170000 | #Constraints: 18750
536.48/538.01 c #Conflicts: 171000 | #Constraints: 19750
536.48/538.01 c INPROCESSING
536.48/538.01 c GARBAGE COLLECT
536.48/538.01 c #Conflicts: 172000 | #Constraints: 12543
536.48/538.01 c #Conflicts: 173000 | #Constraints: 13543
536.48/538.01 c #Conflicts: 174000 | #Constraints: 14543
536.48/538.01 c #Conflicts: 175000 | #Constraints: 15543
536.48/538.01 c #Conflicts: 176000 | #Constraints: 16543
536.48/538.01 c #Conflicts: 177000 | #Constraints: 17543
536.48/538.01 c #Conflicts: 178000 | #Constraints: 18543
536.48/538.01 c #Conflicts: 179000 | #Constraints: 19543
536.48/538.01 c #Conflicts: 180000 | #Constraints: 20543
536.48/538.01 c INPROCESSING
536.48/538.01 c GARBAGE COLLECT
536.48/538.01 c #Conflicts: 181000 | #Constraints: 13150
536.48/538.01 c #Conflicts: 182000 | #Constraints: 14150
536.48/538.01 c #Conflicts: 183000 | #Constraints: 15150
536.48/538.01 c #Conflicts: 184000 | #Constraints: 16150
536.48/538.01 c #Conflicts: 185000 | #Constraints: 17150
536.48/538.01 c #Conflicts: 186000 | #Constraints: 18150
536.48/538.01 c #Conflicts: 187000 | #Constraints: 19150
536.48/538.01 c #Conflicts: 188000 | #Constraints: 20150
536.48/538.01 c #Conflicts: 189000 | #Constraints: 21150
536.48/538.01 c INPROCESSING
536.48/538.01 c GARBAGE COLLECT
536.48/538.01 c #Conflicts: 190000 | #Constraints: 13558
536.48/538.01 c #Conflicts: 191000 | #Constraints: 14558
536.48/538.01 c #Conflicts: 192000 | #Constraints: 15558
536.48/538.01 c #Conflicts: 193000 | #Constraints: 16558
536.48/538.01 c #Conflicts: 194000 | #Constraints: 17558
536.48/538.01 c #Conflicts: 195000 | #Constraints: 18558
536.48/538.01 c #Conflicts: 196000 | #Constraints: 19558
536.48/538.01 c #Conflicts: 197000 | #Constraints: 20558
536.48/538.01 c #Conflicts: 198000 | #Constraints: 21558
536.48/538.01 c INPROCESSING
536.48/538.01 c GARBAGE COLLECT
536.48/538.01 c #Conflicts: 199000 | #Constraints: 13765
536.48/538.01 c #Conflicts: 200000 | #Constraints: 14765
536.48/538.01 c #Conflicts: 201000 | #Constraints: 15765
536.48/538.01 c #Conflicts: 202000 | #Constraints: 16765
536.48/538.01 c #Conflicts: 203000 | #Constraints: 17765
536.48/538.01 c #Conflicts: 204000 | #Constraints: 18765
536.48/538.01 c #Conflicts: 205000 | #Constraints: 19765
536.48/538.01 c #Conflicts: 206000 | #Constraints: 20765
536.48/538.01 c #Conflicts: 207000 | #Constraints: 21765
536.48/538.01 c INPROCESSING
536.48/538.01 c GARBAGE COLLECT
536.48/538.01 c #Conflicts: 208000 | #Constraints: 13758
536.48/538.01 c #Conflicts: 209000 | #Constraints: 14758
536.48/538.01 c #Conflicts: 210000 | #Constraints: 15758
536.48/538.01 c #Conflicts: 211000 | #Constraints: 16758
536.48/538.01 c #Conflicts: 212000 | #Constraints: 17758
681.09/683.02 c #Conflicts: 213000 | #Constraints: 18758
681.09/683.02 c #Conflicts: 214000 | #Constraints: 19758
681.09/683.02 c #Conflicts: 215000 | #Constraints: 20758
681.09/683.02 c #Conflicts: 216000 | #Constraints: 21758
681.09/683.02 c INPROCESSING
681.09/683.02 c GARBAGE COLLECT
681.09/683.02 c #Conflicts: 217000 | #Constraints: 13561
681.09/683.02 c #Conflicts: 218000 | #Constraints: 14561
681.09/683.02 c #Conflicts: 219000 | #Constraints: 15561
681.09/683.02 c #Conflicts: 220000 | #Constraints: 16561
681.09/683.02 c #Conflicts: 221000 | #Constraints: 17561
681.09/683.02 c #Conflicts: 222000 | #Constraints: 18561
681.09/683.02 c #Conflicts: 223000 | #Constraints: 19561
681.09/683.02 c #Conflicts: 224000 | #Constraints: 20561
681.09/683.02 c #Conflicts: 225000 | #Constraints: 21561
681.09/683.02 c #Conflicts: 226000 | #Constraints: 22561
681.09/683.02 c INPROCESSING
681.09/683.02 c GARBAGE COLLECT
681.09/683.02 c #Conflicts: 227000 | #Constraints: 14170
681.09/683.02 c #Conflicts: 228000 | #Constraints: 15170
681.09/683.02 c #Conflicts: 229000 | #Constraints: 16170
681.09/683.02 c #Conflicts: 230000 | #Constraints: 17170
681.09/683.02 c #Conflicts: 231000 | #Constraints: 18170
681.09/683.02 c #Conflicts: 232000 | #Constraints: 19170
681.09/683.02 c #Conflicts: 233000 | #Constraints: 20170
681.09/683.02 c #Conflicts: 234000 | #Constraints: 21170
681.09/683.02 c #Conflicts: 235000 | #Constraints: 22170
681.09/683.02 c #Conflicts: 236000 | #Constraints: 23170
681.09/683.02 c INPROCESSING
681.09/683.02 c GARBAGE COLLECT
681.09/683.02 c #Conflicts: 237000 | #Constraints: 14569
681.09/683.02 c #Conflicts: 238000 | #Constraints: 15569
681.09/683.02 c #Conflicts: 239000 | #Constraints: 16569
681.09/683.02 c #Conflicts: 240000 | #Constraints: 17569
681.09/683.02 c #Conflicts: 241000 | #Constraints: 18569
681.09/683.02 c #Conflicts: 242000 | #Constraints: 19569
681.09/683.02 c #Conflicts: 243000 | #Constraints: 20569
681.09/683.02 c #Conflicts: 244000 | #Constraints: 21569
681.09/683.02 c #Conflicts: 245000 | #Constraints: 22569
681.09/683.02 c #Conflicts: 246000 | #Constraints: 23569
681.09/683.02 c INPROCESSING
681.09/683.02 c GARBAGE COLLECT
681.09/683.02 c #Conflicts: 247000 | #Constraints: 14763
681.09/683.02 c #Conflicts: 248000 | #Constraints: 15763
681.09/683.02 c #Conflicts: 249000 | #Constraints: 16763
681.09/683.02 c #Conflicts: 250000 | #Constraints: 17763
681.09/683.02 c #Conflicts: 251000 | #Constraints: 18763
681.09/683.02 c #Conflicts: 252000 | #Constraints: 19763
681.09/683.02 c #Conflicts: 253000 | #Constraints: 20763
681.09/683.02 c #Conflicts: 254000 | #Constraints: 21763
681.09/683.02 c #Conflicts: 255000 | #Constraints: 22763
681.09/683.02 c #Conflicts: 256000 | #Constraints: 23763
681.09/683.02 c INPROCESSING
681.09/683.02 c GARBAGE COLLECT
681.09/683.02 c #Conflicts: 257000 | #Constraints: 14752
681.09/683.02 c #Conflicts: 258000 | #Constraints: 15752
681.09/683.02 c #Conflicts: 259000 | #Constraints: 16752
681.09/683.02 c #Conflicts: 260000 | #Constraints: 17752
681.09/683.02 c #Conflicts: 261000 | #Constraints: 18752
681.09/683.02 c #Conflicts: 262000 | #Constraints: 19752
681.09/683.02 c #Conflicts: 263000 | #Constraints: 20752
681.09/683.02 c #Conflicts: 264000 | #Constraints: 21752
681.09/683.02 c #Conflicts: 265000 | #Constraints: 22752
681.09/683.02 c #Conflicts: 266000 | #Constraints: 23752
681.09/683.02 c INPROCESSING
681.09/683.02 c GARBAGE COLLECT
681.09/683.02 c #Conflicts: 267000 | #Constraints: 14568
681.09/683.02 c #Conflicts: 268000 | #Constraints: 15568
681.09/683.02 c #Conflicts: 269000 | #Constraints: 16568
681.09/683.02 c #Conflicts: 270000 | #Constraints: 17568
681.09/683.02 c #Conflicts: 271000 | #Constraints: 18568
681.09/683.02 c #Conflicts: 272000 | #Constraints: 19568
681.09/683.02 c #Conflicts: 273000 | #Constraints: 20568
681.09/683.02 c #Conflicts: 274000 | #Constraints: 21568
681.09/683.02 c #Conflicts: 275000 | #Constraints: 22568
681.09/683.02 c #Conflicts: 276000 | #Constraints: 23568
681.09/683.02 c #Conflicts: 277000 | #Constraints: 24568
681.09/683.02 c INPROCESSING
681.09/683.02 c GARBAGE COLLECT
681.09/683.02 c #Conflicts: 278000 | #Constraints: 15166
681.09/683.02 c #Conflicts: 279000 | #Constraints: 16166
681.09/683.02 c #Conflicts: 280000 | #Constraints: 17166
681.09/683.02 c #Conflicts: 281000 | #Constraints: 18166
681.09/683.02 c #Conflicts: 282000 | #Constraints: 19166
681.09/683.02 c #Conflicts: 283000 | #Constraints: 20166
681.09/683.02 c #Conflicts: 284000 | #Constraints: 21166
681.09/683.02 c #Conflicts: 285000 | #Constraints: 22166
681.09/683.02 c #Conflicts: 286000 | #Constraints: 23166
775.24/777.41 c #Conflicts: 287000 | #Constraints: 24166
775.24/777.41 c #Conflicts: 288000 | #Constraints: 25166
775.24/777.41 c INPROCESSING
775.24/777.41 c GARBAGE COLLECT
775.24/777.41 c #Conflicts: 289000 | #Constraints: 15556
775.24/777.41 c #Conflicts: 290000 | #Constraints: 16556
775.24/777.41 c #Conflicts: 291000 | #Constraints: 17556
775.24/777.41 c #Conflicts: 292000 | #Constraints: 18556
775.24/777.41 c #Conflicts: 293000 | #Constraints: 19556
775.24/777.41 c #Conflicts: 294000 | #Constraints: 20556
775.24/777.41 c #Conflicts: 295000 | #Constraints: 21556
775.24/777.41 c #Conflicts: 296000 | #Constraints: 22556
775.24/777.41 c #Conflicts: 297000 | #Constraints: 23556
775.24/777.41 c #Conflicts: 298000 | #Constraints: 24556
775.24/777.41 c #Conflicts: 299000 | #Constraints: 25556
775.24/777.41 c INPROCESSING
775.24/777.41 c GARBAGE COLLECT
775.24/777.41 c #Conflicts: 300000 | #Constraints: 15749
775.24/777.41 c #Conflicts: 301000 | #Constraints: 16749
775.24/777.41 c #Conflicts: 302000 | #Constraints: 17749
775.24/777.41 c #Conflicts: 303000 | #Constraints: 18749
775.24/777.41 c #Conflicts: 304000 | #Constraints: 19749
775.24/777.41 c #Conflicts: 305000 | #Constraints: 20749
775.24/777.41 c #Conflicts: 306000 | #Constraints: 21749
775.24/777.41 c #Conflicts: 307000 | #Constraints: 22749
775.24/777.41 c #Conflicts: 308000 | #Constraints: 23749
775.24/777.41 c #Conflicts: 309000 | #Constraints: 24749
775.24/777.41 c #Conflicts: 310000 | #Constraints: 25749
775.24/777.41 c INPROCESSING
775.24/777.41 c GARBAGE COLLECT
775.24/777.41 c #Conflicts: 311000 | #Constraints: 15741
775.24/777.41 c #Conflicts: 312000 | #Constraints: 16741
775.24/777.41 c #Conflicts: 313000 | #Constraints: 17741
775.24/777.41 c #Conflicts: 314000 | #Constraints: 18741
775.24/777.41 c #Conflicts: 315000 | #Constraints: 19741
775.24/777.41 c #Conflicts: 316000 | #Constraints: 20741
775.24/777.41 c #Conflicts: 317000 | #Constraints: 21741
775.24/777.41 c #Conflicts: 318000 | #Constraints: 22741
775.24/777.41 c #Conflicts: 319000 | #Constraints: 23741
775.24/777.41 c #Conflicts: 320000 | #Constraints: 24741
775.24/777.41 c #Conflicts: 321000 | #Constraints: 25741
775.24/777.41 c INPROCESSING
775.24/777.41 c GARBAGE COLLECT
775.24/777.41 c #Conflicts: 322000 | #Constraints: 15543
775.24/777.41 c #Conflicts: 323000 | #Constraints: 16543
775.24/777.41 c #Conflicts: 324000 | #Constraints: 17543
775.24/777.41 c #Conflicts: 325000 | #Constraints: 18543
775.24/777.41 c #Conflicts: 326000 | #Constraints: 19543
775.24/777.41 c #Conflicts: 327000 | #Constraints: 20543
775.24/777.41 c #Conflicts: 328000 | #Constraints: 21543
775.24/777.41 c #Conflicts: 329000 | #Constraints: 22543
775.24/777.41 c #Conflicts: 330000 | #Constraints: 23543
775.24/777.41 c #Conflicts: 331000 | #Constraints: 24543
775.24/777.41 c #Conflicts: 332000 | #Constraints: 25543
775.24/777.41 c #Conflicts: 333000 | #Constraints: 26543
775.24/777.41 c INPROCESSING
775.24/777.41 c GARBAGE COLLECT
775.24/777.41 c #Conflicts: 334000 | #Constraints: 16147
775.24/777.41 c #Conflicts: 335000 | #Constraints: 17147
775.24/777.41 c #Conflicts: 336000 | #Constraints: 18147
775.24/777.41 c #Conflicts: 337000 | #Constraints: 19147
775.24/777.41 c #Conflicts: 338000 | #Constraints: 20147
775.24/777.41 c #Conflicts: 339000 | #Constraints: 21147
775.24/777.41 c #Conflicts: 340000 | #Constraints: 22147
775.24/777.41 c #Conflicts: 341000 | #Constraints: 23147
775.24/777.41 c #Conflicts: 342000 | #Constraints: 24147
775.24/777.41 c #Conflicts: 343000 | #Constraints: 25147
775.24/777.41 c #Conflicts: 344000 | #Constraints: 26147
775.24/777.41 c #Conflicts: 345000 | #Constraints: 27147
775.24/777.41 c INPROCESSING
775.24/777.41 c GARBAGE COLLECT
775.24/777.41 c #Conflicts: 346000 | #Constraints: 16595
775.24/777.41 c #Conflicts: 347000 | #Constraints: 17595
775.24/777.41 c #Conflicts: 348000 | #Constraints: 18595
775.24/777.41 c #Conflicts: 349000 | #Constraints: 19595
775.24/777.41 c #Conflicts: 350000 | #Constraints: 20595
775.24/777.41 c #Conflicts: 351000 | #Constraints: 21595
775.24/777.41 c #Conflicts: 352000 | #Constraints: 22595
775.24/777.41 c #Conflicts: 353000 | #Constraints: 23595
775.24/777.41 c #Conflicts: 354000 | #Constraints: 24595
775.24/777.41 c #Conflicts: 355000 | #Constraints: 25595
775.24/777.41 c #Conflicts: 356000 | #Constraints: 26595
775.24/777.41 c #Conflicts: 357000 | #Constraints: 27595
775.24/777.41 c INPROCESSING
775.24/777.41 c GARBAGE COLLECT
775.24/777.41 c #Conflicts: 358000 | #Constraints: 16763
775.24/777.41 c #Conflicts: 359000 | #Constraints: 17763
775.24/777.41 c #Conflicts: 360000 | #Constraints: 18763
886.65/889.11 c #Conflicts: 361000 | #Constraints: 19763
886.65/889.11 c #Conflicts: 362000 | #Constraints: 20763
886.65/889.11 c #Conflicts: 363000 | #Constraints: 21763
886.65/889.11 c #Conflicts: 364000 | #Constraints: 22763
886.65/889.11 c #Conflicts: 365000 | #Constraints: 23763
886.65/889.11 c #Conflicts: 366000 | #Constraints: 24763
886.65/889.11 c #Conflicts: 367000 | #Constraints: 25763
886.65/889.11 c #Conflicts: 368000 | #Constraints: 26763
886.65/889.11 c #Conflicts: 369000 | #Constraints: 27763
886.65/889.11 c INPROCESSING
886.65/889.11 c GARBAGE COLLECT
886.65/889.11 c #Conflicts: 370000 | #Constraints: 16752
886.65/889.11 c #Conflicts: 371000 | #Constraints: 17752
886.65/889.11 c #Conflicts: 372000 | #Constraints: 18752
886.65/889.11 c #Conflicts: 373000 | #Constraints: 19752
886.65/889.11 c #Conflicts: 374000 | #Constraints: 20752
886.65/889.11 c #Conflicts: 375000 | #Constraints: 21752
886.65/889.11 c #Conflicts: 376000 | #Constraints: 22752
886.65/889.11 c #Conflicts: 377000 | #Constraints: 23752
886.65/889.11 c #Conflicts: 378000 | #Constraints: 24752
886.65/889.11 c #Conflicts: 379000 | #Constraints: 25752
886.65/889.11 c #Conflicts: 380000 | #Constraints: 26752
886.65/889.11 c #Conflicts: 381000 | #Constraints: 27752
886.65/889.11 c INPROCESSING
886.65/889.11 c GARBAGE COLLECT
886.65/889.11 c #Conflicts: 382000 | #Constraints: 16537
886.65/889.11 c #Conflicts: 383000 | #Constraints: 17537
886.65/889.11 c #Conflicts: 384000 | #Constraints: 18537
886.65/889.11 c #Conflicts: 385000 | #Constraints: 19537
886.65/889.11 c #Conflicts: 386000 | #Constraints: 20537
886.65/889.11 c #Conflicts: 387000 | #Constraints: 21537
886.65/889.11 c #Conflicts: 388000 | #Constraints: 22537
886.65/889.11 c #Conflicts: 389000 | #Constraints: 23537
886.65/889.11 c #Conflicts: 390000 | #Constraints: 24537
886.65/889.11 c #Conflicts: 391000 | #Constraints: 25537
886.65/889.11 c #Conflicts: 392000 | #Constraints: 26537
886.65/889.11 c #Conflicts: 393000 | #Constraints: 27537
886.65/889.11 c #Conflicts: 394000 | #Constraints: 28537
886.65/889.11 c INPROCESSING
886.65/889.11 c GARBAGE COLLECT
886.65/889.11 c #Conflicts: 395000 | #Constraints: 17148
886.65/889.11 c #Conflicts: 396000 | #Constraints: 18148
886.65/889.11 c #Conflicts: 397000 | #Constraints: 19148
886.65/889.11 c #Conflicts: 398000 | #Constraints: 20148
886.65/889.11 c #Conflicts: 399000 | #Constraints: 21148
886.65/889.11 c #Conflicts: 400000 | #Constraints: 22148
886.65/889.11 c #Conflicts: 401000 | #Constraints: 23148
886.65/889.11 c #Conflicts: 402000 | #Constraints: 24148
886.65/889.11 c #Conflicts: 403000 | #Constraints: 25148
886.65/889.11 c #Conflicts: 404000 | #Constraints: 26148
886.65/889.11 c #Conflicts: 405000 | #Constraints: 27148
886.65/889.11 c #Conflicts: 406000 | #Constraints: 28148
886.65/889.11 c #Conflicts: 407000 | #Constraints: 29148
886.65/889.11 c INPROCESSING
886.65/889.11 c GARBAGE COLLECT
886.65/889.11 c #Conflicts: 408000 | #Constraints: 17551
886.65/889.11 c #Conflicts: 409000 | #Constraints: 18551
886.65/889.11 c #Conflicts: 410000 | #Constraints: 19551
886.65/889.11 c #Conflicts: 411000 | #Constraints: 20551
886.65/889.11 c #Conflicts: 412000 | #Constraints: 21551
886.65/889.11 c #Conflicts: 413000 | #Constraints: 22551
886.65/889.11 c #Conflicts: 414000 | #Constraints: 23551
886.65/889.11 c #Conflicts: 415000 | #Constraints: 24551
886.65/889.11 c #Conflicts: 416000 | #Constraints: 25551
886.65/889.11 c #Conflicts: 417000 | #Constraints: 26551
886.65/889.11 c #Conflicts: 418000 | #Constraints: 27551
886.65/889.11 c #Conflicts: 419000 | #Constraints: 28551
886.65/889.11 c #Conflicts: 420000 | #Constraints: 29551
886.65/889.11 c INPROCESSING
886.65/889.11 c GARBAGE COLLECT
886.65/889.11 c #Conflicts: 421000 | #Constraints: 17752
886.65/889.11 c #Conflicts: 422000 | #Constraints: 18752
886.65/889.11 c #Conflicts: 423000 | #Constraints: 19752
886.65/889.11 c #Conflicts: 424000 | #Constraints: 20752
886.65/889.11 c #Conflicts: 425000 | #Constraints: 21752
886.65/889.11 c #Conflicts: 426000 | #Constraints: 22752
886.65/889.11 c #Conflicts: 427000 | #Constraints: 23752
886.65/889.11 c #Conflicts: 428000 | #Constraints: 24752
886.65/889.11 c #Conflicts: 429000 | #Constraints: 25752
886.65/889.11 c #Conflicts: 430000 | #Constraints: 26752
886.65/889.11 c #Conflicts: 431000 | #Constraints: 27752
886.65/889.11 c #Conflicts: 432000 | #Constraints: 28752
886.65/889.11 c #Conflicts: 433000 | #Constraints: 29752
886.65/889.11 c INPROCESSING
886.65/889.11 c GARBAGE COLLECT
886.65/889.11 c #Conflicts: 434000 | #Constraints: 17749
886.65/889.11 c #Conflicts: 435000 | #Constraints: 18749
1065.17/1068.13 c #Conflicts: 436000 | #Constraints: 19749
1065.17/1068.13 c #Conflicts: 437000 | #Constraints: 20749
1065.17/1068.13 c #Conflicts: 438000 | #Constraints: 21749
1065.17/1068.13 c #Conflicts: 439000 | #Constraints: 22749
1065.17/1068.13 c #Conflicts: 440000 | #Constraints: 23749
1065.17/1068.13 c #Conflicts: 441000 | #Constraints: 24749
1065.17/1068.13 c #Conflicts: 442000 | #Constraints: 25749
1065.17/1068.13 c #Conflicts: 443000 | #Constraints: 26749
1065.17/1068.13 c #Conflicts: 444000 | #Constraints: 27749
1065.17/1068.13 c #Conflicts: 445000 | #Constraints: 28749
1065.17/1068.13 c #Conflicts: 446000 | #Constraints: 29749
1065.17/1068.13 c INPROCESSING
1065.17/1068.13 c GARBAGE COLLECT
1065.17/1068.13 c #Conflicts: 447000 | #Constraints: 17547
1065.17/1068.13 c #Conflicts: 448000 | #Constraints: 18547
1065.17/1068.13 c #Conflicts: 449000 | #Constraints: 19547
1065.17/1068.13 c #Conflicts: 450000 | #Constraints: 20547
1065.17/1068.13 c #Conflicts: 451000 | #Constraints: 21547
1065.17/1068.13 c #Conflicts: 452000 | #Constraints: 22547
1065.17/1068.13 c #Conflicts: 453000 | #Constraints: 23547
1065.17/1068.13 c #Conflicts: 454000 | #Constraints: 24547
1065.17/1068.13 c #Conflicts: 455000 | #Constraints: 25547
1065.17/1068.13 c #Conflicts: 456000 | #Constraints: 26547
1065.17/1068.13 c #Conflicts: 457000 | #Constraints: 27547
1065.17/1068.13 c #Conflicts: 458000 | #Constraints: 28547
1065.17/1068.13 c #Conflicts: 459000 | #Constraints: 29547
1065.17/1068.13 c #Conflicts: 460000 | #Constraints: 30547
1065.17/1068.13 c INPROCESSING
1065.17/1068.13 c GARBAGE COLLECT
1065.17/1068.13 c #Conflicts: 461000 | #Constraints: 18151
1065.17/1068.13 c #Conflicts: 462000 | #Constraints: 19151
1065.17/1068.13 c #Conflicts: 463000 | #Constraints: 20151
1065.17/1068.13 c #Conflicts: 464000 | #Constraints: 21151
1065.17/1068.13 c #Conflicts: 465000 | #Constraints: 22151
1065.17/1068.13 c #Conflicts: 466000 | #Constraints: 23151
1065.17/1068.13 c #Conflicts: 467000 | #Constraints: 24151
1065.17/1068.13 c #Conflicts: 468000 | #Constraints: 25151
1065.17/1068.13 c #Conflicts: 469000 | #Constraints: 26151
1065.17/1068.13 c #Conflicts: 470000 | #Constraints: 27151
1065.17/1068.13 c #Conflicts: 471000 | #Constraints: 28151
1065.17/1068.13 c #Conflicts: 472000 | #Constraints: 29151
1065.17/1068.13 c #Conflicts: 473000 | #Constraints: 30151
1065.17/1068.13 c #Conflicts: 474000 | #Constraints: 31151
1065.17/1068.13 c INPROCESSING
1065.17/1068.13 c GARBAGE COLLECT
1065.17/1068.13 c #Conflicts: 475000 | #Constraints: 18562
1065.17/1068.13 c #Conflicts: 476000 | #Constraints: 19562
1065.17/1068.13 c #Conflicts: 477000 | #Constraints: 20562
1065.17/1068.13 c #Conflicts: 478000 | #Constraints: 21562
1065.17/1068.13 c #Conflicts: 479000 | #Constraints: 22562
1065.17/1068.13 c #Conflicts: 480000 | #Constraints: 23562
1065.17/1068.13 c #Conflicts: 481000 | #Constraints: 24562
1065.17/1068.13 c #Conflicts: 482000 | #Constraints: 25562
1065.17/1068.13 c #Conflicts: 483000 | #Constraints: 26562
1065.17/1068.13 c #Conflicts: 484000 | #Constraints: 27562
1065.17/1068.13 c #Conflicts: 485000 | #Constraints: 28562
1065.17/1068.13 c #Conflicts: 486000 | #Constraints: 29562
1065.17/1068.13 c #Conflicts: 487000 | #Constraints: 30562
1065.17/1068.13 c #Conflicts: 488000 | #Constraints: 31562
1065.17/1068.13 c INPROCESSING
1065.17/1068.13 c GARBAGE COLLECT
1065.17/1068.13 c #Conflicts: 489000 | #Constraints: 18749
1065.17/1068.13 c #Conflicts: 490000 | #Constraints: 19749
1065.17/1068.13 c #Conflicts: 491000 | #Constraints: 20749
1065.17/1068.13 c #Conflicts: 492000 | #Constraints: 21749
1065.17/1068.13 c #Conflicts: 493000 | #Constraints: 22749
1065.17/1068.13 c #Conflicts: 494000 | #Constraints: 23749
1065.17/1068.13 c #Conflicts: 495000 | #Constraints: 24749
1065.17/1068.13 c #Conflicts: 496000 | #Constraints: 25749
1065.17/1068.13 c #Conflicts: 497000 | #Constraints: 26749
1065.17/1068.13 c #Conflicts: 498000 | #Constraints: 27749
1065.17/1068.13 c #Conflicts: 499000 | #Constraints: 28749
1065.17/1068.13 c #Conflicts: 500000 | #Constraints: 29749
1065.17/1068.13 c #Conflicts: 501000 | #Constraints: 30749
1065.17/1068.13 c #Conflicts: 502000 | #Constraints: 31749
1065.17/1068.13 c INPROCESSING
1065.17/1068.13 c GARBAGE COLLECT
1065.17/1068.13 c #Conflicts: 503000 | #Constraints: 18753
1065.17/1068.13 c #Conflicts: 504000 | #Constraints: 19753
1065.17/1068.13 c #Conflicts: 505000 | #Constraints: 20753
1065.17/1068.13 c #Conflicts: 506000 | #Constraints: 21753
1065.17/1068.13 c #Conflicts: 507000 | #Constraints: 22753
1065.17/1068.13 c #Conflicts: 508000 | #Constraints: 23753
1065.17/1068.13 c #Conflicts: 509000 | #Constraints: 24753
1065.17/1068.13 c #Conflicts: 510000 | #Constraints: 25753
1065.17/1068.13 c #Conflicts: 511000 | #Constraints: 26753
1231.02/1234.46 c #Conflicts: 512000 | #Constraints: 27753
1231.02/1234.46 c #Conflicts: 513000 | #Constraints: 28753
1231.02/1234.46 c #Conflicts: 514000 | #Constraints: 29753
1231.02/1234.46 c #Conflicts: 515000 | #Constraints: 30753
1231.02/1234.46 c #Conflicts: 516000 | #Constraints: 31753
1231.02/1234.46 c INPROCESSING
1231.02/1234.46 c GARBAGE COLLECT
1231.02/1234.46 c #Conflicts: 517000 | #Constraints: 18552
1231.02/1234.46 c #Conflicts: 518000 | #Constraints: 19552
1231.02/1234.46 c #Conflicts: 519000 | #Constraints: 20552
1231.02/1234.46 c #Conflicts: 520000 | #Constraints: 21552
1231.02/1234.46 c #Conflicts: 521000 | #Constraints: 22552
1231.02/1234.46 c #Conflicts: 522000 | #Constraints: 23552
1231.02/1234.46 c #Conflicts: 523000 | #Constraints: 24552
1231.02/1234.46 c #Conflicts: 524000 | #Constraints: 25552
1231.02/1234.46 c #Conflicts: 525000 | #Constraints: 26552
1231.02/1234.46 c #Conflicts: 526000 | #Constraints: 27552
1231.02/1234.46 c #Conflicts: 527000 | #Constraints: 28552
1231.02/1234.46 c #Conflicts: 528000 | #Constraints: 29552
1231.02/1234.46 c #Conflicts: 529000 | #Constraints: 30552
1231.02/1234.46 c #Conflicts: 530000 | #Constraints: 31552
1231.02/1234.46 c #Conflicts: 531000 | #Constraints: 32552
1231.02/1234.46 c INPROCESSING
1231.02/1234.46 c GARBAGE COLLECT
1231.02/1234.46 c #Conflicts: 532000 | #Constraints: 19151
1231.02/1234.46 c #Conflicts: 533000 | #Constraints: 20151
1231.02/1234.46 c #Conflicts: 534000 | #Constraints: 21151
1231.02/1234.46 c #Conflicts: 535000 | #Constraints: 22151
1231.02/1234.46 c #Conflicts: 536000 | #Constraints: 23151
1231.02/1234.46 c #Conflicts: 537000 | #Constraints: 24151
1231.02/1234.46 c #Conflicts: 538000 | #Constraints: 25151
1231.02/1234.46 c #Conflicts: 539000 | #Constraints: 26151
1231.02/1234.46 c #Conflicts: 540000 | #Constraints: 27151
1231.02/1234.46 c #Conflicts: 541000 | #Constraints: 28151
1231.02/1234.46 c #Conflicts: 542000 | #Constraints: 29151
1231.02/1234.46 c #Conflicts: 543000 | #Constraints: 30151
1231.02/1234.46 c #Conflicts: 544000 | #Constraints: 31151
1231.02/1234.46 c #Conflicts: 545000 | #Constraints: 32151
1231.02/1234.46 c #Conflicts: 546000 | #Constraints: 33151
1231.02/1234.46 c INPROCESSING
1231.02/1234.46 c GARBAGE COLLECT
1231.02/1234.46 c #Conflicts: 547000 | #Constraints: 19560
1231.02/1234.46 c #Conflicts: 548000 | #Constraints: 20560
1231.02/1234.46 c #Conflicts: 549000 | #Constraints: 21560
1231.02/1234.46 c #Conflicts: 550000 | #Constraints: 22560
1231.02/1234.46 c #Conflicts: 551000 | #Constraints: 23560
1231.02/1234.46 c #Conflicts: 552000 | #Constraints: 24560
1231.02/1234.46 c #Conflicts: 553000 | #Constraints: 25560
1231.02/1234.46 c #Conflicts: 554000 | #Constraints: 26560
1231.02/1234.46 c #Conflicts: 555000 | #Constraints: 27560
1231.02/1234.46 c #Conflicts: 556000 | #Constraints: 28560
1231.02/1234.46 c #Conflicts: 557000 | #Constraints: 29560
1231.02/1234.46 c #Conflicts: 558000 | #Constraints: 30560
1231.02/1234.46 c #Conflicts: 559000 | #Constraints: 31560
1231.02/1234.46 c #Conflicts: 560000 | #Constraints: 32560
1231.02/1234.46 c #Conflicts: 561000 | #Constraints: 33560
1231.02/1234.46 c INPROCESSING
1231.02/1234.46 c GARBAGE COLLECT
1231.02/1234.46 c #Conflicts: 562000 | #Constraints: 19753
1231.02/1234.46 c #Conflicts: 563000 | #Constraints: 20753
1231.02/1234.46 c #Conflicts: 564000 | #Constraints: 21753
1231.02/1234.46 c #Conflicts: 565000 | #Constraints: 22753
1231.02/1234.46 c #Conflicts: 566000 | #Constraints: 23753
1231.02/1234.46 c #Conflicts: 567000 | #Constraints: 24753
1231.02/1234.46 c #Conflicts: 568000 | #Constraints: 25753
1231.02/1234.46 c #Conflicts: 569000 | #Constraints: 26753
1231.02/1234.46 c #Conflicts: 570000 | #Constraints: 27753
1231.02/1234.46 c #Conflicts: 571000 | #Constraints: 28753
1231.02/1234.46 c #Conflicts: 572000 | #Constraints: 29753
1231.02/1234.46 c #Conflicts: 573000 | #Constraints: 30753
1231.02/1234.46 c #Conflicts: 574000 | #Constraints: 31753
1231.02/1234.46 c #Conflicts: 575000 | #Constraints: 32753
1231.02/1234.46 c #Conflicts: 576000 | #Constraints: 33753
1231.02/1234.46 c INPROCESSING
1231.02/1234.46 c GARBAGE COLLECT
1231.02/1234.46 c #Conflicts: 577000 | #Constraints: 19754
1231.02/1234.46 c #Conflicts: 578000 | #Constraints: 20754
1231.02/1234.46 c #Conflicts: 579000 | #Constraints: 21754
1231.02/1234.46 c #Conflicts: 580000 | #Constraints: 22754
1231.02/1234.46 c #Conflicts: 581000 | #Constraints: 23754
1231.02/1234.46 c #Conflicts: 582000 | #Constraints: 24754
1231.02/1234.46 c #Conflicts: 583000 | #Constraints: 25754
1231.02/1234.46 c #Conflicts: 584000 | #Constraints: 26754
1231.02/1234.46 c #Conflicts: 585000 | #Constraints: 27754
1231.02/1234.46 c #Conflicts: 586000 | #Constraints: 28754
1436.96/1441.00 c #Conflicts: 587000 | #Constraints: 29754
1436.96/1441.00 c #Conflicts: 588000 | #Constraints: 30754
1436.96/1441.00 c #Conflicts: 589000 | #Constraints: 31754
1436.96/1441.00 c #Conflicts: 590000 | #Constraints: 32754
1436.96/1441.00 c #Conflicts: 591000 | #Constraints: 33754
1436.96/1441.00 c INPROCESSING
1436.96/1441.00 c GARBAGE COLLECT
1436.96/1441.00 c #Conflicts: 592000 | #Constraints: 19537
1436.96/1441.00 c #Conflicts: 593000 | #Constraints: 20537
1436.96/1441.00 c #Conflicts: 594000 | #Constraints: 21537
1436.96/1441.00 c #Conflicts: 595000 | #Constraints: 22537
1436.96/1441.00 c #Conflicts: 596000 | #Constraints: 23537
1436.96/1441.00 c #Conflicts: 597000 | #Constraints: 24537
1436.96/1441.00 c #Conflicts: 598000 | #Constraints: 25537
1436.96/1441.00 c #Conflicts: 599000 | #Constraints: 26537
1436.96/1441.00 c #Conflicts: 600000 | #Constraints: 27537
1436.96/1441.00 c #Conflicts: 601000 | #Constraints: 28537
1436.96/1441.00 c #Conflicts: 602000 | #Constraints: 29537
1436.96/1441.00 c #Conflicts: 603000 | #Constraints: 30537
1436.96/1441.00 c #Conflicts: 604000 | #Constraints: 31537
1436.96/1441.00 c #Conflicts: 605000 | #Constraints: 32537
1436.96/1441.00 c #Conflicts: 606000 | #Constraints: 33537
1436.96/1441.00 c #Conflicts: 607000 | #Constraints: 34537
1436.96/1441.00 c INPROCESSING
1436.96/1441.00 c GARBAGE COLLECT
1436.96/1441.00 c #Conflicts: 608000 | #Constraints: 20151
1436.96/1441.00 c #Conflicts: 609000 | #Constraints: 21151
1436.96/1441.00 c #Conflicts: 610000 | #Constraints: 22151
1436.96/1441.00 c #Conflicts: 611000 | #Constraints: 23151
1436.96/1441.00 c #Conflicts: 612000 | #Constraints: 24151
1436.96/1441.00 c #Conflicts: 613000 | #Constraints: 25151
1436.96/1441.00 c #Conflicts: 614000 | #Constraints: 26151
1436.96/1441.00 c #Conflicts: 615000 | #Constraints: 27151
1436.96/1441.00 c #Conflicts: 616000 | #Constraints: 28151
1436.96/1441.00 c #Conflicts: 617000 | #Constraints: 29151
1436.96/1441.00 c #Conflicts: 618000 | #Constraints: 30151
1436.96/1441.00 c #Conflicts: 619000 | #Constraints: 31151
1436.96/1441.00 c #Conflicts: 620000 | #Constraints: 32151
1436.96/1441.00 c #Conflicts: 621000 | #Constraints: 33151
1436.96/1441.00 c #Conflicts: 622000 | #Constraints: 34151
1436.96/1441.00 c #Conflicts: 623000 | #Constraints: 35151
1436.96/1441.00 c INPROCESSING
1436.96/1441.00 c GARBAGE COLLECT
1436.96/1441.00 c #Conflicts: 624000 | #Constraints: 20529
1436.96/1441.00 c #Conflicts: 625000 | #Constraints: 21529
1436.96/1441.00 c #Conflicts: 626000 | #Constraints: 22529
1436.96/1441.00 c #Conflicts: 627000 | #Constraints: 23529
1436.96/1441.00 c #Conflicts: 628000 | #Constraints: 24529
1436.96/1441.00 c #Conflicts: 629000 | #Constraints: 25529
1436.96/1441.00 c #Conflicts: 630000 | #Constraints: 26529
1436.96/1441.00 c #Conflicts: 631000 | #Constraints: 27529
1436.96/1441.00 c #Conflicts: 632000 | #Constraints: 28529
1436.96/1441.00 c #Conflicts: 633000 | #Constraints: 29529
1436.96/1441.00 c #Conflicts: 634000 | #Constraints: 30529
1436.96/1441.00 c #Conflicts: 635000 | #Constraints: 31529
1436.96/1441.00 c #Conflicts: 636000 | #Constraints: 32529
1436.96/1441.00 c #Conflicts: 637000 | #Constraints: 33529
1436.96/1441.00 c #Conflicts: 638000 | #Constraints: 34529
1436.96/1441.00 c #Conflicts: 639000 | #Constraints: 35529
1436.96/1441.00 c INPROCESSING
1436.96/1441.00 c GARBAGE COLLECT
1436.96/1441.00 c #Conflicts: 640000 | #Constraints: 20730
1436.96/1441.00 c #Conflicts: 641000 | #Constraints: 21730
1436.96/1441.00 c #Conflicts: 642000 | #Constraints: 22730
1436.96/1441.00 c #Conflicts: 643000 | #Constraints: 23730
1436.96/1441.00 c #Conflicts: 644000 | #Constraints: 24730
1436.96/1441.00 c #Conflicts: 645000 | #Constraints: 25730
1436.96/1441.00 c #Conflicts: 646000 | #Constraints: 26730
1436.96/1441.00 c #Conflicts: 647000 | #Constraints: 27730
1436.96/1441.00 c #Conflicts: 648000 | #Constraints: 28730
1436.96/1441.00 c #Conflicts: 649000 | #Constraints: 29730
1436.96/1441.00 c #Conflicts: 650000 | #Constraints: 30730
1436.96/1441.00 c #Conflicts: 651000 | #Constraints: 31730
1436.96/1441.00 c #Conflicts: 652000 | #Constraints: 32730
1436.96/1441.00 c #Conflicts: 653000 | #Constraints: 33730
1436.96/1441.00 c #Conflicts: 654000 | #Constraints: 34730
1436.96/1441.00 c #Conflicts: 655000 | #Constraints: 35730
1436.96/1441.00 c INPROCESSING
1436.96/1441.00 c GARBAGE COLLECT
1436.96/1441.00 c #Conflicts: 656000 | #Constraints: 20734
1436.96/1441.00 c #Conflicts: 657000 | #Constraints: 21734
1436.96/1441.00 c #Conflicts: 658000 | #Constraints: 22734
1436.96/1441.00 c #Conflicts: 659000 | #Constraints: 23734
1436.96/1441.00 c #Conflicts: 660000 | #Constraints: 24734
1436.96/1441.00 c #Conflicts: 661000 | #Constraints: 25734
1436.96/1441.00 c #Conflicts: 662000 | #Constraints: 26734
1723.29/1728.01 c #Conflicts: 663000 | #Constraints: 27734
1723.29/1728.01 c #Conflicts: 664000 | #Constraints: 28734
1723.29/1728.01 c #Conflicts: 665000 | #Constraints: 29734
1723.29/1728.01 c #Conflicts: 666000 | #Constraints: 30734
1723.29/1728.01 c #Conflicts: 667000 | #Constraints: 31734
1723.29/1728.01 c #Conflicts: 668000 | #Constraints: 32734
1723.29/1728.01 c #Conflicts: 669000 | #Constraints: 33734
1723.29/1728.01 c #Conflicts: 670000 | #Constraints: 34734
1723.29/1728.01 c #Conflicts: 671000 | #Constraints: 35734
1723.29/1728.01 c INPROCESSING
1723.29/1728.01 c GARBAGE COLLECT
1723.29/1728.01 c #Conflicts: 672000 | #Constraints: 20531
1723.29/1728.01 c #Conflicts: 673000 | #Constraints: 21531
1723.29/1728.01 c #Conflicts: 674000 | #Constraints: 22531
1723.29/1728.01 c #Conflicts: 675000 | #Constraints: 23531
1723.29/1728.01 c #Conflicts: 676000 | #Constraints: 24531
1723.29/1728.01 c #Conflicts: 677000 | #Constraints: 25531
1723.29/1728.01 c #Conflicts: 678000 | #Constraints: 26531
1723.29/1728.01 c #Conflicts: 679000 | #Constraints: 27531
1723.29/1728.01 c #Conflicts: 680000 | #Constraints: 28531
1723.29/1728.01 c #Conflicts: 681000 | #Constraints: 29531
1723.29/1728.01 c #Conflicts: 682000 | #Constraints: 30531
1723.29/1728.01 c #Conflicts: 683000 | #Constraints: 31531
1723.29/1728.01 c #Conflicts: 684000 | #Constraints: 32531
1723.29/1728.01 c #Conflicts: 685000 | #Constraints: 33531
1723.29/1728.01 c #Conflicts: 686000 | #Constraints: 34531
1723.29/1728.01 c #Conflicts: 687000 | #Constraints: 35531
1723.29/1728.01 c #Conflicts: 688000 | #Constraints: 36531
1723.29/1728.01 c INPROCESSING
1723.29/1728.01 c GARBAGE COLLECT
1723.29/1728.01 c #Conflicts: 689000 | #Constraints: 21136
1723.29/1728.01 c #Conflicts: 690000 | #Constraints: 22136
1723.29/1728.01 c #Conflicts: 691000 | #Constraints: 23136
1723.29/1728.01 c #Conflicts: 692000 | #Constraints: 24136
1723.29/1728.01 c #Conflicts: 693000 | #Constraints: 25136
1723.29/1728.01 c #Conflicts: 694000 | #Constraints: 26136
1723.29/1728.01 c #Conflicts: 695000 | #Constraints: 27136
1723.29/1728.01 c #Conflicts: 696000 | #Constraints: 28136
1723.29/1728.01 c #Conflicts: 697000 | #Constraints: 29136
1723.29/1728.01 c #Conflicts: 698000 | #Constraints: 30136
1723.29/1728.01 c #Conflicts: 699000 | #Constraints: 31136
1723.29/1728.01 c #Conflicts: 700000 | #Constraints: 32136
1723.29/1728.01 c #Conflicts: 701000 | #Constraints: 33136
1723.29/1728.01 c #Conflicts: 702000 | #Constraints: 34136
1723.29/1728.01 c #Conflicts: 703000 | #Constraints: 35136
1723.29/1728.01 c #Conflicts: 704000 | #Constraints: 36136
1723.29/1728.01 c #Conflicts: 705000 | #Constraints: 37136
1723.29/1728.01 c INPROCESSING
1723.29/1728.01 c GARBAGE COLLECT
1723.29/1728.01 c #Conflicts: 706000 | #Constraints: 21546
1723.29/1728.01 c #Conflicts: 707000 | #Constraints: 22546
1723.29/1728.01 c #Conflicts: 708000 | #Constraints: 23546
1723.29/1728.01 c #Conflicts: 709000 | #Constraints: 24546
1723.29/1728.01 c #Conflicts: 710000 | #Constraints: 25546
1723.29/1728.01 c #Conflicts: 711000 | #Constraints: 26546
1723.29/1728.01 c #Conflicts: 712000 | #Constraints: 27546
1723.29/1728.01 c #Conflicts: 713000 | #Constraints: 28546
1723.29/1728.01 c #Conflicts: 714000 | #Constraints: 29546
1723.29/1728.01 c #Conflicts: 715000 | #Constraints: 30546
1723.29/1728.01 c #Conflicts: 716000 | #Constraints: 31546
1723.29/1728.01 c #Conflicts: 717000 | #Constraints: 32546
1723.29/1728.01 c #Conflicts: 718000 | #Constraints: 33546
1723.29/1728.01 c #Conflicts: 719000 | #Constraints: 34546
1723.29/1728.01 c #Conflicts: 720000 | #Constraints: 35546
1723.29/1728.01 c #Conflicts: 721000 | #Constraints: 36546
1723.29/1728.01 c #Conflicts: 722000 | #Constraints: 37546
1723.29/1728.01 c INPROCESSING
1723.29/1728.01 c GARBAGE COLLECT
1723.29/1728.01 c #Conflicts: 723000 | #Constraints: 21745
1723.29/1728.01 c #Conflicts: 724000 | #Constraints: 22745
1723.29/1728.01 c #Conflicts: 725000 | #Constraints: 23745
1723.29/1728.01 c #Conflicts: 726000 | #Constraints: 24745
1723.29/1728.01 c #Conflicts: 727000 | #Constraints: 25745
1723.29/1728.01 c #Conflicts: 728000 | #Constraints: 26745
1723.29/1728.01 c #Conflicts: 729000 | #Constraints: 27745
1723.29/1728.01 c #Conflicts: 730000 | #Constraints: 28745
1723.29/1728.01 c #Conflicts: 731000 | #Constraints: 29745
1723.29/1728.01 c #Conflicts: 732000 | #Constraints: 30745
1723.29/1728.01 c #Conflicts: 733000 | #Constraints: 31745
1723.29/1728.01 c #Conflicts: 734000 | #Constraints: 32745
1723.29/1728.01 c #Conflicts: 735000 | #Constraints: 33745
1723.29/1728.01 c #Conflicts: 736000 | #Constraints: 34745
1723.29/1728.01 c #Conflicts: 737000 | #Constraints: 35745
1723.29/1728.01 c #Conflicts: 738000 | #Constraints: 36745
1975.30/1980.77 c #Conflicts: 739000 | #Constraints: 37745
1975.30/1980.77 c INPROCESSING
1975.30/1980.77 c GARBAGE COLLECT
1975.30/1980.77 c #Conflicts: 740000 | #Constraints: 21742
1975.30/1980.77 c #Conflicts: 741000 | #Constraints: 22742
1975.30/1980.77 c #Conflicts: 742000 | #Constraints: 23742
1975.30/1980.77 c #Conflicts: 743000 | #Constraints: 24742
1975.30/1980.77 c #Conflicts: 744000 | #Constraints: 25742
1975.30/1980.77 c #Conflicts: 745000 | #Constraints: 26742
1975.30/1980.77 c #Conflicts: 746000 | #Constraints: 27742
1975.30/1980.77 c #Conflicts: 747000 | #Constraints: 28742
1975.30/1980.77 c #Conflicts: 748000 | #Constraints: 29742
1975.30/1980.77 c #Conflicts: 749000 | #Constraints: 30742
1975.30/1980.77 c #Conflicts: 750000 | #Constraints: 31742
1975.30/1980.77 c #Conflicts: 751000 | #Constraints: 32742
1975.30/1980.77 c #Conflicts: 752000 | #Constraints: 33742
1975.30/1980.77 c #Conflicts: 753000 | #Constraints: 34742
1975.30/1980.77 c #Conflicts: 754000 | #Constraints: 35742
1975.30/1980.77 c #Conflicts: 755000 | #Constraints: 36742
1975.30/1980.77 c #Conflicts: 756000 | #Constraints: 37742
1975.30/1980.77 c INPROCESSING
1975.30/1980.77 c GARBAGE COLLECT
1975.30/1980.77 c #Conflicts: 757000 | #Constraints: 21546
1975.30/1980.77 c #Conflicts: 758000 | #Constraints: 22546
1975.30/1980.77 c #Conflicts: 759000 | #Constraints: 23546
1975.30/1980.77 c #Conflicts: 760000 | #Constraints: 24546
1975.30/1980.77 c #Conflicts: 761000 | #Constraints: 25546
1975.30/1980.77 c #Conflicts: 762000 | #Constraints: 26546
1975.30/1980.77 c #Conflicts: 763000 | #Constraints: 27546
1975.30/1980.77 c #Conflicts: 764000 | #Constraints: 28546
1975.30/1980.77 c #Conflicts: 765000 | #Constraints: 29546
1975.30/1980.77 c #Conflicts: 766000 | #Constraints: 30546
1975.30/1980.77 c #Conflicts: 767000 | #Constraints: 31546
1975.30/1980.77 c #Conflicts: 768000 | #Constraints: 32546
1975.30/1980.77 c #Conflicts: 769000 | #Constraints: 33546
1975.30/1980.77 c #Conflicts: 770000 | #Constraints: 34546
1975.30/1980.77 c #Conflicts: 771000 | #Constraints: 35546
1975.30/1980.77 c #Conflicts: 772000 | #Constraints: 36546
1975.30/1980.77 c #Conflicts: 773000 | #Constraints: 37546
1975.30/1980.77 c #Conflicts: 774000 | #Constraints: 38546
1975.30/1980.77 c INPROCESSING
1975.30/1980.77 c GARBAGE COLLECT
1975.30/1980.77 c #Conflicts: 775000 | #Constraints: 22134
1975.30/1980.77 c #Conflicts: 776000 | #Constraints: 23134
1975.30/1980.77 c #Conflicts: 777000 | #Constraints: 24134
1975.30/1980.77 c #Conflicts: 778000 | #Constraints: 25134
1975.30/1980.77 c #Conflicts: 779000 | #Constraints: 26134
1975.30/1980.77 c #Conflicts: 780000 | #Constraints: 27134
1975.30/1980.77 c #Conflicts: 781000 | #Constraints: 28134
1975.30/1980.77 c #Conflicts: 782000 | #Constraints: 29134
1975.30/1980.77 c #Conflicts: 783000 | #Constraints: 30134
1975.30/1980.77 c #Conflicts: 784000 | #Constraints: 31134
1975.30/1980.77 c #Conflicts: 785000 | #Constraints: 32134
1975.30/1980.77 c #Conflicts: 786000 | #Constraints: 33134
1975.30/1980.77 c #Conflicts: 787000 | #Constraints: 34134
1975.30/1980.77 c #Conflicts: 788000 | #Constraints: 35134
1975.30/1980.77 c #Conflicts: 789000 | #Constraints: 36134
1975.30/1980.77 c #Conflicts: 790000 | #Constraints: 37134
1975.30/1980.77 c #Conflicts: 791000 | #Constraints: 38134
1975.30/1980.77 c #Conflicts: 792000 | #Constraints: 39134
1975.30/1980.77 c INPROCESSING
1975.30/1980.77 c GARBAGE COLLECT
1975.30/1980.77 c #Conflicts: 793000 | #Constraints: 22536
1975.30/1980.77 c #Conflicts: 794000 | #Constraints: 23536
1975.30/1980.77 c #Conflicts: 795000 | #Constraints: 24536
1975.30/1980.77 c #Conflicts: 796000 | #Constraints: 25536
1975.30/1980.77 c #Conflicts: 797000 | #Constraints: 26536
1975.30/1980.77 c #Conflicts: 798000 | #Constraints: 27536
1975.30/1980.77 c #Conflicts: 799000 | #Constraints: 28536
1975.30/1980.77 c #Conflicts: 800000 | #Constraints: 29536
1975.30/1980.77 c #Conflicts: 801000 | #Constraints: 30536
1975.30/1980.77 c #Conflicts: 802000 | #Constraints: 31536
1975.30/1980.77 c #Conflicts: 803000 | #Constraints: 32536
1975.30/1980.77 c #Conflicts: 804000 | #Constraints: 33536
1975.30/1980.77 c #Conflicts: 805000 | #Constraints: 34536
1975.30/1980.77 c #Conflicts: 806000 | #Constraints: 35536
1975.30/1980.77 c #Conflicts: 807000 | #Constraints: 36536
1975.30/1980.77 c #Conflicts: 808000 | #Constraints: 37536
1975.30/1980.77 c #Conflicts: 809000 | #Constraints: 38536
1975.30/1980.77 c #Conflicts: 810000 | #Constraints: 39536
1975.30/1980.77 c INPROCESSING
1975.30/1980.77 c GARBAGE COLLECT
1975.30/1980.77 c #Conflicts: 811000 | #Constraints: 22730
1975.30/1980.77 c #Conflicts: 812000 | #Constraints: 23730
1975.30/1980.77 c #Conflicts: 813000 | #Constraints: 24730
1975.30/1980.77 c #Conflicts: 814000 | #Constraints: 25730
2265.31/2271.54 c #Conflicts: 815000 | #Constraints: 26730
2265.31/2271.54 c #Conflicts: 816000 | #Constraints: 27730
2265.31/2271.54 c #Conflicts: 817000 | #Constraints: 28730
2265.31/2271.54 c #Conflicts: 818000 | #Constraints: 29730
2265.31/2271.54 c #Conflicts: 819000 | #Constraints: 30730
2265.31/2271.54 c #Conflicts: 820000 | #Constraints: 31730
2265.31/2271.54 c #Conflicts: 821000 | #Constraints: 32730
2265.31/2271.54 c #Conflicts: 822000 | #Constraints: 33730
2265.31/2271.54 c #Conflicts: 823000 | #Constraints: 34730
2265.31/2271.54 c #Conflicts: 824000 | #Constraints: 35730
2265.31/2271.54 c #Conflicts: 825000 | #Constraints: 36730
2265.31/2271.54 c #Conflicts: 826000 | #Constraints: 37730
2265.31/2271.54 c #Conflicts: 827000 | #Constraints: 38730
2265.31/2271.54 c #Conflicts: 828000 | #Constraints: 39730
2265.31/2271.54 c INPROCESSING
2265.31/2271.54 c GARBAGE COLLECT
2265.31/2271.54 c #Conflicts: 829000 | #Constraints: 22746
2265.31/2271.54 c #Conflicts: 830000 | #Constraints: 23746
2265.31/2271.54 c #Conflicts: 831000 | #Constraints: 24746
2265.31/2271.54 c #Conflicts: 832000 | #Constraints: 25746
2265.31/2271.54 c #Conflicts: 833000 | #Constraints: 26746
2265.31/2271.54 c #Conflicts: 834000 | #Constraints: 27746
2265.31/2271.54 c #Conflicts: 835000 | #Constraints: 28746
2265.31/2271.54 c #Conflicts: 836000 | #Constraints: 29746
2265.31/2271.54 c #Conflicts: 837000 | #Constraints: 30746
2265.31/2271.54 c #Conflicts: 838000 | #Constraints: 31746
2265.31/2271.54 c #Conflicts: 839000 | #Constraints: 32746
2265.31/2271.54 c #Conflicts: 840000 | #Constraints: 33746
2265.31/2271.54 c #Conflicts: 841000 | #Constraints: 34746
2265.31/2271.54 c #Conflicts: 842000 | #Constraints: 35746
2265.31/2271.54 c #Conflicts: 843000 | #Constraints: 36746
2265.31/2271.54 c #Conflicts: 844000 | #Constraints: 37746
2265.31/2271.54 c #Conflicts: 845000 | #Constraints: 38746
2265.31/2271.54 c #Conflicts: 846000 | #Constraints: 39746
2265.31/2271.54 c INPROCESSING
2265.31/2271.54 c GARBAGE COLLECT
2265.31/2271.54 c #Conflicts: 847000 | #Constraints: 22551
2265.31/2271.54 c #Conflicts: 848000 | #Constraints: 23551
2265.31/2271.54 c #Conflicts: 849000 | #Constraints: 24551
2265.31/2271.54 c #Conflicts: 850000 | #Constraints: 25551
2265.31/2271.54 c #Conflicts: 851000 | #Constraints: 26551
2265.31/2271.54 c #Conflicts: 852000 | #Constraints: 27551
2265.31/2271.54 c #Conflicts: 853000 | #Constraints: 28551
2265.31/2271.54 c #Conflicts: 854000 | #Constraints: 29551
2265.31/2271.54 c #Conflicts: 855000 | #Constraints: 30551
2265.31/2271.54 c #Conflicts: 856000 | #Constraints: 31551
2265.31/2271.54 c #Conflicts: 857000 | #Constraints: 32551
2265.31/2271.54 c #Conflicts: 858000 | #Constraints: 33551
2265.31/2271.54 c #Conflicts: 859000 | #Constraints: 34551
2265.31/2271.54 c #Conflicts: 860000 | #Constraints: 35551
2265.31/2271.54 c #Conflicts: 861000 | #Constraints: 36551
2265.31/2271.54 c #Conflicts: 862000 | #Constraints: 37551
2265.31/2271.54 c #Conflicts: 863000 | #Constraints: 38551
2265.31/2271.54 c #Conflicts: 864000 | #Constraints: 39551
2265.31/2271.54 c #Conflicts: 865000 | #Constraints: 40551
2265.31/2271.54 c INPROCESSING
2265.31/2271.54 c GARBAGE COLLECT
2265.31/2271.54 c #Conflicts: 866000 | #Constraints: 23157
2265.31/2271.54 c #Conflicts: 867000 | #Constraints: 24157
2265.31/2271.54 c #Conflicts: 868000 | #Constraints: 25157
2265.31/2271.54 c #Conflicts: 869000 | #Constraints: 26157
2265.31/2271.54 c #Conflicts: 870000 | #Constraints: 27157
2265.31/2271.54 c #Conflicts: 871000 | #Constraints: 28157
2265.31/2271.54 c #Conflicts: 872000 | #Constraints: 29157
2265.31/2271.54 c #Conflicts: 873000 | #Constraints: 30157
2265.31/2271.54 c #Conflicts: 874000 | #Constraints: 31157
2265.31/2271.54 c #Conflicts: 875000 | #Constraints: 32157
2265.31/2271.54 c #Conflicts: 876000 | #Constraints: 33157
2265.31/2271.54 c #Conflicts: 877000 | #Constraints: 34157
2265.31/2271.54 c #Conflicts: 878000 | #Constraints: 35157
2265.31/2271.54 c #Conflicts: 879000 | #Constraints: 36157
2265.31/2271.54 c #Conflicts: 880000 | #Constraints: 37157
2265.31/2271.54 c #Conflicts: 881000 | #Constraints: 38157
2265.31/2271.54 c #Conflicts: 882000 | #Constraints: 39157
2265.31/2271.54 c #Conflicts: 883000 | #Constraints: 40157
2265.31/2271.54 c #Conflicts: 884000 | #Constraints: 41157
2265.31/2271.54 c INPROCESSING
2265.31/2271.54 c GARBAGE COLLECT
2265.31/2271.54 c #Conflicts: 885000 | #Constraints: 23552
2265.31/2271.54 c #Conflicts: 886000 | #Constraints: 24552
2265.31/2271.54 c #Conflicts: 887000 | #Constraints: 25552
2265.31/2271.54 c #Conflicts: 888000 | #Constraints: 26552
2265.31/2271.54 c #Conflicts: 889000 | #Constraints: 27552
2265.31/2271.54 c #Conflicts: 890000 | #Constraints: 28552
2618.96/2626.14 c #Conflicts: 891000 | #Constraints: 29552
2618.96/2626.14 c #Conflicts: 892000 | #Constraints: 30552
2618.96/2626.14 c #Conflicts: 893000 | #Constraints: 31552
2618.96/2626.14 c #Conflicts: 894000 | #Constraints: 32552
2618.96/2626.14 c #Conflicts: 895000 | #Constraints: 33552
2618.96/2626.14 c #Conflicts: 896000 | #Constraints: 34552
2618.96/2626.14 c #Conflicts: 897000 | #Constraints: 35552
2618.96/2626.14 c #Conflicts: 898000 | #Constraints: 36552
2618.96/2626.14 c #Conflicts: 899000 | #Constraints: 37552
2618.96/2626.14 c #Conflicts: 900000 | #Constraints: 38552
2618.96/2626.14 c #Conflicts: 901000 | #Constraints: 39552
2618.96/2626.14 c #Conflicts: 902000 | #Constraints: 40552
2618.96/2626.14 c #Conflicts: 903000 | #Constraints: 41552
2618.96/2626.14 c INPROCESSING
2618.96/2626.14 c GARBAGE COLLECT
2618.96/2626.14 c #Conflicts: 904000 | #Constraints: 23746
2618.96/2626.14 c #Conflicts: 905000 | #Constraints: 24746
2618.96/2626.14 c #Conflicts: 906000 | #Constraints: 25746
2618.96/2626.14 c #Conflicts: 907000 | #Constraints: 26746
2618.96/2626.14 c #Conflicts: 908000 | #Constraints: 27746
2618.96/2626.14 c #Conflicts: 909000 | #Constraints: 28746
2618.96/2626.14 c #Conflicts: 910000 | #Constraints: 29746
2618.96/2626.14 c #Conflicts: 911000 | #Constraints: 30746
2618.96/2626.14 c #Conflicts: 912000 | #Constraints: 31746
2618.96/2626.14 c #Conflicts: 913000 | #Constraints: 32746
2618.96/2626.14 c #Conflicts: 914000 | #Constraints: 33746
2618.96/2626.14 c #Conflicts: 915000 | #Constraints: 34746
2618.96/2626.14 c #Conflicts: 916000 | #Constraints: 35746
2618.96/2626.14 c #Conflicts: 917000 | #Constraints: 36746
2618.96/2626.14 c #Conflicts: 918000 | #Constraints: 37746
2618.96/2626.14 c #Conflicts: 919000 | #Constraints: 38746
2618.96/2626.14 c #Conflicts: 920000 | #Constraints: 39746
2618.96/2626.14 c #Conflicts: 921000 | #Constraints: 40746
2618.96/2626.14 c #Conflicts: 922000 | #Constraints: 41746
2618.96/2626.14 c INPROCESSING
2618.96/2626.14 c GARBAGE COLLECT
2618.96/2626.14 c #Conflicts: 923000 | #Constraints: 23737
2618.96/2626.14 c #Conflicts: 924000 | #Constraints: 24737
2618.96/2626.14 c #Conflicts: 925000 | #Constraints: 25737
2618.96/2626.14 c #Conflicts: 926000 | #Constraints: 26737
2618.96/2626.14 c #Conflicts: 927000 | #Constraints: 27737
2618.96/2626.14 c #Conflicts: 928000 | #Constraints: 28737
2618.96/2626.14 c #Conflicts: 929000 | #Constraints: 29737
2618.96/2626.14 c #Conflicts: 930000 | #Constraints: 30737
2618.96/2626.14 c #Conflicts: 931000 | #Constraints: 31737
2618.96/2626.14 c #Conflicts: 932000 | #Constraints: 32737
2618.96/2626.14 c #Conflicts: 933000 | #Constraints: 33737
2618.96/2626.14 c #Conflicts: 934000 | #Constraints: 34737
2618.96/2626.14 c #Conflicts: 935000 | #Constraints: 35737
2618.96/2626.14 c #Conflicts: 936000 | #Constraints: 36737
2618.96/2626.14 c #Conflicts: 937000 | #Constraints: 37737
2618.96/2626.14 c #Conflicts: 938000 | #Constraints: 38737
2618.96/2626.14 c #Conflicts: 939000 | #Constraints: 39737
2618.96/2626.14 c #Conflicts: 940000 | #Constraints: 40737
2618.96/2626.14 c #Conflicts: 941000 | #Constraints: 41737
2618.96/2626.14 c INPROCESSING
2618.96/2626.14 c GARBAGE COLLECT
2618.96/2626.14 c #Conflicts: 942000 | #Constraints: 23539
2618.96/2626.14 c #Conflicts: 943000 | #Constraints: 24539
2618.96/2626.14 c #Conflicts: 944000 | #Constraints: 25539
2618.96/2626.14 c #Conflicts: 945000 | #Constraints: 26539
2618.96/2626.14 c #Conflicts: 946000 | #Constraints: 27539
2618.96/2626.14 c #Conflicts: 947000 | #Constraints: 28539
2618.96/2626.14 c #Conflicts: 948000 | #Constraints: 29539
2618.96/2626.14 c #Conflicts: 949000 | #Constraints: 30539
2618.96/2626.14 c #Conflicts: 950000 | #Constraints: 31539
2618.96/2626.14 c #Conflicts: 951000 | #Constraints: 32539
2618.96/2626.14 c #Conflicts: 952000 | #Constraints: 33539
2618.96/2626.14 c #Conflicts: 953000 | #Constraints: 34539
2618.96/2626.14 c #Conflicts: 954000 | #Constraints: 35539
2618.96/2626.14 c #Conflicts: 955000 | #Constraints: 36539
2618.96/2626.14 c #Conflicts: 956000 | #Constraints: 37539
2618.96/2626.14 c #Conflicts: 957000 | #Constraints: 38539
2618.96/2626.14 c #Conflicts: 958000 | #Constraints: 39539
2618.96/2626.14 c #Conflicts: 959000 | #Constraints: 40539
2618.96/2626.14 c #Conflicts: 960000 | #Constraints: 41539
2618.96/2626.14 c #Conflicts: 961000 | #Constraints: 42539
2618.96/2626.14 c INPROCESSING
2618.96/2626.14 c GARBAGE COLLECT
2618.96/2626.14 c #Conflicts: 962000 | #Constraints: 24135
2618.96/2626.14 c #Conflicts: 963000 | #Constraints: 25135
2618.96/2626.14 c #Conflicts: 964000 | #Constraints: 26135
2618.96/2626.14 c #Conflicts: 965000 | #Constraints: 27135
2618.96/2626.14 c #Conflicts: 966000 | #Constraints: 28135
3058.37/3066.75 c #Conflicts: 967000 | #Constraints: 29135
3058.37/3066.75 c #Conflicts: 968000 | #Constraints: 30135
3058.37/3066.75 c #Conflicts: 969000 | #Constraints: 31135
3058.37/3066.75 c #Conflicts: 970000 | #Constraints: 32135
3058.37/3066.75 c #Conflicts: 971000 | #Constraints: 33135
3058.37/3066.75 c #Conflicts: 972000 | #Constraints: 34135
3058.37/3066.75 c #Conflicts: 973000 | #Constraints: 35135
3058.37/3066.75 c #Conflicts: 974000 | #Constraints: 36135
3058.37/3066.75 c #Conflicts: 975000 | #Constraints: 37135
3058.37/3066.75 c #Conflicts: 976000 | #Constraints: 38135
3058.37/3066.75 c #Conflicts: 977000 | #Constraints: 39135
3058.37/3066.75 c #Conflicts: 978000 | #Constraints: 40135
3058.37/3066.75 c #Conflicts: 979000 | #Constraints: 41135
3058.37/3066.75 c #Conflicts: 980000 | #Constraints: 42135
3058.37/3066.75 c #Conflicts: 981000 | #Constraints: 43135
3058.37/3066.75 c INPROCESSING
3058.37/3066.75 c GARBAGE COLLECT
3058.37/3066.75 c #Conflicts: 982000 | #Constraints: 24544
3058.37/3066.75 c #Conflicts: 983000 | #Constraints: 25544
3058.37/3066.75 c #Conflicts: 984000 | #Constraints: 26544
3058.37/3066.75 c #Conflicts: 985000 | #Constraints: 27544
3058.37/3066.75 c #Conflicts: 986000 | #Constraints: 28544
3058.37/3066.75 c #Conflicts: 987000 | #Constraints: 29544
3058.37/3066.75 c #Conflicts: 988000 | #Constraints: 30544
3058.37/3066.75 c #Conflicts: 989000 | #Constraints: 31544
3058.37/3066.75 c #Conflicts: 990000 | #Constraints: 32544
3058.37/3066.75 c #Conflicts: 991000 | #Constraints: 33544
3058.37/3066.75 c #Conflicts: 992000 | #Constraints: 34544
3058.37/3066.75 c #Conflicts: 993000 | #Constraints: 35544
3058.37/3066.75 c #Conflicts: 994000 | #Constraints: 36544
3058.37/3066.75 c #Conflicts: 995000 | #Constraints: 37544
3058.37/3066.75 c #Conflicts: 996000 | #Constraints: 38544
3058.37/3066.75 c #Conflicts: 997000 | #Constraints: 39544
3058.37/3066.75 c #Conflicts: 998000 | #Constraints: 40544
3058.37/3066.75 c #Conflicts: 999000 | #Constraints: 41544
3058.37/3066.75 c #Conflicts: 1000000 | #Constraints: 42544
3058.37/3066.75 c #Conflicts: 1001000 | #Constraints: 43544
3058.37/3066.75 c INPROCESSING
3058.37/3066.75 c GARBAGE COLLECT
3058.37/3066.75 c #Conflicts: 1002000 | #Constraints: 24741
3058.37/3066.75 c #Conflicts: 1003000 | #Constraints: 25741
3058.37/3066.75 c #Conflicts: 1004000 | #Constraints: 26741
3058.37/3066.75 c #Conflicts: 1005000 | #Constraints: 27741
3058.37/3066.75 c #Conflicts: 1006000 | #Constraints: 28741
3058.37/3066.75 c #Conflicts: 1007000 | #Constraints: 29741
3058.37/3066.75 c #Conflicts: 1008000 | #Constraints: 30741
3058.37/3066.75 c #Conflicts: 1009000 | #Constraints: 31741
3058.37/3066.75 c #Conflicts: 1010000 | #Constraints: 32741
3058.37/3066.75 c #Conflicts: 1011000 | #Constraints: 33741
3058.37/3066.75 c #Conflicts: 1012000 | #Constraints: 34741
3058.37/3066.75 c #Conflicts: 1013000 | #Constraints: 35741
3058.37/3066.75 c #Conflicts: 1014000 | #Constraints: 36741
3058.37/3066.75 c #Conflicts: 1015000 | #Constraints: 37741
3058.37/3066.75 c #Conflicts: 1016000 | #Constraints: 38741
3058.37/3066.75 c #Conflicts: 1017000 | #Constraints: 39741
3058.37/3066.75 c #Conflicts: 1018000 | #Constraints: 40741
3058.37/3066.75 c #Conflicts: 1019000 | #Constraints: 41741
3058.37/3066.75 c #Conflicts: 1020000 | #Constraints: 42741
3058.37/3066.75 c #Conflicts: 1021000 | #Constraints: 43741
3058.37/3066.75 c INPROCESSING
3058.37/3066.75 c GARBAGE COLLECT
3058.37/3066.75 c #Conflicts: 1022000 | #Constraints: 24736
3058.37/3066.75 c #Conflicts: 1023000 | #Constraints: 25736
3058.37/3066.75 c #Conflicts: 1024000 | #Constraints: 26736
3058.37/3066.75 c #Conflicts: 1025000 | #Constraints: 27736
3058.37/3066.75 c #Conflicts: 1026000 | #Constraints: 28736
3058.37/3066.75 c #Conflicts: 1027000 | #Constraints: 29736
3058.37/3066.75 c #Conflicts: 1028000 | #Constraints: 30736
3058.37/3066.75 c #Conflicts: 1029000 | #Constraints: 31736
3058.37/3066.75 c #Conflicts: 1030000 | #Constraints: 32736
3058.37/3066.75 c #Conflicts: 1031000 | #Constraints: 33736
3058.37/3066.75 c #Conflicts: 1032000 | #Constraints: 34736
3058.37/3066.75 c #Conflicts: 1033000 | #Constraints: 35736
3058.37/3066.75 c #Conflicts: 1034000 | #Constraints: 36736
3058.37/3066.75 c #Conflicts: 1035000 | #Constraints: 37736
3058.37/3066.75 c #Conflicts: 1036000 | #Constraints: 38736
3058.37/3066.75 c #Conflicts: 1037000 | #Constraints: 39736
3058.37/3066.75 c #Conflicts: 1038000 | #Constraints: 40736
3058.37/3066.75 c #Conflicts: 1039000 | #Constraints: 41736
3058.37/3066.75 c #Conflicts: 1040000 | #Constraints: 42736
3058.37/3066.75 c #Conflicts: 1041000 | #Constraints: 43736
3058.37/3066.75 c INPROCESSING
3058.37/3066.75 c GARBAGE COLLECT
3058.37/3066.75 c #Conflicts: 1042000 | #Constraints: 24540
3479.21/3488.63 c #Conflicts: 1043000 | #Constraints: 25540
3479.21/3488.63 c #Conflicts: 1044000 | #Constraints: 26540
3479.21/3488.63 c #Conflicts: 1045000 | #Constraints: 27540
3479.21/3488.63 c #Conflicts: 1046000 | #Constraints: 28540
3479.21/3488.63 c #Conflicts: 1047000 | #Constraints: 29540
3479.21/3488.63 c #Conflicts: 1048000 | #Constraints: 30540
3479.21/3488.63 c #Conflicts: 1049000 | #Constraints: 31540
3479.21/3488.63 c #Conflicts: 1050000 | #Constraints: 32540
3479.21/3488.63 c #Conflicts: 1051000 | #Constraints: 33540
3479.21/3488.63 c #Conflicts: 1052000 | #Constraints: 34540
3479.21/3488.63 c #Conflicts: 1053000 | #Constraints: 35540
3479.21/3488.63 c #Conflicts: 1054000 | #Constraints: 36540
3479.21/3488.63 c #Conflicts: 1055000 | #Constraints: 37540
3479.21/3488.63 c #Conflicts: 1056000 | #Constraints: 38540
3479.21/3488.63 c #Conflicts: 1057000 | #Constraints: 39540
3479.21/3488.63 c #Conflicts: 1058000 | #Constraints: 40540
3479.21/3488.63 c #Conflicts: 1059000 | #Constraints: 41540
3479.21/3488.63 c #Conflicts: 1060000 | #Constraints: 42540
3479.21/3488.63 c #Conflicts: 1061000 | #Constraints: 43540
3479.21/3488.63 c #Conflicts: 1062000 | #Constraints: 44540
3479.21/3488.63 c INPROCESSING
3479.21/3488.63 c GARBAGE COLLECT
3479.21/3488.63 c #Conflicts: 1063000 | #Constraints: 25153
3479.21/3488.63 c #Conflicts: 1064000 | #Constraints: 26153
3479.21/3488.63 c #Conflicts: 1065000 | #Constraints: 27153
3479.21/3488.63 c #Conflicts: 1066000 | #Constraints: 28153
3479.21/3488.63 c #Conflicts: 1067000 | #Constraints: 29153
3479.21/3488.63 c #Conflicts: 1068000 | #Constraints: 30153
3479.21/3488.63 c #Conflicts: 1069000 | #Constraints: 31153
3479.21/3488.63 c #Conflicts: 1070000 | #Constraints: 32153
3479.21/3488.63 c #Conflicts: 1071000 | #Constraints: 33153
3479.21/3488.63 c #Conflicts: 1072000 | #Constraints: 34153
3479.21/3488.63 c #Conflicts: 1073000 | #Constraints: 35153
3479.21/3488.63 c #Conflicts: 1074000 | #Constraints: 36153
3479.21/3488.63 c #Conflicts: 1075000 | #Constraints: 37153
3479.21/3488.63 c #Conflicts: 1076000 | #Constraints: 38153
3479.21/3488.63 c #Conflicts: 1077000 | #Constraints: 39153
3479.21/3488.63 c #Conflicts: 1078000 | #Constraints: 40153
3479.21/3488.63 c #Conflicts: 1079000 | #Constraints: 41153
3479.21/3488.63 c #Conflicts: 1080000 | #Constraints: 42153
3479.21/3488.63 c #Conflicts: 1081000 | #Constraints: 43153
3479.21/3488.63 c #Conflicts: 1082000 | #Constraints: 44153
3479.21/3488.63 c #Conflicts: 1083000 | #Constraints: 45153
3479.21/3488.63 c INPROCESSING
3479.21/3488.63 c GARBAGE COLLECT
3479.21/3488.63 c #Conflicts: 1084000 | #Constraints: 25554
3479.21/3488.63 c #Conflicts: 1085000 | #Constraints: 26554
3479.21/3488.63 c #Conflicts: 1086000 | #Constraints: 27554
3479.21/3488.63 c #Conflicts: 1087000 | #Constraints: 28554
3479.21/3488.63 c #Conflicts: 1088000 | #Constraints: 29554
3479.21/3488.63 c #Conflicts: 1089000 | #Constraints: 30554
3479.21/3488.63 c #Conflicts: 1090000 | #Constraints: 31554
3479.21/3488.63 c #Conflicts: 1091000 | #Constraints: 32554
3479.21/3488.63 c #Conflicts: 1092000 | #Constraints: 33554
3479.21/3488.63 c #Conflicts: 1093000 | #Constraints: 34554
3479.21/3488.63 c #Conflicts: 1094000 | #Constraints: 35554
3479.21/3488.63 c #Conflicts: 1095000 | #Constraints: 36554
3479.21/3488.63 c #Conflicts: 1096000 | #Constraints: 37554
3479.21/3488.63 c #Conflicts: 1097000 | #Constraints: 38554
3479.21/3488.63 c #Conflicts: 1098000 | #Constraints: 39554
3479.21/3488.63 c #Conflicts: 1099000 | #Constraints: 40554
3479.21/3488.63 c #Conflicts: 1100000 | #Constraints: 41554
3479.21/3488.63 c #Conflicts: 1101000 | #Constraints: 42554
3479.21/3488.63 c #Conflicts: 1102000 | #Constraints: 43554
3479.21/3488.63 c #Conflicts: 1103000 | #Constraints: 44554
3479.21/3488.63 c #Conflicts: 1104000 | #Constraints: 45554
3479.21/3488.63 c INPROCESSING
3479.21/3488.63 c GARBAGE COLLECT
3479.21/3488.63 c #Conflicts: 1105000 | #Constraints: 25741
3479.21/3488.63 c #Conflicts: 1106000 | #Constraints: 26741
3479.21/3488.63 c #Conflicts: 1107000 | #Constraints: 27741
3479.21/3488.63 c #Conflicts: 1108000 | #Constraints: 28741
3479.21/3488.63 c #Conflicts: 1109000 | #Constraints: 29741
3479.21/3488.63 c #Conflicts: 1110000 | #Constraints: 30741
3479.21/3488.63 c #Conflicts: 1111000 | #Constraints: 31741
3479.21/3488.63 c #Conflicts: 1112000 | #Constraints: 32741
3479.21/3488.63 c #Conflicts: 1113000 | #Constraints: 33741
3479.21/3488.63 c #Conflicts: 1114000 | #Constraints: 34741
3479.21/3488.63 c #Conflicts: 1115000 | #Constraints: 35741
3479.21/3488.63 c #Conflicts: 1116000 | #Constraints: 36741
3479.21/3488.63 c #Conflicts: 1117000 | #Constraints: 37741
3479.21/3488.63 c #Conflicts: 1118000 | #Constraints: 38741
3479.21/3488.63 c #Conflicts: 1119000 | #Constraints: 39741
3600.09/3609.80 c #Conflicts: 1120000 | #Constraints: 40741
3600.09/3609.80 c #Conflicts: 1121000 | #Constraints: 41741
3600.09/3609.80 c #Conflicts: 1122000 | #Constraints: 42741
3600.09/3609.80 c #Conflicts: 1123000 | #Constraints: 43741
3600.09/3609.80 c #Conflicts: 1124000 | #Constraints: 44741
3600.09/3609.80 c #Conflicts: 1125000 | #Constraints: 45741
3600.09/3609.80 c INPROCESSING
3600.09/3609.80 c GARBAGE COLLECT
3600.09/3609.80 c #Conflicts: 1126000 | #Constraints: 25737
3600.09/3609.80 c #Conflicts: 1127000 | #Constraints: 26737
3600.09/3609.80 c #Conflicts: 1128000 | #Constraints: 27737
3600.09/3609.80 c #Conflicts: 1129000 | #Constraints: 28737
3600.09/3609.80 c #Conflicts: 1130000 | #Constraints: 29737
3600.09/3609.80 c #Conflicts: 1131000 | #Constraints: 30737
3600.09/3609.80 c #Conflicts: 1132000 | #Constraints: 31737
3600.09/3609.80 c #Conflicts: 1133000 | #Constraints: 32737
3600.09/3609.80 c #Conflicts: 1134000 | #Constraints: 33737
3600.09/3609.80 c #Conflicts: 1135000 | #Constraints: 34737
3600.09/3609.80 c #Conflicts: 1136000 | #Constraints: 35737
3600.09/3609.80 c #Conflicts: 1137000 | #Constraints: 36737
3600.09/3609.80 c #Conflicts: 1138000 | #Constraints: 37737
3600.09/3609.80 c #Conflicts: 1139000 | #Constraints: 38737
3600.09/3609.80 c #Conflicts: 1140000 | #Constraints: 39737
3600.09/3609.80 c #Conflicts: 1141000 | #Constraints: 40737
3600.09/3609.80 c #Conflicts: 1142000 | #Constraints: 41737
3600.09/3609.80 c #Conflicts: 1143000 | #Constraints: 42737
3600.09/3609.80 c #Conflicts: 1144000 | #Constraints: 43737
3600.09/3609.80 c #Conflicts: 1145000 | #Constraints: 44737
3600.09/3609.80 c Program interrupted by user.
3600.09/3609.80 c cpu time 3590.87 s
3600.09/3609.80 c deterministic time 733668663229 7.34e+11
3600.09/3609.80 c optimization time 84.2989 s
3600.09/3609.80 c total solve time 3207.47 s
3600.09/3609.80 c core-guided solve time 3207.47 s
3600.09/3609.80 c propagation time 2753.74 s
3600.09/3609.80 c conflict analysis time 406.505 s
3600.09/3609.80 c propagations 88386046
3600.09/3609.80 c resolve steps 7251616
3600.09/3609.80 c decisions 4496233
3600.09/3609.80 c conflicts 1145251
3600.09/3609.80 c restarts 2108
3600.09/3609.80 c inprocessing phases 97
3600.09/3609.80 c input clauses 3861
3600.09/3609.80 c input cardinalities 151
3600.09/3609.80 c input general constraints 0
3600.09/3609.80 c input average constraint length 63.70
3600.09/3609.80 c input average constraint degree 28.54
3600.09/3609.80 c learned clauses 338434
3600.09/3609.80 c learned cardinalities 229160
3600.09/3609.80 c learned general constraints 577803
3600.09/3609.80 c learned average constraint length 960.27
3600.09/3609.80 c learned average constraint degree 397368.71
3600.09/3609.80 c watched constraints 371258
3600.09/3609.80 c counting constraints 206545
3600.09/3609.80 c gcd simplifications 34066
3600.09/3609.80 c detected cardinalities 7994
3600.09/3609.80 c weakened non-implied lits 159018888
3600.09/3609.80 c weakened non-implying lits 24408
3600.09/3609.80 c original variables 1968
3600.09/3609.80 c clausal propagations 30172153
3600.09/3609.80 c cardinality propagations 11590894
3600.09/3609.80 c watched propagations 12446230
3600.09/3609.80 c counting propagations 23224478
3600.09/3609.80 c watch lookups 31111388185
3600.09/3609.80 c watch backjump lookups 25938742221
3600.09/3609.80 c watch checks 602702614114
3600.09/3609.80 c propagation checks 70796672671
3600.09/3609.80 c constraint additions 2932337420
3600.09/3609.80 c trail pops 94026338
3600.09/3609.80 c formula constraints 3207
3600.09/3609.80 c learned constraints 1145397
3600.09/3609.80 c bound constraints 151
3600.09/3609.80 c core-guided constraints 654
3600.09/3609.80 c encountered formula constraints 5445289
3600.09/3609.80 c encountered learned constraints 2818485
3600.09/3609.80 c encountered bound constraints 2
3600.09/3609.80 c encountered core-guided constraints 133091
3600.09/3609.80 c LP total time 0 s
3600.09/3609.80 c LP solve time 0 s
3600.09/3609.80 c LP constraints added 0
3600.09/3609.80 c LP constraints removed 0
3600.09/3609.80 c LP pivots internal 0
3600.09/3609.80 c LP pivots root 0
3600.09/3609.80 c LP calls 0
3600.09/3609.80 c LP optimalities 0
3600.09/3609.80 c LP no pivot count 0
3600.09/3609.80 c LP infeasibilities 0
3600.09/3609.80 c LP valid Farkas constraints 0
3600.09/3609.80 c LP learned Farkas constraints 0
3600.09/3609.80 c LP basis resets 0
3600.09/3609.80 c LP cycling count 0
3600.09/3609.80 c LP singular count 0
3600.09/3609.80 c LP no primal count 0
3600.09/3609.80 c LP no farkas count 0
3600.09/3609.80 c LP other issue count 0
3600.09/3609.80 c LP Gomory cuts 0
3600.09/3609.80 c LP learned cuts 0
3600.09/3609.80 c LP deleted cuts 0
3600.09/3609.80 c LP encountered Gomory constraints 0
3600.09/3609.80 c LP encountered Farkas constraints 0
3600.09/3609.80 c LP encountered learned Farkas constraints 0
3600.09/3609.80 c CG auxiliary variables introduced 654
3600.09/3609.80 c CG solutions found 0
3600.09/3609.80 c CG cores constructed 150
3600.09/3609.80 c CG core cardinality constraints returned 0
3600.09/3609.80 c CG unit cores 0
3600.09/3609.80 c CG single cores 150
3600.09/3609.80 c CG blocks removed during cardinality reduction 0
3600.09/3609.80 c CG first core best 0
3600.09/3609.80 c CG decision core best 0
3600.09/3609.80 c CG core reduction tie 0
3600.09/3609.80 c CG core degree average 1.00
3600.09/3609.80 c CG core slack average 4.90
3600.09/3609.80 c CG exhausted 0
3600.09/3609.80 c CG exhaust time 0 s
3600.09/3609.80 c CG trimmed 0
3600.09/3609.80 c CG trim time 0.033364 s
3600.09/3609.80 c CG minimized 0
3600.09/3609.80 c CG minimize time 0 s
3600.09/3609.80 c CG am1 prop time 0.002193 s
3600.09/3609.80 c CG # am1s reformulated 654
3600.09/3609.80 c CG lower bound derived from am1s 657
3600.09/3609.80 c CG # clausal cores 150
3600.09/3609.80 c CG # cardinality cores 0
3600.09/3609.80 c CG # pb cores 0
3600.09/3609.80 c CG # pb reforms 0
3600.09/3609.80 c CG # cores discarded because of pb reform 0
3600.09/3609.80 d LOWERBOUND 807
3600.09/3609.80 d NCORES 150
3600.09/3609.80 d NPBCORES 0
3600.09/3609.80 d NPBREFORM 0
3600.09/3609.80 d NTRIMMED 0
3600.09/3609.80 d NEXHAUSTED 0
3600.09/3609.80 d NAM1S 654
3600.09/3609.80 d AM1LB 657
3600.09/3609.80 c [Papilo Statistics]
3600.09/3609.80 c prepro time 0.00463902s
3600.09/3609.80 c # tsx applied 163
3600.09/3609.80 c # tsx conflicts 9
3600.09/3609.80 c # bound changes 161
3600.09/3609.80 c # side changes 0
3600.09/3609.80 c # coef changes 0
3600.09/3609.80 c # rounds 2
3600.09/3609.80 c # deted vars 331
3600.09/3609.80 c # deted constrs 793
3600.09/3609.80 c # consecutive rounds of only bound changes 0
3600.09/3609.81 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62498 MiB free)
memory of node 1: 64465 MiB (63864 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488577-1751326542/watcher-4488577-1751326542 -o /tmp/evaluation-result-4488577-1751326542/solver-4488577-1751326542 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45658 --watchdog 3760 mixed-bag HOME/instance-4488577-1751326542.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=47205, runsolver pid=47202
[startup+0.100061 s]*
/proc/loadavg: 4.13 5.24 6.78 5/265 47206
/proc/meminfo: memFree=129379744/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=116912 memory=40972 CPUtime=0.08 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 6981 0 0 0 7 1 0 0 20 0 1 0 48331661 119717888 10243 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 29228 10243 4256 2842 0 10922 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 116912 KiB
Current children cumulated memory: 40972 KiB
[startup+0.205362 s]*
/proc/loadavg: 4.12 5.22 6.77 5/265 47206
/proc/meminfo: memFree=129377988/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=117928 memory=41996 CPUtime=0.19 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 7241 0 0 0 18 1 0 0 20 0 1 0 48331661 120758272 10499 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 29482 10499 4256 2842 0 11176 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 117928 KiB
Current children cumulated memory: 41996 KiB
[startup+0.305125 s]*
/proc/loadavg: 4.12 5.22 6.77 5/265 47206
/proc/meminfo: memFree=129372368/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=122036 memory=45964 CPUtime=0.29 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 8222 0 0 0 28 1 0 0 20 0 1 0 48331661 124964864 11491 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 30509 11491 4256 2842 0 12203 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 122036 KiB
Current children cumulated memory: 45964 KiB
[startup+0.700105 s]
/proc/loadavg: 4.12 5.22 6.77 6/265 47206
/proc/meminfo: memFree=129372368/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=122964 memory=46476 CPUtime=0.67 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 8354 0 0 0 66 1 0 0 20 0 1 0 48331661 125915136 11619 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 30741 11619 4256 2842 0 12435 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 122964 KiB
Current children cumulated memory: 46476 KiB
[startup+1.50011 s]
/proc/loadavg: 4.12 5.22 6.77 5/265 47206
/proc/meminfo: memFree=129372120/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=125276 memory=48012 CPUtime=1.47 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 8728 0 0 0 146 1 0 0 20 0 1 0 48331661 128282624 12003 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 31319 12003 4256 2842 0 13013 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 125276 KiB
Current children cumulated memory: 48012 KiB
[startup+3.10531 s]
/proc/loadavg: 4.12 5.22 6.77 5/265 47206
/proc/meminfo: memFree=129340112/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=153640 memory=75404 CPUtime=3.07 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 15596 0 0 0 305 2 0 0 20 0 1 0 48331661 157327360 18851 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 38410 18851 4256 2842 0 20104 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 153640 KiB
Current children cumulated memory: 75404 KiB
[startup+6.3001 s]
/proc/loadavg: 4.11 5.20 6.75 5/265 47206
/proc/meminfo: memFree=129287912/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=197480 memory=118028 CPUtime=6.26 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 26231 0 0 0 622 4 0 0 20 0 1 0 48331661 202219520 29507 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 49370 29507 4256 2842 0 31064 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 197480 KiB
Current children cumulated memory: 118028 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 5.18 6.74 5/265 47206
/proc/meminfo: memFree=129272036/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=211444 memory=128812 CPUtime=12.65 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 30035 0 0 0 1260 5 0 0 20 0 1 0 48331661 216518656 32203 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 52861 32203 4256 2842 0 34555 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 211444 KiB
Current children cumulated memory: 128812 KiB
[startup+25.5001 s]
/proc/loadavg: 4.08 5.14 6.71 5/266 47254
/proc/meminfo: memFree=129314396/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=218004 memory=134956 CPUtime=25.41 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 31584 0 0 0 2536 5 0 0 20 0 1 0 48331661 223236096 33739 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 54501 33739 4256 2842 0 36195 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 218004 KiB
Current children cumulated memory: 134956 KiB
[startup+51.1053 s]
/proc/loadavg: 4.11 5.04 6.63 5/265 47255
/proc/meminfo: memFree=129191716/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=284660 memory=196536 CPUtime=50.92 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 47888 0 0 0 5084 8 0 0 20 0 1 0 48331661 291491840 49134 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 71165 49134 4256 2842 0 52859 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 284660 KiB
Current children cumulated memory: 196536 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.90 6.49 5/267 47263
/proc/meminfo: memFree=129117424/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=287852 memory=198664 CPUtime=101.96 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 51044 0 0 0 10187 9 0 0 20 0 1 0 48331661 294760448 49666 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 71963 49666 4256 2842 0 53657 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 287852 KiB
Current children cumulated memory: 198664 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.75 6.34 5/266 47265
/proc/meminfo: memFree=128795124/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=311236 memory=220588 CPUtime=161.76 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 56797 0 0 0 16166 10 0 0 20 0 1 0 48331661 318705664 55147 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 77809 55147 4256 2842 0 59503 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 311236 KiB
Current children cumulated memory: 220588 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.63 6.19 5/266 47268
/proc/meminfo: memFree=128397540/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=319612 memory=229016 CPUtime=221.58 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 58925 0 0 0 22148 10 0 0 20 0 1 0 48331661 327282688 57254 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 79903 57254 4256 2842 0 61597 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 319612 KiB
Current children cumulated memory: 229016 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.52 6.06 5/266 47269
/proc/meminfo: memFree=128238208/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=345280 memory=268440 CPUtime=281.42 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 64592 0 0 0 28131 11 0 0 20 0 1 0 48331661 353566720 67110 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 86320 67110 4256 2842 0 68014 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 345280 KiB
Current children cumulated memory: 268440 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.44 5.93 5/266 47271
/proc/meminfo: memFree=128392904/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=224656 memory=156420 CPUtime=341.26 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 67372 0 0 0 34075 51 0 0 20 0 1 0 48331661 230047744 39105 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 56164 39105 4416 2842 0 37858 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 224656 KiB
Current children cumulated memory: 156420 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.37 5.81 5/267 47274
/proc/meminfo: memFree=128209220/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=273200 memory=195452 CPUtime=401.11 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 70511 0 0 0 40021 90 0 0 20 0 1 0 48331661 279756800 48863 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 68300 48863 4416 2842 0 49994 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 273200 KiB
Current children cumulated memory: 195452 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.32 5.70 5/265 47276
/proc/meminfo: memFree=128102936/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=334148 memory=217344 CPUtime=460.97 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 73420 0 0 0 45965 132 0 0 20 0 1 0 48331661 342167552 54336 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 83537 54336 4416 2842 0 65231 0
################
# More data... #
################
Current children cumulated memory: 603412 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.21 5/264 47413
/proc/meminfo: memFree=125216952/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=767312 memory=603412 CPUtime=2854.49 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 117023 0 0 0 284623 826 0 0 20 0 1 0 48331661 785727488 150853 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 191828 150853 4416 2842 0 173522 0
Current children cumulated CPU time: 2854.49 s
Current children cumulated vsize: 767312 KiB
Current children cumulated memory: 603412 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.21 5/264 47415
/proc/meminfo: memFree=125225708/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=767312 memory=603412 CPUtime=2914.34 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 117023 0 0 0 290601 833 0 0 20 0 1 0 48331661 785727488 150853 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 191828 150853 4416 2842 0 173522 0
Current children cumulated CPU time: 2914.34 s
Current children cumulated vsize: 767312 KiB
Current children cumulated memory: 603412 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.19 5/265 47418
/proc/meminfo: memFree=125227320/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=767312 memory=603412 CPUtime=2974.19 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 117023 0 0 0 296577 842 0 0 20 0 1 0 48331661 785727488 150853 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 191828 150853 4416 2842 0 173522 0
Current children cumulated CPU time: 2974.19 s
Current children cumulated vsize: 767312 KiB
Current children cumulated memory: 603412 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.18 5/265 47422
/proc/meminfo: memFree=125095096/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=767312 memory=603412 CPUtime=3034.04 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 117023 0 0 0 302557 847 0 0 20 0 1 0 48331661 785727488 150853 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 191828 150853 4416 2842 0 173522 0
Current children cumulated CPU time: 3034.04 s
Current children cumulated vsize: 767312 KiB
Current children cumulated memory: 603412 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.18 5/265 47430
/proc/meminfo: memFree=125080452/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=767312 memory=603412 CPUtime=3093.89 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 117023 0 0 0 308533 856 0 0 20 0 1 0 48331661 785727488 150853 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 191828 150853 4416 2842 0 173522 0
Current children cumulated CPU time: 3093.89 s
Current children cumulated vsize: 767312 KiB
Current children cumulated memory: 603412 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.17 5/265 47432
/proc/meminfo: memFree=125082828/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=767312 memory=603412 CPUtime=3153.73 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 117026 0 0 0 314512 861 0 0 20 0 1 0 48331661 785727488 150853 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 191828 150853 4416 2842 0 173522 0
Current children cumulated CPU time: 3153.73 s
Current children cumulated vsize: 767312 KiB
Current children cumulated memory: 603412 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.17 5/265 47434
/proc/meminfo: memFree=125082624/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=767312 memory=603540 CPUtime=3213.58 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 117037 0 0 0 320488 870 0 0 20 0 1 0 48331661 785727488 150885 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 191828 150885 4416 2842 0 173522 0
Current children cumulated CPU time: 3213.58 s
Current children cumulated vsize: 767312 KiB
Current children cumulated memory: 603540 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.17 5/265 47436
/proc/meminfo: memFree=125084044/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=767312 memory=603540 CPUtime=3273.43 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 117037 0 0 0 326467 876 0 0 20 0 1 0 48331661 785727488 150885 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 191828 150885 4416 2842 0 173522 0
Current children cumulated CPU time: 3273.43 s
Current children cumulated vsize: 767312 KiB
Current children cumulated memory: 603540 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.16 5/265 47438
/proc/meminfo: memFree=125071664/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=767312 memory=603540 CPUtime=3333.28 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 117037 0 0 0 332442 886 0 0 20 0 1 0 48331661 785727488 150885 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 191828 150885 4416 2842 0 173522 0
Current children cumulated CPU time: 3333.28 s
Current children cumulated vsize: 767312 KiB
Current children cumulated memory: 603540 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.16 5/264 47440
/proc/meminfo: memFree=125096008/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=768520 memory=604180 CPUtime=3393.13 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 117200 0 0 0 338420 893 0 0 20 0 1 0 48331661 786964480 151045 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 192130 151045 4416 2842 0 173824 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 768520 KiB
Current children cumulated memory: 604180 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.15 5/264 47487
/proc/meminfo: memFree=128363348/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=769876 memory=617396 CPUtime=3452.98 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 117451 0 0 0 344398 900 0 0 20 0 1 0 48331661 788353024 154349 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 192469 154349 4416 2842 0 174163 0
Current children cumulated CPU time: 3452.98 s
Current children cumulated vsize: 769876 KiB
Current children cumulated memory: 617396 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.15 5/264 47533
/proc/meminfo: memFree=128587836/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=769876 memory=617396 CPUtime=3512.82 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 117451 0 0 0 350374 908 0 0 20 0 1 0 48331661 788353024 154349 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 192469 154349 4416 2842 0 174163 0
Current children cumulated CPU time: 3512.82 s
Current children cumulated vsize: 769876 KiB
Current children cumulated memory: 617396 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.14 5/264 47535
/proc/meminfo: memFree=128501868/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=770312 memory=617652 CPUtime=3572.67 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 117753 0 0 0 356347 920 0 0 20 0 1 0 48331661 788799488 154413 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 192578 154413 4416 2842 0 174272 0
Current children cumulated CPU time: 3572.67 s
Current children cumulated vsize: 770312 KiB
Current children cumulated memory: 617652 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.07 4.09 4.14 5/265 47538
/proc/meminfo: memFree=128478664/131249996 swapFree=33010416/33010684
[pid=47205] ppid=47202 vsize=772360 memory=618932 CPUtime=3600.09 cores=5,7
/proc/47205/stat : 47205 (mixed-bag) R 47202 47205 45645 0 -1 4194304 118103 0 0 0 359086 923 0 0 20 0 1 0 48331661 790896640 154733 18446744073709551615 4235264 15874749 140725515523024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54300672 140725515528604 140725515528681 140725515528681 140725515534283 0
/proc/47205/statm: 193090 154733 4416 2842 0 174784 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 772360 KiB
Current children cumulated memory: 618932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.81 s]
# the end of solver process 47205 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.87 s, system=9.23694 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.81
CPU time (s): 3600.11
CPU user time (s): 3590.87
CPU system time (s): 9.23694
CPU usage (%): 99.7313
Max. virtual memory (cumulated for all children) (KiB): 772360
Max. memory (cumulated for all children) (KiB): 618932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.87
system time used= 9.23694
maximum resident set size= 619572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118134
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 242
involuntary context switches= 2712
# summary of solver processes directly reported to runsolver:
# pid: 47205
# total CPU time (s): 3600.11
# total CPU user time (s): 3590.87
# total CPU system time (s): 9.23694
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.91592 second user time and 16.6908 second system time
The end
Begin job on nodeC015 at 2025-07-01 01:35:42
IDJOB=4488577
IDBENCH=147524
IDSOLVER=3340
FILE ID=nodeC015/4488577-1751326542
RUNJOBID= nodeC015-1751326375-45658
SLURM_JOB_ID= 9594361
Free space on /tmp= 432948 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488577-1751326542/watcher-4488577-1751326542 -o /tmp/evaluation-result-4488577-1751326542/solver-4488577-1751326542 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45658 --watchdog 3760 mixed-bag HOME/instance-4488577-1751326542.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3986604c534c992b7a4e3e5a4bb881f1
RANDOM SEED=1813897143
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.027
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.078
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3653.596
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.584
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.047
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3726.923
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.428
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.081
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129395608 kB
MemAvailable: 129140540 kB
Buffers: 2128 kB
Cached: 533740 kB
SwapCached: 24 kB
Active: 928140 kB
Inactive: 229336 kB
Active(anon): 619576 kB
Inactive(anon): 20084 kB
Active(file): 308564 kB
Inactive(file): 209252 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15568 kB
Writeback: 136 kB
AnonPages: 624664 kB
Mapped: 129180 kB
Shmem: 18052 kB
KReclaimable: 132708 kB
Slab: 222088 kB
SReclaimable: 132708 kB
SUnreclaim: 89380 kB
KernelStack: 4256 kB
PageTables: 4552 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1026716 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 256000 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432956 MiB
End job on nodeC015 at 2025-07-01 02:35:52