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.02 c [STEP] solving with SCIP
299.31/300.19 c [STEP] preprocessing done, loading into solver
299.40/300.20 c [STEP] solving
299.40/300.20 c #variables 1668 #constraints 3300
299.40/300.20 c SMALL=int, LARGE=long long
299.40/300.20 d SCIPUB 900
299.40/300.20 c bounds - >= 0 @ 299.281
299.40/300.20 c stratification level: 0
299.40/300.26 c bounds - >= 676 @ 299.289
299.40/300.26 c bounds - >= 677 @ 299.29
299.40/300.26 c bounds - >= 678 @ 299.29
299.40/300.26 c bounds - >= 679 @ 299.29
299.40/300.26 c bounds - >= 680 @ 299.29
299.40/300.26 c bounds - >= 681 @ 299.29
299.40/300.26 c bounds - >= 682 @ 299.291
299.40/300.26 c bounds - >= 683 @ 299.291
299.40/300.26 c bounds - >= 684 @ 299.291
299.40/300.26 c bounds - >= 685 @ 299.291
299.40/300.26 c bounds - >= 686 @ 299.291
299.40/300.26 c bounds - >= 687 @ 299.292
299.40/300.26 c bounds - >= 688 @ 299.292
299.40/300.26 c bounds - >= 689 @ 299.292
299.40/300.26 c bounds - >= 690 @ 299.292
299.40/300.26 c bounds - >= 691 @ 299.292
299.40/300.26 c bounds - >= 692 @ 299.292
299.40/300.26 c bounds - >= 693 @ 299.292
299.40/300.26 c bounds - >= 694 @ 299.292
299.40/300.26 c bounds - >= 695 @ 299.292
299.40/300.26 c bounds - >= 696 @ 299.293
299.40/300.26 c bounds - >= 697 @ 299.293
299.40/300.26 c bounds - >= 698 @ 299.293
299.40/300.26 c bounds - >= 699 @ 299.293
299.40/300.26 c bounds - >= 700 @ 299.294
299.40/300.26 c bounds - >= 701 @ 299.294
299.40/300.26 c bounds - >= 702 @ 299.294
299.40/300.26 c bounds - >= 703 @ 299.294
299.40/300.26 c bounds - >= 704 @ 299.295
299.40/300.26 c bounds - >= 705 @ 299.295
299.40/300.26 c bounds - >= 706 @ 299.295
299.40/300.26 c bounds - >= 707 @ 299.295
299.40/300.26 c bounds - >= 708 @ 299.296
299.40/300.26 c bounds - >= 709 @ 299.296
299.40/300.26 c bounds - >= 710 @ 299.296
299.40/300.26 c bounds - >= 711 @ 299.296
299.40/300.26 c bounds - >= 712 @ 299.297
299.40/300.26 c bounds - >= 713 @ 299.297
299.40/300.26 c bounds - >= 714 @ 299.297
299.40/300.26 c bounds - >= 715 @ 299.297
299.40/300.26 c bounds - >= 716 @ 299.298
299.40/300.26 c bounds - >= 717 @ 299.298
299.40/300.26 c bounds - >= 718 @ 299.298
299.40/300.26 c bounds - >= 719 @ 299.298
299.40/300.26 c bounds - >= 720 @ 299.299
299.40/300.26 c bounds - >= 721 @ 299.299
299.40/300.26 c bounds - >= 722 @ 299.299
299.40/300.26 c bounds - >= 723 @ 299.299
299.40/300.26 c bounds - >= 724 @ 299.3
299.40/300.26 c bounds - >= 725 @ 299.3
299.40/300.26 c bounds - >= 726 @ 299.3
299.40/300.26 c bounds - >= 727 @ 299.3
299.40/300.26 c bounds - >= 728 @ 299.3
299.40/300.26 c bounds - >= 729 @ 299.3
299.40/300.26 c bounds - >= 730 @ 299.3
299.40/300.26 c bounds - >= 731 @ 299.301
299.40/300.26 c bounds - >= 732 @ 299.301
299.40/300.26 c bounds - >= 733 @ 299.301
299.40/300.26 c bounds - >= 734 @ 299.301
299.40/300.26 c bounds - >= 735 @ 299.302
299.40/300.26 c bounds - >= 736 @ 299.302
299.40/300.26 c bounds - >= 737 @ 299.302
299.40/300.26 c bounds - >= 738 @ 299.302
299.40/300.26 c bounds - >= 739 @ 299.302
299.40/300.26 c bounds - >= 740 @ 299.302
299.40/300.26 c bounds - >= 741 @ 299.302
299.40/300.26 c bounds - >= 742 @ 299.303
299.40/300.26 c bounds - >= 743 @ 299.303
299.40/300.26 c bounds - >= 744 @ 299.303
299.40/300.26 c bounds - >= 745 @ 299.303
299.40/300.26 c bounds - >= 746 @ 299.303
299.40/300.26 c bounds - >= 747 @ 299.303
299.40/300.26 c bounds - >= 748 @ 299.303
299.40/300.26 c bounds - >= 749 @ 299.304
299.40/300.26 c bounds - >= 750 @ 299.304
299.40/300.26 c bounds - >= 751 @ 299.304
299.40/300.26 c bounds - >= 752 @ 299.304
299.40/300.26 c bounds - >= 753 @ 299.304
299.40/300.26 c bounds - >= 754 @ 299.304
299.40/300.26 c bounds - >= 755 @ 299.304
299.40/300.26 c bounds - >= 756 @ 299.305
299.40/300.26 c bounds - >= 757 @ 299.305
299.40/300.26 c bounds - >= 758 @ 299.305
299.40/300.26 c bounds - >= 759 @ 299.306
299.40/300.26 c bounds - >= 760 @ 299.306
299.40/300.26 c bounds - >= 761 @ 299.306
299.40/300.26 c bounds - >= 762 @ 299.306
299.40/300.26 c bounds - >= 763 @ 299.306
299.40/300.26 c bounds - >= 764 @ 299.306
299.40/300.26 c bounds - >= 765 @ 299.306
299.40/300.26 c bounds - >= 766 @ 299.306
299.40/300.26 c bounds - >= 767 @ 299.306
299.40/300.26 c bounds - >= 768 @ 299.306
299.40/300.26 c bounds - >= 769 @ 299.306
299.40/300.26 c bounds - >= 770 @ 299.306
299.40/300.26 c bounds - >= 771 @ 299.306
299.40/300.26 c bounds - >= 772 @ 299.306
299.40/300.26 c bounds - >= 773 @ 299.307
299.40/300.26 c bounds - >= 774 @ 299.307
299.40/300.26 c bounds - >= 775 @ 299.307
299.40/300.26 c bounds - >= 776 @ 299.308
299.40/300.26 c bounds - >= 777 @ 299.308
299.40/300.26 c bounds - >= 778 @ 299.308
299.40/300.26 c bounds - >= 779 @ 299.308
299.40/300.26 c bounds - >= 780 @ 299.308
299.40/300.26 c bounds - >= 781 @ 299.308
299.40/300.26 c bounds - >= 782 @ 299.308
299.40/300.26 c bounds - >= 783 @ 299.308
299.40/300.26 c bounds - >= 784 @ 299.308
299.40/300.26 c bounds - >= 785 @ 299.308
299.40/300.26 c bounds - >= 786 @ 299.309
299.40/300.26 c bounds - >= 787 @ 299.309
299.40/300.26 c bounds - >= 788 @ 299.309
299.40/300.26 c bounds - >= 789 @ 299.31
299.40/300.26 c bounds - >= 790 @ 299.31
299.40/300.26 c bounds - >= 791 @ 299.31
299.40/300.26 c bounds - >= 792 @ 299.31
299.40/300.26 c bounds - >= 793 @ 299.31
299.40/300.26 c bounds - >= 794 @ 299.31
299.40/300.26 c bounds - >= 795 @ 299.31
299.40/300.26 c bounds - >= 796 @ 299.31
299.40/300.26 c bounds - >= 797 @ 299.31
299.40/300.26 c bounds - >= 798 @ 299.31
299.40/300.26 c bounds - >= 799 @ 299.31
299.40/300.26 c bounds - >= 800 @ 299.31
299.40/300.26 c bounds - >= 801 @ 299.311
299.40/300.26 c bounds - >= 802 @ 299.311
299.40/300.26 c bounds - >= 803 @ 299.311
299.40/300.26 c bounds - >= 804 @ 299.312
299.40/300.26 c bounds - >= 805 @ 299.312
299.40/300.26 c bounds - >= 806 @ 299.312
299.40/300.26 c bounds - >= 807 @ 299.313
299.40/300.26 c bounds - >= 808 @ 299.313
299.40/300.26 c bounds - >= 809 @ 299.313
299.40/300.26 c bounds - >= 810 @ 299.314
299.40/300.26 c bounds - >= 811 @ 299.314
299.40/300.26 c bounds - >= 812 @ 299.315
299.40/300.26 c bounds - >= 813 @ 299.315
299.40/300.26 c bounds - >= 814 @ 299.315
299.40/300.26 c bounds - >= 815 @ 299.315
299.40/300.26 c bounds - >= 816 @ 299.315
299.40/300.26 c bounds - >= 817 @ 299.316
299.40/300.26 c bounds - >= 818 @ 299.316
299.40/300.26 c bounds - >= 819 @ 299.317
299.40/300.26 c bounds - >= 820 @ 299.317
299.40/300.26 c bounds - >= 821 @ 299.318
299.40/300.26 c bounds - >= 822 @ 299.318
299.40/300.26 c bounds - >= 823 @ 299.319
344.10/345.09 c bounds - >= 824 @ 299.319
344.10/345.09 c #Conflicts: 1000 | #Constraints: 5269
344.10/345.09 c #Conflicts: 2000 | #Constraints: 6269
344.10/345.09 c INPROCESSING
344.10/345.09 c GARBAGE COLLECT
344.10/345.09 c #Conflicts: 3000 | #Constraints: 6076
344.10/345.09 c #Conflicts: 4000 | #Constraints: 7076
344.10/345.09 c INPROCESSING
344.10/345.09 c GARBAGE COLLECT
344.10/345.09 c #Conflicts: 5000 | #Constraints: 6457
344.10/345.09 c #Conflicts: 6000 | #Constraints: 7457
344.10/345.09 c INPROCESSING
344.10/345.09 c GARBAGE COLLECT
344.10/345.09 c #Conflicts: 7000 | #Constraints: 6445
344.10/345.09 c #Conflicts: 8000 | #Constraints: 7445
344.10/345.09 c #Conflicts: 9000 | #Constraints: 8445
344.10/345.09 c INPROCESSING
344.10/345.09 c GARBAGE COLLECT
344.10/345.09 c #Conflicts: 10000 | #Constraints: 7140
344.10/345.09 c #Conflicts: 11000 | #Constraints: 8140
344.10/345.09 c #Conflicts: 12000 | #Constraints: 9140
344.10/345.09 c INPROCESSING
344.10/345.09 c GARBAGE COLLECT
344.10/345.09 c #Conflicts: 13000 | #Constraints: 7590
344.10/345.09 c #Conflicts: 14000 | #Constraints: 8590
344.10/345.09 c #Conflicts: 15000 | #Constraints: 9590
344.10/345.09 c INPROCESSING
344.10/345.09 c GARBAGE COLLECT
344.10/345.09 c #Conflicts: 16000 | #Constraints: 7810
344.10/345.09 c #Conflicts: 17000 | #Constraints: 8810
344.10/345.09 c #Conflicts: 18000 | #Constraints: 9810
344.10/345.09 c INPROCESSING
344.10/345.09 c GARBAGE COLLECT
344.10/345.09 c #Conflicts: 19000 | #Constraints: 7826
344.10/345.09 c #Conflicts: 20000 | #Constraints: 8826
344.10/345.09 c #Conflicts: 21000 | #Constraints: 9826
344.10/345.09 c INPROCESSING
344.10/345.09 c GARBAGE COLLECT
344.10/345.09 c #Conflicts: 22000 | #Constraints: 7631
344.10/345.09 c #Conflicts: 23000 | #Constraints: 8631
344.10/345.09 c #Conflicts: 24000 | #Constraints: 9631
344.10/345.09 c #Conflicts: 25000 | #Constraints: 10631
344.10/345.09 c INPROCESSING
344.10/345.09 c GARBAGE COLLECT
344.10/345.09 c #Conflicts: 26000 | #Constraints: 8238
344.10/345.09 c #Conflicts: 27000 | #Constraints: 9238
344.10/345.09 c #Conflicts: 28000 | #Constraints: 10238
344.10/345.09 c #Conflicts: 29000 | #Constraints: 11238
344.10/345.09 c INPROCESSING
344.10/345.09 c GARBAGE COLLECT
344.10/345.09 c #Conflicts: 30000 | #Constraints: 8635
344.10/345.09 c #Conflicts: 31000 | #Constraints: 9635
344.10/345.09 c #Conflicts: 32000 | #Constraints: 10635
344.10/345.09 c #Conflicts: 33000 | #Constraints: 11635
344.10/345.09 c INPROCESSING
344.10/345.09 c GARBAGE COLLECT
344.10/345.09 c #Conflicts: 34000 | #Constraints: 8835
344.10/345.09 c #Conflicts: 35000 | #Constraints: 9835
344.10/345.09 c #Conflicts: 36000 | #Constraints: 10835
344.10/345.09 c #Conflicts: 37000 | #Constraints: 11835
344.10/345.09 c INPROCESSING
344.10/345.09 c GARBAGE COLLECT
344.10/345.09 c #Conflicts: 38000 | #Constraints: 8835
344.10/345.09 c #Conflicts: 39000 | #Constraints: 9835
344.10/345.09 c #Conflicts: 40000 | #Constraints: 10835
344.10/345.09 c #Conflicts: 41000 | #Constraints: 11835
344.10/345.09 c INPROCESSING
344.10/345.09 c GARBAGE COLLECT
344.10/345.09 c #Conflicts: 42000 | #Constraints: 8644
344.10/345.09 c #Conflicts: 43000 | #Constraints: 9644
344.10/345.09 c #Conflicts: 44000 | #Constraints: 10644
344.10/345.09 c #Conflicts: 45000 | #Constraints: 11644
344.10/345.09 c #Conflicts: 46000 | #Constraints: 12644
344.10/345.09 c INPROCESSING
344.10/345.09 c GARBAGE COLLECT
344.10/345.09 c #Conflicts: 47000 | #Constraints: 9240
344.10/345.09 c #Conflicts: 48000 | #Constraints: 10240
344.10/345.09 c #Conflicts: 49000 | #Constraints: 11240
344.10/345.09 c #Conflicts: 50000 | #Constraints: 12240
344.10/345.09 c #Conflicts: 51000 | #Constraints: 13240
344.10/345.09 c INPROCESSING
344.10/345.09 c GARBAGE COLLECT
344.10/345.09 c #Conflicts: 52000 | #Constraints: 9636
344.10/345.09 c #Conflicts: 53000 | #Constraints: 10636
344.10/345.09 c #Conflicts: 54000 | #Constraints: 11636
344.10/345.09 c #Conflicts: 55000 | #Constraints: 12636
344.10/345.09 c #Conflicts: 56000 | #Constraints: 13636
344.10/345.09 c INPROCESSING
344.10/345.09 c GARBAGE COLLECT
344.10/345.09 c #Conflicts: 57000 | #Constraints: 9839
344.10/345.09 c #Conflicts: 58000 | #Constraints: 10839
344.10/345.09 c #Conflicts: 59000 | #Constraints: 11839
344.10/345.09 c #Conflicts: 60000 | #Constraints: 12839
344.10/345.09 c #Conflicts: 61000 | #Constraints: 13839
344.10/345.09 c INPROCESSING
344.10/345.09 c GARBAGE COLLECT
344.10/345.09 c #Conflicts: 62000 | #Constraints: 9839
344.10/345.09 c #Conflicts: 63000 | #Constraints: 10839
344.10/345.09 c #Conflicts: 64000 | #Constraints: 11839
344.10/345.09 c #Conflicts: 65000 | #Constraints: 12839
344.10/345.09 c #Conflicts: 66000 | #Constraints: 13839
344.10/345.09 c INPROCESSING
344.10/345.09 c GARBAGE COLLECT
344.10/345.09 c #Conflicts: 67000 | #Constraints: 9634
416.30/417.49 c #Conflicts: 68000 | #Constraints: 10634
416.30/417.49 c #Conflicts: 69000 | #Constraints: 11634
416.30/417.49 c #Conflicts: 70000 | #Constraints: 12634
416.30/417.49 c #Conflicts: 71000 | #Constraints: 13634
416.30/417.49 c #Conflicts: 72000 | #Constraints: 14634
416.30/417.49 c INPROCESSING
416.30/417.49 c GARBAGE COLLECT
416.30/417.49 c #Conflicts: 73000 | #Constraints: 10244
416.30/417.49 c #Conflicts: 74000 | #Constraints: 11244
416.30/417.49 c #Conflicts: 75000 | #Constraints: 12244
416.30/417.49 c #Conflicts: 76000 | #Constraints: 13244
416.30/417.49 c #Conflicts: 77000 | #Constraints: 14244
416.30/417.49 c #Conflicts: 78000 | #Constraints: 15244
416.30/417.49 c INPROCESSING
416.30/417.49 c GARBAGE COLLECT
416.30/417.49 c #Conflicts: 79000 | #Constraints: 10645
416.30/417.49 c #Conflicts: 80000 | #Constraints: 11645
416.30/417.49 c #Conflicts: 81000 | #Constraints: 12645
416.30/417.49 c #Conflicts: 82000 | #Constraints: 13645
416.30/417.49 c #Conflicts: 83000 | #Constraints: 14645
416.30/417.49 c #Conflicts: 84000 | #Constraints: 15645
416.30/417.49 c INPROCESSING
416.30/417.49 c GARBAGE COLLECT
416.30/417.49 c #Conflicts: 85000 | #Constraints: 10845
416.30/417.49 c #Conflicts: 86000 | #Constraints: 11845
416.30/417.49 c #Conflicts: 87000 | #Constraints: 12845
416.30/417.49 c #Conflicts: 88000 | #Constraints: 13845
416.30/417.49 c #Conflicts: 89000 | #Constraints: 14845
416.30/417.49 c #Conflicts: 90000 | #Constraints: 15845
416.30/417.49 c INPROCESSING
416.30/417.49 c GARBAGE COLLECT
416.30/417.49 c #Conflicts: 91000 | #Constraints: 10851
416.30/417.49 c #Conflicts: 92000 | #Constraints: 11851
416.30/417.49 c #Conflicts: 93000 | #Constraints: 12851
416.30/417.49 c #Conflicts: 94000 | #Constraints: 13851
416.30/417.49 c #Conflicts: 95000 | #Constraints: 14851
416.30/417.49 c #Conflicts: 96000 | #Constraints: 15851
416.30/417.49 c INPROCESSING
416.30/417.49 c GARBAGE COLLECT
416.30/417.49 c #Conflicts: 97000 | #Constraints: 10654
416.30/417.49 c #Conflicts: 98000 | #Constraints: 11654
416.30/417.49 c #Conflicts: 99000 | #Constraints: 12654
416.30/417.49 c #Conflicts: 100000 | #Constraints: 13654
416.30/417.49 c #Conflicts: 101000 | #Constraints: 14654
416.30/417.49 c #Conflicts: 102000 | #Constraints: 15654
416.30/417.49 c #Conflicts: 103000 | #Constraints: 16654
416.30/417.49 c INPROCESSING
416.30/417.49 c GARBAGE COLLECT
416.30/417.49 c #Conflicts: 104000 | #Constraints: 11252
416.30/417.49 c #Conflicts: 105000 | #Constraints: 12252
416.30/417.49 c #Conflicts: 106000 | #Constraints: 13252
416.30/417.49 c #Conflicts: 107000 | #Constraints: 14252
416.30/417.49 c #Conflicts: 108000 | #Constraints: 15252
416.30/417.49 c #Conflicts: 109000 | #Constraints: 16252
416.30/417.49 c #Conflicts: 110000 | #Constraints: 17252
416.30/417.49 c INPROCESSING
416.30/417.49 c GARBAGE COLLECT
416.30/417.49 c #Conflicts: 111000 | #Constraints: 11648
416.30/417.49 c #Conflicts: 112000 | #Constraints: 12648
416.30/417.49 c #Conflicts: 113000 | #Constraints: 13648
416.30/417.49 c #Conflicts: 114000 | #Constraints: 14648
416.30/417.49 c #Conflicts: 115000 | #Constraints: 15648
416.30/417.49 c #Conflicts: 116000 | #Constraints: 16648
416.30/417.49 c #Conflicts: 117000 | #Constraints: 17648
416.30/417.49 c INPROCESSING
416.30/417.49 c GARBAGE COLLECT
416.30/417.49 c #Conflicts: 118000 | #Constraints: 11840
416.30/417.49 c #Conflicts: 119000 | #Constraints: 12840
416.30/417.49 c #Conflicts: 120000 | #Constraints: 13840
416.30/417.49 c #Conflicts: 121000 | #Constraints: 14840
416.30/417.49 c #Conflicts: 122000 | #Constraints: 15840
416.30/417.49 c #Conflicts: 123000 | #Constraints: 16840
416.30/417.49 c #Conflicts: 124000 | #Constraints: 17840
416.30/417.49 c INPROCESSING
416.30/417.49 c GARBAGE COLLECT
416.30/417.49 c #Conflicts: 125000 | #Constraints: 11837
416.30/417.49 c #Conflicts: 126000 | #Constraints: 12837
416.30/417.49 c #Conflicts: 127000 | #Constraints: 13837
416.30/417.49 c #Conflicts: 128000 | #Constraints: 14837
416.30/417.49 c #Conflicts: 129000 | #Constraints: 15837
416.30/417.49 c #Conflicts: 130000 | #Constraints: 16837
416.30/417.49 c #Conflicts: 131000 | #Constraints: 17837
416.30/417.49 c INPROCESSING
416.30/417.49 c GARBAGE COLLECT
416.30/417.49 c #Conflicts: 132000 | #Constraints: 11641
416.30/417.49 c #Conflicts: 133000 | #Constraints: 12641
416.30/417.49 c #Conflicts: 134000 | #Constraints: 13641
416.30/417.49 c #Conflicts: 135000 | #Constraints: 14641
416.30/417.49 c #Conflicts: 136000 | #Constraints: 15641
416.30/417.49 c #Conflicts: 137000 | #Constraints: 16641
416.30/417.49 c #Conflicts: 138000 | #Constraints: 17641
416.30/417.49 c #Conflicts: 139000 | #Constraints: 18641
507.13/508.51 c INPROCESSING
507.13/508.51 c GARBAGE COLLECT
507.13/508.51 c #Conflicts: 140000 | #Constraints: 12248
507.13/508.51 c #Conflicts: 141000 | #Constraints: 13248
507.13/508.51 c #Conflicts: 142000 | #Constraints: 14248
507.13/508.51 c #Conflicts: 143000 | #Constraints: 15248
507.13/508.51 c #Conflicts: 144000 | #Constraints: 16248
507.13/508.51 c #Conflicts: 145000 | #Constraints: 17248
507.13/508.51 c #Conflicts: 146000 | #Constraints: 18248
507.13/508.51 c #Conflicts: 147000 | #Constraints: 19248
507.13/508.51 c INPROCESSING
507.13/508.51 c GARBAGE COLLECT
507.13/508.51 c #Conflicts: 148000 | #Constraints: 12654
507.13/508.51 c #Conflicts: 149000 | #Constraints: 13654
507.13/508.51 c #Conflicts: 150000 | #Constraints: 14654
507.13/508.51 c #Conflicts: 151000 | #Constraints: 15654
507.13/508.51 c #Conflicts: 152000 | #Constraints: 16654
507.13/508.51 c #Conflicts: 153000 | #Constraints: 17654
507.13/508.51 c #Conflicts: 154000 | #Constraints: 18654
507.13/508.51 c #Conflicts: 155000 | #Constraints: 19654
507.13/508.51 c INPROCESSING
507.13/508.51 c GARBAGE COLLECT
507.13/508.51 c #Conflicts: 156000 | #Constraints: 12849
507.13/508.51 c #Conflicts: 157000 | #Constraints: 13849
507.13/508.51 c #Conflicts: 158000 | #Constraints: 14849
507.13/508.51 c #Conflicts: 159000 | #Constraints: 15849
507.13/508.51 c #Conflicts: 160000 | #Constraints: 16849
507.13/508.51 c #Conflicts: 161000 | #Constraints: 17849
507.13/508.51 c #Conflicts: 162000 | #Constraints: 18849
507.13/508.51 c #Conflicts: 163000 | #Constraints: 19849
507.13/508.51 c INPROCESSING
507.13/508.51 c GARBAGE COLLECT
507.13/508.51 c #Conflicts: 164000 | #Constraints: 12857
507.13/508.51 c #Conflicts: 165000 | #Constraints: 13857
507.13/508.51 c #Conflicts: 166000 | #Constraints: 14857
507.13/508.51 c #Conflicts: 167000 | #Constraints: 15857
507.13/508.51 c #Conflicts: 168000 | #Constraints: 16857
507.13/508.51 c #Conflicts: 169000 | #Constraints: 17857
507.13/508.51 c #Conflicts: 170000 | #Constraints: 18857
507.13/508.51 c #Conflicts: 171000 | #Constraints: 19857
507.13/508.51 c INPROCESSING
507.13/508.51 c GARBAGE COLLECT
507.13/508.51 c #Conflicts: 172000 | #Constraints: 12656
507.13/508.51 c #Conflicts: 173000 | #Constraints: 13656
507.13/508.51 c #Conflicts: 174000 | #Constraints: 14656
507.13/508.51 c #Conflicts: 175000 | #Constraints: 15656
507.13/508.51 c #Conflicts: 176000 | #Constraints: 16656
507.13/508.51 c #Conflicts: 177000 | #Constraints: 17656
507.13/508.51 c #Conflicts: 178000 | #Constraints: 18656
507.13/508.51 c #Conflicts: 179000 | #Constraints: 19656
507.13/508.51 c #Conflicts: 180000 | #Constraints: 20656
507.13/508.51 c INPROCESSING
507.13/508.51 c GARBAGE COLLECT
507.13/508.51 c #Conflicts: 181000 | #Constraints: 13249
507.13/508.51 c #Conflicts: 182000 | #Constraints: 14249
507.13/508.51 c #Conflicts: 183000 | #Constraints: 15249
507.13/508.51 c #Conflicts: 184000 | #Constraints: 16249
507.13/508.51 c #Conflicts: 185000 | #Constraints: 17249
507.13/508.51 c #Conflicts: 186000 | #Constraints: 18249
507.13/508.51 c #Conflicts: 187000 | #Constraints: 19249
507.13/508.51 c #Conflicts: 188000 | #Constraints: 20249
507.13/508.51 c #Conflicts: 189000 | #Constraints: 21249
507.13/508.51 c INPROCESSING
507.13/508.51 c GARBAGE COLLECT
507.13/508.51 c #Conflicts: 190000 | #Constraints: 13654
507.13/508.51 c #Conflicts: 191000 | #Constraints: 14654
507.13/508.51 c #Conflicts: 192000 | #Constraints: 15654
507.13/508.51 c #Conflicts: 193000 | #Constraints: 16654
507.13/508.51 c #Conflicts: 194000 | #Constraints: 17654
507.13/508.51 c #Conflicts: 195000 | #Constraints: 18654
507.13/508.51 c #Conflicts: 196000 | #Constraints: 19654
507.13/508.51 c #Conflicts: 197000 | #Constraints: 20654
507.13/508.51 c #Conflicts: 198000 | #Constraints: 21654
507.13/508.51 c INPROCESSING
507.13/508.51 c GARBAGE COLLECT
507.13/508.51 c #Conflicts: 199000 | #Constraints: 13858
507.13/508.51 c #Conflicts: 200000 | #Constraints: 14858
507.13/508.51 c #Conflicts: 201000 | #Constraints: 15858
507.13/508.51 c #Conflicts: 202000 | #Constraints: 16858
507.13/508.51 c #Conflicts: 203000 | #Constraints: 17858
507.13/508.51 c #Conflicts: 204000 | #Constraints: 18858
507.13/508.51 c #Conflicts: 205000 | #Constraints: 19858
507.13/508.51 c #Conflicts: 206000 | #Constraints: 20858
507.13/508.51 c #Conflicts: 207000 | #Constraints: 21858
507.13/508.51 c INPROCESSING
507.13/508.51 c GARBAGE COLLECT
507.13/508.51 c #Conflicts: 208000 | #Constraints: 13856
507.13/508.51 c #Conflicts: 209000 | #Constraints: 14856
507.13/508.51 c #Conflicts: 210000 | #Constraints: 15856
507.13/508.51 c #Conflicts: 211000 | #Constraints: 16856
507.13/508.51 c #Conflicts: 212000 | #Constraints: 17856
617.27/618.90 c #Conflicts: 213000 | #Constraints: 18856
617.27/618.90 c #Conflicts: 214000 | #Constraints: 19856
617.27/618.90 c #Conflicts: 215000 | #Constraints: 20856
617.27/618.90 c #Conflicts: 216000 | #Constraints: 21856
617.27/618.90 c INPROCESSING
617.27/618.90 c GARBAGE COLLECT
617.27/618.90 c #Conflicts: 217000 | #Constraints: 13667
617.27/618.90 c #Conflicts: 218000 | #Constraints: 14667
617.27/618.90 c #Conflicts: 219000 | #Constraints: 15667
617.27/618.90 c #Conflicts: 220000 | #Constraints: 16667
617.27/618.90 c #Conflicts: 221000 | #Constraints: 17667
617.27/618.90 c #Conflicts: 222000 | #Constraints: 18667
617.27/618.90 c #Conflicts: 223000 | #Constraints: 19667
617.27/618.90 c #Conflicts: 224000 | #Constraints: 20667
617.27/618.90 c #Conflicts: 225000 | #Constraints: 21667
617.27/618.90 c #Conflicts: 226000 | #Constraints: 22667
617.27/618.90 c INPROCESSING
617.27/618.90 c GARBAGE COLLECT
617.27/618.90 c #Conflicts: 227000 | #Constraints: 14266
617.27/618.90 c #Conflicts: 228000 | #Constraints: 15266
617.27/618.90 c #Conflicts: 229000 | #Constraints: 16266
617.27/618.90 c #Conflicts: 230000 | #Constraints: 17266
617.27/618.90 c #Conflicts: 231000 | #Constraints: 18266
617.27/618.90 c #Conflicts: 232000 | #Constraints: 19266
617.27/618.90 c #Conflicts: 233000 | #Constraints: 20266
617.27/618.90 c #Conflicts: 234000 | #Constraints: 21266
617.27/618.90 c #Conflicts: 235000 | #Constraints: 22266
617.27/618.90 c #Conflicts: 236000 | #Constraints: 23266
617.27/618.90 c INPROCESSING
617.27/618.90 c GARBAGE COLLECT
617.27/618.90 c #Conflicts: 237000 | #Constraints: 14646
617.27/618.90 c #Conflicts: 238000 | #Constraints: 15646
617.27/618.90 c #Conflicts: 239000 | #Constraints: 16646
617.27/618.90 c #Conflicts: 240000 | #Constraints: 17646
617.27/618.90 c #Conflicts: 241000 | #Constraints: 18646
617.27/618.90 c #Conflicts: 242000 | #Constraints: 19646
617.27/618.90 c #Conflicts: 243000 | #Constraints: 20646
617.27/618.90 c #Conflicts: 244000 | #Constraints: 21646
617.27/618.90 c #Conflicts: 245000 | #Constraints: 22646
617.27/618.90 c #Conflicts: 246000 | #Constraints: 23646
617.27/618.90 c INPROCESSING
617.27/618.90 c GARBAGE COLLECT
617.27/618.90 c #Conflicts: 247000 | #Constraints: 14847
617.27/618.90 c #Conflicts: 248000 | #Constraints: 15847
617.27/618.90 c #Conflicts: 249000 | #Constraints: 16847
617.27/618.90 c #Conflicts: 250000 | #Constraints: 17847
617.27/618.90 c #Conflicts: 251000 | #Constraints: 18847
617.27/618.90 c #Conflicts: 252000 | #Constraints: 19847
617.27/618.90 c #Conflicts: 253000 | #Constraints: 20847
617.27/618.90 c #Conflicts: 254000 | #Constraints: 21847
617.27/618.90 c #Conflicts: 255000 | #Constraints: 22847
617.27/618.90 c #Conflicts: 256000 | #Constraints: 23847
617.27/618.90 c INPROCESSING
617.27/618.90 c GARBAGE COLLECT
617.27/618.90 c #Conflicts: 257000 | #Constraints: 14845
617.27/618.90 c #Conflicts: 258000 | #Constraints: 15845
617.27/618.90 c #Conflicts: 259000 | #Constraints: 16845
617.27/618.90 c #Conflicts: 260000 | #Constraints: 17845
617.27/618.90 c #Conflicts: 261000 | #Constraints: 18845
617.27/618.90 c #Conflicts: 262000 | #Constraints: 19845
617.27/618.90 c #Conflicts: 263000 | #Constraints: 20845
617.27/618.90 c #Conflicts: 264000 | #Constraints: 21845
617.27/618.90 c #Conflicts: 265000 | #Constraints: 22845
617.27/618.90 c #Conflicts: 266000 | #Constraints: 23845
617.27/618.90 c INPROCESSING
617.27/618.90 c GARBAGE COLLECT
617.27/618.90 c #Conflicts: 267000 | #Constraints: 14644
617.27/618.90 c #Conflicts: 268000 | #Constraints: 15644
617.27/618.90 c #Conflicts: 269000 | #Constraints: 16644
617.27/618.90 c #Conflicts: 270000 | #Constraints: 17644
617.27/618.90 c #Conflicts: 271000 | #Constraints: 18644
617.27/618.90 c #Conflicts: 272000 | #Constraints: 19644
617.27/618.90 c #Conflicts: 273000 | #Constraints: 20644
617.27/618.90 c #Conflicts: 274000 | #Constraints: 21644
617.27/618.90 c #Conflicts: 275000 | #Constraints: 22644
617.27/618.90 c #Conflicts: 276000 | #Constraints: 23644
617.27/618.90 c #Conflicts: 277000 | #Constraints: 24644
617.27/618.90 c INPROCESSING
617.27/618.90 c GARBAGE COLLECT
617.27/618.90 c #Conflicts: 278000 | #Constraints: 15236
617.27/618.90 c #Conflicts: 279000 | #Constraints: 16236
617.27/618.90 c #Conflicts: 280000 | #Constraints: 17236
617.27/618.90 c #Conflicts: 281000 | #Constraints: 18236
617.27/618.90 c #Conflicts: 282000 | #Constraints: 19236
617.27/618.90 c #Conflicts: 283000 | #Constraints: 20236
617.27/618.90 c #Conflicts: 284000 | #Constraints: 21236
617.27/618.90 c #Conflicts: 285000 | #Constraints: 22236
617.27/618.90 c #Conflicts: 286000 | #Constraints: 23236
617.27/618.90 c #Conflicts: 287000 | #Constraints: 24236
718.13/720.04 c #Conflicts: 288000 | #Constraints: 25236
718.13/720.04 c INPROCESSING
718.13/720.04 c GARBAGE COLLECT
718.13/720.04 c #Conflicts: 289000 | #Constraints: 15644
718.13/720.04 c #Conflicts: 290000 | #Constraints: 16644
718.13/720.04 c #Conflicts: 291000 | #Constraints: 17644
718.13/720.04 c #Conflicts: 292000 | #Constraints: 18644
718.13/720.04 c #Conflicts: 293000 | #Constraints: 19644
718.13/720.04 c #Conflicts: 294000 | #Constraints: 20644
718.13/720.04 c #Conflicts: 295000 | #Constraints: 21644
718.13/720.04 c #Conflicts: 296000 | #Constraints: 22644
718.13/720.04 c #Conflicts: 297000 | #Constraints: 23644
718.13/720.04 c #Conflicts: 298000 | #Constraints: 24644
718.13/720.04 c #Conflicts: 299000 | #Constraints: 25644
718.13/720.04 c INPROCESSING
718.13/720.04 c GARBAGE COLLECT
718.13/720.04 c #Conflicts: 300000 | #Constraints: 15845
718.13/720.04 c #Conflicts: 301000 | #Constraints: 16845
718.13/720.04 c #Conflicts: 302000 | #Constraints: 17845
718.13/720.04 c #Conflicts: 303000 | #Constraints: 18845
718.13/720.04 c #Conflicts: 304000 | #Constraints: 19845
718.13/720.04 c #Conflicts: 305000 | #Constraints: 20845
718.13/720.04 c #Conflicts: 306000 | #Constraints: 21845
718.13/720.04 c #Conflicts: 307000 | #Constraints: 22845
718.13/720.04 c #Conflicts: 308000 | #Constraints: 23845
718.13/720.04 c #Conflicts: 309000 | #Constraints: 24845
718.13/720.04 c #Conflicts: 310000 | #Constraints: 25845
718.13/720.04 c INPROCESSING
718.13/720.04 c GARBAGE COLLECT
718.13/720.04 c #Conflicts: 311000 | #Constraints: 15841
718.13/720.04 c #Conflicts: 312000 | #Constraints: 16841
718.13/720.04 c #Conflicts: 313000 | #Constraints: 17841
718.13/720.04 c #Conflicts: 314000 | #Constraints: 18841
718.13/720.04 c #Conflicts: 315000 | #Constraints: 19841
718.13/720.04 c #Conflicts: 316000 | #Constraints: 20841
718.13/720.04 c #Conflicts: 317000 | #Constraints: 21841
718.13/720.04 c #Conflicts: 318000 | #Constraints: 22841
718.13/720.04 c #Conflicts: 319000 | #Constraints: 23841
718.13/720.04 c #Conflicts: 320000 | #Constraints: 24841
718.13/720.04 c #Conflicts: 321000 | #Constraints: 25841
718.13/720.04 c INPROCESSING
718.13/720.04 c GARBAGE COLLECT
718.13/720.04 c #Conflicts: 322000 | #Constraints: 15645
718.13/720.04 c #Conflicts: 323000 | #Constraints: 16645
718.13/720.04 c #Conflicts: 324000 | #Constraints: 17645
718.13/720.04 c #Conflicts: 325000 | #Constraints: 18645
718.13/720.04 c #Conflicts: 326000 | #Constraints: 19645
718.13/720.04 c #Conflicts: 327000 | #Constraints: 20645
718.13/720.04 c #Conflicts: 328000 | #Constraints: 21645
718.13/720.04 c #Conflicts: 329000 | #Constraints: 22645
718.13/720.04 c #Conflicts: 330000 | #Constraints: 23645
718.13/720.04 c #Conflicts: 331000 | #Constraints: 24645
718.13/720.04 c #Conflicts: 332000 | #Constraints: 25645
718.13/720.04 c #Conflicts: 333000 | #Constraints: 26645
718.13/720.04 c INPROCESSING
718.13/720.04 c GARBAGE COLLECT
718.13/720.04 c #Conflicts: 334000 | #Constraints: 16250
718.13/720.04 c #Conflicts: 335000 | #Constraints: 17250
718.13/720.04 c #Conflicts: 336000 | #Constraints: 18250
718.13/720.04 c #Conflicts: 337000 | #Constraints: 19250
718.13/720.04 c #Conflicts: 338000 | #Constraints: 20250
718.13/720.04 c #Conflicts: 339000 | #Constraints: 21250
718.13/720.04 c #Conflicts: 340000 | #Constraints: 22250
718.13/720.04 c #Conflicts: 341000 | #Constraints: 23250
718.13/720.04 c #Conflicts: 342000 | #Constraints: 24250
718.13/720.04 c #Conflicts: 343000 | #Constraints: 25250
718.13/720.04 c #Conflicts: 344000 | #Constraints: 26250
718.13/720.04 c #Conflicts: 345000 | #Constraints: 27250
718.13/720.04 c INPROCESSING
718.13/720.04 c GARBAGE COLLECT
718.13/720.04 c #Conflicts: 346000 | #Constraints: 16652
718.13/720.04 c #Conflicts: 347000 | #Constraints: 17652
718.13/720.04 c #Conflicts: 348000 | #Constraints: 18652
718.13/720.04 c #Conflicts: 349000 | #Constraints: 19652
718.13/720.04 c #Conflicts: 350000 | #Constraints: 20652
718.13/720.04 c #Conflicts: 351000 | #Constraints: 21652
718.13/720.04 c #Conflicts: 352000 | #Constraints: 22652
718.13/720.04 c #Conflicts: 353000 | #Constraints: 23652
718.13/720.04 c #Conflicts: 354000 | #Constraints: 24652
718.13/720.04 c #Conflicts: 355000 | #Constraints: 25652
718.13/720.04 c #Conflicts: 356000 | #Constraints: 26652
718.13/720.04 c #Conflicts: 357000 | #Constraints: 27652
718.13/720.04 c INPROCESSING
718.13/720.04 c GARBAGE COLLECT
718.13/720.04 c #Conflicts: 358000 | #Constraints: 16858
718.13/720.04 c #Conflicts: 359000 | #Constraints: 17858
718.13/720.04 c #Conflicts: 360000 | #Constraints: 18858
718.13/720.04 c #Conflicts: 361000 | #Constraints: 19858
882.71/885.02 c #Conflicts: 362000 | #Constraints: 20858
882.71/885.02 c #Conflicts: 363000 | #Constraints: 21858
882.71/885.02 c #Conflicts: 364000 | #Constraints: 22858
882.71/885.02 c #Conflicts: 365000 | #Constraints: 23858
882.71/885.02 c #Conflicts: 366000 | #Constraints: 24858
882.71/885.02 c #Conflicts: 367000 | #Constraints: 25858
882.71/885.02 c #Conflicts: 368000 | #Constraints: 26858
882.71/885.02 c #Conflicts: 369000 | #Constraints: 27858
882.71/885.02 c INPROCESSING
882.71/885.02 c GARBAGE COLLECT
882.71/885.02 c #Conflicts: 370000 | #Constraints: 16852
882.71/885.02 c #Conflicts: 371000 | #Constraints: 17852
882.71/885.02 c #Conflicts: 372000 | #Constraints: 18852
882.71/885.02 c #Conflicts: 373000 | #Constraints: 19852
882.71/885.02 c #Conflicts: 374000 | #Constraints: 20852
882.71/885.02 c #Conflicts: 375000 | #Constraints: 21852
882.71/885.02 c #Conflicts: 376000 | #Constraints: 22852
882.71/885.02 c #Conflicts: 377000 | #Constraints: 23852
882.71/885.02 c #Conflicts: 378000 | #Constraints: 24852
882.71/885.02 c #Conflicts: 379000 | #Constraints: 25852
882.71/885.02 c #Conflicts: 380000 | #Constraints: 26852
882.71/885.02 c #Conflicts: 381000 | #Constraints: 27852
882.71/885.02 c INPROCESSING
882.71/885.02 c GARBAGE COLLECT
882.71/885.02 c #Conflicts: 382000 | #Constraints: 16650
882.71/885.02 c #Conflicts: 383000 | #Constraints: 17650
882.71/885.02 c #Conflicts: 384000 | #Constraints: 18650
882.71/885.02 c #Conflicts: 385000 | #Constraints: 19650
882.71/885.02 c #Conflicts: 386000 | #Constraints: 20650
882.71/885.02 c #Conflicts: 387000 | #Constraints: 21650
882.71/885.02 c #Conflicts: 388000 | #Constraints: 22650
882.71/885.02 c #Conflicts: 389000 | #Constraints: 23650
882.71/885.02 c #Conflicts: 390000 | #Constraints: 24650
882.71/885.02 c #Conflicts: 391000 | #Constraints: 25650
882.71/885.02 c #Conflicts: 392000 | #Constraints: 26650
882.71/885.02 c #Conflicts: 393000 | #Constraints: 27650
882.71/885.02 c #Conflicts: 394000 | #Constraints: 28650
882.71/885.02 c INPROCESSING
882.71/885.02 c GARBAGE COLLECT
882.71/885.02 c #Conflicts: 395000 | #Constraints: 17249
882.71/885.02 c #Conflicts: 396000 | #Constraints: 18249
882.71/885.02 c #Conflicts: 397000 | #Constraints: 19249
882.71/885.02 c #Conflicts: 398000 | #Constraints: 20249
882.71/885.02 c #Conflicts: 399000 | #Constraints: 21249
882.71/885.02 c #Conflicts: 400000 | #Constraints: 22249
882.71/885.02 c #Conflicts: 401000 | #Constraints: 23249
882.71/885.02 c #Conflicts: 402000 | #Constraints: 24249
882.71/885.02 c #Conflicts: 403000 | #Constraints: 25249
882.71/885.02 c #Conflicts: 404000 | #Constraints: 26249
882.71/885.02 c #Conflicts: 405000 | #Constraints: 27249
882.71/885.02 c #Conflicts: 406000 | #Constraints: 28249
882.71/885.02 c #Conflicts: 407000 | #Constraints: 29249
882.71/885.02 c INPROCESSING
882.71/885.02 c GARBAGE COLLECT
882.71/885.02 c #Conflicts: 408000 | #Constraints: 17647
882.71/885.02 c #Conflicts: 409000 | #Constraints: 18647
882.71/885.02 c #Conflicts: 410000 | #Constraints: 19647
882.71/885.02 c #Conflicts: 411000 | #Constraints: 20647
882.71/885.02 c #Conflicts: 412000 | #Constraints: 21647
882.71/885.02 c #Conflicts: 413000 | #Constraints: 22647
882.71/885.02 c #Conflicts: 414000 | #Constraints: 23647
882.71/885.02 c #Conflicts: 415000 | #Constraints: 24647
882.71/885.02 c #Conflicts: 416000 | #Constraints: 25647
882.71/885.02 c #Conflicts: 417000 | #Constraints: 26647
882.71/885.02 c #Conflicts: 418000 | #Constraints: 27647
882.71/885.02 c #Conflicts: 419000 | #Constraints: 28647
882.71/885.02 c #Conflicts: 420000 | #Constraints: 29647
882.71/885.02 c INPROCESSING
882.71/885.02 c GARBAGE COLLECT
882.71/885.02 c #Conflicts: 421000 | #Constraints: 17856
882.71/885.02 c #Conflicts: 422000 | #Constraints: 18856
882.71/885.02 c #Conflicts: 423000 | #Constraints: 19856
882.71/885.02 c #Conflicts: 424000 | #Constraints: 20856
882.71/885.02 c #Conflicts: 425000 | #Constraints: 21856
882.71/885.02 c #Conflicts: 426000 | #Constraints: 22856
882.71/885.02 c #Conflicts: 427000 | #Constraints: 23856
882.71/885.02 c #Conflicts: 428000 | #Constraints: 24856
882.71/885.02 c #Conflicts: 429000 | #Constraints: 25856
882.71/885.02 c #Conflicts: 430000 | #Constraints: 26856
882.71/885.02 c #Conflicts: 431000 | #Constraints: 27856
882.71/885.02 c #Conflicts: 432000 | #Constraints: 28856
882.71/885.02 c #Conflicts: 433000 | #Constraints: 29856
882.71/885.02 c INPROCESSING
882.71/885.02 c GARBAGE COLLECT
882.71/885.02 c #Conflicts: 434000 | #Constraints: 17861
882.71/885.02 c #Conflicts: 435000 | #Constraints: 18861
882.71/885.02 c #Conflicts: 436000 | #Constraints: 19861
1022.96/1025.64 c #Conflicts: 437000 | #Constraints: 20861
1022.96/1025.64 c #Conflicts: 438000 | #Constraints: 21861
1022.96/1025.64 c #Conflicts: 439000 | #Constraints: 22861
1022.96/1025.64 c #Conflicts: 440000 | #Constraints: 23861
1022.96/1025.64 c #Conflicts: 441000 | #Constraints: 24861
1022.96/1025.64 c #Conflicts: 442000 | #Constraints: 25861
1022.96/1025.64 c #Conflicts: 443000 | #Constraints: 26861
1022.96/1025.64 c #Conflicts: 444000 | #Constraints: 27861
1022.96/1025.64 c #Conflicts: 445000 | #Constraints: 28861
1022.96/1025.64 c #Conflicts: 446000 | #Constraints: 29861
1022.96/1025.64 c INPROCESSING
1022.96/1025.64 c GARBAGE COLLECT
1022.96/1025.64 c #Conflicts: 447000 | #Constraints: 17660
1022.96/1025.64 c #Conflicts: 448000 | #Constraints: 18660
1022.96/1025.64 c #Conflicts: 449000 | #Constraints: 19660
1022.96/1025.64 c #Conflicts: 450000 | #Constraints: 20660
1022.96/1025.64 c #Conflicts: 451000 | #Constraints: 21660
1022.96/1025.64 c #Conflicts: 452000 | #Constraints: 22660
1022.96/1025.64 c #Conflicts: 453000 | #Constraints: 23660
1022.96/1025.64 c #Conflicts: 454000 | #Constraints: 24660
1022.96/1025.64 c #Conflicts: 455000 | #Constraints: 25660
1022.96/1025.64 c #Conflicts: 456000 | #Constraints: 26660
1022.96/1025.64 c #Conflicts: 457000 | #Constraints: 27660
1022.96/1025.64 c #Conflicts: 458000 | #Constraints: 28660
1022.96/1025.64 c #Conflicts: 459000 | #Constraints: 29660
1022.96/1025.64 c #Conflicts: 460000 | #Constraints: 30660
1022.96/1025.64 c INPROCESSING
1022.96/1025.64 c GARBAGE COLLECT
1022.96/1025.64 c #Conflicts: 461000 | #Constraints: 18257
1022.96/1025.64 c #Conflicts: 462000 | #Constraints: 19257
1022.96/1025.64 c #Conflicts: 463000 | #Constraints: 20257
1022.96/1025.64 c #Conflicts: 464000 | #Constraints: 21257
1022.96/1025.64 c #Conflicts: 465000 | #Constraints: 22257
1022.96/1025.64 c #Conflicts: 466000 | #Constraints: 23257
1022.96/1025.64 c #Conflicts: 467000 | #Constraints: 24257
1022.96/1025.64 c #Conflicts: 468000 | #Constraints: 25257
1022.96/1025.64 c #Conflicts: 469000 | #Constraints: 26257
1022.96/1025.64 c #Conflicts: 470000 | #Constraints: 27257
1022.96/1025.64 c #Conflicts: 471000 | #Constraints: 28257
1022.96/1025.64 c #Conflicts: 472000 | #Constraints: 29257
1022.96/1025.64 c #Conflicts: 473000 | #Constraints: 30257
1022.96/1025.64 c #Conflicts: 474000 | #Constraints: 31257
1022.96/1025.64 c INPROCESSING
1022.96/1025.64 c GARBAGE COLLECT
1022.96/1025.64 c #Conflicts: 475000 | #Constraints: 18660
1022.96/1025.64 c #Conflicts: 476000 | #Constraints: 19660
1022.96/1025.64 c #Conflicts: 477000 | #Constraints: 20660
1022.96/1025.64 c #Conflicts: 478000 | #Constraints: 21660
1022.96/1025.64 c #Conflicts: 479000 | #Constraints: 22660
1022.96/1025.64 c #Conflicts: 480000 | #Constraints: 23660
1022.96/1025.64 c #Conflicts: 481000 | #Constraints: 24660
1022.96/1025.64 c #Conflicts: 482000 | #Constraints: 25660
1022.96/1025.64 c #Conflicts: 483000 | #Constraints: 26660
1022.96/1025.64 c #Conflicts: 484000 | #Constraints: 27660
1022.96/1025.64 c #Conflicts: 485000 | #Constraints: 28660
1022.96/1025.64 c #Conflicts: 486000 | #Constraints: 29660
1022.96/1025.64 c #Conflicts: 487000 | #Constraints: 30660
1022.96/1025.64 c #Conflicts: 488000 | #Constraints: 31660
1022.96/1025.64 c INPROCESSING
1022.96/1025.64 c GARBAGE COLLECT
1022.96/1025.64 c #Conflicts: 489000 | #Constraints: 18874
1022.96/1025.64 c #Conflicts: 490000 | #Constraints: 19874
1022.96/1025.64 c #Conflicts: 491000 | #Constraints: 20874
1022.96/1025.64 c #Conflicts: 492000 | #Constraints: 21874
1022.96/1025.64 c #Conflicts: 493000 | #Constraints: 22874
1022.96/1025.64 c #Conflicts: 494000 | #Constraints: 23874
1022.96/1025.64 c #Conflicts: 495000 | #Constraints: 24874
1022.96/1025.64 c #Conflicts: 496000 | #Constraints: 25874
1022.96/1025.64 c #Conflicts: 497000 | #Constraints: 26874
1022.96/1025.64 c #Conflicts: 498000 | #Constraints: 27874
1022.96/1025.64 c #Conflicts: 499000 | #Constraints: 28874
1022.96/1025.64 c #Conflicts: 500000 | #Constraints: 29874
1022.96/1025.64 c #Conflicts: 501000 | #Constraints: 30874
1022.96/1025.64 c #Conflicts: 502000 | #Constraints: 31874
1022.96/1025.64 c INPROCESSING
1022.96/1025.64 c GARBAGE COLLECT
1022.96/1025.64 c #Conflicts: 503000 | #Constraints: 18866
1022.96/1025.64 c #Conflicts: 504000 | #Constraints: 19866
1022.96/1025.64 c #Conflicts: 505000 | #Constraints: 20866
1022.96/1025.64 c #Conflicts: 506000 | #Constraints: 21866
1022.96/1025.64 c #Conflicts: 507000 | #Constraints: 22866
1022.96/1025.64 c #Conflicts: 508000 | #Constraints: 23866
1022.96/1025.64 c #Conflicts: 509000 | #Constraints: 24866
1022.96/1025.64 c #Conflicts: 510000 | #Constraints: 25866
1022.96/1025.64 c #Conflicts: 511000 | #Constraints: 26866
1022.96/1025.64 c #Conflicts: 512000 | #Constraints: 27866
1184.15/1187.27 c #Conflicts: 513000 | #Constraints: 28866
1184.15/1187.27 c #Conflicts: 514000 | #Constraints: 29866
1184.15/1187.27 c #Conflicts: 515000 | #Constraints: 30866
1184.15/1187.27 c #Conflicts: 516000 | #Constraints: 31866
1184.15/1187.27 c INPROCESSING
1184.15/1187.27 c GARBAGE COLLECT
1184.15/1187.27 c #Conflicts: 517000 | #Constraints: 18666
1184.15/1187.27 c #Conflicts: 518000 | #Constraints: 19666
1184.15/1187.27 c #Conflicts: 519000 | #Constraints: 20666
1184.15/1187.27 c #Conflicts: 520000 | #Constraints: 21666
1184.15/1187.27 c #Conflicts: 521000 | #Constraints: 22666
1184.15/1187.27 c #Conflicts: 522000 | #Constraints: 23666
1184.15/1187.27 c #Conflicts: 523000 | #Constraints: 24666
1184.15/1187.27 c #Conflicts: 524000 | #Constraints: 25666
1184.15/1187.27 c #Conflicts: 525000 | #Constraints: 26666
1184.15/1187.27 c #Conflicts: 526000 | #Constraints: 27666
1184.15/1187.27 c #Conflicts: 527000 | #Constraints: 28666
1184.15/1187.27 c #Conflicts: 528000 | #Constraints: 29666
1184.15/1187.27 c #Conflicts: 529000 | #Constraints: 30666
1184.15/1187.27 c #Conflicts: 530000 | #Constraints: 31666
1184.15/1187.27 c #Conflicts: 531000 | #Constraints: 32666
1184.15/1187.27 c INPROCESSING
1184.15/1187.27 c GARBAGE COLLECT
1184.15/1187.27 c #Conflicts: 532000 | #Constraints: 19250
1184.15/1187.27 c #Conflicts: 533000 | #Constraints: 20250
1184.15/1187.27 c #Conflicts: 534000 | #Constraints: 21250
1184.15/1187.27 c #Conflicts: 535000 | #Constraints: 22250
1184.15/1187.27 c #Conflicts: 536000 | #Constraints: 23250
1184.15/1187.27 c #Conflicts: 537000 | #Constraints: 24250
1184.15/1187.27 c #Conflicts: 538000 | #Constraints: 25250
1184.15/1187.27 c #Conflicts: 539000 | #Constraints: 26250
1184.15/1187.27 c #Conflicts: 540000 | #Constraints: 27250
1184.15/1187.27 c #Conflicts: 541000 | #Constraints: 28250
1184.15/1187.27 c #Conflicts: 542000 | #Constraints: 29250
1184.15/1187.27 c #Conflicts: 543000 | #Constraints: 30250
1184.15/1187.27 c #Conflicts: 544000 | #Constraints: 31250
1184.15/1187.27 c #Conflicts: 545000 | #Constraints: 32250
1184.15/1187.27 c #Conflicts: 546000 | #Constraints: 33250
1184.15/1187.27 c INPROCESSING
1184.15/1187.27 c GARBAGE COLLECT
1184.15/1187.27 c #Conflicts: 547000 | #Constraints: 19646
1184.15/1187.27 c #Conflicts: 548000 | #Constraints: 20646
1184.15/1187.27 c #Conflicts: 549000 | #Constraints: 21646
1184.15/1187.27 c #Conflicts: 550000 | #Constraints: 22646
1184.15/1187.27 c #Conflicts: 551000 | #Constraints: 23646
1184.15/1187.27 c #Conflicts: 552000 | #Constraints: 24646
1184.15/1187.27 c #Conflicts: 553000 | #Constraints: 25646
1184.15/1187.27 c #Conflicts: 554000 | #Constraints: 26646
1184.15/1187.27 c #Conflicts: 555000 | #Constraints: 27646
1184.15/1187.27 c #Conflicts: 556000 | #Constraints: 28646
1184.15/1187.27 c #Conflicts: 557000 | #Constraints: 29646
1184.15/1187.27 c #Conflicts: 558000 | #Constraints: 30646
1184.15/1187.27 c #Conflicts: 559000 | #Constraints: 31646
1184.15/1187.27 c #Conflicts: 560000 | #Constraints: 32646
1184.15/1187.27 c #Conflicts: 561000 | #Constraints: 33646
1184.15/1187.27 c INPROCESSING
1184.15/1187.27 c GARBAGE COLLECT
1184.15/1187.27 c #Conflicts: 562000 | #Constraints: 19846
1184.15/1187.27 c #Conflicts: 563000 | #Constraints: 20846
1184.15/1187.27 c #Conflicts: 564000 | #Constraints: 21846
1184.15/1187.27 c #Conflicts: 565000 | #Constraints: 22846
1184.15/1187.27 c #Conflicts: 566000 | #Constraints: 23846
1184.15/1187.27 c #Conflicts: 567000 | #Constraints: 24846
1184.15/1187.27 c #Conflicts: 568000 | #Constraints: 25846
1184.15/1187.27 c #Conflicts: 569000 | #Constraints: 26846
1184.15/1187.27 c #Conflicts: 570000 | #Constraints: 27846
1184.15/1187.27 c #Conflicts: 571000 | #Constraints: 28846
1184.15/1187.27 c #Conflicts: 572000 | #Constraints: 29846
1184.15/1187.27 c #Conflicts: 573000 | #Constraints: 30846
1184.15/1187.27 c #Conflicts: 574000 | #Constraints: 31846
1184.15/1187.27 c #Conflicts: 575000 | #Constraints: 32846
1184.15/1187.27 c #Conflicts: 576000 | #Constraints: 33846
1184.15/1187.27 c INPROCESSING
1184.15/1187.27 c GARBAGE COLLECT
1184.15/1187.27 c #Conflicts: 577000 | #Constraints: 19848
1184.15/1187.27 c #Conflicts: 578000 | #Constraints: 20848
1184.15/1187.27 c #Conflicts: 579000 | #Constraints: 21848
1184.15/1187.27 c #Conflicts: 580000 | #Constraints: 22848
1184.15/1187.27 c #Conflicts: 581000 | #Constraints: 23848
1184.15/1187.27 c #Conflicts: 582000 | #Constraints: 24848
1184.15/1187.27 c #Conflicts: 583000 | #Constraints: 25848
1184.15/1187.27 c #Conflicts: 584000 | #Constraints: 26848
1184.15/1187.27 c #Conflicts: 585000 | #Constraints: 27848
1184.15/1187.27 c #Conflicts: 586000 | #Constraints: 28848
1184.15/1187.27 c #Conflicts: 587000 | #Constraints: 29848
1344.64/1348.18 c #Conflicts: 588000 | #Constraints: 30848
1344.64/1348.18 c #Conflicts: 589000 | #Constraints: 31848
1344.64/1348.18 c #Conflicts: 590000 | #Constraints: 32848
1344.64/1348.18 c #Conflicts: 591000 | #Constraints: 33848
1344.64/1348.18 c INPROCESSING
1344.64/1348.18 c GARBAGE COLLECT
1344.64/1348.18 c #Conflicts: 592000 | #Constraints: 19646
1344.64/1348.18 c #Conflicts: 593000 | #Constraints: 20646
1344.64/1348.18 c #Conflicts: 594000 | #Constraints: 21646
1344.64/1348.18 c #Conflicts: 595000 | #Constraints: 22646
1344.64/1348.18 c #Conflicts: 596000 | #Constraints: 23646
1344.64/1348.18 c #Conflicts: 597000 | #Constraints: 24646
1344.64/1348.18 c #Conflicts: 598000 | #Constraints: 25646
1344.64/1348.18 c #Conflicts: 599000 | #Constraints: 26646
1344.64/1348.18 c #Conflicts: 600000 | #Constraints: 27646
1344.64/1348.18 c #Conflicts: 601000 | #Constraints: 28646
1344.64/1348.18 c #Conflicts: 602000 | #Constraints: 29646
1344.64/1348.18 c #Conflicts: 603000 | #Constraints: 30646
1344.64/1348.18 c #Conflicts: 604000 | #Constraints: 31646
1344.64/1348.18 c #Conflicts: 605000 | #Constraints: 32646
1344.64/1348.18 c #Conflicts: 606000 | #Constraints: 33646
1344.64/1348.18 c #Conflicts: 607000 | #Constraints: 34646
1344.64/1348.18 c INPROCESSING
1344.64/1348.18 c GARBAGE COLLECT
1344.64/1348.18 c #Conflicts: 608000 | #Constraints: 20249
1344.64/1348.18 c #Conflicts: 609000 | #Constraints: 21249
1344.64/1348.18 c #Conflicts: 610000 | #Constraints: 22249
1344.64/1348.18 c #Conflicts: 611000 | #Constraints: 23249
1344.64/1348.18 c #Conflicts: 612000 | #Constraints: 24249
1344.64/1348.18 c #Conflicts: 613000 | #Constraints: 25249
1344.64/1348.18 c #Conflicts: 614000 | #Constraints: 26249
1344.64/1348.18 c #Conflicts: 615000 | #Constraints: 27249
1344.64/1348.18 c #Conflicts: 616000 | #Constraints: 28249
1344.64/1348.18 c #Conflicts: 617000 | #Constraints: 29249
1344.64/1348.18 c #Conflicts: 618000 | #Constraints: 30249
1344.64/1348.18 c #Conflicts: 619000 | #Constraints: 31249
1344.64/1348.18 c #Conflicts: 620000 | #Constraints: 32249
1344.64/1348.18 c #Conflicts: 621000 | #Constraints: 33249
1344.64/1348.18 c #Conflicts: 622000 | #Constraints: 34249
1344.64/1348.18 c #Conflicts: 623000 | #Constraints: 35249
1344.64/1348.18 c INPROCESSING
1344.64/1348.18 c GARBAGE COLLECT
1344.64/1348.18 c #Conflicts: 624000 | #Constraints: 20648
1344.64/1348.18 c #Conflicts: 625000 | #Constraints: 21648
1344.64/1348.18 c #Conflicts: 626000 | #Constraints: 22648
1344.64/1348.18 c #Conflicts: 627000 | #Constraints: 23648
1344.64/1348.18 c #Conflicts: 628000 | #Constraints: 24648
1344.64/1348.18 c #Conflicts: 629000 | #Constraints: 25648
1344.64/1348.18 c #Conflicts: 630000 | #Constraints: 26648
1344.64/1348.18 c #Conflicts: 631000 | #Constraints: 27648
1344.64/1348.18 c #Conflicts: 632000 | #Constraints: 28648
1344.64/1348.18 c #Conflicts: 633000 | #Constraints: 29648
1344.64/1348.18 c #Conflicts: 634000 | #Constraints: 30648
1344.64/1348.18 c #Conflicts: 635000 | #Constraints: 31648
1344.64/1348.18 c #Conflicts: 636000 | #Constraints: 32648
1344.64/1348.18 c #Conflicts: 637000 | #Constraints: 33648
1344.64/1348.18 c #Conflicts: 638000 | #Constraints: 34648
1344.64/1348.18 c #Conflicts: 639000 | #Constraints: 35648
1344.64/1348.18 c INPROCESSING
1344.64/1348.18 c GARBAGE COLLECT
1344.64/1348.18 c #Conflicts: 640000 | #Constraints: 20846
1344.64/1348.18 c #Conflicts: 641000 | #Constraints: 21846
1344.64/1348.18 c #Conflicts: 642000 | #Constraints: 22846
1344.64/1348.18 c #Conflicts: 643000 | #Constraints: 23846
1344.64/1348.18 c #Conflicts: 644000 | #Constraints: 24846
1344.64/1348.18 c #Conflicts: 645000 | #Constraints: 25846
1344.64/1348.18 c #Conflicts: 646000 | #Constraints: 26846
1344.64/1348.18 c #Conflicts: 647000 | #Constraints: 27846
1344.64/1348.18 c #Conflicts: 648000 | #Constraints: 28846
1344.64/1348.18 c #Conflicts: 649000 | #Constraints: 29846
1344.64/1348.18 c #Conflicts: 650000 | #Constraints: 30846
1344.64/1348.18 c #Conflicts: 651000 | #Constraints: 31846
1344.64/1348.18 c #Conflicts: 652000 | #Constraints: 32846
1344.64/1348.18 c #Conflicts: 653000 | #Constraints: 33846
1344.64/1348.18 c #Conflicts: 654000 | #Constraints: 34846
1344.64/1348.18 c #Conflicts: 655000 | #Constraints: 35846
1344.64/1348.18 c INPROCESSING
1344.64/1348.18 c GARBAGE COLLECT
1344.64/1348.18 c #Conflicts: 656000 | #Constraints: 20847
1344.64/1348.18 c #Conflicts: 657000 | #Constraints: 21847
1344.64/1348.18 c #Conflicts: 658000 | #Constraints: 22847
1344.64/1348.18 c #Conflicts: 659000 | #Constraints: 23847
1344.64/1348.18 c #Conflicts: 660000 | #Constraints: 24847
1344.64/1348.18 c #Conflicts: 661000 | #Constraints: 25847
1344.64/1348.18 c #Conflicts: 662000 | #Constraints: 26847
1344.64/1348.18 c #Conflicts: 663000 | #Constraints: 27847
1489.28/1493.12 c #Conflicts: 664000 | #Constraints: 28847
1489.28/1493.12 c #Conflicts: 665000 | #Constraints: 29847
1489.28/1493.12 c #Conflicts: 666000 | #Constraints: 30847
1489.28/1493.12 c #Conflicts: 667000 | #Constraints: 31847
1489.28/1493.12 c #Conflicts: 668000 | #Constraints: 32847
1489.28/1493.12 c #Conflicts: 669000 | #Constraints: 33847
1489.28/1493.12 c #Conflicts: 670000 | #Constraints: 34847
1489.28/1493.12 c #Conflicts: 671000 | #Constraints: 35847
1489.28/1493.12 c INPROCESSING
1489.28/1493.12 c GARBAGE COLLECT
1489.28/1493.12 c #Conflicts: 672000 | #Constraints: 20645
1489.28/1493.12 c #Conflicts: 673000 | #Constraints: 21645
1489.28/1493.12 c #Conflicts: 674000 | #Constraints: 22645
1489.28/1493.12 c #Conflicts: 675000 | #Constraints: 23645
1489.28/1493.12 c #Conflicts: 676000 | #Constraints: 24645
1489.28/1493.12 c #Conflicts: 677000 | #Constraints: 25645
1489.28/1493.12 c #Conflicts: 678000 | #Constraints: 26645
1489.28/1493.12 c #Conflicts: 679000 | #Constraints: 27645
1489.28/1493.12 c #Conflicts: 680000 | #Constraints: 28645
1489.28/1493.12 c #Conflicts: 681000 | #Constraints: 29645
1489.28/1493.12 c #Conflicts: 682000 | #Constraints: 30645
1489.28/1493.12 c #Conflicts: 683000 | #Constraints: 31645
1489.28/1493.12 c #Conflicts: 684000 | #Constraints: 32645
1489.28/1493.12 c #Conflicts: 685000 | #Constraints: 33645
1489.28/1493.12 c #Conflicts: 686000 | #Constraints: 34645
1489.28/1493.12 c #Conflicts: 687000 | #Constraints: 35645
1489.28/1493.12 c #Conflicts: 688000 | #Constraints: 36645
1489.28/1493.12 c INPROCESSING
1489.28/1493.12 c GARBAGE COLLECT
1489.28/1493.12 c #Conflicts: 689000 | #Constraints: 21241
1489.28/1493.12 c #Conflicts: 690000 | #Constraints: 22241
1489.28/1493.12 c #Conflicts: 691000 | #Constraints: 23241
1489.28/1493.12 c #Conflicts: 692000 | #Constraints: 24241
1489.28/1493.12 c #Conflicts: 693000 | #Constraints: 25241
1489.28/1493.12 c #Conflicts: 694000 | #Constraints: 26241
1489.28/1493.12 c #Conflicts: 695000 | #Constraints: 27241
1489.28/1493.12 c #Conflicts: 696000 | #Constraints: 28241
1489.28/1493.12 c #Conflicts: 697000 | #Constraints: 29241
1489.28/1493.12 c #Conflicts: 698000 | #Constraints: 30241
1489.28/1493.12 c #Conflicts: 699000 | #Constraints: 31241
1489.28/1493.12 c #Conflicts: 700000 | #Constraints: 32241
1489.28/1493.12 c #Conflicts: 701000 | #Constraints: 33241
1489.28/1493.12 c #Conflicts: 702000 | #Constraints: 34241
1489.28/1493.12 c #Conflicts: 703000 | #Constraints: 35241
1489.28/1493.12 c #Conflicts: 704000 | #Constraints: 36241
1489.28/1493.12 c #Conflicts: 705000 | #Constraints: 37241
1489.28/1493.12 c INPROCESSING
1489.28/1493.12 c GARBAGE COLLECT
1489.28/1493.12 c #Conflicts: 706000 | #Constraints: 21650
1489.28/1493.12 c #Conflicts: 707000 | #Constraints: 22650
1489.28/1493.12 c #Conflicts: 708000 | #Constraints: 23650
1489.28/1493.12 c #Conflicts: 709000 | #Constraints: 24650
1489.28/1493.12 c #Conflicts: 710000 | #Constraints: 25650
1489.28/1493.12 c #Conflicts: 711000 | #Constraints: 26650
1489.28/1493.12 c #Conflicts: 712000 | #Constraints: 27650
1489.28/1493.12 c #Conflicts: 713000 | #Constraints: 28650
1489.28/1493.12 c #Conflicts: 714000 | #Constraints: 29650
1489.28/1493.12 c #Conflicts: 715000 | #Constraints: 30650
1489.28/1493.12 c #Conflicts: 716000 | #Constraints: 31650
1489.28/1493.12 c #Conflicts: 717000 | #Constraints: 32650
1489.28/1493.12 c #Conflicts: 718000 | #Constraints: 33650
1489.28/1493.12 c #Conflicts: 719000 | #Constraints: 34650
1489.28/1493.12 c #Conflicts: 720000 | #Constraints: 35650
1489.28/1493.12 c #Conflicts: 721000 | #Constraints: 36650
1489.28/1493.12 c #Conflicts: 722000 | #Constraints: 37650
1489.28/1493.12 c INPROCESSING
1489.28/1493.12 c GARBAGE COLLECT
1489.28/1493.12 c #Conflicts: 723000 | #Constraints: 21847
1489.28/1493.12 c #Conflicts: 724000 | #Constraints: 22847
1489.28/1493.12 c #Conflicts: 725000 | #Constraints: 23847
1489.28/1493.12 c #Conflicts: 726000 | #Constraints: 24847
1489.28/1493.12 c #Conflicts: 727000 | #Constraints: 25847
1489.28/1493.12 c #Conflicts: 728000 | #Constraints: 26847
1489.28/1493.12 c #Conflicts: 729000 | #Constraints: 27847
1489.28/1493.12 c #Conflicts: 730000 | #Constraints: 28847
1489.28/1493.12 c #Conflicts: 731000 | #Constraints: 29847
1489.28/1493.12 c #Conflicts: 732000 | #Constraints: 30847
1489.28/1493.12 c #Conflicts: 733000 | #Constraints: 31847
1489.28/1493.12 c #Conflicts: 734000 | #Constraints: 32847
1489.28/1493.12 c #Conflicts: 735000 | #Constraints: 33847
1489.28/1493.12 c #Conflicts: 736000 | #Constraints: 34847
1489.28/1493.12 c #Conflicts: 737000 | #Constraints: 35847
1489.28/1493.12 c #Conflicts: 738000 | #Constraints: 36847
1489.28/1493.12 c #Conflicts: 739000 | #Constraints: 37847
1670.73/1675.09 c INPROCESSING
1670.73/1675.09 c GARBAGE COLLECT
1670.73/1675.09 c #Conflicts: 740000 | #Constraints: 21837
1670.73/1675.09 c #Conflicts: 741000 | #Constraints: 22837
1670.73/1675.09 c #Conflicts: 742000 | #Constraints: 23837
1670.73/1675.09 c #Conflicts: 743000 | #Constraints: 24837
1670.73/1675.09 c #Conflicts: 744000 | #Constraints: 25837
1670.73/1675.09 c #Conflicts: 745000 | #Constraints: 26837
1670.73/1675.09 c #Conflicts: 746000 | #Constraints: 27837
1670.73/1675.09 c #Conflicts: 747000 | #Constraints: 28837
1670.73/1675.09 c #Conflicts: 748000 | #Constraints: 29837
1670.73/1675.09 c #Conflicts: 749000 | #Constraints: 30837
1670.73/1675.09 c #Conflicts: 750000 | #Constraints: 31837
1670.73/1675.09 c #Conflicts: 751000 | #Constraints: 32837
1670.73/1675.09 c #Conflicts: 752000 | #Constraints: 33837
1670.73/1675.09 c #Conflicts: 753000 | #Constraints: 34837
1670.73/1675.09 c #Conflicts: 754000 | #Constraints: 35837
1670.73/1675.09 c #Conflicts: 755000 | #Constraints: 36837
1670.73/1675.09 c #Conflicts: 756000 | #Constraints: 37837
1670.73/1675.09 c INPROCESSING
1670.73/1675.09 c GARBAGE COLLECT
1670.73/1675.09 c #Conflicts: 757000 | #Constraints: 21639
1670.73/1675.09 c #Conflicts: 758000 | #Constraints: 22639
1670.73/1675.09 c #Conflicts: 759000 | #Constraints: 23639
1670.73/1675.09 c #Conflicts: 760000 | #Constraints: 24639
1670.73/1675.09 c #Conflicts: 761000 | #Constraints: 25639
1670.73/1675.09 c #Conflicts: 762000 | #Constraints: 26639
1670.73/1675.09 c #Conflicts: 763000 | #Constraints: 27639
1670.73/1675.09 c #Conflicts: 764000 | #Constraints: 28639
1670.73/1675.09 c #Conflicts: 765000 | #Constraints: 29639
1670.73/1675.09 c #Conflicts: 766000 | #Constraints: 30639
1670.73/1675.09 c #Conflicts: 767000 | #Constraints: 31639
1670.73/1675.09 c #Conflicts: 768000 | #Constraints: 32639
1670.73/1675.09 c #Conflicts: 769000 | #Constraints: 33639
1670.73/1675.09 c #Conflicts: 770000 | #Constraints: 34639
1670.73/1675.09 c #Conflicts: 771000 | #Constraints: 35639
1670.73/1675.09 c #Conflicts: 772000 | #Constraints: 36639
1670.73/1675.09 c #Conflicts: 773000 | #Constraints: 37639
1670.73/1675.09 c #Conflicts: 774000 | #Constraints: 38639
1670.73/1675.09 c INPROCESSING
1670.73/1675.09 c GARBAGE COLLECT
1670.73/1675.09 c #Conflicts: 775000 | #Constraints: 22245
1670.73/1675.09 c #Conflicts: 776000 | #Constraints: 23245
1670.73/1675.09 c #Conflicts: 777000 | #Constraints: 24245
1670.73/1675.09 c #Conflicts: 778000 | #Constraints: 25245
1670.73/1675.09 c #Conflicts: 779000 | #Constraints: 26245
1670.73/1675.09 c #Conflicts: 780000 | #Constraints: 27245
1670.73/1675.09 c #Conflicts: 781000 | #Constraints: 28245
1670.73/1675.09 c #Conflicts: 782000 | #Constraints: 29245
1670.73/1675.09 c #Conflicts: 783000 | #Constraints: 30245
1670.73/1675.09 c #Conflicts: 784000 | #Constraints: 31245
1670.73/1675.09 c #Conflicts: 785000 | #Constraints: 32245
1670.73/1675.09 c #Conflicts: 786000 | #Constraints: 33245
1670.73/1675.09 c #Conflicts: 787000 | #Constraints: 34245
1670.73/1675.09 c #Conflicts: 788000 | #Constraints: 35245
1670.73/1675.09 c #Conflicts: 789000 | #Constraints: 36245
1670.73/1675.09 c #Conflicts: 790000 | #Constraints: 37245
1670.73/1675.09 c #Conflicts: 791000 | #Constraints: 38245
1670.73/1675.09 c #Conflicts: 792000 | #Constraints: 39245
1670.73/1675.09 c INPROCESSING
1670.73/1675.09 c GARBAGE COLLECT
1670.73/1675.09 c #Conflicts: 793000 | #Constraints: 22651
1670.73/1675.09 c #Conflicts: 794000 | #Constraints: 23651
1670.73/1675.09 c #Conflicts: 795000 | #Constraints: 24651
1670.73/1675.09 c #Conflicts: 796000 | #Constraints: 25651
1670.73/1675.09 c #Conflicts: 797000 | #Constraints: 26651
1670.73/1675.09 c #Conflicts: 798000 | #Constraints: 27651
1670.73/1675.09 c #Conflicts: 799000 | #Constraints: 28651
1670.73/1675.09 c #Conflicts: 800000 | #Constraints: 29651
1670.73/1675.09 c #Conflicts: 801000 | #Constraints: 30651
1670.73/1675.09 c #Conflicts: 802000 | #Constraints: 31651
1670.73/1675.09 c #Conflicts: 803000 | #Constraints: 32651
1670.73/1675.09 c #Conflicts: 804000 | #Constraints: 33651
1670.73/1675.09 c #Conflicts: 805000 | #Constraints: 34651
1670.73/1675.09 c #Conflicts: 806000 | #Constraints: 35651
1670.73/1675.09 c #Conflicts: 807000 | #Constraints: 36651
1670.73/1675.09 c #Conflicts: 808000 | #Constraints: 37651
1670.73/1675.09 c #Conflicts: 809000 | #Constraints: 38651
1670.73/1675.09 c #Conflicts: 810000 | #Constraints: 39651
1670.73/1675.09 c INPROCESSING
1670.73/1675.09 c GARBAGE COLLECT
1670.73/1675.09 c #Conflicts: 811000 | #Constraints: 22846
1670.73/1675.09 c #Conflicts: 812000 | #Constraints: 23846
1670.73/1675.09 c #Conflicts: 813000 | #Constraints: 24846
1670.73/1675.09 c #Conflicts: 814000 | #Constraints: 25846
1670.73/1675.09 c #Conflicts: 815000 | #Constraints: 26846
1948.21/1953.22 c #Conflicts: 816000 | #Constraints: 27846
1948.21/1953.22 c #Conflicts: 817000 | #Constraints: 28846
1948.21/1953.22 c #Conflicts: 818000 | #Constraints: 29846
1948.21/1953.22 c #Conflicts: 819000 | #Constraints: 30846
1948.21/1953.22 c #Conflicts: 820000 | #Constraints: 31846
1948.21/1953.22 c #Conflicts: 821000 | #Constraints: 32846
1948.21/1953.22 c #Conflicts: 822000 | #Constraints: 33846
1948.21/1953.22 c #Conflicts: 823000 | #Constraints: 34846
1948.21/1953.22 c #Conflicts: 824000 | #Constraints: 35846
1948.21/1953.22 c #Conflicts: 825000 | #Constraints: 36846
1948.21/1953.22 c #Conflicts: 826000 | #Constraints: 37846
1948.21/1953.22 c #Conflicts: 827000 | #Constraints: 38846
1948.21/1953.22 c #Conflicts: 828000 | #Constraints: 39846
1948.21/1953.22 c INPROCESSING
1948.21/1953.22 c GARBAGE COLLECT
1948.21/1953.22 c #Conflicts: 829000 | #Constraints: 22843
1948.21/1953.22 c #Conflicts: 830000 | #Constraints: 23843
1948.21/1953.22 c #Conflicts: 831000 | #Constraints: 24843
1948.21/1953.22 c #Conflicts: 832000 | #Constraints: 25843
1948.21/1953.22 c #Conflicts: 833000 | #Constraints: 26843
1948.21/1953.22 c #Conflicts: 834000 | #Constraints: 27843
1948.21/1953.22 c #Conflicts: 835000 | #Constraints: 28843
1948.21/1953.22 c #Conflicts: 836000 | #Constraints: 29843
1948.21/1953.22 c #Conflicts: 837000 | #Constraints: 30843
1948.21/1953.22 c #Conflicts: 838000 | #Constraints: 31843
1948.21/1953.22 c #Conflicts: 839000 | #Constraints: 32843
1948.21/1953.22 c #Conflicts: 840000 | #Constraints: 33843
1948.21/1953.22 c #Conflicts: 841000 | #Constraints: 34843
1948.21/1953.22 c #Conflicts: 842000 | #Constraints: 35843
1948.21/1953.22 c #Conflicts: 843000 | #Constraints: 36843
1948.21/1953.22 c #Conflicts: 844000 | #Constraints: 37843
1948.21/1953.22 c #Conflicts: 845000 | #Constraints: 38843
1948.21/1953.22 c #Conflicts: 846000 | #Constraints: 39843
1948.21/1953.22 c INPROCESSING
1948.21/1953.22 c GARBAGE COLLECT
1948.21/1953.22 c #Conflicts: 847000 | #Constraints: 22648
1948.21/1953.22 c #Conflicts: 848000 | #Constraints: 23648
1948.21/1953.22 c #Conflicts: 849000 | #Constraints: 24648
1948.21/1953.22 c #Conflicts: 850000 | #Constraints: 25648
1948.21/1953.22 c #Conflicts: 851000 | #Constraints: 26648
1948.21/1953.22 c #Conflicts: 852000 | #Constraints: 27648
1948.21/1953.22 c #Conflicts: 853000 | #Constraints: 28648
1948.21/1953.22 c #Conflicts: 854000 | #Constraints: 29648
1948.21/1953.22 c #Conflicts: 855000 | #Constraints: 30648
1948.21/1953.22 c #Conflicts: 856000 | #Constraints: 31648
1948.21/1953.22 c #Conflicts: 857000 | #Constraints: 32648
1948.21/1953.22 c #Conflicts: 858000 | #Constraints: 33648
1948.21/1953.22 c #Conflicts: 859000 | #Constraints: 34648
1948.21/1953.22 c #Conflicts: 860000 | #Constraints: 35648
1948.21/1953.22 c #Conflicts: 861000 | #Constraints: 36648
1948.21/1953.22 c #Conflicts: 862000 | #Constraints: 37648
1948.21/1953.22 c #Conflicts: 863000 | #Constraints: 38648
1948.21/1953.22 c #Conflicts: 864000 | #Constraints: 39648
1948.21/1953.22 c #Conflicts: 865000 | #Constraints: 40648
1948.21/1953.22 c INPROCESSING
1948.21/1953.22 c GARBAGE COLLECT
1948.21/1953.22 c #Conflicts: 866000 | #Constraints: 23242
1948.21/1953.22 c #Conflicts: 867000 | #Constraints: 24242
1948.21/1953.22 c #Conflicts: 868000 | #Constraints: 25242
1948.21/1953.22 c #Conflicts: 869000 | #Constraints: 26242
1948.21/1953.22 c #Conflicts: 870000 | #Constraints: 27242
1948.21/1953.22 c #Conflicts: 871000 | #Constraints: 28242
1948.21/1953.22 c #Conflicts: 872000 | #Constraints: 29242
1948.21/1953.22 c #Conflicts: 873000 | #Constraints: 30242
1948.21/1953.22 c #Conflicts: 874000 | #Constraints: 31242
1948.21/1953.22 c #Conflicts: 875000 | #Constraints: 32242
1948.21/1953.22 c #Conflicts: 876000 | #Constraints: 33242
1948.21/1953.22 c #Conflicts: 877000 | #Constraints: 34242
1948.21/1953.22 c #Conflicts: 878000 | #Constraints: 35242
1948.21/1953.22 c #Conflicts: 879000 | #Constraints: 36242
1948.21/1953.22 c #Conflicts: 880000 | #Constraints: 37242
1948.21/1953.22 c #Conflicts: 881000 | #Constraints: 38242
1948.21/1953.22 c #Conflicts: 882000 | #Constraints: 39242
1948.21/1953.22 c #Conflicts: 883000 | #Constraints: 40242
1948.21/1953.22 c #Conflicts: 884000 | #Constraints: 41242
1948.21/1953.22 c INPROCESSING
1948.21/1953.22 c GARBAGE COLLECT
1948.21/1953.22 c #Conflicts: 885000 | #Constraints: 23656
1948.21/1953.22 c #Conflicts: 886000 | #Constraints: 24656
1948.21/1953.22 c #Conflicts: 887000 | #Constraints: 25656
1948.21/1953.22 c #Conflicts: 888000 | #Constraints: 26656
1948.21/1953.22 c #Conflicts: 889000 | #Constraints: 27656
1948.21/1953.22 c #Conflicts: 890000 | #Constraints: 28656
1948.21/1953.22 c #Conflicts: 891000 | #Constraints: 29656
2172.34/2177.97 c #Conflicts: 892000 | #Constraints: 30656
2172.34/2177.97 c #Conflicts: 893000 | #Constraints: 31656
2172.34/2177.97 c #Conflicts: 894000 | #Constraints: 32656
2172.34/2177.97 c #Conflicts: 895000 | #Constraints: 33656
2172.34/2177.97 c #Conflicts: 896000 | #Constraints: 34656
2172.34/2177.97 c #Conflicts: 897000 | #Constraints: 35656
2172.34/2177.97 c #Conflicts: 898000 | #Constraints: 36656
2172.34/2177.97 c #Conflicts: 899000 | #Constraints: 37656
2172.34/2177.97 c #Conflicts: 900000 | #Constraints: 38656
2172.34/2177.97 c #Conflicts: 901000 | #Constraints: 39656
2172.34/2177.97 c #Conflicts: 902000 | #Constraints: 40656
2172.34/2177.97 c #Conflicts: 903000 | #Constraints: 41656
2172.34/2177.97 c INPROCESSING
2172.34/2177.97 c GARBAGE COLLECT
2172.34/2177.97 c #Conflicts: 904000 | #Constraints: 23854
2172.34/2177.97 c #Conflicts: 905000 | #Constraints: 24854
2172.34/2177.97 c #Conflicts: 906000 | #Constraints: 25854
2172.34/2177.97 c #Conflicts: 907000 | #Constraints: 26854
2172.34/2177.97 c #Conflicts: 908000 | #Constraints: 27854
2172.34/2177.97 c #Conflicts: 909000 | #Constraints: 28854
2172.34/2177.97 c #Conflicts: 910000 | #Constraints: 29854
2172.34/2177.97 c #Conflicts: 911000 | #Constraints: 30854
2172.34/2177.97 c #Conflicts: 912000 | #Constraints: 31854
2172.34/2177.97 c #Conflicts: 913000 | #Constraints: 32854
2172.34/2177.97 c #Conflicts: 914000 | #Constraints: 33854
2172.34/2177.97 c #Conflicts: 915000 | #Constraints: 34854
2172.34/2177.97 c #Conflicts: 916000 | #Constraints: 35854
2172.34/2177.97 c #Conflicts: 917000 | #Constraints: 36854
2172.34/2177.97 c #Conflicts: 918000 | #Constraints: 37854
2172.34/2177.97 c #Conflicts: 919000 | #Constraints: 38854
2172.34/2177.97 c #Conflicts: 920000 | #Constraints: 39854
2172.34/2177.97 c #Conflicts: 921000 | #Constraints: 40854
2172.34/2177.97 c #Conflicts: 922000 | #Constraints: 41854
2172.34/2177.97 c INPROCESSING
2172.34/2177.97 c GARBAGE COLLECT
2172.34/2177.97 c #Conflicts: 923000 | #Constraints: 23853
2172.34/2177.97 c #Conflicts: 924000 | #Constraints: 24853
2172.34/2177.97 c #Conflicts: 925000 | #Constraints: 25853
2172.34/2177.97 c #Conflicts: 926000 | #Constraints: 26853
2172.34/2177.97 c #Conflicts: 927000 | #Constraints: 27853
2172.34/2177.97 c #Conflicts: 928000 | #Constraints: 28853
2172.34/2177.97 c #Conflicts: 929000 | #Constraints: 29853
2172.34/2177.97 c #Conflicts: 930000 | #Constraints: 30853
2172.34/2177.97 c #Conflicts: 931000 | #Constraints: 31853
2172.34/2177.97 c #Conflicts: 932000 | #Constraints: 32853
2172.34/2177.97 c #Conflicts: 933000 | #Constraints: 33853
2172.34/2177.97 c #Conflicts: 934000 | #Constraints: 34853
2172.34/2177.97 c #Conflicts: 935000 | #Constraints: 35853
2172.34/2177.97 c #Conflicts: 936000 | #Constraints: 36853
2172.34/2177.97 c #Conflicts: 937000 | #Constraints: 37853
2172.34/2177.97 c #Conflicts: 938000 | #Constraints: 38853
2172.34/2177.97 c #Conflicts: 939000 | #Constraints: 39853
2172.34/2177.97 c #Conflicts: 940000 | #Constraints: 40853
2172.34/2177.97 c #Conflicts: 941000 | #Constraints: 41853
2172.34/2177.97 c INPROCESSING
2172.34/2177.97 c GARBAGE COLLECT
2172.34/2177.97 c #Conflicts: 942000 | #Constraints: 23658
2172.34/2177.97 c #Conflicts: 943000 | #Constraints: 24658
2172.34/2177.97 c #Conflicts: 944000 | #Constraints: 25658
2172.34/2177.97 c #Conflicts: 945000 | #Constraints: 26658
2172.34/2177.97 c #Conflicts: 946000 | #Constraints: 27658
2172.34/2177.97 c #Conflicts: 947000 | #Constraints: 28658
2172.34/2177.97 c #Conflicts: 948000 | #Constraints: 29658
2172.34/2177.97 c #Conflicts: 949000 | #Constraints: 30658
2172.34/2177.97 c #Conflicts: 950000 | #Constraints: 31658
2172.34/2177.97 c #Conflicts: 951000 | #Constraints: 32658
2172.34/2177.97 c #Conflicts: 952000 | #Constraints: 33658
2172.34/2177.97 c #Conflicts: 953000 | #Constraints: 34658
2172.34/2177.97 c #Conflicts: 954000 | #Constraints: 35658
2172.34/2177.97 c #Conflicts: 955000 | #Constraints: 36658
2172.34/2177.97 c #Conflicts: 956000 | #Constraints: 37658
2172.34/2177.97 c #Conflicts: 957000 | #Constraints: 38658
2172.34/2177.97 c #Conflicts: 958000 | #Constraints: 39658
2172.34/2177.97 c #Conflicts: 959000 | #Constraints: 40658
2172.34/2177.97 c #Conflicts: 960000 | #Constraints: 41658
2172.34/2177.97 c #Conflicts: 961000 | #Constraints: 42658
2172.34/2177.97 c INPROCESSING
2172.34/2177.97 c GARBAGE COLLECT
2172.34/2177.97 c #Conflicts: 962000 | #Constraints: 24253
2172.34/2177.97 c #Conflicts: 963000 | #Constraints: 25253
2172.34/2177.97 c #Conflicts: 964000 | #Constraints: 26253
2172.34/2177.97 c #Conflicts: 965000 | #Constraints: 27253
2172.34/2177.97 c #Conflicts: 966000 | #Constraints: 28253
2172.34/2177.97 c #Conflicts: 967000 | #Constraints: 29253
2465.20/2471.74 c #Conflicts: 968000 | #Constraints: 30253
2465.20/2471.74 c #Conflicts: 969000 | #Constraints: 31253
2465.20/2471.74 c #Conflicts: 970000 | #Constraints: 32253
2465.20/2471.74 c #Conflicts: 971000 | #Constraints: 33253
2465.20/2471.74 c #Conflicts: 972000 | #Constraints: 34253
2465.20/2471.74 c #Conflicts: 973000 | #Constraints: 35253
2465.20/2471.74 c #Conflicts: 974000 | #Constraints: 36253
2465.20/2471.74 c #Conflicts: 975000 | #Constraints: 37253
2465.20/2471.74 c #Conflicts: 976000 | #Constraints: 38253
2465.20/2471.74 c #Conflicts: 977000 | #Constraints: 39253
2465.20/2471.74 c #Conflicts: 978000 | #Constraints: 40253
2465.20/2471.74 c #Conflicts: 979000 | #Constraints: 41253
2465.20/2471.74 c #Conflicts: 980000 | #Constraints: 42253
2465.20/2471.74 c #Conflicts: 981000 | #Constraints: 43253
2465.20/2471.74 c INPROCESSING
2465.20/2471.74 c GARBAGE COLLECT
2465.20/2471.74 c #Conflicts: 982000 | #Constraints: 24656
2465.20/2471.74 c #Conflicts: 983000 | #Constraints: 25656
2465.20/2471.74 c #Conflicts: 984000 | #Constraints: 26656
2465.20/2471.74 c #Conflicts: 985000 | #Constraints: 27656
2465.20/2471.74 c #Conflicts: 986000 | #Constraints: 28656
2465.20/2471.74 c #Conflicts: 987000 | #Constraints: 29656
2465.20/2471.74 c #Conflicts: 988000 | #Constraints: 30656
2465.20/2471.74 c #Conflicts: 989000 | #Constraints: 31656
2465.20/2471.74 c #Conflicts: 990000 | #Constraints: 32656
2465.20/2471.74 c #Conflicts: 991000 | #Constraints: 33656
2465.20/2471.74 c #Conflicts: 992000 | #Constraints: 34656
2465.20/2471.74 c #Conflicts: 993000 | #Constraints: 35656
2465.20/2471.74 c #Conflicts: 994000 | #Constraints: 36656
2465.20/2471.74 c #Conflicts: 995000 | #Constraints: 37656
2465.20/2471.74 c #Conflicts: 996000 | #Constraints: 38656
2465.20/2471.74 c #Conflicts: 997000 | #Constraints: 39656
2465.20/2471.74 c #Conflicts: 998000 | #Constraints: 40656
2465.20/2471.74 c #Conflicts: 999000 | #Constraints: 41656
2465.20/2471.74 c #Conflicts: 1000000 | #Constraints: 42656
2465.20/2471.74 c #Conflicts: 1001000 | #Constraints: 43656
2465.20/2471.74 c INPROCESSING
2465.20/2471.74 c GARBAGE COLLECT
2465.20/2471.74 c #Conflicts: 1002000 | #Constraints: 24858
2465.20/2471.74 c #Conflicts: 1003000 | #Constraints: 25858
2465.20/2471.74 c #Conflicts: 1004000 | #Constraints: 26858
2465.20/2471.74 c #Conflicts: 1005000 | #Constraints: 27858
2465.20/2471.74 c #Conflicts: 1006000 | #Constraints: 28858
2465.20/2471.74 c #Conflicts: 1007000 | #Constraints: 29858
2465.20/2471.74 c #Conflicts: 1008000 | #Constraints: 30858
2465.20/2471.74 c #Conflicts: 1009000 | #Constraints: 31858
2465.20/2471.74 c #Conflicts: 1010000 | #Constraints: 32858
2465.20/2471.74 c #Conflicts: 1011000 | #Constraints: 33858
2465.20/2471.74 c #Conflicts: 1012000 | #Constraints: 34858
2465.20/2471.74 c #Conflicts: 1013000 | #Constraints: 35858
2465.20/2471.74 c #Conflicts: 1014000 | #Constraints: 36858
2465.20/2471.74 c #Conflicts: 1015000 | #Constraints: 37858
2465.20/2471.74 c #Conflicts: 1016000 | #Constraints: 38858
2465.20/2471.74 c #Conflicts: 1017000 | #Constraints: 39858
2465.20/2471.74 c #Conflicts: 1018000 | #Constraints: 40858
2465.20/2471.74 c #Conflicts: 1019000 | #Constraints: 41858
2465.20/2471.74 c #Conflicts: 1020000 | #Constraints: 42858
2465.20/2471.74 c #Conflicts: 1021000 | #Constraints: 43858
2465.20/2471.74 c INPROCESSING
2465.20/2471.74 c GARBAGE COLLECT
2465.20/2471.74 c #Conflicts: 1022000 | #Constraints: 24874
2465.20/2471.74 c #Conflicts: 1023000 | #Constraints: 25874
2465.20/2471.74 c #Conflicts: 1024000 | #Constraints: 26874
2465.20/2471.74 c #Conflicts: 1025000 | #Constraints: 27874
2465.20/2471.74 c #Conflicts: 1026000 | #Constraints: 28874
2465.20/2471.74 c #Conflicts: 1027000 | #Constraints: 29874
2465.20/2471.74 c #Conflicts: 1028000 | #Constraints: 30874
2465.20/2471.74 c #Conflicts: 1029000 | #Constraints: 31874
2465.20/2471.74 c #Conflicts: 1030000 | #Constraints: 32874
2465.20/2471.74 c #Conflicts: 1031000 | #Constraints: 33874
2465.20/2471.74 c #Conflicts: 1032000 | #Constraints: 34874
2465.20/2471.74 c #Conflicts: 1033000 | #Constraints: 35874
2465.20/2471.74 c #Conflicts: 1034000 | #Constraints: 36874
2465.20/2471.74 c #Conflicts: 1035000 | #Constraints: 37874
2465.20/2471.74 c #Conflicts: 1036000 | #Constraints: 38874
2465.20/2471.74 c #Conflicts: 1037000 | #Constraints: 39874
2465.20/2471.74 c #Conflicts: 1038000 | #Constraints: 40874
2465.20/2471.74 c #Conflicts: 1039000 | #Constraints: 41874
2465.20/2471.74 c #Conflicts: 1040000 | #Constraints: 42874
2465.20/2471.74 c #Conflicts: 1041000 | #Constraints: 43874
2465.20/2471.74 c INPROCESSING
2465.20/2471.74 c GARBAGE COLLECT
2465.20/2471.74 c #Conflicts: 1042000 | #Constraints: 24678
2465.20/2471.74 c #Conflicts: 1043000 | #Constraints: 25678
2723.32/2730.66 c #Conflicts: 1044000 | #Constraints: 26678
2723.32/2730.66 c #Conflicts: 1045000 | #Constraints: 27678
2723.32/2730.66 c #Conflicts: 1046000 | #Constraints: 28678
2723.32/2730.66 c #Conflicts: 1047000 | #Constraints: 29678
2723.32/2730.66 c #Conflicts: 1048000 | #Constraints: 30678
2723.32/2730.66 c #Conflicts: 1049000 | #Constraints: 31678
2723.32/2730.66 c #Conflicts: 1050000 | #Constraints: 32678
2723.32/2730.66 c #Conflicts: 1051000 | #Constraints: 33678
2723.32/2730.66 c #Conflicts: 1052000 | #Constraints: 34678
2723.32/2730.66 c #Conflicts: 1053000 | #Constraints: 35678
2723.32/2730.66 c #Conflicts: 1054000 | #Constraints: 36678
2723.32/2730.66 c #Conflicts: 1055000 | #Constraints: 37678
2723.32/2730.66 c #Conflicts: 1056000 | #Constraints: 38678
2723.32/2730.66 c #Conflicts: 1057000 | #Constraints: 39678
2723.32/2730.66 c #Conflicts: 1058000 | #Constraints: 40678
2723.32/2730.66 c #Conflicts: 1059000 | #Constraints: 41678
2723.32/2730.66 c #Conflicts: 1060000 | #Constraints: 42678
2723.32/2730.66 c #Conflicts: 1061000 | #Constraints: 43678
2723.32/2730.66 c #Conflicts: 1062000 | #Constraints: 44678
2723.32/2730.66 c INPROCESSING
2723.32/2730.66 c GARBAGE COLLECT
2723.32/2730.66 c #Conflicts: 1063000 | #Constraints: 25270
2723.32/2730.66 c #Conflicts: 1064000 | #Constraints: 26270
2723.32/2730.66 c #Conflicts: 1065000 | #Constraints: 27270
2723.32/2730.66 c #Conflicts: 1066000 | #Constraints: 28270
2723.32/2730.66 c #Conflicts: 1067000 | #Constraints: 29270
2723.32/2730.66 c #Conflicts: 1068000 | #Constraints: 30270
2723.32/2730.66 c #Conflicts: 1069000 | #Constraints: 31270
2723.32/2730.66 c #Conflicts: 1070000 | #Constraints: 32270
2723.32/2730.66 c #Conflicts: 1071000 | #Constraints: 33270
2723.32/2730.66 c #Conflicts: 1072000 | #Constraints: 34270
2723.32/2730.66 c #Conflicts: 1073000 | #Constraints: 35270
2723.32/2730.66 c #Conflicts: 1074000 | #Constraints: 36270
2723.32/2730.66 c #Conflicts: 1075000 | #Constraints: 37270
2723.32/2730.66 c #Conflicts: 1076000 | #Constraints: 38270
2723.32/2730.66 c #Conflicts: 1077000 | #Constraints: 39270
2723.32/2730.66 c #Conflicts: 1078000 | #Constraints: 40270
2723.32/2730.66 c #Conflicts: 1079000 | #Constraints: 41270
2723.32/2730.66 c #Conflicts: 1080000 | #Constraints: 42270
2723.32/2730.66 c #Conflicts: 1081000 | #Constraints: 43270
2723.32/2730.66 c #Conflicts: 1082000 | #Constraints: 44270
2723.32/2730.66 c #Conflicts: 1083000 | #Constraints: 45270
2723.32/2730.66 c INPROCESSING
2723.32/2730.66 c GARBAGE COLLECT
2723.32/2730.66 c #Conflicts: 1084000 | #Constraints: 25666
2723.32/2730.66 c #Conflicts: 1085000 | #Constraints: 26666
2723.32/2730.66 c #Conflicts: 1086000 | #Constraints: 27666
2723.32/2730.66 c #Conflicts: 1087000 | #Constraints: 28666
2723.32/2730.66 c #Conflicts: 1088000 | #Constraints: 29666
2723.32/2730.66 c #Conflicts: 1089000 | #Constraints: 30666
2723.32/2730.66 c #Conflicts: 1090000 | #Constraints: 31666
2723.32/2730.66 c #Conflicts: 1091000 | #Constraints: 32666
2723.32/2730.66 c #Conflicts: 1092000 | #Constraints: 33666
2723.32/2730.66 c #Conflicts: 1093000 | #Constraints: 34666
2723.32/2730.66 c #Conflicts: 1094000 | #Constraints: 35666
2723.32/2730.66 c #Conflicts: 1095000 | #Constraints: 36666
2723.32/2730.66 c #Conflicts: 1096000 | #Constraints: 37666
2723.32/2730.66 c #Conflicts: 1097000 | #Constraints: 38666
2723.32/2730.66 c #Conflicts: 1098000 | #Constraints: 39666
2723.32/2730.66 c #Conflicts: 1099000 | #Constraints: 40666
2723.32/2730.66 c #Conflicts: 1100000 | #Constraints: 41666
2723.32/2730.66 c #Conflicts: 1101000 | #Constraints: 42666
2723.32/2730.66 c #Conflicts: 1102000 | #Constraints: 43666
2723.32/2730.66 c #Conflicts: 1103000 | #Constraints: 44666
2723.32/2730.66 c #Conflicts: 1104000 | #Constraints: 45666
2723.32/2730.66 c INPROCESSING
2723.32/2730.66 c GARBAGE COLLECT
2723.32/2730.66 c #Conflicts: 1105000 | #Constraints: 25866
2723.32/2730.66 c #Conflicts: 1106000 | #Constraints: 26866
2723.32/2730.66 c #Conflicts: 1107000 | #Constraints: 27866
2723.32/2730.66 c #Conflicts: 1108000 | #Constraints: 28866
2723.32/2730.66 c #Conflicts: 1109000 | #Constraints: 29866
2723.32/2730.66 c #Conflicts: 1110000 | #Constraints: 30866
2723.32/2730.66 c #Conflicts: 1111000 | #Constraints: 31866
2723.32/2730.66 c #Conflicts: 1112000 | #Constraints: 32866
2723.32/2730.66 c #Conflicts: 1113000 | #Constraints: 33866
2723.32/2730.66 c #Conflicts: 1114000 | #Constraints: 34866
2723.32/2730.66 c #Conflicts: 1115000 | #Constraints: 35866
2723.32/2730.66 c #Conflicts: 1116000 | #Constraints: 36866
2723.32/2730.66 c #Conflicts: 1117000 | #Constraints: 37866
2723.32/2730.66 c #Conflicts: 1118000 | #Constraints: 38866
2723.32/2730.66 c #Conflicts: 1119000 | #Constraints: 39866
2723.32/2730.66 c #Conflicts: 1120000 | #Constraints: 40866
2906.74/2914.58 c #Conflicts: 1121000 | #Constraints: 41866
2906.74/2914.58 c #Conflicts: 1122000 | #Constraints: 42866
2906.74/2914.58 c #Conflicts: 1123000 | #Constraints: 43866
2906.74/2914.58 c #Conflicts: 1124000 | #Constraints: 44866
2906.74/2914.58 c #Conflicts: 1125000 | #Constraints: 45866
2906.74/2914.58 c INPROCESSING
2906.74/2914.58 c GARBAGE COLLECT
2906.74/2914.58 c #Conflicts: 1126000 | #Constraints: 25866
2906.74/2914.58 c #Conflicts: 1127000 | #Constraints: 26866
2906.74/2914.58 c #Conflicts: 1128000 | #Constraints: 27866
2906.74/2914.58 c #Conflicts: 1129000 | #Constraints: 28866
2906.74/2914.58 c #Conflicts: 1130000 | #Constraints: 29866
2906.74/2914.58 c #Conflicts: 1131000 | #Constraints: 30866
2906.74/2914.58 c #Conflicts: 1132000 | #Constraints: 31866
2906.74/2914.58 c #Conflicts: 1133000 | #Constraints: 32866
2906.74/2914.58 c #Conflicts: 1134000 | #Constraints: 33866
2906.74/2914.58 c #Conflicts: 1135000 | #Constraints: 34866
2906.74/2914.58 c #Conflicts: 1136000 | #Constraints: 35866
2906.74/2914.58 c #Conflicts: 1137000 | #Constraints: 36866
2906.74/2914.58 c #Conflicts: 1138000 | #Constraints: 37866
2906.74/2914.58 c #Conflicts: 1139000 | #Constraints: 38866
2906.74/2914.58 c #Conflicts: 1140000 | #Constraints: 39866
2906.74/2914.58 c #Conflicts: 1141000 | #Constraints: 40866
2906.74/2914.58 c #Conflicts: 1142000 | #Constraints: 41866
2906.74/2914.58 c #Conflicts: 1143000 | #Constraints: 42866
2906.74/2914.58 c #Conflicts: 1144000 | #Constraints: 43866
2906.74/2914.58 c #Conflicts: 1145000 | #Constraints: 44866
2906.74/2914.58 c #Conflicts: 1146000 | #Constraints: 45866
2906.74/2914.58 c INPROCESSING
2906.74/2914.58 c GARBAGE COLLECT
2906.74/2914.58 c #Conflicts: 1147000 | #Constraints: 25657
2906.74/2914.58 c #Conflicts: 1148000 | #Constraints: 26657
2906.74/2914.58 c #Conflicts: 1149000 | #Constraints: 27657
2906.74/2914.58 c #Conflicts: 1150000 | #Constraints: 28657
2906.74/2914.58 c #Conflicts: 1151000 | #Constraints: 29657
2906.74/2914.58 c #Conflicts: 1152000 | #Constraints: 30657
2906.74/2914.58 c #Conflicts: 1153000 | #Constraints: 31657
2906.74/2914.58 c #Conflicts: 1154000 | #Constraints: 32657
2906.74/2914.58 c #Conflicts: 1155000 | #Constraints: 33657
2906.74/2914.58 c #Conflicts: 1156000 | #Constraints: 34657
2906.74/2914.58 c #Conflicts: 1157000 | #Constraints: 35657
2906.74/2914.58 c #Conflicts: 1158000 | #Constraints: 36657
2906.74/2914.58 c #Conflicts: 1159000 | #Constraints: 37657
2906.74/2914.58 c #Conflicts: 1160000 | #Constraints: 38657
2906.74/2914.58 c #Conflicts: 1161000 | #Constraints: 39657
2906.74/2914.58 c #Conflicts: 1162000 | #Constraints: 40657
2906.74/2914.58 c #Conflicts: 1163000 | #Constraints: 41657
2906.74/2914.58 c #Conflicts: 1164000 | #Constraints: 42657
2906.74/2914.58 c #Conflicts: 1165000 | #Constraints: 43657
2906.74/2914.58 c #Conflicts: 1166000 | #Constraints: 44657
2906.74/2914.58 c #Conflicts: 1167000 | #Constraints: 45657
2906.74/2914.58 c #Conflicts: 1168000 | #Constraints: 46657
2906.74/2914.58 c INPROCESSING
2906.74/2914.58 c GARBAGE COLLECT
2906.74/2914.58 c #Conflicts: 1169000 | #Constraints: 26254
2906.74/2914.58 c #Conflicts: 1170000 | #Constraints: 27254
2906.74/2914.58 c #Conflicts: 1171000 | #Constraints: 28254
2906.74/2914.58 c #Conflicts: 1172000 | #Constraints: 29254
2906.74/2914.58 c #Conflicts: 1173000 | #Constraints: 30254
2906.74/2914.58 c #Conflicts: 1174000 | #Constraints: 31254
2906.74/2914.58 c #Conflicts: 1175000 | #Constraints: 32254
2906.74/2914.58 c #Conflicts: 1176000 | #Constraints: 33254
2906.74/2914.58 c #Conflicts: 1177000 | #Constraints: 34254
2906.74/2914.58 c #Conflicts: 1178000 | #Constraints: 35254
2906.74/2914.58 c #Conflicts: 1179000 | #Constraints: 36254
2906.74/2914.58 c #Conflicts: 1180000 | #Constraints: 37254
2906.74/2914.58 c #Conflicts: 1181000 | #Constraints: 38254
2906.74/2914.58 c #Conflicts: 1182000 | #Constraints: 39254
2906.74/2914.58 c #Conflicts: 1183000 | #Constraints: 40254
2906.74/2914.58 c #Conflicts: 1184000 | #Constraints: 41254
2906.74/2914.58 c #Conflicts: 1185000 | #Constraints: 42254
2906.74/2914.58 c #Conflicts: 1186000 | #Constraints: 43254
2906.74/2914.58 c #Conflicts: 1187000 | #Constraints: 44254
2906.74/2914.58 c #Conflicts: 1188000 | #Constraints: 45254
2906.74/2914.58 c #Conflicts: 1189000 | #Constraints: 46254
2906.74/2914.58 c #Conflicts: 1190000 | #Constraints: 47254
2906.74/2914.58 c INPROCESSING
2906.74/2914.58 c GARBAGE COLLECT
2906.74/2914.58 c #Conflicts: 1191000 | #Constraints: 26650
2906.74/2914.58 c #Conflicts: 1192000 | #Constraints: 27650
2906.74/2914.58 c #Conflicts: 1193000 | #Constraints: 28650
2906.74/2914.58 c #Conflicts: 1194000 | #Constraints: 29650
2906.74/2914.58 c #Conflicts: 1195000 | #Constraints: 30650
2906.74/2914.58 c #Conflicts: 1196000 | #Constraints: 31650
3064.83/3073.05 c #Conflicts: 1197000 | #Constraints: 32650
3064.83/3073.05 c #Conflicts: 1198000 | #Constraints: 33650
3064.83/3073.05 c #Conflicts: 1199000 | #Constraints: 34650
3064.83/3073.05 c #Conflicts: 1200000 | #Constraints: 35650
3064.83/3073.05 c #Conflicts: 1201000 | #Constraints: 36650
3064.83/3073.05 c #Conflicts: 1202000 | #Constraints: 37650
3064.83/3073.05 c #Conflicts: 1203000 | #Constraints: 38650
3064.83/3073.05 c #Conflicts: 1204000 | #Constraints: 39650
3064.83/3073.05 c #Conflicts: 1205000 | #Constraints: 40650
3064.83/3073.05 c #Conflicts: 1206000 | #Constraints: 41650
3064.83/3073.05 c #Conflicts: 1207000 | #Constraints: 42650
3064.83/3073.05 c #Conflicts: 1208000 | #Constraints: 43650
3064.83/3073.05 c #Conflicts: 1209000 | #Constraints: 44650
3064.83/3073.05 c #Conflicts: 1210000 | #Constraints: 45650
3064.83/3073.05 c #Conflicts: 1211000 | #Constraints: 46650
3064.83/3073.05 c #Conflicts: 1212000 | #Constraints: 47650
3064.83/3073.05 c INPROCESSING
3064.83/3073.05 c GARBAGE COLLECT
3064.83/3073.05 c #Conflicts: 1213000 | #Constraints: 26843
3064.83/3073.05 c #Conflicts: 1214000 | #Constraints: 27843
3064.83/3073.05 c #Conflicts: 1215000 | #Constraints: 28843
3064.83/3073.05 c #Conflicts: 1216000 | #Constraints: 29843
3064.83/3073.05 c #Conflicts: 1217000 | #Constraints: 30843
3064.83/3073.05 c #Conflicts: 1218000 | #Constraints: 31843
3064.83/3073.05 c #Conflicts: 1219000 | #Constraints: 32843
3064.83/3073.05 c #Conflicts: 1220000 | #Constraints: 33843
3064.83/3073.05 c #Conflicts: 1221000 | #Constraints: 34843
3064.83/3073.05 c #Conflicts: 1222000 | #Constraints: 35843
3064.83/3073.05 c #Conflicts: 1223000 | #Constraints: 36843
3064.83/3073.05 c #Conflicts: 1224000 | #Constraints: 37843
3064.83/3073.05 c #Conflicts: 1225000 | #Constraints: 38843
3064.83/3073.05 c #Conflicts: 1226000 | #Constraints: 39843
3064.83/3073.05 c #Conflicts: 1227000 | #Constraints: 40843
3064.83/3073.05 c #Conflicts: 1228000 | #Constraints: 41843
3064.83/3073.05 c #Conflicts: 1229000 | #Constraints: 42843
3064.83/3073.05 c #Conflicts: 1230000 | #Constraints: 43843
3064.83/3073.05 c #Conflicts: 1231000 | #Constraints: 44843
3064.83/3073.05 c #Conflicts: 1232000 | #Constraints: 45843
3064.83/3073.05 c #Conflicts: 1233000 | #Constraints: 46843
3064.83/3073.05 c #Conflicts: 1234000 | #Constraints: 47843
3064.83/3073.05 c INPROCESSING
3064.83/3073.05 c GARBAGE COLLECT
3064.83/3073.05 c #Conflicts: 1235000 | #Constraints: 26851
3064.83/3073.05 c #Conflicts: 1236000 | #Constraints: 27851
3064.83/3073.05 c #Conflicts: 1237000 | #Constraints: 28851
3064.83/3073.05 c #Conflicts: 1238000 | #Constraints: 29851
3064.83/3073.05 c #Conflicts: 1239000 | #Constraints: 30851
3064.83/3073.05 c #Conflicts: 1240000 | #Constraints: 31851
3064.83/3073.05 c #Conflicts: 1241000 | #Constraints: 32851
3064.83/3073.05 c #Conflicts: 1242000 | #Constraints: 33851
3064.83/3073.05 c #Conflicts: 1243000 | #Constraints: 34851
3064.83/3073.05 c #Conflicts: 1244000 | #Constraints: 35851
3064.83/3073.05 c #Conflicts: 1245000 | #Constraints: 36851
3064.83/3073.05 c #Conflicts: 1246000 | #Constraints: 37851
3064.83/3073.05 c #Conflicts: 1247000 | #Constraints: 38851
3064.83/3073.05 c #Conflicts: 1248000 | #Constraints: 39851
3064.83/3073.05 c #Conflicts: 1249000 | #Constraints: 40851
3064.83/3073.05 c #Conflicts: 1250000 | #Constraints: 41851
3064.83/3073.05 c #Conflicts: 1251000 | #Constraints: 42851
3064.83/3073.05 c #Conflicts: 1252000 | #Constraints: 43851
3064.83/3073.05 c #Conflicts: 1253000 | #Constraints: 44851
3064.83/3073.05 c #Conflicts: 1254000 | #Constraints: 45851
3064.83/3073.05 c #Conflicts: 1255000 | #Constraints: 46851
3064.83/3073.05 c #Conflicts: 1256000 | #Constraints: 47851
3064.83/3073.05 c INPROCESSING
3064.83/3073.05 c GARBAGE COLLECT
3064.83/3073.05 c #Conflicts: 1257000 | #Constraints: 26650
3064.83/3073.05 c #Conflicts: 1258000 | #Constraints: 27650
3064.83/3073.05 c #Conflicts: 1259000 | #Constraints: 28650
3064.83/3073.05 c #Conflicts: 1260000 | #Constraints: 29650
3064.83/3073.05 c #Conflicts: 1261000 | #Constraints: 30650
3064.83/3073.05 c #Conflicts: 1262000 | #Constraints: 31650
3064.83/3073.05 c #Conflicts: 1263000 | #Constraints: 32650
3064.83/3073.05 c #Conflicts: 1264000 | #Constraints: 33650
3064.83/3073.05 c #Conflicts: 1265000 | #Constraints: 34650
3064.83/3073.05 c #Conflicts: 1266000 | #Constraints: 35650
3064.83/3073.05 c #Conflicts: 1267000 | #Constraints: 36650
3064.83/3073.05 c #Conflicts: 1268000 | #Constraints: 37650
3064.83/3073.05 c #Conflicts: 1269000 | #Constraints: 38650
3064.83/3073.05 c #Conflicts: 1270000 | #Constraints: 39650
3064.83/3073.05 c #Conflicts: 1271000 | #Constraints: 40650
3064.83/3073.05 c #Conflicts: 1272000 | #Constraints: 41650
3064.83/3073.05 c #Conflicts: 1273000 | #Constraints: 42650
3201.57/3210.15 c #Conflicts: 1274000 | #Constraints: 43650
3201.57/3210.15 c #Conflicts: 1275000 | #Constraints: 44650
3201.57/3210.15 c #Conflicts: 1276000 | #Constraints: 45650
3201.57/3210.15 c #Conflicts: 1277000 | #Constraints: 46650
3201.57/3210.15 c #Conflicts: 1278000 | #Constraints: 47650
3201.57/3210.15 c #Conflicts: 1279000 | #Constraints: 48650
3201.57/3210.15 c INPROCESSING
3201.57/3210.15 c GARBAGE COLLECT
3201.57/3210.15 c #Conflicts: 1280000 | #Constraints: 27256
3201.57/3210.15 c #Conflicts: 1281000 | #Constraints: 28256
3201.57/3210.15 c #Conflicts: 1282000 | #Constraints: 29256
3201.57/3210.15 c #Conflicts: 1283000 | #Constraints: 30256
3201.57/3210.15 c #Conflicts: 1284000 | #Constraints: 31256
3201.57/3210.15 c #Conflicts: 1285000 | #Constraints: 32256
3201.57/3210.15 c #Conflicts: 1286000 | #Constraints: 33256
3201.57/3210.15 c #Conflicts: 1287000 | #Constraints: 34256
3201.57/3210.15 c #Conflicts: 1288000 | #Constraints: 35256
3201.57/3210.15 c #Conflicts: 1289000 | #Constraints: 36256
3201.57/3210.15 c #Conflicts: 1290000 | #Constraints: 37256
3201.57/3210.15 c #Conflicts: 1291000 | #Constraints: 38256
3201.57/3210.15 c #Conflicts: 1292000 | #Constraints: 39256
3201.57/3210.15 c #Conflicts: 1293000 | #Constraints: 40256
3201.57/3210.15 c #Conflicts: 1294000 | #Constraints: 41256
3201.57/3210.15 c #Conflicts: 1295000 | #Constraints: 42256
3201.57/3210.15 c #Conflicts: 1296000 | #Constraints: 43256
3201.57/3210.15 c #Conflicts: 1297000 | #Constraints: 44256
3201.57/3210.15 c #Conflicts: 1298000 | #Constraints: 45256
3201.57/3210.15 c #Conflicts: 1299000 | #Constraints: 46256
3201.57/3210.15 c #Conflicts: 1300000 | #Constraints: 47256
3201.57/3210.15 c #Conflicts: 1301000 | #Constraints: 48256
3201.57/3210.15 c #Conflicts: 1302000 | #Constraints: 49256
3201.57/3210.15 c INPROCESSING
3201.57/3210.15 c GARBAGE COLLECT
3201.57/3210.15 c #Conflicts: 1303000 | #Constraints: 27644
3201.57/3210.15 c #Conflicts: 1304000 | #Constraints: 28644
3201.57/3210.15 c #Conflicts: 1305000 | #Constraints: 29644
3201.57/3210.15 c #Conflicts: 1306000 | #Constraints: 30644
3201.57/3210.15 c #Conflicts: 1307000 | #Constraints: 31644
3201.57/3210.15 c #Conflicts: 1308000 | #Constraints: 32644
3201.57/3210.15 c #Conflicts: 1309000 | #Constraints: 33644
3201.57/3210.15 c #Conflicts: 1310000 | #Constraints: 34644
3201.57/3210.15 c #Conflicts: 1311000 | #Constraints: 35644
3201.57/3210.15 c #Conflicts: 1312000 | #Constraints: 36644
3201.57/3210.15 c #Conflicts: 1313000 | #Constraints: 37644
3201.57/3210.15 c #Conflicts: 1314000 | #Constraints: 38644
3201.57/3210.15 c #Conflicts: 1315000 | #Constraints: 39644
3201.57/3210.15 c #Conflicts: 1316000 | #Constraints: 40644
3201.57/3210.15 c #Conflicts: 1317000 | #Constraints: 41644
3201.57/3210.15 c #Conflicts: 1318000 | #Constraints: 42644
3201.57/3210.15 c #Conflicts: 1319000 | #Constraints: 43644
3201.57/3210.15 c #Conflicts: 1320000 | #Constraints: 44644
3201.57/3210.15 c #Conflicts: 1321000 | #Constraints: 45644
3201.57/3210.15 c #Conflicts: 1322000 | #Constraints: 46644
3201.57/3210.15 c #Conflicts: 1323000 | #Constraints: 47644
3201.57/3210.15 c #Conflicts: 1324000 | #Constraints: 48644
3201.57/3210.15 c #Conflicts: 1325000 | #Constraints: 49644
3201.57/3210.15 c INPROCESSING
3201.57/3210.15 c GARBAGE COLLECT
3201.57/3210.15 c #Conflicts: 1326000 | #Constraints: 27850
3201.57/3210.15 c #Conflicts: 1327000 | #Constraints: 28850
3201.57/3210.15 c #Conflicts: 1328000 | #Constraints: 29850
3201.57/3210.15 c #Conflicts: 1329000 | #Constraints: 30850
3201.57/3210.15 c #Conflicts: 1330000 | #Constraints: 31850
3201.57/3210.15 c #Conflicts: 1331000 | #Constraints: 32850
3201.57/3210.15 c #Conflicts: 1332000 | #Constraints: 33850
3201.57/3210.15 c #Conflicts: 1333000 | #Constraints: 34850
3201.57/3210.15 c #Conflicts: 1334000 | #Constraints: 35850
3201.57/3210.15 c #Conflicts: 1335000 | #Constraints: 36850
3201.57/3210.15 c #Conflicts: 1336000 | #Constraints: 37850
3201.57/3210.15 c #Conflicts: 1337000 | #Constraints: 38850
3201.57/3210.15 c #Conflicts: 1338000 | #Constraints: 39850
3201.57/3210.15 c #Conflicts: 1339000 | #Constraints: 40850
3201.57/3210.15 c #Conflicts: 1340000 | #Constraints: 41850
3201.57/3210.15 c #Conflicts: 1341000 | #Constraints: 42850
3201.57/3210.15 c #Conflicts: 1342000 | #Constraints: 43850
3201.57/3210.15 c #Conflicts: 1343000 | #Constraints: 44850
3201.57/3210.15 c #Conflicts: 1344000 | #Constraints: 45850
3201.57/3210.15 c #Conflicts: 1345000 | #Constraints: 46850
3201.57/3210.15 c #Conflicts: 1346000 | #Constraints: 47850
3201.57/3210.15 c #Conflicts: 1347000 | #Constraints: 48850
3201.57/3210.15 c #Conflicts: 1348000 | #Constraints: 49850
3201.57/3210.15 c INPROCESSING
3201.57/3210.15 c GARBAGE COLLECT
3201.57/3210.15 c #Conflicts: 1349000 | #Constraints: 27848
3201.57/3210.15 c #Conflicts: 1350000 | #Constraints: 28848
3345.59/3354.57 c #Conflicts: 1351000 | #Constraints: 29848
3345.59/3354.57 c #Conflicts: 1352000 | #Constraints: 30848
3345.59/3354.57 c #Conflicts: 1353000 | #Constraints: 31848
3345.59/3354.57 c #Conflicts: 1354000 | #Constraints: 32848
3345.59/3354.57 c #Conflicts: 1355000 | #Constraints: 33848
3345.59/3354.57 c #Conflicts: 1356000 | #Constraints: 34848
3345.59/3354.57 c #Conflicts: 1357000 | #Constraints: 35848
3345.59/3354.57 c #Conflicts: 1358000 | #Constraints: 36848
3345.59/3354.57 c #Conflicts: 1359000 | #Constraints: 37848
3345.59/3354.57 c #Conflicts: 1360000 | #Constraints: 38848
3345.59/3354.57 c #Conflicts: 1361000 | #Constraints: 39848
3345.59/3354.57 c #Conflicts: 1362000 | #Constraints: 40848
3345.59/3354.57 c #Conflicts: 1363000 | #Constraints: 41848
3345.59/3354.57 c #Conflicts: 1364000 | #Constraints: 42848
3345.59/3354.57 c #Conflicts: 1365000 | #Constraints: 43848
3345.59/3354.57 c #Conflicts: 1366000 | #Constraints: 44848
3345.59/3354.57 c #Conflicts: 1367000 | #Constraints: 45848
3345.59/3354.57 c #Conflicts: 1368000 | #Constraints: 46848
3345.59/3354.57 c #Conflicts: 1369000 | #Constraints: 47848
3345.59/3354.57 c #Conflicts: 1370000 | #Constraints: 48848
3345.59/3354.57 c #Conflicts: 1371000 | #Constraints: 49848
3345.59/3354.57 c INPROCESSING
3345.59/3354.57 c GARBAGE COLLECT
3345.59/3354.57 c #Conflicts: 1372000 | #Constraints: 27634
3345.59/3354.57 c #Conflicts: 1373000 | #Constraints: 28634
3345.59/3354.57 c #Conflicts: 1374000 | #Constraints: 29634
3345.59/3354.57 c #Conflicts: 1375000 | #Constraints: 30634
3345.59/3354.57 c #Conflicts: 1376000 | #Constraints: 31634
3345.59/3354.57 c #Conflicts: 1377000 | #Constraints: 32634
3345.59/3354.57 c #Conflicts: 1378000 | #Constraints: 33634
3345.59/3354.57 c #Conflicts: 1379000 | #Constraints: 34634
3345.59/3354.57 c #Conflicts: 1380000 | #Constraints: 35634
3345.59/3354.57 c #Conflicts: 1381000 | #Constraints: 36634
3345.59/3354.57 c #Conflicts: 1382000 | #Constraints: 37634
3345.59/3354.57 c #Conflicts: 1383000 | #Constraints: 38634
3345.59/3354.57 c #Conflicts: 1384000 | #Constraints: 39634
3345.59/3354.57 c #Conflicts: 1385000 | #Constraints: 40634
3345.59/3354.57 c #Conflicts: 1386000 | #Constraints: 41634
3345.59/3354.57 c #Conflicts: 1387000 | #Constraints: 42634
3345.59/3354.57 c #Conflicts: 1388000 | #Constraints: 43634
3345.59/3354.57 c #Conflicts: 1389000 | #Constraints: 44634
3345.59/3354.57 c #Conflicts: 1390000 | #Constraints: 45634
3345.59/3354.57 c #Conflicts: 1391000 | #Constraints: 46634
3345.59/3354.57 c #Conflicts: 1392000 | #Constraints: 47634
3345.59/3354.57 c #Conflicts: 1393000 | #Constraints: 48634
3345.59/3354.57 c #Conflicts: 1394000 | #Constraints: 49634
3345.59/3354.57 c #Conflicts: 1395000 | #Constraints: 50634
3345.59/3354.57 c INPROCESSING
3345.59/3354.57 c GARBAGE COLLECT
3345.59/3354.57 c #Conflicts: 1396000 | #Constraints: 28226
3345.59/3354.57 c #Conflicts: 1397000 | #Constraints: 29226
3345.59/3354.57 c #Conflicts: 1398000 | #Constraints: 30226
3345.59/3354.57 c #Conflicts: 1399000 | #Constraints: 31226
3345.59/3354.57 c #Conflicts: 1400000 | #Constraints: 32226
3345.59/3354.57 c #Conflicts: 1401000 | #Constraints: 33226
3345.59/3354.57 c #Conflicts: 1402000 | #Constraints: 34226
3345.59/3354.57 c #Conflicts: 1403000 | #Constraints: 35226
3345.59/3354.57 c #Conflicts: 1404000 | #Constraints: 36226
3345.59/3354.57 c #Conflicts: 1405000 | #Constraints: 37226
3345.59/3354.57 c #Conflicts: 1406000 | #Constraints: 38226
3345.59/3354.57 c #Conflicts: 1407000 | #Constraints: 39226
3345.59/3354.57 c #Conflicts: 1408000 | #Constraints: 40226
3345.59/3354.57 c #Conflicts: 1409000 | #Constraints: 41226
3345.59/3354.57 c #Conflicts: 1410000 | #Constraints: 42226
3345.59/3354.57 c #Conflicts: 1411000 | #Constraints: 43226
3345.59/3354.57 c #Conflicts: 1412000 | #Constraints: 44226
3345.59/3354.57 c #Conflicts: 1413000 | #Constraints: 45226
3345.59/3354.57 c #Conflicts: 1414000 | #Constraints: 46226
3345.59/3354.57 c #Conflicts: 1415000 | #Constraints: 47226
3345.59/3354.57 c #Conflicts: 1416000 | #Constraints: 48226
3345.59/3354.57 c #Conflicts: 1417000 | #Constraints: 49226
3345.59/3354.57 c #Conflicts: 1418000 | #Constraints: 50226
3345.59/3354.57 c #Conflicts: 1419000 | #Constraints: 51226
3345.59/3354.57 c INPROCESSING
3345.59/3354.57 c GARBAGE COLLECT
3345.59/3354.57 c #Conflicts: 1420000 | #Constraints: 28624
3345.59/3354.57 c #Conflicts: 1421000 | #Constraints: 29624
3345.59/3354.57 c #Conflicts: 1422000 | #Constraints: 30624
3345.59/3354.57 c #Conflicts: 1423000 | #Constraints: 31624
3345.59/3354.57 c #Conflicts: 1424000 | #Constraints: 32624
3345.59/3354.57 c #Conflicts: 1425000 | #Constraints: 33624
3345.59/3354.57 c #Conflicts: 1426000 | #Constraints: 34624
3481.84/3491.12 c #Conflicts: 1427000 | #Constraints: 35624
3481.84/3491.12 c #Conflicts: 1428000 | #Constraints: 36624
3481.84/3491.12 c #Conflicts: 1429000 | #Constraints: 37624
3481.84/3491.12 c #Conflicts: 1430000 | #Constraints: 38624
3481.84/3491.12 c #Conflicts: 1431000 | #Constraints: 39624
3481.84/3491.12 c #Conflicts: 1432000 | #Constraints: 40624
3481.84/3491.12 c #Conflicts: 1433000 | #Constraints: 41624
3481.84/3491.12 c #Conflicts: 1434000 | #Constraints: 42624
3481.84/3491.12 c #Conflicts: 1435000 | #Constraints: 43624
3481.84/3491.12 c #Conflicts: 1436000 | #Constraints: 44624
3481.84/3491.12 c #Conflicts: 1437000 | #Constraints: 45624
3481.84/3491.12 c #Conflicts: 1438000 | #Constraints: 46624
3481.84/3491.12 c #Conflicts: 1439000 | #Constraints: 47624
3481.84/3491.12 c #Conflicts: 1440000 | #Constraints: 48624
3481.84/3491.12 c #Conflicts: 1441000 | #Constraints: 49624
3481.84/3491.12 c #Conflicts: 1442000 | #Constraints: 50624
3481.84/3491.12 c #Conflicts: 1443000 | #Constraints: 51624
3481.84/3491.12 c INPROCESSING
3481.84/3491.12 c GARBAGE COLLECT
3481.84/3491.12 c #Conflicts: 1444000 | #Constraints: 28823
3481.84/3491.12 c #Conflicts: 1445000 | #Constraints: 29823
3481.84/3491.12 c #Conflicts: 1446000 | #Constraints: 30823
3481.84/3491.12 c #Conflicts: 1447000 | #Constraints: 31823
3481.84/3491.12 c #Conflicts: 1448000 | #Constraints: 32823
3481.84/3491.12 c #Conflicts: 1449000 | #Constraints: 33823
3481.84/3491.12 c #Conflicts: 1450000 | #Constraints: 34823
3481.84/3491.12 c #Conflicts: 1451000 | #Constraints: 35823
3481.84/3491.12 c #Conflicts: 1452000 | #Constraints: 36823
3481.84/3491.12 c #Conflicts: 1453000 | #Constraints: 37823
3481.84/3491.12 c #Conflicts: 1454000 | #Constraints: 38823
3481.84/3491.12 c #Conflicts: 1455000 | #Constraints: 39823
3481.84/3491.12 c #Conflicts: 1456000 | #Constraints: 40823
3481.84/3491.12 c #Conflicts: 1457000 | #Constraints: 41823
3481.84/3491.12 c #Conflicts: 1458000 | #Constraints: 42823
3481.84/3491.12 c #Conflicts: 1459000 | #Constraints: 43823
3481.84/3491.12 c #Conflicts: 1460000 | #Constraints: 44823
3481.84/3491.12 c #Conflicts: 1461000 | #Constraints: 45823
3481.84/3491.12 c #Conflicts: 1462000 | #Constraints: 46823
3481.84/3491.12 c #Conflicts: 1463000 | #Constraints: 47823
3481.84/3491.12 c #Conflicts: 1464000 | #Constraints: 48823
3481.84/3491.12 c #Conflicts: 1465000 | #Constraints: 49823
3481.84/3491.12 c #Conflicts: 1466000 | #Constraints: 50823
3481.84/3491.12 c #Conflicts: 1467000 | #Constraints: 51823
3481.84/3491.12 c INPROCESSING
3481.84/3491.12 c GARBAGE COLLECT
3481.84/3491.12 c #Conflicts: 1468000 | #Constraints: 28821
3481.84/3491.12 c #Conflicts: 1469000 | #Constraints: 29821
3481.84/3491.12 c #Conflicts: 1470000 | #Constraints: 30821
3481.84/3491.12 c #Conflicts: 1471000 | #Constraints: 31821
3481.84/3491.12 c #Conflicts: 1472000 | #Constraints: 32821
3481.84/3491.12 c #Conflicts: 1473000 | #Constraints: 33821
3481.84/3491.12 c #Conflicts: 1474000 | #Constraints: 34821
3481.84/3491.12 c #Conflicts: 1475000 | #Constraints: 35821
3481.84/3491.12 c #Conflicts: 1476000 | #Constraints: 36821
3481.84/3491.12 c #Conflicts: 1477000 | #Constraints: 37821
3481.84/3491.12 c #Conflicts: 1478000 | #Constraints: 38821
3481.84/3491.12 c #Conflicts: 1479000 | #Constraints: 39821
3481.84/3491.12 c #Conflicts: 1480000 | #Constraints: 40821
3481.84/3491.12 c #Conflicts: 1481000 | #Constraints: 41821
3481.84/3491.12 c #Conflicts: 1482000 | #Constraints: 42821
3481.84/3491.12 c #Conflicts: 1483000 | #Constraints: 43821
3481.84/3491.12 c #Conflicts: 1484000 | #Constraints: 44821
3481.84/3491.12 c #Conflicts: 1485000 | #Constraints: 45821
3481.84/3491.12 c #Conflicts: 1486000 | #Constraints: 46821
3481.84/3491.12 c #Conflicts: 1487000 | #Constraints: 47821
3481.84/3491.12 c #Conflicts: 1488000 | #Constraints: 48821
3481.84/3491.12 c #Conflicts: 1489000 | #Constraints: 49821
3481.84/3491.12 c #Conflicts: 1490000 | #Constraints: 50821
3481.84/3491.12 c #Conflicts: 1491000 | #Constraints: 51821
3481.84/3491.12 c INPROCESSING
3481.84/3491.12 c GARBAGE COLLECT
3481.84/3491.12 c #Conflicts: 1492000 | #Constraints: 28625
3481.84/3491.12 c #Conflicts: 1493000 | #Constraints: 29625
3481.84/3491.12 c #Conflicts: 1494000 | #Constraints: 30625
3481.84/3491.12 c #Conflicts: 1495000 | #Constraints: 31625
3481.84/3491.12 c #Conflicts: 1496000 | #Constraints: 32625
3481.84/3491.12 c #Conflicts: 1497000 | #Constraints: 33625
3481.84/3491.12 c #Conflicts: 1498000 | #Constraints: 34625
3481.84/3491.12 c #Conflicts: 1499000 | #Constraints: 35625
3481.84/3491.12 c #Conflicts: 1500000 | #Constraints: 36625
3481.84/3491.12 c #Conflicts: 1501000 | #Constraints: 37625
3481.84/3491.12 c #Conflicts: 1502000 | #Constraints: 38625
3481.84/3491.12 c #Conflicts: 1503000 | #Constraints: 39625
3600.03/3609.60 c #Conflicts: 1504000 | #Constraints: 40625
3600.03/3609.60 c #Conflicts: 1505000 | #Constraints: 41625
3600.03/3609.60 c #Conflicts: 1506000 | #Constraints: 42625
3600.03/3609.60 c #Conflicts: 1507000 | #Constraints: 43625
3600.03/3609.60 c #Conflicts: 1508000 | #Constraints: 44625
3600.03/3609.60 c #Conflicts: 1509000 | #Constraints: 45625
3600.03/3609.60 c #Conflicts: 1510000 | #Constraints: 46625
3600.03/3609.60 c #Conflicts: 1511000 | #Constraints: 47625
3600.03/3609.60 c #Conflicts: 1512000 | #Constraints: 48625
3600.03/3609.60 c #Conflicts: 1513000 | #Constraints: 49625
3600.03/3609.60 c #Conflicts: 1514000 | #Constraints: 50625
3600.03/3609.60 c #Conflicts: 1515000 | #Constraints: 51625
3600.03/3609.60 c #Conflicts: 1516000 | #Constraints: 52625
3600.03/3609.60 c INPROCESSING
3600.03/3609.60 c GARBAGE COLLECT
3600.03/3609.60 c #Conflicts: 1517000 | #Constraints: 29224
3600.03/3609.60 c #Conflicts: 1518000 | #Constraints: 30224
3600.03/3609.60 c #Conflicts: 1519000 | #Constraints: 31224
3600.03/3609.60 c #Conflicts: 1520000 | #Constraints: 32224
3600.03/3609.60 c #Conflicts: 1521000 | #Constraints: 33224
3600.03/3609.60 c #Conflicts: 1522000 | #Constraints: 34224
3600.03/3609.60 c #Conflicts: 1523000 | #Constraints: 35224
3600.03/3609.60 c #Conflicts: 1524000 | #Constraints: 36224
3600.03/3609.60 c #Conflicts: 1525000 | #Constraints: 37224
3600.03/3609.60 c #Conflicts: 1526000 | #Constraints: 38224
3600.03/3609.60 c #Conflicts: 1527000 | #Constraints: 39224
3600.03/3609.60 c #Conflicts: 1528000 | #Constraints: 40224
3600.03/3609.60 c #Conflicts: 1529000 | #Constraints: 41224
3600.03/3609.60 c #Conflicts: 1530000 | #Constraints: 42224
3600.03/3609.60 c #Conflicts: 1531000 | #Constraints: 43224
3600.03/3609.60 c #Conflicts: 1532000 | #Constraints: 44224
3600.03/3609.60 c #Conflicts: 1533000 | #Constraints: 45224
3600.03/3609.60 c #Conflicts: 1534000 | #Constraints: 46224
3600.03/3609.60 c #Conflicts: 1535000 | #Constraints: 47224
3600.03/3609.60 c #Conflicts: 1536000 | #Constraints: 48224
3600.03/3609.60 c #Conflicts: 1537000 | #Constraints: 49224
3600.03/3609.60 c #Conflicts: 1538000 | #Constraints: 50224
3600.03/3609.60 c #Conflicts: 1539000 | #Constraints: 51224
3600.03/3609.60 c #Conflicts: 1540000 | #Constraints: 52224
3600.03/3609.60 c #Conflicts: 1541000 | #Constraints: 53224
3600.03/3609.60 c INPROCESSING
3600.03/3609.60 c GARBAGE COLLECT
3600.03/3609.60 c #Conflicts: 1542000 | #Constraints: 29627
3600.03/3609.60 c #Conflicts: 1543000 | #Constraints: 30627
3600.03/3609.60 c #Conflicts: 1544000 | #Constraints: 31627
3600.03/3609.60 c #Conflicts: 1545000 | #Constraints: 32627
3600.03/3609.60 c #Conflicts: 1546000 | #Constraints: 33627
3600.03/3609.60 c #Conflicts: 1547000 | #Constraints: 34627
3600.03/3609.60 c #Conflicts: 1548000 | #Constraints: 35627
3600.03/3609.60 c #Conflicts: 1549000 | #Constraints: 36627
3600.03/3609.60 c #Conflicts: 1550000 | #Constraints: 37627
3600.03/3609.60 c #Conflicts: 1551000 | #Constraints: 38627
3600.03/3609.60 c #Conflicts: 1552000 | #Constraints: 39627
3600.03/3609.60 c #Conflicts: 1553000 | #Constraints: 40627
3600.03/3609.60 c #Conflicts: 1554000 | #Constraints: 41627
3600.03/3609.60 c #Conflicts: 1555000 | #Constraints: 42627
3600.03/3609.60 c #Conflicts: 1556000 | #Constraints: 43627
3600.03/3609.60 c #Conflicts: 1557000 | #Constraints: 44627
3600.03/3609.60 c #Conflicts: 1558000 | #Constraints: 45627
3600.03/3609.60 c #Conflicts: 1559000 | #Constraints: 46627
3600.03/3609.60 c #Conflicts: 1560000 | #Constraints: 47627
3600.03/3609.60 c #Conflicts: 1561000 | #Constraints: 48627
3600.03/3609.60 c #Conflicts: 1562000 | #Constraints: 49627
3600.03/3609.60 c #Conflicts: 1563000 | #Constraints: 50627
3600.03/3609.60 c #Conflicts: 1564000 | #Constraints: 51627
3600.03/3609.60 c #Conflicts: 1565000 | #Constraints: 52627
3600.03/3609.60 c Program interrupted by user.
3600.03/3609.60 c cpu time 3590.49 s
3600.03/3609.60 c deterministic time 532856547190 5.33e+11
3600.03/3609.60 c optimization time 34.6485 s
3600.03/3609.60 c total solve time 3256.56 s
3600.03/3609.60 c core-guided solve time 3256.56 s
3600.03/3609.60 c propagation time 2558 s
3600.03/3609.60 c conflict analysis time 496.65 s
3600.03/3609.60 c propagations 68686008
3600.03/3609.60 c resolve steps 10279394
3600.03/3609.60 c decisions 4762130
3600.03/3609.60 c conflicts 1565001
3600.03/3609.60 c restarts 3067
3600.03/3609.60 c inprocessing phases 115
3600.03/3609.60 c input clauses 3972
3600.03/3609.60 c input cardinalities 150
3600.03/3609.60 c input general constraints 0
3600.03/3609.60 c input average constraint length 62.75
3600.03/3609.60 c input average constraint degree 28.26
3600.03/3609.60 c learned clauses 568858
3600.03/3609.60 c learned cardinalities 336794
3600.03/3609.60 c learned general constraints 659496
3600.03/3609.60 c learned average constraint length 1037.22
3600.03/3609.60 c learned average constraint degree 8211.17
3600.03/3609.60 c watched constraints 236511
3600.03/3609.60 c counting constraints 422985
3600.03/3609.60 c gcd simplifications 28516
3600.03/3609.60 c detected cardinalities 8837
3600.03/3609.60 c weakened non-implied lits 275916128
3600.03/3609.60 c weakened non-implying lits 21027
3600.03/3609.60 c original variables 1963
3600.03/3609.60 c clausal propagations 30406347
3600.03/3609.60 c cardinality propagations 12095330
3600.03/3609.60 c watched propagations 2855952
3600.03/3609.60 c counting propagations 14501819
3600.03/3609.60 c watch lookups 45042880372
3600.03/3609.60 c watch backjump lookups 37386951686
3600.03/3609.60 c watch checks 402388480889
3600.03/3609.60 c propagation checks 43382355659
3600.03/3609.60 c constraint additions 4507419158
3600.03/3609.60 c trail pops 75011287
3600.03/3609.60 c formula constraints 3300
3600.03/3609.60 c learned constraints 1565148
3600.03/3609.60 c bound constraints 150
3600.03/3609.60 c core-guided constraints 672
3600.03/3609.60 c encountered formula constraints 7176155
3600.03/3609.60 c encountered learned constraints 4016904
3600.03/3609.60 c encountered bound constraints 2
3600.03/3609.60 c encountered core-guided constraints 651334
3600.03/3609.60 c LP total time 0 s
3600.03/3609.60 c LP solve time 0 s
3600.03/3609.60 c LP constraints added 0
3600.03/3609.60 c LP constraints removed 0
3600.03/3609.60 c LP pivots internal 0
3600.03/3609.60 c LP pivots root 0
3600.03/3609.60 c LP calls 0
3600.03/3609.60 c LP optimalities 0
3600.03/3609.60 c LP no pivot count 0
3600.03/3609.60 c LP infeasibilities 0
3600.03/3609.60 c LP valid Farkas constraints 0
3600.03/3609.60 c LP learned Farkas constraints 0
3600.03/3609.60 c LP basis resets 0
3600.03/3609.60 c LP cycling count 0
3600.03/3609.60 c LP singular count 0
3600.03/3609.60 c LP no primal count 0
3600.03/3609.60 c LP no farkas count 0
3600.03/3609.60 c LP other issue count 0
3600.03/3609.60 c LP Gomory cuts 0
3600.03/3609.60 c LP learned cuts 0
3600.03/3609.60 c LP deleted cuts 0
3600.03/3609.60 c LP encountered Gomory constraints 0
3600.03/3609.60 c LP encountered Farkas constraints 0
3600.03/3609.60 c LP encountered learned Farkas constraints 0
3600.03/3609.60 c CG auxiliary variables introduced 672
3600.03/3609.60 c CG solutions found 0
3600.03/3609.60 c CG cores constructed 149
3600.03/3609.60 c CG core cardinality constraints returned 0
3600.03/3609.60 c CG unit cores 0
3600.03/3609.60 c CG single cores 149
3600.03/3609.60 c CG blocks removed during cardinality reduction 0
3600.03/3609.60 c CG first core best 0
3600.03/3609.60 c CG decision core best 0
3600.03/3609.60 c CG core reduction tie 0
3600.03/3609.60 c CG core degree average 1.00
3600.03/3609.60 c CG core slack average 2.94
3600.03/3609.60 c CG exhausted 0
3600.03/3609.60 c CG exhaust time 0 s
3600.03/3609.60 c CG trimmed 1
3600.03/3609.60 c CG trim time 0.000851 s
3600.03/3609.60 c CG minimized 0
3600.03/3609.60 c CG minimize time 0 s
3600.03/3609.60 c CG am1 prop time 0.002623 s
3600.03/3609.60 c CG # am1s reformulated 672
3600.03/3609.60 c CG lower bound derived from am1s 675
3600.03/3609.60 c CG # clausal cores 149
3600.03/3609.60 c CG # cardinality cores 0
3600.03/3609.60 c CG # pb cores 0
3600.03/3609.60 c CG # pb reforms 0
3600.03/3609.60 c CG # cores discarded because of pb reform 0
3600.03/3609.60 d LOWERBOUND 824
3600.03/3609.60 d NCORES 149
3600.03/3609.60 d NPBCORES 0
3600.03/3609.60 d NPBREFORM 0
3600.03/3609.60 d NTRIMMED 1
3600.03/3609.60 d NEXHAUSTED 0
3600.03/3609.60 d NAM1S 672
3600.03/3609.60 d AM1LB 675
3600.03/3609.60 c [Papilo Statistics]
3600.03/3609.60 c prepro time 0.00460582s
3600.03/3609.60 c # tsx applied 147
3600.03/3609.60 c # tsx conflicts 4
3600.03/3609.60 c # bound changes 146
3600.03/3609.60 c # side changes 0
3600.03/3609.60 c # coef changes 0
3600.03/3609.60 c # rounds 2
3600.03/3609.60 c # deted vars 296
3600.03/3609.60 c # deted constrs 700
3600.03/3609.60 c # consecutive rounds of only bound changes 0
3600.03/3609.60 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 (62807 MiB free)
memory of node 1: 64465 MiB (62971 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488715-1751330029/watcher-4488715-1751330029 -o /tmp/evaluation-result-4488715-1751330029/solver-4488715-1751330029 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45656 --watchdog 3760 mixed-bag HOME/instance-4488715-1751330029.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=47532, runsolver pid=47529
[startup+0.100065 s]*
/proc/loadavg: 4.11 4.10 4.15 5/264 47533
/proc/meminfo: memFree=128794192/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=117004 memory=41276 CPUtime=0.08 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 7049 0 0 0 7 1 0 0 20 0 1 0 48680375 119812096 10319 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 29251 10319 4224 2842 0 10945 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 117004 KiB
Current children cumulated memory: 41276 KiB
[startup+0.205674 s]*
/proc/loadavg: 4.11 4.10 4.15 5/264 47533
/proc/meminfo: memFree=128794192/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=119028 memory=43196 CPUtime=0.19 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 7528 0 0 0 18 1 0 0 20 0 1 0 48680375 121884672 10799 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 29757 10799 4256 2842 0 11451 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 119028 KiB
Current children cumulated memory: 43196 KiB
[startup+0.305616 s]*
/proc/loadavg: 4.11 4.10 4.15 5/264 47533
/proc/meminfo: memFree=128786128/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=119364 memory=43580 CPUtime=0.29 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 7625 0 0 0 28 1 0 0 20 0 1 0 48680375 122228736 10895 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 29841 10895 4256 2842 0 11535 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 119364 KiB
Current children cumulated memory: 43580 KiB
[startup+0.700118 s]
/proc/loadavg: 4.11 4.10 4.15 5/264 47533
/proc/meminfo: memFree=128782348/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=124316 memory=48188 CPUtime=0.67 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 8785 0 0 0 66 1 0 0 20 0 1 0 48680375 127299584 12047 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 31079 12047 4256 2842 0 12773 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 124316 KiB
Current children cumulated memory: 48188 KiB
[startup+1.50011 s]
/proc/loadavg: 4.11 4.10 4.15 5/264 47533
/proc/meminfo: memFree=128782348/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=128596 memory=52028 CPUtime=1.47 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 9741 0 0 0 146 1 0 0 20 0 1 0 48680375 131682304 13007 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 32149 13007 4256 2842 0 13843 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 128596 KiB
Current children cumulated memory: 52028 KiB
[startup+3.10544 s]
/proc/loadavg: 4.11 4.10 4.15 5/264 47533
/proc/meminfo: memFree=128754148/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=150948 memory=73020 CPUtime=3.07 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 14991 0 0 0 305 2 0 0 20 0 1 0 48680375 154570752 18255 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 37737 18255 4256 2842 0 19431 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 150948 KiB
Current children cumulated memory: 73020 KiB
[startup+6.30016 s]
/proc/loadavg: 4.10 4.10 4.15 5/264 47533
/proc/meminfo: memFree=128698204/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=204016 memory=124988 CPUtime=6.26 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 27989 0 0 0 622 4 0 0 20 0 1 0 48680375 208912384 31247 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 51004 31247 4256 2842 0 32698 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 204016 KiB
Current children cumulated memory: 124988 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.09 4.15 5/264 47533
/proc/meminfo: memFree=128666460/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=225864 memory=143172 CPUtime=12.64 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 33911 0 0 0 1259 5 0 0 20 0 1 0 48680375 231284736 35793 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 56466 35793 4256 2842 0 38160 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 225864 KiB
Current children cumulated memory: 143172 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.15 5/264 47533
/proc/meminfo: memFree=128651340/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=226704 memory=143940 CPUtime=25.41 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 34108 0 0 0 2535 6 0 0 20 0 1 0 48680375 232144896 35985 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 56676 35985 4256 2842 0 38370 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 226704 KiB
Current children cumulated memory: 143940 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.10 4.15 5/264 47533
/proc/meminfo: memFree=128532412/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=299592 memory=211056 CPUtime=50.95 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 51803 0 0 0 5086 9 0 0 20 0 1 0 48680375 306782208 52732 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 74898 52764 4256 2842 0 56592 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 299592 KiB
Current children cumulated memory: 211056 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.14 5/264 47535
/proc/meminfo: memFree=128501868/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=334368 memory=242020 CPUtime=102.01 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 62923 0 0 0 10190 11 0 0 20 0 1 0 48680375 342392832 60505 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 83592 60505 4288 2842 0 65286 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 334368 KiB
Current children cumulated memory: 242020 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.14 5/266 47631
/proc/meminfo: memFree=129192476/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=351264 memory=259052 CPUtime=161.85 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 68275 0 0 0 16174 11 0 0 20 0 1 0 48680375 359694336 64763 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 87816 64763 4288 2842 0 69510 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 351264 KiB
Current children cumulated memory: 259052 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.13 5/267 47638
/proc/meminfo: memFree=128989224/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=358884 memory=266468 CPUtime=221.7 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 71444 0 0 0 22158 12 0 0 20 0 1 0 48680375 367497216 66617 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 89721 66617 4288 2842 0 71415 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 358884 KiB
Current children cumulated memory: 266468 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.13 5/266 47640
/proc/meminfo: memFree=129015432/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=366296 memory=271204 CPUtime=281.55 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 72637 0 0 0 28143 12 0 0 20 0 1 0 48680375 375087104 67801 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 91574 67801 4288 2842 0 73268 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 366296 KiB
Current children cumulated memory: 271204 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.12 5/266 47642
/proc/meminfo: memFree=129071056/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=272872 memory=172068 CPUtime=341.4 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 76885 0 0 0 34083 57 0 0 20 0 1 0 48680375 279420928 43017 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 68218 43017 4448 2842 0 49912 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 272872 KiB
Current children cumulated memory: 172068 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.11 5/267 47645
/proc/meminfo: memFree=129018920/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=277480 memory=203592 CPUtime=401.23 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 79246 0 0 0 40026 97 0 0 20 0 1 0 48680375 284139520 50898 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 69370 50898 4448 2842 0 51064 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 277480 KiB
Current children cumulated memory: 203592 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.11 5/266 47648
/proc/meminfo: memFree=129133144/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=333204 memory=221684 CPUtime=461.06 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 80632 0 0 0 45972 134 0 0 20 0 1 0 48680375 341200896 55421 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 83301 55421 4448 2842 0 64995 0
################
# More data... #
################
Current children cumulated memory: 530404 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 47787
/proc/meminfo: memFree=128349216/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=704008 memory=532796 CPUtime=2854.67 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 110142 0 0 0 284731 736 0 0 20 0 1 0 48680375 720904192 133199 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 176002 133199 4448 2842 0 157696 0
Current children cumulated CPU time: 2854.67 s
Current children cumulated vsize: 704008 KiB
Current children cumulated memory: 532796 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 47789
/proc/meminfo: memFree=128308368/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=704008 memory=532796 CPUtime=2914.52 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 110142 0 0 0 290698 754 0 0 20 0 1 0 48680375 720904192 133199 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 176002 133199 4448 2842 0 157696 0
Current children cumulated CPU time: 2914.52 s
Current children cumulated vsize: 704008 KiB
Current children cumulated memory: 532796 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 47791
/proc/meminfo: memFree=128293364/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=704264 memory=541244 CPUtime=2974.36 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 110210 0 0 0 296667 769 0 0 20 0 1 0 48680375 721166336 135311 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 176066 135311 4448 2842 0 157760 0
Current children cumulated CPU time: 2974.36 s
Current children cumulated vsize: 704264 KiB
Current children cumulated memory: 541244 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 47796
/proc/meminfo: memFree=128281800/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=704704 memory=541372 CPUtime=3034.2 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 110259 0 0 0 302635 785 0 0 20 0 1 0 48680375 721616896 135343 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 176176 135343 4448 2842 0 157870 0
Current children cumulated CPU time: 3034.2 s
Current children cumulated vsize: 704704 KiB
Current children cumulated memory: 541372 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 47798
/proc/meminfo: memFree=128269376/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=707080 memory=542908 CPUtime=3094.05 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 110653 0 0 0 308603 802 0 0 20 0 1 0 48680375 724049920 135727 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 176770 135727 4448 2842 0 158464 0
Current children cumulated CPU time: 3094.05 s
Current children cumulated vsize: 707080 KiB
Current children cumulated memory: 542908 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 47802
/proc/meminfo: memFree=128229460/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=779456 memory=579772 CPUtime=3153.9 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 119852 0 0 0 314568 822 0 0 20 0 1 0 48680375 798162944 144943 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 194864 144943 4448 2842 0 176558 0
Current children cumulated CPU time: 3153.9 s
Current children cumulated vsize: 779456 KiB
Current children cumulated memory: 579772 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 47809
/proc/meminfo: memFree=128197204/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=802500 memory=594272 CPUtime=3213.74 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 122956 0 0 0 320535 839 0 0 20 0 1 0 48680375 821760000 148568 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 200625 148568 4448 2842 0 182319 0
Current children cumulated CPU time: 3213.74 s
Current children cumulated vsize: 802500 KiB
Current children cumulated memory: 594272 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 47812
/proc/meminfo: memFree=128192900/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=807108 memory=596576 CPUtime=3273.58 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 123541 0 0 0 326500 858 0 0 20 0 1 0 48680375 826478592 149144 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 201777 149144 4448 2842 0 183471 0
Current children cumulated CPU time: 3273.58 s
Current children cumulated vsize: 807108 KiB
Current children cumulated memory: 596576 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 47814
/proc/meminfo: memFree=128204304/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=807108 memory=596576 CPUtime=3333.42 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 123542 0 0 0 332468 874 0 0 20 0 1 0 48680375 826478592 149144 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 201777 149144 4448 2842 0 183471 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 807108 KiB
Current children cumulated memory: 596576 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 47816
/proc/meminfo: memFree=128187564/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=812740 memory=599776 CPUtime=3393.26 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 124334 0 0 0 338435 891 0 0 20 0 1 0 48680375 832245760 149944 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 203185 149944 4448 2842 0 184879 0
Current children cumulated CPU time: 3393.26 s
Current children cumulated vsize: 812740 KiB
Current children cumulated memory: 599776 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 47819
/proc/meminfo: memFree=128175188/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=812740 memory=610024 CPUtime=3453.11 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 124339 0 0 0 344400 911 0 0 20 0 1 0 48680375 832245760 152506 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 203185 152506 4448 2842 0 184879 0
Current children cumulated CPU time: 3453.11 s
Current children cumulated vsize: 812740 KiB
Current children cumulated memory: 610024 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 47822
/proc/meminfo: memFree=128159308/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=819908 memory=614888 CPUtime=3512.94 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 125558 0 0 0 350365 929 0 0 20 0 1 0 48680375 839585792 153722 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 204977 153722 4448 2842 0 186671 0
Current children cumulated CPU time: 3512.94 s
Current children cumulated vsize: 819908 KiB
Current children cumulated memory: 614888 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 47870
/proc/meminfo: memFree=128547168/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=825028 memory=618088 CPUtime=3572.79 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 126379 0 0 0 356332 947 0 0 20 0 1 0 48680375 844828672 154522 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 206257 154522 4448 2842 0 187951 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 825028 KiB
Current children cumulated memory: 618088 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 47870
/proc/meminfo: memFree=128471516/131249996 swapFree=33010416/33010684
[pid=47532] ppid=47529 vsize=825028 memory=626376 CPUtime=3600.03 cores=4,6
/proc/47532/stat : 47532 (mixed-bag) R 47529 47532 45645 0 -1 4194304 126386 0 0 0 359049 954 0 0 20 0 1 0 48680375 844828672 156594 18446744073709551615 4235264 15874749 140736191988480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 49549312 140736191994268 140736191994345 140736191994345 140736191999947 0
/proc/47532/statm: 206257 156594 4448 2842 0 187951 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 825028 KiB
Current children cumulated memory: 626376 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 47532 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.49 s, system=9.54835 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.61
CPU time (s): 3600.04
CPU user time (s): 3590.49
CPU system time (s): 9.54835
CPU usage (%): 99.735
Max. virtual memory (cumulated for all children) (KiB): 825028
Max. memory (cumulated for all children) (KiB): 626376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.49
system time used= 9.54835
maximum resident set size= 626888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126416
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= 336
involuntary context switches= 3546
# summary of solver processes directly reported to runsolver:
# pid: 47532
# total CPU time (s): 3600.04
# total CPU user time (s): 3590.49
# total CPU system time (s): 9.54835
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96853 second user time and 17.4691 second system time
The end
Begin job on nodeC015 at 2025-07-01 02:33:49
IDJOB=4488715
IDBENCH=147530
IDSOLVER=3340
FILE ID=nodeC015/4488715-1751330029
RUNJOBID= nodeC015-1751326375-45656
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_6.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488715-1751330029/watcher-4488715-1751330029 -o /tmp/evaluation-result-4488715-1751330029/solver-4488715-1751330029 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45656 --watchdog 3760 mixed-bag HOME/instance-4488715-1751330029.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2f43827d921579f008f60b037bb7dde7
RANDOM SEED=999308919
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.068
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.053
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.854
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 : 3596.818
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 : 3518.863
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.078
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.074
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 : 3700.000
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: 128797460 kB
MemAvailable: 128521400 kB
Buffers: 2128 kB
Cached: 512716 kB
SwapCached: 24 kB
Active: 1606612 kB
Inactive: 208312 kB
Active(anon): 1298048 kB
Inactive(anon): 20084 kB
Active(file): 308564 kB
Inactive(file): 188228 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15740 kB
Writeback: 16 kB
AnonPages: 1298380 kB
Mapped: 138092 kB
Shmem: 18052 kB
KReclaimable: 132772 kB
Slab: 222000 kB
SReclaimable: 132772 kB
SUnreclaim: 89228 kB
KernelStack: 4252 kB
PageTables: 5776 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1891072 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1095680 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432956 MiB
End job on nodeC015 at 2025-07-01 03:33:59