0.00/0.22 c RoundingSat 2
0.00/0.22 c branch
0.00/0.22 c commit
0.00/0.22 c with Papilo
0.00/0.22 c with SCIP
0.00/0.22 c [STEP] parsing instance
0.00/0.22 c [STEP] preprocessing with Papilo
0.00/0.26 c [STEP] solving with SCIP
299.42/300.48 c [STEP] preprocessing done, loading into solver
299.42/300.48 c [STEP] solving
299.42/300.48 c #variables 1654 #constraints 3240
299.42/300.48 c SMALL=int, LARGE=long long
299.42/300.48 d SCIPUB 882
299.42/300.48 c bounds - >= 0 @ 299.271
299.42/300.48 c stratification level: 0
299.51/300.53 c bounds - >= 674 @ 299.277
299.51/300.53 c bounds - >= 675 @ 299.278
299.51/300.53 c bounds - >= 676 @ 299.278
299.51/300.53 c bounds - >= 677 @ 299.279
299.51/300.53 c bounds - >= 678 @ 299.279
299.51/300.53 c bounds - >= 679 @ 299.279
299.51/300.53 c bounds - >= 680 @ 299.279
299.51/300.53 c bounds - >= 681 @ 299.28
299.51/300.53 c bounds - >= 682 @ 299.28
299.51/300.53 c bounds - >= 683 @ 299.28
299.51/300.53 c bounds - >= 684 @ 299.28
299.51/300.53 c bounds - >= 685 @ 299.28
299.51/300.53 c bounds - >= 686 @ 299.281
299.51/300.53 c bounds - >= 687 @ 299.281
299.51/300.53 c bounds - >= 688 @ 299.281
299.51/300.53 c bounds - >= 689 @ 299.281
299.51/300.53 c bounds - >= 690 @ 299.282
299.51/300.53 c bounds - >= 691 @ 299.282
299.51/300.53 c bounds - >= 692 @ 299.282
299.51/300.53 c bounds - >= 693 @ 299.282
299.51/300.53 c bounds - >= 694 @ 299.282
299.51/300.53 c bounds - >= 695 @ 299.283
299.51/300.53 c bounds - >= 696 @ 299.283
299.51/300.53 c bounds - >= 697 @ 299.283
299.51/300.53 c bounds - >= 698 @ 299.283
299.51/300.53 c bounds - >= 699 @ 299.283
299.51/300.53 c bounds - >= 700 @ 299.283
299.51/300.53 c bounds - >= 701 @ 299.283
299.51/300.53 c bounds - >= 702 @ 299.283
299.51/300.53 c bounds - >= 703 @ 299.283
299.51/300.53 c bounds - >= 704 @ 299.283
299.51/300.53 c bounds - >= 705 @ 299.283
299.51/300.53 c bounds - >= 706 @ 299.283
299.51/300.53 c bounds - >= 707 @ 299.283
299.51/300.53 c bounds - >= 708 @ 299.283
299.51/300.53 c bounds - >= 709 @ 299.283
299.51/300.53 c bounds - >= 710 @ 299.283
299.51/300.53 c bounds - >= 711 @ 299.283
299.51/300.53 c bounds - >= 712 @ 299.284
299.51/300.53 c bounds - >= 713 @ 299.284
299.51/300.53 c bounds - >= 714 @ 299.284
299.51/300.53 c bounds - >= 715 @ 299.284
299.51/300.53 c bounds - >= 716 @ 299.285
299.51/300.53 c bounds - >= 717 @ 299.285
299.51/300.53 c bounds - >= 718 @ 299.285
299.51/300.53 c bounds - >= 719 @ 299.285
299.51/300.53 c bounds - >= 720 @ 299.286
299.51/300.53 c bounds - >= 721 @ 299.286
299.51/300.53 c bounds - >= 722 @ 299.286
299.51/300.53 c bounds - >= 723 @ 299.286
299.51/300.53 c bounds - >= 724 @ 299.286
299.51/300.53 c bounds - >= 725 @ 299.286
299.51/300.53 c bounds - >= 726 @ 299.286
299.51/300.53 c bounds - >= 727 @ 299.286
299.51/300.53 c bounds - >= 728 @ 299.286
299.51/300.53 c bounds - >= 729 @ 299.286
299.51/300.53 c bounds - >= 730 @ 299.286
299.51/300.53 c bounds - >= 731 @ 299.286
299.51/300.53 c bounds - >= 732 @ 299.286
299.51/300.53 c bounds - >= 733 @ 299.287
299.51/300.53 c bounds - >= 734 @ 299.287
299.51/300.53 c bounds - >= 735 @ 299.287
299.51/300.53 c bounds - >= 736 @ 299.287
299.51/300.53 c bounds - >= 737 @ 299.288
299.51/300.53 c bounds - >= 738 @ 299.288
299.51/300.53 c bounds - >= 739 @ 299.288
299.51/300.53 c bounds - >= 740 @ 299.288
299.51/300.53 c bounds - >= 741 @ 299.288
299.51/300.53 c bounds - >= 742 @ 299.288
299.51/300.53 c bounds - >= 743 @ 299.288
299.51/300.53 c bounds - >= 744 @ 299.288
299.51/300.53 c bounds - >= 745 @ 299.289
299.51/300.53 c bounds - >= 746 @ 299.289
299.51/300.53 c bounds - >= 747 @ 299.289
299.51/300.53 c bounds - >= 748 @ 299.289
299.51/300.53 c bounds - >= 749 @ 299.289
299.51/300.53 c bounds - >= 750 @ 299.289
299.51/300.53 c bounds - >= 751 @ 299.289
299.51/300.53 c bounds - >= 752 @ 299.289
299.51/300.53 c bounds - >= 753 @ 299.289
299.51/300.53 c bounds - >= 754 @ 299.289
299.51/300.53 c bounds - >= 755 @ 299.289
299.51/300.53 c bounds - >= 756 @ 299.289
299.51/300.53 c bounds - >= 757 @ 299.289
299.51/300.53 c bounds - >= 758 @ 299.289
299.51/300.53 c bounds - >= 759 @ 299.289
299.51/300.53 c bounds - >= 760 @ 299.289
299.51/300.53 c bounds - >= 761 @ 299.289
299.51/300.53 c bounds - >= 762 @ 299.289
299.51/300.53 c bounds - >= 763 @ 299.289
299.51/300.53 c bounds - >= 764 @ 299.289
299.51/300.53 c bounds - >= 765 @ 299.289
299.51/300.53 c bounds - >= 766 @ 299.289
299.51/300.53 c bounds - >= 767 @ 299.289
299.51/300.53 c bounds - >= 768 @ 299.289
299.51/300.53 c bounds - >= 769 @ 299.29
299.51/300.53 c bounds - >= 770 @ 299.29
299.51/300.53 c bounds - >= 771 @ 299.29
299.51/300.53 c bounds - >= 772 @ 299.29
299.51/300.53 c bounds - >= 773 @ 299.291
299.51/300.53 c bounds - >= 774 @ 299.291
299.51/300.53 c bounds - >= 775 @ 299.291
299.51/300.53 c bounds - >= 776 @ 299.291
299.51/300.53 c bounds - >= 777 @ 299.292
299.51/300.53 c bounds - >= 778 @ 299.292
299.51/300.53 c bounds - >= 779 @ 299.292
299.51/300.53 c bounds - >= 780 @ 299.292
299.51/300.53 c bounds - >= 781 @ 299.293
299.51/300.53 c bounds - >= 782 @ 299.293
299.51/300.53 c bounds - >= 783 @ 299.293
299.51/300.53 c bounds - >= 784 @ 299.293
299.51/300.53 c bounds - >= 785 @ 299.293
299.51/300.53 c bounds - >= 786 @ 299.293
299.51/300.53 c bounds - >= 787 @ 299.293
299.51/300.53 c bounds - >= 788 @ 299.293
299.51/300.53 c bounds - >= 789 @ 299.294
299.51/300.53 c bounds - >= 790 @ 299.294
299.51/300.53 c bounds - >= 791 @ 299.294
299.51/300.53 c bounds - >= 792 @ 299.294
299.51/300.53 c bounds - >= 793 @ 299.295
299.51/300.53 c bounds - >= 794 @ 299.295
299.51/300.53 c bounds - >= 795 @ 299.295
299.51/300.53 c bounds - >= 796 @ 299.295
299.51/300.53 c bounds - >= 797 @ 299.295
299.51/300.53 c bounds - >= 798 @ 299.295
299.51/300.53 c bounds - >= 799 @ 299.295
299.51/300.53 c bounds - >= 800 @ 299.295
299.51/300.53 c bounds - >= 801 @ 299.295
299.51/300.53 c bounds - >= 802 @ 299.296
299.51/300.53 c bounds - >= 803 @ 299.296
299.51/300.53 c bounds - >= 804 @ 299.296
299.51/300.53 c bounds - >= 805 @ 299.297
299.51/300.53 c bounds - >= 806 @ 299.297
299.51/300.53 c bounds - >= 807 @ 299.297
299.51/300.53 c bounds - >= 808 @ 299.298
299.51/300.53 c bounds - >= 809 @ 299.298
299.51/300.53 c bounds - >= 810 @ 299.298
299.51/300.53 c bounds - >= 811 @ 299.299
299.51/300.53 c bounds - >= 812 @ 299.299
299.51/300.53 c bounds - >= 813 @ 299.299
299.51/300.53 c bounds - >= 814 @ 299.299
299.51/300.53 c bounds - >= 815 @ 299.299
299.51/300.53 c bounds - >= 816 @ 299.3
299.51/300.53 c bounds - >= 817 @ 299.3
299.51/300.53 c bounds - >= 818 @ 299.301
299.51/300.53 c bounds - >= 819 @ 299.301
299.51/300.53 c bounds - >= 820 @ 299.302
351.48/352.69 c bounds - >= 821 @ 299.302
351.48/352.69 c bounds - >= 822 @ 299.303
351.48/352.69 c #Conflicts: 1000 | #Constraints: 5209
351.48/352.69 c #Conflicts: 2000 | #Constraints: 6209
351.48/352.69 c INPROCESSING
351.48/352.69 c GARBAGE COLLECT
351.48/352.69 c #Conflicts: 3000 | #Constraints: 6046
351.48/352.69 c #Conflicts: 4000 | #Constraints: 7046
351.48/352.69 c INPROCESSING
351.48/352.69 c GARBAGE COLLECT
351.48/352.69 c #Conflicts: 5000 | #Constraints: 6433
351.48/352.69 c #Conflicts: 6000 | #Constraints: 7433
351.48/352.69 c INPROCESSING
351.48/352.69 c GARBAGE COLLECT
351.48/352.69 c #Conflicts: 7000 | #Constraints: 6441
351.48/352.69 c #Conflicts: 8000 | #Constraints: 7441
351.48/352.69 c #Conflicts: 9000 | #Constraints: 8441
351.48/352.69 c INPROCESSING
351.48/352.69 c GARBAGE COLLECT
351.48/352.69 c #Conflicts: 10000 | #Constraints: 7115
351.48/352.69 c #Conflicts: 11000 | #Constraints: 8115
351.48/352.69 c #Conflicts: 12000 | #Constraints: 9115
351.48/352.69 c INPROCESSING
351.48/352.69 c GARBAGE COLLECT
351.48/352.69 c #Conflicts: 13000 | #Constraints: 7552
351.48/352.69 c #Conflicts: 14000 | #Constraints: 8552
351.48/352.69 c #Conflicts: 15000 | #Constraints: 9552
351.48/352.69 c INPROCESSING
351.48/352.69 c GARBAGE COLLECT
351.48/352.69 c #Conflicts: 16000 | #Constraints: 7773
351.48/352.69 c #Conflicts: 17000 | #Constraints: 8773
351.48/352.69 c #Conflicts: 18000 | #Constraints: 9773
351.48/352.69 c INPROCESSING
351.48/352.69 c GARBAGE COLLECT
351.48/352.69 c #Conflicts: 19000 | #Constraints: 7818
351.48/352.69 c #Conflicts: 20000 | #Constraints: 8818
351.48/352.69 c #Conflicts: 21000 | #Constraints: 9818
351.48/352.69 c INPROCESSING
351.48/352.69 c GARBAGE COLLECT
351.48/352.69 c #Conflicts: 22000 | #Constraints: 7627
351.48/352.69 c #Conflicts: 23000 | #Constraints: 8627
351.48/352.69 c #Conflicts: 24000 | #Constraints: 9627
351.48/352.69 c #Conflicts: 25000 | #Constraints: 10627
351.48/352.69 c INPROCESSING
351.48/352.69 c GARBAGE COLLECT
351.48/352.69 c #Conflicts: 26000 | #Constraints: 8212
351.48/352.69 c #Conflicts: 27000 | #Constraints: 9212
351.48/352.69 c #Conflicts: 28000 | #Constraints: 10212
351.48/352.69 c #Conflicts: 29000 | #Constraints: 11212
351.48/352.69 c INPROCESSING
351.48/352.69 c GARBAGE COLLECT
351.48/352.69 c #Conflicts: 30000 | #Constraints: 8601
351.48/352.69 c #Conflicts: 31000 | #Constraints: 9601
351.48/352.69 c #Conflicts: 32000 | #Constraints: 10601
351.48/352.69 c #Conflicts: 33000 | #Constraints: 11601
351.48/352.69 c INPROCESSING
351.48/352.69 c GARBAGE COLLECT
351.48/352.69 c #Conflicts: 34000 | #Constraints: 8805
351.48/352.69 c #Conflicts: 35000 | #Constraints: 9805
351.48/352.69 c #Conflicts: 36000 | #Constraints: 10805
351.48/352.69 c #Conflicts: 37000 | #Constraints: 11805
351.48/352.69 c INPROCESSING
351.48/352.69 c GARBAGE COLLECT
351.48/352.69 c #Conflicts: 38000 | #Constraints: 8797
351.48/352.69 c #Conflicts: 39000 | #Constraints: 9797
351.48/352.69 c #Conflicts: 40000 | #Constraints: 10797
351.48/352.69 c #Conflicts: 41000 | #Constraints: 11797
351.48/352.69 c INPROCESSING
351.48/352.69 c GARBAGE COLLECT
351.48/352.69 c #Conflicts: 42000 | #Constraints: 8597
351.48/352.69 c #Conflicts: 43000 | #Constraints: 9597
351.48/352.69 c #Conflicts: 44000 | #Constraints: 10597
351.48/352.69 c #Conflicts: 45000 | #Constraints: 11597
351.48/352.69 c #Conflicts: 46000 | #Constraints: 12597
351.48/352.69 c INPROCESSING
351.48/352.69 c GARBAGE COLLECT
351.48/352.69 c #Conflicts: 47000 | #Constraints: 9211
351.48/352.69 c #Conflicts: 48000 | #Constraints: 10211
351.48/352.69 c #Conflicts: 49000 | #Constraints: 11211
351.48/352.70 c #Conflicts: 50000 | #Constraints: 12211
351.48/352.70 c #Conflicts: 51000 | #Constraints: 13211
351.48/352.70 c INPROCESSING
351.48/352.70 c GARBAGE COLLECT
351.48/352.70 c #Conflicts: 52000 | #Constraints: 9612
351.48/352.70 c #Conflicts: 53000 | #Constraints: 10612
351.48/352.70 c #Conflicts: 54000 | #Constraints: 11612
351.48/352.70 c #Conflicts: 55000 | #Constraints: 12612
351.48/352.70 c #Conflicts: 56000 | #Constraints: 13612
351.48/352.70 c INPROCESSING
351.48/352.70 c GARBAGE COLLECT
351.48/352.70 c #Conflicts: 57000 | #Constraints: 9808
351.48/352.70 c #Conflicts: 58000 | #Constraints: 10808
351.48/352.70 c #Conflicts: 59000 | #Constraints: 11808
351.48/352.70 c #Conflicts: 60000 | #Constraints: 12808
351.48/352.70 c #Conflicts: 61000 | #Constraints: 13808
351.48/352.70 c INPROCESSING
351.48/352.70 c GARBAGE COLLECT
351.48/352.70 c #Conflicts: 62000 | #Constraints: 9806
351.48/352.70 c #Conflicts: 63000 | #Constraints: 10806
351.48/352.70 c #Conflicts: 64000 | #Constraints: 11806
351.48/352.70 c #Conflicts: 65000 | #Constraints: 12806
351.48/352.70 c #Conflicts: 66000 | #Constraints: 13806
351.48/352.70 c INPROCESSING
351.48/352.70 c GARBAGE COLLECT
351.48/352.70 c #Conflicts: 67000 | #Constraints: 9607
479.96/481.44 c #Conflicts: 68000 | #Constraints: 10607
479.96/481.44 c #Conflicts: 69000 | #Constraints: 11607
479.96/481.44 c #Conflicts: 70000 | #Constraints: 12607
479.96/481.44 c #Conflicts: 71000 | #Constraints: 13607
479.96/481.44 c #Conflicts: 72000 | #Constraints: 14607
479.96/481.44 c INPROCESSING
479.96/481.44 c GARBAGE COLLECT
479.96/481.44 c #Conflicts: 73000 | #Constraints: 10211
479.96/481.44 c #Conflicts: 74000 | #Constraints: 11211
479.96/481.44 c #Conflicts: 75000 | #Constraints: 12211
479.96/481.44 c #Conflicts: 76000 | #Constraints: 13211
479.96/481.44 c #Conflicts: 77000 | #Constraints: 14211
479.96/481.44 c #Conflicts: 78000 | #Constraints: 15211
479.96/481.44 c INPROCESSING
479.96/481.44 c GARBAGE COLLECT
479.96/481.44 c #Conflicts: 79000 | #Constraints: 10604
479.96/481.44 c #Conflicts: 80000 | #Constraints: 11604
479.96/481.44 c #Conflicts: 81000 | #Constraints: 12604
479.96/481.44 c #Conflicts: 82000 | #Constraints: 13604
479.96/481.44 c #Conflicts: 83000 | #Constraints: 14604
479.96/481.44 c #Conflicts: 84000 | #Constraints: 15604
479.96/481.44 c INPROCESSING
479.96/481.44 c GARBAGE COLLECT
479.96/481.44 c #Conflicts: 85000 | #Constraints: 10806
479.96/481.44 c #Conflicts: 86000 | #Constraints: 11806
479.96/481.44 c #Conflicts: 87000 | #Constraints: 12806
479.96/481.44 c #Conflicts: 88000 | #Constraints: 13806
479.96/481.44 c #Conflicts: 89000 | #Constraints: 14806
479.96/481.44 c #Conflicts: 90000 | #Constraints: 15806
479.96/481.44 c INPROCESSING
479.96/481.44 c GARBAGE COLLECT
479.96/481.44 c #Conflicts: 91000 | #Constraints: 10807
479.96/481.44 c #Conflicts: 92000 | #Constraints: 11807
479.96/481.44 c #Conflicts: 93000 | #Constraints: 12807
479.96/481.44 c #Conflicts: 94000 | #Constraints: 13807
479.96/481.44 c #Conflicts: 95000 | #Constraints: 14807
479.96/481.44 c #Conflicts: 96000 | #Constraints: 15807
479.96/481.44 c INPROCESSING
479.96/481.44 c GARBAGE COLLECT
479.96/481.44 c #Conflicts: 97000 | #Constraints: 10604
479.96/481.44 c #Conflicts: 98000 | #Constraints: 11604
479.96/481.44 c #Conflicts: 99000 | #Constraints: 12604
479.96/481.44 c #Conflicts: 100000 | #Constraints: 13604
479.96/481.44 c #Conflicts: 101000 | #Constraints: 14604
479.96/481.44 c #Conflicts: 102000 | #Constraints: 15604
479.96/481.44 c #Conflicts: 103000 | #Constraints: 16604
479.96/481.44 c INPROCESSING
479.96/481.44 c GARBAGE COLLECT
479.96/481.44 c #Conflicts: 104000 | #Constraints: 11207
479.96/481.44 c #Conflicts: 105000 | #Constraints: 12207
479.96/481.44 c #Conflicts: 106000 | #Constraints: 13207
479.96/481.44 c #Conflicts: 107000 | #Constraints: 14207
479.96/481.44 c #Conflicts: 108000 | #Constraints: 15207
479.96/481.44 c #Conflicts: 109000 | #Constraints: 16207
479.96/481.44 c #Conflicts: 110000 | #Constraints: 17207
479.96/481.44 c INPROCESSING
479.96/481.44 c GARBAGE COLLECT
479.96/481.44 c #Conflicts: 111000 | #Constraints: 11611
479.96/481.44 c #Conflicts: 112000 | #Constraints: 12611
479.96/481.44 c #Conflicts: 113000 | #Constraints: 13611
479.96/481.44 c #Conflicts: 114000 | #Constraints: 14611
479.96/481.44 c #Conflicts: 115000 | #Constraints: 15611
479.96/481.44 c #Conflicts: 116000 | #Constraints: 16611
479.96/481.44 c #Conflicts: 117000 | #Constraints: 17611
479.96/481.44 c INPROCESSING
479.96/481.44 c GARBAGE COLLECT
479.96/481.44 c #Conflicts: 118000 | #Constraints: 11813
479.96/481.44 c #Conflicts: 119000 | #Constraints: 12813
479.96/481.44 c #Conflicts: 120000 | #Constraints: 13813
479.96/481.44 c #Conflicts: 121000 | #Constraints: 14813
479.96/481.44 c #Conflicts: 122000 | #Constraints: 15813
479.96/481.44 c #Conflicts: 123000 | #Constraints: 16813
479.96/481.44 c #Conflicts: 124000 | #Constraints: 17813
479.96/481.44 c INPROCESSING
479.96/481.44 c GARBAGE COLLECT
479.96/481.44 c #Conflicts: 125000 | #Constraints: 11815
479.96/481.44 c #Conflicts: 126000 | #Constraints: 12815
479.96/481.44 c #Conflicts: 127000 | #Constraints: 13815
479.96/481.44 c #Conflicts: 128000 | #Constraints: 14815
479.96/481.44 c #Conflicts: 129000 | #Constraints: 15815
479.96/481.44 c #Conflicts: 130000 | #Constraints: 16815
479.96/481.44 c #Conflicts: 131000 | #Constraints: 17815
479.96/481.44 c INPROCESSING
479.96/481.44 c GARBAGE COLLECT
479.96/481.44 c #Conflicts: 132000 | #Constraints: 11612
479.96/481.44 c #Conflicts: 133000 | #Constraints: 12612
479.96/481.44 c #Conflicts: 134000 | #Constraints: 13612
479.96/481.44 c #Conflicts: 135000 | #Constraints: 14612
479.96/481.44 c #Conflicts: 136000 | #Constraints: 15612
479.96/481.44 c #Conflicts: 137000 | #Constraints: 16612
479.96/481.44 c #Conflicts: 138000 | #Constraints: 17612
479.96/481.44 c #Conflicts: 139000 | #Constraints: 18612
597.55/599.31 c INPROCESSING
597.55/599.31 c GARBAGE COLLECT
597.55/599.31 c #Conflicts: 140000 | #Constraints: 12205
597.55/599.31 c #Conflicts: 141000 | #Constraints: 13205
597.55/599.31 c #Conflicts: 142000 | #Constraints: 14205
597.55/599.31 c #Conflicts: 143000 | #Constraints: 15205
597.55/599.31 c #Conflicts: 144000 | #Constraints: 16205
597.55/599.31 c #Conflicts: 145000 | #Constraints: 17205
597.55/599.31 c #Conflicts: 146000 | #Constraints: 18205
597.55/599.31 c #Conflicts: 147000 | #Constraints: 19205
597.55/599.31 c INPROCESSING
597.55/599.31 c GARBAGE COLLECT
597.55/599.31 c #Conflicts: 148000 | #Constraints: 12608
597.55/599.31 c #Conflicts: 149000 | #Constraints: 13608
597.55/599.31 c #Conflicts: 150000 | #Constraints: 14608
597.55/599.31 c #Conflicts: 151000 | #Constraints: 15608
597.55/599.31 c #Conflicts: 152000 | #Constraints: 16608
597.55/599.31 c #Conflicts: 153000 | #Constraints: 17608
597.55/599.31 c #Conflicts: 154000 | #Constraints: 18608
597.55/599.31 c #Conflicts: 155000 | #Constraints: 19608
597.55/599.31 c INPROCESSING
597.55/599.31 c GARBAGE COLLECT
597.55/599.31 c #Conflicts: 156000 | #Constraints: 12810
597.55/599.31 c #Conflicts: 157000 | #Constraints: 13810
597.55/599.31 c #Conflicts: 158000 | #Constraints: 14810
597.55/599.31 c #Conflicts: 159000 | #Constraints: 15810
597.55/599.31 c #Conflicts: 160000 | #Constraints: 16810
597.55/599.31 c #Conflicts: 161000 | #Constraints: 17810
597.55/599.31 c #Conflicts: 162000 | #Constraints: 18810
597.55/599.31 c #Conflicts: 163000 | #Constraints: 19810
597.55/599.31 c INPROCESSING
597.55/599.31 c GARBAGE COLLECT
597.55/599.31 c #Conflicts: 164000 | #Constraints: 12813
597.55/599.31 c #Conflicts: 165000 | #Constraints: 13813
597.55/599.31 c #Conflicts: 166000 | #Constraints: 14813
597.55/599.31 c #Conflicts: 167000 | #Constraints: 15813
597.55/599.31 c #Conflicts: 168000 | #Constraints: 16813
597.55/599.31 c #Conflicts: 169000 | #Constraints: 17813
597.55/599.31 c #Conflicts: 170000 | #Constraints: 18813
597.55/599.31 c #Conflicts: 171000 | #Constraints: 19813
597.55/599.31 c INPROCESSING
597.55/599.31 c GARBAGE COLLECT
597.55/599.31 c #Conflicts: 172000 | #Constraints: 12616
597.55/599.31 c #Conflicts: 173000 | #Constraints: 13616
597.55/599.31 c #Conflicts: 174000 | #Constraints: 14616
597.55/599.31 c #Conflicts: 175000 | #Constraints: 15616
597.55/599.31 c #Conflicts: 176000 | #Constraints: 16616
597.55/599.31 c #Conflicts: 177000 | #Constraints: 17616
597.55/599.31 c #Conflicts: 178000 | #Constraints: 18616
597.55/599.31 c #Conflicts: 179000 | #Constraints: 19616
597.55/599.31 c #Conflicts: 180000 | #Constraints: 20616
597.55/599.31 c INPROCESSING
597.55/599.31 c GARBAGE COLLECT
597.55/599.31 c #Conflicts: 181000 | #Constraints: 13218
597.55/599.31 c #Conflicts: 182000 | #Constraints: 14218
597.55/599.31 c #Conflicts: 183000 | #Constraints: 15218
597.55/599.31 c #Conflicts: 184000 | #Constraints: 16218
597.55/599.31 c #Conflicts: 185000 | #Constraints: 17218
597.55/599.31 c #Conflicts: 186000 | #Constraints: 18218
597.55/599.31 c #Conflicts: 187000 | #Constraints: 19218
597.55/599.31 c #Conflicts: 188000 | #Constraints: 20218
597.55/599.31 c #Conflicts: 189000 | #Constraints: 21218
597.55/599.31 c INPROCESSING
597.55/599.31 c GARBAGE COLLECT
597.55/599.31 c #Conflicts: 190000 | #Constraints: 13616
597.55/599.31 c #Conflicts: 191000 | #Constraints: 14616
597.55/599.31 c #Conflicts: 192000 | #Constraints: 15616
597.55/599.31 c #Conflicts: 193000 | #Constraints: 16616
597.55/599.31 c #Conflicts: 194000 | #Constraints: 17616
597.55/599.31 c #Conflicts: 195000 | #Constraints: 18616
597.55/599.31 c #Conflicts: 196000 | #Constraints: 19616
597.55/599.31 c #Conflicts: 197000 | #Constraints: 20616
597.55/599.31 c #Conflicts: 198000 | #Constraints: 21616
597.55/599.31 c INPROCESSING
597.55/599.31 c GARBAGE COLLECT
597.55/599.31 c #Conflicts: 199000 | #Constraints: 13820
597.55/599.31 c #Conflicts: 200000 | #Constraints: 14820
597.55/599.31 c #Conflicts: 201000 | #Constraints: 15820
597.55/599.31 c #Conflicts: 202000 | #Constraints: 16820
597.55/599.31 c #Conflicts: 203000 | #Constraints: 17820
597.55/599.31 c #Conflicts: 204000 | #Constraints: 18820
597.55/599.31 c #Conflicts: 205000 | #Constraints: 19820
597.55/599.31 c #Conflicts: 206000 | #Constraints: 20820
597.55/599.31 c #Conflicts: 207000 | #Constraints: 21820
597.55/599.31 c INPROCESSING
597.55/599.31 c GARBAGE COLLECT
597.55/599.31 c #Conflicts: 208000 | #Constraints: 13819
597.55/599.31 c #Conflicts: 209000 | #Constraints: 14819
597.55/599.31 c #Conflicts: 210000 | #Constraints: 15819
597.55/599.31 c #Conflicts: 211000 | #Constraints: 16819
597.55/599.31 c #Conflicts: 212000 | #Constraints: 17819
740.30/742.49 c #Conflicts: 213000 | #Constraints: 18819
740.30/742.49 c #Conflicts: 214000 | #Constraints: 19819
740.30/742.49 c #Conflicts: 215000 | #Constraints: 20819
740.30/742.49 c #Conflicts: 216000 | #Constraints: 21819
740.30/742.49 c INPROCESSING
740.30/742.49 c GARBAGE COLLECT
740.30/742.49 c #Conflicts: 217000 | #Constraints: 13622
740.30/742.49 c #Conflicts: 218000 | #Constraints: 14622
740.30/742.49 c #Conflicts: 219000 | #Constraints: 15622
740.30/742.49 c #Conflicts: 220000 | #Constraints: 16622
740.30/742.49 c #Conflicts: 221000 | #Constraints: 17622
740.30/742.49 c #Conflicts: 222000 | #Constraints: 18622
740.30/742.49 c #Conflicts: 223000 | #Constraints: 19622
740.30/742.49 c #Conflicts: 224000 | #Constraints: 20622
740.30/742.49 c #Conflicts: 225000 | #Constraints: 21622
740.30/742.49 c #Conflicts: 226000 | #Constraints: 22622
740.30/742.49 c INPROCESSING
740.30/742.49 c GARBAGE COLLECT
740.30/742.49 c #Conflicts: 227000 | #Constraints: 14220
740.30/742.49 c #Conflicts: 228000 | #Constraints: 15220
740.30/742.49 c #Conflicts: 229000 | #Constraints: 16220
740.30/742.49 c #Conflicts: 230000 | #Constraints: 17220
740.30/742.49 c #Conflicts: 231000 | #Constraints: 18220
740.30/742.49 c #Conflicts: 232000 | #Constraints: 19220
740.30/742.49 c #Conflicts: 233000 | #Constraints: 20220
740.30/742.49 c #Conflicts: 234000 | #Constraints: 21220
740.30/742.49 c #Conflicts: 235000 | #Constraints: 22220
740.30/742.49 c #Conflicts: 236000 | #Constraints: 23220
740.30/742.49 c INPROCESSING
740.30/742.49 c GARBAGE COLLECT
740.30/742.49 c #Conflicts: 237000 | #Constraints: 14617
740.30/742.49 c #Conflicts: 238000 | #Constraints: 15617
740.30/742.49 c #Conflicts: 239000 | #Constraints: 16617
740.30/742.49 c #Conflicts: 240000 | #Constraints: 17617
740.30/742.49 c #Conflicts: 241000 | #Constraints: 18617
740.30/742.49 c #Conflicts: 242000 | #Constraints: 19617
740.30/742.49 c #Conflicts: 243000 | #Constraints: 20617
740.30/742.49 c #Conflicts: 244000 | #Constraints: 21617
740.30/742.49 c #Conflicts: 245000 | #Constraints: 22617
740.30/742.49 c #Conflicts: 246000 | #Constraints: 23617
740.30/742.49 c INPROCESSING
740.30/742.49 c GARBAGE COLLECT
740.30/742.49 c #Conflicts: 247000 | #Constraints: 14827
740.30/742.49 c #Conflicts: 248000 | #Constraints: 15827
740.30/742.49 c #Conflicts: 249000 | #Constraints: 16827
740.30/742.49 c #Conflicts: 250000 | #Constraints: 17827
740.30/742.49 c #Conflicts: 251000 | #Constraints: 18827
740.30/742.49 c #Conflicts: 252000 | #Constraints: 19827
740.30/742.49 c #Conflicts: 253000 | #Constraints: 20827
740.30/742.49 c #Conflicts: 254000 | #Constraints: 21827
740.30/742.49 c #Conflicts: 255000 | #Constraints: 22827
740.30/742.49 c #Conflicts: 256000 | #Constraints: 23827
740.30/742.49 c INPROCESSING
740.30/742.49 c GARBAGE COLLECT
740.30/742.49 c #Conflicts: 257000 | #Constraints: 14811
740.30/742.49 c #Conflicts: 258000 | #Constraints: 15811
740.30/742.49 c #Conflicts: 259000 | #Constraints: 16811
740.30/742.49 c #Conflicts: 260000 | #Constraints: 17811
740.30/742.49 c #Conflicts: 261000 | #Constraints: 18811
740.30/742.49 c #Conflicts: 262000 | #Constraints: 19811
740.30/742.49 c #Conflicts: 263000 | #Constraints: 20811
740.30/742.49 c #Conflicts: 264000 | #Constraints: 21811
740.30/742.49 c #Conflicts: 265000 | #Constraints: 22811
740.30/742.49 c #Conflicts: 266000 | #Constraints: 23811
740.30/742.49 c INPROCESSING
740.30/742.49 c GARBAGE COLLECT
740.30/742.49 c #Conflicts: 267000 | #Constraints: 14609
740.30/742.49 c #Conflicts: 268000 | #Constraints: 15609
740.30/742.49 c #Conflicts: 269000 | #Constraints: 16609
740.30/742.49 c #Conflicts: 270000 | #Constraints: 17609
740.30/742.49 c #Conflicts: 271000 | #Constraints: 18609
740.30/742.49 c #Conflicts: 272000 | #Constraints: 19609
740.30/742.49 c #Conflicts: 273000 | #Constraints: 20609
740.30/742.49 c #Conflicts: 274000 | #Constraints: 21609
740.30/742.49 c #Conflicts: 275000 | #Constraints: 22609
740.30/742.49 c #Conflicts: 276000 | #Constraints: 23609
740.30/742.49 c #Conflicts: 277000 | #Constraints: 24609
740.30/742.49 c INPROCESSING
740.30/742.49 c GARBAGE COLLECT
740.30/742.49 c #Conflicts: 278000 | #Constraints: 15201
740.30/742.49 c #Conflicts: 279000 | #Constraints: 16201
740.30/742.49 c #Conflicts: 280000 | #Constraints: 17201
740.30/742.49 c #Conflicts: 281000 | #Constraints: 18201
740.30/742.49 c #Conflicts: 282000 | #Constraints: 19201
740.30/742.49 c #Conflicts: 283000 | #Constraints: 20201
740.30/742.49 c #Conflicts: 284000 | #Constraints: 21201
740.30/742.49 c #Conflicts: 285000 | #Constraints: 22201
740.30/742.49 c #Conflicts: 286000 | #Constraints: 23201
888.16/890.67 c #Conflicts: 287000 | #Constraints: 24201
888.16/890.67 c #Conflicts: 288000 | #Constraints: 25201
888.16/890.67 c INPROCESSING
888.16/890.67 c GARBAGE COLLECT
888.16/890.67 c #Conflicts: 289000 | #Constraints: 15609
888.16/890.67 c #Conflicts: 290000 | #Constraints: 16609
888.16/890.67 c #Conflicts: 291000 | #Constraints: 17609
888.16/890.67 c #Conflicts: 292000 | #Constraints: 18609
888.16/890.67 c #Conflicts: 293000 | #Constraints: 19609
888.16/890.67 c #Conflicts: 294000 | #Constraints: 20609
888.16/890.67 c #Conflicts: 295000 | #Constraints: 21609
888.16/890.67 c #Conflicts: 296000 | #Constraints: 22609
888.16/890.67 c #Conflicts: 297000 | #Constraints: 23609
888.16/890.67 c #Conflicts: 298000 | #Constraints: 24609
888.16/890.67 c #Conflicts: 299000 | #Constraints: 25609
888.16/890.67 c INPROCESSING
888.16/890.67 c GARBAGE COLLECT
888.16/890.67 c #Conflicts: 300000 | #Constraints: 15805
888.16/890.67 c #Conflicts: 301000 | #Constraints: 16805
888.16/890.67 c #Conflicts: 302000 | #Constraints: 17805
888.16/890.67 c #Conflicts: 303000 | #Constraints: 18805
888.16/890.67 c #Conflicts: 304000 | #Constraints: 19805
888.16/890.67 c #Conflicts: 305000 | #Constraints: 20805
888.16/890.67 c #Conflicts: 306000 | #Constraints: 21805
888.16/890.67 c #Conflicts: 307000 | #Constraints: 22805
888.16/890.67 c #Conflicts: 308000 | #Constraints: 23805
888.16/890.67 c #Conflicts: 309000 | #Constraints: 24805
888.16/890.67 c #Conflicts: 310000 | #Constraints: 25805
888.16/890.67 c INPROCESSING
888.16/890.67 c GARBAGE COLLECT
888.16/890.67 c #Conflicts: 311000 | #Constraints: 15803
888.16/890.67 c #Conflicts: 312000 | #Constraints: 16803
888.16/890.67 c #Conflicts: 313000 | #Constraints: 17803
888.16/890.67 c #Conflicts: 314000 | #Constraints: 18803
888.16/890.67 c #Conflicts: 315000 | #Constraints: 19803
888.16/890.67 c #Conflicts: 316000 | #Constraints: 20803
888.16/890.67 c #Conflicts: 317000 | #Constraints: 21803
888.16/890.67 c #Conflicts: 318000 | #Constraints: 22803
888.16/890.67 c #Conflicts: 319000 | #Constraints: 23803
888.16/890.67 c #Conflicts: 320000 | #Constraints: 24803
888.16/890.67 c #Conflicts: 321000 | #Constraints: 25803
888.16/890.67 c INPROCESSING
888.16/890.67 c GARBAGE COLLECT
888.16/890.67 c #Conflicts: 322000 | #Constraints: 15606
888.16/890.67 c #Conflicts: 323000 | #Constraints: 16606
888.16/890.67 c #Conflicts: 324000 | #Constraints: 17606
888.16/890.67 c #Conflicts: 325000 | #Constraints: 18606
888.16/890.67 c #Conflicts: 326000 | #Constraints: 19606
888.16/890.67 c #Conflicts: 327000 | #Constraints: 20606
888.16/890.67 c #Conflicts: 328000 | #Constraints: 21606
888.16/890.67 c #Conflicts: 329000 | #Constraints: 22606
888.16/890.67 c #Conflicts: 330000 | #Constraints: 23606
888.16/890.67 c #Conflicts: 331000 | #Constraints: 24606
888.16/890.67 c #Conflicts: 332000 | #Constraints: 25606
888.16/890.67 c #Conflicts: 333000 | #Constraints: 26606
888.16/890.67 c INPROCESSING
888.16/890.67 c GARBAGE COLLECT
888.16/890.67 c #Conflicts: 334000 | #Constraints: 16207
888.16/890.67 c #Conflicts: 335000 | #Constraints: 17207
888.16/890.67 c #Conflicts: 336000 | #Constraints: 18207
888.16/890.67 c #Conflicts: 337000 | #Constraints: 19207
888.16/890.67 c #Conflicts: 338000 | #Constraints: 20207
888.16/890.67 c #Conflicts: 339000 | #Constraints: 21207
888.16/890.67 c #Conflicts: 340000 | #Constraints: 22207
888.16/890.67 c #Conflicts: 341000 | #Constraints: 23207
888.16/890.67 c #Conflicts: 342000 | #Constraints: 24207
888.16/890.67 c #Conflicts: 343000 | #Constraints: 25207
888.16/890.67 c #Conflicts: 344000 | #Constraints: 26207
888.16/890.67 c #Conflicts: 345000 | #Constraints: 27207
888.16/890.67 c INPROCESSING
888.16/890.67 c GARBAGE COLLECT
888.16/890.67 c #Conflicts: 346000 | #Constraints: 16610
888.16/890.67 c #Conflicts: 347000 | #Constraints: 17610
888.16/890.67 c #Conflicts: 348000 | #Constraints: 18610
888.16/890.67 c #Conflicts: 349000 | #Constraints: 19610
888.16/890.67 c #Conflicts: 350000 | #Constraints: 20610
888.16/890.67 c #Conflicts: 351000 | #Constraints: 21610
888.16/890.67 c #Conflicts: 352000 | #Constraints: 22610
888.16/890.67 c #Conflicts: 353000 | #Constraints: 23610
888.16/890.67 c #Conflicts: 354000 | #Constraints: 24610
888.16/890.67 c #Conflicts: 355000 | #Constraints: 25610
888.16/890.67 c #Conflicts: 356000 | #Constraints: 26610
888.16/890.67 c #Conflicts: 357000 | #Constraints: 27610
888.16/890.67 c INPROCESSING
888.16/890.67 c GARBAGE COLLECT
888.16/890.67 c #Conflicts: 358000 | #Constraints: 16808
888.16/890.67 c #Conflicts: 359000 | #Constraints: 17808
888.16/890.67 c #Conflicts: 360000 | #Constraints: 18808
888.16/890.67 c #Conflicts: 361000 | #Constraints: 19808
1047.49/1050.37 c #Conflicts: 362000 | #Constraints: 20808
1047.49/1050.37 c #Conflicts: 363000 | #Constraints: 21808
1047.49/1050.37 c #Conflicts: 364000 | #Constraints: 22808
1047.49/1050.37 c #Conflicts: 365000 | #Constraints: 23808
1047.49/1050.37 c #Conflicts: 366000 | #Constraints: 24808
1047.49/1050.37 c #Conflicts: 367000 | #Constraints: 25808
1047.49/1050.37 c #Conflicts: 368000 | #Constraints: 26808
1047.49/1050.37 c #Conflicts: 369000 | #Constraints: 27808
1047.49/1050.37 c INPROCESSING
1047.49/1050.37 c GARBAGE COLLECT
1047.49/1050.37 c #Conflicts: 370000 | #Constraints: 16810
1047.49/1050.37 c #Conflicts: 371000 | #Constraints: 17810
1047.49/1050.37 c #Conflicts: 372000 | #Constraints: 18810
1047.49/1050.37 c #Conflicts: 373000 | #Constraints: 19810
1047.49/1050.37 c #Conflicts: 374000 | #Constraints: 20810
1047.49/1050.37 c #Conflicts: 375000 | #Constraints: 21810
1047.49/1050.37 c #Conflicts: 376000 | #Constraints: 22810
1047.49/1050.37 c #Conflicts: 377000 | #Constraints: 23810
1047.49/1050.37 c #Conflicts: 378000 | #Constraints: 24810
1047.49/1050.37 c #Conflicts: 379000 | #Constraints: 25810
1047.49/1050.37 c #Conflicts: 380000 | #Constraints: 26810
1047.49/1050.37 c #Conflicts: 381000 | #Constraints: 27810
1047.49/1050.37 c INPROCESSING
1047.49/1050.37 c GARBAGE COLLECT
1047.49/1050.37 c #Conflicts: 382000 | #Constraints: 16614
1047.49/1050.37 c #Conflicts: 383000 | #Constraints: 17614
1047.49/1050.37 c #Conflicts: 384000 | #Constraints: 18614
1047.49/1050.37 c #Conflicts: 385000 | #Constraints: 19614
1047.49/1050.37 c #Conflicts: 386000 | #Constraints: 20614
1047.49/1050.37 c #Conflicts: 387000 | #Constraints: 21614
1047.49/1050.37 c #Conflicts: 388000 | #Constraints: 22614
1047.49/1050.37 c #Conflicts: 389000 | #Constraints: 23614
1047.49/1050.37 c #Conflicts: 390000 | #Constraints: 24614
1047.49/1050.37 c #Conflicts: 391000 | #Constraints: 25614
1047.49/1050.37 c #Conflicts: 392000 | #Constraints: 26614
1047.49/1050.37 c #Conflicts: 393000 | #Constraints: 27614
1047.49/1050.37 c #Conflicts: 394000 | #Constraints: 28614
1047.49/1050.37 c INPROCESSING
1047.49/1050.37 c GARBAGE COLLECT
1047.49/1050.37 c #Conflicts: 395000 | #Constraints: 17213
1047.49/1050.37 c #Conflicts: 396000 | #Constraints: 18213
1047.49/1050.37 c #Conflicts: 397000 | #Constraints: 19213
1047.49/1050.37 c #Conflicts: 398000 | #Constraints: 20213
1047.49/1050.37 c #Conflicts: 399000 | #Constraints: 21213
1047.49/1050.37 c #Conflicts: 400000 | #Constraints: 22213
1047.49/1050.37 c #Conflicts: 401000 | #Constraints: 23213
1047.49/1050.37 c #Conflicts: 402000 | #Constraints: 24213
1047.49/1050.37 c #Conflicts: 403000 | #Constraints: 25213
1047.49/1050.37 c #Conflicts: 404000 | #Constraints: 26213
1047.49/1050.37 c #Conflicts: 405000 | #Constraints: 27213
1047.49/1050.37 c #Conflicts: 406000 | #Constraints: 28213
1047.49/1050.37 c #Conflicts: 407000 | #Constraints: 29213
1047.49/1050.37 c INPROCESSING
1047.49/1050.37 c GARBAGE COLLECT
1047.49/1050.37 c #Conflicts: 408000 | #Constraints: 17609
1047.49/1050.37 c #Conflicts: 409000 | #Constraints: 18609
1047.49/1050.37 c #Conflicts: 410000 | #Constraints: 19609
1047.49/1050.37 c #Conflicts: 411000 | #Constraints: 20609
1047.49/1050.37 c #Conflicts: 412000 | #Constraints: 21609
1047.49/1050.37 c #Conflicts: 413000 | #Constraints: 22609
1047.49/1050.37 c #Conflicts: 414000 | #Constraints: 23609
1047.49/1050.37 c #Conflicts: 415000 | #Constraints: 24609
1047.49/1050.37 c #Conflicts: 416000 | #Constraints: 25609
1047.49/1050.37 c #Conflicts: 417000 | #Constraints: 26609
1047.49/1050.37 c #Conflicts: 418000 | #Constraints: 27609
1047.49/1050.37 c #Conflicts: 419000 | #Constraints: 28609
1047.49/1050.37 c #Conflicts: 420000 | #Constraints: 29609
1047.49/1050.37 c INPROCESSING
1047.49/1050.37 c GARBAGE COLLECT
1047.49/1050.37 c #Conflicts: 421000 | #Constraints: 17810
1047.49/1050.37 c #Conflicts: 422000 | #Constraints: 18810
1047.49/1050.37 c #Conflicts: 423000 | #Constraints: 19810
1047.49/1050.37 c #Conflicts: 424000 | #Constraints: 20810
1047.49/1050.37 c #Conflicts: 425000 | #Constraints: 21810
1047.49/1050.37 c #Conflicts: 426000 | #Constraints: 22810
1047.49/1050.37 c #Conflicts: 427000 | #Constraints: 23810
1047.49/1050.37 c #Conflicts: 428000 | #Constraints: 24810
1047.49/1050.37 c #Conflicts: 429000 | #Constraints: 25810
1047.49/1050.37 c #Conflicts: 430000 | #Constraints: 26810
1047.49/1050.37 c #Conflicts: 431000 | #Constraints: 27810
1047.49/1050.37 c #Conflicts: 432000 | #Constraints: 28810
1047.49/1050.37 c #Conflicts: 433000 | #Constraints: 29810
1047.49/1050.37 c INPROCESSING
1047.49/1050.37 c GARBAGE COLLECT
1047.49/1050.37 c #Conflicts: 434000 | #Constraints: 17818
1047.49/1050.37 c #Conflicts: 435000 | #Constraints: 18818
1047.49/1050.37 c #Conflicts: 436000 | #Constraints: 19818
1182.65/1185.81 c #Conflicts: 437000 | #Constraints: 20818
1182.65/1185.81 c #Conflicts: 438000 | #Constraints: 21818
1182.65/1185.81 c #Conflicts: 439000 | #Constraints: 22818
1182.65/1185.81 c #Conflicts: 440000 | #Constraints: 23818
1182.65/1185.81 c #Conflicts: 441000 | #Constraints: 24818
1182.65/1185.81 c #Conflicts: 442000 | #Constraints: 25818
1182.65/1185.81 c #Conflicts: 443000 | #Constraints: 26818
1182.65/1185.81 c #Conflicts: 444000 | #Constraints: 27818
1182.65/1185.81 c #Conflicts: 445000 | #Constraints: 28818
1182.65/1185.81 c #Conflicts: 446000 | #Constraints: 29818
1182.65/1185.81 c INPROCESSING
1182.65/1185.81 c GARBAGE COLLECT
1182.65/1185.81 c #Conflicts: 447000 | #Constraints: 17621
1182.65/1185.81 c #Conflicts: 448000 | #Constraints: 18621
1182.65/1185.81 c #Conflicts: 449000 | #Constraints: 19621
1182.65/1185.81 c #Conflicts: 450000 | #Constraints: 20621
1182.65/1185.81 c #Conflicts: 451000 | #Constraints: 21621
1182.65/1185.81 c #Conflicts: 452000 | #Constraints: 22621
1182.65/1185.81 c #Conflicts: 453000 | #Constraints: 23621
1182.65/1185.81 c #Conflicts: 454000 | #Constraints: 24621
1182.65/1185.81 c #Conflicts: 455000 | #Constraints: 25621
1182.65/1185.81 c #Conflicts: 456000 | #Constraints: 26621
1182.65/1185.81 c #Conflicts: 457000 | #Constraints: 27621
1182.65/1185.81 c #Conflicts: 458000 | #Constraints: 28621
1182.65/1185.81 c #Conflicts: 459000 | #Constraints: 29621
1182.65/1185.81 c #Conflicts: 460000 | #Constraints: 30621
1182.65/1185.81 c INPROCESSING
1182.65/1185.81 c GARBAGE COLLECT
1182.65/1185.81 c #Conflicts: 461000 | #Constraints: 18214
1182.65/1185.81 c #Conflicts: 462000 | #Constraints: 19214
1182.65/1185.81 c #Conflicts: 463000 | #Constraints: 20214
1182.65/1185.81 c #Conflicts: 464000 | #Constraints: 21214
1182.65/1185.81 c #Conflicts: 465000 | #Constraints: 22214
1182.65/1185.81 c #Conflicts: 466000 | #Constraints: 23214
1182.65/1185.81 c #Conflicts: 467000 | #Constraints: 24214
1182.65/1185.81 c #Conflicts: 468000 | #Constraints: 25214
1182.65/1185.81 c #Conflicts: 469000 | #Constraints: 26214
1182.65/1185.81 c #Conflicts: 470000 | #Constraints: 27214
1182.65/1185.81 c #Conflicts: 471000 | #Constraints: 28214
1182.65/1185.81 c #Conflicts: 472000 | #Constraints: 29214
1182.65/1185.81 c #Conflicts: 473000 | #Constraints: 30214
1182.65/1185.81 c #Conflicts: 474000 | #Constraints: 31214
1182.65/1185.81 c INPROCESSING
1182.65/1185.81 c GARBAGE COLLECT
1182.65/1185.81 c #Conflicts: 475000 | #Constraints: 18612
1182.65/1185.81 c #Conflicts: 476000 | #Constraints: 19612
1182.65/1185.81 c #Conflicts: 477000 | #Constraints: 20612
1182.65/1185.81 c #Conflicts: 478000 | #Constraints: 21612
1182.65/1185.81 c #Conflicts: 479000 | #Constraints: 22612
1182.65/1185.81 c #Conflicts: 480000 | #Constraints: 23612
1182.65/1185.81 c #Conflicts: 481000 | #Constraints: 24612
1182.65/1185.81 c #Conflicts: 482000 | #Constraints: 25612
1182.65/1185.81 c #Conflicts: 483000 | #Constraints: 26612
1182.65/1185.81 c #Conflicts: 484000 | #Constraints: 27612
1182.65/1185.81 c #Conflicts: 485000 | #Constraints: 28612
1182.65/1185.81 c #Conflicts: 486000 | #Constraints: 29612
1182.65/1185.81 c #Conflicts: 487000 | #Constraints: 30612
1182.65/1185.81 c #Conflicts: 488000 | #Constraints: 31612
1182.65/1185.81 c INPROCESSING
1182.65/1185.81 c GARBAGE COLLECT
1182.65/1185.81 c #Conflicts: 489000 | #Constraints: 18820
1182.65/1185.81 c #Conflicts: 490000 | #Constraints: 19820
1182.65/1185.81 c #Conflicts: 491000 | #Constraints: 20820
1182.65/1185.81 c #Conflicts: 492000 | #Constraints: 21820
1182.65/1185.81 c #Conflicts: 493000 | #Constraints: 22820
1182.65/1185.81 c #Conflicts: 494000 | #Constraints: 23820
1182.65/1185.81 c #Conflicts: 495000 | #Constraints: 24820
1182.65/1185.81 c #Conflicts: 496000 | #Constraints: 25820
1182.65/1185.81 c #Conflicts: 497000 | #Constraints: 26820
1182.65/1185.81 c #Conflicts: 498000 | #Constraints: 27820
1182.65/1185.81 c #Conflicts: 499000 | #Constraints: 28820
1182.65/1185.81 c #Conflicts: 500000 | #Constraints: 29820
1182.65/1185.81 c #Conflicts: 501000 | #Constraints: 30820
1182.65/1185.81 c #Conflicts: 502000 | #Constraints: 31820
1182.65/1185.81 c INPROCESSING
1182.65/1185.81 c GARBAGE COLLECT
1182.65/1185.81 c #Conflicts: 503000 | #Constraints: 18825
1182.65/1185.81 c #Conflicts: 504000 | #Constraints: 19825
1182.65/1185.81 c #Conflicts: 505000 | #Constraints: 20825
1182.65/1185.81 c #Conflicts: 506000 | #Constraints: 21825
1182.65/1185.81 c #Conflicts: 507000 | #Constraints: 22825
1182.65/1185.81 c #Conflicts: 508000 | #Constraints: 23825
1182.65/1185.81 c #Conflicts: 509000 | #Constraints: 24825
1182.65/1185.81 c #Conflicts: 510000 | #Constraints: 25825
1182.65/1185.81 c #Conflicts: 511000 | #Constraints: 26825
1357.89/1361.59 c #Conflicts: 512000 | #Constraints: 27825
1357.89/1361.59 c #Conflicts: 513000 | #Constraints: 28825
1357.89/1361.59 c #Conflicts: 514000 | #Constraints: 29825
1357.89/1361.59 c #Conflicts: 515000 | #Constraints: 30825
1357.89/1361.59 c #Conflicts: 516000 | #Constraints: 31825
1357.89/1361.59 c INPROCESSING
1357.89/1361.59 c GARBAGE COLLECT
1357.89/1361.59 c #Conflicts: 517000 | #Constraints: 18624
1357.89/1361.59 c #Conflicts: 518000 | #Constraints: 19624
1357.89/1361.59 c #Conflicts: 519000 | #Constraints: 20624
1357.89/1361.59 c #Conflicts: 520000 | #Constraints: 21624
1357.89/1361.59 c #Conflicts: 521000 | #Constraints: 22624
1357.89/1361.59 c #Conflicts: 522000 | #Constraints: 23624
1357.89/1361.59 c #Conflicts: 523000 | #Constraints: 24624
1357.89/1361.59 c #Conflicts: 524000 | #Constraints: 25624
1357.89/1361.59 c #Conflicts: 525000 | #Constraints: 26624
1357.89/1361.59 c #Conflicts: 526000 | #Constraints: 27624
1357.89/1361.59 c #Conflicts: 527000 | #Constraints: 28624
1357.89/1361.59 c #Conflicts: 528000 | #Constraints: 29624
1357.89/1361.59 c #Conflicts: 529000 | #Constraints: 30624
1357.89/1361.59 c #Conflicts: 530000 | #Constraints: 31624
1357.89/1361.59 c #Conflicts: 531000 | #Constraints: 32624
1357.89/1361.59 c INPROCESSING
1357.89/1361.59 c GARBAGE COLLECT
1357.89/1361.59 c #Conflicts: 532000 | #Constraints: 19221
1357.89/1361.59 c #Conflicts: 533000 | #Constraints: 20221
1357.89/1361.59 c #Conflicts: 534000 | #Constraints: 21221
1357.89/1361.59 c #Conflicts: 535000 | #Constraints: 22221
1357.89/1361.59 c #Conflicts: 536000 | #Constraints: 23221
1357.89/1361.59 c #Conflicts: 537000 | #Constraints: 24221
1357.89/1361.59 c #Conflicts: 538000 | #Constraints: 25221
1357.89/1361.59 c #Conflicts: 539000 | #Constraints: 26221
1357.89/1361.59 c #Conflicts: 540000 | #Constraints: 27221
1357.89/1361.59 c #Conflicts: 541000 | #Constraints: 28221
1357.89/1361.59 c #Conflicts: 542000 | #Constraints: 29221
1357.89/1361.59 c #Conflicts: 543000 | #Constraints: 30221
1357.89/1361.59 c #Conflicts: 544000 | #Constraints: 31221
1357.89/1361.59 c #Conflicts: 545000 | #Constraints: 32221
1357.89/1361.59 c #Conflicts: 546000 | #Constraints: 33221
1357.89/1361.59 c INPROCESSING
1357.89/1361.59 c GARBAGE COLLECT
1357.89/1361.59 c #Conflicts: 547000 | #Constraints: 19613
1357.89/1361.59 c #Conflicts: 548000 | #Constraints: 20613
1357.89/1361.59 c #Conflicts: 549000 | #Constraints: 21613
1357.89/1361.59 c #Conflicts: 550000 | #Constraints: 22613
1357.89/1361.59 c #Conflicts: 551000 | #Constraints: 23613
1357.89/1361.59 c #Conflicts: 552000 | #Constraints: 24613
1357.89/1361.59 c #Conflicts: 553000 | #Constraints: 25613
1357.89/1361.59 c #Conflicts: 554000 | #Constraints: 26613
1357.89/1361.59 c #Conflicts: 555000 | #Constraints: 27613
1357.89/1361.59 c #Conflicts: 556000 | #Constraints: 28613
1357.89/1361.59 c #Conflicts: 557000 | #Constraints: 29613
1357.89/1361.59 c #Conflicts: 558000 | #Constraints: 30613
1357.89/1361.59 c #Conflicts: 559000 | #Constraints: 31613
1357.89/1361.59 c #Conflicts: 560000 | #Constraints: 32613
1357.89/1361.59 c #Conflicts: 561000 | #Constraints: 33613
1357.89/1361.59 c INPROCESSING
1357.89/1361.59 c GARBAGE COLLECT
1357.89/1361.59 c #Conflicts: 562000 | #Constraints: 19815
1357.89/1361.59 c #Conflicts: 563000 | #Constraints: 20815
1357.89/1361.59 c #Conflicts: 564000 | #Constraints: 21815
1357.89/1361.59 c #Conflicts: 565000 | #Constraints: 22815
1357.89/1361.59 c #Conflicts: 566000 | #Constraints: 23815
1357.89/1361.59 c #Conflicts: 567000 | #Constraints: 24815
1357.89/1361.59 c #Conflicts: 568000 | #Constraints: 25815
1357.89/1361.59 c #Conflicts: 569000 | #Constraints: 26815
1357.89/1361.59 c #Conflicts: 570000 | #Constraints: 27815
1357.89/1361.59 c #Conflicts: 571000 | #Constraints: 28815
1357.89/1361.59 c #Conflicts: 572000 | #Constraints: 29815
1357.89/1361.59 c #Conflicts: 573000 | #Constraints: 30815
1357.89/1361.59 c #Conflicts: 574000 | #Constraints: 31815
1357.89/1361.59 c #Conflicts: 575000 | #Constraints: 32815
1357.89/1361.59 c #Conflicts: 576000 | #Constraints: 33815
1357.89/1361.59 c INPROCESSING
1357.89/1361.59 c GARBAGE COLLECT
1357.89/1361.59 c #Conflicts: 577000 | #Constraints: 19808
1357.89/1361.59 c #Conflicts: 578000 | #Constraints: 20808
1357.89/1361.59 c #Conflicts: 579000 | #Constraints: 21808
1357.89/1361.59 c #Conflicts: 580000 | #Constraints: 22808
1357.89/1361.59 c #Conflicts: 581000 | #Constraints: 23808
1357.89/1361.59 c #Conflicts: 582000 | #Constraints: 24808
1357.89/1361.59 c #Conflicts: 583000 | #Constraints: 25808
1357.89/1361.59 c #Conflicts: 584000 | #Constraints: 26808
1357.89/1361.59 c #Conflicts: 585000 | #Constraints: 27808
1357.89/1361.59 c #Conflicts: 586000 | #Constraints: 28808
1357.89/1361.59 c #Conflicts: 587000 | #Constraints: 29808
1587.37/1591.62 c #Conflicts: 588000 | #Constraints: 30808
1587.37/1591.62 c #Conflicts: 589000 | #Constraints: 31808
1587.37/1591.62 c #Conflicts: 590000 | #Constraints: 32808
1587.37/1591.62 c #Conflicts: 591000 | #Constraints: 33808
1587.37/1591.62 c INPROCESSING
1587.37/1591.62 c GARBAGE COLLECT
1587.37/1591.62 c #Conflicts: 592000 | #Constraints: 19606
1587.37/1591.62 c #Conflicts: 593000 | #Constraints: 20606
1587.37/1591.62 c #Conflicts: 594000 | #Constraints: 21606
1587.37/1591.62 c #Conflicts: 595000 | #Constraints: 22606
1587.37/1591.62 c #Conflicts: 596000 | #Constraints: 23606
1587.37/1591.62 c #Conflicts: 597000 | #Constraints: 24606
1587.37/1591.62 c #Conflicts: 598000 | #Constraints: 25606
1587.37/1591.62 c #Conflicts: 599000 | #Constraints: 26606
1587.37/1591.62 c #Conflicts: 600000 | #Constraints: 27606
1587.37/1591.62 c #Conflicts: 601000 | #Constraints: 28606
1587.37/1591.62 c #Conflicts: 602000 | #Constraints: 29606
1587.37/1591.62 c #Conflicts: 603000 | #Constraints: 30606
1587.37/1591.62 c #Conflicts: 604000 | #Constraints: 31606
1587.37/1591.62 c #Conflicts: 605000 | #Constraints: 32606
1587.37/1591.62 c #Conflicts: 606000 | #Constraints: 33606
1587.37/1591.62 c #Conflicts: 607000 | #Constraints: 34606
1587.37/1591.62 c INPROCESSING
1587.37/1591.62 c GARBAGE COLLECT
1587.37/1591.62 c #Conflicts: 608000 | #Constraints: 20209
1587.37/1591.62 c #Conflicts: 609000 | #Constraints: 21209
1587.37/1591.62 c #Conflicts: 610000 | #Constraints: 22209
1587.37/1591.62 c #Conflicts: 611000 | #Constraints: 23209
1587.37/1591.62 c #Conflicts: 612000 | #Constraints: 24209
1587.37/1591.62 c #Conflicts: 613000 | #Constraints: 25209
1587.37/1591.62 c #Conflicts: 614000 | #Constraints: 26209
1587.37/1591.62 c #Conflicts: 615000 | #Constraints: 27209
1587.37/1591.62 c #Conflicts: 616000 | #Constraints: 28209
1587.37/1591.62 c #Conflicts: 617000 | #Constraints: 29209
1587.37/1591.62 c #Conflicts: 618000 | #Constraints: 30209
1587.37/1591.62 c #Conflicts: 619000 | #Constraints: 31209
1587.37/1591.62 c #Conflicts: 620000 | #Constraints: 32209
1587.37/1591.62 c #Conflicts: 621000 | #Constraints: 33209
1587.37/1591.62 c #Conflicts: 622000 | #Constraints: 34209
1587.37/1591.62 c #Conflicts: 623000 | #Constraints: 35209
1587.37/1591.62 c INPROCESSING
1587.37/1591.62 c GARBAGE COLLECT
1587.37/1591.62 c #Conflicts: 624000 | #Constraints: 20609
1587.37/1591.62 c #Conflicts: 625000 | #Constraints: 21609
1587.37/1591.62 c #Conflicts: 626000 | #Constraints: 22609
1587.37/1591.62 c #Conflicts: 627000 | #Constraints: 23609
1587.37/1591.62 c #Conflicts: 628000 | #Constraints: 24609
1587.37/1591.62 c #Conflicts: 629000 | #Constraints: 25609
1587.37/1591.62 c #Conflicts: 630000 | #Constraints: 26609
1587.37/1591.62 c #Conflicts: 631000 | #Constraints: 27609
1587.37/1591.62 c #Conflicts: 632000 | #Constraints: 28609
1587.37/1591.62 c #Conflicts: 633000 | #Constraints: 29609
1587.37/1591.62 c #Conflicts: 634000 | #Constraints: 30609
1587.37/1591.62 c #Conflicts: 635000 | #Constraints: 31609
1587.37/1591.62 c #Conflicts: 636000 | #Constraints: 32609
1587.37/1591.62 c #Conflicts: 637000 | #Constraints: 33609
1587.37/1591.62 c #Conflicts: 638000 | #Constraints: 34609
1587.37/1591.62 c #Conflicts: 639000 | #Constraints: 35609
1587.37/1591.62 c INPROCESSING
1587.37/1591.62 c GARBAGE COLLECT
1587.37/1591.62 c #Conflicts: 640000 | #Constraints: 20803
1587.37/1591.62 c #Conflicts: 641000 | #Constraints: 21803
1587.37/1591.62 c #Conflicts: 642000 | #Constraints: 22803
1587.37/1591.62 c #Conflicts: 643000 | #Constraints: 23803
1587.37/1591.62 c #Conflicts: 644000 | #Constraints: 24803
1587.37/1591.62 c #Conflicts: 645000 | #Constraints: 25803
1587.37/1591.62 c #Conflicts: 646000 | #Constraints: 26803
1587.37/1591.62 c #Conflicts: 647000 | #Constraints: 27803
1587.37/1591.62 c #Conflicts: 648000 | #Constraints: 28803
1587.37/1591.62 c #Conflicts: 649000 | #Constraints: 29803
1587.37/1591.62 c #Conflicts: 650000 | #Constraints: 30803
1587.37/1591.62 c #Conflicts: 651000 | #Constraints: 31803
1587.37/1591.62 c #Conflicts: 652000 | #Constraints: 32803
1587.37/1591.62 c #Conflicts: 653000 | #Constraints: 33803
1587.37/1591.62 c #Conflicts: 654000 | #Constraints: 34803
1587.37/1591.62 c #Conflicts: 655000 | #Constraints: 35803
1587.37/1591.62 c INPROCESSING
1587.37/1591.62 c GARBAGE COLLECT
1587.37/1591.62 c #Conflicts: 656000 | #Constraints: 20809
1587.37/1591.62 c #Conflicts: 657000 | #Constraints: 21809
1587.37/1591.62 c #Conflicts: 658000 | #Constraints: 22809
1587.37/1591.62 c #Conflicts: 659000 | #Constraints: 23809
1587.37/1591.62 c #Conflicts: 660000 | #Constraints: 24809
1587.37/1591.62 c #Conflicts: 661000 | #Constraints: 25809
1587.37/1591.62 c #Conflicts: 662000 | #Constraints: 26809
1587.37/1591.62 c #Conflicts: 663000 | #Constraints: 27809
1839.76/1844.71 c #Conflicts: 664000 | #Constraints: 28809
1839.76/1844.71 c #Conflicts: 665000 | #Constraints: 29809
1839.76/1844.71 c #Conflicts: 666000 | #Constraints: 30809
1839.76/1844.71 c #Conflicts: 667000 | #Constraints: 31809
1839.76/1844.71 c #Conflicts: 668000 | #Constraints: 32809
1839.76/1844.71 c #Conflicts: 669000 | #Constraints: 33809
1839.76/1844.71 c #Conflicts: 670000 | #Constraints: 34809
1839.76/1844.71 c #Conflicts: 671000 | #Constraints: 35809
1839.76/1844.71 c INPROCESSING
1839.76/1844.71 c GARBAGE COLLECT
1839.76/1844.71 c #Conflicts: 672000 | #Constraints: 20607
1839.76/1844.71 c #Conflicts: 673000 | #Constraints: 21607
1839.76/1844.71 c #Conflicts: 674000 | #Constraints: 22607
1839.76/1844.71 c #Conflicts: 675000 | #Constraints: 23607
1839.76/1844.71 c #Conflicts: 676000 | #Constraints: 24607
1839.76/1844.71 c #Conflicts: 677000 | #Constraints: 25607
1839.76/1844.71 c #Conflicts: 678000 | #Constraints: 26607
1839.76/1844.71 c #Conflicts: 679000 | #Constraints: 27607
1839.76/1844.71 c #Conflicts: 680000 | #Constraints: 28607
1839.76/1844.71 c #Conflicts: 681000 | #Constraints: 29607
1839.76/1844.71 c #Conflicts: 682000 | #Constraints: 30607
1839.76/1844.71 c #Conflicts: 683000 | #Constraints: 31607
1839.76/1844.71 c #Conflicts: 684000 | #Constraints: 32607
1839.76/1844.71 c #Conflicts: 685000 | #Constraints: 33607
1839.76/1844.71 c #Conflicts: 686000 | #Constraints: 34607
1839.76/1844.71 c #Conflicts: 687000 | #Constraints: 35607
1839.76/1844.71 c #Conflicts: 688000 | #Constraints: 36607
1839.76/1844.71 c INPROCESSING
1839.76/1844.71 c GARBAGE COLLECT
1839.76/1844.71 c #Conflicts: 689000 | #Constraints: 21208
1839.76/1844.71 c #Conflicts: 690000 | #Constraints: 22208
1839.76/1844.71 c #Conflicts: 691000 | #Constraints: 23208
1839.76/1844.71 c #Conflicts: 692000 | #Constraints: 24208
1839.76/1844.71 c #Conflicts: 693000 | #Constraints: 25208
1839.76/1844.71 c #Conflicts: 694000 | #Constraints: 26208
1839.76/1844.71 c #Conflicts: 695000 | #Constraints: 27208
1839.76/1844.71 c #Conflicts: 696000 | #Constraints: 28208
1839.76/1844.71 c #Conflicts: 697000 | #Constraints: 29208
1839.76/1844.71 c #Conflicts: 698000 | #Constraints: 30208
1839.76/1844.71 c #Conflicts: 699000 | #Constraints: 31208
1839.76/1844.71 c #Conflicts: 700000 | #Constraints: 32208
1839.76/1844.71 c #Conflicts: 701000 | #Constraints: 33208
1839.76/1844.71 c #Conflicts: 702000 | #Constraints: 34208
1839.76/1844.71 c #Conflicts: 703000 | #Constraints: 35208
1839.76/1844.71 c #Conflicts: 704000 | #Constraints: 36208
1839.76/1844.71 c #Conflicts: 705000 | #Constraints: 37208
1839.76/1844.71 c INPROCESSING
1839.76/1844.71 c GARBAGE COLLECT
1839.76/1844.71 c #Conflicts: 706000 | #Constraints: 21605
1839.76/1844.71 c #Conflicts: 707000 | #Constraints: 22605
1839.76/1844.71 c #Conflicts: 708000 | #Constraints: 23605
1839.76/1844.71 c #Conflicts: 709000 | #Constraints: 24605
1839.76/1844.71 c #Conflicts: 710000 | #Constraints: 25605
1839.76/1844.71 c #Conflicts: 711000 | #Constraints: 26605
1839.76/1844.71 c #Conflicts: 712000 | #Constraints: 27605
1839.76/1844.71 c #Conflicts: 713000 | #Constraints: 28605
1839.76/1844.71 c #Conflicts: 714000 | #Constraints: 29605
1839.76/1844.71 c #Conflicts: 715000 | #Constraints: 30605
1839.76/1844.71 c #Conflicts: 716000 | #Constraints: 31605
1839.76/1844.71 c #Conflicts: 717000 | #Constraints: 32605
1839.76/1844.71 c #Conflicts: 718000 | #Constraints: 33605
1839.76/1844.71 c #Conflicts: 719000 | #Constraints: 34605
1839.76/1844.71 c #Conflicts: 720000 | #Constraints: 35605
1839.76/1844.71 c #Conflicts: 721000 | #Constraints: 36605
1839.76/1844.71 c #Conflicts: 722000 | #Constraints: 37605
1839.76/1844.71 c INPROCESSING
1839.76/1844.71 c GARBAGE COLLECT
1839.76/1844.71 c #Conflicts: 723000 | #Constraints: 21805
1839.76/1844.71 c #Conflicts: 724000 | #Constraints: 22805
1839.76/1844.71 c #Conflicts: 725000 | #Constraints: 23805
1839.76/1844.71 c #Conflicts: 726000 | #Constraints: 24805
1839.76/1844.71 c #Conflicts: 727000 | #Constraints: 25805
1839.76/1844.71 c #Conflicts: 728000 | #Constraints: 26805
1839.76/1844.71 c #Conflicts: 729000 | #Constraints: 27805
1839.76/1844.71 c #Conflicts: 730000 | #Constraints: 28805
1839.76/1844.71 c #Conflicts: 731000 | #Constraints: 29805
1839.76/1844.71 c #Conflicts: 732000 | #Constraints: 30805
1839.76/1844.71 c #Conflicts: 733000 | #Constraints: 31805
1839.76/1844.71 c #Conflicts: 734000 | #Constraints: 32805
1839.76/1844.71 c #Conflicts: 735000 | #Constraints: 33805
1839.76/1844.71 c #Conflicts: 736000 | #Constraints: 34805
1839.76/1844.71 c #Conflicts: 737000 | #Constraints: 35805
1839.76/1844.71 c #Conflicts: 738000 | #Constraints: 36805
1839.76/1844.71 c #Conflicts: 739000 | #Constraints: 37805
2080.70/2086.33 c INPROCESSING
2080.70/2086.33 c GARBAGE COLLECT
2080.70/2086.33 c #Conflicts: 740000 | #Constraints: 21810
2080.70/2086.33 c #Conflicts: 741000 | #Constraints: 22810
2080.70/2086.33 c #Conflicts: 742000 | #Constraints: 23810
2080.70/2086.33 c #Conflicts: 743000 | #Constraints: 24810
2080.70/2086.33 c #Conflicts: 744000 | #Constraints: 25810
2080.70/2086.33 c #Conflicts: 745000 | #Constraints: 26810
2080.70/2086.33 c #Conflicts: 746000 | #Constraints: 27810
2080.70/2086.33 c #Conflicts: 747000 | #Constraints: 28810
2080.70/2086.33 c #Conflicts: 748000 | #Constraints: 29810
2080.70/2086.33 c #Conflicts: 749000 | #Constraints: 30810
2080.70/2086.33 c #Conflicts: 750000 | #Constraints: 31810
2080.70/2086.33 c #Conflicts: 751000 | #Constraints: 32810
2080.70/2086.33 c #Conflicts: 752000 | #Constraints: 33810
2080.70/2086.33 c #Conflicts: 753000 | #Constraints: 34810
2080.70/2086.33 c #Conflicts: 754000 | #Constraints: 35810
2080.70/2086.33 c #Conflicts: 755000 | #Constraints: 36810
2080.70/2086.33 c #Conflicts: 756000 | #Constraints: 37810
2080.70/2086.33 c INPROCESSING
2080.70/2086.33 c GARBAGE COLLECT
2080.70/2086.33 c #Conflicts: 757000 | #Constraints: 21606
2080.70/2086.33 c #Conflicts: 758000 | #Constraints: 22606
2080.70/2086.33 c #Conflicts: 759000 | #Constraints: 23606
2080.70/2086.33 c #Conflicts: 760000 | #Constraints: 24606
2080.70/2086.33 c #Conflicts: 761000 | #Constraints: 25606
2080.70/2086.33 c #Conflicts: 762000 | #Constraints: 26606
2080.70/2086.33 c #Conflicts: 763000 | #Constraints: 27606
2080.70/2086.33 c #Conflicts: 764000 | #Constraints: 28606
2080.70/2086.33 c #Conflicts: 765000 | #Constraints: 29606
2080.70/2086.33 c #Conflicts: 766000 | #Constraints: 30606
2080.70/2086.33 c #Conflicts: 767000 | #Constraints: 31606
2080.70/2086.33 c #Conflicts: 768000 | #Constraints: 32606
2080.70/2086.33 c #Conflicts: 769000 | #Constraints: 33606
2080.70/2086.33 c #Conflicts: 770000 | #Constraints: 34606
2080.70/2086.33 c #Conflicts: 771000 | #Constraints: 35606
2080.70/2086.33 c #Conflicts: 772000 | #Constraints: 36606
2080.70/2086.33 c #Conflicts: 773000 | #Constraints: 37606
2080.70/2086.33 c #Conflicts: 774000 | #Constraints: 38606
2080.70/2086.33 c INPROCESSING
2080.70/2086.33 c GARBAGE COLLECT
2080.70/2086.33 c #Conflicts: 775000 | #Constraints: 22207
2080.70/2086.33 c #Conflicts: 776000 | #Constraints: 23207
2080.70/2086.33 c #Conflicts: 777000 | #Constraints: 24207
2080.70/2086.33 c #Conflicts: 778000 | #Constraints: 25207
2080.70/2086.33 c #Conflicts: 779000 | #Constraints: 26207
2080.70/2086.33 c #Conflicts: 780000 | #Constraints: 27207
2080.70/2086.33 c #Conflicts: 781000 | #Constraints: 28207
2080.70/2086.33 c #Conflicts: 782000 | #Constraints: 29207
2080.70/2086.33 c #Conflicts: 783000 | #Constraints: 30207
2080.70/2086.33 c #Conflicts: 784000 | #Constraints: 31207
2080.70/2086.33 c #Conflicts: 785000 | #Constraints: 32207
2080.70/2086.33 c #Conflicts: 786000 | #Constraints: 33207
2080.70/2086.33 c #Conflicts: 787000 | #Constraints: 34207
2080.70/2086.33 c #Conflicts: 788000 | #Constraints: 35207
2080.70/2086.33 c #Conflicts: 789000 | #Constraints: 36207
2080.70/2086.33 c #Conflicts: 790000 | #Constraints: 37207
2080.70/2086.33 c #Conflicts: 791000 | #Constraints: 38207
2080.70/2086.33 c #Conflicts: 792000 | #Constraints: 39207
2080.70/2086.33 c INPROCESSING
2080.70/2086.33 c GARBAGE COLLECT
2080.70/2086.33 c #Conflicts: 793000 | #Constraints: 22606
2080.70/2086.33 c #Conflicts: 794000 | #Constraints: 23606
2080.70/2086.33 c #Conflicts: 795000 | #Constraints: 24606
2080.70/2086.33 c #Conflicts: 796000 | #Constraints: 25606
2080.70/2086.33 c #Conflicts: 797000 | #Constraints: 26606
2080.70/2086.33 c #Conflicts: 798000 | #Constraints: 27606
2080.70/2086.33 c #Conflicts: 799000 | #Constraints: 28606
2080.70/2086.33 c #Conflicts: 800000 | #Constraints: 29606
2080.70/2086.33 c #Conflicts: 801000 | #Constraints: 30606
2080.70/2086.33 c #Conflicts: 802000 | #Constraints: 31606
2080.70/2086.33 c #Conflicts: 803000 | #Constraints: 32606
2080.70/2086.33 c #Conflicts: 804000 | #Constraints: 33606
2080.70/2086.33 c #Conflicts: 805000 | #Constraints: 34606
2080.70/2086.33 c #Conflicts: 806000 | #Constraints: 35606
2080.70/2086.33 c #Conflicts: 807000 | #Constraints: 36606
2080.70/2086.33 c #Conflicts: 808000 | #Constraints: 37606
2080.70/2086.33 c #Conflicts: 809000 | #Constraints: 38606
2080.70/2086.33 c #Conflicts: 810000 | #Constraints: 39606
2080.70/2086.33 c INPROCESSING
2080.70/2086.33 c GARBAGE COLLECT
2080.70/2086.33 c #Conflicts: 811000 | #Constraints: 22808
2080.70/2086.33 c #Conflicts: 812000 | #Constraints: 23808
2080.70/2086.33 c #Conflicts: 813000 | #Constraints: 24808
2080.70/2086.33 c #Conflicts: 814000 | #Constraints: 25808
2330.62/2336.93 c #Conflicts: 815000 | #Constraints: 26808
2330.62/2336.93 c #Conflicts: 816000 | #Constraints: 27808
2330.62/2336.93 c #Conflicts: 817000 | #Constraints: 28808
2330.62/2336.93 c #Conflicts: 818000 | #Constraints: 29808
2330.62/2336.93 c #Conflicts: 819000 | #Constraints: 30808
2330.62/2336.93 c #Conflicts: 820000 | #Constraints: 31808
2330.62/2336.93 c #Conflicts: 821000 | #Constraints: 32808
2330.62/2336.93 c #Conflicts: 822000 | #Constraints: 33808
2330.62/2336.93 c #Conflicts: 823000 | #Constraints: 34808
2330.62/2336.93 c #Conflicts: 824000 | #Constraints: 35808
2330.62/2336.93 c #Conflicts: 825000 | #Constraints: 36808
2330.62/2336.93 c #Conflicts: 826000 | #Constraints: 37808
2330.62/2336.93 c #Conflicts: 827000 | #Constraints: 38808
2330.62/2336.93 c #Conflicts: 828000 | #Constraints: 39808
2330.62/2336.93 c INPROCESSING
2330.62/2336.93 c GARBAGE COLLECT
2330.62/2336.93 c #Conflicts: 829000 | #Constraints: 22806
2330.62/2336.93 c #Conflicts: 830000 | #Constraints: 23806
2330.62/2336.93 c #Conflicts: 831000 | #Constraints: 24806
2330.62/2336.93 c #Conflicts: 832000 | #Constraints: 25806
2330.62/2336.93 c #Conflicts: 833000 | #Constraints: 26806
2330.62/2336.93 c #Conflicts: 834000 | #Constraints: 27806
2330.62/2336.93 c #Conflicts: 835000 | #Constraints: 28806
2330.62/2336.93 c #Conflicts: 836000 | #Constraints: 29806
2330.62/2336.93 c #Conflicts: 837000 | #Constraints: 30806
2330.62/2336.93 c #Conflicts: 838000 | #Constraints: 31806
2330.62/2336.93 c #Conflicts: 839000 | #Constraints: 32806
2330.62/2336.93 c #Conflicts: 840000 | #Constraints: 33806
2330.62/2336.93 c #Conflicts: 841000 | #Constraints: 34806
2330.62/2336.93 c #Conflicts: 842000 | #Constraints: 35806
2330.62/2336.93 c #Conflicts: 843000 | #Constraints: 36806
2330.62/2336.93 c #Conflicts: 844000 | #Constraints: 37806
2330.62/2336.93 c #Conflicts: 845000 | #Constraints: 38806
2330.62/2336.93 c #Conflicts: 846000 | #Constraints: 39806
2330.62/2336.93 c INPROCESSING
2330.62/2336.93 c GARBAGE COLLECT
2330.62/2336.93 c #Conflicts: 847000 | #Constraints: 22598
2330.62/2336.93 c #Conflicts: 848000 | #Constraints: 23598
2330.62/2336.93 c #Conflicts: 849000 | #Constraints: 24598
2330.62/2336.93 c #Conflicts: 850000 | #Constraints: 25598
2330.62/2336.93 c #Conflicts: 851000 | #Constraints: 26598
2330.62/2336.93 c #Conflicts: 852000 | #Constraints: 27598
2330.62/2336.93 c #Conflicts: 853000 | #Constraints: 28598
2330.62/2336.93 c #Conflicts: 854000 | #Constraints: 29598
2330.62/2336.93 c #Conflicts: 855000 | #Constraints: 30598
2330.62/2336.93 c #Conflicts: 856000 | #Constraints: 31598
2330.62/2336.93 c #Conflicts: 857000 | #Constraints: 32598
2330.62/2336.93 c #Conflicts: 858000 | #Constraints: 33598
2330.62/2336.93 c #Conflicts: 859000 | #Constraints: 34598
2330.62/2336.93 c #Conflicts: 860000 | #Constraints: 35598
2330.62/2336.93 c #Conflicts: 861000 | #Constraints: 36598
2330.62/2336.93 c #Conflicts: 862000 | #Constraints: 37598
2330.62/2336.93 c #Conflicts: 863000 | #Constraints: 38598
2330.62/2336.93 c #Conflicts: 864000 | #Constraints: 39598
2330.62/2336.93 c #Conflicts: 865000 | #Constraints: 40598
2330.62/2336.93 c INPROCESSING
2330.62/2336.93 c GARBAGE COLLECT
2330.62/2336.93 c #Conflicts: 866000 | #Constraints: 23197
2330.62/2336.93 c #Conflicts: 867000 | #Constraints: 24197
2330.62/2336.93 c #Conflicts: 868000 | #Constraints: 25197
2330.62/2336.93 c #Conflicts: 869000 | #Constraints: 26197
2330.62/2336.93 c #Conflicts: 870000 | #Constraints: 27197
2330.62/2336.93 c #Conflicts: 871000 | #Constraints: 28197
2330.62/2336.93 c #Conflicts: 872000 | #Constraints: 29197
2330.62/2336.93 c #Conflicts: 873000 | #Constraints: 30197
2330.62/2336.93 c #Conflicts: 874000 | #Constraints: 31197
2330.62/2336.93 c #Conflicts: 875000 | #Constraints: 32197
2330.62/2336.93 c #Conflicts: 876000 | #Constraints: 33197
2330.62/2336.93 c #Conflicts: 877000 | #Constraints: 34197
2330.62/2336.93 c #Conflicts: 878000 | #Constraints: 35197
2330.62/2336.93 c #Conflicts: 879000 | #Constraints: 36197
2330.62/2336.93 c #Conflicts: 880000 | #Constraints: 37197
2330.62/2336.93 c #Conflicts: 881000 | #Constraints: 38197
2330.62/2336.93 c #Conflicts: 882000 | #Constraints: 39197
2330.62/2336.93 c #Conflicts: 883000 | #Constraints: 40197
2330.62/2336.93 c #Conflicts: 884000 | #Constraints: 41197
2330.62/2336.93 c INPROCESSING
2330.62/2336.93 c GARBAGE COLLECT
2330.62/2336.93 c #Conflicts: 885000 | #Constraints: 23605
2330.62/2336.93 c #Conflicts: 886000 | #Constraints: 24605
2330.62/2336.93 c #Conflicts: 887000 | #Constraints: 25605
2330.62/2336.93 c #Conflicts: 888000 | #Constraints: 26605
2330.62/2336.93 c #Conflicts: 889000 | #Constraints: 27605
2330.62/2336.93 c #Conflicts: 890000 | #Constraints: 28605
2330.62/2336.93 c #Conflicts: 891000 | #Constraints: 29605
2599.56/2606.69 c #Conflicts: 892000 | #Constraints: 30605
2599.56/2606.69 c #Conflicts: 893000 | #Constraints: 31605
2599.56/2606.69 c #Conflicts: 894000 | #Constraints: 32605
2599.56/2606.69 c #Conflicts: 895000 | #Constraints: 33605
2599.56/2606.69 c #Conflicts: 896000 | #Constraints: 34605
2599.56/2606.69 c #Conflicts: 897000 | #Constraints: 35605
2599.56/2606.69 c #Conflicts: 898000 | #Constraints: 36605
2599.56/2606.69 c #Conflicts: 899000 | #Constraints: 37605
2599.56/2606.69 c #Conflicts: 900000 | #Constraints: 38605
2599.56/2606.69 c #Conflicts: 901000 | #Constraints: 39605
2599.56/2606.69 c #Conflicts: 902000 | #Constraints: 40605
2599.56/2606.69 c #Conflicts: 903000 | #Constraints: 41605
2599.56/2606.69 c INPROCESSING
2599.56/2606.69 c GARBAGE COLLECT
2599.56/2606.69 c #Conflicts: 904000 | #Constraints: 23808
2599.56/2606.69 c #Conflicts: 905000 | #Constraints: 24808
2599.56/2606.69 c #Conflicts: 906000 | #Constraints: 25808
2599.56/2606.69 c #Conflicts: 907000 | #Constraints: 26808
2599.56/2606.69 c #Conflicts: 908000 | #Constraints: 27808
2599.56/2606.69 c #Conflicts: 909000 | #Constraints: 28808
2599.56/2606.69 c #Conflicts: 910000 | #Constraints: 29808
2599.56/2606.69 c #Conflicts: 911000 | #Constraints: 30808
2599.56/2606.69 c #Conflicts: 912000 | #Constraints: 31808
2599.56/2606.69 c #Conflicts: 913000 | #Constraints: 32808
2599.56/2606.69 c #Conflicts: 914000 | #Constraints: 33808
2599.56/2606.69 c #Conflicts: 915000 | #Constraints: 34808
2599.56/2606.69 c #Conflicts: 916000 | #Constraints: 35808
2599.56/2606.69 c #Conflicts: 917000 | #Constraints: 36808
2599.56/2606.69 c #Conflicts: 918000 | #Constraints: 37808
2599.56/2606.69 c #Conflicts: 919000 | #Constraints: 38808
2599.56/2606.69 c #Conflicts: 920000 | #Constraints: 39808
2599.56/2606.69 c #Conflicts: 921000 | #Constraints: 40808
2599.56/2606.69 c #Conflicts: 922000 | #Constraints: 41808
2599.56/2606.69 c INPROCESSING
2599.56/2606.69 c GARBAGE COLLECT
2599.56/2606.69 c #Conflicts: 923000 | #Constraints: 23810
2599.56/2606.69 c #Conflicts: 924000 | #Constraints: 24810
2599.56/2606.69 c #Conflicts: 925000 | #Constraints: 25810
2599.56/2606.69 c #Conflicts: 926000 | #Constraints: 26810
2599.56/2606.69 c #Conflicts: 927000 | #Constraints: 27810
2599.56/2606.69 c #Conflicts: 928000 | #Constraints: 28810
2599.56/2606.69 c #Conflicts: 929000 | #Constraints: 29810
2599.56/2606.69 c #Conflicts: 930000 | #Constraints: 30810
2599.56/2606.69 c #Conflicts: 931000 | #Constraints: 31810
2599.56/2606.69 c #Conflicts: 932000 | #Constraints: 32810
2599.56/2606.69 c #Conflicts: 933000 | #Constraints: 33810
2599.56/2606.69 c #Conflicts: 934000 | #Constraints: 34810
2599.56/2606.69 c #Conflicts: 935000 | #Constraints: 35810
2599.56/2606.69 c #Conflicts: 936000 | #Constraints: 36810
2599.56/2606.69 c #Conflicts: 937000 | #Constraints: 37810
2599.56/2606.69 c #Conflicts: 938000 | #Constraints: 38810
2599.56/2606.69 c #Conflicts: 939000 | #Constraints: 39810
2599.56/2606.69 c #Conflicts: 940000 | #Constraints: 40810
2599.56/2606.69 c #Conflicts: 941000 | #Constraints: 41810
2599.56/2606.69 c INPROCESSING
2599.56/2606.69 c GARBAGE COLLECT
2599.56/2606.69 c #Conflicts: 942000 | #Constraints: 23606
2599.56/2606.69 c #Conflicts: 943000 | #Constraints: 24606
2599.56/2606.69 c #Conflicts: 944000 | #Constraints: 25606
2599.56/2606.69 c #Conflicts: 945000 | #Constraints: 26606
2599.56/2606.69 c #Conflicts: 946000 | #Constraints: 27606
2599.56/2606.69 c #Conflicts: 947000 | #Constraints: 28606
2599.56/2606.69 c #Conflicts: 948000 | #Constraints: 29606
2599.56/2606.69 c #Conflicts: 949000 | #Constraints: 30606
2599.56/2606.69 c #Conflicts: 950000 | #Constraints: 31606
2599.56/2606.69 c #Conflicts: 951000 | #Constraints: 32606
2599.56/2606.69 c #Conflicts: 952000 | #Constraints: 33606
2599.56/2606.69 c #Conflicts: 953000 | #Constraints: 34606
2599.56/2606.69 c #Conflicts: 954000 | #Constraints: 35606
2599.56/2606.69 c #Conflicts: 955000 | #Constraints: 36606
2599.56/2606.69 c #Conflicts: 956000 | #Constraints: 37606
2599.56/2606.69 c #Conflicts: 957000 | #Constraints: 38606
2599.56/2606.69 c #Conflicts: 958000 | #Constraints: 39606
2599.56/2606.69 c #Conflicts: 959000 | #Constraints: 40606
2599.56/2606.69 c #Conflicts: 960000 | #Constraints: 41606
2599.56/2606.69 c #Conflicts: 961000 | #Constraints: 42606
2599.56/2606.69 c INPROCESSING
2599.56/2606.69 c GARBAGE COLLECT
2599.56/2606.69 c #Conflicts: 962000 | #Constraints: 24207
2599.56/2606.69 c #Conflicts: 963000 | #Constraints: 25207
2599.56/2606.69 c #Conflicts: 964000 | #Constraints: 26207
2599.56/2606.69 c #Conflicts: 965000 | #Constraints: 27207
2599.56/2606.69 c #Conflicts: 966000 | #Constraints: 28207
2599.56/2606.69 c #Conflicts: 967000 | #Constraints: 29207
2827.75/2835.45 c #Conflicts: 968000 | #Constraints: 30207
2827.75/2835.45 c #Conflicts: 969000 | #Constraints: 31207
2827.75/2835.45 c #Conflicts: 970000 | #Constraints: 32207
2827.75/2835.45 c #Conflicts: 971000 | #Constraints: 33207
2827.75/2835.45 c #Conflicts: 972000 | #Constraints: 34207
2827.75/2835.45 c #Conflicts: 973000 | #Constraints: 35207
2827.75/2835.45 c #Conflicts: 974000 | #Constraints: 36207
2827.75/2835.45 c #Conflicts: 975000 | #Constraints: 37207
2827.75/2835.45 c #Conflicts: 976000 | #Constraints: 38207
2827.75/2835.45 c #Conflicts: 977000 | #Constraints: 39207
2827.75/2835.45 c #Conflicts: 978000 | #Constraints: 40207
2827.75/2835.45 c #Conflicts: 979000 | #Constraints: 41207
2827.75/2835.45 c #Conflicts: 980000 | #Constraints: 42207
2827.75/2835.45 c #Conflicts: 981000 | #Constraints: 43207
2827.75/2835.45 c INPROCESSING
2827.75/2835.45 c GARBAGE COLLECT
2827.75/2835.45 c #Conflicts: 982000 | #Constraints: 24611
2827.75/2835.45 c #Conflicts: 983000 | #Constraints: 25611
2827.75/2835.45 c #Conflicts: 984000 | #Constraints: 26611
2827.75/2835.45 c #Conflicts: 985000 | #Constraints: 27611
2827.75/2835.45 c #Conflicts: 986000 | #Constraints: 28611
2827.75/2835.45 c #Conflicts: 987000 | #Constraints: 29611
2827.75/2835.45 c #Conflicts: 988000 | #Constraints: 30611
2827.75/2835.45 c #Conflicts: 989000 | #Constraints: 31611
2827.75/2835.45 c #Conflicts: 990000 | #Constraints: 32611
2827.75/2835.45 c #Conflicts: 991000 | #Constraints: 33611
2827.75/2835.45 c #Conflicts: 992000 | #Constraints: 34611
2827.75/2835.45 c #Conflicts: 993000 | #Constraints: 35611
2827.75/2835.45 c #Conflicts: 994000 | #Constraints: 36611
2827.75/2835.45 c #Conflicts: 995000 | #Constraints: 37611
2827.75/2835.45 c #Conflicts: 996000 | #Constraints: 38611
2827.75/2835.45 c #Conflicts: 997000 | #Constraints: 39611
2827.75/2835.45 c #Conflicts: 998000 | #Constraints: 40611
2827.75/2835.45 c #Conflicts: 999000 | #Constraints: 41611
2827.75/2835.45 c #Conflicts: 1000000 | #Constraints: 42611
2827.75/2835.45 c #Conflicts: 1001000 | #Constraints: 43611
2827.75/2835.45 c INPROCESSING
2827.75/2835.45 c GARBAGE COLLECT
2827.75/2835.45 c #Conflicts: 1002000 | #Constraints: 24813
2827.75/2835.45 c #Conflicts: 1003000 | #Constraints: 25813
2827.75/2835.45 c #Conflicts: 1004000 | #Constraints: 26813
2827.75/2835.45 c #Conflicts: 1005000 | #Constraints: 27813
2827.75/2835.45 c #Conflicts: 1006000 | #Constraints: 28813
2827.75/2835.45 c #Conflicts: 1007000 | #Constraints: 29813
2827.75/2835.45 c #Conflicts: 1008000 | #Constraints: 30813
2827.75/2835.45 c #Conflicts: 1009000 | #Constraints: 31813
2827.75/2835.45 c #Conflicts: 1010000 | #Constraints: 32813
2827.75/2835.45 c #Conflicts: 1011000 | #Constraints: 33813
2827.75/2835.45 c #Conflicts: 1012000 | #Constraints: 34813
2827.75/2835.45 c #Conflicts: 1013000 | #Constraints: 35813
2827.75/2835.45 c #Conflicts: 1014000 | #Constraints: 36813
2827.75/2835.45 c #Conflicts: 1015000 | #Constraints: 37813
2827.75/2835.45 c #Conflicts: 1016000 | #Constraints: 38813
2827.75/2835.45 c #Conflicts: 1017000 | #Constraints: 39813
2827.75/2835.45 c #Conflicts: 1018000 | #Constraints: 40813
2827.75/2835.45 c #Conflicts: 1019000 | #Constraints: 41813
2827.75/2835.45 c #Conflicts: 1020000 | #Constraints: 42813
2827.75/2835.45 c #Conflicts: 1021000 | #Constraints: 43813
2827.75/2835.45 c INPROCESSING
2827.75/2835.45 c GARBAGE COLLECT
2827.75/2835.45 c #Conflicts: 1022000 | #Constraints: 24813
2827.75/2835.45 c #Conflicts: 1023000 | #Constraints: 25813
2827.75/2835.45 c #Conflicts: 1024000 | #Constraints: 26813
2827.75/2835.45 c #Conflicts: 1025000 | #Constraints: 27813
2827.75/2835.45 c #Conflicts: 1026000 | #Constraints: 28813
2827.75/2835.45 c #Conflicts: 1027000 | #Constraints: 29813
2827.75/2835.45 c #Conflicts: 1028000 | #Constraints: 30813
2827.75/2835.45 c #Conflicts: 1029000 | #Constraints: 31813
2827.75/2835.45 c #Conflicts: 1030000 | #Constraints: 32813
2827.75/2835.45 c #Conflicts: 1031000 | #Constraints: 33813
2827.75/2835.45 c #Conflicts: 1032000 | #Constraints: 34813
2827.75/2835.45 c #Conflicts: 1033000 | #Constraints: 35813
2827.75/2835.45 c #Conflicts: 1034000 | #Constraints: 36813
2827.75/2835.45 c #Conflicts: 1035000 | #Constraints: 37813
2827.75/2835.45 c #Conflicts: 1036000 | #Constraints: 38813
2827.75/2835.45 c #Conflicts: 1037000 | #Constraints: 39813
2827.75/2835.45 c #Conflicts: 1038000 | #Constraints: 40813
2827.75/2835.45 c #Conflicts: 1039000 | #Constraints: 41813
2827.75/2835.45 c #Conflicts: 1040000 | #Constraints: 42813
2827.75/2835.45 c #Conflicts: 1041000 | #Constraints: 43813
2827.75/2835.45 c INPROCESSING
2827.75/2835.45 c GARBAGE COLLECT
2827.75/2835.45 c #Conflicts: 1042000 | #Constraints: 24618
2827.75/2835.45 c #Conflicts: 1043000 | #Constraints: 25618
3037.15/3045.32 c #Conflicts: 1044000 | #Constraints: 26618
3037.15/3045.32 c #Conflicts: 1045000 | #Constraints: 27618
3037.15/3045.32 c #Conflicts: 1046000 | #Constraints: 28618
3037.15/3045.32 c #Conflicts: 1047000 | #Constraints: 29618
3037.15/3045.32 c #Conflicts: 1048000 | #Constraints: 30618
3037.15/3045.32 c #Conflicts: 1049000 | #Constraints: 31618
3037.15/3045.32 c #Conflicts: 1050000 | #Constraints: 32618
3037.15/3045.32 c #Conflicts: 1051000 | #Constraints: 33618
3037.15/3045.32 c #Conflicts: 1052000 | #Constraints: 34618
3037.15/3045.32 c #Conflicts: 1053000 | #Constraints: 35618
3037.15/3045.32 c #Conflicts: 1054000 | #Constraints: 36618
3037.15/3045.32 c #Conflicts: 1055000 | #Constraints: 37618
3037.15/3045.32 c #Conflicts: 1056000 | #Constraints: 38618
3037.15/3045.32 c #Conflicts: 1057000 | #Constraints: 39618
3037.15/3045.32 c #Conflicts: 1058000 | #Constraints: 40618
3037.15/3045.32 c #Conflicts: 1059000 | #Constraints: 41618
3037.15/3045.32 c #Conflicts: 1060000 | #Constraints: 42618
3037.15/3045.32 c #Conflicts: 1061000 | #Constraints: 43618
3037.15/3045.32 c #Conflicts: 1062000 | #Constraints: 44618
3037.15/3045.32 c INPROCESSING
3037.15/3045.32 c GARBAGE COLLECT
3037.15/3045.32 c #Conflicts: 1063000 | #Constraints: 25225
3037.15/3045.32 c #Conflicts: 1064000 | #Constraints: 26225
3037.15/3045.32 c #Conflicts: 1065000 | #Constraints: 27225
3037.15/3045.32 c #Conflicts: 1066000 | #Constraints: 28225
3037.15/3045.32 c #Conflicts: 1067000 | #Constraints: 29225
3037.15/3045.32 c #Conflicts: 1068000 | #Constraints: 30225
3037.15/3045.32 c #Conflicts: 1069000 | #Constraints: 31225
3037.15/3045.32 c #Conflicts: 1070000 | #Constraints: 32225
3037.15/3045.32 c #Conflicts: 1071000 | #Constraints: 33225
3037.15/3045.32 c #Conflicts: 1072000 | #Constraints: 34225
3037.15/3045.32 c #Conflicts: 1073000 | #Constraints: 35225
3037.15/3045.32 c #Conflicts: 1074000 | #Constraints: 36225
3037.15/3045.32 c #Conflicts: 1075000 | #Constraints: 37225
3037.15/3045.32 c #Conflicts: 1076000 | #Constraints: 38225
3037.15/3045.32 c #Conflicts: 1077000 | #Constraints: 39225
3037.15/3045.32 c #Conflicts: 1078000 | #Constraints: 40225
3037.15/3045.32 c #Conflicts: 1079000 | #Constraints: 41225
3037.15/3045.32 c #Conflicts: 1080000 | #Constraints: 42225
3037.15/3045.32 c #Conflicts: 1081000 | #Constraints: 43225
3037.15/3045.32 c #Conflicts: 1082000 | #Constraints: 44225
3037.15/3045.32 c #Conflicts: 1083000 | #Constraints: 45225
3037.15/3045.32 c INPROCESSING
3037.15/3045.32 c GARBAGE COLLECT
3037.15/3045.32 c #Conflicts: 1084000 | #Constraints: 25628
3037.15/3045.32 c #Conflicts: 1085000 | #Constraints: 26628
3037.15/3045.32 c #Conflicts: 1086000 | #Constraints: 27628
3037.15/3045.32 c #Conflicts: 1087000 | #Constraints: 28628
3037.15/3045.32 c #Conflicts: 1088000 | #Constraints: 29628
3037.15/3045.32 c #Conflicts: 1089000 | #Constraints: 30628
3037.15/3045.32 c #Conflicts: 1090000 | #Constraints: 31628
3037.15/3045.32 c #Conflicts: 1091000 | #Constraints: 32628
3037.15/3045.32 c #Conflicts: 1092000 | #Constraints: 33628
3037.15/3045.32 c #Conflicts: 1093000 | #Constraints: 34628
3037.15/3045.32 c #Conflicts: 1094000 | #Constraints: 35628
3037.15/3045.32 c #Conflicts: 1095000 | #Constraints: 36628
3037.15/3045.32 c #Conflicts: 1096000 | #Constraints: 37628
3037.15/3045.32 c #Conflicts: 1097000 | #Constraints: 38628
3037.15/3045.32 c #Conflicts: 1098000 | #Constraints: 39628
3037.15/3045.32 c #Conflicts: 1099000 | #Constraints: 40628
3037.15/3045.32 c #Conflicts: 1100000 | #Constraints: 41628
3037.15/3045.32 c #Conflicts: 1101000 | #Constraints: 42628
3037.15/3045.32 c #Conflicts: 1102000 | #Constraints: 43628
3037.15/3045.32 c #Conflicts: 1103000 | #Constraints: 44628
3037.15/3045.32 c #Conflicts: 1104000 | #Constraints: 45628
3037.15/3045.32 c INPROCESSING
3037.15/3045.32 c GARBAGE COLLECT
3037.15/3045.32 c #Conflicts: 1105000 | #Constraints: 25828
3037.15/3045.32 c #Conflicts: 1106000 | #Constraints: 26828
3037.15/3045.32 c #Conflicts: 1107000 | #Constraints: 27828
3037.15/3045.32 c #Conflicts: 1108000 | #Constraints: 28828
3037.15/3045.32 c #Conflicts: 1109000 | #Constraints: 29828
3037.15/3045.32 c #Conflicts: 1110000 | #Constraints: 30828
3037.15/3045.32 c #Conflicts: 1111000 | #Constraints: 31828
3037.15/3045.32 c #Conflicts: 1112000 | #Constraints: 32828
3037.15/3045.32 c #Conflicts: 1113000 | #Constraints: 33828
3037.15/3045.32 c #Conflicts: 1114000 | #Constraints: 34828
3037.15/3045.32 c #Conflicts: 1115000 | #Constraints: 35828
3037.15/3045.32 c #Conflicts: 1116000 | #Constraints: 36828
3037.15/3045.32 c #Conflicts: 1117000 | #Constraints: 37828
3037.15/3045.32 c #Conflicts: 1118000 | #Constraints: 38828
3037.15/3045.32 c #Conflicts: 1119000 | #Constraints: 39828
3037.15/3045.32 c #Conflicts: 1120000 | #Constraints: 40828
3330.23/3339.12 c #Conflicts: 1121000 | #Constraints: 41828
3330.23/3339.12 c #Conflicts: 1122000 | #Constraints: 42828
3330.23/3339.12 c #Conflicts: 1123000 | #Constraints: 43828
3330.23/3339.12 c #Conflicts: 1124000 | #Constraints: 44828
3330.23/3339.12 c #Conflicts: 1125000 | #Constraints: 45828
3330.23/3339.12 c INPROCESSING
3330.23/3339.12 c GARBAGE COLLECT
3330.23/3339.12 c #Conflicts: 1126000 | #Constraints: 25824
3330.23/3339.12 c #Conflicts: 1127000 | #Constraints: 26824
3330.23/3339.12 c #Conflicts: 1128000 | #Constraints: 27824
3330.23/3339.12 c #Conflicts: 1129000 | #Constraints: 28824
3330.23/3339.12 c #Conflicts: 1130000 | #Constraints: 29824
3330.23/3339.12 c #Conflicts: 1131000 | #Constraints: 30824
3330.23/3339.12 c #Conflicts: 1132000 | #Constraints: 31824
3330.23/3339.12 c #Conflicts: 1133000 | #Constraints: 32824
3330.23/3339.12 c #Conflicts: 1134000 | #Constraints: 33824
3330.23/3339.12 c #Conflicts: 1135000 | #Constraints: 34824
3330.23/3339.12 c #Conflicts: 1136000 | #Constraints: 35824
3330.23/3339.12 c #Conflicts: 1137000 | #Constraints: 36824
3330.23/3339.12 c #Conflicts: 1138000 | #Constraints: 37824
3330.23/3339.12 c #Conflicts: 1139000 | #Constraints: 38824
3330.23/3339.12 c #Conflicts: 1140000 | #Constraints: 39824
3330.23/3339.12 c #Conflicts: 1141000 | #Constraints: 40824
3330.23/3339.12 c #Conflicts: 1142000 | #Constraints: 41824
3330.23/3339.12 c #Conflicts: 1143000 | #Constraints: 42824
3330.23/3339.12 c #Conflicts: 1144000 | #Constraints: 43824
3330.23/3339.12 c #Conflicts: 1145000 | #Constraints: 44824
3330.23/3339.12 c #Conflicts: 1146000 | #Constraints: 45824
3330.23/3339.12 c INPROCESSING
3330.23/3339.12 c GARBAGE COLLECT
3330.23/3339.12 c #Conflicts: 1147000 | #Constraints: 25621
3330.23/3339.12 c #Conflicts: 1148000 | #Constraints: 26621
3330.23/3339.12 c #Conflicts: 1149000 | #Constraints: 27621
3330.23/3339.12 c #Conflicts: 1150000 | #Constraints: 28621
3330.23/3339.12 c #Conflicts: 1151000 | #Constraints: 29621
3330.23/3339.12 c #Conflicts: 1152000 | #Constraints: 30621
3330.23/3339.12 c #Conflicts: 1153000 | #Constraints: 31621
3330.23/3339.12 c #Conflicts: 1154000 | #Constraints: 32621
3330.23/3339.12 c #Conflicts: 1155000 | #Constraints: 33621
3330.23/3339.12 c #Conflicts: 1156000 | #Constraints: 34621
3330.23/3339.12 c #Conflicts: 1157000 | #Constraints: 35621
3330.23/3339.12 c #Conflicts: 1158000 | #Constraints: 36621
3330.23/3339.12 c #Conflicts: 1159000 | #Constraints: 37621
3330.23/3339.12 c #Conflicts: 1160000 | #Constraints: 38621
3330.23/3339.12 c #Conflicts: 1161000 | #Constraints: 39621
3330.23/3339.12 c #Conflicts: 1162000 | #Constraints: 40621
3330.23/3339.12 c #Conflicts: 1163000 | #Constraints: 41621
3330.23/3339.12 c #Conflicts: 1164000 | #Constraints: 42621
3330.23/3339.12 c #Conflicts: 1165000 | #Constraints: 43621
3330.23/3339.12 c #Conflicts: 1166000 | #Constraints: 44621
3330.23/3339.12 c #Conflicts: 1167000 | #Constraints: 45621
3330.23/3339.12 c #Conflicts: 1168000 | #Constraints: 46621
3330.23/3339.12 c INPROCESSING
3330.23/3339.12 c GARBAGE COLLECT
3330.23/3339.12 c #Conflicts: 1169000 | #Constraints: 26221
3330.23/3339.12 c #Conflicts: 1170000 | #Constraints: 27221
3330.23/3339.12 c #Conflicts: 1171000 | #Constraints: 28221
3330.23/3339.12 c #Conflicts: 1172000 | #Constraints: 29221
3330.23/3339.12 c #Conflicts: 1173000 | #Constraints: 30221
3330.23/3339.12 c #Conflicts: 1174000 | #Constraints: 31221
3330.23/3339.12 c #Conflicts: 1175000 | #Constraints: 32221
3330.23/3339.12 c #Conflicts: 1176000 | #Constraints: 33221
3330.23/3339.12 c #Conflicts: 1177000 | #Constraints: 34221
3330.23/3339.12 c #Conflicts: 1178000 | #Constraints: 35221
3330.23/3339.12 c #Conflicts: 1179000 | #Constraints: 36221
3330.23/3339.12 c #Conflicts: 1180000 | #Constraints: 37221
3330.23/3339.12 c #Conflicts: 1181000 | #Constraints: 38221
3330.23/3339.12 c #Conflicts: 1182000 | #Constraints: 39221
3330.23/3339.12 c #Conflicts: 1183000 | #Constraints: 40221
3330.23/3339.12 c #Conflicts: 1184000 | #Constraints: 41221
3330.23/3339.12 c #Conflicts: 1185000 | #Constraints: 42221
3330.23/3339.12 c #Conflicts: 1186000 | #Constraints: 43221
3330.23/3339.12 c #Conflicts: 1187000 | #Constraints: 44221
3330.23/3339.12 c #Conflicts: 1188000 | #Constraints: 45221
3330.23/3339.12 c #Conflicts: 1189000 | #Constraints: 46221
3330.23/3339.12 c #Conflicts: 1190000 | #Constraints: 47221
3330.23/3339.12 c INPROCESSING
3330.23/3339.12 c GARBAGE COLLECT
3330.23/3339.12 c #Conflicts: 1191000 | #Constraints: 26614
3330.23/3339.12 c #Conflicts: 1192000 | #Constraints: 27614
3330.23/3339.12 c #Conflicts: 1193000 | #Constraints: 28614
3330.23/3339.12 c #Conflicts: 1194000 | #Constraints: 29614
3330.23/3339.12 c #Conflicts: 1195000 | #Constraints: 30614
3330.23/3339.12 c #Conflicts: 1196000 | #Constraints: 31614
3600.04/3609.60 c #Conflicts: 1197000 | #Constraints: 32614
3600.04/3609.60 c #Conflicts: 1198000 | #Constraints: 33614
3600.04/3609.60 c #Conflicts: 1199000 | #Constraints: 34614
3600.04/3609.60 c #Conflicts: 1200000 | #Constraints: 35614
3600.04/3609.60 c #Conflicts: 1201000 | #Constraints: 36614
3600.04/3609.60 c #Conflicts: 1202000 | #Constraints: 37614
3600.04/3609.60 c #Conflicts: 1203000 | #Constraints: 38614
3600.04/3609.60 c #Conflicts: 1204000 | #Constraints: 39614
3600.04/3609.60 c #Conflicts: 1205000 | #Constraints: 40614
3600.04/3609.60 c #Conflicts: 1206000 | #Constraints: 41614
3600.04/3609.60 c #Conflicts: 1207000 | #Constraints: 42614
3600.04/3609.60 c #Conflicts: 1208000 | #Constraints: 43614
3600.04/3609.60 c #Conflicts: 1209000 | #Constraints: 44614
3600.04/3609.60 c #Conflicts: 1210000 | #Constraints: 45614
3600.04/3609.60 c #Conflicts: 1211000 | #Constraints: 46614
3600.04/3609.60 c #Conflicts: 1212000 | #Constraints: 47614
3600.04/3609.60 c INPROCESSING
3600.04/3609.60 c GARBAGE COLLECT
3600.04/3609.60 c #Conflicts: 1213000 | #Constraints: 26810
3600.04/3609.60 c #Conflicts: 1214000 | #Constraints: 27810
3600.04/3609.60 c #Conflicts: 1215000 | #Constraints: 28810
3600.04/3609.60 c #Conflicts: 1216000 | #Constraints: 29810
3600.04/3609.60 c #Conflicts: 1217000 | #Constraints: 30810
3600.04/3609.60 c #Conflicts: 1218000 | #Constraints: 31810
3600.04/3609.60 c #Conflicts: 1219000 | #Constraints: 32810
3600.04/3609.60 c #Conflicts: 1220000 | #Constraints: 33810
3600.04/3609.60 c #Conflicts: 1221000 | #Constraints: 34810
3600.04/3609.60 c #Conflicts: 1222000 | #Constraints: 35810
3600.04/3609.60 c #Conflicts: 1223000 | #Constraints: 36810
3600.04/3609.60 c #Conflicts: 1224000 | #Constraints: 37810
3600.04/3609.60 c #Conflicts: 1225000 | #Constraints: 38810
3600.04/3609.60 c #Conflicts: 1226000 | #Constraints: 39810
3600.04/3609.60 c #Conflicts: 1227000 | #Constraints: 40810
3600.04/3609.60 c #Conflicts: 1228000 | #Constraints: 41810
3600.04/3609.60 c #Conflicts: 1229000 | #Constraints: 42810
3600.04/3609.60 c #Conflicts: 1230000 | #Constraints: 43810
3600.04/3609.60 c #Conflicts: 1231000 | #Constraints: 44810
3600.04/3609.60 c #Conflicts: 1232000 | #Constraints: 45810
3600.04/3609.60 c #Conflicts: 1233000 | #Constraints: 46810
3600.04/3609.60 c #Conflicts: 1234000 | #Constraints: 47810
3600.04/3609.60 c INPROCESSING
3600.04/3609.60 c GARBAGE COLLECT
3600.04/3609.60 c #Conflicts: 1235000 | #Constraints: 26810
3600.04/3609.60 c #Conflicts: 1236000 | #Constraints: 27810
3600.04/3609.60 c #Conflicts: 1237000 | #Constraints: 28810
3600.04/3609.60 c #Conflicts: 1238000 | #Constraints: 29810
3600.04/3609.60 c #Conflicts: 1239000 | #Constraints: 30810
3600.04/3609.60 c #Conflicts: 1240000 | #Constraints: 31810
3600.04/3609.60 c #Conflicts: 1241000 | #Constraints: 32810
3600.04/3609.60 c #Conflicts: 1242000 | #Constraints: 33810
3600.04/3609.60 c #Conflicts: 1243000 | #Constraints: 34810
3600.04/3609.60 c #Conflicts: 1244000 | #Constraints: 35810
3600.04/3609.60 c #Conflicts: 1245000 | #Constraints: 36810
3600.04/3609.60 c #Conflicts: 1246000 | #Constraints: 37810
3600.04/3609.60 c #Conflicts: 1247000 | #Constraints: 38810
3600.04/3609.60 c #Conflicts: 1248000 | #Constraints: 39810
3600.04/3609.60 c #Conflicts: 1249000 | #Constraints: 40810
3600.04/3609.60 c #Conflicts: 1250000 | #Constraints: 41810
3600.04/3609.60 c #Conflicts: 1251000 | #Constraints: 42810
3600.04/3609.60 c #Conflicts: 1252000 | #Constraints: 43810
3600.04/3609.60 c #Conflicts: 1253000 | #Constraints: 44810
3600.04/3609.60 c #Conflicts: 1254000 | #Constraints: 45810
3600.04/3609.60 c #Conflicts: 1255000 | #Constraints: 46810
3600.04/3609.60 c #Conflicts: 1256000 | #Constraints: 47810
3600.04/3609.60 c INPROCESSING
3600.04/3609.60 c GARBAGE COLLECT
3600.04/3609.60 c #Conflicts: 1257000 | #Constraints: 26612
3600.04/3609.60 c #Conflicts: 1258000 | #Constraints: 27612
3600.04/3609.60 c #Conflicts: 1259000 | #Constraints: 28612
3600.04/3609.60 c #Conflicts: 1260000 | #Constraints: 29612
3600.04/3609.60 c #Conflicts: 1261000 | #Constraints: 30612
3600.04/3609.60 c #Conflicts: 1262000 | #Constraints: 31612
3600.04/3609.60 c #Conflicts: 1263000 | #Constraints: 32612
3600.04/3609.60 c #Conflicts: 1264000 | #Constraints: 33612
3600.04/3609.60 c #Conflicts: 1265000 | #Constraints: 34612
3600.04/3609.60 c #Conflicts: 1266000 | #Constraints: 35612
3600.04/3609.60 c #Conflicts: 1267000 | #Constraints: 36612
3600.04/3609.60 c #Conflicts: 1268000 | #Constraints: 37612
3600.04/3609.60 c #Conflicts: 1269000 | #Constraints: 38612
3600.04/3609.60 c #Conflicts: 1270000 | #Constraints: 39612
3600.04/3609.60 c #Conflicts: 1271000 | #Constraints: 40612
3600.04/3609.60 c Program interrupted by user.
3600.04/3609.60 c cpu time 3590.65 s
3600.04/3609.60 c deterministic time 595348112083 5.95e+11
3600.04/3609.60 c optimization time 34.8594 s
3600.04/3609.60 c total solve time 3256.52 s
3600.04/3609.60 c core-guided solve time 3256.52 s
3600.04/3609.60 c propagation time 2670.64 s
3600.04/3609.60 c conflict analysis time 483.767 s
3600.04/3609.60 c propagations 149511579
3600.04/3609.60 c resolve steps 10500323
3600.04/3609.60 c decisions 5119651
3600.04/3609.60 c conflicts 1271581
3600.04/3609.60 c restarts 2428
3600.04/3609.60 c inprocessing phases 103
3600.04/3609.60 c input clauses 3912
3600.04/3609.60 c input cardinalities 150
3600.04/3609.60 c input general constraints 0
3600.04/3609.60 c input average constraint length 63.13
3600.04/3609.60 c input average constraint degree 28.59
3600.04/3609.60 c learned clauses 451907
3600.04/3609.60 c learned cardinalities 123890
3600.04/3609.60 c learned general constraints 695932
3600.04/3609.60 c learned average constraint length 722.09
3600.04/3609.60 c learned average constraint degree 9400.99
3600.04/3609.60 c watched constraints 385363
3600.04/3609.60 c counting constraints 310569
3600.04/3609.60 c gcd simplifications 32975
3600.04/3609.60 c detected cardinalities 1540
3600.04/3609.60 c weakened non-implied lits 169925241
3600.04/3609.60 c weakened non-implying lits 52230
3600.04/3609.60 c original variables 1964
3600.04/3609.60 c clausal propagations 72510771
3600.04/3609.60 c cardinality propagations 9356647
3600.04/3609.60 c watched propagations 11467633
3600.04/3609.60 c counting propagations 47593221
3600.04/3609.60 c watch lookups 49072906925
3600.04/3609.60 c watch backjump lookups 41020881094
3600.04/3609.60 c watch checks 467686668052
3600.04/3609.60 c propagation checks 34725942432
3600.04/3609.60 c constraint additions 2531181013
3600.04/3609.60 c trail pops 155901336
3600.04/3609.60 c formula constraints 3240
3600.04/3609.60 c learned constraints 1271729
3600.04/3609.60 c bound constraints 150
3600.04/3609.60 c core-guided constraints 672
3600.04/3609.60 c encountered formula constraints 7345701
3600.04/3609.60 c encountered learned constraints 3201605
3600.04/3609.60 c encountered bound constraints 1
3600.04/3609.60 c encountered core-guided constraints 1224597
3600.04/3609.60 c LP total time 0 s
3600.04/3609.60 c LP solve time 0 s
3600.04/3609.60 c LP constraints added 0
3600.04/3609.60 c LP constraints removed 0
3600.04/3609.60 c LP pivots internal 0
3600.04/3609.60 c LP pivots root 0
3600.04/3609.60 c LP calls 0
3600.04/3609.60 c LP optimalities 0
3600.04/3609.60 c LP no pivot count 0
3600.04/3609.60 c LP infeasibilities 0
3600.04/3609.60 c LP valid Farkas constraints 0
3600.04/3609.60 c LP learned Farkas constraints 0
3600.04/3609.60 c LP basis resets 0
3600.04/3609.60 c LP cycling count 0
3600.04/3609.60 c LP singular count 0
3600.04/3609.60 c LP no primal count 0
3600.04/3609.60 c LP no farkas count 0
3600.04/3609.60 c LP other issue count 0
3600.04/3609.60 c LP Gomory cuts 0
3600.04/3609.60 c LP learned cuts 0
3600.04/3609.60 c LP deleted cuts 0
3600.04/3609.60 c LP encountered Gomory constraints 0
3600.04/3609.60 c LP encountered Farkas constraints 0
3600.04/3609.60 c LP encountered learned Farkas constraints 0
3600.04/3609.60 c CG auxiliary variables introduced 672
3600.04/3609.60 c CG solutions found 0
3600.04/3609.60 c CG cores constructed 149
3600.04/3609.60 c CG core cardinality constraints returned 0
3600.04/3609.60 c CG unit cores 0
3600.04/3609.60 c CG single cores 149
3600.04/3609.60 c CG blocks removed during cardinality reduction 0
3600.04/3609.60 c CG first core best 0
3600.04/3609.60 c CG decision core best 0
3600.04/3609.60 c CG core reduction tie 0
3600.04/3609.60 c CG core degree average 1.00
3600.04/3609.60 c CG core slack average 3.10
3600.04/3609.60 c CG exhausted 0
3600.04/3609.60 c CG exhaust time 0 s
3600.04/3609.60 c CG trimmed 0
3600.04/3609.60 c CG trim time 0.000879 s
3600.04/3609.60 c CG minimized 0
3600.04/3609.60 c CG minimize time 0 s
3600.04/3609.60 c CG am1 prop time 0.002692 s
3600.04/3609.60 c CG # am1s reformulated 672
3600.04/3609.60 c CG lower bound derived from am1s 673
3600.04/3609.60 c CG # clausal cores 149
3600.04/3609.60 c CG # cardinality cores 0
3600.04/3609.60 c CG # pb cores 0
3600.04/3609.60 c CG # pb reforms 0
3600.04/3609.60 c CG # cores discarded because of pb reform 0
3600.04/3609.60 d LOWERBOUND 822
3600.04/3609.60 d NCORES 149
3600.04/3609.60 d NPBCORES 0
3600.04/3609.60 d NPBREFORM 0
3600.04/3609.60 d NTRIMMED 0
3600.04/3609.60 d NEXHAUSTED 0
3600.04/3609.60 d NAM1S 672
3600.04/3609.60 d AM1LB 673
3600.04/3609.60 c [Papilo Statistics]
3600.04/3609.60 c prepro time 0.00469154s
3600.04/3609.60 c # tsx applied 151
3600.04/3609.60 c # tsx conflicts 10
3600.04/3609.60 c # bound changes 149
3600.04/3609.60 c # side changes 0
3600.04/3609.60 c # coef changes 0
3600.04/3609.60 c # rounds 2
3600.04/3609.60 c # deted vars 311
3600.04/3609.60 c # deted constrs 760
3600.04/3609.60 c # consecutive rounds of only bound changes 0
3600.04/3609.60 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62397 MiB free)
memory of node 1: 64510 MiB (63060 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454717-1721468423/watcher-4454717-1721468423 -o /tmp/evaluation-result-4454717-1721468423/solver-4454717-1721468423 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721468435-1075791 --watchdog 3760 mixed-bag HOME/instance-4454717-1721468423.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=1075847, runsolver pid=1075836
[startup+0.100094 s]*
/proc/loadavg: 1.15 1.25 2.16 4/260 1075856
/proc/meminfo: memFree=128466132/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=31728 memory=572 CPUtime=0 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) D 1075836 1075847 1075779 0 -1 4194304 82 0 0 0 0 0 0 0 20 0 1 0 199012030 32489472 143 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 0 0 0 0 17 3 0 0 8 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 7932 143 123 3002 0 1312 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 31728 KiB
Current children cumulated memory: 572 KiB
[startup+0.206392 s]*
/proc/loadavg: 1.15 1.25 2.16 3/260 1075856
/proc/meminfo: memFree=128463192/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=68472 memory=3184 CPUtime=0 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) D 1075836 1075847 1075779 0 -1 4194304 271 0 3 0 0 0 0 0 20 0 1 0 199012030 70115328 796 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 0 0 0 0 17 3 0 0 19 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 17118 796 705 3002 0 1406 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 68472 KiB
Current children cumulated memory: 3184 KiB
[startup+0.305358 s]*
/proc/loadavg: 1.15 1.25 2.16 6/260 1075856
/proc/meminfo: memFree=128400704/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=99716 memory=32444 CPUtime=0.05 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 5195 0 3 0 5 0 0 0 20 0 1 0 199012030 102109184 8111 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 24929 8111 3725 3002 0 8678 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 99716 KiB
Current children cumulated memory: 32444 KiB
[startup+0.700204 s]
/proc/loadavg: 1.15 1.25 2.16 7/260 1075856
/proc/meminfo: memFree=128376944/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=114216 memory=45100 CPUtime=0.44 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 8244 0 3 0 43 1 0 0 20 0 1 0 199012030 116957184 11275 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 28554 11275 3980 3002 0 12303 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 114216 KiB
Current children cumulated memory: 45100 KiB
[startup+1.50022 s]
/proc/loadavg: 1.15 1.25 2.16 8/260 1075856
/proc/meminfo: memFree=128346972/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=118036 memory=48268 CPUtime=1.24 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 9060 0 3 0 123 1 0 0 20 0 1 0 199012030 120868864 12067 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 29509 12067 3980 3002 0 13258 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 118036 KiB
Current children cumulated memory: 48268 KiB
[startup+3.10639 s]
/proc/loadavg: 1.38 1.30 2.17 8/260 1075856
/proc/meminfo: memFree=128171904/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=129524 memory=58828 CPUtime=2.84 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 11693 0 3 0 283 1 0 0 20 0 1 0 199012030 132632576 14707 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 32381 14707 3980 3002 0 16130 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 129524 KiB
Current children cumulated memory: 58828 KiB
[startup+6.30015 s]
/proc/loadavg: 1.38 1.30 2.17 6/260 1075856
/proc/meminfo: memFree=128066664/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=172456 memory=100792 CPUtime=6.03 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 22162 0 3 0 600 3 0 0 20 0 1 0 199012030 176594944 25198 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 43114 25198 3980 3002 0 26863 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 172456 KiB
Current children cumulated memory: 100792 KiB
[startup+12.7002 s]
/proc/loadavg: 1.59 1.34 2.18 8/260 1075858
/proc/meminfo: memFree=127937728/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=218968 memory=142552 CPUtime=12.4 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 33723 0 3 0 1236 4 0 0 20 0 1 0 199012030 224223232 35638 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 54742 35638 3980 3002 0 38491 0
Current children cumulated CPU time: 12.4 s
Current children cumulated vsize: 218968 KiB
Current children cumulated memory: 142552 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.48 2.21 8/260 1075859
/proc/meminfo: memFree=127859480/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=224064 memory=147300 CPUtime=25.17 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 34899 0 3 0 2513 4 0 0 20 0 1 0 199012030 229441536 36825 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 56016 36825 3980 3002 0 39765 0
Current children cumulated CPU time: 25.17 s
Current children cumulated vsize: 224064 KiB
Current children cumulated memory: 147300 KiB
[startup+51.1064 s]
/proc/loadavg: 2.83 1.70 2.27 8/260 1075864
/proc/meminfo: memFree=127678196/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=273072 memory=192560 CPUtime=50.73 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 46454 0 3 0 5065 8 0 0 20 0 1 0 199012030 279625728 48140 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 68268 48140 3990 3002 0 52017 0
Current children cumulated CPU time: 50.73 s
Current children cumulated vsize: 273072 KiB
Current children cumulated memory: 192560 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 2.07 2.36 8/260 1075872
/proc/meminfo: memFree=127619088/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=308540 memory=226016 CPUtime=101.8 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 58981 0 3 0 10168 12 0 0 20 0 1 0 199012030 315944960 56504 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 77135 56504 3990 3002 0 60884 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 308540 KiB
Current children cumulated memory: 226016 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.44 2.47 8/260 1075884
/proc/meminfo: memFree=127480508/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=404008 memory=310988 CPUtime=161.64 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 80297 0 3 0 16148 16 0 0 20 0 1 0 199012030 413704192 77747 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 101002 77747 3990 3002 0 84751 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 404008 KiB
Current children cumulated memory: 310988 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.75 2.58 8/260 1075894
/proc/meminfo: memFree=127362012/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=444776 memory=352568 CPUtime=221.5 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 95214 0 3 0 22130 20 0 0 20 0 1 0 199012030 455450624 88142 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 111194 88142 3990 3002 0 94943 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 444776 KiB
Current children cumulated memory: 352568 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.00 2.68 8/260 1075904
/proc/meminfo: memFree=127333448/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=448292 memory=356512 CPUtime=281.35 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 101146 0 3 0 28113 22 0 0 20 0 1 0 199012030 459051008 89128 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 112073 89128 3990 3002 0 95822 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 448292 KiB
Current children cumulated memory: 356512 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.21 2.77 8/254 1075915
/proc/meminfo: memFree=127620356/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=342740 memory=267316 CPUtime=341.21 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 105502 0 3 0 34056 65 0 0 20 0 1 0 199012030 350965760 66829 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 85685 66829 4149 3002 0 69434 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 342740 KiB
Current children cumulated memory: 267316 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 3.39 2.87 8/254 1075925
/proc/meminfo: memFree=127575512/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=373560 memory=275740 CPUtime=401.07 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 106101 0 3 0 40008 99 0 0 20 0 1 0 199012030 382525440 68935 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 93390 68935 4149 3002 0 77139 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 373560 KiB
Current children cumulated memory: 275740 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.52 2.94 8/254 1075935
/proc/meminfo: memFree=127532836/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=373560 memory=287948 CPUtime=460.9 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 106659 0 3 0 45959 131 0 0 20 0 1 0 199012030 382525440 71987 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 93390 71987 4149 3002 0 77139 0
################
# More data... #
################
Current children cumulated memory: 431348 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.12 4.07 8/258 1077330
/proc/meminfo: memFree=126892708/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=530708 memory=431884 CPUtime=2854.59 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 118021 0 3 0 284685 774 0 0 20 0 1 0 199012030 543444992 107971 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 132677 107971 4149 3002 0 116426 0
Current children cumulated CPU time: 2854.59 s
Current children cumulated vsize: 530708 KiB
Current children cumulated memory: 431884 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.13 4.08 8/259 1077509
/proc/meminfo: memFree=126879744/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=531476 memory=432416 CPUtime=2914.45 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 118346 0 3 0 290658 787 0 0 20 0 1 0 199012030 544231424 108104 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 132869 108104 4149 3002 0 116618 0
Current children cumulated CPU time: 2914.45 s
Current children cumulated vsize: 531476 KiB
Current children cumulated memory: 432416 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.08 9/258 1077519
/proc/meminfo: memFree=126869984/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=531988 memory=432812 CPUtime=2974.29 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 118641 0 3 0 296628 801 0 0 20 0 1 0 199012030 544755712 108203 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 132997 108203 4149 3002 0 116746 0
Current children cumulated CPU time: 2974.29 s
Current children cumulated vsize: 531988 KiB
Current children cumulated memory: 432812 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.09 8/259 1077590
/proc/meminfo: memFree=126866088/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=531988 memory=432812 CPUtime=3034.15 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 118834 0 3 0 302601 814 0 0 20 0 1 0 199012030 544755712 108203 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 132997 108203 4149 3002 0 116746 0
Current children cumulated CPU time: 3034.15 s
Current children cumulated vsize: 531988 KiB
Current children cumulated memory: 432812 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.13 4.09 8/259 1077600
/proc/meminfo: memFree=126858924/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=531988 memory=432828 CPUtime=3094 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 119037 0 3 0 308570 830 0 0 20 0 1 0 199012030 544755712 108207 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 132997 108207 4149 3002 0 116746 0
Current children cumulated CPU time: 3094 s
Current children cumulated vsize: 531988 KiB
Current children cumulated memory: 432828 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 8/258 1077611
/proc/meminfo: memFree=126853024/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=531988 memory=436932 CPUtime=3153.85 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 119242 0 3 0 314542 843 0 0 20 0 1 0 199012030 544755712 109233 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 132997 109233 4149 3002 0 116746 0
Current children cumulated CPU time: 3153.85 s
Current children cumulated vsize: 531988 KiB
Current children cumulated memory: 436932 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 8/257 1077623
/proc/meminfo: memFree=126851648/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=531988 memory=436940 CPUtime=3213.71 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 119441 0 3 0 320515 856 0 0 20 0 1 0 199012030 544755712 109235 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 132997 109235 4149 3002 0 116746 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 531988 KiB
Current children cumulated memory: 436940 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 8/257 1077633
/proc/meminfo: memFree=126840408/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=531988 memory=436940 CPUtime=3273.56 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 119626 0 3 0 326487 869 0 0 20 0 1 0 199012030 544755712 109235 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 132997 109235 4149 3002 0 116746 0
Current children cumulated CPU time: 3273.56 s
Current children cumulated vsize: 531988 KiB
Current children cumulated memory: 436940 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 8/255 1077643
/proc/meminfo: memFree=126826948/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=534292 memory=438284 CPUtime=3333.41 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 120181 0 3 0 332461 880 0 0 20 0 1 0 199012030 547115008 109571 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 133573 109571 4149 3002 0 117322 0
Current children cumulated CPU time: 3333.41 s
Current children cumulated vsize: 534292 KiB
Current children cumulated memory: 438284 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 8/255 1077653
/proc/meminfo: memFree=126818416/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=534292 memory=438360 CPUtime=3393.26 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 120379 0 3 0 338436 890 0 0 20 0 1 0 199012030 547115008 109590 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 133573 109590 4149 3002 0 117322 0
Current children cumulated CPU time: 3393.26 s
Current children cumulated vsize: 534292 KiB
Current children cumulated memory: 438360 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 8/255 1077664
/proc/meminfo: memFree=126796504/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=534548 memory=444772 CPUtime=3453.11 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 120651 0 3 0 344406 905 0 0 20 0 1 0 199012030 547377152 111193 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 133637 111193 4149 3002 0 117386 0
Current children cumulated CPU time: 3453.11 s
Current children cumulated vsize: 534548 KiB
Current children cumulated memory: 444772 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.09 8/255 1077674
/proc/meminfo: memFree=126771964/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=534804 memory=448992 CPUtime=3512.95 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 120925 0 3 0 350377 918 0 0 20 0 1 0 199012030 547639296 112248 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 133701 112248 4149 3002 0 117450 0
Current children cumulated CPU time: 3512.95 s
Current children cumulated vsize: 534804 KiB
Current children cumulated memory: 448992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 9/255 1077685
/proc/meminfo: memFree=126749916/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=536084 memory=451796 CPUtime=3572.81 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 121344 0 3 0 356348 933 0 0 20 0 1 0 199012030 548950016 112949 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 134021 112949 4149 3002 0 117770 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 536084 KiB
Current children cumulated memory: 451796 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.15 4.12 4.09 7/253 1077689
/proc/meminfo: memFree=127151128/131524600 swapFree=131071996/131071996
[pid=1075847] ppid=1075836 vsize=536084 memory=452036 CPUtime=3600.04 cores=1,3
/proc/1075847/stat : 1075847 (mixed-bag) R 1075836 1075847 1075779 0 -1 4194304 121410 0 3 0 359065 939 0 0 20 0 1 0 199012030 548950016 113009 134679101440 4194304 16488053 140732408541536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 24 0 0 18731784 18742840 39469056 140732408550421 140732408550498 140732408550498 140732408557515 0
/proc/1075847/statm: 134021 113009 4149 3002 0 117770 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 536084 KiB
Current children cumulated memory: 452036 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 1075847 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.66 s, system=9.40021 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.6
CPU time (s): 3600.06
CPU user time (s): 3590.66
CPU system time (s): 9.40021
CPU usage (%): 99.7354
Max. virtual memory (cumulated for all children) (KiB): 536084
Max. memory (cumulated for all children) (KiB): 452036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.65
system time used= 9.40021
maximum resident set size= 452388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121431
page faults= 3
swaps= 0
block input operations= 400
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119
involuntary context switches= 1862
# summary of solver processes directly reported to runsolver:
# pid: 1075847
# total CPU time (s): 3600.06
# total CPU user time (s): 3590.66
# total CPU system time (s): 9.40021
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7194 second user time and 21.3235 second system time
The end
Begin job on nodeC033 at 2024-07-20 11:40:35
IDJOB=4454717
IDBENCH=147534
IDSOLVER=3083
FILE ID=nodeC033/4454717-1721468423
RUNJOBID= nodeC033-1721468435-1075791
SLURM_JOB_ID= 7545724
Free space on /tmp= 890084 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454717-1721468423/watcher-4454717-1721468423 -o /tmp/evaluation-result-4454717-1721468423/solver-4454717-1721468423 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721468435-1075791 --watchdog 3760 mixed-bag HOME/instance-4454717-1721468423.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 40839a009ce460ae7be0fe2be6267e36
RANDOM SEED=809530252
nodeC033.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 : 3776.776
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.50
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 : 3772.394
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 : 7006.25
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 : 3606.786
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.50
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 : 3691.810
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 : 7006.25
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 : 3786.010
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.50
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 : 3691.404
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 : 7006.25
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 : 3605.105
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.50
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 : 3832.607
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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128469856 kB
MemAvailable: 129679140 kB
Buffers: 610292 kB
Cached: 1435940 kB
SwapCached: 0 kB
Active: 1114568 kB
Inactive: 1307276 kB
Active(anon): 1500 kB
Inactive(anon): 420664 kB
Active(file): 1113068 kB
Inactive(file): 886612 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65068 kB
Writeback: 0 kB
AnonPages: 373572 kB
Mapped: 108072 kB
Shmem: 45908 kB
KReclaimable: 98500 kB
Slab: 212028 kB
SReclaimable: 98500 kB
SUnreclaim: 113528 kB
KernelStack: 3872 kB
PageTables: 9776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 566724 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72896 kB
HardwareCorrupted: 0 kB
AnonHugePages: 249856 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: 273108 kB
DirectMap2M: 28860416 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890024 MiB
End job on nodeC033 at 2024-07-20 12:40:45