0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
299.30/300.17 c [STEP] preprocessing done, loading into solver
299.30/300.18 c [STEP] solving
299.30/300.18 c #variables 1668 #constraints 3300
299.30/300.18 c SMALL=int, LARGE=long long
299.30/300.18 c bounds - >= 0 @ 299.243
299.30/300.18 c stratification level: 0
299.39/300.23 c bounds - >= 676 @ 299.248
299.39/300.23 c bounds - >= 677 @ 299.248
299.39/300.23 c bounds - >= 678 @ 299.248
299.39/300.23 c bounds - >= 679 @ 299.248
299.39/300.23 c bounds - >= 680 @ 299.248
299.39/300.23 c bounds - >= 681 @ 299.249
299.39/300.23 c bounds - >= 682 @ 299.249
299.39/300.23 c bounds - >= 683 @ 299.249
299.39/300.23 c bounds - >= 684 @ 299.249
299.39/300.23 c bounds - >= 685 @ 299.249
299.39/300.23 c bounds - >= 686 @ 299.25
299.39/300.23 c bounds - >= 687 @ 299.25
299.39/300.23 c bounds - >= 688 @ 299.25
299.39/300.23 c bounds - >= 689 @ 299.25
299.39/300.23 c bounds - >= 690 @ 299.25
299.39/300.23 c bounds - >= 691 @ 299.25
299.39/300.23 c bounds - >= 692 @ 299.25
299.39/300.23 c bounds - >= 693 @ 299.25
299.39/300.23 c bounds - >= 694 @ 299.251
299.39/300.23 c bounds - >= 695 @ 299.251
299.39/300.23 c bounds - >= 696 @ 299.251
299.39/300.23 c bounds - >= 697 @ 299.251
299.39/300.23 c bounds - >= 698 @ 299.251
299.39/300.23 c bounds - >= 699 @ 299.252
299.39/300.23 c bounds - >= 700 @ 299.252
299.39/300.23 c bounds - >= 701 @ 299.252
299.39/300.23 c bounds - >= 702 @ 299.252
299.39/300.23 c bounds - >= 703 @ 299.253
299.39/300.23 c bounds - >= 704 @ 299.253
299.39/300.23 c bounds - >= 705 @ 299.253
299.39/300.23 c bounds - >= 706 @ 299.254
299.39/300.23 c bounds - >= 707 @ 299.254
299.39/300.23 c bounds - >= 708 @ 299.254
299.39/300.23 c bounds - >= 709 @ 299.254
299.39/300.23 c bounds - >= 710 @ 299.255
299.39/300.23 c bounds - >= 711 @ 299.255
299.39/300.23 c bounds - >= 712 @ 299.255
299.39/300.23 c bounds - >= 713 @ 299.255
299.39/300.23 c bounds - >= 714 @ 299.256
299.39/300.23 c bounds - >= 715 @ 299.256
299.39/300.23 c bounds - >= 716 @ 299.256
299.39/300.23 c bounds - >= 717 @ 299.256
299.39/300.23 c bounds - >= 718 @ 299.257
299.39/300.23 c bounds - >= 719 @ 299.257
299.39/300.23 c bounds - >= 720 @ 299.257
299.39/300.23 c bounds - >= 721 @ 299.258
299.39/300.23 c bounds - >= 722 @ 299.258
299.39/300.23 c bounds - >= 723 @ 299.258
299.39/300.23 c bounds - >= 724 @ 299.258
299.39/300.23 c bounds - >= 725 @ 299.258
299.39/300.23 c bounds - >= 726 @ 299.258
299.39/300.23 c bounds - >= 727 @ 299.258
299.39/300.23 c bounds - >= 728 @ 299.258
299.39/300.23 c bounds - >= 729 @ 299.259
299.39/300.23 c bounds - >= 730 @ 299.259
299.39/300.23 c bounds - >= 731 @ 299.259
299.39/300.23 c bounds - >= 732 @ 299.259
299.39/300.23 c bounds - >= 733 @ 299.259
299.39/300.23 c bounds - >= 734 @ 299.259
299.39/300.23 c bounds - >= 735 @ 299.259
299.39/300.23 c bounds - >= 736 @ 299.259
299.39/300.23 c bounds - >= 737 @ 299.259
299.39/300.23 c bounds - >= 738 @ 299.259
299.39/300.23 c bounds - >= 739 @ 299.259
299.39/300.23 c bounds - >= 740 @ 299.259
299.39/300.23 c bounds - >= 741 @ 299.259
299.39/300.23 c bounds - >= 742 @ 299.259
299.39/300.23 c bounds - >= 743 @ 299.26
299.39/300.23 c bounds - >= 744 @ 299.26
299.39/300.23 c bounds - >= 745 @ 299.26
299.39/300.23 c bounds - >= 746 @ 299.26
299.39/300.23 c bounds - >= 747 @ 299.26
299.39/300.23 c bounds - >= 748 @ 299.26
299.39/300.23 c bounds - >= 749 @ 299.26
299.39/300.24 c bounds - >= 750 @ 299.261
299.39/300.24 c bounds - >= 751 @ 299.261
299.39/300.24 c bounds - >= 752 @ 299.261
299.39/300.24 c bounds - >= 753 @ 299.261
299.39/300.24 c bounds - >= 754 @ 299.261
299.39/300.24 c bounds - >= 755 @ 299.261
299.39/300.24 c bounds - >= 756 @ 299.262
299.39/300.24 c bounds - >= 757 @ 299.262
299.39/300.24 c bounds - >= 758 @ 299.262
299.39/300.24 c bounds - >= 759 @ 299.262
299.39/300.24 c bounds - >= 760 @ 299.263
299.39/300.24 c bounds - >= 761 @ 299.263
299.39/300.24 c bounds - >= 762 @ 299.263
299.39/300.24 c bounds - >= 763 @ 299.263
299.39/300.24 c bounds - >= 764 @ 299.263
299.39/300.24 c bounds - >= 765 @ 299.263
299.39/300.24 c bounds - >= 766 @ 299.263
299.39/300.24 c bounds - >= 767 @ 299.264
299.39/300.24 c bounds - >= 768 @ 299.264
299.39/300.24 c bounds - >= 769 @ 299.264
299.39/300.24 c bounds - >= 770 @ 299.264
299.39/300.24 c bounds - >= 771 @ 299.264
299.39/300.24 c bounds - >= 772 @ 299.264
299.39/300.24 c bounds - >= 773 @ 299.265
299.39/300.24 c bounds - >= 774 @ 299.265
299.39/300.24 c bounds - >= 775 @ 299.265
299.39/300.24 c bounds - >= 776 @ 299.266
299.39/300.24 c bounds - >= 777 @ 299.266
299.39/300.24 c bounds - >= 778 @ 299.266
299.39/300.24 c bounds - >= 779 @ 299.266
299.39/300.24 c bounds - >= 780 @ 299.267
299.39/300.24 c bounds - >= 781 @ 299.267
299.39/300.24 c bounds - >= 782 @ 299.267
299.39/300.24 c bounds - >= 783 @ 299.268
299.39/300.24 c bounds - >= 784 @ 299.268
299.39/300.24 c bounds - >= 785 @ 299.268
299.39/300.24 c bounds - >= 786 @ 299.268
299.39/300.24 c bounds - >= 787 @ 299.268
299.39/300.24 c bounds - >= 788 @ 299.268
299.39/300.24 c bounds - >= 789 @ 299.268
299.39/300.24 c bounds - >= 790 @ 299.268
299.39/300.24 c bounds - >= 791 @ 299.268
299.39/300.24 c bounds - >= 792 @ 299.269
299.39/300.24 c bounds - >= 793 @ 299.269
299.39/300.24 c bounds - >= 794 @ 299.269
299.39/300.24 c bounds - >= 795 @ 299.27
299.39/300.24 c bounds - >= 796 @ 299.27
299.39/300.24 c bounds - >= 797 @ 299.27
299.39/300.24 c bounds - >= 798 @ 299.27
299.39/300.24 c bounds - >= 799 @ 299.27
299.39/300.24 c bounds - >= 800 @ 299.27
299.39/300.24 c bounds - >= 801 @ 299.271
299.39/300.24 c bounds - >= 802 @ 299.271
299.39/300.24 c bounds - >= 803 @ 299.271
299.39/300.24 c bounds - >= 804 @ 299.271
299.39/300.24 c bounds - >= 805 @ 299.271
299.39/300.24 c bounds - >= 806 @ 299.271
299.39/300.24 c bounds - >= 807 @ 299.271
299.39/300.24 c bounds - >= 808 @ 299.271
299.39/300.24 c bounds - >= 809 @ 299.271
299.39/300.24 c bounds - >= 810 @ 299.271
299.39/300.24 c bounds - >= 811 @ 299.271
299.39/300.24 c bounds - >= 812 @ 299.272
299.39/300.24 c bounds - >= 813 @ 299.272
299.39/300.24 c bounds - >= 814 @ 299.272
299.39/300.24 c bounds - >= 815 @ 299.272
299.39/300.24 c bounds - >= 816 @ 299.272
299.39/300.24 c bounds - >= 817 @ 299.273
299.39/300.24 c bounds - >= 818 @ 299.273
299.39/300.24 c bounds - >= 819 @ 299.273
299.39/300.24 c bounds - >= 820 @ 299.273
299.39/300.24 c bounds - >= 821 @ 299.273
299.39/300.24 c bounds - >= 822 @ 299.273
299.39/300.24 c bounds - >= 823 @ 299.273
341.76/342.74 c bounds - >= 824 @ 299.273
341.76/342.74 c #Conflicts: 1000 | #Constraints: 5269
341.76/342.74 c #Conflicts: 2000 | #Constraints: 6269
341.76/342.74 c INPROCESSING
341.76/342.74 c GARBAGE COLLECT
341.76/342.74 c #Conflicts: 3000 | #Constraints: 6076
341.76/342.74 c #Conflicts: 4000 | #Constraints: 7076
341.76/342.74 c INPROCESSING
341.76/342.74 c GARBAGE COLLECT
341.76/342.74 c #Conflicts: 5000 | #Constraints: 6457
341.76/342.74 c #Conflicts: 6000 | #Constraints: 7457
341.76/342.74 c INPROCESSING
341.76/342.74 c GARBAGE COLLECT
341.76/342.74 c #Conflicts: 7000 | #Constraints: 6445
341.76/342.74 c #Conflicts: 8000 | #Constraints: 7445
341.76/342.74 c #Conflicts: 9000 | #Constraints: 8445
341.76/342.74 c INPROCESSING
341.76/342.74 c GARBAGE COLLECT
341.76/342.74 c #Conflicts: 10000 | #Constraints: 7140
341.76/342.74 c #Conflicts: 11000 | #Constraints: 8140
341.76/342.74 c #Conflicts: 12000 | #Constraints: 9140
341.76/342.74 c INPROCESSING
341.76/342.74 c GARBAGE COLLECT
341.76/342.74 c #Conflicts: 13000 | #Constraints: 7590
341.76/342.74 c #Conflicts: 14000 | #Constraints: 8590
341.76/342.74 c #Conflicts: 15000 | #Constraints: 9590
341.76/342.74 c INPROCESSING
341.76/342.74 c GARBAGE COLLECT
341.76/342.74 c #Conflicts: 16000 | #Constraints: 7810
341.76/342.74 c #Conflicts: 17000 | #Constraints: 8810
341.76/342.74 c #Conflicts: 18000 | #Constraints: 9810
341.76/342.74 c INPROCESSING
341.76/342.74 c GARBAGE COLLECT
341.76/342.74 c #Conflicts: 19000 | #Constraints: 7826
341.76/342.74 c #Conflicts: 20000 | #Constraints: 8826
341.76/342.74 c #Conflicts: 21000 | #Constraints: 9826
341.76/342.74 c INPROCESSING
341.76/342.74 c GARBAGE COLLECT
341.76/342.74 c #Conflicts: 22000 | #Constraints: 7631
341.76/342.74 c #Conflicts: 23000 | #Constraints: 8631
341.76/342.74 c #Conflicts: 24000 | #Constraints: 9631
341.76/342.74 c #Conflicts: 25000 | #Constraints: 10631
341.76/342.74 c INPROCESSING
341.76/342.74 c GARBAGE COLLECT
341.76/342.74 c #Conflicts: 26000 | #Constraints: 8238
341.76/342.74 c #Conflicts: 27000 | #Constraints: 9238
341.76/342.74 c #Conflicts: 28000 | #Constraints: 10238
341.76/342.74 c #Conflicts: 29000 | #Constraints: 11238
341.76/342.74 c INPROCESSING
341.76/342.74 c GARBAGE COLLECT
341.76/342.74 c #Conflicts: 30000 | #Constraints: 8635
341.76/342.74 c #Conflicts: 31000 | #Constraints: 9635
341.76/342.74 c #Conflicts: 32000 | #Constraints: 10635
341.76/342.74 c #Conflicts: 33000 | #Constraints: 11635
341.76/342.74 c INPROCESSING
341.76/342.74 c GARBAGE COLLECT
341.76/342.74 c #Conflicts: 34000 | #Constraints: 8835
341.76/342.74 c #Conflicts: 35000 | #Constraints: 9835
341.76/342.74 c #Conflicts: 36000 | #Constraints: 10835
341.76/342.74 c #Conflicts: 37000 | #Constraints: 11835
341.76/342.74 c INPROCESSING
341.76/342.74 c GARBAGE COLLECT
341.76/342.74 c #Conflicts: 38000 | #Constraints: 8835
341.76/342.74 c #Conflicts: 39000 | #Constraints: 9835
341.76/342.74 c #Conflicts: 40000 | #Constraints: 10835
341.76/342.74 c #Conflicts: 41000 | #Constraints: 11835
341.76/342.74 c INPROCESSING
341.76/342.74 c GARBAGE COLLECT
341.76/342.74 c #Conflicts: 42000 | #Constraints: 8644
341.76/342.74 c #Conflicts: 43000 | #Constraints: 9644
341.76/342.74 c #Conflicts: 44000 | #Constraints: 10644
341.76/342.74 c #Conflicts: 45000 | #Constraints: 11644
341.76/342.74 c #Conflicts: 46000 | #Constraints: 12644
341.76/342.74 c INPROCESSING
341.76/342.74 c GARBAGE COLLECT
341.76/342.74 c #Conflicts: 47000 | #Constraints: 9240
341.76/342.74 c #Conflicts: 48000 | #Constraints: 10240
341.76/342.74 c #Conflicts: 49000 | #Constraints: 11240
341.76/342.74 c #Conflicts: 50000 | #Constraints: 12240
341.76/342.74 c #Conflicts: 51000 | #Constraints: 13240
341.76/342.74 c INPROCESSING
341.76/342.74 c GARBAGE COLLECT
341.76/342.74 c #Conflicts: 52000 | #Constraints: 9636
341.76/342.74 c #Conflicts: 53000 | #Constraints: 10636
341.76/342.74 c #Conflicts: 54000 | #Constraints: 11636
341.76/342.74 c #Conflicts: 55000 | #Constraints: 12636
341.76/342.74 c #Conflicts: 56000 | #Constraints: 13636
341.76/342.74 c INPROCESSING
341.76/342.74 c GARBAGE COLLECT
341.76/342.74 c #Conflicts: 57000 | #Constraints: 9839
341.76/342.74 c #Conflicts: 58000 | #Constraints: 10839
341.76/342.74 c #Conflicts: 59000 | #Constraints: 11839
341.76/342.74 c #Conflicts: 60000 | #Constraints: 12839
341.76/342.74 c #Conflicts: 61000 | #Constraints: 13839
341.76/342.74 c INPROCESSING
341.76/342.74 c GARBAGE COLLECT
341.76/342.74 c #Conflicts: 62000 | #Constraints: 9839
341.76/342.74 c #Conflicts: 63000 | #Constraints: 10839
341.76/342.74 c #Conflicts: 64000 | #Constraints: 11839
341.76/342.74 c #Conflicts: 65000 | #Constraints: 12839
341.76/342.74 c #Conflicts: 66000 | #Constraints: 13839
341.76/342.74 c INPROCESSING
341.76/342.74 c GARBAGE COLLECT
341.76/342.74 c #Conflicts: 67000 | #Constraints: 9634
411.53/412.70 c #Conflicts: 68000 | #Constraints: 10634
411.53/412.70 c #Conflicts: 69000 | #Constraints: 11634
411.53/412.70 c #Conflicts: 70000 | #Constraints: 12634
411.53/412.70 c #Conflicts: 71000 | #Constraints: 13634
411.53/412.70 c #Conflicts: 72000 | #Constraints: 14634
411.53/412.70 c INPROCESSING
411.53/412.70 c GARBAGE COLLECT
411.53/412.70 c #Conflicts: 73000 | #Constraints: 10244
411.53/412.70 c #Conflicts: 74000 | #Constraints: 11244
411.53/412.70 c #Conflicts: 75000 | #Constraints: 12244
411.53/412.70 c #Conflicts: 76000 | #Constraints: 13244
411.53/412.70 c #Conflicts: 77000 | #Constraints: 14244
411.53/412.70 c #Conflicts: 78000 | #Constraints: 15244
411.53/412.70 c INPROCESSING
411.53/412.70 c GARBAGE COLLECT
411.53/412.70 c #Conflicts: 79000 | #Constraints: 10645
411.53/412.70 c #Conflicts: 80000 | #Constraints: 11645
411.53/412.70 c #Conflicts: 81000 | #Constraints: 12645
411.53/412.70 c #Conflicts: 82000 | #Constraints: 13645
411.53/412.70 c #Conflicts: 83000 | #Constraints: 14645
411.53/412.70 c #Conflicts: 84000 | #Constraints: 15645
411.53/412.70 c INPROCESSING
411.53/412.70 c GARBAGE COLLECT
411.53/412.70 c #Conflicts: 85000 | #Constraints: 10845
411.53/412.70 c #Conflicts: 86000 | #Constraints: 11845
411.53/412.70 c #Conflicts: 87000 | #Constraints: 12845
411.53/412.70 c #Conflicts: 88000 | #Constraints: 13845
411.53/412.70 c #Conflicts: 89000 | #Constraints: 14845
411.53/412.70 c #Conflicts: 90000 | #Constraints: 15845
411.53/412.70 c INPROCESSING
411.53/412.70 c GARBAGE COLLECT
411.53/412.70 c #Conflicts: 91000 | #Constraints: 10851
411.53/412.70 c #Conflicts: 92000 | #Constraints: 11851
411.53/412.70 c #Conflicts: 93000 | #Constraints: 12851
411.53/412.70 c #Conflicts: 94000 | #Constraints: 13851
411.53/412.70 c #Conflicts: 95000 | #Constraints: 14851
411.53/412.70 c #Conflicts: 96000 | #Constraints: 15851
411.53/412.70 c INPROCESSING
411.53/412.70 c GARBAGE COLLECT
411.53/412.70 c #Conflicts: 97000 | #Constraints: 10654
411.53/412.70 c #Conflicts: 98000 | #Constraints: 11654
411.53/412.70 c #Conflicts: 99000 | #Constraints: 12654
411.53/412.70 c #Conflicts: 100000 | #Constraints: 13654
411.53/412.70 c #Conflicts: 101000 | #Constraints: 14654
411.53/412.70 c #Conflicts: 102000 | #Constraints: 15654
411.53/412.70 c #Conflicts: 103000 | #Constraints: 16654
411.53/412.70 c INPROCESSING
411.53/412.70 c GARBAGE COLLECT
411.53/412.70 c #Conflicts: 104000 | #Constraints: 11252
411.53/412.70 c #Conflicts: 105000 | #Constraints: 12252
411.53/412.70 c #Conflicts: 106000 | #Constraints: 13252
411.53/412.70 c #Conflicts: 107000 | #Constraints: 14252
411.53/412.70 c #Conflicts: 108000 | #Constraints: 15252
411.53/412.70 c #Conflicts: 109000 | #Constraints: 16252
411.53/412.70 c #Conflicts: 110000 | #Constraints: 17252
411.53/412.70 c INPROCESSING
411.53/412.70 c GARBAGE COLLECT
411.53/412.70 c #Conflicts: 111000 | #Constraints: 11648
411.53/412.70 c #Conflicts: 112000 | #Constraints: 12648
411.53/412.70 c #Conflicts: 113000 | #Constraints: 13648
411.53/412.70 c #Conflicts: 114000 | #Constraints: 14648
411.53/412.70 c #Conflicts: 115000 | #Constraints: 15648
411.53/412.70 c #Conflicts: 116000 | #Constraints: 16648
411.53/412.70 c #Conflicts: 117000 | #Constraints: 17648
411.53/412.70 c INPROCESSING
411.53/412.70 c GARBAGE COLLECT
411.53/412.70 c #Conflicts: 118000 | #Constraints: 11840
411.53/412.70 c #Conflicts: 119000 | #Constraints: 12840
411.53/412.70 c #Conflicts: 120000 | #Constraints: 13840
411.53/412.70 c #Conflicts: 121000 | #Constraints: 14840
411.53/412.70 c #Conflicts: 122000 | #Constraints: 15840
411.53/412.70 c #Conflicts: 123000 | #Constraints: 16840
411.53/412.70 c #Conflicts: 124000 | #Constraints: 17840
411.53/412.70 c INPROCESSING
411.53/412.70 c GARBAGE COLLECT
411.53/412.70 c #Conflicts: 125000 | #Constraints: 11837
411.53/412.70 c #Conflicts: 126000 | #Constraints: 12837
411.53/412.70 c #Conflicts: 127000 | #Constraints: 13837
411.53/412.70 c #Conflicts: 128000 | #Constraints: 14837
411.53/412.70 c #Conflicts: 129000 | #Constraints: 15837
411.53/412.70 c #Conflicts: 130000 | #Constraints: 16837
411.53/412.70 c #Conflicts: 131000 | #Constraints: 17837
411.53/412.70 c INPROCESSING
411.53/412.70 c GARBAGE COLLECT
411.53/412.70 c #Conflicts: 132000 | #Constraints: 11641
411.53/412.70 c #Conflicts: 133000 | #Constraints: 12641
411.53/412.70 c #Conflicts: 134000 | #Constraints: 13641
411.53/412.70 c #Conflicts: 135000 | #Constraints: 14641
411.53/412.70 c #Conflicts: 136000 | #Constraints: 15641
411.53/412.70 c #Conflicts: 137000 | #Constraints: 16641
411.53/412.70 c #Conflicts: 138000 | #Constraints: 17641
411.53/412.70 c #Conflicts: 139000 | #Constraints: 18641
516.10/517.63 c INPROCESSING
516.10/517.63 c GARBAGE COLLECT
516.10/517.63 c #Conflicts: 140000 | #Constraints: 12248
516.10/517.63 c #Conflicts: 141000 | #Constraints: 13248
516.10/517.63 c #Conflicts: 142000 | #Constraints: 14248
516.10/517.63 c #Conflicts: 143000 | #Constraints: 15248
516.10/517.63 c #Conflicts: 144000 | #Constraints: 16248
516.10/517.63 c #Conflicts: 145000 | #Constraints: 17248
516.10/517.63 c #Conflicts: 146000 | #Constraints: 18248
516.10/517.63 c #Conflicts: 147000 | #Constraints: 19248
516.10/517.63 c INPROCESSING
516.10/517.63 c GARBAGE COLLECT
516.10/517.63 c #Conflicts: 148000 | #Constraints: 12654
516.10/517.63 c #Conflicts: 149000 | #Constraints: 13654
516.10/517.63 c #Conflicts: 150000 | #Constraints: 14654
516.10/517.63 c #Conflicts: 151000 | #Constraints: 15654
516.10/517.63 c #Conflicts: 152000 | #Constraints: 16654
516.10/517.63 c #Conflicts: 153000 | #Constraints: 17654
516.10/517.63 c #Conflicts: 154000 | #Constraints: 18654
516.10/517.63 c #Conflicts: 155000 | #Constraints: 19654
516.10/517.63 c INPROCESSING
516.10/517.63 c GARBAGE COLLECT
516.10/517.63 c #Conflicts: 156000 | #Constraints: 12849
516.10/517.63 c #Conflicts: 157000 | #Constraints: 13849
516.10/517.63 c #Conflicts: 158000 | #Constraints: 14849
516.10/517.63 c #Conflicts: 159000 | #Constraints: 15849
516.10/517.63 c #Conflicts: 160000 | #Constraints: 16849
516.10/517.63 c #Conflicts: 161000 | #Constraints: 17849
516.10/517.63 c #Conflicts: 162000 | #Constraints: 18849
516.10/517.63 c #Conflicts: 163000 | #Constraints: 19849
516.10/517.63 c INPROCESSING
516.10/517.63 c GARBAGE COLLECT
516.10/517.63 c #Conflicts: 164000 | #Constraints: 12857
516.10/517.63 c #Conflicts: 165000 | #Constraints: 13857
516.10/517.63 c #Conflicts: 166000 | #Constraints: 14857
516.10/517.63 c #Conflicts: 167000 | #Constraints: 15857
516.10/517.63 c #Conflicts: 168000 | #Constraints: 16857
516.10/517.63 c #Conflicts: 169000 | #Constraints: 17857
516.10/517.63 c #Conflicts: 170000 | #Constraints: 18857
516.10/517.63 c #Conflicts: 171000 | #Constraints: 19857
516.10/517.63 c INPROCESSING
516.10/517.63 c GARBAGE COLLECT
516.10/517.63 c #Conflicts: 172000 | #Constraints: 12656
516.10/517.63 c #Conflicts: 173000 | #Constraints: 13656
516.10/517.63 c #Conflicts: 174000 | #Constraints: 14656
516.10/517.63 c #Conflicts: 175000 | #Constraints: 15656
516.10/517.63 c #Conflicts: 176000 | #Constraints: 16656
516.10/517.63 c #Conflicts: 177000 | #Constraints: 17656
516.10/517.63 c #Conflicts: 178000 | #Constraints: 18656
516.10/517.63 c #Conflicts: 179000 | #Constraints: 19656
516.10/517.63 c #Conflicts: 180000 | #Constraints: 20656
516.10/517.63 c INPROCESSING
516.10/517.63 c GARBAGE COLLECT
516.10/517.63 c #Conflicts: 181000 | #Constraints: 13249
516.10/517.63 c #Conflicts: 182000 | #Constraints: 14249
516.10/517.63 c #Conflicts: 183000 | #Constraints: 15249
516.10/517.63 c #Conflicts: 184000 | #Constraints: 16249
516.10/517.63 c #Conflicts: 185000 | #Constraints: 17249
516.10/517.63 c #Conflicts: 186000 | #Constraints: 18249
516.10/517.63 c #Conflicts: 187000 | #Constraints: 19249
516.10/517.63 c #Conflicts: 188000 | #Constraints: 20249
516.10/517.63 c #Conflicts: 189000 | #Constraints: 21249
516.10/517.63 c INPROCESSING
516.10/517.63 c GARBAGE COLLECT
516.10/517.63 c #Conflicts: 190000 | #Constraints: 13654
516.10/517.63 c #Conflicts: 191000 | #Constraints: 14654
516.10/517.63 c #Conflicts: 192000 | #Constraints: 15654
516.10/517.63 c #Conflicts: 193000 | #Constraints: 16654
516.10/517.63 c #Conflicts: 194000 | #Constraints: 17654
516.10/517.63 c #Conflicts: 195000 | #Constraints: 18654
516.10/517.63 c #Conflicts: 196000 | #Constraints: 19654
516.10/517.63 c #Conflicts: 197000 | #Constraints: 20654
516.10/517.63 c #Conflicts: 198000 | #Constraints: 21654
516.10/517.63 c INPROCESSING
516.10/517.63 c GARBAGE COLLECT
516.10/517.63 c #Conflicts: 199000 | #Constraints: 13858
516.10/517.63 c #Conflicts: 200000 | #Constraints: 14858
516.10/517.63 c #Conflicts: 201000 | #Constraints: 15858
516.10/517.63 c #Conflicts: 202000 | #Constraints: 16858
516.10/517.63 c #Conflicts: 203000 | #Constraints: 17858
516.10/517.63 c #Conflicts: 204000 | #Constraints: 18858
516.10/517.63 c #Conflicts: 205000 | #Constraints: 19858
516.10/517.63 c #Conflicts: 206000 | #Constraints: 20858
516.10/517.63 c #Conflicts: 207000 | #Constraints: 21858
516.10/517.63 c INPROCESSING
516.10/517.63 c GARBAGE COLLECT
516.10/517.63 c #Conflicts: 208000 | #Constraints: 13856
516.10/517.63 c #Conflicts: 209000 | #Constraints: 14856
516.10/517.63 c #Conflicts: 210000 | #Constraints: 15856
516.10/517.63 c #Conflicts: 211000 | #Constraints: 16856
516.10/517.63 c #Conflicts: 212000 | #Constraints: 17856
638.23/640.15 c #Conflicts: 213000 | #Constraints: 18856
638.23/640.15 c #Conflicts: 214000 | #Constraints: 19856
638.23/640.15 c #Conflicts: 215000 | #Constraints: 20856
638.23/640.15 c #Conflicts: 216000 | #Constraints: 21856
638.23/640.15 c INPROCESSING
638.23/640.15 c GARBAGE COLLECT
638.23/640.15 c #Conflicts: 217000 | #Constraints: 13667
638.23/640.15 c #Conflicts: 218000 | #Constraints: 14667
638.23/640.15 c #Conflicts: 219000 | #Constraints: 15667
638.23/640.15 c #Conflicts: 220000 | #Constraints: 16667
638.23/640.15 c #Conflicts: 221000 | #Constraints: 17667
638.23/640.15 c #Conflicts: 222000 | #Constraints: 18667
638.23/640.15 c #Conflicts: 223000 | #Constraints: 19667
638.23/640.15 c #Conflicts: 224000 | #Constraints: 20667
638.23/640.15 c #Conflicts: 225000 | #Constraints: 21667
638.23/640.15 c #Conflicts: 226000 | #Constraints: 22667
638.23/640.15 c INPROCESSING
638.23/640.15 c GARBAGE COLLECT
638.23/640.15 c #Conflicts: 227000 | #Constraints: 14266
638.23/640.15 c #Conflicts: 228000 | #Constraints: 15266
638.23/640.15 c #Conflicts: 229000 | #Constraints: 16266
638.23/640.15 c #Conflicts: 230000 | #Constraints: 17266
638.23/640.15 c #Conflicts: 231000 | #Constraints: 18266
638.23/640.15 c #Conflicts: 232000 | #Constraints: 19266
638.23/640.15 c #Conflicts: 233000 | #Constraints: 20266
638.23/640.15 c #Conflicts: 234000 | #Constraints: 21266
638.23/640.15 c #Conflicts: 235000 | #Constraints: 22266
638.23/640.15 c #Conflicts: 236000 | #Constraints: 23266
638.23/640.15 c INPROCESSING
638.23/640.15 c GARBAGE COLLECT
638.23/640.15 c #Conflicts: 237000 | #Constraints: 14646
638.23/640.15 c #Conflicts: 238000 | #Constraints: 15646
638.23/640.15 c #Conflicts: 239000 | #Constraints: 16646
638.23/640.15 c #Conflicts: 240000 | #Constraints: 17646
638.23/640.15 c #Conflicts: 241000 | #Constraints: 18646
638.23/640.15 c #Conflicts: 242000 | #Constraints: 19646
638.23/640.15 c #Conflicts: 243000 | #Constraints: 20646
638.23/640.15 c #Conflicts: 244000 | #Constraints: 21646
638.23/640.15 c #Conflicts: 245000 | #Constraints: 22646
638.23/640.15 c #Conflicts: 246000 | #Constraints: 23646
638.23/640.15 c INPROCESSING
638.23/640.15 c GARBAGE COLLECT
638.23/640.15 c #Conflicts: 247000 | #Constraints: 14847
638.23/640.15 c #Conflicts: 248000 | #Constraints: 15847
638.23/640.15 c #Conflicts: 249000 | #Constraints: 16847
638.23/640.15 c #Conflicts: 250000 | #Constraints: 17847
638.23/640.15 c #Conflicts: 251000 | #Constraints: 18847
638.23/640.15 c #Conflicts: 252000 | #Constraints: 19847
638.23/640.15 c #Conflicts: 253000 | #Constraints: 20847
638.23/640.15 c #Conflicts: 254000 | #Constraints: 21847
638.23/640.15 c #Conflicts: 255000 | #Constraints: 22847
638.23/640.15 c #Conflicts: 256000 | #Constraints: 23847
638.23/640.15 c INPROCESSING
638.23/640.15 c GARBAGE COLLECT
638.23/640.15 c #Conflicts: 257000 | #Constraints: 14845
638.23/640.15 c #Conflicts: 258000 | #Constraints: 15845
638.23/640.15 c #Conflicts: 259000 | #Constraints: 16845
638.23/640.15 c #Conflicts: 260000 | #Constraints: 17845
638.23/640.15 c #Conflicts: 261000 | #Constraints: 18845
638.23/640.15 c #Conflicts: 262000 | #Constraints: 19845
638.23/640.15 c #Conflicts: 263000 | #Constraints: 20845
638.23/640.15 c #Conflicts: 264000 | #Constraints: 21845
638.23/640.15 c #Conflicts: 265000 | #Constraints: 22845
638.23/640.15 c #Conflicts: 266000 | #Constraints: 23845
638.23/640.15 c INPROCESSING
638.23/640.15 c GARBAGE COLLECT
638.23/640.15 c #Conflicts: 267000 | #Constraints: 14644
638.23/640.15 c #Conflicts: 268000 | #Constraints: 15644
638.23/640.15 c #Conflicts: 269000 | #Constraints: 16644
638.23/640.15 c #Conflicts: 270000 | #Constraints: 17644
638.23/640.15 c #Conflicts: 271000 | #Constraints: 18644
638.23/640.15 c #Conflicts: 272000 | #Constraints: 19644
638.23/640.15 c #Conflicts: 273000 | #Constraints: 20644
638.23/640.15 c #Conflicts: 274000 | #Constraints: 21644
638.23/640.15 c #Conflicts: 275000 | #Constraints: 22644
638.23/640.15 c #Conflicts: 276000 | #Constraints: 23644
638.23/640.15 c #Conflicts: 277000 | #Constraints: 24644
638.23/640.15 c INPROCESSING
638.23/640.15 c GARBAGE COLLECT
638.23/640.15 c #Conflicts: 278000 | #Constraints: 15236
638.23/640.15 c #Conflicts: 279000 | #Constraints: 16236
638.23/640.15 c #Conflicts: 280000 | #Constraints: 17236
638.23/640.15 c #Conflicts: 281000 | #Constraints: 18236
638.23/640.15 c #Conflicts: 282000 | #Constraints: 19236
638.23/640.15 c #Conflicts: 283000 | #Constraints: 20236
638.23/640.15 c #Conflicts: 284000 | #Constraints: 21236
638.23/640.15 c #Conflicts: 285000 | #Constraints: 22236
638.23/640.15 c #Conflicts: 286000 | #Constraints: 23236
638.23/640.15 c #Conflicts: 287000 | #Constraints: 24236
737.58/739.76 c #Conflicts: 288000 | #Constraints: 25236
737.58/739.76 c INPROCESSING
737.58/739.76 c GARBAGE COLLECT
737.58/739.76 c #Conflicts: 289000 | #Constraints: 15644
737.58/739.76 c #Conflicts: 290000 | #Constraints: 16644
737.58/739.76 c #Conflicts: 291000 | #Constraints: 17644
737.58/739.76 c #Conflicts: 292000 | #Constraints: 18644
737.58/739.76 c #Conflicts: 293000 | #Constraints: 19644
737.58/739.76 c #Conflicts: 294000 | #Constraints: 20644
737.58/739.76 c #Conflicts: 295000 | #Constraints: 21644
737.58/739.76 c #Conflicts: 296000 | #Constraints: 22644
737.58/739.76 c #Conflicts: 297000 | #Constraints: 23644
737.58/739.76 c #Conflicts: 298000 | #Constraints: 24644
737.58/739.76 c #Conflicts: 299000 | #Constraints: 25644
737.58/739.76 c INPROCESSING
737.58/739.76 c GARBAGE COLLECT
737.58/739.76 c #Conflicts: 300000 | #Constraints: 15845
737.58/739.76 c #Conflicts: 301000 | #Constraints: 16845
737.58/739.76 c #Conflicts: 302000 | #Constraints: 17845
737.58/739.76 c #Conflicts: 303000 | #Constraints: 18845
737.58/739.76 c #Conflicts: 304000 | #Constraints: 19845
737.58/739.76 c #Conflicts: 305000 | #Constraints: 20845
737.58/739.76 c #Conflicts: 306000 | #Constraints: 21845
737.58/739.76 c #Conflicts: 307000 | #Constraints: 22845
737.58/739.76 c #Conflicts: 308000 | #Constraints: 23845
737.58/739.76 c #Conflicts: 309000 | #Constraints: 24845
737.58/739.76 c #Conflicts: 310000 | #Constraints: 25845
737.58/739.76 c INPROCESSING
737.58/739.76 c GARBAGE COLLECT
737.58/739.76 c #Conflicts: 311000 | #Constraints: 15841
737.58/739.76 c #Conflicts: 312000 | #Constraints: 16841
737.58/739.76 c #Conflicts: 313000 | #Constraints: 17841
737.58/739.76 c #Conflicts: 314000 | #Constraints: 18841
737.58/739.76 c #Conflicts: 315000 | #Constraints: 19841
737.58/739.76 c #Conflicts: 316000 | #Constraints: 20841
737.58/739.76 c #Conflicts: 317000 | #Constraints: 21841
737.58/739.76 c #Conflicts: 318000 | #Constraints: 22841
737.58/739.76 c #Conflicts: 319000 | #Constraints: 23841
737.58/739.76 c #Conflicts: 320000 | #Constraints: 24841
737.58/739.76 c #Conflicts: 321000 | #Constraints: 25841
737.58/739.76 c INPROCESSING
737.58/739.76 c GARBAGE COLLECT
737.58/739.76 c #Conflicts: 322000 | #Constraints: 15645
737.58/739.76 c #Conflicts: 323000 | #Constraints: 16645
737.58/739.76 c #Conflicts: 324000 | #Constraints: 17645
737.58/739.76 c #Conflicts: 325000 | #Constraints: 18645
737.58/739.76 c #Conflicts: 326000 | #Constraints: 19645
737.58/739.76 c #Conflicts: 327000 | #Constraints: 20645
737.58/739.76 c #Conflicts: 328000 | #Constraints: 21645
737.58/739.76 c #Conflicts: 329000 | #Constraints: 22645
737.58/739.76 c #Conflicts: 330000 | #Constraints: 23645
737.58/739.76 c #Conflicts: 331000 | #Constraints: 24645
737.58/739.76 c #Conflicts: 332000 | #Constraints: 25645
737.58/739.76 c #Conflicts: 333000 | #Constraints: 26645
737.58/739.76 c INPROCESSING
737.58/739.76 c GARBAGE COLLECT
737.58/739.76 c #Conflicts: 334000 | #Constraints: 16250
737.58/739.76 c #Conflicts: 335000 | #Constraints: 17250
737.58/739.76 c #Conflicts: 336000 | #Constraints: 18250
737.58/739.76 c #Conflicts: 337000 | #Constraints: 19250
737.58/739.76 c #Conflicts: 338000 | #Constraints: 20250
737.58/739.76 c #Conflicts: 339000 | #Constraints: 21250
737.58/739.76 c #Conflicts: 340000 | #Constraints: 22250
737.58/739.76 c #Conflicts: 341000 | #Constraints: 23250
737.58/739.76 c #Conflicts: 342000 | #Constraints: 24250
737.58/739.76 c #Conflicts: 343000 | #Constraints: 25250
737.58/739.76 c #Conflicts: 344000 | #Constraints: 26250
737.58/739.76 c #Conflicts: 345000 | #Constraints: 27250
737.58/739.76 c INPROCESSING
737.58/739.76 c GARBAGE COLLECT
737.58/739.76 c #Conflicts: 346000 | #Constraints: 16652
737.58/739.76 c #Conflicts: 347000 | #Constraints: 17652
737.58/739.76 c #Conflicts: 348000 | #Constraints: 18652
737.58/739.76 c #Conflicts: 349000 | #Constraints: 19652
737.58/739.76 c #Conflicts: 350000 | #Constraints: 20652
737.58/739.76 c #Conflicts: 351000 | #Constraints: 21652
737.58/739.76 c #Conflicts: 352000 | #Constraints: 22652
737.58/739.76 c #Conflicts: 353000 | #Constraints: 23652
737.58/739.76 c #Conflicts: 354000 | #Constraints: 24652
737.58/739.76 c #Conflicts: 355000 | #Constraints: 25652
737.58/739.76 c #Conflicts: 356000 | #Constraints: 26652
737.58/739.76 c #Conflicts: 357000 | #Constraints: 27652
737.58/739.76 c INPROCESSING
737.58/739.76 c GARBAGE COLLECT
737.58/739.76 c #Conflicts: 358000 | #Constraints: 16858
737.58/739.76 c #Conflicts: 359000 | #Constraints: 17858
737.58/739.76 c #Conflicts: 360000 | #Constraints: 18858
737.58/739.76 c #Conflicts: 361000 | #Constraints: 19858
900.17/902.74 c #Conflicts: 362000 | #Constraints: 20858
900.17/902.74 c #Conflicts: 363000 | #Constraints: 21858
900.17/902.74 c #Conflicts: 364000 | #Constraints: 22858
900.17/902.74 c #Conflicts: 365000 | #Constraints: 23858
900.17/902.74 c #Conflicts: 366000 | #Constraints: 24858
900.17/902.74 c #Conflicts: 367000 | #Constraints: 25858
900.17/902.74 c #Conflicts: 368000 | #Constraints: 26858
900.17/902.74 c #Conflicts: 369000 | #Constraints: 27858
900.17/902.74 c INPROCESSING
900.17/902.74 c GARBAGE COLLECT
900.17/902.74 c #Conflicts: 370000 | #Constraints: 16852
900.17/902.74 c #Conflicts: 371000 | #Constraints: 17852
900.17/902.74 c #Conflicts: 372000 | #Constraints: 18852
900.17/902.74 c #Conflicts: 373000 | #Constraints: 19852
900.17/902.74 c #Conflicts: 374000 | #Constraints: 20852
900.17/902.74 c #Conflicts: 375000 | #Constraints: 21852
900.17/902.74 c #Conflicts: 376000 | #Constraints: 22852
900.17/902.74 c #Conflicts: 377000 | #Constraints: 23852
900.17/902.74 c #Conflicts: 378000 | #Constraints: 24852
900.17/902.74 c #Conflicts: 379000 | #Constraints: 25852
900.17/902.74 c #Conflicts: 380000 | #Constraints: 26852
900.17/902.75 c #Conflicts: 381000 | #Constraints: 27852
900.17/902.75 c INPROCESSING
900.17/902.75 c GARBAGE COLLECT
900.17/902.75 c #Conflicts: 382000 | #Constraints: 16650
900.17/902.75 c #Conflicts: 383000 | #Constraints: 17650
900.17/902.75 c #Conflicts: 384000 | #Constraints: 18650
900.17/902.75 c #Conflicts: 385000 | #Constraints: 19650
900.17/902.75 c #Conflicts: 386000 | #Constraints: 20650
900.17/902.75 c #Conflicts: 387000 | #Constraints: 21650
900.17/902.75 c #Conflicts: 388000 | #Constraints: 22650
900.17/902.75 c #Conflicts: 389000 | #Constraints: 23650
900.17/902.75 c #Conflicts: 390000 | #Constraints: 24650
900.17/902.75 c #Conflicts: 391000 | #Constraints: 25650
900.17/902.75 c #Conflicts: 392000 | #Constraints: 26650
900.17/902.75 c #Conflicts: 393000 | #Constraints: 27650
900.17/902.75 c #Conflicts: 394000 | #Constraints: 28650
900.17/902.75 c INPROCESSING
900.17/902.75 c GARBAGE COLLECT
900.17/902.75 c #Conflicts: 395000 | #Constraints: 17249
900.17/902.75 c #Conflicts: 396000 | #Constraints: 18249
900.17/902.75 c #Conflicts: 397000 | #Constraints: 19249
900.17/902.75 c #Conflicts: 398000 | #Constraints: 20249
900.17/902.75 c #Conflicts: 399000 | #Constraints: 21249
900.17/902.75 c #Conflicts: 400000 | #Constraints: 22249
900.17/902.75 c #Conflicts: 401000 | #Constraints: 23249
900.17/902.75 c #Conflicts: 402000 | #Constraints: 24249
900.17/902.75 c #Conflicts: 403000 | #Constraints: 25249
900.17/902.75 c #Conflicts: 404000 | #Constraints: 26249
900.17/902.75 c #Conflicts: 405000 | #Constraints: 27249
900.17/902.75 c #Conflicts: 406000 | #Constraints: 28249
900.17/902.75 c #Conflicts: 407000 | #Constraints: 29249
900.17/902.75 c INPROCESSING
900.17/902.75 c GARBAGE COLLECT
900.17/902.75 c #Conflicts: 408000 | #Constraints: 17647
900.17/902.75 c #Conflicts: 409000 | #Constraints: 18647
900.17/902.75 c #Conflicts: 410000 | #Constraints: 19647
900.17/902.75 c #Conflicts: 411000 | #Constraints: 20647
900.17/902.75 c #Conflicts: 412000 | #Constraints: 21647
900.17/902.75 c #Conflicts: 413000 | #Constraints: 22647
900.17/902.75 c #Conflicts: 414000 | #Constraints: 23647
900.17/902.75 c #Conflicts: 415000 | #Constraints: 24647
900.17/902.75 c #Conflicts: 416000 | #Constraints: 25647
900.17/902.75 c #Conflicts: 417000 | #Constraints: 26647
900.17/902.75 c #Conflicts: 418000 | #Constraints: 27647
900.17/902.75 c #Conflicts: 419000 | #Constraints: 28647
900.17/902.75 c #Conflicts: 420000 | #Constraints: 29647
900.17/902.75 c INPROCESSING
900.17/902.75 c GARBAGE COLLECT
900.17/902.75 c #Conflicts: 421000 | #Constraints: 17856
900.17/902.75 c #Conflicts: 422000 | #Constraints: 18856
900.17/902.75 c #Conflicts: 423000 | #Constraints: 19856
900.17/902.75 c #Conflicts: 424000 | #Constraints: 20856
900.17/902.75 c #Conflicts: 425000 | #Constraints: 21856
900.17/902.75 c #Conflicts: 426000 | #Constraints: 22856
900.17/902.75 c #Conflicts: 427000 | #Constraints: 23856
900.17/902.75 c #Conflicts: 428000 | #Constraints: 24856
900.17/902.75 c #Conflicts: 429000 | #Constraints: 25856
900.17/902.75 c #Conflicts: 430000 | #Constraints: 26856
900.17/902.75 c #Conflicts: 431000 | #Constraints: 27856
900.17/902.75 c #Conflicts: 432000 | #Constraints: 28856
900.17/902.75 c #Conflicts: 433000 | #Constraints: 29856
900.17/902.75 c INPROCESSING
900.17/902.75 c GARBAGE COLLECT
900.17/902.75 c #Conflicts: 434000 | #Constraints: 17861
900.17/902.75 c #Conflicts: 435000 | #Constraints: 18861
900.17/902.75 c #Conflicts: 436000 | #Constraints: 19861
1035.93/1038.89 c #Conflicts: 437000 | #Constraints: 20861
1035.93/1038.89 c #Conflicts: 438000 | #Constraints: 21861
1035.93/1038.89 c #Conflicts: 439000 | #Constraints: 22861
1035.93/1038.89 c #Conflicts: 440000 | #Constraints: 23861
1035.93/1038.89 c #Conflicts: 441000 | #Constraints: 24861
1035.93/1038.89 c #Conflicts: 442000 | #Constraints: 25861
1035.93/1038.89 c #Conflicts: 443000 | #Constraints: 26861
1035.93/1038.89 c #Conflicts: 444000 | #Constraints: 27861
1035.93/1038.89 c #Conflicts: 445000 | #Constraints: 28861
1035.93/1038.89 c #Conflicts: 446000 | #Constraints: 29861
1035.93/1038.89 c INPROCESSING
1035.93/1038.89 c GARBAGE COLLECT
1035.93/1038.89 c #Conflicts: 447000 | #Constraints: 17660
1035.93/1038.89 c #Conflicts: 448000 | #Constraints: 18660
1035.93/1038.89 c #Conflicts: 449000 | #Constraints: 19660
1035.93/1038.89 c #Conflicts: 450000 | #Constraints: 20660
1035.93/1038.89 c #Conflicts: 451000 | #Constraints: 21660
1035.93/1038.89 c #Conflicts: 452000 | #Constraints: 22660
1035.93/1038.89 c #Conflicts: 453000 | #Constraints: 23660
1035.93/1038.89 c #Conflicts: 454000 | #Constraints: 24660
1035.93/1038.89 c #Conflicts: 455000 | #Constraints: 25660
1035.93/1038.89 c #Conflicts: 456000 | #Constraints: 26660
1035.93/1038.89 c #Conflicts: 457000 | #Constraints: 27660
1035.93/1038.89 c #Conflicts: 458000 | #Constraints: 28660
1035.93/1038.89 c #Conflicts: 459000 | #Constraints: 29660
1035.93/1038.89 c #Conflicts: 460000 | #Constraints: 30660
1035.93/1038.89 c INPROCESSING
1035.93/1038.89 c GARBAGE COLLECT
1035.93/1038.89 c #Conflicts: 461000 | #Constraints: 18257
1035.93/1038.89 c #Conflicts: 462000 | #Constraints: 19257
1035.93/1038.89 c #Conflicts: 463000 | #Constraints: 20257
1035.93/1038.89 c #Conflicts: 464000 | #Constraints: 21257
1035.93/1038.89 c #Conflicts: 465000 | #Constraints: 22257
1035.93/1038.89 c #Conflicts: 466000 | #Constraints: 23257
1035.93/1038.89 c #Conflicts: 467000 | #Constraints: 24257
1035.93/1038.89 c #Conflicts: 468000 | #Constraints: 25257
1035.93/1038.89 c #Conflicts: 469000 | #Constraints: 26257
1035.93/1038.89 c #Conflicts: 470000 | #Constraints: 27257
1035.93/1038.89 c #Conflicts: 471000 | #Constraints: 28257
1035.93/1038.89 c #Conflicts: 472000 | #Constraints: 29257
1035.93/1038.89 c #Conflicts: 473000 | #Constraints: 30257
1035.93/1038.89 c #Conflicts: 474000 | #Constraints: 31257
1035.93/1038.89 c INPROCESSING
1035.93/1038.89 c GARBAGE COLLECT
1035.93/1038.89 c #Conflicts: 475000 | #Constraints: 18660
1035.93/1038.89 c #Conflicts: 476000 | #Constraints: 19660
1035.93/1038.89 c #Conflicts: 477000 | #Constraints: 20660
1035.93/1038.89 c #Conflicts: 478000 | #Constraints: 21660
1035.93/1038.89 c #Conflicts: 479000 | #Constraints: 22660
1035.93/1038.89 c #Conflicts: 480000 | #Constraints: 23660
1035.93/1038.89 c #Conflicts: 481000 | #Constraints: 24660
1035.93/1038.89 c #Conflicts: 482000 | #Constraints: 25660
1035.93/1038.89 c #Conflicts: 483000 | #Constraints: 26660
1035.93/1038.89 c #Conflicts: 484000 | #Constraints: 27660
1035.93/1038.89 c #Conflicts: 485000 | #Constraints: 28660
1035.93/1038.89 c #Conflicts: 486000 | #Constraints: 29660
1035.93/1038.89 c #Conflicts: 487000 | #Constraints: 30660
1035.93/1038.89 c #Conflicts: 488000 | #Constraints: 31660
1035.93/1038.89 c INPROCESSING
1035.93/1038.89 c GARBAGE COLLECT
1035.93/1038.89 c #Conflicts: 489000 | #Constraints: 18874
1035.93/1038.89 c #Conflicts: 490000 | #Constraints: 19874
1035.93/1038.89 c #Conflicts: 491000 | #Constraints: 20874
1035.93/1038.89 c #Conflicts: 492000 | #Constraints: 21874
1035.93/1038.89 c #Conflicts: 493000 | #Constraints: 22874
1035.93/1038.89 c #Conflicts: 494000 | #Constraints: 23874
1035.93/1038.89 c #Conflicts: 495000 | #Constraints: 24874
1035.93/1038.89 c #Conflicts: 496000 | #Constraints: 25874
1035.93/1038.89 c #Conflicts: 497000 | #Constraints: 26874
1035.93/1038.89 c #Conflicts: 498000 | #Constraints: 27874
1035.93/1038.89 c #Conflicts: 499000 | #Constraints: 28874
1035.93/1038.89 c #Conflicts: 500000 | #Constraints: 29874
1035.93/1038.89 c #Conflicts: 501000 | #Constraints: 30874
1035.93/1038.89 c #Conflicts: 502000 | #Constraints: 31874
1035.93/1038.89 c INPROCESSING
1035.93/1038.89 c GARBAGE COLLECT
1035.93/1038.89 c #Conflicts: 503000 | #Constraints: 18866
1035.93/1038.89 c #Conflicts: 504000 | #Constraints: 19866
1035.93/1038.89 c #Conflicts: 505000 | #Constraints: 20866
1035.93/1038.89 c #Conflicts: 506000 | #Constraints: 21866
1035.93/1038.89 c #Conflicts: 507000 | #Constraints: 22866
1035.93/1038.89 c #Conflicts: 508000 | #Constraints: 23866
1035.93/1038.89 c #Conflicts: 509000 | #Constraints: 24866
1035.93/1038.89 c #Conflicts: 510000 | #Constraints: 25866
1035.93/1038.89 c #Conflicts: 511000 | #Constraints: 26866
1196.83/1200.19 c #Conflicts: 512000 | #Constraints: 27866
1196.83/1200.19 c #Conflicts: 513000 | #Constraints: 28866
1196.83/1200.19 c #Conflicts: 514000 | #Constraints: 29866
1196.83/1200.19 c #Conflicts: 515000 | #Constraints: 30866
1196.83/1200.19 c #Conflicts: 516000 | #Constraints: 31866
1196.83/1200.19 c INPROCESSING
1196.83/1200.19 c GARBAGE COLLECT
1196.83/1200.19 c #Conflicts: 517000 | #Constraints: 18666
1196.83/1200.19 c #Conflicts: 518000 | #Constraints: 19666
1196.83/1200.19 c #Conflicts: 519000 | #Constraints: 20666
1196.83/1200.19 c #Conflicts: 520000 | #Constraints: 21666
1196.83/1200.19 c #Conflicts: 521000 | #Constraints: 22666
1196.83/1200.19 c #Conflicts: 522000 | #Constraints: 23666
1196.83/1200.19 c #Conflicts: 523000 | #Constraints: 24666
1196.83/1200.19 c #Conflicts: 524000 | #Constraints: 25666
1196.83/1200.19 c #Conflicts: 525000 | #Constraints: 26666
1196.83/1200.19 c #Conflicts: 526000 | #Constraints: 27666
1196.83/1200.19 c #Conflicts: 527000 | #Constraints: 28666
1196.83/1200.19 c #Conflicts: 528000 | #Constraints: 29666
1196.83/1200.19 c #Conflicts: 529000 | #Constraints: 30666
1196.83/1200.19 c #Conflicts: 530000 | #Constraints: 31666
1196.83/1200.19 c #Conflicts: 531000 | #Constraints: 32666
1196.83/1200.19 c INPROCESSING
1196.83/1200.19 c GARBAGE COLLECT
1196.83/1200.19 c #Conflicts: 532000 | #Constraints: 19250
1196.83/1200.19 c #Conflicts: 533000 | #Constraints: 20250
1196.83/1200.19 c #Conflicts: 534000 | #Constraints: 21250
1196.83/1200.19 c #Conflicts: 535000 | #Constraints: 22250
1196.83/1200.19 c #Conflicts: 536000 | #Constraints: 23250
1196.83/1200.19 c #Conflicts: 537000 | #Constraints: 24250
1196.83/1200.19 c #Conflicts: 538000 | #Constraints: 25250
1196.83/1200.19 c #Conflicts: 539000 | #Constraints: 26250
1196.83/1200.19 c #Conflicts: 540000 | #Constraints: 27250
1196.83/1200.19 c #Conflicts: 541000 | #Constraints: 28250
1196.83/1200.19 c #Conflicts: 542000 | #Constraints: 29250
1196.83/1200.19 c #Conflicts: 543000 | #Constraints: 30250
1196.83/1200.19 c #Conflicts: 544000 | #Constraints: 31250
1196.83/1200.19 c #Conflicts: 545000 | #Constraints: 32250
1196.83/1200.19 c #Conflicts: 546000 | #Constraints: 33250
1196.83/1200.19 c INPROCESSING
1196.83/1200.19 c GARBAGE COLLECT
1196.83/1200.19 c #Conflicts: 547000 | #Constraints: 19646
1196.83/1200.19 c #Conflicts: 548000 | #Constraints: 20646
1196.83/1200.19 c #Conflicts: 549000 | #Constraints: 21646
1196.83/1200.19 c #Conflicts: 550000 | #Constraints: 22646
1196.83/1200.19 c #Conflicts: 551000 | #Constraints: 23646
1196.83/1200.19 c #Conflicts: 552000 | #Constraints: 24646
1196.83/1200.19 c #Conflicts: 553000 | #Constraints: 25646
1196.83/1200.19 c #Conflicts: 554000 | #Constraints: 26646
1196.83/1200.19 c #Conflicts: 555000 | #Constraints: 27646
1196.83/1200.19 c #Conflicts: 556000 | #Constraints: 28646
1196.83/1200.19 c #Conflicts: 557000 | #Constraints: 29646
1196.83/1200.19 c #Conflicts: 558000 | #Constraints: 30646
1196.83/1200.19 c #Conflicts: 559000 | #Constraints: 31646
1196.83/1200.19 c #Conflicts: 560000 | #Constraints: 32646
1196.83/1200.19 c #Conflicts: 561000 | #Constraints: 33646
1196.83/1200.19 c INPROCESSING
1196.83/1200.19 c GARBAGE COLLECT
1196.83/1200.19 c #Conflicts: 562000 | #Constraints: 19846
1196.83/1200.19 c #Conflicts: 563000 | #Constraints: 20846
1196.83/1200.19 c #Conflicts: 564000 | #Constraints: 21846
1196.83/1200.19 c #Conflicts: 565000 | #Constraints: 22846
1196.83/1200.19 c #Conflicts: 566000 | #Constraints: 23846
1196.83/1200.19 c #Conflicts: 567000 | #Constraints: 24846
1196.83/1200.19 c #Conflicts: 568000 | #Constraints: 25846
1196.83/1200.19 c #Conflicts: 569000 | #Constraints: 26846
1196.83/1200.19 c #Conflicts: 570000 | #Constraints: 27846
1196.83/1200.19 c #Conflicts: 571000 | #Constraints: 28846
1196.83/1200.19 c #Conflicts: 572000 | #Constraints: 29846
1196.83/1200.19 c #Conflicts: 573000 | #Constraints: 30846
1196.83/1200.19 c #Conflicts: 574000 | #Constraints: 31846
1196.83/1200.19 c #Conflicts: 575000 | #Constraints: 32846
1196.83/1200.19 c #Conflicts: 576000 | #Constraints: 33846
1196.83/1200.19 c INPROCESSING
1196.83/1200.19 c GARBAGE COLLECT
1196.83/1200.19 c #Conflicts: 577000 | #Constraints: 19848
1196.83/1200.19 c #Conflicts: 578000 | #Constraints: 20848
1196.83/1200.19 c #Conflicts: 579000 | #Constraints: 21848
1196.83/1200.19 c #Conflicts: 580000 | #Constraints: 22848
1196.83/1200.19 c #Conflicts: 581000 | #Constraints: 23848
1196.83/1200.19 c #Conflicts: 582000 | #Constraints: 24848
1196.83/1200.19 c #Conflicts: 583000 | #Constraints: 25848
1196.83/1200.19 c #Conflicts: 584000 | #Constraints: 26848
1196.83/1200.19 c #Conflicts: 585000 | #Constraints: 27848
1196.83/1200.19 c #Conflicts: 586000 | #Constraints: 28848
1196.83/1200.19 c #Conflicts: 587000 | #Constraints: 29848
1353.12/1356.87 c #Conflicts: 588000 | #Constraints: 30848
1353.12/1356.87 c #Conflicts: 589000 | #Constraints: 31848
1353.12/1356.87 c #Conflicts: 590000 | #Constraints: 32848
1353.12/1356.87 c #Conflicts: 591000 | #Constraints: 33848
1353.12/1356.87 c INPROCESSING
1353.12/1356.87 c GARBAGE COLLECT
1353.12/1356.87 c #Conflicts: 592000 | #Constraints: 19646
1353.12/1356.87 c #Conflicts: 593000 | #Constraints: 20646
1353.12/1356.87 c #Conflicts: 594000 | #Constraints: 21646
1353.12/1356.87 c #Conflicts: 595000 | #Constraints: 22646
1353.12/1356.87 c #Conflicts: 596000 | #Constraints: 23646
1353.12/1356.87 c #Conflicts: 597000 | #Constraints: 24646
1353.12/1356.87 c #Conflicts: 598000 | #Constraints: 25646
1353.12/1356.87 c #Conflicts: 599000 | #Constraints: 26646
1353.12/1356.87 c #Conflicts: 600000 | #Constraints: 27646
1353.12/1356.87 c #Conflicts: 601000 | #Constraints: 28646
1353.12/1356.87 c #Conflicts: 602000 | #Constraints: 29646
1353.12/1356.87 c #Conflicts: 603000 | #Constraints: 30646
1353.12/1356.87 c #Conflicts: 604000 | #Constraints: 31646
1353.12/1356.87 c #Conflicts: 605000 | #Constraints: 32646
1353.12/1356.87 c #Conflicts: 606000 | #Constraints: 33646
1353.12/1356.87 c #Conflicts: 607000 | #Constraints: 34646
1353.12/1356.87 c INPROCESSING
1353.12/1356.87 c GARBAGE COLLECT
1353.12/1356.87 c #Conflicts: 608000 | #Constraints: 20249
1353.12/1356.87 c #Conflicts: 609000 | #Constraints: 21249
1353.12/1356.87 c #Conflicts: 610000 | #Constraints: 22249
1353.12/1356.87 c #Conflicts: 611000 | #Constraints: 23249
1353.12/1356.87 c #Conflicts: 612000 | #Constraints: 24249
1353.12/1356.87 c #Conflicts: 613000 | #Constraints: 25249
1353.12/1356.87 c #Conflicts: 614000 | #Constraints: 26249
1353.12/1356.87 c #Conflicts: 615000 | #Constraints: 27249
1353.12/1356.87 c #Conflicts: 616000 | #Constraints: 28249
1353.12/1356.87 c #Conflicts: 617000 | #Constraints: 29249
1353.12/1356.87 c #Conflicts: 618000 | #Constraints: 30249
1353.12/1356.87 c #Conflicts: 619000 | #Constraints: 31249
1353.12/1356.87 c #Conflicts: 620000 | #Constraints: 32249
1353.12/1356.87 c #Conflicts: 621000 | #Constraints: 33249
1353.12/1356.87 c #Conflicts: 622000 | #Constraints: 34249
1353.12/1356.87 c #Conflicts: 623000 | #Constraints: 35249
1353.12/1356.87 c INPROCESSING
1353.12/1356.87 c GARBAGE COLLECT
1353.12/1356.87 c #Conflicts: 624000 | #Constraints: 20648
1353.12/1356.87 c #Conflicts: 625000 | #Constraints: 21648
1353.12/1356.87 c #Conflicts: 626000 | #Constraints: 22648
1353.12/1356.87 c #Conflicts: 627000 | #Constraints: 23648
1353.12/1356.87 c #Conflicts: 628000 | #Constraints: 24648
1353.12/1356.87 c #Conflicts: 629000 | #Constraints: 25648
1353.12/1356.87 c #Conflicts: 630000 | #Constraints: 26648
1353.12/1356.87 c #Conflicts: 631000 | #Constraints: 27648
1353.12/1356.87 c #Conflicts: 632000 | #Constraints: 28648
1353.12/1356.87 c #Conflicts: 633000 | #Constraints: 29648
1353.12/1356.87 c #Conflicts: 634000 | #Constraints: 30648
1353.12/1356.87 c #Conflicts: 635000 | #Constraints: 31648
1353.12/1356.87 c #Conflicts: 636000 | #Constraints: 32648
1353.12/1356.87 c #Conflicts: 637000 | #Constraints: 33648
1353.12/1356.87 c #Conflicts: 638000 | #Constraints: 34648
1353.12/1356.87 c #Conflicts: 639000 | #Constraints: 35648
1353.12/1356.87 c INPROCESSING
1353.12/1356.87 c GARBAGE COLLECT
1353.12/1356.87 c #Conflicts: 640000 | #Constraints: 20846
1353.12/1356.87 c #Conflicts: 641000 | #Constraints: 21846
1353.12/1356.87 c #Conflicts: 642000 | #Constraints: 22846
1353.12/1356.87 c #Conflicts: 643000 | #Constraints: 23846
1353.12/1356.87 c #Conflicts: 644000 | #Constraints: 24846
1353.12/1356.87 c #Conflicts: 645000 | #Constraints: 25846
1353.12/1356.87 c #Conflicts: 646000 | #Constraints: 26846
1353.12/1356.87 c #Conflicts: 647000 | #Constraints: 27846
1353.12/1356.87 c #Conflicts: 648000 | #Constraints: 28846
1353.12/1356.87 c #Conflicts: 649000 | #Constraints: 29846
1353.12/1356.87 c #Conflicts: 650000 | #Constraints: 30846
1353.12/1356.87 c #Conflicts: 651000 | #Constraints: 31846
1353.12/1356.87 c #Conflicts: 652000 | #Constraints: 32846
1353.12/1356.87 c #Conflicts: 653000 | #Constraints: 33846
1353.12/1356.87 c #Conflicts: 654000 | #Constraints: 34846
1353.12/1356.87 c #Conflicts: 655000 | #Constraints: 35846
1353.12/1356.87 c INPROCESSING
1353.12/1356.87 c GARBAGE COLLECT
1353.12/1356.87 c #Conflicts: 656000 | #Constraints: 20847
1353.12/1356.87 c #Conflicts: 657000 | #Constraints: 21847
1353.12/1356.87 c #Conflicts: 658000 | #Constraints: 22847
1353.12/1356.87 c #Conflicts: 659000 | #Constraints: 23847
1353.12/1356.87 c #Conflicts: 660000 | #Constraints: 24847
1353.12/1356.87 c #Conflicts: 661000 | #Constraints: 25847
1353.12/1356.87 c #Conflicts: 662000 | #Constraints: 26847
1353.12/1356.87 c #Conflicts: 663000 | #Constraints: 27847
1494.27/1498.38 c #Conflicts: 664000 | #Constraints: 28847
1494.27/1498.38 c #Conflicts: 665000 | #Constraints: 29847
1494.27/1498.38 c #Conflicts: 666000 | #Constraints: 30847
1494.27/1498.38 c #Conflicts: 667000 | #Constraints: 31847
1494.27/1498.38 c #Conflicts: 668000 | #Constraints: 32847
1494.27/1498.38 c #Conflicts: 669000 | #Constraints: 33847
1494.27/1498.38 c #Conflicts: 670000 | #Constraints: 34847
1494.27/1498.38 c #Conflicts: 671000 | #Constraints: 35847
1494.27/1498.38 c INPROCESSING
1494.27/1498.38 c GARBAGE COLLECT
1494.27/1498.38 c #Conflicts: 672000 | #Constraints: 20645
1494.27/1498.38 c #Conflicts: 673000 | #Constraints: 21645
1494.27/1498.38 c #Conflicts: 674000 | #Constraints: 22645
1494.27/1498.38 c #Conflicts: 675000 | #Constraints: 23645
1494.27/1498.38 c #Conflicts: 676000 | #Constraints: 24645
1494.27/1498.38 c #Conflicts: 677000 | #Constraints: 25645
1494.27/1498.38 c #Conflicts: 678000 | #Constraints: 26645
1494.27/1498.38 c #Conflicts: 679000 | #Constraints: 27645
1494.27/1498.38 c #Conflicts: 680000 | #Constraints: 28645
1494.27/1498.38 c #Conflicts: 681000 | #Constraints: 29645
1494.27/1498.38 c #Conflicts: 682000 | #Constraints: 30645
1494.27/1498.38 c #Conflicts: 683000 | #Constraints: 31645
1494.27/1498.38 c #Conflicts: 684000 | #Constraints: 32645
1494.27/1498.38 c #Conflicts: 685000 | #Constraints: 33645
1494.27/1498.38 c #Conflicts: 686000 | #Constraints: 34645
1494.27/1498.38 c #Conflicts: 687000 | #Constraints: 35645
1494.27/1498.38 c #Conflicts: 688000 | #Constraints: 36645
1494.27/1498.38 c INPROCESSING
1494.27/1498.38 c GARBAGE COLLECT
1494.27/1498.38 c #Conflicts: 689000 | #Constraints: 21241
1494.27/1498.38 c #Conflicts: 690000 | #Constraints: 22241
1494.27/1498.38 c #Conflicts: 691000 | #Constraints: 23241
1494.27/1498.38 c #Conflicts: 692000 | #Constraints: 24241
1494.27/1498.38 c #Conflicts: 693000 | #Constraints: 25241
1494.27/1498.38 c #Conflicts: 694000 | #Constraints: 26241
1494.27/1498.38 c #Conflicts: 695000 | #Constraints: 27241
1494.27/1498.38 c #Conflicts: 696000 | #Constraints: 28241
1494.27/1498.38 c #Conflicts: 697000 | #Constraints: 29241
1494.27/1498.38 c #Conflicts: 698000 | #Constraints: 30241
1494.27/1498.38 c #Conflicts: 699000 | #Constraints: 31241
1494.27/1498.38 c #Conflicts: 700000 | #Constraints: 32241
1494.27/1498.38 c #Conflicts: 701000 | #Constraints: 33241
1494.27/1498.38 c #Conflicts: 702000 | #Constraints: 34241
1494.27/1498.38 c #Conflicts: 703000 | #Constraints: 35241
1494.27/1498.38 c #Conflicts: 704000 | #Constraints: 36241
1494.27/1498.38 c #Conflicts: 705000 | #Constraints: 37241
1494.27/1498.38 c INPROCESSING
1494.27/1498.38 c GARBAGE COLLECT
1494.27/1498.38 c #Conflicts: 706000 | #Constraints: 21650
1494.27/1498.38 c #Conflicts: 707000 | #Constraints: 22650
1494.27/1498.38 c #Conflicts: 708000 | #Constraints: 23650
1494.27/1498.38 c #Conflicts: 709000 | #Constraints: 24650
1494.27/1498.38 c #Conflicts: 710000 | #Constraints: 25650
1494.27/1498.38 c #Conflicts: 711000 | #Constraints: 26650
1494.27/1498.38 c #Conflicts: 712000 | #Constraints: 27650
1494.27/1498.38 c #Conflicts: 713000 | #Constraints: 28650
1494.27/1498.38 c #Conflicts: 714000 | #Constraints: 29650
1494.27/1498.38 c #Conflicts: 715000 | #Constraints: 30650
1494.27/1498.38 c #Conflicts: 716000 | #Constraints: 31650
1494.27/1498.38 c #Conflicts: 717000 | #Constraints: 32650
1494.27/1498.38 c #Conflicts: 718000 | #Constraints: 33650
1494.27/1498.38 c #Conflicts: 719000 | #Constraints: 34650
1494.27/1498.38 c #Conflicts: 720000 | #Constraints: 35650
1494.27/1498.38 c #Conflicts: 721000 | #Constraints: 36650
1494.27/1498.38 c #Conflicts: 722000 | #Constraints: 37650
1494.27/1498.38 c INPROCESSING
1494.27/1498.38 c GARBAGE COLLECT
1494.27/1498.38 c #Conflicts: 723000 | #Constraints: 21847
1494.27/1498.38 c #Conflicts: 724000 | #Constraints: 22847
1494.27/1498.38 c #Conflicts: 725000 | #Constraints: 23847
1494.27/1498.38 c #Conflicts: 726000 | #Constraints: 24847
1494.27/1498.38 c #Conflicts: 727000 | #Constraints: 25847
1494.27/1498.38 c #Conflicts: 728000 | #Constraints: 26847
1494.27/1498.38 c #Conflicts: 729000 | #Constraints: 27847
1494.27/1498.38 c #Conflicts: 730000 | #Constraints: 28847
1494.27/1498.38 c #Conflicts: 731000 | #Constraints: 29847
1494.27/1498.38 c #Conflicts: 732000 | #Constraints: 30847
1494.27/1498.38 c #Conflicts: 733000 | #Constraints: 31847
1494.27/1498.38 c #Conflicts: 734000 | #Constraints: 32847
1494.27/1498.38 c #Conflicts: 735000 | #Constraints: 33847
1494.27/1498.38 c #Conflicts: 736000 | #Constraints: 34847
1494.27/1498.38 c #Conflicts: 737000 | #Constraints: 35847
1494.27/1498.38 c #Conflicts: 738000 | #Constraints: 36847
1494.27/1498.38 c #Conflicts: 739000 | #Constraints: 37847
1675.23/1679.72 c INPROCESSING
1675.23/1679.72 c GARBAGE COLLECT
1675.23/1679.72 c #Conflicts: 740000 | #Constraints: 21837
1675.23/1679.72 c #Conflicts: 741000 | #Constraints: 22837
1675.23/1679.72 c #Conflicts: 742000 | #Constraints: 23837
1675.23/1679.72 c #Conflicts: 743000 | #Constraints: 24837
1675.23/1679.72 c #Conflicts: 744000 | #Constraints: 25837
1675.23/1679.72 c #Conflicts: 745000 | #Constraints: 26837
1675.23/1679.72 c #Conflicts: 746000 | #Constraints: 27837
1675.23/1679.72 c #Conflicts: 747000 | #Constraints: 28837
1675.23/1679.72 c #Conflicts: 748000 | #Constraints: 29837
1675.23/1679.72 c #Conflicts: 749000 | #Constraints: 30837
1675.23/1679.72 c #Conflicts: 750000 | #Constraints: 31837
1675.23/1679.72 c #Conflicts: 751000 | #Constraints: 32837
1675.23/1679.72 c #Conflicts: 752000 | #Constraints: 33837
1675.23/1679.72 c #Conflicts: 753000 | #Constraints: 34837
1675.23/1679.72 c #Conflicts: 754000 | #Constraints: 35837
1675.23/1679.72 c #Conflicts: 755000 | #Constraints: 36837
1675.23/1679.72 c #Conflicts: 756000 | #Constraints: 37837
1675.23/1679.72 c INPROCESSING
1675.23/1679.72 c GARBAGE COLLECT
1675.23/1679.72 c #Conflicts: 757000 | #Constraints: 21639
1675.23/1679.72 c #Conflicts: 758000 | #Constraints: 22639
1675.23/1679.72 c #Conflicts: 759000 | #Constraints: 23639
1675.23/1679.72 c #Conflicts: 760000 | #Constraints: 24639
1675.23/1679.72 c #Conflicts: 761000 | #Constraints: 25639
1675.23/1679.72 c #Conflicts: 762000 | #Constraints: 26639
1675.23/1679.72 c #Conflicts: 763000 | #Constraints: 27639
1675.23/1679.72 c #Conflicts: 764000 | #Constraints: 28639
1675.23/1679.72 c #Conflicts: 765000 | #Constraints: 29639
1675.23/1679.72 c #Conflicts: 766000 | #Constraints: 30639
1675.23/1679.72 c #Conflicts: 767000 | #Constraints: 31639
1675.23/1679.72 c #Conflicts: 768000 | #Constraints: 32639
1675.23/1679.72 c #Conflicts: 769000 | #Constraints: 33639
1675.23/1679.72 c #Conflicts: 770000 | #Constraints: 34639
1675.23/1679.72 c #Conflicts: 771000 | #Constraints: 35639
1675.23/1679.72 c #Conflicts: 772000 | #Constraints: 36639
1675.23/1679.72 c #Conflicts: 773000 | #Constraints: 37639
1675.23/1679.72 c #Conflicts: 774000 | #Constraints: 38639
1675.23/1679.72 c INPROCESSING
1675.23/1679.72 c GARBAGE COLLECT
1675.23/1679.72 c #Conflicts: 775000 | #Constraints: 22245
1675.23/1679.72 c #Conflicts: 776000 | #Constraints: 23245
1675.23/1679.72 c #Conflicts: 777000 | #Constraints: 24245
1675.23/1679.72 c #Conflicts: 778000 | #Constraints: 25245
1675.23/1679.72 c #Conflicts: 779000 | #Constraints: 26245
1675.23/1679.72 c #Conflicts: 780000 | #Constraints: 27245
1675.23/1679.72 c #Conflicts: 781000 | #Constraints: 28245
1675.23/1679.72 c #Conflicts: 782000 | #Constraints: 29245
1675.23/1679.72 c #Conflicts: 783000 | #Constraints: 30245
1675.23/1679.72 c #Conflicts: 784000 | #Constraints: 31245
1675.23/1679.72 c #Conflicts: 785000 | #Constraints: 32245
1675.23/1679.72 c #Conflicts: 786000 | #Constraints: 33245
1675.23/1679.72 c #Conflicts: 787000 | #Constraints: 34245
1675.23/1679.72 c #Conflicts: 788000 | #Constraints: 35245
1675.23/1679.72 c #Conflicts: 789000 | #Constraints: 36245
1675.23/1679.72 c #Conflicts: 790000 | #Constraints: 37245
1675.23/1679.72 c #Conflicts: 791000 | #Constraints: 38245
1675.23/1679.72 c #Conflicts: 792000 | #Constraints: 39245
1675.23/1679.72 c INPROCESSING
1675.23/1679.72 c GARBAGE COLLECT
1675.23/1679.72 c #Conflicts: 793000 | #Constraints: 22651
1675.23/1679.72 c #Conflicts: 794000 | #Constraints: 23651
1675.23/1679.72 c #Conflicts: 795000 | #Constraints: 24651
1675.23/1679.72 c #Conflicts: 796000 | #Constraints: 25651
1675.23/1679.72 c #Conflicts: 797000 | #Constraints: 26651
1675.23/1679.72 c #Conflicts: 798000 | #Constraints: 27651
1675.23/1679.72 c #Conflicts: 799000 | #Constraints: 28651
1675.23/1679.72 c #Conflicts: 800000 | #Constraints: 29651
1675.23/1679.72 c #Conflicts: 801000 | #Constraints: 30651
1675.23/1679.72 c #Conflicts: 802000 | #Constraints: 31651
1675.23/1679.72 c #Conflicts: 803000 | #Constraints: 32651
1675.23/1679.72 c #Conflicts: 804000 | #Constraints: 33651
1675.23/1679.72 c #Conflicts: 805000 | #Constraints: 34651
1675.23/1679.72 c #Conflicts: 806000 | #Constraints: 35651
1675.23/1679.72 c #Conflicts: 807000 | #Constraints: 36651
1675.23/1679.72 c #Conflicts: 808000 | #Constraints: 37651
1675.23/1679.72 c #Conflicts: 809000 | #Constraints: 38651
1675.23/1679.72 c #Conflicts: 810000 | #Constraints: 39651
1675.23/1679.72 c INPROCESSING
1675.23/1679.72 c GARBAGE COLLECT
1675.23/1679.72 c #Conflicts: 811000 | #Constraints: 22846
1675.23/1679.72 c #Conflicts: 812000 | #Constraints: 23846
1675.23/1679.72 c #Conflicts: 813000 | #Constraints: 24846
1675.23/1679.72 c #Conflicts: 814000 | #Constraints: 25846
1952.75/1957.94 c #Conflicts: 815000 | #Constraints: 26846
1952.75/1957.94 c #Conflicts: 816000 | #Constraints: 27846
1952.75/1957.94 c #Conflicts: 817000 | #Constraints: 28846
1952.75/1957.94 c #Conflicts: 818000 | #Constraints: 29846
1952.75/1957.94 c #Conflicts: 819000 | #Constraints: 30846
1952.75/1957.94 c #Conflicts: 820000 | #Constraints: 31846
1952.75/1957.94 c #Conflicts: 821000 | #Constraints: 32846
1952.75/1957.94 c #Conflicts: 822000 | #Constraints: 33846
1952.75/1957.94 c #Conflicts: 823000 | #Constraints: 34846
1952.75/1957.94 c #Conflicts: 824000 | #Constraints: 35846
1952.75/1957.94 c #Conflicts: 825000 | #Constraints: 36846
1952.75/1957.94 c #Conflicts: 826000 | #Constraints: 37846
1952.75/1957.94 c #Conflicts: 827000 | #Constraints: 38846
1952.75/1957.94 c #Conflicts: 828000 | #Constraints: 39846
1952.75/1957.94 c INPROCESSING
1952.75/1957.94 c GARBAGE COLLECT
1952.75/1957.94 c #Conflicts: 829000 | #Constraints: 22843
1952.75/1957.94 c #Conflicts: 830000 | #Constraints: 23843
1952.75/1957.94 c #Conflicts: 831000 | #Constraints: 24843
1952.75/1957.94 c #Conflicts: 832000 | #Constraints: 25843
1952.75/1957.94 c #Conflicts: 833000 | #Constraints: 26843
1952.75/1957.94 c #Conflicts: 834000 | #Constraints: 27843
1952.75/1957.94 c #Conflicts: 835000 | #Constraints: 28843
1952.75/1957.94 c #Conflicts: 836000 | #Constraints: 29843
1952.75/1957.94 c #Conflicts: 837000 | #Constraints: 30843
1952.75/1957.94 c #Conflicts: 838000 | #Constraints: 31843
1952.75/1957.94 c #Conflicts: 839000 | #Constraints: 32843
1952.75/1957.94 c #Conflicts: 840000 | #Constraints: 33843
1952.75/1957.94 c #Conflicts: 841000 | #Constraints: 34843
1952.75/1957.94 c #Conflicts: 842000 | #Constraints: 35843
1952.75/1957.94 c #Conflicts: 843000 | #Constraints: 36843
1952.75/1957.94 c #Conflicts: 844000 | #Constraints: 37843
1952.75/1957.94 c #Conflicts: 845000 | #Constraints: 38843
1952.75/1957.94 c #Conflicts: 846000 | #Constraints: 39843
1952.75/1957.94 c INPROCESSING
1952.75/1957.94 c GARBAGE COLLECT
1952.75/1957.94 c #Conflicts: 847000 | #Constraints: 22648
1952.75/1957.94 c #Conflicts: 848000 | #Constraints: 23648
1952.75/1957.94 c #Conflicts: 849000 | #Constraints: 24648
1952.75/1957.94 c #Conflicts: 850000 | #Constraints: 25648
1952.75/1957.94 c #Conflicts: 851000 | #Constraints: 26648
1952.75/1957.94 c #Conflicts: 852000 | #Constraints: 27648
1952.75/1957.94 c #Conflicts: 853000 | #Constraints: 28648
1952.75/1957.94 c #Conflicts: 854000 | #Constraints: 29648
1952.75/1957.94 c #Conflicts: 855000 | #Constraints: 30648
1952.75/1957.94 c #Conflicts: 856000 | #Constraints: 31648
1952.75/1957.94 c #Conflicts: 857000 | #Constraints: 32648
1952.75/1957.94 c #Conflicts: 858000 | #Constraints: 33648
1952.75/1957.94 c #Conflicts: 859000 | #Constraints: 34648
1952.75/1957.94 c #Conflicts: 860000 | #Constraints: 35648
1952.75/1957.94 c #Conflicts: 861000 | #Constraints: 36648
1952.75/1957.94 c #Conflicts: 862000 | #Constraints: 37648
1952.75/1957.94 c #Conflicts: 863000 | #Constraints: 38648
1952.75/1957.94 c #Conflicts: 864000 | #Constraints: 39648
1952.75/1957.94 c #Conflicts: 865000 | #Constraints: 40648
1952.75/1957.94 c INPROCESSING
1952.75/1957.94 c GARBAGE COLLECT
1952.75/1957.94 c #Conflicts: 866000 | #Constraints: 23242
1952.75/1957.94 c #Conflicts: 867000 | #Constraints: 24242
1952.75/1957.94 c #Conflicts: 868000 | #Constraints: 25242
1952.75/1957.94 c #Conflicts: 869000 | #Constraints: 26242
1952.75/1957.94 c #Conflicts: 870000 | #Constraints: 27242
1952.75/1957.94 c #Conflicts: 871000 | #Constraints: 28242
1952.75/1957.94 c #Conflicts: 872000 | #Constraints: 29242
1952.75/1957.94 c #Conflicts: 873000 | #Constraints: 30242
1952.75/1957.94 c #Conflicts: 874000 | #Constraints: 31242
1952.75/1957.94 c #Conflicts: 875000 | #Constraints: 32242
1952.75/1957.94 c #Conflicts: 876000 | #Constraints: 33242
1952.75/1957.94 c #Conflicts: 877000 | #Constraints: 34242
1952.75/1957.94 c #Conflicts: 878000 | #Constraints: 35242
1952.75/1957.94 c #Conflicts: 879000 | #Constraints: 36242
1952.75/1957.94 c #Conflicts: 880000 | #Constraints: 37242
1952.75/1957.94 c #Conflicts: 881000 | #Constraints: 38242
1952.75/1957.94 c #Conflicts: 882000 | #Constraints: 39242
1952.75/1957.94 c #Conflicts: 883000 | #Constraints: 40242
1952.75/1957.94 c #Conflicts: 884000 | #Constraints: 41242
1952.75/1957.94 c INPROCESSING
1952.75/1957.94 c GARBAGE COLLECT
1952.75/1957.94 c #Conflicts: 885000 | #Constraints: 23656
1952.75/1957.94 c #Conflicts: 886000 | #Constraints: 24656
1952.75/1957.94 c #Conflicts: 887000 | #Constraints: 25656
1952.75/1957.94 c #Conflicts: 888000 | #Constraints: 26656
1952.75/1957.94 c #Conflicts: 889000 | #Constraints: 27656
1952.75/1957.94 c #Conflicts: 890000 | #Constraints: 28656
1952.75/1957.94 c #Conflicts: 891000 | #Constraints: 29656
2175.12/2180.87 c #Conflicts: 892000 | #Constraints: 30656
2175.12/2180.87 c #Conflicts: 893000 | #Constraints: 31656
2175.12/2180.87 c #Conflicts: 894000 | #Constraints: 32656
2175.12/2180.87 c #Conflicts: 895000 | #Constraints: 33656
2175.12/2180.87 c #Conflicts: 896000 | #Constraints: 34656
2175.12/2180.87 c #Conflicts: 897000 | #Constraints: 35656
2175.12/2180.87 c #Conflicts: 898000 | #Constraints: 36656
2175.12/2180.87 c #Conflicts: 899000 | #Constraints: 37656
2175.12/2180.87 c #Conflicts: 900000 | #Constraints: 38656
2175.12/2180.87 c #Conflicts: 901000 | #Constraints: 39656
2175.12/2180.87 c #Conflicts: 902000 | #Constraints: 40656
2175.12/2180.87 c #Conflicts: 903000 | #Constraints: 41656
2175.12/2180.87 c INPROCESSING
2175.12/2180.87 c GARBAGE COLLECT
2175.12/2180.87 c #Conflicts: 904000 | #Constraints: 23854
2175.12/2180.87 c #Conflicts: 905000 | #Constraints: 24854
2175.12/2180.87 c #Conflicts: 906000 | #Constraints: 25854
2175.12/2180.87 c #Conflicts: 907000 | #Constraints: 26854
2175.12/2180.87 c #Conflicts: 908000 | #Constraints: 27854
2175.12/2180.87 c #Conflicts: 909000 | #Constraints: 28854
2175.12/2180.87 c #Conflicts: 910000 | #Constraints: 29854
2175.12/2180.87 c #Conflicts: 911000 | #Constraints: 30854
2175.12/2180.87 c #Conflicts: 912000 | #Constraints: 31854
2175.12/2180.87 c #Conflicts: 913000 | #Constraints: 32854
2175.12/2180.87 c #Conflicts: 914000 | #Constraints: 33854
2175.12/2180.87 c #Conflicts: 915000 | #Constraints: 34854
2175.12/2180.87 c #Conflicts: 916000 | #Constraints: 35854
2175.12/2180.87 c #Conflicts: 917000 | #Constraints: 36854
2175.12/2180.87 c #Conflicts: 918000 | #Constraints: 37854
2175.12/2180.87 c #Conflicts: 919000 | #Constraints: 38854
2175.12/2180.87 c #Conflicts: 920000 | #Constraints: 39854
2175.12/2180.87 c #Conflicts: 921000 | #Constraints: 40854
2175.12/2180.87 c #Conflicts: 922000 | #Constraints: 41854
2175.12/2180.87 c INPROCESSING
2175.12/2180.87 c GARBAGE COLLECT
2175.12/2180.87 c #Conflicts: 923000 | #Constraints: 23853
2175.12/2180.87 c #Conflicts: 924000 | #Constraints: 24853
2175.12/2180.87 c #Conflicts: 925000 | #Constraints: 25853
2175.12/2180.87 c #Conflicts: 926000 | #Constraints: 26853
2175.12/2180.87 c #Conflicts: 927000 | #Constraints: 27853
2175.12/2180.87 c #Conflicts: 928000 | #Constraints: 28853
2175.12/2180.87 c #Conflicts: 929000 | #Constraints: 29853
2175.12/2180.87 c #Conflicts: 930000 | #Constraints: 30853
2175.12/2180.87 c #Conflicts: 931000 | #Constraints: 31853
2175.12/2180.87 c #Conflicts: 932000 | #Constraints: 32853
2175.12/2180.87 c #Conflicts: 933000 | #Constraints: 33853
2175.12/2180.87 c #Conflicts: 934000 | #Constraints: 34853
2175.12/2180.87 c #Conflicts: 935000 | #Constraints: 35853
2175.12/2180.87 c #Conflicts: 936000 | #Constraints: 36853
2175.12/2180.87 c #Conflicts: 937000 | #Constraints: 37853
2175.12/2180.87 c #Conflicts: 938000 | #Constraints: 38853
2175.12/2180.87 c #Conflicts: 939000 | #Constraints: 39853
2175.12/2180.87 c #Conflicts: 940000 | #Constraints: 40853
2175.12/2180.87 c #Conflicts: 941000 | #Constraints: 41853
2175.12/2180.87 c INPROCESSING
2175.12/2180.87 c GARBAGE COLLECT
2175.12/2180.87 c #Conflicts: 942000 | #Constraints: 23658
2175.12/2180.87 c #Conflicts: 943000 | #Constraints: 24658
2175.12/2180.87 c #Conflicts: 944000 | #Constraints: 25658
2175.12/2180.87 c #Conflicts: 945000 | #Constraints: 26658
2175.12/2180.87 c #Conflicts: 946000 | #Constraints: 27658
2175.12/2180.87 c #Conflicts: 947000 | #Constraints: 28658
2175.12/2180.87 c #Conflicts: 948000 | #Constraints: 29658
2175.12/2180.87 c #Conflicts: 949000 | #Constraints: 30658
2175.12/2180.87 c #Conflicts: 950000 | #Constraints: 31658
2175.12/2180.87 c #Conflicts: 951000 | #Constraints: 32658
2175.12/2180.87 c #Conflicts: 952000 | #Constraints: 33658
2175.12/2180.87 c #Conflicts: 953000 | #Constraints: 34658
2175.12/2180.87 c #Conflicts: 954000 | #Constraints: 35658
2175.12/2180.87 c #Conflicts: 955000 | #Constraints: 36658
2175.12/2180.87 c #Conflicts: 956000 | #Constraints: 37658
2175.12/2180.87 c #Conflicts: 957000 | #Constraints: 38658
2175.12/2180.87 c #Conflicts: 958000 | #Constraints: 39658
2175.12/2180.87 c #Conflicts: 959000 | #Constraints: 40658
2175.12/2180.87 c #Conflicts: 960000 | #Constraints: 41658
2175.12/2180.87 c #Conflicts: 961000 | #Constraints: 42658
2175.12/2180.87 c INPROCESSING
2175.12/2180.87 c GARBAGE COLLECT
2175.12/2180.87 c #Conflicts: 962000 | #Constraints: 24253
2175.12/2180.87 c #Conflicts: 963000 | #Constraints: 25253
2175.12/2180.87 c #Conflicts: 964000 | #Constraints: 26253
2175.12/2180.87 c #Conflicts: 965000 | #Constraints: 27253
2175.12/2180.87 c #Conflicts: 966000 | #Constraints: 28253
2175.12/2180.87 c #Conflicts: 967000 | #Constraints: 29253
2466.30/2472.78 c #Conflicts: 968000 | #Constraints: 30253
2466.30/2472.78 c #Conflicts: 969000 | #Constraints: 31253
2466.30/2472.78 c #Conflicts: 970000 | #Constraints: 32253
2466.30/2472.78 c #Conflicts: 971000 | #Constraints: 33253
2466.30/2472.78 c #Conflicts: 972000 | #Constraints: 34253
2466.30/2472.78 c #Conflicts: 973000 | #Constraints: 35253
2466.30/2472.78 c #Conflicts: 974000 | #Constraints: 36253
2466.30/2472.78 c #Conflicts: 975000 | #Constraints: 37253
2466.30/2472.78 c #Conflicts: 976000 | #Constraints: 38253
2466.30/2472.78 c #Conflicts: 977000 | #Constraints: 39253
2466.30/2472.78 c #Conflicts: 978000 | #Constraints: 40253
2466.30/2472.78 c #Conflicts: 979000 | #Constraints: 41253
2466.30/2472.78 c #Conflicts: 980000 | #Constraints: 42253
2466.30/2472.78 c #Conflicts: 981000 | #Constraints: 43253
2466.30/2472.78 c INPROCESSING
2466.30/2472.78 c GARBAGE COLLECT
2466.30/2472.78 c #Conflicts: 982000 | #Constraints: 24656
2466.30/2472.78 c #Conflicts: 983000 | #Constraints: 25656
2466.30/2472.78 c #Conflicts: 984000 | #Constraints: 26656
2466.30/2472.78 c #Conflicts: 985000 | #Constraints: 27656
2466.30/2472.78 c #Conflicts: 986000 | #Constraints: 28656
2466.30/2472.78 c #Conflicts: 987000 | #Constraints: 29656
2466.30/2472.78 c #Conflicts: 988000 | #Constraints: 30656
2466.30/2472.78 c #Conflicts: 989000 | #Constraints: 31656
2466.30/2472.78 c #Conflicts: 990000 | #Constraints: 32656
2466.30/2472.78 c #Conflicts: 991000 | #Constraints: 33656
2466.30/2472.78 c #Conflicts: 992000 | #Constraints: 34656
2466.30/2472.78 c #Conflicts: 993000 | #Constraints: 35656
2466.30/2472.78 c #Conflicts: 994000 | #Constraints: 36656
2466.30/2472.78 c #Conflicts: 995000 | #Constraints: 37656
2466.30/2472.78 c #Conflicts: 996000 | #Constraints: 38656
2466.30/2472.78 c #Conflicts: 997000 | #Constraints: 39656
2466.30/2472.78 c #Conflicts: 998000 | #Constraints: 40656
2466.30/2472.78 c #Conflicts: 999000 | #Constraints: 41656
2466.30/2472.78 c #Conflicts: 1000000 | #Constraints: 42656
2466.30/2472.78 c #Conflicts: 1001000 | #Constraints: 43656
2466.30/2472.78 c INPROCESSING
2466.30/2472.78 c GARBAGE COLLECT
2466.30/2472.78 c #Conflicts: 1002000 | #Constraints: 24858
2466.30/2472.78 c #Conflicts: 1003000 | #Constraints: 25858
2466.30/2472.78 c #Conflicts: 1004000 | #Constraints: 26858
2466.30/2472.78 c #Conflicts: 1005000 | #Constraints: 27858
2466.30/2472.78 c #Conflicts: 1006000 | #Constraints: 28858
2466.30/2472.78 c #Conflicts: 1007000 | #Constraints: 29858
2466.30/2472.78 c #Conflicts: 1008000 | #Constraints: 30858
2466.30/2472.78 c #Conflicts: 1009000 | #Constraints: 31858
2466.30/2472.78 c #Conflicts: 1010000 | #Constraints: 32858
2466.30/2472.78 c #Conflicts: 1011000 | #Constraints: 33858
2466.30/2472.78 c #Conflicts: 1012000 | #Constraints: 34858
2466.30/2472.78 c #Conflicts: 1013000 | #Constraints: 35858
2466.30/2472.78 c #Conflicts: 1014000 | #Constraints: 36858
2466.30/2472.78 c #Conflicts: 1015000 | #Constraints: 37858
2466.30/2472.78 c #Conflicts: 1016000 | #Constraints: 38858
2466.30/2472.78 c #Conflicts: 1017000 | #Constraints: 39858
2466.30/2472.78 c #Conflicts: 1018000 | #Constraints: 40858
2466.30/2472.78 c #Conflicts: 1019000 | #Constraints: 41858
2466.30/2472.78 c #Conflicts: 1020000 | #Constraints: 42858
2466.30/2472.78 c #Conflicts: 1021000 | #Constraints: 43858
2466.30/2472.78 c INPROCESSING
2466.30/2472.78 c GARBAGE COLLECT
2466.30/2472.78 c #Conflicts: 1022000 | #Constraints: 24874
2466.30/2472.78 c #Conflicts: 1023000 | #Constraints: 25874
2466.30/2472.78 c #Conflicts: 1024000 | #Constraints: 26874
2466.30/2472.78 c #Conflicts: 1025000 | #Constraints: 27874
2466.30/2472.78 c #Conflicts: 1026000 | #Constraints: 28874
2466.30/2472.78 c #Conflicts: 1027000 | #Constraints: 29874
2466.30/2472.78 c #Conflicts: 1028000 | #Constraints: 30874
2466.30/2472.78 c #Conflicts: 1029000 | #Constraints: 31874
2466.30/2472.78 c #Conflicts: 1030000 | #Constraints: 32874
2466.30/2472.78 c #Conflicts: 1031000 | #Constraints: 33874
2466.30/2472.78 c #Conflicts: 1032000 | #Constraints: 34874
2466.30/2472.78 c #Conflicts: 1033000 | #Constraints: 35874
2466.30/2472.78 c #Conflicts: 1034000 | #Constraints: 36874
2466.30/2472.78 c #Conflicts: 1035000 | #Constraints: 37874
2466.30/2472.78 c #Conflicts: 1036000 | #Constraints: 38874
2466.30/2472.78 c #Conflicts: 1037000 | #Constraints: 39874
2466.30/2472.78 c #Conflicts: 1038000 | #Constraints: 40874
2466.30/2472.78 c #Conflicts: 1039000 | #Constraints: 41874
2466.30/2472.78 c #Conflicts: 1040000 | #Constraints: 42874
2466.30/2472.78 c #Conflicts: 1041000 | #Constraints: 43874
2466.30/2472.78 c INPROCESSING
2466.30/2472.78 c GARBAGE COLLECT
2466.30/2472.78 c #Conflicts: 1042000 | #Constraints: 24678
2466.30/2472.78 c #Conflicts: 1043000 | #Constraints: 25678
2781.13/2788.50 c #Conflicts: 1044000 | #Constraints: 26678
2781.13/2788.50 c #Conflicts: 1045000 | #Constraints: 27678
2781.13/2788.50 c #Conflicts: 1046000 | #Constraints: 28678
2781.13/2788.50 c #Conflicts: 1047000 | #Constraints: 29678
2781.13/2788.50 c #Conflicts: 1048000 | #Constraints: 30678
2781.13/2788.50 c #Conflicts: 1049000 | #Constraints: 31678
2781.13/2788.50 c #Conflicts: 1050000 | #Constraints: 32678
2781.13/2788.50 c #Conflicts: 1051000 | #Constraints: 33678
2781.13/2788.50 c #Conflicts: 1052000 | #Constraints: 34678
2781.13/2788.50 c #Conflicts: 1053000 | #Constraints: 35678
2781.13/2788.50 c #Conflicts: 1054000 | #Constraints: 36678
2781.13/2788.50 c #Conflicts: 1055000 | #Constraints: 37678
2781.13/2788.50 c #Conflicts: 1056000 | #Constraints: 38678
2781.13/2788.50 c #Conflicts: 1057000 | #Constraints: 39678
2781.13/2788.50 c #Conflicts: 1058000 | #Constraints: 40678
2781.13/2788.50 c #Conflicts: 1059000 | #Constraints: 41678
2781.13/2788.50 c #Conflicts: 1060000 | #Constraints: 42678
2781.13/2788.50 c #Conflicts: 1061000 | #Constraints: 43678
2781.13/2788.50 c #Conflicts: 1062000 | #Constraints: 44678
2781.13/2788.50 c INPROCESSING
2781.13/2788.50 c GARBAGE COLLECT
2781.13/2788.50 c #Conflicts: 1063000 | #Constraints: 25270
2781.13/2788.50 c #Conflicts: 1064000 | #Constraints: 26270
2781.13/2788.50 c #Conflicts: 1065000 | #Constraints: 27270
2781.13/2788.50 c #Conflicts: 1066000 | #Constraints: 28270
2781.13/2788.50 c #Conflicts: 1067000 | #Constraints: 29270
2781.13/2788.50 c #Conflicts: 1068000 | #Constraints: 30270
2781.13/2788.50 c #Conflicts: 1069000 | #Constraints: 31270
2781.13/2788.50 c #Conflicts: 1070000 | #Constraints: 32270
2781.13/2788.50 c #Conflicts: 1071000 | #Constraints: 33270
2781.13/2788.50 c #Conflicts: 1072000 | #Constraints: 34270
2781.13/2788.50 c #Conflicts: 1073000 | #Constraints: 35270
2781.13/2788.50 c #Conflicts: 1074000 | #Constraints: 36270
2781.13/2788.50 c #Conflicts: 1075000 | #Constraints: 37270
2781.13/2788.50 c #Conflicts: 1076000 | #Constraints: 38270
2781.13/2788.50 c #Conflicts: 1077000 | #Constraints: 39270
2781.13/2788.50 c #Conflicts: 1078000 | #Constraints: 40270
2781.13/2788.50 c #Conflicts: 1079000 | #Constraints: 41270
2781.13/2788.50 c #Conflicts: 1080000 | #Constraints: 42270
2781.13/2788.50 c #Conflicts: 1081000 | #Constraints: 43270
2781.13/2788.50 c #Conflicts: 1082000 | #Constraints: 44270
2781.13/2788.50 c #Conflicts: 1083000 | #Constraints: 45270
2781.13/2788.50 c INPROCESSING
2781.13/2788.50 c GARBAGE COLLECT
2781.13/2788.50 c #Conflicts: 1084000 | #Constraints: 25666
2781.13/2788.50 c #Conflicts: 1085000 | #Constraints: 26666
2781.13/2788.50 c #Conflicts: 1086000 | #Constraints: 27666
2781.13/2788.50 c #Conflicts: 1087000 | #Constraints: 28666
2781.13/2788.50 c #Conflicts: 1088000 | #Constraints: 29666
2781.13/2788.50 c #Conflicts: 1089000 | #Constraints: 30666
2781.13/2788.50 c #Conflicts: 1090000 | #Constraints: 31666
2781.13/2788.50 c #Conflicts: 1091000 | #Constraints: 32666
2781.13/2788.50 c #Conflicts: 1092000 | #Constraints: 33666
2781.13/2788.50 c #Conflicts: 1093000 | #Constraints: 34666
2781.13/2788.50 c #Conflicts: 1094000 | #Constraints: 35666
2781.13/2788.50 c #Conflicts: 1095000 | #Constraints: 36666
2781.13/2788.50 c #Conflicts: 1096000 | #Constraints: 37666
2781.13/2788.50 c #Conflicts: 1097000 | #Constraints: 38666
2781.13/2788.50 c #Conflicts: 1098000 | #Constraints: 39666
2781.13/2788.50 c #Conflicts: 1099000 | #Constraints: 40666
2781.13/2788.50 c #Conflicts: 1100000 | #Constraints: 41666
2781.13/2788.50 c #Conflicts: 1101000 | #Constraints: 42666
2781.13/2788.50 c #Conflicts: 1102000 | #Constraints: 43666
2781.13/2788.50 c #Conflicts: 1103000 | #Constraints: 44666
2781.13/2788.50 c #Conflicts: 1104000 | #Constraints: 45666
2781.13/2788.50 c INPROCESSING
2781.13/2788.50 c GARBAGE COLLECT
2781.13/2788.50 c #Conflicts: 1105000 | #Constraints: 25866
2781.13/2788.50 c #Conflicts: 1106000 | #Constraints: 26866
2781.13/2788.50 c #Conflicts: 1107000 | #Constraints: 27866
2781.13/2788.50 c #Conflicts: 1108000 | #Constraints: 28866
2781.13/2788.50 c #Conflicts: 1109000 | #Constraints: 29866
2781.13/2788.50 c #Conflicts: 1110000 | #Constraints: 30866
2781.13/2788.50 c #Conflicts: 1111000 | #Constraints: 31866
2781.13/2788.50 c #Conflicts: 1112000 | #Constraints: 32866
2781.13/2788.50 c #Conflicts: 1113000 | #Constraints: 33866
2781.13/2788.50 c #Conflicts: 1114000 | #Constraints: 34866
2781.13/2788.50 c #Conflicts: 1115000 | #Constraints: 35866
2781.13/2788.50 c #Conflicts: 1116000 | #Constraints: 36866
2781.13/2788.50 c #Conflicts: 1117000 | #Constraints: 37866
2781.13/2788.50 c #Conflicts: 1118000 | #Constraints: 38866
2781.13/2788.50 c #Conflicts: 1119000 | #Constraints: 39866
2781.13/2788.50 c #Conflicts: 1120000 | #Constraints: 40866
3025.83/3034.05 c #Conflicts: 1121000 | #Constraints: 41866
3025.83/3034.05 c #Conflicts: 1122000 | #Constraints: 42866
3025.83/3034.05 c #Conflicts: 1123000 | #Constraints: 43866
3025.83/3034.05 c #Conflicts: 1124000 | #Constraints: 44866
3025.83/3034.05 c #Conflicts: 1125000 | #Constraints: 45866
3025.83/3034.05 c INPROCESSING
3025.83/3034.05 c GARBAGE COLLECT
3025.83/3034.05 c #Conflicts: 1126000 | #Constraints: 25866
3025.83/3034.05 c #Conflicts: 1127000 | #Constraints: 26866
3025.83/3034.05 c #Conflicts: 1128000 | #Constraints: 27866
3025.83/3034.05 c #Conflicts: 1129000 | #Constraints: 28866
3025.83/3034.05 c #Conflicts: 1130000 | #Constraints: 29866
3025.83/3034.05 c #Conflicts: 1131000 | #Constraints: 30866
3025.83/3034.05 c #Conflicts: 1132000 | #Constraints: 31866
3025.83/3034.05 c #Conflicts: 1133000 | #Constraints: 32866
3025.83/3034.05 c #Conflicts: 1134000 | #Constraints: 33866
3025.83/3034.05 c #Conflicts: 1135000 | #Constraints: 34866
3025.83/3034.05 c #Conflicts: 1136000 | #Constraints: 35866
3025.83/3034.05 c #Conflicts: 1137000 | #Constraints: 36866
3025.83/3034.05 c #Conflicts: 1138000 | #Constraints: 37866
3025.83/3034.05 c #Conflicts: 1139000 | #Constraints: 38866
3025.83/3034.05 c #Conflicts: 1140000 | #Constraints: 39866
3025.83/3034.05 c #Conflicts: 1141000 | #Constraints: 40866
3025.83/3034.05 c #Conflicts: 1142000 | #Constraints: 41866
3025.83/3034.05 c #Conflicts: 1143000 | #Constraints: 42866
3025.83/3034.05 c #Conflicts: 1144000 | #Constraints: 43866
3025.83/3034.05 c #Conflicts: 1145000 | #Constraints: 44866
3025.83/3034.05 c #Conflicts: 1146000 | #Constraints: 45866
3025.83/3034.05 c INPROCESSING
3025.83/3034.05 c GARBAGE COLLECT
3025.83/3034.05 c #Conflicts: 1147000 | #Constraints: 25657
3025.83/3034.05 c #Conflicts: 1148000 | #Constraints: 26657
3025.83/3034.05 c #Conflicts: 1149000 | #Constraints: 27657
3025.83/3034.05 c #Conflicts: 1150000 | #Constraints: 28657
3025.83/3034.05 c #Conflicts: 1151000 | #Constraints: 29657
3025.83/3034.05 c #Conflicts: 1152000 | #Constraints: 30657
3025.83/3034.05 c #Conflicts: 1153000 | #Constraints: 31657
3025.83/3034.05 c #Conflicts: 1154000 | #Constraints: 32657
3025.83/3034.05 c #Conflicts: 1155000 | #Constraints: 33657
3025.83/3034.05 c #Conflicts: 1156000 | #Constraints: 34657
3025.83/3034.05 c #Conflicts: 1157000 | #Constraints: 35657
3025.83/3034.05 c #Conflicts: 1158000 | #Constraints: 36657
3025.83/3034.05 c #Conflicts: 1159000 | #Constraints: 37657
3025.83/3034.05 c #Conflicts: 1160000 | #Constraints: 38657
3025.83/3034.05 c #Conflicts: 1161000 | #Constraints: 39657
3025.83/3034.05 c #Conflicts: 1162000 | #Constraints: 40657
3025.83/3034.05 c #Conflicts: 1163000 | #Constraints: 41657
3025.83/3034.05 c #Conflicts: 1164000 | #Constraints: 42657
3025.83/3034.05 c #Conflicts: 1165000 | #Constraints: 43657
3025.83/3034.05 c #Conflicts: 1166000 | #Constraints: 44657
3025.83/3034.05 c #Conflicts: 1167000 | #Constraints: 45657
3025.83/3034.05 c #Conflicts: 1168000 | #Constraints: 46657
3025.83/3034.05 c INPROCESSING
3025.83/3034.05 c GARBAGE COLLECT
3025.83/3034.05 c #Conflicts: 1169000 | #Constraints: 26254
3025.83/3034.05 c #Conflicts: 1170000 | #Constraints: 27254
3025.83/3034.05 c #Conflicts: 1171000 | #Constraints: 28254
3025.83/3034.05 c #Conflicts: 1172000 | #Constraints: 29254
3025.83/3034.05 c #Conflicts: 1173000 | #Constraints: 30254
3025.83/3034.05 c #Conflicts: 1174000 | #Constraints: 31254
3025.83/3034.05 c #Conflicts: 1175000 | #Constraints: 32254
3025.83/3034.05 c #Conflicts: 1176000 | #Constraints: 33254
3025.83/3034.05 c #Conflicts: 1177000 | #Constraints: 34254
3025.83/3034.05 c #Conflicts: 1178000 | #Constraints: 35254
3025.83/3034.05 c #Conflicts: 1179000 | #Constraints: 36254
3025.83/3034.05 c #Conflicts: 1180000 | #Constraints: 37254
3025.83/3034.05 c #Conflicts: 1181000 | #Constraints: 38254
3025.83/3034.05 c #Conflicts: 1182000 | #Constraints: 39254
3025.83/3034.05 c #Conflicts: 1183000 | #Constraints: 40254
3025.83/3034.05 c #Conflicts: 1184000 | #Constraints: 41254
3025.83/3034.05 c #Conflicts: 1185000 | #Constraints: 42254
3025.83/3034.05 c #Conflicts: 1186000 | #Constraints: 43254
3025.83/3034.05 c #Conflicts: 1187000 | #Constraints: 44254
3025.83/3034.05 c #Conflicts: 1188000 | #Constraints: 45254
3025.83/3034.05 c #Conflicts: 1189000 | #Constraints: 46254
3025.83/3034.05 c #Conflicts: 1190000 | #Constraints: 47254
3025.83/3034.05 c INPROCESSING
3025.83/3034.05 c GARBAGE COLLECT
3025.83/3034.05 c #Conflicts: 1191000 | #Constraints: 26650
3025.83/3034.05 c #Conflicts: 1192000 | #Constraints: 27650
3025.83/3034.05 c #Conflicts: 1193000 | #Constraints: 28650
3025.83/3034.05 c #Conflicts: 1194000 | #Constraints: 29650
3025.83/3034.05 c #Conflicts: 1195000 | #Constraints: 30650
3025.83/3034.05 c #Conflicts: 1196000 | #Constraints: 31650
3235.74/3244.63 c #Conflicts: 1197000 | #Constraints: 32650
3235.74/3244.63 c #Conflicts: 1198000 | #Constraints: 33650
3235.74/3244.63 c #Conflicts: 1199000 | #Constraints: 34650
3235.74/3244.63 c #Conflicts: 1200000 | #Constraints: 35650
3235.74/3244.63 c #Conflicts: 1201000 | #Constraints: 36650
3235.74/3244.63 c #Conflicts: 1202000 | #Constraints: 37650
3235.74/3244.63 c #Conflicts: 1203000 | #Constraints: 38650
3235.74/3244.63 c #Conflicts: 1204000 | #Constraints: 39650
3235.74/3244.63 c #Conflicts: 1205000 | #Constraints: 40650
3235.74/3244.63 c #Conflicts: 1206000 | #Constraints: 41650
3235.74/3244.63 c #Conflicts: 1207000 | #Constraints: 42650
3235.74/3244.63 c #Conflicts: 1208000 | #Constraints: 43650
3235.74/3244.63 c #Conflicts: 1209000 | #Constraints: 44650
3235.74/3244.63 c #Conflicts: 1210000 | #Constraints: 45650
3235.74/3244.63 c #Conflicts: 1211000 | #Constraints: 46650
3235.74/3244.63 c #Conflicts: 1212000 | #Constraints: 47650
3235.74/3244.63 c INPROCESSING
3235.74/3244.63 c GARBAGE COLLECT
3235.74/3244.63 c #Conflicts: 1213000 | #Constraints: 26843
3235.74/3244.63 c #Conflicts: 1214000 | #Constraints: 27843
3235.74/3244.63 c #Conflicts: 1215000 | #Constraints: 28843
3235.74/3244.63 c #Conflicts: 1216000 | #Constraints: 29843
3235.74/3244.63 c #Conflicts: 1217000 | #Constraints: 30843
3235.74/3244.63 c #Conflicts: 1218000 | #Constraints: 31843
3235.74/3244.63 c #Conflicts: 1219000 | #Constraints: 32843
3235.74/3244.63 c #Conflicts: 1220000 | #Constraints: 33843
3235.74/3244.63 c #Conflicts: 1221000 | #Constraints: 34843
3235.74/3244.63 c #Conflicts: 1222000 | #Constraints: 35843
3235.74/3244.63 c #Conflicts: 1223000 | #Constraints: 36843
3235.74/3244.63 c #Conflicts: 1224000 | #Constraints: 37843
3235.74/3244.63 c #Conflicts: 1225000 | #Constraints: 38843
3235.74/3244.63 c #Conflicts: 1226000 | #Constraints: 39843
3235.74/3244.63 c #Conflicts: 1227000 | #Constraints: 40843
3235.74/3244.63 c #Conflicts: 1228000 | #Constraints: 41843
3235.74/3244.63 c #Conflicts: 1229000 | #Constraints: 42843
3235.74/3244.63 c #Conflicts: 1230000 | #Constraints: 43843
3235.74/3244.63 c #Conflicts: 1231000 | #Constraints: 44843
3235.74/3244.63 c #Conflicts: 1232000 | #Constraints: 45843
3235.74/3244.63 c #Conflicts: 1233000 | #Constraints: 46843
3235.74/3244.63 c #Conflicts: 1234000 | #Constraints: 47843
3235.74/3244.63 c INPROCESSING
3235.74/3244.63 c GARBAGE COLLECT
3235.74/3244.63 c #Conflicts: 1235000 | #Constraints: 26851
3235.74/3244.63 c #Conflicts: 1236000 | #Constraints: 27851
3235.74/3244.63 c #Conflicts: 1237000 | #Constraints: 28851
3235.74/3244.63 c #Conflicts: 1238000 | #Constraints: 29851
3235.74/3244.63 c #Conflicts: 1239000 | #Constraints: 30851
3235.74/3244.63 c #Conflicts: 1240000 | #Constraints: 31851
3235.74/3244.63 c #Conflicts: 1241000 | #Constraints: 32851
3235.74/3244.63 c #Conflicts: 1242000 | #Constraints: 33851
3235.74/3244.63 c #Conflicts: 1243000 | #Constraints: 34851
3235.74/3244.63 c #Conflicts: 1244000 | #Constraints: 35851
3235.74/3244.63 c #Conflicts: 1245000 | #Constraints: 36851
3235.74/3244.63 c #Conflicts: 1246000 | #Constraints: 37851
3235.74/3244.63 c #Conflicts: 1247000 | #Constraints: 38851
3235.74/3244.63 c #Conflicts: 1248000 | #Constraints: 39851
3235.74/3244.63 c #Conflicts: 1249000 | #Constraints: 40851
3235.74/3244.63 c #Conflicts: 1250000 | #Constraints: 41851
3235.74/3244.63 c #Conflicts: 1251000 | #Constraints: 42851
3235.74/3244.63 c #Conflicts: 1252000 | #Constraints: 43851
3235.74/3244.63 c #Conflicts: 1253000 | #Constraints: 44851
3235.74/3244.63 c #Conflicts: 1254000 | #Constraints: 45851
3235.74/3244.64 c #Conflicts: 1255000 | #Constraints: 46851
3235.74/3244.64 c #Conflicts: 1256000 | #Constraints: 47851
3235.74/3244.64 c INPROCESSING
3235.74/3244.64 c GARBAGE COLLECT
3235.74/3244.64 c #Conflicts: 1257000 | #Constraints: 26650
3235.74/3244.64 c #Conflicts: 1258000 | #Constraints: 27650
3235.74/3244.64 c #Conflicts: 1259000 | #Constraints: 28650
3235.74/3244.64 c #Conflicts: 1260000 | #Constraints: 29650
3235.74/3244.64 c #Conflicts: 1261000 | #Constraints: 30650
3235.74/3244.64 c #Conflicts: 1262000 | #Constraints: 31650
3235.74/3244.64 c #Conflicts: 1263000 | #Constraints: 32650
3235.74/3244.64 c #Conflicts: 1264000 | #Constraints: 33650
3235.74/3244.64 c #Conflicts: 1265000 | #Constraints: 34650
3235.74/3244.64 c #Conflicts: 1266000 | #Constraints: 35650
3235.74/3244.64 c #Conflicts: 1267000 | #Constraints: 36650
3235.74/3244.64 c #Conflicts: 1268000 | #Constraints: 37650
3235.74/3244.64 c #Conflicts: 1269000 | #Constraints: 38650
3235.74/3244.64 c #Conflicts: 1270000 | #Constraints: 39650
3235.74/3244.64 c #Conflicts: 1271000 | #Constraints: 40650
3235.74/3244.64 c #Conflicts: 1272000 | #Constraints: 41650
3235.74/3244.64 c #Conflicts: 1273000 | #Constraints: 42650
3382.71/3392.07 c #Conflicts: 1274000 | #Constraints: 43650
3382.71/3392.07 c #Conflicts: 1275000 | #Constraints: 44650
3382.71/3392.07 c #Conflicts: 1276000 | #Constraints: 45650
3382.71/3392.07 c #Conflicts: 1277000 | #Constraints: 46650
3382.71/3392.07 c #Conflicts: 1278000 | #Constraints: 47650
3382.71/3392.07 c #Conflicts: 1279000 | #Constraints: 48650
3382.71/3392.07 c INPROCESSING
3382.71/3392.07 c GARBAGE COLLECT
3382.71/3392.07 c #Conflicts: 1280000 | #Constraints: 27256
3382.71/3392.07 c #Conflicts: 1281000 | #Constraints: 28256
3382.71/3392.07 c #Conflicts: 1282000 | #Constraints: 29256
3382.71/3392.07 c #Conflicts: 1283000 | #Constraints: 30256
3382.71/3392.07 c #Conflicts: 1284000 | #Constraints: 31256
3382.71/3392.07 c #Conflicts: 1285000 | #Constraints: 32256
3382.71/3392.07 c #Conflicts: 1286000 | #Constraints: 33256
3382.71/3392.07 c #Conflicts: 1287000 | #Constraints: 34256
3382.71/3392.07 c #Conflicts: 1288000 | #Constraints: 35256
3382.71/3392.07 c #Conflicts: 1289000 | #Constraints: 36256
3382.71/3392.07 c #Conflicts: 1290000 | #Constraints: 37256
3382.71/3392.07 c #Conflicts: 1291000 | #Constraints: 38256
3382.71/3392.07 c #Conflicts: 1292000 | #Constraints: 39256
3382.71/3392.07 c #Conflicts: 1293000 | #Constraints: 40256
3382.71/3392.07 c #Conflicts: 1294000 | #Constraints: 41256
3382.71/3392.07 c #Conflicts: 1295000 | #Constraints: 42256
3382.71/3392.07 c #Conflicts: 1296000 | #Constraints: 43256
3382.71/3392.07 c #Conflicts: 1297000 | #Constraints: 44256
3382.71/3392.07 c #Conflicts: 1298000 | #Constraints: 45256
3382.71/3392.07 c #Conflicts: 1299000 | #Constraints: 46256
3382.71/3392.07 c #Conflicts: 1300000 | #Constraints: 47256
3382.71/3392.07 c #Conflicts: 1301000 | #Constraints: 48256
3382.71/3392.07 c #Conflicts: 1302000 | #Constraints: 49256
3382.71/3392.07 c INPROCESSING
3382.71/3392.07 c GARBAGE COLLECT
3382.71/3392.07 c #Conflicts: 1303000 | #Constraints: 27644
3382.71/3392.07 c #Conflicts: 1304000 | #Constraints: 28644
3382.71/3392.07 c #Conflicts: 1305000 | #Constraints: 29644
3382.71/3392.07 c #Conflicts: 1306000 | #Constraints: 30644
3382.71/3392.07 c #Conflicts: 1307000 | #Constraints: 31644
3382.71/3392.07 c #Conflicts: 1308000 | #Constraints: 32644
3382.71/3392.07 c #Conflicts: 1309000 | #Constraints: 33644
3382.71/3392.07 c #Conflicts: 1310000 | #Constraints: 34644
3382.71/3392.07 c #Conflicts: 1311000 | #Constraints: 35644
3382.71/3392.07 c #Conflicts: 1312000 | #Constraints: 36644
3382.71/3392.07 c #Conflicts: 1313000 | #Constraints: 37644
3382.71/3392.07 c #Conflicts: 1314000 | #Constraints: 38644
3382.71/3392.07 c #Conflicts: 1315000 | #Constraints: 39644
3382.71/3392.07 c #Conflicts: 1316000 | #Constraints: 40644
3382.71/3392.07 c #Conflicts: 1317000 | #Constraints: 41644
3382.71/3392.07 c #Conflicts: 1318000 | #Constraints: 42644
3382.71/3392.07 c #Conflicts: 1319000 | #Constraints: 43644
3382.71/3392.07 c #Conflicts: 1320000 | #Constraints: 44644
3382.71/3392.07 c #Conflicts: 1321000 | #Constraints: 45644
3382.71/3392.07 c #Conflicts: 1322000 | #Constraints: 46644
3382.71/3392.07 c #Conflicts: 1323000 | #Constraints: 47644
3382.71/3392.07 c #Conflicts: 1324000 | #Constraints: 48644
3382.71/3392.07 c #Conflicts: 1325000 | #Constraints: 49644
3382.71/3392.07 c INPROCESSING
3382.71/3392.07 c GARBAGE COLLECT
3382.71/3392.07 c #Conflicts: 1326000 | #Constraints: 27850
3382.71/3392.07 c #Conflicts: 1327000 | #Constraints: 28850
3382.71/3392.07 c #Conflicts: 1328000 | #Constraints: 29850
3382.71/3392.07 c #Conflicts: 1329000 | #Constraints: 30850
3382.71/3392.07 c #Conflicts: 1330000 | #Constraints: 31850
3382.71/3392.07 c #Conflicts: 1331000 | #Constraints: 32850
3382.71/3392.07 c #Conflicts: 1332000 | #Constraints: 33850
3382.71/3392.07 c #Conflicts: 1333000 | #Constraints: 34850
3382.71/3392.07 c #Conflicts: 1334000 | #Constraints: 35850
3382.71/3392.07 c #Conflicts: 1335000 | #Constraints: 36850
3382.71/3392.07 c #Conflicts: 1336000 | #Constraints: 37850
3382.71/3392.07 c #Conflicts: 1337000 | #Constraints: 38850
3382.71/3392.07 c #Conflicts: 1338000 | #Constraints: 39850
3382.71/3392.07 c #Conflicts: 1339000 | #Constraints: 40850
3382.71/3392.07 c #Conflicts: 1340000 | #Constraints: 41850
3382.71/3392.07 c #Conflicts: 1341000 | #Constraints: 42850
3382.71/3392.07 c #Conflicts: 1342000 | #Constraints: 43850
3382.71/3392.07 c #Conflicts: 1343000 | #Constraints: 44850
3382.71/3392.07 c #Conflicts: 1344000 | #Constraints: 45850
3382.71/3392.07 c #Conflicts: 1345000 | #Constraints: 46850
3382.71/3392.07 c #Conflicts: 1346000 | #Constraints: 47850
3382.71/3392.07 c #Conflicts: 1347000 | #Constraints: 48850
3382.71/3392.07 c #Conflicts: 1348000 | #Constraints: 49850
3382.71/3392.07 c INPROCESSING
3382.71/3392.07 c GARBAGE COLLECT
3382.71/3392.07 c #Conflicts: 1349000 | #Constraints: 27848
3526.94/3536.60 c #Conflicts: 1350000 | #Constraints: 28848
3526.94/3536.60 c #Conflicts: 1351000 | #Constraints: 29848
3526.94/3536.60 c #Conflicts: 1352000 | #Constraints: 30848
3526.94/3536.60 c #Conflicts: 1353000 | #Constraints: 31848
3526.94/3536.60 c #Conflicts: 1354000 | #Constraints: 32848
3526.94/3536.60 c #Conflicts: 1355000 | #Constraints: 33848
3526.94/3536.60 c #Conflicts: 1356000 | #Constraints: 34848
3526.94/3536.60 c #Conflicts: 1357000 | #Constraints: 35848
3526.94/3536.60 c #Conflicts: 1358000 | #Constraints: 36848
3526.94/3536.60 c #Conflicts: 1359000 | #Constraints: 37848
3526.94/3536.60 c #Conflicts: 1360000 | #Constraints: 38848
3526.94/3536.60 c #Conflicts: 1361000 | #Constraints: 39848
3526.94/3536.60 c #Conflicts: 1362000 | #Constraints: 40848
3526.94/3536.60 c #Conflicts: 1363000 | #Constraints: 41848
3526.94/3536.60 c #Conflicts: 1364000 | #Constraints: 42848
3526.94/3536.60 c #Conflicts: 1365000 | #Constraints: 43848
3526.94/3536.60 c #Conflicts: 1366000 | #Constraints: 44848
3526.94/3536.60 c #Conflicts: 1367000 | #Constraints: 45848
3526.94/3536.60 c #Conflicts: 1368000 | #Constraints: 46848
3526.94/3536.60 c #Conflicts: 1369000 | #Constraints: 47848
3526.94/3536.60 c #Conflicts: 1370000 | #Constraints: 48848
3526.94/3536.60 c #Conflicts: 1371000 | #Constraints: 49848
3526.94/3536.60 c INPROCESSING
3526.94/3536.60 c GARBAGE COLLECT
3526.94/3536.60 c #Conflicts: 1372000 | #Constraints: 27634
3526.94/3536.60 c #Conflicts: 1373000 | #Constraints: 28634
3526.94/3536.60 c #Conflicts: 1374000 | #Constraints: 29634
3526.94/3536.60 c #Conflicts: 1375000 | #Constraints: 30634
3526.94/3536.60 c #Conflicts: 1376000 | #Constraints: 31634
3526.94/3536.60 c #Conflicts: 1377000 | #Constraints: 32634
3526.94/3536.60 c #Conflicts: 1378000 | #Constraints: 33634
3526.94/3536.60 c #Conflicts: 1379000 | #Constraints: 34634
3526.94/3536.60 c #Conflicts: 1380000 | #Constraints: 35634
3526.94/3536.60 c #Conflicts: 1381000 | #Constraints: 36634
3526.94/3536.60 c #Conflicts: 1382000 | #Constraints: 37634
3526.94/3536.60 c #Conflicts: 1383000 | #Constraints: 38634
3526.94/3536.60 c #Conflicts: 1384000 | #Constraints: 39634
3526.94/3536.60 c #Conflicts: 1385000 | #Constraints: 40634
3526.94/3536.60 c #Conflicts: 1386000 | #Constraints: 41634
3526.94/3536.60 c #Conflicts: 1387000 | #Constraints: 42634
3526.94/3536.60 c #Conflicts: 1388000 | #Constraints: 43634
3526.94/3536.60 c #Conflicts: 1389000 | #Constraints: 44634
3526.94/3536.60 c #Conflicts: 1390000 | #Constraints: 45634
3526.94/3536.60 c #Conflicts: 1391000 | #Constraints: 46634
3526.94/3536.60 c #Conflicts: 1392000 | #Constraints: 47634
3526.94/3536.60 c #Conflicts: 1393000 | #Constraints: 48634
3526.94/3536.60 c #Conflicts: 1394000 | #Constraints: 49634
3526.94/3536.60 c #Conflicts: 1395000 | #Constraints: 50634
3526.94/3536.60 c INPROCESSING
3526.94/3536.60 c GARBAGE COLLECT
3526.94/3536.60 c #Conflicts: 1396000 | #Constraints: 28226
3526.94/3536.60 c #Conflicts: 1397000 | #Constraints: 29226
3526.94/3536.60 c #Conflicts: 1398000 | #Constraints: 30226
3526.94/3536.60 c #Conflicts: 1399000 | #Constraints: 31226
3526.94/3536.60 c #Conflicts: 1400000 | #Constraints: 32226
3526.94/3536.60 c #Conflicts: 1401000 | #Constraints: 33226
3526.94/3536.60 c #Conflicts: 1402000 | #Constraints: 34226
3526.94/3536.60 c #Conflicts: 1403000 | #Constraints: 35226
3526.94/3536.60 c #Conflicts: 1404000 | #Constraints: 36226
3526.94/3536.60 c #Conflicts: 1405000 | #Constraints: 37226
3526.94/3536.60 c #Conflicts: 1406000 | #Constraints: 38226
3526.94/3536.60 c #Conflicts: 1407000 | #Constraints: 39226
3526.94/3536.60 c #Conflicts: 1408000 | #Constraints: 40226
3526.94/3536.60 c #Conflicts: 1409000 | #Constraints: 41226
3526.94/3536.60 c #Conflicts: 1410000 | #Constraints: 42226
3526.94/3536.60 c #Conflicts: 1411000 | #Constraints: 43226
3526.94/3536.60 c #Conflicts: 1412000 | #Constraints: 44226
3526.94/3536.60 c #Conflicts: 1413000 | #Constraints: 45226
3526.94/3536.60 c #Conflicts: 1414000 | #Constraints: 46226
3526.94/3536.60 c #Conflicts: 1415000 | #Constraints: 47226
3526.94/3536.60 c #Conflicts: 1416000 | #Constraints: 48226
3526.94/3536.60 c #Conflicts: 1417000 | #Constraints: 49226
3526.94/3536.60 c #Conflicts: 1418000 | #Constraints: 50226
3526.94/3536.60 c #Conflicts: 1419000 | #Constraints: 51226
3526.94/3536.60 c INPROCESSING
3526.94/3536.60 c GARBAGE COLLECT
3526.94/3536.60 c #Conflicts: 1420000 | #Constraints: 28624
3526.94/3536.60 c #Conflicts: 1421000 | #Constraints: 29624
3526.94/3536.60 c #Conflicts: 1422000 | #Constraints: 30624
3526.94/3536.60 c #Conflicts: 1423000 | #Constraints: 31624
3526.94/3536.60 c #Conflicts: 1424000 | #Constraints: 32624
3526.94/3536.60 c #Conflicts: 1425000 | #Constraints: 33624
3526.94/3536.60 c #Conflicts: 1426000 | #Constraints: 34624
3600.07/3609.90 c #Conflicts: 1427000 | #Constraints: 35624
3600.07/3609.90 c #Conflicts: 1428000 | #Constraints: 36624
3600.07/3609.90 c #Conflicts: 1429000 | #Constraints: 37624
3600.07/3609.90 c #Conflicts: 1430000 | #Constraints: 38624
3600.07/3609.90 c #Conflicts: 1431000 | #Constraints: 39624
3600.07/3609.90 c #Conflicts: 1432000 | #Constraints: 40624
3600.07/3609.90 c #Conflicts: 1433000 | #Constraints: 41624
3600.07/3609.90 c #Conflicts: 1434000 | #Constraints: 42624
3600.07/3609.90 c #Conflicts: 1435000 | #Constraints: 43624
3600.07/3609.90 c #Conflicts: 1436000 | #Constraints: 44624
3600.07/3609.90 c #Conflicts: 1437000 | #Constraints: 45624
3600.07/3609.90 c #Conflicts: 1438000 | #Constraints: 46624
3600.07/3609.90 c #Conflicts: 1439000 | #Constraints: 47624
3600.07/3609.90 c #Conflicts: 1440000 | #Constraints: 48624
3600.07/3609.90 c #Conflicts: 1441000 | #Constraints: 49624
3600.07/3609.90 c #Conflicts: 1442000 | #Constraints: 50624
3600.07/3609.90 c #Conflicts: 1443000 | #Constraints: 51624
3600.07/3609.90 c INPROCESSING
3600.07/3609.90 c GARBAGE COLLECT
3600.07/3609.90 c #Conflicts: 1444000 | #Constraints: 28823
3600.07/3609.90 c #Conflicts: 1445000 | #Constraints: 29823
3600.07/3609.90 c #Conflicts: 1446000 | #Constraints: 30823
3600.07/3609.90 c #Conflicts: 1447000 | #Constraints: 31823
3600.07/3609.90 c #Conflicts: 1448000 | #Constraints: 32823
3600.07/3609.90 c #Conflicts: 1449000 | #Constraints: 33823
3600.07/3609.90 c #Conflicts: 1450000 | #Constraints: 34823
3600.07/3609.90 c #Conflicts: 1451000 | #Constraints: 35823
3600.07/3609.90 c #Conflicts: 1452000 | #Constraints: 36823
3600.07/3609.90 c #Conflicts: 1453000 | #Constraints: 37823
3600.07/3609.90 c #Conflicts: 1454000 | #Constraints: 38823
3600.07/3609.90 c #Conflicts: 1455000 | #Constraints: 39823
3600.07/3609.90 c #Conflicts: 1456000 | #Constraints: 40823
3600.07/3609.90 c #Conflicts: 1457000 | #Constraints: 41823
3600.07/3609.90 c #Conflicts: 1458000 | #Constraints: 42823
3600.07/3609.90 c #Conflicts: 1459000 | #Constraints: 43823
3600.07/3609.90 c #Conflicts: 1460000 | #Constraints: 44823
3600.07/3609.90 c #Conflicts: 1461000 | #Constraints: 45823
3600.07/3609.90 c #Conflicts: 1462000 | #Constraints: 46823
3600.07/3609.90 c #Conflicts: 1463000 | #Constraints: 47823
3600.07/3609.90 c #Conflicts: 1464000 | #Constraints: 48823
3600.07/3609.90 c #Conflicts: 1465000 | #Constraints: 49823
3600.07/3609.90 c #Conflicts: 1466000 | #Constraints: 50823
3600.07/3609.90 c #Conflicts: 1467000 | #Constraints: 51823
3600.07/3609.90 c INPROCESSING
3600.07/3609.90 c GARBAGE COLLECT
3600.07/3609.90 c #Conflicts: 1468000 | #Constraints: 28821
3600.07/3609.90 c #Conflicts: 1469000 | #Constraints: 29821
3600.07/3609.90 c Program interrupted by user.
3600.07/3609.90 c cpu time 3590.76 s
3600.07/3609.90 c deterministic time 504653763632 5.05e+11
3600.07/3609.90 c optimization time 2.11306 s
3600.07/3609.90 c total solve time 3289.41 s
3600.07/3609.90 c core-guided solve time 3289.41 s
3600.07/3609.90 c propagation time 2589.45 s
3600.07/3609.90 c conflict analysis time 478.889 s
3600.07/3609.90 c propagations 65036469
3600.07/3609.90 c resolve steps 9805353
3600.07/3609.90 c decisions 4464814
3600.07/3609.90 c conflicts 1469753
3600.07/3609.90 c restarts 2843
3600.07/3609.90 c inprocessing phases 112
3600.07/3609.90 c input clauses 3972
3600.07/3609.90 c input cardinalities 150
3600.07/3609.90 c input general constraints 0
3600.07/3609.90 c input average constraint length 62.75
3600.07/3609.90 c input average constraint degree 28.26
3600.07/3609.90 c learned clauses 531483
3600.07/3609.90 c learned cardinalities 312006
3600.07/3609.90 c learned general constraints 626411
3600.07/3609.90 c learned average constraint length 1035.12
3600.07/3609.90 c learned average constraint degree 8638.97
3600.07/3609.90 c watched constraints 225533
3600.07/3609.90 c counting constraints 400878
3600.07/3609.90 c gcd simplifications 26153
3600.07/3609.90 c detected cardinalities 7850
3600.07/3609.90 c weakened non-implied lits 257301463
3600.07/3609.90 c weakened non-implying lits 19621
3600.07/3609.90 c original variables 1963
3600.07/3609.90 c clausal propagations 29159018
3600.07/3609.90 c cardinality propagations 11516602
3600.07/3609.90 c watched propagations 2706073
3600.07/3609.90 c counting propagations 13420637
3600.07/3609.90 c watch lookups 42552274750
3600.07/3609.90 c watch backjump lookups 35344482340
3600.07/3609.90 c watch checks 380508535789
3600.07/3609.90 c propagation checks 41871050203
3600.07/3609.90 c constraint additions 4236950016
3600.07/3609.90 c trail pops 70969250
3600.07/3609.90 c formula constraints 3300
3600.07/3609.90 c learned constraints 1469900
3600.07/3609.90 c bound constraints 150
3600.07/3609.90 c core-guided constraints 672
3600.07/3609.90 c encountered formula constraints 6847099
3600.07/3609.90 c encountered learned constraints 3787942
3600.07/3609.90 c encountered bound constraints 2
3600.07/3609.90 c encountered core-guided constraints 640063
3600.07/3609.90 c LP total time 0 s
3600.07/3609.90 c LP solve time 0 s
3600.07/3609.90 c LP constraints added 0
3600.07/3609.90 c LP constraints removed 0
3600.07/3609.90 c LP pivots internal 0
3600.07/3609.90 c LP pivots root 0
3600.07/3609.90 c LP calls 0
3600.07/3609.90 c LP optimalities 0
3600.07/3609.90 c LP no pivot count 0
3600.07/3609.90 c LP infeasibilities 0
3600.07/3609.90 c LP valid Farkas constraints 0
3600.07/3609.90 c LP learned Farkas constraints 0
3600.07/3609.90 c LP basis resets 0
3600.07/3609.90 c LP cycling count 0
3600.07/3609.90 c LP singular count 0
3600.07/3609.90 c LP no primal count 0
3600.07/3609.90 c LP no farkas count 0
3600.07/3609.90 c LP other issue count 0
3600.07/3609.90 c LP Gomory cuts 0
3600.07/3609.90 c LP learned cuts 0
3600.07/3609.90 c LP deleted cuts 0
3600.07/3609.90 c LP encountered Gomory constraints 0
3600.07/3609.90 c LP encountered Farkas constraints 0
3600.07/3609.90 c LP encountered learned Farkas constraints 0
3600.07/3609.90 c CG auxiliary variables introduced 672
3600.07/3609.90 c CG solutions found 0
3600.07/3609.90 c CG cores constructed 149
3600.07/3609.90 c CG core cardinality constraints returned 0
3600.07/3609.90 c CG unit cores 0
3600.07/3609.90 c CG single cores 149
3600.07/3609.90 c CG blocks removed during cardinality reduction 0
3600.07/3609.90 c CG first core best 0
3600.07/3609.90 c CG decision core best 0
3600.07/3609.90 c CG core reduction tie 0
3600.07/3609.90 c CG core degree average 1.00
3600.07/3609.90 c CG core slack average 2.94
3600.07/3609.90 c CG exhausted 0
3600.07/3609.90 c CG exhaust time 0 s
3600.07/3609.90 c CG trimmed 1
3600.07/3609.90 c CG trim time 0.000702 s
3600.07/3609.90 c CG minimized 0
3600.07/3609.90 c CG minimize time 0 s
3600.07/3609.90 c CG am1 prop time 0.00152 s
3600.07/3609.90 c CG # am1s reformulated 672
3600.07/3609.90 c CG lower bound derived from am1s 675
3600.07/3609.90 c CG # clausal cores 149
3600.07/3609.90 c CG # cardinality cores 0
3600.07/3609.90 c CG # pb cores 0
3600.07/3609.90 c CG # pb reforms 0
3600.07/3609.90 c CG # cores discarded because of pb reform 0
3600.07/3609.90 d LOWERBOUND 824
3600.07/3609.90 d NCORES 149
3600.07/3609.90 d NPBCORES 0
3600.07/3609.90 d NPBREFORM 0
3600.07/3609.90 d NTRIMMED 1
3600.07/3609.90 d NEXHAUSTED 0
3600.07/3609.90 d NAM1S 672
3600.07/3609.90 d AM1LB 675
3600.07/3609.90 c [Papilo Statistics]
3600.07/3609.90 c prepro time 0.00458838s
3600.07/3609.90 c # tsx applied 147
3600.07/3609.90 c # tsx conflicts 4
3600.07/3609.90 c # bound changes 146
3600.07/3609.90 c # side changes 0
3600.07/3609.90 c # coef changes 0
3600.07/3609.90 c # rounds 2
3600.07/3609.90 c # deted vars 296
3600.07/3609.90 c # deted constrs 700
3600.07/3609.90 c # consecutive rounds of only bound changes 0
3600.07/3609.90 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62568 MiB free)
memory of node 1: 64473 MiB (62852 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435466-1721081535/watcher-4435466-1721081535 -o /tmp/evaluation-result-4435466-1721081535/solver-4435466-1721081535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721074233-821795 --watchdog 3760 mixed-bag HOME/instance-4435466-1721081535.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=827979, runsolver pid=827976
[startup+0.100142 s]*
/proc/loadavg: 4.14 4.13 4.14 5/259 827980
/proc/meminfo: memFree=128405232/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=109932 memory=41124 CPUtime=0.09 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 7233 0 0 0 8 1 0 0 20 0 1 0 160319726 112570368 10281 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 27483 10281 3997 3002 0 11234 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109932 KiB
Current children cumulated memory: 41124 KiB
[startup+0.205585 s]*
/proc/loadavg: 4.14 4.13 4.14 5/259 827980
/proc/meminfo: memFree=128403936/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=110744 memory=41972 CPUtime=0.19 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 7429 0 0 0 18 1 0 0 20 0 1 0 160319726 113401856 10493 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 27686 10493 4013 3002 0 11437 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 110744 KiB
Current children cumulated memory: 41972 KiB
[startup+0.304656 s]*
/proc/loadavg: 4.14 4.13 4.14 5/259 827980
/proc/meminfo: memFree=128401444/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=114176 memory=45200 CPUtime=0.29 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 8243 0 0 0 28 1 0 0 20 0 1 0 160319726 116916224 11300 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 28544 11300 4029 3002 0 12295 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 114176 KiB
Current children cumulated memory: 45200 KiB
[startup+0.70018 s]
/proc/loadavg: 4.14 4.13 4.14 5/259 827980
/proc/meminfo: memFree=128399660/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=116016 memory=47012 CPUtime=0.68 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 8687 0 0 0 67 1 0 0 20 0 1 0 160319726 118800384 11753 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 29004 11753 4029 3002 0 12755 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 116016 KiB
Current children cumulated memory: 47012 KiB
[startup+1.50016 s]
/proc/loadavg: 4.14 4.13 4.14 5/259 827980
/proc/meminfo: memFree=128397644/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=120308 memory=50972 CPUtime=1.48 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 9645 0 0 0 147 1 0 0 20 0 1 0 160319726 123195392 12743 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 30077 12743 4029 3002 0 13828 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 120308 KiB
Current children cumulated memory: 50972 KiB
[startup+3.10544 s]
/proc/loadavg: 4.14 4.13 4.14 5/259 827980
/proc/meminfo: memFree=128371548/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=142688 memory=71828 CPUtime=3.08 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 14896 0 0 0 306 2 0 0 20 0 1 0 160319726 146112512 17957 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 35672 17957 4029 3002 0 19423 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 142688 KiB
Current children cumulated memory: 71828 KiB
[startup+6.30015 s]
/proc/loadavg: 4.13 4.13 4.13 5/259 827980
/proc/meminfo: memFree=128320620/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=194764 memory=123044 CPUtime=6.27 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 27668 0 0 0 623 4 0 0 20 0 1 0 160319726 199438336 30761 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 48691 30761 4029 3002 0 32442 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 194764 KiB
Current children cumulated memory: 123044 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.13 5/259 827982
/proc/meminfo: memFree=128258532/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=217620 memory=141832 CPUtime=12.66 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 33748 0 0 0 1261 5 0 0 20 0 1 0 160319726 222842880 35458 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 54405 35458 4029 3002 0 38156 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 217620 KiB
Current children cumulated memory: 141832 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.12 4.13 5/259 827984
/proc/meminfo: memFree=128232316/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=218460 memory=142680 CPUtime=25.42 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 34055 0 0 0 2537 5 0 0 20 0 1 0 160319726 223703040 35670 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 54615 35670 4029 3002 0 38366 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 218460 KiB
Current children cumulated memory: 142680 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.12 4.13 5/257 827989
/proc/meminfo: memFree=128144364/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=290668 memory=210072 CPUtime=50.97 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 52950 0 0 0 5089 8 0 0 20 0 1 0 160319726 297644032 52518 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 72667 52518 4044 3002 0 56418 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 290668 KiB
Current children cumulated memory: 210072 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.10 4.12 5/257 827999
/proc/meminfo: memFree=128006508/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=328380 memory=242236 CPUtime=102.03 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 64225 0 0 0 10193 10 0 0 20 0 1 0 160319726 336261120 60559 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 82095 60559 4044 3002 0 65846 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 328380 KiB
Current children cumulated memory: 242236 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.10 4.12 5/257 828009
/proc/meminfo: memFree=127950840/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=342892 memory=257852 CPUtime=161.88 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 69102 0 0 0 16177 11 0 0 20 0 1 0 160319726 351121408 64463 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 85723 64463 4044 3002 0 69474 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 342892 KiB
Current children cumulated memory: 257852 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.12 5/254 828019
/proc/meminfo: memFree=127965732/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=352892 memory=267560 CPUtime=221.74 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 72297 0 0 0 22162 12 0 0 20 0 1 0 160319726 361361408 66890 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 88223 66890 4044 3002 0 71974 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 352892 KiB
Current children cumulated memory: 267560 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/254 828029
/proc/meminfo: memFree=128036268/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=358908 memory=271548 CPUtime=281.55 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 73297 0 0 0 28142 13 0 0 20 0 1 0 160319726 367521792 67887 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 89727 67887 4044 3002 0 73478 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 358908 KiB
Current children cumulated memory: 271548 KiB
[startup+342.3 s]
/proc/loadavg: 4.34 4.15 4.12 5/254 828040
/proc/meminfo: memFree=128061404/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=268004 memory=173760 CPUtime=341.36 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 77697 0 0 0 34077 59 0 0 20 0 1 0 160319726 274436096 43440 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 67001 43440 4203 3002 0 50752 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 268004 KiB
Current children cumulated memory: 173760 KiB
[startup+402.3 s]
/proc/loadavg: 4.29 4.18 4.13 5/254 828050
/proc/meminfo: memFree=127987932/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=270432 memory=202844 CPUtime=401.16 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 79878 0 0 0 40017 99 0 0 20 0 1 0 160319726 276922368 50711 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 67608 50711 4203 3002 0 51359 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 270432 KiB
Current children cumulated memory: 202844 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.16 4.13 5/256 828064
/proc/meminfo: memFree=127947620/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=325000 memory=217632 CPUtime=460.96 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 81569 0 0 0 45964 132 0 0 20 0 1 0 160319726 332800000 54408 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 81250 54408 4203 3002 0 65001 0
################
# More data... #
################
Current children cumulated memory: 517636 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/256 829684
/proc/meminfo: memFree=126988928/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=695004 memory=528132 CPUtime=2914.49 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 118040 0 0 0 290714 735 0 0 20 0 1 0 160319726 711684096 132033 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 173751 132033 4203 3002 0 157502 0
Current children cumulated CPU time: 2914.49 s
Current children cumulated vsize: 695004 KiB
Current children cumulated memory: 528132 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/257 829695
/proc/meminfo: memFree=126982260/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=695260 memory=532288 CPUtime=2974.29 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 118132 0 0 0 296681 748 0 0 20 0 1 0 160319726 711946240 133072 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 173815 133072 4203 3002 0 157566 0
Current children cumulated CPU time: 2974.29 s
Current children cumulated vsize: 695260 KiB
Current children cumulated memory: 532288 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/257 829705
/proc/meminfo: memFree=126978176/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=695260 memory=532536 CPUtime=3034.1 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 118277 0 0 0 302646 764 0 0 20 0 1 0 160319726 711946240 133134 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 173815 133134 4203 3002 0 157566 0
Current children cumulated CPU time: 3034.1 s
Current children cumulated vsize: 695260 KiB
Current children cumulated memory: 532536 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.11 4.11 5/256 829717
/proc/meminfo: memFree=126948784/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=695260 memory=538680 CPUtime=3093.9 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 118424 0 0 0 308613 777 0 0 20 0 1 0 160319726 711946240 134670 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 173815 134670 4203 3002 0 157566 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 695260 KiB
Current children cumulated memory: 538680 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.10 5/255 829727
/proc/meminfo: memFree=126940448/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=695260 memory=538680 CPUtime=3153.71 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 118556 0 0 0 314577 794 0 0 20 0 1 0 160319726 711946240 134670 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 173815 134670 4203 3002 0 157566 0
Current children cumulated CPU time: 3153.71 s
Current children cumulated vsize: 695260 KiB
Current children cumulated memory: 538680 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/255 829737
/proc/meminfo: memFree=126938288/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=695260 memory=538680 CPUtime=3213.51 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 118710 0 0 0 320544 807 0 0 20 0 1 0 160319726 711946240 134670 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 173815 134670 4203 3002 0 157566 0
Current children cumulated CPU time: 3213.51 s
Current children cumulated vsize: 695260 KiB
Current children cumulated memory: 538680 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/255 829747
/proc/meminfo: memFree=126932892/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=697308 memory=540324 CPUtime=3273.32 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 119238 0 0 0 326507 825 0 0 20 0 1 0 160319726 714043392 135081 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 174327 135081 4203 3002 0 158078 0
Current children cumulated CPU time: 3273.32 s
Current children cumulated vsize: 697308 KiB
Current children cumulated memory: 540324 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/254 829758
/proc/meminfo: memFree=126877328/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=769688 memory=577264 CPUtime=3333.14 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 128694 0 0 0 332468 846 0 0 20 0 1 0 160319726 788160512 144316 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 192422 144316 4203 3002 0 176173 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 769688 KiB
Current children cumulated memory: 577264 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 829770
/proc/meminfo: memFree=126859868/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=793752 memory=591844 CPUtime=3392.99 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 132054 0 0 0 338437 862 0 0 20 0 1 0 160319726 812802048 147961 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 198438 147961 4203 3002 0 182189 0
Current children cumulated CPU time: 3392.99 s
Current children cumulated vsize: 793752 KiB
Current children cumulated memory: 591844 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/257 829784
/proc/meminfo: memFree=126851232/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=798360 memory=594572 CPUtime=3452.83 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 133018 0 0 0 344399 884 0 0 20 0 1 0 160319726 817520640 148643 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 199590 148643 4203 3002 0 183341 0
Current children cumulated CPU time: 3452.83 s
Current children cumulated vsize: 798360 KiB
Current children cumulated memory: 594572 KiB
[startup+3522.3 s]
/proc/loadavg: 4.26 4.16 4.11 5/257 829795
/proc/meminfo: memFree=126835556/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=798360 memory=594596 CPUtime=3512.67 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 133278 0 0 0 350365 902 0 0 20 0 1 0 160319726 817520640 148649 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 199590 148649 4203 3002 0 183341 0
Current children cumulated CPU time: 3512.67 s
Current children cumulated vsize: 798360 KiB
Current children cumulated memory: 594596 KiB
[startup+3582.3 s]
/proc/loadavg: 3.15 3.88 4.02 3/243 829866
/proc/meminfo: memFree=127885056/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=803992 memory=597760 CPUtime=3572.54 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 134294 0 0 0 356331 923 0 0 20 0 1 0 160319726 823287808 149440 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 200998 149440 4203 3002 0 184749 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 803992 KiB
Current children cumulated memory: 597760 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 2.54 3.68 3.95 2/236 829902
/proc/meminfo: memFree=128352544/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=803992 memory=608000 CPUtime=3600.07 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 134466 0 0 0 359075 932 0 0 20 0 1 0 160319726 823287808 152000 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 200998 152000 4203 3002 0 184749 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 803992 KiB
Current children cumulated memory: 608000 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 827979 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.76 s, system=9.3295 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 2.54 3.68 3.95 2/236 829902
/proc/meminfo: memFree=128352544/131524600 swapFree=131071996/131071996
[pid=827979] ppid=827976 vsize=803992 memory=608000 CPUtime=3600.07 cores=5,7
/proc/827979/stat : 827979 (mixed-bag) R 827976 827979 821782 0 -1 4194304 134466 0 0 0 359075 932 0 0 20 0 1 0 160319726 823287808 152000 134679101440 4194304 16487941 140731017929296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 43773952 140731017937943 140731017938020 140731017938020 140731017945035 0
/proc/827979/statm: 200998 152000 4203 3002 0 184749 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 803992 KiB
Current children cumulated memory: 608000 KiB
Child status: 0
Real time (s): 3609.91
CPU time (s): 3600.09
CPU user time (s): 3590.76
CPU system time (s): 9.3295
CPU usage (%): 99.7281
Max. virtual memory (cumulated for all children) (KiB): 803992
Max. memory (cumulated for all children) (KiB): 608000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.76
system time used= 9.32949
maximum resident set size= 608000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134488
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= 203
involuntary context switches= 2107
# summary of solver processes directly reported to runsolver:
# pid: 827979
# total CPU time (s): 3600.09
# total CPU user time (s): 3590.76
# total CPU system time (s): 9.3295
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7106 second user time and 16.9151 second system time
The end
Begin job on nodeC026 at 2024-07-16 00:12:28
IDJOB=4435466
IDBENCH=147530
IDSOLVER=3066
FILE ID=nodeC026/4435466-1721081535
RUNJOBID= nodeC026-1721074233-821795
SLURM_JOB_ID= 7505548
Free space on /tmp= 890036 MiB
SOLVER NAME= mixed-bag 2024-07-02
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 --file-size-limit 102400 -w /tmp/evaluation-result-4435466-1721081535/watcher-4435466-1721081535 -o /tmp/evaluation-result-4435466-1721081535/solver-4435466-1721081535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721074233-821795 --watchdog 3760 mixed-bag HOME/instance-4435466-1721081535.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2f43827d921579f008f60b037bb7dde7
RANDOM SEED=1450319090
nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.297
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
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 : 3668.309
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
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 : 3600.259
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
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 : 3600.363
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
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 : 3669.366
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
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 : 3667.492
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
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.291
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
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 : 3667.998
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128431224 kB
MemAvailable: 129259900 kB
Buffers: 383688 kB
Cached: 1279636 kB
SwapCached: 0 kB
Active: 671032 kB
Inactive: 1826884 kB
Active(anon): 1572 kB
Inactive(anon): 870444 kB
Active(file): 669460 kB
Inactive(file): 956440 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 32856 kB
Writeback: 0 kB
AnonPages: 831268 kB
Mapped: 137208 kB
Shmem: 37720 kB
KReclaimable: 85196 kB
Slab: 189700 kB
SReclaimable: 85196 kB
SUnreclaim: 104504 kB
KernelStack: 4160 kB
PageTables: 11388 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1251616 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61600 kB
HardwareCorrupted: 0 kB
AnonHugePages: 305152 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 232148 kB
DirectMap2M: 20512768 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890068 MiB
End job on nodeC026 at 2024-07-16 01:12:38