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.43/300.33 c [STEP] preprocessing done, loading into solver
299.43/300.33 c [STEP] solving
299.43/300.33 c #variables 1629 #constraints 3199
299.43/300.33 c SMALL=int, LARGE=long long
299.43/300.33 d SCIPUB 875
299.43/300.33 c bounds - >= 0 @ 299.336
299.43/300.33 c stratification level: 0
301.13/302.10 c bounds - >= 668 @ 299.343
301.13/302.10 c bounds - >= 669 @ 299.344
301.13/302.10 c bounds - >= 670 @ 299.344
301.13/302.10 c bounds - >= 671 @ 299.344
301.13/302.10 c bounds - >= 672 @ 299.344
301.13/302.10 c bounds - >= 673 @ 299.344
301.13/302.10 c bounds - >= 674 @ 299.345
301.13/302.10 c bounds - >= 675 @ 299.345
301.13/302.10 c bounds - >= 676 @ 299.345
301.13/302.10 c bounds - >= 677 @ 299.345
301.13/302.10 c bounds - >= 678 @ 299.346
301.13/302.10 c bounds - >= 679 @ 299.346
301.13/302.10 c bounds - >= 680 @ 299.346
301.13/302.10 c bounds - >= 681 @ 299.346
301.13/302.10 c bounds - >= 682 @ 299.346
301.13/302.10 c bounds - >= 683 @ 299.347
301.13/302.10 c bounds - >= 684 @ 299.347
301.13/302.10 c bounds - >= 685 @ 299.347
301.13/302.10 c bounds - >= 686 @ 299.347
301.13/302.10 c bounds - >= 687 @ 299.347
301.13/302.10 c bounds - >= 688 @ 299.347
301.13/302.10 c bounds - >= 689 @ 299.347
301.13/302.10 c bounds - >= 690 @ 299.347
301.13/302.10 c bounds - >= 691 @ 299.348
301.13/302.10 c bounds - >= 692 @ 299.348
301.13/302.10 c bounds - >= 693 @ 299.348
301.13/302.10 c bounds - >= 694 @ 299.348
301.13/302.10 c bounds - >= 695 @ 299.349
301.13/302.10 c bounds - >= 696 @ 299.349
301.13/302.10 c bounds - >= 697 @ 299.349
301.13/302.10 c bounds - >= 698 @ 299.349
301.13/302.10 c bounds - >= 699 @ 299.35
301.13/302.10 c bounds - >= 700 @ 299.35
301.13/302.10 c bounds - >= 701 @ 299.35
301.13/302.10 c bounds - >= 702 @ 299.35
301.13/302.10 c bounds - >= 703 @ 299.351
301.13/302.10 c bounds - >= 704 @ 299.351
301.13/302.10 c bounds - >= 705 @ 299.351
301.13/302.10 c bounds - >= 706 @ 299.351
301.13/302.10 c bounds - >= 707 @ 299.352
301.13/302.10 c bounds - >= 708 @ 299.352
301.13/302.10 c bounds - >= 709 @ 299.352
301.13/302.10 c bounds - >= 710 @ 299.352
301.13/302.10 c bounds - >= 711 @ 299.353
301.13/302.10 c bounds - >= 712 @ 299.353
301.13/302.10 c bounds - >= 713 @ 299.353
301.13/302.10 c bounds - >= 714 @ 299.353
301.13/302.10 c bounds - >= 715 @ 299.354
301.13/302.10 c bounds - >= 716 @ 299.354
301.13/302.10 c bounds - >= 717 @ 299.354
301.13/302.10 c bounds - >= 718 @ 299.355
301.13/302.10 c bounds - >= 719 @ 299.355
301.13/302.10 c bounds - >= 720 @ 299.355
301.13/302.10 c bounds - >= 721 @ 299.355
301.13/302.10 c bounds - >= 722 @ 299.356
301.13/302.10 c bounds - >= 723 @ 299.356
301.13/302.10 c bounds - >= 724 @ 299.356
301.13/302.10 c bounds - >= 725 @ 299.356
301.13/302.10 c bounds - >= 726 @ 299.357
301.13/302.10 c bounds - >= 727 @ 299.357
301.13/302.10 c bounds - >= 728 @ 299.357
301.13/302.10 c bounds - >= 729 @ 299.357
301.13/302.10 c bounds - >= 730 @ 299.358
301.13/302.10 c bounds - >= 731 @ 299.358
301.13/302.10 c bounds - >= 732 @ 299.358
301.13/302.10 c bounds - >= 733 @ 299.359
301.13/302.10 c bounds - >= 734 @ 299.359
301.13/302.10 c bounds - >= 735 @ 299.359
301.13/302.10 c bounds - >= 736 @ 299.359
301.13/302.10 c bounds - >= 737 @ 299.36
301.13/302.10 c bounds - >= 738 @ 299.36
301.13/302.10 c bounds - >= 739 @ 299.36
301.13/302.10 c bounds - >= 740 @ 299.36
301.13/302.10 c bounds - >= 741 @ 299.361
301.13/302.10 c bounds - >= 742 @ 299.361
301.13/302.10 c bounds - >= 743 @ 299.361
301.13/302.10 c bounds - >= 744 @ 299.362
301.13/302.10 c bounds - >= 745 @ 299.362
301.13/302.10 c bounds - >= 746 @ 299.362
301.13/302.10 c bounds - >= 747 @ 299.363
301.13/302.10 c bounds - >= 748 @ 299.363
301.13/302.10 c bounds - >= 749 @ 299.363
301.13/302.10 c bounds - >= 750 @ 299.363
301.13/302.10 c bounds - >= 751 @ 299.364
301.13/302.10 c bounds - >= 752 @ 299.364
301.13/302.10 c bounds - >= 753 @ 299.364
301.13/302.10 c bounds - >= 754 @ 299.364
301.13/302.10 c bounds - >= 755 @ 299.364
301.13/302.10 c bounds - >= 756 @ 299.364
301.13/302.10 c bounds - >= 757 @ 299.364
301.13/302.10 c bounds - >= 758 @ 299.365
301.13/302.10 c bounds - >= 759 @ 299.365
301.13/302.10 c bounds - >= 760 @ 299.365
301.13/302.10 c bounds - >= 761 @ 299.365
301.13/302.10 c bounds - >= 762 @ 299.365
301.13/302.10 c bounds - >= 763 @ 299.365
301.13/302.10 c bounds - >= 764 @ 299.365
301.13/302.10 c bounds - >= 765 @ 299.366
301.13/302.10 c bounds - >= 766 @ 299.366
301.13/302.10 c bounds - >= 767 @ 299.366
301.13/302.10 c bounds - >= 768 @ 299.366
301.13/302.10 c bounds - >= 769 @ 299.366
301.13/302.10 c bounds - >= 770 @ 299.366
301.13/302.10 c bounds - >= 771 @ 299.366
301.13/302.10 c bounds - >= 772 @ 299.366
301.13/302.10 c bounds - >= 773 @ 299.366
301.13/302.10 c bounds - >= 774 @ 299.367
301.13/302.10 c bounds - >= 775 @ 299.367
301.13/302.10 c bounds - >= 776 @ 299.367
301.13/302.10 c bounds - >= 777 @ 299.368
301.13/302.10 c bounds - >= 778 @ 299.368
301.13/302.10 c bounds - >= 779 @ 299.368
301.13/302.10 c bounds - >= 780 @ 299.368
301.13/302.10 c bounds - >= 781 @ 299.369
301.13/302.10 c bounds - >= 782 @ 299.369
301.13/302.10 c bounds - >= 783 @ 299.37
301.13/302.10 c bounds - >= 784 @ 299.37
301.13/302.10 c bounds - >= 785 @ 299.37
301.13/302.10 c bounds - >= 786 @ 299.37
301.13/302.10 c bounds - >= 787 @ 299.37
301.13/302.10 c bounds - >= 788 @ 299.37
301.13/302.10 c bounds - >= 789 @ 299.37
301.13/302.10 c bounds - >= 790 @ 299.37
301.13/302.10 c bounds - >= 791 @ 299.37
301.13/302.10 c bounds - >= 792 @ 299.37
301.13/302.10 c bounds - >= 793 @ 299.37
301.13/302.10 c bounds - >= 794 @ 299.371
301.13/302.10 c bounds - >= 795 @ 299.371
301.13/302.10 c bounds - >= 796 @ 299.371
301.13/302.10 c bounds - >= 797 @ 299.371
301.13/302.10 c bounds - >= 798 @ 299.371
301.13/302.10 c bounds - >= 799 @ 299.371
301.13/302.10 c bounds - >= 800 @ 299.371
301.13/302.10 c bounds - >= 801 @ 299.372
301.13/302.10 c bounds - >= 802 @ 299.372
301.13/302.10 c bounds - >= 803 @ 299.372
301.13/302.10 c #Conflicts: 1000 | #Constraints: 5139
301.13/302.10 c #Conflicts: 2000 | #Constraints: 6139
301.13/302.10 c INPROCESSING
301.13/302.10 c GARBAGE COLLECT
301.13/302.10 c #Conflicts: 3000 | #Constraints: 5984
301.13/302.10 c #Conflicts: 4000 | #Constraints: 6984
301.13/302.10 c INPROCESSING
301.13/302.10 c GARBAGE COLLECT
301.13/302.10 c #Conflicts: 5000 | #Constraints: 6374
349.68/350.78 c #Conflicts: 6000 | #Constraints: 7374
349.68/350.78 c INPROCESSING
349.68/350.78 c GARBAGE COLLECT
349.68/350.78 c #Conflicts: 7000 | #Constraints: 6367
349.68/350.78 c #Conflicts: 8000 | #Constraints: 7367
349.68/350.78 c #Conflicts: 9000 | #Constraints: 8367
349.68/350.78 c INPROCESSING
349.68/350.78 c GARBAGE COLLECT
349.68/350.78 c #Conflicts: 10000 | #Constraints: 7068
349.68/350.78 c #Conflicts: 11000 | #Constraints: 8068
349.68/350.78 c #Conflicts: 12000 | #Constraints: 9068
349.68/350.78 c INPROCESSING
349.68/350.78 c GARBAGE COLLECT
349.68/350.78 c #Conflicts: 13000 | #Constraints: 7523
349.68/350.78 c #Conflicts: 14000 | #Constraints: 8523
349.68/350.78 c #Conflicts: 15000 | #Constraints: 9523
349.68/350.78 c INPROCESSING
349.68/350.78 c GARBAGE COLLECT
349.68/350.78 c #Conflicts: 16000 | #Constraints: 7752
349.68/350.78 c #Conflicts: 17000 | #Constraints: 8752
349.68/350.78 c #Conflicts: 18000 | #Constraints: 9752
349.68/350.78 c INPROCESSING
349.68/350.78 c GARBAGE COLLECT
349.68/350.78 c #Conflicts: 19000 | #Constraints: 7762
349.68/350.78 c #Conflicts: 20000 | #Constraints: 8762
349.68/350.78 c #Conflicts: 21000 | #Constraints: 9762
349.68/350.78 c INPROCESSING
349.68/350.78 c GARBAGE COLLECT
349.68/350.78 c #Conflicts: 22000 | #Constraints: 7567
349.68/350.78 c #Conflicts: 23000 | #Constraints: 8567
349.68/350.78 c #Conflicts: 24000 | #Constraints: 9567
349.68/350.78 c #Conflicts: 25000 | #Constraints: 10567
349.68/350.78 c INPROCESSING
349.68/350.78 c GARBAGE COLLECT
349.68/350.78 c #Conflicts: 26000 | #Constraints: 8172
349.68/350.78 c #Conflicts: 27000 | #Constraints: 9172
349.68/350.78 c #Conflicts: 28000 | #Constraints: 10172
349.68/350.78 c #Conflicts: 29000 | #Constraints: 11172
349.68/350.78 c INPROCESSING
349.68/350.78 c GARBAGE COLLECT
349.68/350.78 c #Conflicts: 30000 | #Constraints: 8572
349.68/350.78 c #Conflicts: 31000 | #Constraints: 9572
349.68/350.78 c #Conflicts: 32000 | #Constraints: 10572
349.68/350.78 c #Conflicts: 33000 | #Constraints: 11572
349.68/350.78 c INPROCESSING
349.68/350.78 c GARBAGE COLLECT
349.68/350.78 c #Conflicts: 34000 | #Constraints: 8753
349.68/350.78 c #Conflicts: 35000 | #Constraints: 9753
349.68/350.78 c #Conflicts: 36000 | #Constraints: 10753
349.68/350.78 c #Conflicts: 37000 | #Constraints: 11753
349.68/350.78 c INPROCESSING
349.68/350.78 c GARBAGE COLLECT
349.68/350.78 c #Conflicts: 38000 | #Constraints: 8766
349.68/350.78 c #Conflicts: 39000 | #Constraints: 9766
349.68/350.78 c #Conflicts: 40000 | #Constraints: 10766
349.68/350.78 c #Conflicts: 41000 | #Constraints: 11766
349.68/350.78 c INPROCESSING
349.68/350.78 c GARBAGE COLLECT
349.68/350.78 c #Conflicts: 42000 | #Constraints: 8570
349.68/350.78 c #Conflicts: 43000 | #Constraints: 9570
349.68/350.78 c #Conflicts: 44000 | #Constraints: 10570
349.68/350.78 c #Conflicts: 45000 | #Constraints: 11570
349.68/350.78 c #Conflicts: 46000 | #Constraints: 12570
349.68/350.78 c INPROCESSING
349.68/350.78 c GARBAGE COLLECT
349.68/350.78 c #Conflicts: 47000 | #Constraints: 9170
349.68/350.78 c #Conflicts: 48000 | #Constraints: 10170
349.68/350.78 c #Conflicts: 49000 | #Constraints: 11170
349.68/350.78 c #Conflicts: 50000 | #Constraints: 12170
349.68/350.78 c #Conflicts: 51000 | #Constraints: 13170
349.68/350.78 c INPROCESSING
349.68/350.78 c GARBAGE COLLECT
349.68/350.78 c #Conflicts: 52000 | #Constraints: 9568
349.68/350.78 c #Conflicts: 53000 | #Constraints: 10568
349.68/350.78 c #Conflicts: 54000 | #Constraints: 11568
349.68/350.78 c #Conflicts: 55000 | #Constraints: 12568
349.68/350.78 c #Conflicts: 56000 | #Constraints: 13568
349.68/350.78 c INPROCESSING
349.68/350.78 c GARBAGE COLLECT
349.68/350.78 c #Conflicts: 57000 | #Constraints: 9771
349.68/350.78 c #Conflicts: 58000 | #Constraints: 10771
349.68/350.78 c #Conflicts: 59000 | #Constraints: 11771
349.68/350.78 c #Conflicts: 60000 | #Constraints: 12771
349.68/350.78 c #Conflicts: 61000 | #Constraints: 13771
349.68/350.78 c INPROCESSING
349.68/350.78 c GARBAGE COLLECT
349.68/350.78 c #Conflicts: 62000 | #Constraints: 9774
349.68/350.78 c #Conflicts: 63000 | #Constraints: 10774
349.68/350.78 c #Conflicts: 64000 | #Constraints: 11774
349.68/350.78 c #Conflicts: 65000 | #Constraints: 12774
349.68/350.78 c #Conflicts: 66000 | #Constraints: 13774
349.68/350.78 c INPROCESSING
349.68/350.78 c GARBAGE COLLECT
349.68/350.78 c #Conflicts: 67000 | #Constraints: 9573
349.68/350.78 c #Conflicts: 68000 | #Constraints: 10573
349.68/350.78 c #Conflicts: 69000 | #Constraints: 11573
349.68/350.78 c #Conflicts: 70000 | #Constraints: 12573
349.68/350.78 c #Conflicts: 71000 | #Constraints: 13573
349.68/350.78 c #Conflicts: 72000 | #Constraints: 14573
349.68/350.78 c INPROCESSING
349.68/350.78 c GARBAGE COLLECT
349.68/350.78 c #Conflicts: 73000 | #Constraints: 10179
427.18/428.47 c #Conflicts: 74000 | #Constraints: 11179
427.18/428.47 c #Conflicts: 75000 | #Constraints: 12179
427.18/428.47 c #Conflicts: 76000 | #Constraints: 13179
427.18/428.47 c #Conflicts: 77000 | #Constraints: 14179
427.18/428.47 c #Conflicts: 78000 | #Constraints: 15179
427.18/428.47 c INPROCESSING
427.18/428.47 c GARBAGE COLLECT
427.18/428.47 c #Conflicts: 79000 | #Constraints: 10579
427.18/428.47 c #Conflicts: 80000 | #Constraints: 11579
427.18/428.47 c #Conflicts: 81000 | #Constraints: 12579
427.18/428.47 c #Conflicts: 82000 | #Constraints: 13579
427.18/428.47 c #Conflicts: 83000 | #Constraints: 14579
427.18/428.47 c #Conflicts: 84000 | #Constraints: 15579
427.18/428.47 c INPROCESSING
427.18/428.47 c GARBAGE COLLECT
427.18/428.47 c #Conflicts: 85000 | #Constraints: 10779
427.18/428.47 c #Conflicts: 86000 | #Constraints: 11779
427.18/428.47 c #Conflicts: 87000 | #Constraints: 12779
427.18/428.47 c #Conflicts: 88000 | #Constraints: 13779
427.18/428.47 c #Conflicts: 89000 | #Constraints: 14779
427.18/428.47 c #Conflicts: 90000 | #Constraints: 15779
427.18/428.47 c INPROCESSING
427.18/428.47 c GARBAGE COLLECT
427.18/428.47 c #Conflicts: 91000 | #Constraints: 10774
427.18/428.47 c #Conflicts: 92000 | #Constraints: 11774
427.18/428.47 c #Conflicts: 93000 | #Constraints: 12774
427.18/428.47 c #Conflicts: 94000 | #Constraints: 13774
427.18/428.47 c #Conflicts: 95000 | #Constraints: 14774
427.18/428.47 c #Conflicts: 96000 | #Constraints: 15774
427.18/428.47 c INPROCESSING
427.18/428.47 c GARBAGE COLLECT
427.18/428.47 c #Conflicts: 97000 | #Constraints: 10575
427.18/428.47 c #Conflicts: 98000 | #Constraints: 11575
427.18/428.47 c #Conflicts: 99000 | #Constraints: 12575
427.18/428.47 c #Conflicts: 100000 | #Constraints: 13575
427.18/428.47 c #Conflicts: 101000 | #Constraints: 14575
427.18/428.47 c #Conflicts: 102000 | #Constraints: 15575
427.18/428.47 c #Conflicts: 103000 | #Constraints: 16575
427.18/428.47 c INPROCESSING
427.18/428.47 c GARBAGE COLLECT
427.18/428.47 c #Conflicts: 104000 | #Constraints: 11175
427.18/428.47 c #Conflicts: 105000 | #Constraints: 12175
427.18/428.47 c #Conflicts: 106000 | #Constraints: 13175
427.18/428.47 c #Conflicts: 107000 | #Constraints: 14175
427.18/428.47 c #Conflicts: 108000 | #Constraints: 15175
427.18/428.47 c #Conflicts: 109000 | #Constraints: 16175
427.18/428.47 c #Conflicts: 110000 | #Constraints: 17175
427.18/428.47 c INPROCESSING
427.18/428.47 c GARBAGE COLLECT
427.18/428.47 c #Conflicts: 111000 | #Constraints: 11574
427.18/428.47 c #Conflicts: 112000 | #Constraints: 12574
427.18/428.47 c #Conflicts: 113000 | #Constraints: 13574
427.18/428.47 c #Conflicts: 114000 | #Constraints: 14574
427.18/428.47 c #Conflicts: 115000 | #Constraints: 15574
427.18/428.47 c #Conflicts: 116000 | #Constraints: 16574
427.18/428.47 c #Conflicts: 117000 | #Constraints: 17574
427.18/428.47 c INPROCESSING
427.18/428.47 c GARBAGE COLLECT
427.18/428.47 c #Conflicts: 118000 | #Constraints: 11774
427.18/428.47 c #Conflicts: 119000 | #Constraints: 12774
427.18/428.47 c #Conflicts: 120000 | #Constraints: 13774
427.18/428.47 c #Conflicts: 121000 | #Constraints: 14774
427.18/428.47 c #Conflicts: 122000 | #Constraints: 15774
427.18/428.47 c #Conflicts: 123000 | #Constraints: 16774
427.18/428.47 c #Conflicts: 124000 | #Constraints: 17774
427.18/428.47 c INPROCESSING
427.18/428.47 c GARBAGE COLLECT
427.18/428.47 c #Conflicts: 125000 | #Constraints: 11776
427.18/428.47 c #Conflicts: 126000 | #Constraints: 12776
427.18/428.47 c #Conflicts: 127000 | #Constraints: 13776
427.18/428.47 c #Conflicts: 128000 | #Constraints: 14776
427.18/428.47 c #Conflicts: 129000 | #Constraints: 15776
427.18/428.47 c #Conflicts: 130000 | #Constraints: 16776
427.18/428.47 c #Conflicts: 131000 | #Constraints: 17776
427.18/428.47 c INPROCESSING
427.18/428.47 c GARBAGE COLLECT
427.18/428.47 c #Conflicts: 132000 | #Constraints: 11581
427.18/428.47 c #Conflicts: 133000 | #Constraints: 12581
427.18/428.47 c #Conflicts: 134000 | #Constraints: 13581
427.18/428.47 c #Conflicts: 135000 | #Constraints: 14581
427.18/428.47 c #Conflicts: 136000 | #Constraints: 15581
427.18/428.47 c #Conflicts: 137000 | #Constraints: 16581
427.18/428.47 c #Conflicts: 138000 | #Constraints: 17581
427.18/428.47 c #Conflicts: 139000 | #Constraints: 18581
427.18/428.47 c INPROCESSING
427.18/428.47 c GARBAGE COLLECT
427.18/428.47 c #Conflicts: 140000 | #Constraints: 12181
427.18/428.47 c #Conflicts: 141000 | #Constraints: 13181
427.18/428.47 c #Conflicts: 142000 | #Constraints: 14181
427.18/428.47 c #Conflicts: 143000 | #Constraints: 15181
427.18/428.47 c #Conflicts: 144000 | #Constraints: 16181
427.18/428.47 c #Conflicts: 145000 | #Constraints: 17181
427.18/428.47 c #Conflicts: 146000 | #Constraints: 18181
534.72/536.23 c #Conflicts: 147000 | #Constraints: 19181
534.72/536.23 c INPROCESSING
534.72/536.23 c GARBAGE COLLECT
534.72/536.23 c #Conflicts: 148000 | #Constraints: 12579
534.72/536.23 c #Conflicts: 149000 | #Constraints: 13579
534.72/536.23 c #Conflicts: 150000 | #Constraints: 14579
534.72/536.23 c #Conflicts: 151000 | #Constraints: 15579
534.72/536.23 c #Conflicts: 152000 | #Constraints: 16579
534.72/536.23 c #Conflicts: 153000 | #Constraints: 17579
534.72/536.23 c #Conflicts: 154000 | #Constraints: 18579
534.72/536.23 c #Conflicts: 155000 | #Constraints: 19579
534.72/536.23 c INPROCESSING
534.72/536.23 c GARBAGE COLLECT
534.72/536.23 c #Conflicts: 156000 | #Constraints: 12781
534.72/536.23 c #Conflicts: 157000 | #Constraints: 13781
534.72/536.23 c #Conflicts: 158000 | #Constraints: 14781
534.72/536.23 c #Conflicts: 159000 | #Constraints: 15781
534.72/536.23 c #Conflicts: 160000 | #Constraints: 16781
534.72/536.23 c #Conflicts: 161000 | #Constraints: 17781
534.72/536.23 c #Conflicts: 162000 | #Constraints: 18781
534.72/536.23 c #Conflicts: 163000 | #Constraints: 19781
534.72/536.23 c INPROCESSING
534.72/536.23 c GARBAGE COLLECT
534.72/536.23 c #Conflicts: 164000 | #Constraints: 12783
534.72/536.23 c #Conflicts: 165000 | #Constraints: 13783
534.72/536.23 c #Conflicts: 166000 | #Constraints: 14783
534.72/536.23 c #Conflicts: 167000 | #Constraints: 15783
534.72/536.23 c #Conflicts: 168000 | #Constraints: 16783
534.72/536.23 c #Conflicts: 169000 | #Constraints: 17783
534.72/536.23 c #Conflicts: 170000 | #Constraints: 18783
534.72/536.23 c #Conflicts: 171000 | #Constraints: 19783
534.72/536.23 c INPROCESSING
534.72/536.23 c GARBAGE COLLECT
534.72/536.23 c #Conflicts: 172000 | #Constraints: 12576
534.72/536.23 c #Conflicts: 173000 | #Constraints: 13576
534.72/536.23 c #Conflicts: 174000 | #Constraints: 14576
534.72/536.23 c #Conflicts: 175000 | #Constraints: 15576
534.72/536.23 c #Conflicts: 176000 | #Constraints: 16576
534.72/536.23 c #Conflicts: 177000 | #Constraints: 17576
534.72/536.23 c #Conflicts: 178000 | #Constraints: 18576
534.72/536.23 c #Conflicts: 179000 | #Constraints: 19576
534.72/536.23 c #Conflicts: 180000 | #Constraints: 20576
534.72/536.23 c INPROCESSING
534.72/536.23 c GARBAGE COLLECT
534.72/536.23 c #Conflicts: 181000 | #Constraints: 13176
534.72/536.23 c #Conflicts: 182000 | #Constraints: 14176
534.72/536.23 c #Conflicts: 183000 | #Constraints: 15176
534.72/536.23 c #Conflicts: 184000 | #Constraints: 16176
534.72/536.23 c #Conflicts: 185000 | #Constraints: 17176
534.72/536.23 c #Conflicts: 186000 | #Constraints: 18176
534.72/536.23 c #Conflicts: 187000 | #Constraints: 19176
534.72/536.23 c #Conflicts: 188000 | #Constraints: 20176
534.72/536.23 c #Conflicts: 189000 | #Constraints: 21176
534.72/536.23 c INPROCESSING
534.72/536.23 c GARBAGE COLLECT
534.72/536.23 c #Conflicts: 190000 | #Constraints: 13579
534.72/536.23 c #Conflicts: 191000 | #Constraints: 14579
534.72/536.23 c #Conflicts: 192000 | #Constraints: 15579
534.72/536.23 c #Conflicts: 193000 | #Constraints: 16579
534.72/536.23 c #Conflicts: 194000 | #Constraints: 17579
534.72/536.23 c #Conflicts: 195000 | #Constraints: 18579
534.72/536.23 c #Conflicts: 196000 | #Constraints: 19579
534.72/536.23 c #Conflicts: 197000 | #Constraints: 20579
534.72/536.23 c #Conflicts: 198000 | #Constraints: 21579
534.72/536.23 c INPROCESSING
534.72/536.23 c GARBAGE COLLECT
534.72/536.23 c #Conflicts: 199000 | #Constraints: 13786
534.72/536.23 c #Conflicts: 200000 | #Constraints: 14786
534.72/536.23 c #Conflicts: 201000 | #Constraints: 15786
534.72/536.23 c #Conflicts: 202000 | #Constraints: 16786
534.72/536.23 c #Conflicts: 203000 | #Constraints: 17786
534.72/536.23 c #Conflicts: 204000 | #Constraints: 18786
534.72/536.23 c #Conflicts: 205000 | #Constraints: 19786
534.72/536.23 c #Conflicts: 206000 | #Constraints: 20786
534.72/536.23 c #Conflicts: 207000 | #Constraints: 21786
534.72/536.23 c INPROCESSING
534.72/536.23 c GARBAGE COLLECT
534.72/536.23 c #Conflicts: 208000 | #Constraints: 13784
534.72/536.23 c #Conflicts: 209000 | #Constraints: 14784
534.72/536.23 c #Conflicts: 210000 | #Constraints: 15784
534.72/536.23 c #Conflicts: 211000 | #Constraints: 16784
534.72/536.23 c #Conflicts: 212000 | #Constraints: 17784
534.72/536.23 c #Conflicts: 213000 | #Constraints: 18784
534.72/536.23 c #Conflicts: 214000 | #Constraints: 19784
534.72/536.23 c #Conflicts: 215000 | #Constraints: 20784
534.72/536.23 c #Conflicts: 216000 | #Constraints: 21784
534.72/536.23 c INPROCESSING
534.72/536.23 c GARBAGE COLLECT
534.72/536.23 c #Conflicts: 217000 | #Constraints: 13586
534.72/536.23 c #Conflicts: 218000 | #Constraints: 14586
534.72/536.23 c #Conflicts: 219000 | #Constraints: 15586
670.38/672.29 c #Conflicts: 220000 | #Constraints: 16586
670.38/672.29 c #Conflicts: 221000 | #Constraints: 17586
670.38/672.29 c #Conflicts: 222000 | #Constraints: 18586
670.38/672.29 c #Conflicts: 223000 | #Constraints: 19586
670.38/672.29 c #Conflicts: 224000 | #Constraints: 20586
670.38/672.29 c #Conflicts: 225000 | #Constraints: 21586
670.38/672.29 c #Conflicts: 226000 | #Constraints: 22586
670.38/672.29 c INPROCESSING
670.38/672.29 c GARBAGE COLLECT
670.38/672.29 c #Conflicts: 227000 | #Constraints: 14191
670.38/672.29 c #Conflicts: 228000 | #Constraints: 15191
670.38/672.29 c #Conflicts: 229000 | #Constraints: 16191
670.38/672.29 c #Conflicts: 230000 | #Constraints: 17191
670.38/672.29 c #Conflicts: 231000 | #Constraints: 18191
670.38/672.29 c #Conflicts: 232000 | #Constraints: 19191
670.38/672.29 c #Conflicts: 233000 | #Constraints: 20191
670.38/672.29 c #Conflicts: 234000 | #Constraints: 21191
670.38/672.29 c #Conflicts: 235000 | #Constraints: 22191
670.38/672.29 c #Conflicts: 236000 | #Constraints: 23191
670.38/672.29 c INPROCESSING
670.38/672.29 c GARBAGE COLLECT
670.38/672.29 c #Conflicts: 237000 | #Constraints: 14587
670.38/672.29 c #Conflicts: 238000 | #Constraints: 15587
670.38/672.29 c #Conflicts: 239000 | #Constraints: 16587
670.38/672.29 c #Conflicts: 240000 | #Constraints: 17587
670.38/672.29 c #Conflicts: 241000 | #Constraints: 18587
670.38/672.29 c #Conflicts: 242000 | #Constraints: 19587
670.38/672.29 c #Conflicts: 243000 | #Constraints: 20587
670.38/672.29 c #Conflicts: 244000 | #Constraints: 21587
670.38/672.29 c #Conflicts: 245000 | #Constraints: 22587
670.38/672.29 c #Conflicts: 246000 | #Constraints: 23587
670.38/672.29 c INPROCESSING
670.38/672.29 c GARBAGE COLLECT
670.38/672.29 c #Conflicts: 247000 | #Constraints: 14789
670.38/672.29 c #Conflicts: 248000 | #Constraints: 15789
670.38/672.29 c #Conflicts: 249000 | #Constraints: 16789
670.38/672.29 c #Conflicts: 250000 | #Constraints: 17789
670.38/672.29 c #Conflicts: 251000 | #Constraints: 18789
670.38/672.29 c #Conflicts: 252000 | #Constraints: 19789
670.38/672.29 c #Conflicts: 253000 | #Constraints: 20789
670.38/672.29 c #Conflicts: 254000 | #Constraints: 21789
670.38/672.29 c #Conflicts: 255000 | #Constraints: 22789
670.38/672.29 c #Conflicts: 256000 | #Constraints: 23789
670.38/672.29 c INPROCESSING
670.38/672.29 c GARBAGE COLLECT
670.38/672.29 c #Conflicts: 257000 | #Constraints: 14785
670.38/672.29 c #Conflicts: 258000 | #Constraints: 15785
670.38/672.29 c #Conflicts: 259000 | #Constraints: 16785
670.38/672.29 c #Conflicts: 260000 | #Constraints: 17785
670.38/672.29 c #Conflicts: 261000 | #Constraints: 18785
670.38/672.29 c #Conflicts: 262000 | #Constraints: 19785
670.38/672.29 c #Conflicts: 263000 | #Constraints: 20785
670.38/672.29 c #Conflicts: 264000 | #Constraints: 21785
670.38/672.29 c #Conflicts: 265000 | #Constraints: 22785
670.38/672.29 c #Conflicts: 266000 | #Constraints: 23785
670.38/672.29 c INPROCESSING
670.38/672.29 c GARBAGE COLLECT
670.38/672.29 c #Conflicts: 267000 | #Constraints: 14584
670.38/672.29 c #Conflicts: 268000 | #Constraints: 15584
670.38/672.29 c #Conflicts: 269000 | #Constraints: 16584
670.38/672.29 c #Conflicts: 270000 | #Constraints: 17584
670.38/672.29 c #Conflicts: 271000 | #Constraints: 18584
670.38/672.29 c #Conflicts: 272000 | #Constraints: 19584
670.38/672.29 c #Conflicts: 273000 | #Constraints: 20584
670.38/672.29 c #Conflicts: 274000 | #Constraints: 21584
670.38/672.29 c #Conflicts: 275000 | #Constraints: 22584
670.38/672.29 c #Conflicts: 276000 | #Constraints: 23584
670.38/672.29 c #Conflicts: 277000 | #Constraints: 24584
670.38/672.29 c INPROCESSING
670.38/672.29 c GARBAGE COLLECT
670.38/672.29 c #Conflicts: 278000 | #Constraints: 15186
670.38/672.29 c #Conflicts: 279000 | #Constraints: 16186
670.38/672.29 c #Conflicts: 280000 | #Constraints: 17186
670.38/672.29 c #Conflicts: 281000 | #Constraints: 18186
670.38/672.29 c #Conflicts: 282000 | #Constraints: 19186
670.38/672.29 c #Conflicts: 283000 | #Constraints: 20186
670.38/672.29 c #Conflicts: 284000 | #Constraints: 21186
670.38/672.29 c #Conflicts: 285000 | #Constraints: 22186
670.38/672.29 c #Conflicts: 286000 | #Constraints: 23186
670.38/672.29 c #Conflicts: 287000 | #Constraints: 24186
670.38/672.29 c #Conflicts: 288000 | #Constraints: 25186
670.38/672.29 c INPROCESSING
670.38/672.29 c GARBAGE COLLECT
670.38/672.29 c #Conflicts: 289000 | #Constraints: 15584
670.38/672.29 c #Conflicts: 290000 | #Constraints: 16584
670.38/672.29 c #Conflicts: 291000 | #Constraints: 17584
670.38/672.29 c #Conflicts: 292000 | #Constraints: 18584
670.38/672.29 c #Conflicts: 293000 | #Constraints: 19584
845.76/848.07 c #Conflicts: 294000 | #Constraints: 20584
845.76/848.07 c #Conflicts: 295000 | #Constraints: 21584
845.76/848.07 c #Conflicts: 296000 | #Constraints: 22584
845.76/848.07 c #Conflicts: 297000 | #Constraints: 23584
845.76/848.07 c #Conflicts: 298000 | #Constraints: 24584
845.76/848.07 c #Conflicts: 299000 | #Constraints: 25584
845.76/848.07 c INPROCESSING
845.76/848.07 c GARBAGE COLLECT
845.76/848.07 c #Conflicts: 300000 | #Constraints: 15781
845.76/848.07 c #Conflicts: 301000 | #Constraints: 16781
845.76/848.07 c #Conflicts: 302000 | #Constraints: 17781
845.76/848.07 c #Conflicts: 303000 | #Constraints: 18781
845.76/848.07 c #Conflicts: 304000 | #Constraints: 19781
845.76/848.07 c #Conflicts: 305000 | #Constraints: 20781
845.76/848.07 c #Conflicts: 306000 | #Constraints: 21781
845.76/848.07 c #Conflicts: 307000 | #Constraints: 22781
845.76/848.07 c #Conflicts: 308000 | #Constraints: 23781
845.76/848.07 c #Conflicts: 309000 | #Constraints: 24781
845.76/848.07 c #Conflicts: 310000 | #Constraints: 25781
845.76/848.07 c INPROCESSING
845.76/848.07 c GARBAGE COLLECT
845.76/848.07 c #Conflicts: 311000 | #Constraints: 15784
845.76/848.07 c #Conflicts: 312000 | #Constraints: 16784
845.76/848.07 c #Conflicts: 313000 | #Constraints: 17784
845.76/848.07 c #Conflicts: 314000 | #Constraints: 18784
845.76/848.07 c #Conflicts: 315000 | #Constraints: 19784
845.76/848.07 c #Conflicts: 316000 | #Constraints: 20784
845.76/848.07 c #Conflicts: 317000 | #Constraints: 21784
845.76/848.07 c #Conflicts: 318000 | #Constraints: 22784
845.76/848.07 c #Conflicts: 319000 | #Constraints: 23784
845.76/848.07 c #Conflicts: 320000 | #Constraints: 24784
845.76/848.07 c #Conflicts: 321000 | #Constraints: 25784
845.76/848.07 c INPROCESSING
845.76/848.07 c GARBAGE COLLECT
845.76/848.07 c #Conflicts: 322000 | #Constraints: 15579
845.76/848.07 c #Conflicts: 323000 | #Constraints: 16579
845.76/848.07 c #Conflicts: 324000 | #Constraints: 17579
845.76/848.07 c #Conflicts: 325000 | #Constraints: 18579
845.76/848.07 c #Conflicts: 326000 | #Constraints: 19579
845.76/848.07 c #Conflicts: 327000 | #Constraints: 20579
845.76/848.07 c #Conflicts: 328000 | #Constraints: 21579
845.76/848.07 c #Conflicts: 329000 | #Constraints: 22579
845.76/848.07 c #Conflicts: 330000 | #Constraints: 23579
845.76/848.07 c #Conflicts: 331000 | #Constraints: 24579
845.76/848.07 c #Conflicts: 332000 | #Constraints: 25579
845.76/848.07 c #Conflicts: 333000 | #Constraints: 26579
845.76/848.07 c INPROCESSING
845.76/848.07 c GARBAGE COLLECT
845.76/848.07 c #Conflicts: 334000 | #Constraints: 16192
845.76/848.07 c #Conflicts: 335000 | #Constraints: 17192
845.76/848.07 c #Conflicts: 336000 | #Constraints: 18192
845.76/848.07 c #Conflicts: 337000 | #Constraints: 19192
845.76/848.07 c #Conflicts: 338000 | #Constraints: 20192
845.76/848.07 c #Conflicts: 339000 | #Constraints: 21192
845.76/848.07 c #Conflicts: 340000 | #Constraints: 22192
845.76/848.07 c #Conflicts: 341000 | #Constraints: 23192
845.76/848.07 c #Conflicts: 342000 | #Constraints: 24192
845.76/848.07 c #Conflicts: 343000 | #Constraints: 25192
845.76/848.07 c #Conflicts: 344000 | #Constraints: 26192
845.76/848.07 c #Conflicts: 345000 | #Constraints: 27192
845.76/848.07 c INPROCESSING
845.76/848.07 c GARBAGE COLLECT
845.76/848.07 c #Conflicts: 346000 | #Constraints: 16590
845.76/848.07 c #Conflicts: 347000 | #Constraints: 17590
845.76/848.07 c #Conflicts: 348000 | #Constraints: 18590
845.76/848.07 c #Conflicts: 349000 | #Constraints: 19590
845.76/848.07 c #Conflicts: 350000 | #Constraints: 20590
845.76/848.07 c #Conflicts: 351000 | #Constraints: 21590
845.76/848.07 c #Conflicts: 352000 | #Constraints: 22590
845.76/848.07 c #Conflicts: 353000 | #Constraints: 23590
845.76/848.07 c #Conflicts: 354000 | #Constraints: 24590
845.76/848.07 c #Conflicts: 355000 | #Constraints: 25590
845.76/848.07 c #Conflicts: 356000 | #Constraints: 26590
845.76/848.07 c #Conflicts: 357000 | #Constraints: 27590
845.76/848.07 c INPROCESSING
845.76/848.07 c GARBAGE COLLECT
845.76/848.07 c #Conflicts: 358000 | #Constraints: 16794
845.76/848.07 c #Conflicts: 359000 | #Constraints: 17794
845.76/848.07 c #Conflicts: 360000 | #Constraints: 18794
845.76/848.07 c #Conflicts: 361000 | #Constraints: 19794
845.76/848.07 c #Conflicts: 362000 | #Constraints: 20794
845.76/848.07 c #Conflicts: 363000 | #Constraints: 21794
845.76/848.07 c #Conflicts: 364000 | #Constraints: 22794
845.76/848.07 c #Conflicts: 365000 | #Constraints: 23794
845.76/848.07 c #Conflicts: 366000 | #Constraints: 24794
845.76/848.07 c #Conflicts: 367000 | #Constraints: 25794
845.76/848.07 c #Conflicts: 368000 | #Constraints: 26794
1049.75/1052.56 c #Conflicts: 369000 | #Constraints: 27794
1049.75/1052.56 c INPROCESSING
1049.75/1052.56 c GARBAGE COLLECT
1049.75/1052.56 c #Conflicts: 370000 | #Constraints: 16797
1049.75/1052.56 c #Conflicts: 371000 | #Constraints: 17797
1049.75/1052.56 c #Conflicts: 372000 | #Constraints: 18797
1049.75/1052.56 c #Conflicts: 373000 | #Constraints: 19797
1049.75/1052.56 c #Conflicts: 374000 | #Constraints: 20797
1049.75/1052.56 c #Conflicts: 375000 | #Constraints: 21797
1049.75/1052.56 c #Conflicts: 376000 | #Constraints: 22797
1049.75/1052.56 c #Conflicts: 377000 | #Constraints: 23797
1049.75/1052.56 c #Conflicts: 378000 | #Constraints: 24797
1049.75/1052.56 c #Conflicts: 379000 | #Constraints: 25797
1049.75/1052.56 c #Conflicts: 380000 | #Constraints: 26797
1049.75/1052.56 c #Conflicts: 381000 | #Constraints: 27797
1049.75/1052.56 c INPROCESSING
1049.75/1052.56 c GARBAGE COLLECT
1049.75/1052.56 c #Conflicts: 382000 | #Constraints: 16591
1049.75/1052.56 c #Conflicts: 383000 | #Constraints: 17591
1049.75/1052.56 c #Conflicts: 384000 | #Constraints: 18591
1049.75/1052.56 c #Conflicts: 385000 | #Constraints: 19591
1049.75/1052.56 c #Conflicts: 386000 | #Constraints: 20591
1049.75/1052.56 c #Conflicts: 387000 | #Constraints: 21591
1049.75/1052.56 c #Conflicts: 388000 | #Constraints: 22591
1049.75/1052.56 c #Conflicts: 389000 | #Constraints: 23591
1049.75/1052.56 c #Conflicts: 390000 | #Constraints: 24591
1049.75/1052.56 c #Conflicts: 391000 | #Constraints: 25591
1049.75/1052.56 c #Conflicts: 392000 | #Constraints: 26591
1049.75/1052.56 c #Conflicts: 393000 | #Constraints: 27591
1049.75/1052.56 c #Conflicts: 394000 | #Constraints: 28591
1049.75/1052.56 c INPROCESSING
1049.75/1052.56 c GARBAGE COLLECT
1049.75/1052.56 c #Conflicts: 395000 | #Constraints: 17195
1049.75/1052.56 c #Conflicts: 396000 | #Constraints: 18195
1049.75/1052.56 c #Conflicts: 397000 | #Constraints: 19195
1049.75/1052.56 c #Conflicts: 398000 | #Constraints: 20195
1049.75/1052.56 c #Conflicts: 399000 | #Constraints: 21195
1049.75/1052.56 c #Conflicts: 400000 | #Constraints: 22195
1049.75/1052.56 c #Conflicts: 401000 | #Constraints: 23195
1049.75/1052.56 c #Conflicts: 402000 | #Constraints: 24195
1049.75/1052.56 c #Conflicts: 403000 | #Constraints: 25195
1049.75/1052.56 c #Conflicts: 404000 | #Constraints: 26195
1049.75/1052.56 c #Conflicts: 405000 | #Constraints: 27195
1049.75/1052.56 c #Conflicts: 406000 | #Constraints: 28195
1049.75/1052.56 c #Conflicts: 407000 | #Constraints: 29195
1049.75/1052.56 c INPROCESSING
1049.75/1052.56 c GARBAGE COLLECT
1049.75/1052.56 c #Conflicts: 408000 | #Constraints: 17598
1049.75/1052.56 c #Conflicts: 409000 | #Constraints: 18598
1049.75/1052.56 c #Conflicts: 410000 | #Constraints: 19598
1049.75/1052.56 c #Conflicts: 411000 | #Constraints: 20598
1049.75/1052.56 c #Conflicts: 412000 | #Constraints: 21598
1049.75/1052.56 c #Conflicts: 413000 | #Constraints: 22598
1049.75/1052.56 c #Conflicts: 414000 | #Constraints: 23598
1049.75/1052.56 c #Conflicts: 415000 | #Constraints: 24598
1049.75/1052.56 c #Conflicts: 416000 | #Constraints: 25598
1049.75/1052.56 c #Conflicts: 417000 | #Constraints: 26598
1049.75/1052.56 c #Conflicts: 418000 | #Constraints: 27598
1049.75/1052.56 c #Conflicts: 419000 | #Constraints: 28598
1049.75/1052.56 c #Conflicts: 420000 | #Constraints: 29598
1049.75/1052.56 c INPROCESSING
1049.75/1052.56 c GARBAGE COLLECT
1049.75/1052.56 c #Conflicts: 421000 | #Constraints: 17794
1049.75/1052.56 c #Conflicts: 422000 | #Constraints: 18794
1049.75/1052.56 c #Conflicts: 423000 | #Constraints: 19794
1049.75/1052.56 c #Conflicts: 424000 | #Constraints: 20794
1049.75/1052.56 c #Conflicts: 425000 | #Constraints: 21794
1049.75/1052.56 c #Conflicts: 426000 | #Constraints: 22794
1049.75/1052.56 c #Conflicts: 427000 | #Constraints: 23794
1049.75/1052.56 c #Conflicts: 428000 | #Constraints: 24794
1049.75/1052.56 c #Conflicts: 429000 | #Constraints: 25794
1049.75/1052.56 c #Conflicts: 430000 | #Constraints: 26794
1049.75/1052.56 c #Conflicts: 431000 | #Constraints: 27794
1049.75/1052.56 c #Conflicts: 432000 | #Constraints: 28794
1049.75/1052.56 c #Conflicts: 433000 | #Constraints: 29794
1049.75/1052.56 c INPROCESSING
1049.75/1052.56 c GARBAGE COLLECT
1049.75/1052.56 c #Conflicts: 434000 | #Constraints: 17796
1049.75/1052.56 c #Conflicts: 435000 | #Constraints: 18796
1049.75/1052.56 c #Conflicts: 436000 | #Constraints: 19796
1049.75/1052.56 c #Conflicts: 437000 | #Constraints: 20796
1049.75/1052.56 c #Conflicts: 438000 | #Constraints: 21796
1049.75/1052.56 c #Conflicts: 439000 | #Constraints: 22796
1049.75/1052.56 c #Conflicts: 440000 | #Constraints: 23796
1049.75/1052.56 c #Conflicts: 441000 | #Constraints: 24796
1049.75/1052.56 c #Conflicts: 442000 | #Constraints: 25796
1049.75/1052.56 c #Conflicts: 443000 | #Constraints: 26796
1254.75/1258.02 c #Conflicts: 444000 | #Constraints: 27796
1254.75/1258.02 c #Conflicts: 445000 | #Constraints: 28796
1254.75/1258.02 c #Conflicts: 446000 | #Constraints: 29796
1254.75/1258.02 c INPROCESSING
1254.75/1258.02 c GARBAGE COLLECT
1254.75/1258.02 c #Conflicts: 447000 | #Constraints: 17591
1254.75/1258.02 c #Conflicts: 448000 | #Constraints: 18591
1254.75/1258.02 c #Conflicts: 449000 | #Constraints: 19591
1254.75/1258.02 c #Conflicts: 450000 | #Constraints: 20591
1254.75/1258.02 c #Conflicts: 451000 | #Constraints: 21591
1254.75/1258.02 c #Conflicts: 452000 | #Constraints: 22591
1254.75/1258.02 c #Conflicts: 453000 | #Constraints: 23591
1254.75/1258.02 c #Conflicts: 454000 | #Constraints: 24591
1254.75/1258.02 c #Conflicts: 455000 | #Constraints: 25591
1254.75/1258.02 c #Conflicts: 456000 | #Constraints: 26591
1254.75/1258.02 c #Conflicts: 457000 | #Constraints: 27591
1254.75/1258.02 c #Conflicts: 458000 | #Constraints: 28591
1254.75/1258.02 c #Conflicts: 459000 | #Constraints: 29591
1254.75/1258.02 c #Conflicts: 460000 | #Constraints: 30591
1254.75/1258.02 c INPROCESSING
1254.75/1258.02 c GARBAGE COLLECT
1254.75/1258.02 c #Conflicts: 461000 | #Constraints: 18193
1254.75/1258.02 c #Conflicts: 462000 | #Constraints: 19193
1254.75/1258.02 c #Conflicts: 463000 | #Constraints: 20193
1254.75/1258.02 c #Conflicts: 464000 | #Constraints: 21193
1254.75/1258.02 c #Conflicts: 465000 | #Constraints: 22193
1254.75/1258.02 c #Conflicts: 466000 | #Constraints: 23193
1254.75/1258.02 c #Conflicts: 467000 | #Constraints: 24193
1254.75/1258.02 c #Conflicts: 468000 | #Constraints: 25193
1254.75/1258.02 c #Conflicts: 469000 | #Constraints: 26193
1254.75/1258.02 c #Conflicts: 470000 | #Constraints: 27193
1254.75/1258.02 c #Conflicts: 471000 | #Constraints: 28193
1254.75/1258.02 c #Conflicts: 472000 | #Constraints: 29193
1254.75/1258.02 c #Conflicts: 473000 | #Constraints: 30193
1254.75/1258.02 c #Conflicts: 474000 | #Constraints: 31193
1254.75/1258.02 c INPROCESSING
1254.75/1258.02 c GARBAGE COLLECT
1254.75/1258.02 c #Conflicts: 475000 | #Constraints: 18588
1254.75/1258.02 c #Conflicts: 476000 | #Constraints: 19588
1254.75/1258.02 c #Conflicts: 477000 | #Constraints: 20588
1254.75/1258.02 c #Conflicts: 478000 | #Constraints: 21588
1254.75/1258.02 c #Conflicts: 479000 | #Constraints: 22588
1254.75/1258.02 c #Conflicts: 480000 | #Constraints: 23588
1254.75/1258.03 c #Conflicts: 481000 | #Constraints: 24588
1254.75/1258.03 c #Conflicts: 482000 | #Constraints: 25588
1254.75/1258.03 c #Conflicts: 483000 | #Constraints: 26588
1254.75/1258.03 c #Conflicts: 484000 | #Constraints: 27588
1254.75/1258.03 c #Conflicts: 485000 | #Constraints: 28588
1254.75/1258.03 c #Conflicts: 486000 | #Constraints: 29588
1254.75/1258.03 c #Conflicts: 487000 | #Constraints: 30588
1254.75/1258.03 c #Conflicts: 488000 | #Constraints: 31588
1254.75/1258.03 c INPROCESSING
1254.75/1258.03 c GARBAGE COLLECT
1254.75/1258.03 c #Conflicts: 489000 | #Constraints: 18782
1254.75/1258.03 c #Conflicts: 490000 | #Constraints: 19782
1254.75/1258.03 c #Conflicts: 491000 | #Constraints: 20782
1254.75/1258.03 c #Conflicts: 492000 | #Constraints: 21782
1254.75/1258.03 c #Conflicts: 493000 | #Constraints: 22782
1254.75/1258.03 c #Conflicts: 494000 | #Constraints: 23782
1254.75/1258.03 c #Conflicts: 495000 | #Constraints: 24782
1254.75/1258.03 c #Conflicts: 496000 | #Constraints: 25782
1254.75/1258.03 c #Conflicts: 497000 | #Constraints: 26782
1254.75/1258.03 c #Conflicts: 498000 | #Constraints: 27782
1254.75/1258.03 c #Conflicts: 499000 | #Constraints: 28782
1254.75/1258.03 c #Conflicts: 500000 | #Constraints: 29782
1254.75/1258.03 c #Conflicts: 501000 | #Constraints: 30782
1254.75/1258.03 c #Conflicts: 502000 | #Constraints: 31782
1254.75/1258.03 c INPROCESSING
1254.75/1258.03 c GARBAGE COLLECT
1254.75/1258.03 c #Conflicts: 503000 | #Constraints: 18774
1254.75/1258.03 c #Conflicts: 504000 | #Constraints: 19774
1254.75/1258.03 c #Conflicts: 505000 | #Constraints: 20774
1254.75/1258.03 c #Conflicts: 506000 | #Constraints: 21774
1254.75/1258.03 c #Conflicts: 507000 | #Constraints: 22774
1254.75/1258.03 c #Conflicts: 508000 | #Constraints: 23774
1254.75/1258.03 c #Conflicts: 509000 | #Constraints: 24774
1254.75/1258.03 c #Conflicts: 510000 | #Constraints: 25774
1254.75/1258.03 c #Conflicts: 511000 | #Constraints: 26774
1254.75/1258.03 c #Conflicts: 512000 | #Constraints: 27774
1254.75/1258.03 c #Conflicts: 513000 | #Constraints: 28774
1254.75/1258.03 c #Conflicts: 514000 | #Constraints: 29774
1254.75/1258.03 c #Conflicts: 515000 | #Constraints: 30774
1254.75/1258.03 c #Conflicts: 516000 | #Constraints: 31774
1254.75/1258.03 c INPROCESSING
1254.75/1258.03 c GARBAGE COLLECT
1254.75/1258.03 c #Conflicts: 517000 | #Constraints: 18569
1254.75/1258.03 c #Conflicts: 518000 | #Constraints: 19569
1490.44/1494.30 c #Conflicts: 519000 | #Constraints: 20569
1490.44/1494.30 c #Conflicts: 520000 | #Constraints: 21569
1490.44/1494.30 c #Conflicts: 521000 | #Constraints: 22569
1490.44/1494.30 c #Conflicts: 522000 | #Constraints: 23569
1490.44/1494.30 c #Conflicts: 523000 | #Constraints: 24569
1490.44/1494.30 c #Conflicts: 524000 | #Constraints: 25569
1490.44/1494.30 c #Conflicts: 525000 | #Constraints: 26569
1490.44/1494.30 c #Conflicts: 526000 | #Constraints: 27569
1490.44/1494.30 c #Conflicts: 527000 | #Constraints: 28569
1490.44/1494.30 c #Conflicts: 528000 | #Constraints: 29569
1490.44/1494.30 c #Conflicts: 529000 | #Constraints: 30569
1490.44/1494.30 c #Conflicts: 530000 | #Constraints: 31569
1490.44/1494.30 c #Conflicts: 531000 | #Constraints: 32569
1490.44/1494.30 c INPROCESSING
1490.44/1494.30 c GARBAGE COLLECT
1490.44/1494.30 c #Conflicts: 532000 | #Constraints: 19171
1490.44/1494.30 c #Conflicts: 533000 | #Constraints: 20171
1490.44/1494.30 c #Conflicts: 534000 | #Constraints: 21171
1490.44/1494.30 c #Conflicts: 535000 | #Constraints: 22171
1490.44/1494.30 c #Conflicts: 536000 | #Constraints: 23171
1490.44/1494.30 c #Conflicts: 537000 | #Constraints: 24171
1490.44/1494.30 c #Conflicts: 538000 | #Constraints: 25171
1490.44/1494.30 c #Conflicts: 539000 | #Constraints: 26171
1490.44/1494.30 c #Conflicts: 540000 | #Constraints: 27171
1490.44/1494.30 c #Conflicts: 541000 | #Constraints: 28171
1490.44/1494.30 c #Conflicts: 542000 | #Constraints: 29171
1490.44/1494.30 c #Conflicts: 543000 | #Constraints: 30171
1490.44/1494.30 c #Conflicts: 544000 | #Constraints: 31171
1490.44/1494.30 c #Conflicts: 545000 | #Constraints: 32171
1490.44/1494.30 c #Conflicts: 546000 | #Constraints: 33171
1490.44/1494.30 c INPROCESSING
1490.44/1494.30 c GARBAGE COLLECT
1490.44/1494.30 c #Conflicts: 547000 | #Constraints: 19567
1490.44/1494.30 c #Conflicts: 548000 | #Constraints: 20567
1490.44/1494.30 c #Conflicts: 549000 | #Constraints: 21567
1490.44/1494.30 c #Conflicts: 550000 | #Constraints: 22567
1490.44/1494.30 c #Conflicts: 551000 | #Constraints: 23567
1490.44/1494.30 c #Conflicts: 552000 | #Constraints: 24567
1490.44/1494.30 c #Conflicts: 553000 | #Constraints: 25567
1490.44/1494.30 c #Conflicts: 554000 | #Constraints: 26567
1490.44/1494.30 c #Conflicts: 555000 | #Constraints: 27567
1490.44/1494.30 c #Conflicts: 556000 | #Constraints: 28567
1490.44/1494.30 c #Conflicts: 557000 | #Constraints: 29567
1490.44/1494.30 c #Conflicts: 558000 | #Constraints: 30567
1490.44/1494.30 c #Conflicts: 559000 | #Constraints: 31567
1490.44/1494.30 c #Conflicts: 560000 | #Constraints: 32567
1490.44/1494.30 c #Conflicts: 561000 | #Constraints: 33567
1490.44/1494.30 c INPROCESSING
1490.44/1494.30 c GARBAGE COLLECT
1490.44/1494.30 c #Conflicts: 562000 | #Constraints: 19770
1490.44/1494.30 c #Conflicts: 563000 | #Constraints: 20770
1490.44/1494.30 c #Conflicts: 564000 | #Constraints: 21770
1490.44/1494.30 c #Conflicts: 565000 | #Constraints: 22770
1490.44/1494.30 c #Conflicts: 566000 | #Constraints: 23770
1490.44/1494.30 c #Conflicts: 567000 | #Constraints: 24770
1490.44/1494.30 c #Conflicts: 568000 | #Constraints: 25770
1490.44/1494.30 c #Conflicts: 569000 | #Constraints: 26770
1490.44/1494.30 c #Conflicts: 570000 | #Constraints: 27770
1490.44/1494.30 c #Conflicts: 571000 | #Constraints: 28770
1490.44/1494.30 c #Conflicts: 572000 | #Constraints: 29770
1490.44/1494.30 c #Conflicts: 573000 | #Constraints: 30770
1490.44/1494.30 c #Conflicts: 574000 | #Constraints: 31770
1490.44/1494.30 c #Conflicts: 575000 | #Constraints: 32770
1490.44/1494.30 c #Conflicts: 576000 | #Constraints: 33770
1490.44/1494.30 c INPROCESSING
1490.44/1494.30 c GARBAGE COLLECT
1490.44/1494.30 c #Conflicts: 577000 | #Constraints: 19776
1490.44/1494.30 c #Conflicts: 578000 | #Constraints: 20776
1490.44/1494.30 c #Conflicts: 579000 | #Constraints: 21776
1490.44/1494.30 c #Conflicts: 580000 | #Constraints: 22776
1490.44/1494.30 c #Conflicts: 581000 | #Constraints: 23776
1490.44/1494.30 c #Conflicts: 582000 | #Constraints: 24776
1490.44/1494.30 c #Conflicts: 583000 | #Constraints: 25776
1490.44/1494.30 c #Conflicts: 584000 | #Constraints: 26776
1490.44/1494.30 c #Conflicts: 585000 | #Constraints: 27776
1490.44/1494.30 c #Conflicts: 586000 | #Constraints: 28776
1490.44/1494.30 c #Conflicts: 587000 | #Constraints: 29776
1490.44/1494.30 c #Conflicts: 588000 | #Constraints: 30776
1490.44/1494.30 c #Conflicts: 589000 | #Constraints: 31776
1490.44/1494.30 c #Conflicts: 590000 | #Constraints: 32776
1490.44/1494.30 c #Conflicts: 591000 | #Constraints: 33776
1490.44/1494.30 c INPROCESSING
1490.44/1494.30 c GARBAGE COLLECT
1490.44/1494.30 c #Conflicts: 592000 | #Constraints: 19575
1490.44/1494.30 c #Conflicts: 593000 | #Constraints: 20575
1735.83/1740.36 c #Conflicts: 594000 | #Constraints: 21575
1735.83/1740.36 c #Conflicts: 595000 | #Constraints: 22575
1735.83/1740.36 c #Conflicts: 596000 | #Constraints: 23575
1735.83/1740.36 c #Conflicts: 597000 | #Constraints: 24575
1735.83/1740.36 c #Conflicts: 598000 | #Constraints: 25575
1735.83/1740.36 c #Conflicts: 599000 | #Constraints: 26575
1735.83/1740.36 c #Conflicts: 600000 | #Constraints: 27575
1735.83/1740.36 c #Conflicts: 601000 | #Constraints: 28575
1735.83/1740.36 c #Conflicts: 602000 | #Constraints: 29575
1735.83/1740.36 c #Conflicts: 603000 | #Constraints: 30575
1735.83/1740.36 c #Conflicts: 604000 | #Constraints: 31575
1735.83/1740.36 c #Conflicts: 605000 | #Constraints: 32575
1735.83/1740.36 c #Conflicts: 606000 | #Constraints: 33575
1735.83/1740.36 c #Conflicts: 607000 | #Constraints: 34575
1735.83/1740.36 c INPROCESSING
1735.83/1740.36 c GARBAGE COLLECT
1735.83/1740.36 c #Conflicts: 608000 | #Constraints: 20176
1735.83/1740.36 c #Conflicts: 609000 | #Constraints: 21176
1735.83/1740.36 c #Conflicts: 610000 | #Constraints: 22176
1735.83/1740.36 c #Conflicts: 611000 | #Constraints: 23176
1735.83/1740.36 c #Conflicts: 612000 | #Constraints: 24176
1735.83/1740.36 c #Conflicts: 613000 | #Constraints: 25176
1735.83/1740.36 c #Conflicts: 614000 | #Constraints: 26176
1735.83/1740.36 c #Conflicts: 615000 | #Constraints: 27176
1735.83/1740.36 c #Conflicts: 616000 | #Constraints: 28176
1735.83/1740.36 c #Conflicts: 617000 | #Constraints: 29176
1735.83/1740.36 c #Conflicts: 618000 | #Constraints: 30176
1735.83/1740.36 c #Conflicts: 619000 | #Constraints: 31176
1735.83/1740.36 c #Conflicts: 620000 | #Constraints: 32176
1735.83/1740.36 c #Conflicts: 621000 | #Constraints: 33176
1735.83/1740.36 c #Conflicts: 622000 | #Constraints: 34176
1735.83/1740.36 c #Conflicts: 623000 | #Constraints: 35176
1735.83/1740.36 c INPROCESSING
1735.83/1740.36 c GARBAGE COLLECT
1735.83/1740.36 c #Conflicts: 624000 | #Constraints: 20576
1735.83/1740.36 c #Conflicts: 625000 | #Constraints: 21576
1735.83/1740.36 c #Conflicts: 626000 | #Constraints: 22576
1735.83/1740.36 c #Conflicts: 627000 | #Constraints: 23576
1735.83/1740.36 c #Conflicts: 628000 | #Constraints: 24576
1735.83/1740.36 c #Conflicts: 629000 | #Constraints: 25576
1735.83/1740.36 c #Conflicts: 630000 | #Constraints: 26576
1735.83/1740.36 c #Conflicts: 631000 | #Constraints: 27576
1735.83/1740.36 c #Conflicts: 632000 | #Constraints: 28576
1735.83/1740.36 c #Conflicts: 633000 | #Constraints: 29576
1735.83/1740.36 c #Conflicts: 634000 | #Constraints: 30576
1735.83/1740.36 c #Conflicts: 635000 | #Constraints: 31576
1735.83/1740.36 c #Conflicts: 636000 | #Constraints: 32576
1735.83/1740.36 c #Conflicts: 637000 | #Constraints: 33576
1735.83/1740.36 c #Conflicts: 638000 | #Constraints: 34576
1735.83/1740.36 c #Conflicts: 639000 | #Constraints: 35576
1735.83/1740.36 c INPROCESSING
1735.83/1740.36 c GARBAGE COLLECT
1735.83/1740.36 c #Conflicts: 640000 | #Constraints: 20773
1735.83/1740.36 c #Conflicts: 641000 | #Constraints: 21773
1735.83/1740.36 c #Conflicts: 642000 | #Constraints: 22773
1735.83/1740.36 c #Conflicts: 643000 | #Constraints: 23773
1735.83/1740.36 c #Conflicts: 644000 | #Constraints: 24773
1735.83/1740.36 c #Conflicts: 645000 | #Constraints: 25773
1735.83/1740.36 c #Conflicts: 646000 | #Constraints: 26773
1735.83/1740.36 c #Conflicts: 647000 | #Constraints: 27773
1735.83/1740.36 c #Conflicts: 648000 | #Constraints: 28773
1735.83/1740.36 c #Conflicts: 649000 | #Constraints: 29773
1735.83/1740.36 c #Conflicts: 650000 | #Constraints: 30773
1735.83/1740.36 c #Conflicts: 651000 | #Constraints: 31773
1735.83/1740.36 c #Conflicts: 652000 | #Constraints: 32773
1735.83/1740.36 c #Conflicts: 653000 | #Constraints: 33773
1735.83/1740.36 c #Conflicts: 654000 | #Constraints: 34773
1735.83/1740.36 c #Conflicts: 655000 | #Constraints: 35773
1735.83/1740.36 c INPROCESSING
1735.83/1740.36 c GARBAGE COLLECT
1735.83/1740.36 c #Conflicts: 656000 | #Constraints: 20776
1735.83/1740.36 c #Conflicts: 657000 | #Constraints: 21776
1735.83/1740.36 c #Conflicts: 658000 | #Constraints: 22776
1735.83/1740.36 c #Conflicts: 659000 | #Constraints: 23776
1735.83/1740.36 c #Conflicts: 660000 | #Constraints: 24776
1735.83/1740.36 c #Conflicts: 661000 | #Constraints: 25776
1735.83/1740.36 c #Conflicts: 662000 | #Constraints: 26776
1735.83/1740.36 c #Conflicts: 663000 | #Constraints: 27776
1735.83/1740.36 c #Conflicts: 664000 | #Constraints: 28776
1735.83/1740.36 c #Conflicts: 665000 | #Constraints: 29776
1735.83/1740.36 c #Conflicts: 666000 | #Constraints: 30776
1735.83/1740.36 c #Conflicts: 667000 | #Constraints: 31776
1735.83/1740.36 c #Conflicts: 668000 | #Constraints: 32776
1735.83/1740.36 c #Conflicts: 669000 | #Constraints: 33776
1735.83/1740.36 c #Conflicts: 670000 | #Constraints: 34776
1970.43/1975.55 c #Conflicts: 671000 | #Constraints: 35776
1970.43/1975.55 c INPROCESSING
1970.43/1975.55 c GARBAGE COLLECT
1970.43/1975.55 c #Conflicts: 672000 | #Constraints: 20572
1970.43/1975.55 c #Conflicts: 673000 | #Constraints: 21572
1970.43/1975.55 c #Conflicts: 674000 | #Constraints: 22572
1970.43/1975.55 c #Conflicts: 675000 | #Constraints: 23572
1970.43/1975.55 c #Conflicts: 676000 | #Constraints: 24572
1970.43/1975.55 c #Conflicts: 677000 | #Constraints: 25572
1970.43/1975.55 c #Conflicts: 678000 | #Constraints: 26572
1970.43/1975.55 c #Conflicts: 679000 | #Constraints: 27572
1970.43/1975.55 c #Conflicts: 680000 | #Constraints: 28572
1970.43/1975.55 c #Conflicts: 681000 | #Constraints: 29572
1970.43/1975.55 c #Conflicts: 682000 | #Constraints: 30572
1970.43/1975.55 c #Conflicts: 683000 | #Constraints: 31572
1970.43/1975.55 c #Conflicts: 684000 | #Constraints: 32572
1970.43/1975.55 c #Conflicts: 685000 | #Constraints: 33572
1970.43/1975.55 c #Conflicts: 686000 | #Constraints: 34572
1970.43/1975.55 c #Conflicts: 687000 | #Constraints: 35572
1970.43/1975.55 c #Conflicts: 688000 | #Constraints: 36572
1970.43/1975.55 c INPROCESSING
1970.43/1975.55 c GARBAGE COLLECT
1970.43/1975.55 c #Conflicts: 689000 | #Constraints: 21168
1970.43/1975.55 c #Conflicts: 690000 | #Constraints: 22168
1970.43/1975.55 c #Conflicts: 691000 | #Constraints: 23168
1970.43/1975.55 c #Conflicts: 692000 | #Constraints: 24168
1970.43/1975.55 c #Conflicts: 693000 | #Constraints: 25168
1970.43/1975.55 c #Conflicts: 694000 | #Constraints: 26168
1970.43/1975.55 c #Conflicts: 695000 | #Constraints: 27168
1970.43/1975.55 c #Conflicts: 696000 | #Constraints: 28168
1970.43/1975.55 c #Conflicts: 697000 | #Constraints: 29168
1970.43/1975.55 c #Conflicts: 698000 | #Constraints: 30168
1970.43/1975.55 c #Conflicts: 699000 | #Constraints: 31168
1970.43/1975.55 c #Conflicts: 700000 | #Constraints: 32168
1970.43/1975.55 c #Conflicts: 701000 | #Constraints: 33168
1970.43/1975.55 c #Conflicts: 702000 | #Constraints: 34168
1970.43/1975.55 c #Conflicts: 703000 | #Constraints: 35168
1970.43/1975.55 c #Conflicts: 704000 | #Constraints: 36168
1970.43/1975.55 c #Conflicts: 705000 | #Constraints: 37168
1970.43/1975.55 c INPROCESSING
1970.43/1975.55 c GARBAGE COLLECT
1970.43/1975.55 c #Conflicts: 706000 | #Constraints: 21571
1970.43/1975.55 c #Conflicts: 707000 | #Constraints: 22571
1970.43/1975.55 c #Conflicts: 708000 | #Constraints: 23571
1970.43/1975.55 c #Conflicts: 709000 | #Constraints: 24571
1970.43/1975.55 c #Conflicts: 710000 | #Constraints: 25571
1970.43/1975.55 c #Conflicts: 711000 | #Constraints: 26571
1970.43/1975.55 c #Conflicts: 712000 | #Constraints: 27571
1970.43/1975.55 c #Conflicts: 713000 | #Constraints: 28571
1970.43/1975.55 c #Conflicts: 714000 | #Constraints: 29571
1970.43/1975.55 c #Conflicts: 715000 | #Constraints: 30571
1970.43/1975.55 c #Conflicts: 716000 | #Constraints: 31571
1970.43/1975.55 c #Conflicts: 717000 | #Constraints: 32571
1970.43/1975.55 c #Conflicts: 718000 | #Constraints: 33571
1970.43/1975.55 c #Conflicts: 719000 | #Constraints: 34571
1970.43/1975.55 c #Conflicts: 720000 | #Constraints: 35571
1970.43/1975.55 c #Conflicts: 721000 | #Constraints: 36571
1970.43/1975.55 c #Conflicts: 722000 | #Constraints: 37571
1970.43/1975.55 c INPROCESSING
1970.43/1975.55 c GARBAGE COLLECT
1970.43/1975.55 c #Conflicts: 723000 | #Constraints: 21778
1970.43/1975.55 c #Conflicts: 724000 | #Constraints: 22778
1970.43/1975.55 c #Conflicts: 725000 | #Constraints: 23778
1970.43/1975.55 c #Conflicts: 726000 | #Constraints: 24778
1970.43/1975.55 c #Conflicts: 727000 | #Constraints: 25778
1970.43/1975.55 c #Conflicts: 728000 | #Constraints: 26778
1970.43/1975.55 c #Conflicts: 729000 | #Constraints: 27778
1970.43/1975.55 c #Conflicts: 730000 | #Constraints: 28778
1970.43/1975.55 c #Conflicts: 731000 | #Constraints: 29778
1970.43/1975.55 c #Conflicts: 732000 | #Constraints: 30778
1970.43/1975.55 c #Conflicts: 733000 | #Constraints: 31778
1970.43/1975.55 c #Conflicts: 734000 | #Constraints: 32778
1970.43/1975.55 c #Conflicts: 735000 | #Constraints: 33778
1970.43/1975.55 c #Conflicts: 736000 | #Constraints: 34778
1970.43/1975.55 c #Conflicts: 737000 | #Constraints: 35778
1970.43/1975.55 c #Conflicts: 738000 | #Constraints: 36778
1970.43/1975.55 c #Conflicts: 739000 | #Constraints: 37778
1970.43/1975.55 c INPROCESSING
1970.43/1975.55 c GARBAGE COLLECT
1970.43/1975.55 c #Conflicts: 740000 | #Constraints: 21775
1970.43/1975.55 c #Conflicts: 741000 | #Constraints: 22775
1970.43/1975.55 c #Conflicts: 742000 | #Constraints: 23775
1970.43/1975.55 c #Conflicts: 743000 | #Constraints: 24775
1970.43/1975.55 c #Conflicts: 744000 | #Constraints: 25775
1970.43/1975.55 c #Conflicts: 745000 | #Constraints: 26775
2256.67/2262.51 c #Conflicts: 746000 | #Constraints: 27775
2256.67/2262.51 c #Conflicts: 747000 | #Constraints: 28775
2256.67/2262.51 c #Conflicts: 748000 | #Constraints: 29775
2256.67/2262.51 c #Conflicts: 749000 | #Constraints: 30775
2256.67/2262.51 c #Conflicts: 750000 | #Constraints: 31775
2256.67/2262.51 c #Conflicts: 751000 | #Constraints: 32775
2256.67/2262.51 c #Conflicts: 752000 | #Constraints: 33775
2256.67/2262.51 c #Conflicts: 753000 | #Constraints: 34775
2256.67/2262.51 c #Conflicts: 754000 | #Constraints: 35775
2256.67/2262.51 c #Conflicts: 755000 | #Constraints: 36775
2256.67/2262.51 c #Conflicts: 756000 | #Constraints: 37775
2256.67/2262.51 c INPROCESSING
2256.67/2262.51 c GARBAGE COLLECT
2256.67/2262.51 c #Conflicts: 757000 | #Constraints: 21587
2256.67/2262.51 c #Conflicts: 758000 | #Constraints: 22587
2256.67/2262.51 c #Conflicts: 759000 | #Constraints: 23587
2256.67/2262.51 c #Conflicts: 760000 | #Constraints: 24587
2256.67/2262.51 c #Conflicts: 761000 | #Constraints: 25587
2256.67/2262.51 c #Conflicts: 762000 | #Constraints: 26587
2256.67/2262.51 c #Conflicts: 763000 | #Constraints: 27587
2256.67/2262.51 c #Conflicts: 764000 | #Constraints: 28587
2256.67/2262.51 c #Conflicts: 765000 | #Constraints: 29587
2256.67/2262.51 c #Conflicts: 766000 | #Constraints: 30587
2256.67/2262.51 c #Conflicts: 767000 | #Constraints: 31587
2256.67/2262.51 c #Conflicts: 768000 | #Constraints: 32587
2256.67/2262.51 c #Conflicts: 769000 | #Constraints: 33587
2256.67/2262.51 c #Conflicts: 770000 | #Constraints: 34587
2256.67/2262.51 c #Conflicts: 771000 | #Constraints: 35587
2256.67/2262.51 c #Conflicts: 772000 | #Constraints: 36587
2256.67/2262.51 c #Conflicts: 773000 | #Constraints: 37587
2256.67/2262.51 c #Conflicts: 774000 | #Constraints: 38587
2256.67/2262.51 c INPROCESSING
2256.67/2262.51 c GARBAGE COLLECT
2256.67/2262.51 c #Conflicts: 775000 | #Constraints: 22183
2256.67/2262.51 c #Conflicts: 776000 | #Constraints: 23183
2256.67/2262.51 c #Conflicts: 777000 | #Constraints: 24183
2256.67/2262.51 c #Conflicts: 778000 | #Constraints: 25183
2256.67/2262.51 c #Conflicts: 779000 | #Constraints: 26183
2256.67/2262.51 c #Conflicts: 780000 | #Constraints: 27183
2256.67/2262.51 c #Conflicts: 781000 | #Constraints: 28183
2256.67/2262.51 c #Conflicts: 782000 | #Constraints: 29183
2256.67/2262.51 c #Conflicts: 783000 | #Constraints: 30183
2256.67/2262.51 c #Conflicts: 784000 | #Constraints: 31183
2256.67/2262.51 c #Conflicts: 785000 | #Constraints: 32183
2256.67/2262.51 c #Conflicts: 786000 | #Constraints: 33183
2256.67/2262.51 c #Conflicts: 787000 | #Constraints: 34183
2256.67/2262.51 c #Conflicts: 788000 | #Constraints: 35183
2256.67/2262.51 c #Conflicts: 789000 | #Constraints: 36183
2256.67/2262.51 c #Conflicts: 790000 | #Constraints: 37183
2256.67/2262.51 c #Conflicts: 791000 | #Constraints: 38183
2256.67/2262.51 c #Conflicts: 792000 | #Constraints: 39183
2256.67/2262.51 c INPROCESSING
2256.67/2262.51 c GARBAGE COLLECT
2256.67/2262.51 c #Conflicts: 793000 | #Constraints: 22585
2256.67/2262.51 c #Conflicts: 794000 | #Constraints: 23585
2256.67/2262.51 c #Conflicts: 795000 | #Constraints: 24585
2256.67/2262.51 c #Conflicts: 796000 | #Constraints: 25585
2256.67/2262.51 c #Conflicts: 797000 | #Constraints: 26585
2256.67/2262.51 c #Conflicts: 798000 | #Constraints: 27585
2256.67/2262.51 c #Conflicts: 799000 | #Constraints: 28585
2256.67/2262.51 c #Conflicts: 800000 | #Constraints: 29585
2256.67/2262.51 c #Conflicts: 801000 | #Constraints: 30585
2256.67/2262.51 c #Conflicts: 802000 | #Constraints: 31585
2256.67/2262.51 c #Conflicts: 803000 | #Constraints: 32585
2256.67/2262.51 c #Conflicts: 804000 | #Constraints: 33585
2256.67/2262.51 c #Conflicts: 805000 | #Constraints: 34585
2256.67/2262.51 c #Conflicts: 806000 | #Constraints: 35585
2256.67/2262.51 c #Conflicts: 807000 | #Constraints: 36585
2256.67/2262.51 c #Conflicts: 808000 | #Constraints: 37585
2256.67/2262.51 c #Conflicts: 809000 | #Constraints: 38585
2256.67/2262.51 c #Conflicts: 810000 | #Constraints: 39585
2256.67/2262.51 c INPROCESSING
2256.67/2262.51 c GARBAGE COLLECT
2256.67/2262.51 c #Conflicts: 811000 | #Constraints: 22787
2256.67/2262.51 c #Conflicts: 812000 | #Constraints: 23787
2256.67/2262.51 c #Conflicts: 813000 | #Constraints: 24787
2256.67/2262.51 c #Conflicts: 814000 | #Constraints: 25787
2256.67/2262.51 c #Conflicts: 815000 | #Constraints: 26787
2256.67/2262.51 c #Conflicts: 816000 | #Constraints: 27787
2256.67/2262.51 c #Conflicts: 817000 | #Constraints: 28787
2256.67/2262.51 c #Conflicts: 818000 | #Constraints: 29787
2256.67/2262.51 c #Conflicts: 819000 | #Constraints: 30787
2256.67/2262.51 c #Conflicts: 820000 | #Constraints: 31787
2256.67/2262.51 c #Conflicts: 821000 | #Constraints: 32787
2540.80/2547.50 c #Conflicts: 822000 | #Constraints: 33787
2540.80/2547.50 c #Conflicts: 823000 | #Constraints: 34787
2540.80/2547.50 c #Conflicts: 824000 | #Constraints: 35787
2540.80/2547.50 c #Conflicts: 825000 | #Constraints: 36787
2540.80/2547.50 c #Conflicts: 826000 | #Constraints: 37787
2540.80/2547.50 c #Conflicts: 827000 | #Constraints: 38787
2540.80/2547.50 c #Conflicts: 828000 | #Constraints: 39787
2540.80/2547.50 c INPROCESSING
2540.80/2547.50 c GARBAGE COLLECT
2540.80/2547.50 c #Conflicts: 829000 | #Constraints: 22787
2540.80/2547.50 c #Conflicts: 830000 | #Constraints: 23787
2540.80/2547.50 c #Conflicts: 831000 | #Constraints: 24787
2540.80/2547.50 c #Conflicts: 832000 | #Constraints: 25787
2540.80/2547.50 c #Conflicts: 833000 | #Constraints: 26787
2540.80/2547.50 c #Conflicts: 834000 | #Constraints: 27787
2540.80/2547.50 c #Conflicts: 835000 | #Constraints: 28787
2540.80/2547.50 c #Conflicts: 836000 | #Constraints: 29787
2540.80/2547.50 c #Conflicts: 837000 | #Constraints: 30787
2540.80/2547.50 c #Conflicts: 838000 | #Constraints: 31787
2540.80/2547.50 c #Conflicts: 839000 | #Constraints: 32787
2540.80/2547.50 c #Conflicts: 840000 | #Constraints: 33787
2540.80/2547.50 c #Conflicts: 841000 | #Constraints: 34787
2540.80/2547.50 c #Conflicts: 842000 | #Constraints: 35787
2540.80/2547.50 c #Conflicts: 843000 | #Constraints: 36787
2540.80/2547.50 c #Conflicts: 844000 | #Constraints: 37787
2540.80/2547.50 c #Conflicts: 845000 | #Constraints: 38787
2540.80/2547.50 c #Conflicts: 846000 | #Constraints: 39787
2540.80/2547.50 c INPROCESSING
2540.80/2547.50 c GARBAGE COLLECT
2540.80/2547.50 c #Conflicts: 847000 | #Constraints: 22581
2540.80/2547.50 c #Conflicts: 848000 | #Constraints: 23581
2540.80/2547.50 c #Conflicts: 849000 | #Constraints: 24581
2540.80/2547.50 c #Conflicts: 850000 | #Constraints: 25581
2540.80/2547.50 c #Conflicts: 851000 | #Constraints: 26581
2540.80/2547.50 c #Conflicts: 852000 | #Constraints: 27581
2540.80/2547.50 c #Conflicts: 853000 | #Constraints: 28581
2540.80/2547.50 c #Conflicts: 854000 | #Constraints: 29581
2540.80/2547.50 c #Conflicts: 855000 | #Constraints: 30581
2540.80/2547.50 c #Conflicts: 856000 | #Constraints: 31581
2540.80/2547.50 c #Conflicts: 857000 | #Constraints: 32581
2540.80/2547.50 c #Conflicts: 858000 | #Constraints: 33581
2540.80/2547.50 c #Conflicts: 859000 | #Constraints: 34581
2540.80/2547.50 c #Conflicts: 860000 | #Constraints: 35581
2540.80/2547.50 c #Conflicts: 861000 | #Constraints: 36581
2540.80/2547.50 c #Conflicts: 862000 | #Constraints: 37581
2540.80/2547.50 c #Conflicts: 863000 | #Constraints: 38581
2540.80/2547.50 c #Conflicts: 864000 | #Constraints: 39581
2540.80/2547.50 c #Conflicts: 865000 | #Constraints: 40581
2540.80/2547.50 c INPROCESSING
2540.80/2547.50 c GARBAGE COLLECT
2540.80/2547.50 c #Conflicts: 866000 | #Constraints: 23186
2540.80/2547.50 c #Conflicts: 867000 | #Constraints: 24186
2540.80/2547.50 c #Conflicts: 868000 | #Constraints: 25186
2540.80/2547.50 c #Conflicts: 869000 | #Constraints: 26186
2540.80/2547.50 c #Conflicts: 870000 | #Constraints: 27186
2540.80/2547.50 c #Conflicts: 871000 | #Constraints: 28186
2540.80/2547.50 c #Conflicts: 872000 | #Constraints: 29186
2540.80/2547.50 c #Conflicts: 873000 | #Constraints: 30186
2540.80/2547.50 c #Conflicts: 874000 | #Constraints: 31186
2540.80/2547.50 c #Conflicts: 875000 | #Constraints: 32186
2540.80/2547.50 c #Conflicts: 876000 | #Constraints: 33186
2540.80/2547.50 c #Conflicts: 877000 | #Constraints: 34186
2540.80/2547.50 c #Conflicts: 878000 | #Constraints: 35186
2540.80/2547.50 c #Conflicts: 879000 | #Constraints: 36186
2540.80/2547.50 c #Conflicts: 880000 | #Constraints: 37186
2540.80/2547.50 c #Conflicts: 881000 | #Constraints: 38186
2540.80/2547.50 c #Conflicts: 882000 | #Constraints: 39186
2540.80/2547.50 c #Conflicts: 883000 | #Constraints: 40186
2540.80/2547.50 c #Conflicts: 884000 | #Constraints: 41186
2540.80/2547.50 c INPROCESSING
2540.80/2547.50 c GARBAGE COLLECT
2540.80/2547.50 c #Conflicts: 885000 | #Constraints: 23590
2540.80/2547.50 c #Conflicts: 886000 | #Constraints: 24590
2540.80/2547.50 c #Conflicts: 887000 | #Constraints: 25590
2540.80/2547.50 c #Conflicts: 888000 | #Constraints: 26590
2540.80/2547.50 c #Conflicts: 889000 | #Constraints: 27590
2540.80/2547.50 c #Conflicts: 890000 | #Constraints: 28590
2540.80/2547.50 c #Conflicts: 891000 | #Constraints: 29590
2540.80/2547.50 c #Conflicts: 892000 | #Constraints: 30590
2540.80/2547.50 c #Conflicts: 893000 | #Constraints: 31590
2540.80/2547.50 c #Conflicts: 894000 | #Constraints: 32590
2540.80/2547.50 c #Conflicts: 895000 | #Constraints: 33590
2540.80/2547.50 c #Conflicts: 896000 | #Constraints: 34590
2540.80/2547.50 c #Conflicts: 897000 | #Constraints: 35590
2540.80/2547.50 c #Conflicts: 898000 | #Constraints: 36590
2785.55/2793.09 c #Conflicts: 899000 | #Constraints: 37590
2785.55/2793.09 c #Conflicts: 900000 | #Constraints: 38590
2785.55/2793.09 c #Conflicts: 901000 | #Constraints: 39590
2785.55/2793.09 c #Conflicts: 902000 | #Constraints: 40590
2785.55/2793.09 c #Conflicts: 903000 | #Constraints: 41590
2785.55/2793.09 c INPROCESSING
2785.55/2793.09 c GARBAGE COLLECT
2785.55/2793.09 c #Conflicts: 904000 | #Constraints: 23787
2785.55/2793.09 c #Conflicts: 905000 | #Constraints: 24787
2785.55/2793.09 c #Conflicts: 906000 | #Constraints: 25787
2785.55/2793.09 c #Conflicts: 907000 | #Constraints: 26787
2785.55/2793.09 c #Conflicts: 908000 | #Constraints: 27787
2785.55/2793.09 c #Conflicts: 909000 | #Constraints: 28787
2785.55/2793.09 c #Conflicts: 910000 | #Constraints: 29787
2785.55/2793.09 c #Conflicts: 911000 | #Constraints: 30787
2785.55/2793.09 c #Conflicts: 912000 | #Constraints: 31787
2785.55/2793.09 c #Conflicts: 913000 | #Constraints: 32787
2785.55/2793.09 c #Conflicts: 914000 | #Constraints: 33787
2785.55/2793.09 c #Conflicts: 915000 | #Constraints: 34787
2785.55/2793.09 c #Conflicts: 916000 | #Constraints: 35787
2785.55/2793.09 c #Conflicts: 917000 | #Constraints: 36787
2785.55/2793.09 c #Conflicts: 918000 | #Constraints: 37787
2785.55/2793.09 c #Conflicts: 919000 | #Constraints: 38787
2785.55/2793.09 c #Conflicts: 920000 | #Constraints: 39787
2785.55/2793.09 c #Conflicts: 921000 | #Constraints: 40787
2785.55/2793.09 c #Conflicts: 922000 | #Constraints: 41787
2785.55/2793.09 c INPROCESSING
2785.55/2793.09 c GARBAGE COLLECT
2785.55/2793.09 c #Conflicts: 923000 | #Constraints: 23784
2785.55/2793.09 c #Conflicts: 924000 | #Constraints: 24784
2785.55/2793.09 c #Conflicts: 925000 | #Constraints: 25784
2785.55/2793.09 c #Conflicts: 926000 | #Constraints: 26784
2785.55/2793.09 c #Conflicts: 927000 | #Constraints: 27784
2785.55/2793.09 c #Conflicts: 928000 | #Constraints: 28784
2785.55/2793.09 c #Conflicts: 929000 | #Constraints: 29784
2785.55/2793.09 c #Conflicts: 930000 | #Constraints: 30784
2785.55/2793.09 c #Conflicts: 931000 | #Constraints: 31784
2785.55/2793.09 c #Conflicts: 932000 | #Constraints: 32784
2785.55/2793.09 c #Conflicts: 933000 | #Constraints: 33784
2785.55/2793.09 c #Conflicts: 934000 | #Constraints: 34784
2785.55/2793.09 c #Conflicts: 935000 | #Constraints: 35784
2785.55/2793.09 c #Conflicts: 936000 | #Constraints: 36784
2785.55/2793.09 c #Conflicts: 937000 | #Constraints: 37784
2785.55/2793.09 c #Conflicts: 938000 | #Constraints: 38784
2785.55/2793.09 c #Conflicts: 939000 | #Constraints: 39784
2785.55/2793.09 c #Conflicts: 940000 | #Constraints: 40784
2785.55/2793.09 c #Conflicts: 941000 | #Constraints: 41784
2785.55/2793.09 c INPROCESSING
2785.55/2793.09 c GARBAGE COLLECT
2785.55/2793.09 c #Conflicts: 942000 | #Constraints: 23587
2785.55/2793.09 c #Conflicts: 943000 | #Constraints: 24587
2785.55/2793.09 c #Conflicts: 944000 | #Constraints: 25587
2785.55/2793.09 c #Conflicts: 945000 | #Constraints: 26587
2785.55/2793.09 c #Conflicts: 946000 | #Constraints: 27587
2785.55/2793.09 c #Conflicts: 947000 | #Constraints: 28587
2785.55/2793.09 c #Conflicts: 948000 | #Constraints: 29587
2785.55/2793.09 c #Conflicts: 949000 | #Constraints: 30587
2785.55/2793.09 c #Conflicts: 950000 | #Constraints: 31587
2785.55/2793.09 c #Conflicts: 951000 | #Constraints: 32587
2785.55/2793.09 c #Conflicts: 952000 | #Constraints: 33587
2785.55/2793.09 c #Conflicts: 953000 | #Constraints: 34587
2785.55/2793.09 c #Conflicts: 954000 | #Constraints: 35587
2785.55/2793.09 c #Conflicts: 955000 | #Constraints: 36587
2785.55/2793.09 c #Conflicts: 956000 | #Constraints: 37587
2785.55/2793.09 c bounds - >= 804 @ 2748.86
2785.55/2793.09 c #Conflicts: 957000 | #Constraints: 38588
2785.55/2793.09 c #Conflicts: 958000 | #Constraints: 39588
2785.55/2793.09 c #Conflicts: 959000 | #Constraints: 40588
2785.55/2793.09 c #Conflicts: 960000 | #Constraints: 41588
2785.55/2793.09 c #Conflicts: 961000 | #Constraints: 42588
2785.55/2793.09 c INPROCESSING
2785.55/2793.09 c GARBAGE COLLECT
2785.55/2793.09 c #Conflicts: 962000 | #Constraints: 24183
2785.55/2793.09 c #Conflicts: 963000 | #Constraints: 25183
2785.55/2793.09 c #Conflicts: 964000 | #Constraints: 26183
2785.55/2793.09 c #Conflicts: 965000 | #Constraints: 27183
2785.55/2793.09 c #Conflicts: 966000 | #Constraints: 28183
2785.55/2793.09 c #Conflicts: 967000 | #Constraints: 29183
2785.55/2793.09 c #Conflicts: 968000 | #Constraints: 30183
2785.55/2793.09 c #Conflicts: 969000 | #Constraints: 31183
2785.55/2793.09 c #Conflicts: 970000 | #Constraints: 32183
2785.55/2793.09 c #Conflicts: 971000 | #Constraints: 33183
2785.55/2793.09 c #Conflicts: 972000 | #Constraints: 34183
2785.55/2793.09 c #Conflicts: 973000 | #Constraints: 35183
3012.15/3020.39 c #Conflicts: 974000 | #Constraints: 36183
3012.15/3020.39 c #Conflicts: 975000 | #Constraints: 37183
3012.15/3020.39 c #Conflicts: 976000 | #Constraints: 38183
3012.15/3020.39 c #Conflicts: 977000 | #Constraints: 39183
3012.15/3020.39 c #Conflicts: 978000 | #Constraints: 40183
3012.15/3020.39 c #Conflicts: 979000 | #Constraints: 41183
3012.15/3020.39 c #Conflicts: 980000 | #Constraints: 42183
3012.15/3020.39 c #Conflicts: 981000 | #Constraints: 43183
3012.15/3020.39 c INPROCESSING
3012.15/3020.39 c GARBAGE COLLECT
3012.15/3020.39 c #Conflicts: 982000 | #Constraints: 24579
3012.15/3020.39 c #Conflicts: 983000 | #Constraints: 25579
3012.15/3020.39 c #Conflicts: 984000 | #Constraints: 26579
3012.15/3020.39 c #Conflicts: 985000 | #Constraints: 27579
3012.15/3020.39 c #Conflicts: 986000 | #Constraints: 28579
3012.15/3020.39 c #Conflicts: 987000 | #Constraints: 29579
3012.15/3020.39 c #Conflicts: 988000 | #Constraints: 30579
3012.15/3020.39 c #Conflicts: 989000 | #Constraints: 31579
3012.15/3020.39 c #Conflicts: 990000 | #Constraints: 32579
3012.15/3020.39 c #Conflicts: 991000 | #Constraints: 33579
3012.15/3020.39 c #Conflicts: 992000 | #Constraints: 34579
3012.15/3020.39 c #Conflicts: 993000 | #Constraints: 35579
3012.15/3020.39 c #Conflicts: 994000 | #Constraints: 36579
3012.15/3020.39 c #Conflicts: 995000 | #Constraints: 37579
3012.15/3020.39 c #Conflicts: 996000 | #Constraints: 38579
3012.15/3020.39 c #Conflicts: 997000 | #Constraints: 39579
3012.15/3020.39 c #Conflicts: 998000 | #Constraints: 40579
3012.15/3020.39 c #Conflicts: 999000 | #Constraints: 41579
3012.15/3020.39 c #Conflicts: 1000000 | #Constraints: 42579
3012.15/3020.39 c #Conflicts: 1001000 | #Constraints: 43579
3012.15/3020.39 c INPROCESSING
3012.15/3020.39 c GARBAGE COLLECT
3012.15/3020.39 c #Conflicts: 1002000 | #Constraints: 24781
3012.15/3020.39 c #Conflicts: 1003000 | #Constraints: 25781
3012.15/3020.39 c #Conflicts: 1004000 | #Constraints: 26781
3012.15/3020.39 c #Conflicts: 1005000 | #Constraints: 27781
3012.15/3020.39 c #Conflicts: 1006000 | #Constraints: 28781
3012.15/3020.39 c #Conflicts: 1007000 | #Constraints: 29781
3012.15/3020.39 c #Conflicts: 1008000 | #Constraints: 30781
3012.15/3020.39 c #Conflicts: 1009000 | #Constraints: 31781
3012.15/3020.39 c #Conflicts: 1010000 | #Constraints: 32781
3012.15/3020.39 c #Conflicts: 1011000 | #Constraints: 33781
3012.15/3020.39 c #Conflicts: 1012000 | #Constraints: 34781
3012.15/3020.39 c #Conflicts: 1013000 | #Constraints: 35781
3012.15/3020.39 c #Conflicts: 1014000 | #Constraints: 36781
3012.15/3020.39 c #Conflicts: 1015000 | #Constraints: 37781
3012.15/3020.39 c #Conflicts: 1016000 | #Constraints: 38781
3012.15/3020.39 c #Conflicts: 1017000 | #Constraints: 39781
3012.15/3020.39 c #Conflicts: 1018000 | #Constraints: 40781
3012.15/3020.39 c #Conflicts: 1019000 | #Constraints: 41781
3012.15/3020.39 c #Conflicts: 1020000 | #Constraints: 42781
3012.15/3020.39 c #Conflicts: 1021000 | #Constraints: 43781
3012.15/3020.39 c INPROCESSING
3012.15/3020.39 c GARBAGE COLLECT
3012.15/3020.39 c #Conflicts: 1022000 | #Constraints: 24781
3012.15/3020.39 c #Conflicts: 1023000 | #Constraints: 25781
3012.15/3020.39 c #Conflicts: 1024000 | #Constraints: 26781
3012.15/3020.39 c #Conflicts: 1025000 | #Constraints: 27781
3012.15/3020.39 c #Conflicts: 1026000 | #Constraints: 28781
3012.15/3020.39 c #Conflicts: 1027000 | #Constraints: 29781
3012.15/3020.39 c #Conflicts: 1028000 | #Constraints: 30781
3012.15/3020.39 c #Conflicts: 1029000 | #Constraints: 31781
3012.15/3020.39 c #Conflicts: 1030000 | #Constraints: 32781
3012.15/3020.39 c #Conflicts: 1031000 | #Constraints: 33781
3012.15/3020.39 c #Conflicts: 1032000 | #Constraints: 34781
3012.15/3020.39 c #Conflicts: 1033000 | #Constraints: 35781
3012.15/3020.39 c #Conflicts: 1034000 | #Constraints: 36781
3012.15/3020.39 c #Conflicts: 1035000 | #Constraints: 37781
3012.15/3020.39 c #Conflicts: 1036000 | #Constraints: 38781
3012.15/3020.39 c #Conflicts: 1037000 | #Constraints: 39781
3012.15/3020.39 c #Conflicts: 1038000 | #Constraints: 40781
3012.15/3020.39 c #Conflicts: 1039000 | #Constraints: 41781
3012.15/3020.39 c #Conflicts: 1040000 | #Constraints: 42781
3012.15/3020.39 c #Conflicts: 1041000 | #Constraints: 43781
3012.15/3020.39 c INPROCESSING
3012.15/3020.39 c GARBAGE COLLECT
3012.15/3020.39 c #Conflicts: 1042000 | #Constraints: 24586
3012.15/3020.39 c #Conflicts: 1043000 | #Constraints: 25586
3012.15/3020.39 c #Conflicts: 1044000 | #Constraints: 26586
3012.15/3020.39 c #Conflicts: 1045000 | #Constraints: 27586
3012.15/3020.39 c #Conflicts: 1046000 | #Constraints: 28586
3012.15/3020.39 c #Conflicts: 1047000 | #Constraints: 29586
3012.15/3020.39 c #Conflicts: 1048000 | #Constraints: 30586
3012.15/3020.39 c #Conflicts: 1049000 | #Constraints: 31586
3012.15/3020.39 c #Conflicts: 1050000 | #Constraints: 32586
3230.49/3239.37 c #Conflicts: 1051000 | #Constraints: 33586
3230.49/3239.37 c #Conflicts: 1052000 | #Constraints: 34586
3230.49/3239.37 c #Conflicts: 1053000 | #Constraints: 35586
3230.49/3239.37 c #Conflicts: 1054000 | #Constraints: 36586
3230.49/3239.37 c #Conflicts: 1055000 | #Constraints: 37586
3230.49/3239.37 c #Conflicts: 1056000 | #Constraints: 38586
3230.49/3239.37 c #Conflicts: 1057000 | #Constraints: 39586
3230.49/3239.37 c #Conflicts: 1058000 | #Constraints: 40586
3230.49/3239.37 c #Conflicts: 1059000 | #Constraints: 41586
3230.49/3239.37 c #Conflicts: 1060000 | #Constraints: 42586
3230.49/3239.37 c #Conflicts: 1061000 | #Constraints: 43586
3230.49/3239.37 c #Conflicts: 1062000 | #Constraints: 44586
3230.49/3239.37 c INPROCESSING
3230.49/3239.37 c GARBAGE COLLECT
3230.49/3239.37 c #Conflicts: 1063000 | #Constraints: 25187
3230.49/3239.37 c #Conflicts: 1064000 | #Constraints: 26187
3230.49/3239.37 c #Conflicts: 1065000 | #Constraints: 27187
3230.49/3239.37 c #Conflicts: 1066000 | #Constraints: 28187
3230.49/3239.37 c #Conflicts: 1067000 | #Constraints: 29187
3230.49/3239.37 c #Conflicts: 1068000 | #Constraints: 30187
3230.49/3239.37 c #Conflicts: 1069000 | #Constraints: 31187
3230.49/3239.37 c #Conflicts: 1070000 | #Constraints: 32187
3230.49/3239.37 c #Conflicts: 1071000 | #Constraints: 33187
3230.49/3239.37 c #Conflicts: 1072000 | #Constraints: 34187
3230.49/3239.37 c #Conflicts: 1073000 | #Constraints: 35187
3230.49/3239.37 c #Conflicts: 1074000 | #Constraints: 36187
3230.49/3239.37 c #Conflicts: 1075000 | #Constraints: 37187
3230.49/3239.37 c #Conflicts: 1076000 | #Constraints: 38187
3230.49/3239.37 c #Conflicts: 1077000 | #Constraints: 39187
3230.49/3239.37 c #Conflicts: 1078000 | #Constraints: 40187
3230.49/3239.37 c #Conflicts: 1079000 | #Constraints: 41187
3230.49/3239.37 c #Conflicts: 1080000 | #Constraints: 42187
3230.49/3239.37 c #Conflicts: 1081000 | #Constraints: 43187
3230.49/3239.37 c #Conflicts: 1082000 | #Constraints: 44187
3230.49/3239.37 c #Conflicts: 1083000 | #Constraints: 45187
3230.49/3239.37 c INPROCESSING
3230.49/3239.37 c GARBAGE COLLECT
3230.49/3239.37 c #Conflicts: 1084000 | #Constraints: 25581
3230.49/3239.37 c #Conflicts: 1085000 | #Constraints: 26581
3230.49/3239.37 c #Conflicts: 1086000 | #Constraints: 27581
3230.49/3239.37 c #Conflicts: 1087000 | #Constraints: 28581
3230.49/3239.37 c #Conflicts: 1088000 | #Constraints: 29581
3230.49/3239.37 c #Conflicts: 1089000 | #Constraints: 30581
3230.49/3239.37 c #Conflicts: 1090000 | #Constraints: 31581
3230.49/3239.37 c #Conflicts: 1091000 | #Constraints: 32581
3230.49/3239.37 c #Conflicts: 1092000 | #Constraints: 33581
3230.49/3239.37 c #Conflicts: 1093000 | #Constraints: 34581
3230.49/3239.37 c #Conflicts: 1094000 | #Constraints: 35581
3230.49/3239.37 c #Conflicts: 1095000 | #Constraints: 36581
3230.49/3239.37 c #Conflicts: 1096000 | #Constraints: 37581
3230.49/3239.37 c #Conflicts: 1097000 | #Constraints: 38581
3230.49/3239.37 c #Conflicts: 1098000 | #Constraints: 39581
3230.49/3239.37 c #Conflicts: 1099000 | #Constraints: 40581
3230.49/3239.37 c #Conflicts: 1100000 | #Constraints: 41581
3230.49/3239.37 c #Conflicts: 1101000 | #Constraints: 42581
3230.49/3239.37 c #Conflicts: 1102000 | #Constraints: 43581
3230.49/3239.37 c #Conflicts: 1103000 | #Constraints: 44581
3230.49/3239.37 c #Conflicts: 1104000 | #Constraints: 45581
3230.49/3239.37 c INPROCESSING
3230.49/3239.37 c GARBAGE COLLECT
3230.49/3239.37 c #Conflicts: 1105000 | #Constraints: 25784
3230.49/3239.37 c #Conflicts: 1106000 | #Constraints: 26784
3230.49/3239.37 c #Conflicts: 1107000 | #Constraints: 27784
3230.49/3239.37 c #Conflicts: 1108000 | #Constraints: 28784
3230.49/3239.37 c #Conflicts: 1109000 | #Constraints: 29784
3230.49/3239.37 c #Conflicts: 1110000 | #Constraints: 30784
3230.49/3239.37 c #Conflicts: 1111000 | #Constraints: 31784
3230.49/3239.37 c #Conflicts: 1112000 | #Constraints: 32784
3230.49/3239.37 c #Conflicts: 1113000 | #Constraints: 33784
3230.49/3239.37 c #Conflicts: 1114000 | #Constraints: 34784
3230.49/3239.37 c #Conflicts: 1115000 | #Constraints: 35784
3230.49/3239.37 c #Conflicts: 1116000 | #Constraints: 36784
3230.49/3239.37 c #Conflicts: 1117000 | #Constraints: 37784
3230.49/3239.37 c #Conflicts: 1118000 | #Constraints: 38784
3230.49/3239.37 c #Conflicts: 1119000 | #Constraints: 39784
3230.49/3239.37 c #Conflicts: 1120000 | #Constraints: 40784
3230.49/3239.37 c #Conflicts: 1121000 | #Constraints: 41784
3230.49/3239.37 c #Conflicts: 1122000 | #Constraints: 42784
3230.49/3239.37 c #Conflicts: 1123000 | #Constraints: 43784
3230.49/3239.37 c #Conflicts: 1124000 | #Constraints: 44784
3230.49/3239.37 c #Conflicts: 1125000 | #Constraints: 45784
3230.49/3239.37 c INPROCESSING
3230.49/3239.37 c GARBAGE COLLECT
3230.49/3239.37 c #Conflicts: 1126000 | #Constraints: 25778
3402.68/3412.06 c #Conflicts: 1127000 | #Constraints: 26778
3402.68/3412.06 c #Conflicts: 1128000 | #Constraints: 27778
3402.68/3412.06 c #Conflicts: 1129000 | #Constraints: 28778
3402.68/3412.06 c #Conflicts: 1130000 | #Constraints: 29778
3402.68/3412.06 c #Conflicts: 1131000 | #Constraints: 30778
3402.68/3412.06 c #Conflicts: 1132000 | #Constraints: 31778
3402.68/3412.06 c #Conflicts: 1133000 | #Constraints: 32778
3402.68/3412.06 c #Conflicts: 1134000 | #Constraints: 33778
3402.68/3412.06 c #Conflicts: 1135000 | #Constraints: 34778
3402.68/3412.06 c #Conflicts: 1136000 | #Constraints: 35778
3402.68/3412.06 c #Conflicts: 1137000 | #Constraints: 36778
3402.68/3412.06 c #Conflicts: 1138000 | #Constraints: 37778
3402.68/3412.06 c #Conflicts: 1139000 | #Constraints: 38778
3402.68/3412.06 c #Conflicts: 1140000 | #Constraints: 39778
3402.68/3412.06 c #Conflicts: 1141000 | #Constraints: 40778
3402.68/3412.06 c #Conflicts: 1142000 | #Constraints: 41778
3402.68/3412.06 c #Conflicts: 1143000 | #Constraints: 42778
3402.68/3412.06 c #Conflicts: 1144000 | #Constraints: 43778
3402.68/3412.06 c #Conflicts: 1145000 | #Constraints: 44778
3402.68/3412.06 c #Conflicts: 1146000 | #Constraints: 45778
3402.68/3412.06 c INPROCESSING
3402.68/3412.06 c GARBAGE COLLECT
3402.68/3412.06 c #Conflicts: 1147000 | #Constraints: 25567
3402.68/3412.06 c #Conflicts: 1148000 | #Constraints: 26567
3402.68/3412.06 c #Conflicts: 1149000 | #Constraints: 27567
3402.68/3412.06 c #Conflicts: 1150000 | #Constraints: 28567
3402.68/3412.06 c #Conflicts: 1151000 | #Constraints: 29567
3402.68/3412.06 c #Conflicts: 1152000 | #Constraints: 30567
3402.68/3412.06 c #Conflicts: 1153000 | #Constraints: 31567
3402.68/3412.06 c #Conflicts: 1154000 | #Constraints: 32567
3402.68/3412.06 c #Conflicts: 1155000 | #Constraints: 33567
3402.68/3412.06 c #Conflicts: 1156000 | #Constraints: 34567
3402.68/3412.06 c #Conflicts: 1157000 | #Constraints: 35567
3402.68/3412.06 c #Conflicts: 1158000 | #Constraints: 36567
3402.68/3412.06 c #Conflicts: 1159000 | #Constraints: 37567
3402.68/3412.06 c #Conflicts: 1160000 | #Constraints: 38567
3402.68/3412.06 c #Conflicts: 1161000 | #Constraints: 39567
3402.68/3412.06 c #Conflicts: 1162000 | #Constraints: 40567
3402.68/3412.06 c #Conflicts: 1163000 | #Constraints: 41567
3402.68/3412.06 c #Conflicts: 1164000 | #Constraints: 42567
3402.68/3412.06 c #Conflicts: 1165000 | #Constraints: 43567
3402.68/3412.06 c #Conflicts: 1166000 | #Constraints: 44567
3402.68/3412.06 c #Conflicts: 1167000 | #Constraints: 45567
3402.68/3412.06 c #Conflicts: 1168000 | #Constraints: 46567
3402.68/3412.06 c INPROCESSING
3402.68/3412.06 c GARBAGE COLLECT
3402.68/3412.06 c #Conflicts: 1169000 | #Constraints: 26150
3402.68/3412.06 c #Conflicts: 1170000 | #Constraints: 27150
3402.68/3412.06 c #Conflicts: 1171000 | #Constraints: 28150
3402.68/3412.06 c #Conflicts: 1172000 | #Constraints: 29150
3402.68/3412.06 c #Conflicts: 1173000 | #Constraints: 30150
3402.68/3412.06 c #Conflicts: 1174000 | #Constraints: 31150
3402.68/3412.06 c #Conflicts: 1175000 | #Constraints: 32150
3402.68/3412.06 c #Conflicts: 1176000 | #Constraints: 33150
3402.68/3412.06 c #Conflicts: 1177000 | #Constraints: 34150
3402.68/3412.06 c #Conflicts: 1178000 | #Constraints: 35150
3402.68/3412.06 c #Conflicts: 1179000 | #Constraints: 36150
3402.68/3412.06 c #Conflicts: 1180000 | #Constraints: 37150
3402.68/3412.06 c #Conflicts: 1181000 | #Constraints: 38150
3402.68/3412.06 c #Conflicts: 1182000 | #Constraints: 39150
3402.68/3412.06 c #Conflicts: 1183000 | #Constraints: 40150
3402.68/3412.06 c #Conflicts: 1184000 | #Constraints: 41150
3402.68/3412.06 c #Conflicts: 1185000 | #Constraints: 42150
3402.68/3412.06 c #Conflicts: 1186000 | #Constraints: 43150
3402.68/3412.06 c #Conflicts: 1187000 | #Constraints: 44150
3402.68/3412.06 c #Conflicts: 1188000 | #Constraints: 45150
3402.68/3412.06 c #Conflicts: 1189000 | #Constraints: 46150
3402.68/3412.06 c #Conflicts: 1190000 | #Constraints: 47150
3402.68/3412.06 c INPROCESSING
3402.68/3412.06 c GARBAGE COLLECT
3402.68/3412.06 c #Conflicts: 1191000 | #Constraints: 26541
3402.68/3412.06 c #Conflicts: 1192000 | #Constraints: 27541
3402.68/3412.06 c #Conflicts: 1193000 | #Constraints: 28541
3402.68/3412.06 c #Conflicts: 1194000 | #Constraints: 29541
3402.68/3412.06 c #Conflicts: 1195000 | #Constraints: 30541
3402.68/3412.06 c #Conflicts: 1196000 | #Constraints: 31541
3402.68/3412.06 c #Conflicts: 1197000 | #Constraints: 32541
3402.68/3412.06 c #Conflicts: 1198000 | #Constraints: 33541
3402.68/3412.06 c #Conflicts: 1199000 | #Constraints: 34541
3402.68/3412.06 c #Conflicts: 1200000 | #Constraints: 35541
3402.68/3412.06 c #Conflicts: 1201000 | #Constraints: 36541
3402.68/3412.06 c #Conflicts: 1202000 | #Constraints: 37541
3402.68/3412.06 c #Conflicts: 1203000 | #Constraints: 38541
3519.81/3529.54 c #Conflicts: 1204000 | #Constraints: 39541
3519.81/3529.54 c #Conflicts: 1205000 | #Constraints: 40541
3519.81/3529.54 c #Conflicts: 1206000 | #Constraints: 41541
3519.81/3529.54 c #Conflicts: 1207000 | #Constraints: 42541
3519.81/3529.54 c #Conflicts: 1208000 | #Constraints: 43541
3519.81/3529.54 c #Conflicts: 1209000 | #Constraints: 44541
3519.81/3529.54 c #Conflicts: 1210000 | #Constraints: 45541
3519.81/3529.54 c #Conflicts: 1211000 | #Constraints: 46541
3519.81/3529.54 c #Conflicts: 1212000 | #Constraints: 47541
3519.81/3529.54 c INPROCESSING
3519.81/3529.54 c GARBAGE COLLECT
3519.81/3529.54 c #Conflicts: 1213000 | #Constraints: 26742
3519.81/3529.54 c #Conflicts: 1214000 | #Constraints: 27742
3519.81/3529.54 c #Conflicts: 1215000 | #Constraints: 28742
3519.81/3529.54 c #Conflicts: 1216000 | #Constraints: 29742
3519.81/3529.54 c #Conflicts: 1217000 | #Constraints: 30742
3519.81/3529.54 c #Conflicts: 1218000 | #Constraints: 31742
3519.81/3529.54 c #Conflicts: 1219000 | #Constraints: 32742
3519.81/3529.54 c #Conflicts: 1220000 | #Constraints: 33742
3519.81/3529.54 c #Conflicts: 1221000 | #Constraints: 34742
3519.81/3529.54 c #Conflicts: 1222000 | #Constraints: 35742
3519.81/3529.54 c #Conflicts: 1223000 | #Constraints: 36742
3519.81/3529.54 c #Conflicts: 1224000 | #Constraints: 37742
3519.81/3529.54 c #Conflicts: 1225000 | #Constraints: 38742
3519.81/3529.54 c #Conflicts: 1226000 | #Constraints: 39742
3519.81/3529.54 c #Conflicts: 1227000 | #Constraints: 40742
3519.81/3529.54 c #Conflicts: 1228000 | #Constraints: 41742
3519.81/3529.54 c #Conflicts: 1229000 | #Constraints: 42742
3519.81/3529.54 c #Conflicts: 1230000 | #Constraints: 43742
3519.81/3529.54 c #Conflicts: 1231000 | #Constraints: 44742
3519.81/3529.54 c #Conflicts: 1232000 | #Constraints: 45742
3519.81/3529.54 c #Conflicts: 1233000 | #Constraints: 46742
3519.81/3529.54 c #Conflicts: 1234000 | #Constraints: 47742
3519.81/3529.54 c INPROCESSING
3519.81/3529.54 c GARBAGE COLLECT
3519.81/3529.54 c #Conflicts: 1235000 | #Constraints: 26738
3519.81/3529.54 c #Conflicts: 1236000 | #Constraints: 27738
3519.81/3529.54 c #Conflicts: 1237000 | #Constraints: 28738
3519.81/3529.54 c #Conflicts: 1238000 | #Constraints: 29738
3519.81/3529.54 c #Conflicts: 1239000 | #Constraints: 30738
3519.81/3529.54 c #Conflicts: 1240000 | #Constraints: 31738
3519.81/3529.54 c #Conflicts: 1241000 | #Constraints: 32738
3519.81/3529.54 c #Conflicts: 1242000 | #Constraints: 33738
3519.81/3529.54 c #Conflicts: 1243000 | #Constraints: 34738
3519.81/3529.54 c #Conflicts: 1244000 | #Constraints: 35738
3519.81/3529.54 c #Conflicts: 1245000 | #Constraints: 36738
3519.81/3529.54 c #Conflicts: 1246000 | #Constraints: 37738
3519.81/3529.54 c #Conflicts: 1247000 | #Constraints: 38738
3519.81/3529.54 c #Conflicts: 1248000 | #Constraints: 39738
3519.81/3529.54 c #Conflicts: 1249000 | #Constraints: 40738
3519.81/3529.54 c #Conflicts: 1250000 | #Constraints: 41738
3519.81/3529.54 c #Conflicts: 1251000 | #Constraints: 42738
3519.81/3529.54 c #Conflicts: 1252000 | #Constraints: 43738
3519.81/3529.54 c #Conflicts: 1253000 | #Constraints: 44738
3519.81/3529.54 c #Conflicts: 1254000 | #Constraints: 45738
3519.81/3529.54 c #Conflicts: 1255000 | #Constraints: 46738
3519.81/3529.54 c #Conflicts: 1256000 | #Constraints: 47738
3519.81/3529.54 c INPROCESSING
3519.81/3529.54 c GARBAGE COLLECT
3519.81/3529.54 c #Conflicts: 1257000 | #Constraints: 26532
3519.81/3529.54 c #Conflicts: 1258000 | #Constraints: 27532
3519.81/3529.54 c #Conflicts: 1259000 | #Constraints: 28532
3519.81/3529.54 c #Conflicts: 1260000 | #Constraints: 29532
3519.81/3529.54 c #Conflicts: 1261000 | #Constraints: 30532
3519.81/3529.54 c #Conflicts: 1262000 | #Constraints: 31532
3519.81/3529.54 c #Conflicts: 1263000 | #Constraints: 32532
3519.81/3529.54 c #Conflicts: 1264000 | #Constraints: 33532
3519.81/3529.54 c #Conflicts: 1265000 | #Constraints: 34532
3519.81/3529.54 c #Conflicts: 1266000 | #Constraints: 35532
3519.81/3529.54 c #Conflicts: 1267000 | #Constraints: 36532
3519.81/3529.54 c #Conflicts: 1268000 | #Constraints: 37532
3519.81/3529.54 c #Conflicts: 1269000 | #Constraints: 38532
3519.81/3529.54 c #Conflicts: 1270000 | #Constraints: 39532
3519.81/3529.54 c #Conflicts: 1271000 | #Constraints: 40532
3519.81/3529.54 c #Conflicts: 1272000 | #Constraints: 41532
3519.81/3529.54 c #Conflicts: 1273000 | #Constraints: 42532
3519.81/3529.54 c #Conflicts: 1274000 | #Constraints: 43532
3519.81/3529.54 c #Conflicts: 1275000 | #Constraints: 44532
3519.81/3529.54 c #Conflicts: 1276000 | #Constraints: 45532
3519.81/3529.54 c #Conflicts: 1277000 | #Constraints: 46532
3519.81/3529.54 c #Conflicts: 1278000 | #Constraints: 47532
3519.81/3529.54 c #Conflicts: 1279000 | #Constraints: 48532
3519.81/3529.54 c INPROCESSING
3600.06/3610.00 c GARBAGE COLLECT
3600.06/3610.00 c #Conflicts: 1280000 | #Constraints: 27173
3600.06/3610.00 c #Conflicts: 1281000 | #Constraints: 28173
3600.06/3610.00 c #Conflicts: 1282000 | #Constraints: 29173
3600.06/3610.00 c #Conflicts: 1283000 | #Constraints: 30173
3600.06/3610.00 c #Conflicts: 1284000 | #Constraints: 31173
3600.06/3610.00 c #Conflicts: 1285000 | #Constraints: 32173
3600.06/3610.00 c #Conflicts: 1286000 | #Constraints: 33173
3600.06/3610.00 c #Conflicts: 1287000 | #Constraints: 34173
3600.06/3610.00 c #Conflicts: 1288000 | #Constraints: 35173
3600.06/3610.00 c #Conflicts: 1289000 | #Constraints: 36173
3600.06/3610.00 c #Conflicts: 1290000 | #Constraints: 37173
3600.06/3610.00 c #Conflicts: 1291000 | #Constraints: 38173
3600.06/3610.00 c #Conflicts: 1292000 | #Constraints: 39173
3600.06/3610.00 c #Conflicts: 1293000 | #Constraints: 40173
3600.06/3610.00 c #Conflicts: 1294000 | #Constraints: 41173
3600.06/3610.00 c #Conflicts: 1295000 | #Constraints: 42173
3600.06/3610.00 c #Conflicts: 1296000 | #Constraints: 43173
3600.06/3610.00 c #Conflicts: 1297000 | #Constraints: 44173
3600.06/3610.00 c #Conflicts: 1298000 | #Constraints: 45173
3600.06/3610.00 c #Conflicts: 1299000 | #Constraints: 46173
3600.06/3610.00 c #Conflicts: 1300000 | #Constraints: 47173
3600.06/3610.00 c #Conflicts: 1301000 | #Constraints: 48173
3600.06/3610.00 c #Conflicts: 1302000 | #Constraints: 49173
3600.06/3610.00 c INPROCESSING
3600.06/3610.00 c GARBAGE COLLECT
3600.06/3610.00 c #Conflicts: 1303000 | #Constraints: 27571
3600.06/3610.00 c #Conflicts: 1304000 | #Constraints: 28571
3600.06/3610.00 c #Conflicts: 1305000 | #Constraints: 29571
3600.06/3610.00 c #Conflicts: 1306000 | #Constraints: 30571
3600.06/3610.00 c #Conflicts: 1307000 | #Constraints: 31571
3600.06/3610.00 c #Conflicts: 1308000 | #Constraints: 32571
3600.06/3610.00 c #Conflicts: 1309000 | #Constraints: 33571
3600.06/3610.00 c #Conflicts: 1310000 | #Constraints: 34571
3600.06/3610.00 c #Conflicts: 1311000 | #Constraints: 35571
3600.06/3610.00 c #Conflicts: 1312000 | #Constraints: 36571
3600.06/3610.00 c #Conflicts: 1313000 | #Constraints: 37571
3600.06/3610.00 c #Conflicts: 1314000 | #Constraints: 38571
3600.06/3610.00 c #Conflicts: 1315000 | #Constraints: 39571
3600.06/3610.00 c #Conflicts: 1316000 | #Constraints: 40571
3600.06/3610.00 c #Conflicts: 1317000 | #Constraints: 41571
3600.06/3610.00 c #Conflicts: 1318000 | #Constraints: 42571
3600.06/3610.00 c #Conflicts: 1319000 | #Constraints: 43571
3600.06/3610.00 c #Conflicts: 1320000 | #Constraints: 44571
3600.06/3610.00 c Program interrupted by user.
3600.06/3610.00 c cpu time 3590.66 s
3600.06/3610.00 c deterministic time 618764069137 6.19e+11
3600.06/3610.00 c optimization time 43.2873 s
3600.06/3610.00 c total solve time 3248.04 s
3600.06/3610.00 c core-guided solve time 3248.04 s
3600.06/3610.00 c propagation time 2666.44 s
3600.06/3610.00 c conflict analysis time 492.099 s
3600.06/3610.00 c propagations 164963525
3600.06/3610.00 c resolve steps 13550244
3600.06/3610.00 c decisions 5815888
3600.06/3610.00 c conflicts 1320085
3600.06/3610.00 c restarts 2555
3600.06/3610.00 c inprocessing phases 105
3600.06/3610.00 c input clauses 3865
3600.06/3610.00 c input cardinalities 138
3600.06/3610.00 c input general constraints 0
3600.06/3610.00 c input average constraint length 58.22
3600.06/3610.00 c input average constraint degree 26.34
3600.06/3610.00 c learned clauses 562177
3600.06/3610.00 c learned cardinalities 127751
3600.06/3610.00 c learned general constraints 630294
3600.06/3610.00 c learned average constraint length 756.95
3600.06/3610.00 c learned average constraint degree 46596.97
3600.06/3610.00 c watched constraints 369368
3600.06/3610.00 c counting constraints 260926
3600.06/3610.00 c gcd simplifications 32793
3600.06/3610.00 c detected cardinalities 2887
3600.06/3610.00 c weakened non-implied lits 205507956
3600.06/3610.00 c weakened non-implying lits 56934
3600.06/3610.00 c original variables 1968
3600.06/3610.00 c clausal propagations 78010311
3600.06/3610.00 c cardinality propagations 12974322
3600.06/3610.00 c watched propagations 12273439
3600.06/3610.00 c counting propagations 53337511
3600.06/3610.00 c watch lookups 43230715488
3600.06/3610.00 c watch backjump lookups 33968519933
3600.06/3610.00 c watch checks 480708172633
3600.06/3610.00 c propagation checks 57312923496
3600.06/3610.00 c constraint additions 3200859936
3600.06/3610.00 c trail pops 172098237
3600.06/3610.00 c formula constraints 3199
3600.06/3610.00 c learned constraints 1320222
3600.06/3610.00 c bound constraints 138
3600.06/3610.00 c core-guided constraints 666
3600.06/3610.00 c encountered formula constraints 9232404
3600.06/3610.00 c encountered learned constraints 3908886
3600.06/3610.00 c encountered bound constraints 2
3600.06/3610.00 c encountered core-guided constraints 1729037
3600.06/3610.00 c LP total time 0 s
3600.06/3610.00 c LP solve time 0 s
3600.06/3610.00 c LP constraints added 0
3600.06/3610.00 c LP constraints removed 0
3600.06/3610.00 c LP pivots internal 0
3600.06/3610.00 c LP pivots root 0
3600.06/3610.00 c LP calls 0
3600.06/3610.00 c LP optimalities 0
3600.06/3610.00 c LP no pivot count 0
3600.06/3610.00 c LP infeasibilities 0
3600.06/3610.00 c LP valid Farkas constraints 0
3600.06/3610.00 c LP learned Farkas constraints 0
3600.06/3610.00 c LP basis resets 0
3600.06/3610.00 c LP cycling count 0
3600.06/3610.00 c LP singular count 0
3600.06/3610.00 c LP no primal count 0
3600.06/3610.00 c LP no farkas count 0
3600.06/3610.00 c LP other issue count 0
3600.06/3610.00 c LP Gomory cuts 0
3600.06/3610.00 c LP learned cuts 0
3600.06/3610.00 c LP deleted cuts 0
3600.06/3610.00 c LP encountered Gomory constraints 0
3600.06/3610.00 c LP encountered Farkas constraints 0
3600.06/3610.00 c LP encountered learned Farkas constraints 0
3600.06/3610.00 c CG auxiliary variables introduced 666
3600.06/3610.00 c CG solutions found 0
3600.06/3610.00 c CG cores constructed 137
3600.06/3610.00 c CG core cardinality constraints returned 0
3600.06/3610.00 c CG unit cores 0
3600.06/3610.00 c CG single cores 137
3600.06/3610.00 c CG blocks removed during cardinality reduction 0
3600.06/3610.00 c CG first core best 0
3600.06/3610.00 c CG decision core best 0
3600.06/3610.00 c CG core reduction tie 0
3600.06/3610.00 c CG core degree average 1.00
3600.06/3610.00 c CG core slack average 5.56
3600.06/3610.00 c CG exhausted 0
3600.06/3610.00 c CG exhaust time 0 s
3600.06/3610.00 c CG trimmed 2
3600.06/3610.00 c CG trim time 0.095614 s
3600.06/3610.00 c CG minimized 0
3600.06/3610.00 c CG minimize time 0 s
3600.06/3610.00 c CG am1 prop time 0.002176 s
3600.06/3610.00 c CG # am1s reformulated 666
3600.06/3610.00 c CG lower bound derived from am1s 667
3600.06/3610.00 c CG # clausal cores 137
3600.06/3610.00 c CG # cardinality cores 0
3600.06/3610.00 c CG # pb cores 0
3600.06/3610.00 c CG # pb reforms 0
3600.06/3610.00 c CG # cores discarded because of pb reform 0
3600.06/3610.00 d LOWERBOUND 804
3600.06/3610.00 d NCORES 137
3600.06/3610.00 d NPBCORES 0
3600.06/3610.00 d NPBREFORM 0
3600.06/3610.00 d NTRIMMED 2
3600.06/3610.00 d NEXHAUSTED 0
3600.06/3610.00 d NAM1S 666
3600.06/3610.00 d AM1LB 667
3600.06/3610.00 c [Papilo Statistics]
3600.06/3610.00 c prepro time 0.00470866s
3600.06/3610.00 c # tsx applied 165
3600.06/3610.00 c # tsx conflicts 7
3600.06/3610.00 c # bound changes 164
3600.06/3610.00 c # side changes 0
3600.06/3610.00 c # coef changes 0
3600.06/3610.00 c # rounds 2
3600.06/3610.00 c # deted vars 340
3600.06/3610.00 c # deted constrs 801
3600.06/3610.00 c # consecutive rounds of only bound changes 0
3600.06/3610.01 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 (62356 MiB free)
memory of node 1: 64465 MiB (63652 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488945-1751333764/watcher-4488945-1751333764 -o /tmp/evaluation-result-4488945-1751333764/solver-4488945-1751333764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45658 --watchdog 3760 mixed-bag HOME/instance-4488945-1751333764.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=47964, runsolver pid=47961
[startup+0.100066 s]*
/proc/loadavg: 4.14 4.10 4.09 5/265 47965
/proc/meminfo: memFree=129012464/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=114148 memory=38400 CPUtime=0.08 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 6330 0 0 0 7 1 0 0 20 0 1 0 49053857 116887552 9600 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 28537 9600 4192 2842 0 10231 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 114148 KiB
Current children cumulated memory: 38400 KiB
[startup+0.205581 s]*
/proc/loadavg: 4.14 4.10 4.09 5/265 47965
/proc/meminfo: memFree=129007172/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=117636 memory=42112 CPUtime=0.18 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 7187 0 0 0 17 1 0 0 20 0 1 0 49053857 120459264 10528 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 29409 10528 4288 2842 0 11103 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 117636 KiB
Current children cumulated memory: 42112 KiB
[startup+0.305523 s]*
/proc/loadavg: 4.14 4.10 4.09 5/265 47965
/proc/meminfo: memFree=129007412/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=120720 memory=44928 CPUtime=0.28 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 7906 0 0 0 27 1 0 0 20 0 1 0 49053857 123617280 11232 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 30180 11232 4288 2842 0 11874 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 120720 KiB
Current children cumulated memory: 44928 KiB
[startup+0.700178 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 47965
/proc/meminfo: memFree=129007412/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=121672 memory=45696 CPUtime=0.66 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 8112 0 0 0 65 1 0 0 20 0 1 0 49053857 124592128 11424 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 30418 11424 4288 2842 0 12112 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 121672 KiB
Current children cumulated memory: 45696 KiB
[startup+1.50017 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 47965
/proc/meminfo: memFree=129003632/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=133584 memory=56960 CPUtime=1.47 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 10921 0 0 0 145 2 0 0 20 0 1 0 49053857 136790016 14240 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 33396 14240 4288 2842 0 15090 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 133584 KiB
Current children cumulated memory: 56960 KiB
[startup+3.10539 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 47965
/proc/meminfo: memFree=128975692/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=151900 memory=74368 CPUtime=3.06 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 15267 0 0 0 304 2 0 0 20 0 1 0 49053857 155545600 18592 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 37975 18592 4288 2842 0 19669 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 151900 KiB
Current children cumulated memory: 74368 KiB
[startup+6.30016 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 47966
/proc/meminfo: memFree=128935544/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=198148 memory=118784 CPUtime=6.25 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 26377 0 0 0 620 5 0 0 20 0 1 0 49053857 202903552 29696 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 49537 29696 4288 2842 0 31231 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 198148 KiB
Current children cumulated memory: 118784 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 47966
/proc/meminfo: memFree=128879320/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=238908 memory=155156 CPUtime=12.63 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 36577 0 0 0 1256 7 0 0 20 0 1 0 49053857 244641792 38789 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 59727 38789 4288 2842 0 41421 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 238908 KiB
Current children cumulated memory: 155156 KiB
[startup+25.5001 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 48014
/proc/meminfo: memFree=129112212/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=241952 memory=158228 CPUtime=25.4 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 37332 0 0 0 2533 7 0 0 20 0 1 0 49053857 247758848 39557 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 60488 39557 4288 2842 0 42182 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 241952 KiB
Current children cumulated memory: 158228 KiB
[startup+51.1053 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 48014
/proc/meminfo: memFree=128943484/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=308988 memory=220128 CPUtime=50.94 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 53631 0 0 0 5084 10 0 0 20 0 1 0 49053857 316403712 55032 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 77247 55032 4288 2842 0 58941 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 308988 KiB
Current children cumulated memory: 220128 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 48021
/proc/meminfo: memFree=128885388/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=315648 memory=228232 CPUtime=102 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 57858 0 0 0 10190 10 0 0 20 0 1 0 49053857 323223552 57058 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 78912 57058 4320 2842 0 60606 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 315648 KiB
Current children cumulated memory: 228232 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 48023
/proc/meminfo: memFree=128985564/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=326380 memory=237832 CPUtime=161.85 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 60262 0 0 0 16175 10 0 0 20 0 1 0 49053857 334213120 59458 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 81595 59458 4320 2842 0 63289 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 326380 KiB
Current children cumulated memory: 237832 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 48026
/proc/meminfo: memFree=129036232/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=334612 memory=246100 CPUtime=221.67 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 63447 0 0 0 22156 11 0 0 20 0 1 0 49053857 342642688 61525 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 83653 61525 4320 2842 0 65347 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 334612 KiB
Current children cumulated memory: 246100 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 48028
/proc/meminfo: memFree=129008460/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=351536 memory=259724 CPUtime=281.48 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 68198 0 0 0 28136 12 0 0 20 0 1 0 49053857 359972864 64931 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 87884 64931 4320 2842 0 69578 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 351536 KiB
Current children cumulated memory: 259724 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 48030
/proc/meminfo: memFree=129123268/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=219516 memory=142168 CPUtime=341.31 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 73343 0 0 0 34074 57 0 0 20 0 1 0 49053857 224784384 35542 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 54879 35542 4480 2842 0 36573 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 219516 KiB
Current children cumulated memory: 142168 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 48033
/proc/meminfo: memFree=129089320/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=250336 memory=158168 CPUtime=401.14 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 73905 0 0 0 40021 93 0 0 20 0 1 0 49053857 256344064 39542 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 62584 39542 4480 2842 0 44278 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 250336 KiB
Current children cumulated memory: 158168 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 48035
/proc/meminfo: memFree=129047300/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=252164 memory=173444 CPUtime=460.99 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 74196 0 0 0 45975 124 0 0 20 0 1 0 49053857 258215936 43361 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 63041 43361 4480 2842 0 44735 0
################
# More data... #
################
Current children cumulated memory: 367600 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 48167
/proc/meminfo: memFree=128419664/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=498184 memory=386956 CPUtime=2854.63 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 94037 0 0 0 284701 762 0 0 20 0 1 0 49053857 510140416 96739 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 124546 96739 4480 2842 0 106240 0
Current children cumulated CPU time: 2854.63 s
Current children cumulated vsize: 498184 KiB
Current children cumulated memory: 386956 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 48171
/proc/meminfo: memFree=128406156/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=501000 memory=397648 CPUtime=2914.45 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 94780 0 0 0 290673 772 0 0 20 0 1 0 49053857 513024000 99412 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 125250 99412 4480 2842 0 106944 0
Current children cumulated CPU time: 2914.45 s
Current children cumulated vsize: 501000 KiB
Current children cumulated memory: 397648 KiB
[startup+2982.3 s]
/proc/loadavg: 4.37 4.19 4.12 5/264 48173
/proc/meminfo: memFree=128393892/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=502668 memory=399056 CPUtime=2974.27 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 95198 0 0 0 296643 784 0 0 20 0 1 0 49053857 514732032 99764 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 125667 99764 4480 2842 0 107361 0
Current children cumulated CPU time: 2974.27 s
Current children cumulated vsize: 502668 KiB
Current children cumulated memory: 399056 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/265 48178
/proc/meminfo: memFree=128385608/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=507172 memory=407084 CPUtime=3034.09 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 96184 0 0 0 302613 796 0 0 20 0 1 0 49053857 519344128 101771 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 126793 101771 4480 2842 0 108487 0
Current children cumulated CPU time: 3034.09 s
Current children cumulated vsize: 507172 KiB
Current children cumulated memory: 407084 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/265 48184
/proc/meminfo: memFree=128373280/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=507428 memory=407468 CPUtime=3093.9 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 96277 0 0 0 308583 807 0 0 20 0 1 0 49053857 519606272 101867 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 126857 101867 4480 2842 0 108551 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 507428 KiB
Current children cumulated memory: 407468 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/265 48186
/proc/meminfo: memFree=128354792/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=508300 memory=408108 CPUtime=3153.73 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 96426 0 0 0 314560 813 0 0 20 0 1 0 49053857 520499200 102027 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 127075 102027 4480 2842 0 108769 0
Current children cumulated CPU time: 3153.73 s
Current children cumulated vsize: 508300 KiB
Current children cumulated memory: 408108 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/264 48188
/proc/meminfo: memFree=128346752/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=508788 memory=408620 CPUtime=3213.54 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 96562 0 0 0 320528 826 0 0 20 0 1 0 49053857 520998912 102155 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 127197 102155 4480 2842 0 108891 0
Current children cumulated CPU time: 3213.54 s
Current children cumulated vsize: 508788 KiB
Current children cumulated memory: 408620 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 48191
/proc/meminfo: memFree=128338560/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=516980 memory=414892 CPUtime=3273.36 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 98134 0 0 0 326494 842 0 0 20 0 1 0 49053857 529387520 103723 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 129245 103723 4480 2842 0 110939 0
Current children cumulated CPU time: 3273.36 s
Current children cumulated vsize: 516980 KiB
Current children cumulated memory: 414892 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 48193
/proc/meminfo: memFree=128318328/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=526036 memory=422188 CPUtime=3333.18 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 99949 0 0 0 332462 856 0 0 20 0 1 0 49053857 538660864 105547 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 131509 105547 4480 2842 0 113203 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 526036 KiB
Current children cumulated memory: 422188 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 48196
/proc/meminfo: memFree=128302352/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=538068 memory=432300 CPUtime=3393 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 102488 0 0 0 338427 873 0 0 20 0 1 0 49053857 550981632 108075 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 134517 108075 4480 2842 0 116211 0
Current children cumulated CPU time: 3393 s
Current children cumulated vsize: 538068 KiB
Current children cumulated memory: 432300 KiB
[startup+3462.3 s]
/proc/loadavg: 4.01 4.09 4.08 4/258 48229
/proc/meminfo: memFree=128767480/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=545748 memory=440108 CPUtime=3452.82 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 104432 0 0 0 344389 893 0 0 20 0 1 0 49053857 558845952 110027 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 136437 110027 4480 2842 0 118131 0
Current children cumulated CPU time: 3452.82 s
Current children cumulated vsize: 545748 KiB
Current children cumulated memory: 440108 KiB
[startup+3522.3 s]
/proc/loadavg: 2.97 3.79 3.98 3/252 48261
/proc/meminfo: memFree=129198940/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=554124 memory=448044 CPUtime=3512.63 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 106424 0 0 0 350351 912 0 0 20 0 1 0 49053857 567422976 112011 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 138531 112011 4480 2842 0 120225 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 554124 KiB
Current children cumulated memory: 448044 KiB
[startup+3582.3 s]
/proc/loadavg: 2.39 3.48 3.86 3/252 48263
/proc/meminfo: memFree=129190908/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=563852 memory=457516 CPUtime=3572.45 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 108781 0 0 0 356310 935 0 0 20 0 1 0 49053857 577384448 114379 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 140963 114379 4480 2842 0 122657 0
Current children cumulated CPU time: 3572.45 s
Current children cumulated vsize: 563852 KiB
Current children cumulated memory: 457516 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 2.26 3.36 3.81 3/252 48264
/proc/meminfo: memFree=129188884/131249996 swapFree=33010416/33010684
[pid=47964] ppid=47961 vsize=565644 memory=460588 CPUtime=3600.06 cores=5,7
/proc/47964/stat : 47964 (mixed-bag) R 47961 47964 45645 0 -1 4194304 109079 0 0 0 359066 940 0 0 20 0 1 0 49053857 579219456 115147 18446744073709551615 4235264 15874749 140733471128736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54956032 140733471136156 140733471136233 140733471136233 140733471141835 0
/proc/47964/statm: 141411 115147 4480 2842 0 123105 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 565644 KiB
Current children cumulated memory: 460588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 47964 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.67 s, system=9.4127 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.01
CPU time (s): 3600.08
CPU user time (s): 3590.67
CPU system time (s): 9.4127
CPU usage (%): 99.7249
Max. virtual memory (cumulated for all children) (KiB): 565644
Max. memory (cumulated for all children) (KiB): 460588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.67
system time used= 9.4127
maximum resident set size= 461228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109109
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= 221
involuntary context switches= 2364
# summary of solver processes directly reported to runsolver:
# pid: 47964
# total CPU time (s): 3600.08
# total CPU user time (s): 3590.67
# total CPU system time (s): 9.4127
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.65279 second user time and 16.7799 second system time
The end
Begin job on nodeC015 at 2025-07-01 03:36:04
IDJOB=4488945
IDBENCH=147535
IDSOLVER=3340
FILE ID=nodeC015/4488945-1751333764
RUNJOBID= nodeC015-1751326375-45658
SLURM_JOB_ID= 9594361
Free space on /tmp= 432972 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488945-1751333764/watcher-4488945-1751333764 -o /tmp/evaluation-result-4488945-1751333764/solver-4488945-1751333764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45658 --watchdog 3760 mixed-bag HOME/instance-4488945-1751333764.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4613bd71ebda28f991e46514414d76dd
RANDOM SEED=1701092075
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.191
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.098
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 : 3602.191
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 : 3609.882
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.146
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 : 3612.584
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.086
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: 129032396 kB
MemAvailable: 128757400 kB
Buffers: 2128 kB
Cached: 513780 kB
SwapCached: 24 kB
Active: 1362680 kB
Inactive: 209376 kB
Active(anon): 1054116 kB
Inactive(anon): 20084 kB
Active(file): 308564 kB
Inactive(file): 189292 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15700 kB
Writeback: 60 kB
AnonPages: 1059280 kB
Mapped: 137540 kB
Shmem: 18052 kB
KReclaimable: 132776 kB
Slab: 222264 kB
SReclaimable: 132776 kB
SUnreclaim: 89488 kB
KernelStack: 4272 kB
PageTables: 5400 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1494192 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 415744 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= 432988 MiB
End job on nodeC015 at 2025-07-01 04:36:14