0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.02 c [STEP] preprocessing with Papilo
0.00/0.02 c [STEP] solving with SCIP
299.30/300.24 c [STEP] preprocessing done, loading into solver
299.30/300.25 c [STEP] solving
299.30/300.25 c #variables 1627 #constraints 3208
299.30/300.25 c SMALL=int, LARGE=long long
299.30/300.25 d SCIPUB 877
299.30/300.25 c bounds - >= 0 @ 299.248
299.30/300.25 c stratification level: 0
300.20/301.17 c bounds - >= 666 @ 299.254
300.20/301.17 c bounds - >= 667 @ 299.256
300.20/301.17 c bounds - >= 668 @ 299.256
300.20/301.17 c bounds - >= 669 @ 299.256
300.20/301.17 c bounds - >= 670 @ 299.256
300.20/301.17 c bounds - >= 671 @ 299.256
300.20/301.17 c bounds - >= 672 @ 299.256
300.20/301.17 c bounds - >= 673 @ 299.256
300.20/301.17 c bounds - >= 674 @ 299.256
300.20/301.17 c bounds - >= 675 @ 299.256
300.20/301.17 c bounds - >= 676 @ 299.257
300.20/301.17 c bounds - >= 677 @ 299.257
300.20/301.17 c bounds - >= 678 @ 299.257
300.20/301.17 c bounds - >= 679 @ 299.257
300.20/301.17 c bounds - >= 680 @ 299.257
300.20/301.17 c bounds - >= 681 @ 299.258
300.20/301.17 c bounds - >= 682 @ 299.258
300.20/301.17 c bounds - >= 683 @ 299.258
300.20/301.17 c bounds - >= 684 @ 299.258
300.20/301.17 c bounds - >= 685 @ 299.259
300.20/301.17 c bounds - >= 686 @ 299.259
300.20/301.17 c bounds - >= 687 @ 299.259
300.20/301.17 c bounds - >= 688 @ 299.259
300.20/301.17 c bounds - >= 689 @ 299.259
300.20/301.17 c bounds - >= 690 @ 299.26
300.20/301.17 c bounds - >= 691 @ 299.26
300.20/301.17 c bounds - >= 692 @ 299.26
300.20/301.17 c bounds - >= 693 @ 299.26
300.20/301.17 c bounds - >= 694 @ 299.261
300.20/301.17 c bounds - >= 695 @ 299.261
300.20/301.17 c bounds - >= 696 @ 299.261
300.20/301.17 c bounds - >= 697 @ 299.261
300.20/301.17 c bounds - >= 698 @ 299.262
300.20/301.17 c bounds - >= 699 @ 299.262
300.20/301.17 c bounds - >= 700 @ 299.262
300.20/301.17 c bounds - >= 701 @ 299.262
300.20/301.17 c bounds - >= 702 @ 299.262
300.20/301.17 c bounds - >= 703 @ 299.263
300.20/301.17 c bounds - >= 704 @ 299.263
300.20/301.17 c bounds - >= 705 @ 299.263
300.20/301.17 c bounds - >= 706 @ 299.263
300.20/301.17 c bounds - >= 707 @ 299.264
300.20/301.17 c bounds - >= 708 @ 299.264
300.20/301.17 c bounds - >= 709 @ 299.264
300.20/301.17 c bounds - >= 710 @ 299.264
300.20/301.17 c bounds - >= 711 @ 299.265
300.20/301.17 c bounds - >= 712 @ 299.265
300.20/301.17 c bounds - >= 713 @ 299.265
300.20/301.17 c bounds - >= 714 @ 299.265
300.20/301.17 c bounds - >= 715 @ 299.266
300.20/301.17 c bounds - >= 716 @ 299.266
300.20/301.17 c bounds - >= 717 @ 299.266
300.20/301.17 c bounds - >= 718 @ 299.266
300.20/301.17 c bounds - >= 719 @ 299.266
300.20/301.17 c bounds - >= 720 @ 299.266
300.20/301.17 c bounds - >= 721 @ 299.266
300.20/301.17 c bounds - >= 722 @ 299.266
300.20/301.17 c bounds - >= 723 @ 299.267
300.20/301.17 c bounds - >= 724 @ 299.267
300.20/301.17 c bounds - >= 725 @ 299.267
300.20/301.17 c bounds - >= 726 @ 299.267
300.20/301.17 c bounds - >= 727 @ 299.268
300.20/301.17 c bounds - >= 728 @ 299.268
300.20/301.17 c bounds - >= 729 @ 299.268
300.20/301.17 c bounds - >= 730 @ 299.268
300.20/301.17 c bounds - >= 731 @ 299.269
300.20/301.17 c bounds - >= 732 @ 299.269
300.20/301.17 c bounds - >= 733 @ 299.269
300.20/301.17 c bounds - >= 734 @ 299.269
300.20/301.17 c bounds - >= 735 @ 299.269
300.20/301.17 c bounds - >= 736 @ 299.27
300.20/301.17 c bounds - >= 737 @ 299.27
300.20/301.17 c bounds - >= 738 @ 299.27
300.20/301.17 c bounds - >= 739 @ 299.27
300.20/301.17 c bounds - >= 740 @ 299.27
300.20/301.17 c bounds - >= 741 @ 299.27
300.20/301.17 c bounds - >= 742 @ 299.27
300.20/301.17 c bounds - >= 743 @ 299.27
300.20/301.17 c bounds - >= 744 @ 299.27
300.20/301.17 c bounds - >= 745 @ 299.27
300.20/301.17 c bounds - >= 746 @ 299.27
300.20/301.17 c bounds - >= 747 @ 299.27
300.20/301.17 c bounds - >= 748 @ 299.27
300.20/301.17 c bounds - >= 749 @ 299.27
300.20/301.17 c bounds - >= 750 @ 299.27
300.20/301.17 c bounds - >= 751 @ 299.27
300.20/301.17 c bounds - >= 752 @ 299.27
300.20/301.17 c bounds - >= 753 @ 299.27
300.20/301.17 c bounds - >= 754 @ 299.27
300.20/301.17 c bounds - >= 755 @ 299.271
300.20/301.17 c bounds - >= 756 @ 299.271
300.20/301.17 c bounds - >= 757 @ 299.271
300.20/301.17 c bounds - >= 758 @ 299.271
300.20/301.17 c bounds - >= 759 @ 299.272
300.20/301.17 c bounds - >= 760 @ 299.272
300.20/301.17 c bounds - >= 761 @ 299.272
300.20/301.17 c bounds - >= 762 @ 299.272
300.20/301.17 c bounds - >= 763 @ 299.272
300.20/301.17 c bounds - >= 764 @ 299.272
300.20/301.17 c bounds - >= 765 @ 299.272
300.20/301.17 c bounds - >= 766 @ 299.273
300.20/301.17 c bounds - >= 767 @ 299.273
300.20/301.17 c bounds - >= 768 @ 299.273
300.20/301.17 c bounds - >= 769 @ 299.273
300.20/301.17 c bounds - >= 770 @ 299.274
300.20/301.17 c bounds - >= 771 @ 299.274
300.20/301.17 c bounds - >= 772 @ 299.274
300.20/301.17 c bounds - >= 773 @ 299.275
300.20/301.17 c bounds - >= 774 @ 299.275
300.20/301.17 c bounds - >= 775 @ 299.275
300.20/301.17 c bounds - >= 776 @ 299.276
300.20/301.17 c bounds - >= 777 @ 299.276
300.20/301.17 c bounds - >= 778 @ 299.276
300.20/301.17 c bounds - >= 779 @ 299.276
300.20/301.17 c bounds - >= 780 @ 299.276
300.20/301.17 c bounds - >= 781 @ 299.276
300.20/301.17 c bounds - >= 782 @ 299.276
300.20/301.17 c bounds - >= 783 @ 299.277
300.20/301.17 c bounds - >= 784 @ 299.277
300.20/301.17 c bounds - >= 785 @ 299.277
300.20/301.17 c bounds - >= 786 @ 299.278
300.20/301.17 c bounds - >= 787 @ 299.278
300.20/301.17 c bounds - >= 788 @ 299.278
300.20/301.17 c bounds - >= 789 @ 299.279
300.20/301.17 c bounds - >= 790 @ 299.279
300.20/301.17 c bounds - >= 791 @ 299.28
300.20/301.17 c bounds - >= 792 @ 299.28
300.20/301.17 c bounds - >= 793 @ 299.28
300.20/301.17 c bounds - >= 794 @ 299.281
300.20/301.17 c bounds - >= 795 @ 299.281
300.20/301.17 c bounds - >= 796 @ 299.281
300.20/301.17 c bounds - >= 797 @ 299.281
300.20/301.17 c bounds - >= 798 @ 299.281
300.20/301.17 c bounds - >= 799 @ 299.281
300.20/301.17 c bounds - >= 800 @ 299.282
300.20/301.17 c bounds - >= 801 @ 299.282
300.20/301.17 c bounds - >= 802 @ 299.283
300.20/301.17 c bounds - >= 803 @ 299.283
300.20/301.17 c bounds - >= 804 @ 299.284
300.20/301.17 c bounds - >= 805 @ 299.284
300.20/301.17 c bounds - >= 806 @ 299.285
300.20/301.17 c #Conflicts: 1000 | #Constraints: 5154
300.20/301.17 c #Conflicts: 2000 | #Constraints: 6154
300.20/301.17 c INPROCESSING
300.20/301.17 c GARBAGE COLLECT
300.20/301.17 c #Conflicts: 3000 | #Constraints: 6008
348.45/349.56 c #Conflicts: 4000 | #Constraints: 7008
348.45/349.56 c INPROCESSING
348.45/349.56 c GARBAGE COLLECT
348.45/349.56 c #Conflicts: 5000 | #Constraints: 6396
348.45/349.56 c #Conflicts: 6000 | #Constraints: 7396
348.45/349.56 c INPROCESSING
348.45/349.56 c GARBAGE COLLECT
348.45/349.56 c #Conflicts: 7000 | #Constraints: 6382
348.45/349.56 c #Conflicts: 8000 | #Constraints: 7382
348.45/349.56 c #Conflicts: 9000 | #Constraints: 8382
348.45/349.56 c INPROCESSING
348.45/349.56 c GARBAGE COLLECT
348.45/349.56 c #Conflicts: 10000 | #Constraints: 7074
348.45/349.56 c #Conflicts: 11000 | #Constraints: 8074
348.45/349.56 c #Conflicts: 12000 | #Constraints: 9074
348.45/349.56 c INPROCESSING
348.45/349.56 c GARBAGE COLLECT
348.45/349.56 c #Conflicts: 13000 | #Constraints: 7518
348.45/349.56 c #Conflicts: 14000 | #Constraints: 8518
348.45/349.56 c #Conflicts: 15000 | #Constraints: 9518
348.45/349.56 c INPROCESSING
348.45/349.56 c GARBAGE COLLECT
348.45/349.56 c #Conflicts: 16000 | #Constraints: 7762
348.45/349.56 c #Conflicts: 17000 | #Constraints: 8762
348.45/349.56 c #Conflicts: 18000 | #Constraints: 9762
348.45/349.56 c INPROCESSING
348.45/349.56 c GARBAGE COLLECT
348.45/349.56 c #Conflicts: 19000 | #Constraints: 7776
348.45/349.56 c #Conflicts: 20000 | #Constraints: 8776
348.45/349.56 c #Conflicts: 21000 | #Constraints: 9776
348.45/349.56 c INPROCESSING
348.45/349.56 c GARBAGE COLLECT
348.45/349.56 c #Conflicts: 22000 | #Constraints: 7575
348.45/349.56 c #Conflicts: 23000 | #Constraints: 8575
348.45/349.56 c #Conflicts: 24000 | #Constraints: 9575
348.45/349.56 c #Conflicts: 25000 | #Constraints: 10575
348.45/349.56 c INPROCESSING
348.45/349.56 c GARBAGE COLLECT
348.45/349.56 c #Conflicts: 26000 | #Constraints: 8183
348.45/349.56 c #Conflicts: 27000 | #Constraints: 9183
348.45/349.56 c #Conflicts: 28000 | #Constraints: 10183
348.45/349.56 c #Conflicts: 29000 | #Constraints: 11183
348.45/349.56 c INPROCESSING
348.45/349.56 c GARBAGE COLLECT
348.45/349.56 c #Conflicts: 30000 | #Constraints: 8580
348.45/349.56 c #Conflicts: 31000 | #Constraints: 9580
348.45/349.56 c #Conflicts: 32000 | #Constraints: 10580
348.45/349.56 c #Conflicts: 33000 | #Constraints: 11580
348.45/349.56 c INPROCESSING
348.45/349.56 c GARBAGE COLLECT
348.45/349.56 c #Conflicts: 34000 | #Constraints: 8780
348.45/349.56 c #Conflicts: 35000 | #Constraints: 9780
348.45/349.56 c #Conflicts: 36000 | #Constraints: 10780
348.45/349.56 c #Conflicts: 37000 | #Constraints: 11780
348.45/349.56 c INPROCESSING
348.45/349.56 c GARBAGE COLLECT
348.45/349.56 c #Conflicts: 38000 | #Constraints: 8785
348.45/349.56 c #Conflicts: 39000 | #Constraints: 9785
348.45/349.56 c #Conflicts: 40000 | #Constraints: 10785
348.45/349.56 c #Conflicts: 41000 | #Constraints: 11785
348.45/349.56 c INPROCESSING
348.45/349.56 c GARBAGE COLLECT
348.45/349.56 c #Conflicts: 42000 | #Constraints: 8592
348.45/349.56 c #Conflicts: 43000 | #Constraints: 9592
348.45/349.56 c #Conflicts: 44000 | #Constraints: 10592
348.45/349.56 c #Conflicts: 45000 | #Constraints: 11592
348.45/349.56 c #Conflicts: 46000 | #Constraints: 12592
348.45/349.56 c INPROCESSING
348.45/349.56 c GARBAGE COLLECT
348.45/349.56 c #Conflicts: 47000 | #Constraints: 9192
348.45/349.56 c #Conflicts: 48000 | #Constraints: 10192
348.45/349.56 c #Conflicts: 49000 | #Constraints: 11192
348.45/349.56 c #Conflicts: 50000 | #Constraints: 12192
348.45/349.56 c #Conflicts: 51000 | #Constraints: 13192
348.45/349.56 c INPROCESSING
348.45/349.56 c GARBAGE COLLECT
348.45/349.56 c #Conflicts: 52000 | #Constraints: 9594
348.45/349.56 c #Conflicts: 53000 | #Constraints: 10594
348.45/349.56 c #Conflicts: 54000 | #Constraints: 11594
348.45/349.56 c #Conflicts: 55000 | #Constraints: 12594
348.45/349.56 c #Conflicts: 56000 | #Constraints: 13594
348.45/349.56 c INPROCESSING
348.45/349.56 c GARBAGE COLLECT
348.45/349.56 c #Conflicts: 57000 | #Constraints: 9785
348.45/349.56 c #Conflicts: 58000 | #Constraints: 10785
348.45/349.56 c #Conflicts: 59000 | #Constraints: 11785
348.45/349.56 c #Conflicts: 60000 | #Constraints: 12785
348.45/349.56 c #Conflicts: 61000 | #Constraints: 13785
348.45/349.56 c INPROCESSING
348.45/349.56 c GARBAGE COLLECT
348.45/349.56 c #Conflicts: 62000 | #Constraints: 9772
348.45/349.56 c #Conflicts: 63000 | #Constraints: 10772
348.45/349.56 c #Conflicts: 64000 | #Constraints: 11772
348.45/349.56 c #Conflicts: 65000 | #Constraints: 12772
348.45/349.56 c #Conflicts: 66000 | #Constraints: 13772
348.45/349.56 c INPROCESSING
348.45/349.56 c GARBAGE COLLECT
348.45/349.56 c #Conflicts: 67000 | #Constraints: 9564
348.45/349.56 c #Conflicts: 68000 | #Constraints: 10564
348.45/349.56 c #Conflicts: 69000 | #Constraints: 11564
348.45/349.56 c #Conflicts: 70000 | #Constraints: 12564
348.45/349.56 c #Conflicts: 71000 | #Constraints: 13564
425.20/426.53 c #Conflicts: 72000 | #Constraints: 14564
425.20/426.53 c INPROCESSING
425.20/426.53 c GARBAGE COLLECT
425.20/426.53 c #Conflicts: 73000 | #Constraints: 10165
425.20/426.53 c #Conflicts: 74000 | #Constraints: 11165
425.20/426.53 c #Conflicts: 75000 | #Constraints: 12165
425.20/426.53 c #Conflicts: 76000 | #Constraints: 13165
425.20/426.53 c #Conflicts: 77000 | #Constraints: 14165
425.20/426.53 c #Conflicts: 78000 | #Constraints: 15165
425.20/426.53 c INPROCESSING
425.20/426.53 c GARBAGE COLLECT
425.20/426.53 c #Conflicts: 79000 | #Constraints: 10563
425.20/426.53 c #Conflicts: 80000 | #Constraints: 11563
425.20/426.53 c #Conflicts: 81000 | #Constraints: 12563
425.20/426.53 c #Conflicts: 82000 | #Constraints: 13563
425.20/426.53 c #Conflicts: 83000 | #Constraints: 14563
425.20/426.53 c #Conflicts: 84000 | #Constraints: 15563
425.20/426.53 c INPROCESSING
425.20/426.53 c GARBAGE COLLECT
425.20/426.53 c #Conflicts: 85000 | #Constraints: 10770
425.20/426.53 c #Conflicts: 86000 | #Constraints: 11770
425.20/426.53 c #Conflicts: 87000 | #Constraints: 12770
425.20/426.53 c #Conflicts: 88000 | #Constraints: 13770
425.20/426.53 c #Conflicts: 89000 | #Constraints: 14770
425.20/426.53 c #Conflicts: 90000 | #Constraints: 15770
425.20/426.53 c INPROCESSING
425.20/426.53 c GARBAGE COLLECT
425.20/426.53 c #Conflicts: 91000 | #Constraints: 10773
425.20/426.53 c #Conflicts: 92000 | #Constraints: 11773
425.20/426.53 c #Conflicts: 93000 | #Constraints: 12773
425.20/426.53 c #Conflicts: 94000 | #Constraints: 13773
425.20/426.53 c #Conflicts: 95000 | #Constraints: 14773
425.20/426.53 c #Conflicts: 96000 | #Constraints: 15773
425.20/426.53 c INPROCESSING
425.20/426.53 c GARBAGE COLLECT
425.20/426.53 c #Conflicts: 97000 | #Constraints: 10577
425.20/426.53 c #Conflicts: 98000 | #Constraints: 11577
425.20/426.53 c #Conflicts: 99000 | #Constraints: 12577
425.20/426.53 c #Conflicts: 100000 | #Constraints: 13577
425.20/426.53 c #Conflicts: 101000 | #Constraints: 14577
425.20/426.53 c #Conflicts: 102000 | #Constraints: 15577
425.20/426.53 c #Conflicts: 103000 | #Constraints: 16577
425.20/426.53 c INPROCESSING
425.20/426.53 c GARBAGE COLLECT
425.20/426.53 c #Conflicts: 104000 | #Constraints: 11170
425.20/426.53 c #Conflicts: 105000 | #Constraints: 12170
425.20/426.53 c #Conflicts: 106000 | #Constraints: 13170
425.20/426.53 c #Conflicts: 107000 | #Constraints: 14170
425.20/426.53 c #Conflicts: 108000 | #Constraints: 15170
425.20/426.53 c #Conflicts: 109000 | #Constraints: 16170
425.20/426.53 c #Conflicts: 110000 | #Constraints: 17170
425.20/426.53 c INPROCESSING
425.20/426.53 c GARBAGE COLLECT
425.20/426.53 c #Conflicts: 111000 | #Constraints: 11574
425.20/426.53 c #Conflicts: 112000 | #Constraints: 12574
425.20/426.53 c #Conflicts: 113000 | #Constraints: 13574
425.20/426.53 c #Conflicts: 114000 | #Constraints: 14574
425.20/426.53 c #Conflicts: 115000 | #Constraints: 15574
425.20/426.53 c #Conflicts: 116000 | #Constraints: 16574
425.20/426.53 c #Conflicts: 117000 | #Constraints: 17574
425.20/426.53 c INPROCESSING
425.20/426.53 c GARBAGE COLLECT
425.20/426.53 c #Conflicts: 118000 | #Constraints: 11770
425.20/426.53 c #Conflicts: 119000 | #Constraints: 12770
425.20/426.53 c #Conflicts: 120000 | #Constraints: 13770
425.20/426.53 c #Conflicts: 121000 | #Constraints: 14770
425.20/426.53 c #Conflicts: 122000 | #Constraints: 15770
425.20/426.53 c #Conflicts: 123000 | #Constraints: 16770
425.20/426.53 c #Conflicts: 124000 | #Constraints: 17770
425.20/426.53 c INPROCESSING
425.20/426.53 c GARBAGE COLLECT
425.20/426.53 c #Conflicts: 125000 | #Constraints: 11764
425.20/426.53 c #Conflicts: 126000 | #Constraints: 12764
425.20/426.53 c #Conflicts: 127000 | #Constraints: 13764
425.20/426.53 c #Conflicts: 128000 | #Constraints: 14764
425.20/426.53 c #Conflicts: 129000 | #Constraints: 15764
425.20/426.53 c #Conflicts: 130000 | #Constraints: 16764
425.20/426.53 c #Conflicts: 131000 | #Constraints: 17764
425.20/426.53 c INPROCESSING
425.20/426.53 c GARBAGE COLLECT
425.20/426.53 c #Conflicts: 132000 | #Constraints: 11564
425.20/426.53 c #Conflicts: 133000 | #Constraints: 12564
425.20/426.53 c #Conflicts: 134000 | #Constraints: 13564
425.20/426.53 c #Conflicts: 135000 | #Constraints: 14564
425.20/426.53 c #Conflicts: 136000 | #Constraints: 15564
425.20/426.53 c #Conflicts: 137000 | #Constraints: 16564
425.20/426.53 c #Conflicts: 138000 | #Constraints: 17564
425.20/426.53 c #Conflicts: 139000 | #Constraints: 18564
425.20/426.53 c INPROCESSING
425.20/426.53 c GARBAGE COLLECT
425.20/426.53 c #Conflicts: 140000 | #Constraints: 12169
425.20/426.53 c #Conflicts: 141000 | #Constraints: 13169
425.20/426.53 c #Conflicts: 142000 | #Constraints: 14169
425.20/426.53 c #Conflicts: 143000 | #Constraints: 15169
534.66/536.37 c #Conflicts: 144000 | #Constraints: 16169
534.66/536.37 c #Conflicts: 145000 | #Constraints: 17169
534.66/536.37 c #Conflicts: 146000 | #Constraints: 18169
534.66/536.37 c #Conflicts: 147000 | #Constraints: 19169
534.66/536.37 c INPROCESSING
534.66/536.37 c GARBAGE COLLECT
534.66/536.37 c #Conflicts: 148000 | #Constraints: 12572
534.66/536.37 c #Conflicts: 149000 | #Constraints: 13572
534.66/536.37 c #Conflicts: 150000 | #Constraints: 14572
534.66/536.37 c #Conflicts: 151000 | #Constraints: 15572
534.66/536.37 c #Conflicts: 152000 | #Constraints: 16572
534.66/536.37 c #Conflicts: 153000 | #Constraints: 17572
534.66/536.37 c #Conflicts: 154000 | #Constraints: 18572
534.66/536.37 c #Conflicts: 155000 | #Constraints: 19572
534.66/536.37 c INPROCESSING
534.66/536.37 c GARBAGE COLLECT
534.66/536.37 c #Conflicts: 156000 | #Constraints: 12766
534.66/536.37 c #Conflicts: 157000 | #Constraints: 13766
534.66/536.37 c #Conflicts: 158000 | #Constraints: 14766
534.66/536.37 c #Conflicts: 159000 | #Constraints: 15766
534.66/536.37 c #Conflicts: 160000 | #Constraints: 16766
534.66/536.37 c #Conflicts: 161000 | #Constraints: 17766
534.66/536.37 c #Conflicts: 162000 | #Constraints: 18766
534.66/536.37 c #Conflicts: 163000 | #Constraints: 19766
534.66/536.37 c INPROCESSING
534.66/536.37 c GARBAGE COLLECT
534.66/536.37 c #Conflicts: 164000 | #Constraints: 12768
534.66/536.37 c #Conflicts: 165000 | #Constraints: 13768
534.66/536.37 c #Conflicts: 166000 | #Constraints: 14768
534.66/536.37 c #Conflicts: 167000 | #Constraints: 15768
534.66/536.37 c #Conflicts: 168000 | #Constraints: 16768
534.66/536.37 c #Conflicts: 169000 | #Constraints: 17768
534.66/536.37 c #Conflicts: 170000 | #Constraints: 18768
534.66/536.37 c #Conflicts: 171000 | #Constraints: 19768
534.66/536.37 c INPROCESSING
534.66/536.37 c GARBAGE COLLECT
534.66/536.37 c #Conflicts: 172000 | #Constraints: 12564
534.66/536.37 c #Conflicts: 173000 | #Constraints: 13564
534.66/536.37 c #Conflicts: 174000 | #Constraints: 14564
534.66/536.37 c #Conflicts: 175000 | #Constraints: 15564
534.66/536.37 c #Conflicts: 176000 | #Constraints: 16564
534.66/536.37 c #Conflicts: 177000 | #Constraints: 17564
534.66/536.37 c #Conflicts: 178000 | #Constraints: 18564
534.66/536.37 c #Conflicts: 179000 | #Constraints: 19564
534.66/536.37 c #Conflicts: 180000 | #Constraints: 20564
534.66/536.37 c INPROCESSING
534.66/536.37 c GARBAGE COLLECT
534.66/536.37 c #Conflicts: 181000 | #Constraints: 13165
534.66/536.37 c #Conflicts: 182000 | #Constraints: 14165
534.66/536.37 c #Conflicts: 183000 | #Constraints: 15165
534.66/536.37 c #Conflicts: 184000 | #Constraints: 16165
534.66/536.37 c #Conflicts: 185000 | #Constraints: 17165
534.66/536.37 c #Conflicts: 186000 | #Constraints: 18165
534.66/536.37 c #Conflicts: 187000 | #Constraints: 19165
534.66/536.37 c #Conflicts: 188000 | #Constraints: 20165
534.66/536.37 c #Conflicts: 189000 | #Constraints: 21165
534.66/536.37 c INPROCESSING
534.66/536.37 c GARBAGE COLLECT
534.66/536.37 c #Conflicts: 190000 | #Constraints: 13570
534.66/536.37 c #Conflicts: 191000 | #Constraints: 14570
534.66/536.37 c #Conflicts: 192000 | #Constraints: 15570
534.66/536.37 c #Conflicts: 193000 | #Constraints: 16570
534.66/536.37 c #Conflicts: 194000 | #Constraints: 17570
534.66/536.37 c #Conflicts: 195000 | #Constraints: 18570
534.66/536.37 c #Conflicts: 196000 | #Constraints: 19570
534.66/536.37 c #Conflicts: 197000 | #Constraints: 20570
534.66/536.37 c #Conflicts: 198000 | #Constraints: 21570
534.66/536.37 c INPROCESSING
534.66/536.37 c GARBAGE COLLECT
534.66/536.37 c #Conflicts: 199000 | #Constraints: 13775
534.66/536.37 c #Conflicts: 200000 | #Constraints: 14775
534.66/536.37 c #Conflicts: 201000 | #Constraints: 15775
534.66/536.37 c #Conflicts: 202000 | #Constraints: 16775
534.66/536.37 c #Conflicts: 203000 | #Constraints: 17775
534.66/536.37 c #Conflicts: 204000 | #Constraints: 18775
534.66/536.37 c #Conflicts: 205000 | #Constraints: 19775
534.66/536.37 c #Conflicts: 206000 | #Constraints: 20775
534.66/536.37 c #Conflicts: 207000 | #Constraints: 21775
534.66/536.37 c INPROCESSING
534.66/536.37 c GARBAGE COLLECT
534.66/536.37 c #Conflicts: 208000 | #Constraints: 13773
534.66/536.37 c #Conflicts: 209000 | #Constraints: 14773
534.66/536.37 c #Conflicts: 210000 | #Constraints: 15773
534.66/536.37 c #Conflicts: 211000 | #Constraints: 16773
534.66/536.37 c #Conflicts: 212000 | #Constraints: 17773
534.66/536.37 c #Conflicts: 213000 | #Constraints: 18773
534.66/536.37 c #Conflicts: 214000 | #Constraints: 19773
534.66/536.37 c #Conflicts: 215000 | #Constraints: 20773
534.66/536.37 c #Conflicts: 216000 | #Constraints: 21773
534.66/536.37 c INPROCESSING
649.60/651.68 c GARBAGE COLLECT
649.60/651.68 c #Conflicts: 217000 | #Constraints: 13577
649.60/651.68 c #Conflicts: 218000 | #Constraints: 14577
649.60/651.68 c #Conflicts: 219000 | #Constraints: 15577
649.60/651.68 c #Conflicts: 220000 | #Constraints: 16577
649.60/651.68 c #Conflicts: 221000 | #Constraints: 17577
649.60/651.68 c #Conflicts: 222000 | #Constraints: 18577
649.60/651.68 c #Conflicts: 223000 | #Constraints: 19577
649.60/651.68 c #Conflicts: 224000 | #Constraints: 20577
649.60/651.68 c #Conflicts: 225000 | #Constraints: 21577
649.60/651.68 c #Conflicts: 226000 | #Constraints: 22577
649.60/651.68 c INPROCESSING
649.60/651.68 c GARBAGE COLLECT
649.60/651.68 c #Conflicts: 227000 | #Constraints: 14178
649.60/651.68 c #Conflicts: 228000 | #Constraints: 15178
649.60/651.68 c #Conflicts: 229000 | #Constraints: 16178
649.60/651.68 c #Conflicts: 230000 | #Constraints: 17178
649.60/651.68 c #Conflicts: 231000 | #Constraints: 18178
649.60/651.68 c #Conflicts: 232000 | #Constraints: 19178
649.60/651.68 c #Conflicts: 233000 | #Constraints: 20178
649.60/651.68 c #Conflicts: 234000 | #Constraints: 21178
649.60/651.68 c #Conflicts: 235000 | #Constraints: 22178
649.60/651.68 c #Conflicts: 236000 | #Constraints: 23178
649.60/651.68 c INPROCESSING
649.60/651.68 c GARBAGE COLLECT
649.60/651.68 c #Conflicts: 237000 | #Constraints: 14582
649.60/651.68 c #Conflicts: 238000 | #Constraints: 15582
649.60/651.68 c #Conflicts: 239000 | #Constraints: 16582
649.60/651.68 c #Conflicts: 240000 | #Constraints: 17582
649.60/651.68 c #Conflicts: 241000 | #Constraints: 18582
649.60/651.68 c #Conflicts: 242000 | #Constraints: 19582
649.60/651.68 c #Conflicts: 243000 | #Constraints: 20582
649.60/651.68 c #Conflicts: 244000 | #Constraints: 21582
649.60/651.68 c #Conflicts: 245000 | #Constraints: 22582
649.60/651.68 c #Conflicts: 246000 | #Constraints: 23582
649.60/651.68 c INPROCESSING
649.60/651.68 c GARBAGE COLLECT
649.60/651.68 c #Conflicts: 247000 | #Constraints: 14780
649.60/651.68 c #Conflicts: 248000 | #Constraints: 15780
649.60/651.68 c #Conflicts: 249000 | #Constraints: 16780
649.60/651.68 c #Conflicts: 250000 | #Constraints: 17780
649.60/651.68 c #Conflicts: 251000 | #Constraints: 18780
649.60/651.68 c #Conflicts: 252000 | #Constraints: 19780
649.60/651.68 c #Conflicts: 253000 | #Constraints: 20780
649.60/651.68 c #Conflicts: 254000 | #Constraints: 21780
649.60/651.68 c #Conflicts: 255000 | #Constraints: 22780
649.60/651.68 c #Conflicts: 256000 | #Constraints: 23780
649.60/651.68 c INPROCESSING
649.60/651.68 c GARBAGE COLLECT
649.60/651.68 c #Conflicts: 257000 | #Constraints: 14773
649.60/651.68 c #Conflicts: 258000 | #Constraints: 15773
649.60/651.68 c #Conflicts: 259000 | #Constraints: 16773
649.60/651.68 c #Conflicts: 260000 | #Constraints: 17773
649.60/651.68 c #Conflicts: 261000 | #Constraints: 18773
649.60/651.68 c #Conflicts: 262000 | #Constraints: 19773
649.60/651.68 c #Conflicts: 263000 | #Constraints: 20773
649.60/651.68 c #Conflicts: 264000 | #Constraints: 21773
649.60/651.68 c #Conflicts: 265000 | #Constraints: 22773
649.60/651.68 c #Conflicts: 266000 | #Constraints: 23773
649.60/651.68 c INPROCESSING
649.60/651.68 c GARBAGE COLLECT
649.60/651.68 c #Conflicts: 267000 | #Constraints: 14575
649.60/651.68 c #Conflicts: 268000 | #Constraints: 15575
649.60/651.68 c #Conflicts: 269000 | #Constraints: 16575
649.60/651.68 c #Conflicts: 270000 | #Constraints: 17575
649.60/651.68 c #Conflicts: 271000 | #Constraints: 18575
649.60/651.68 c #Conflicts: 272000 | #Constraints: 19575
649.60/651.68 c #Conflicts: 273000 | #Constraints: 20575
649.60/651.68 c #Conflicts: 274000 | #Constraints: 21575
649.60/651.68 c #Conflicts: 275000 | #Constraints: 22575
649.60/651.68 c #Conflicts: 276000 | #Constraints: 23575
649.60/651.68 c #Conflicts: 277000 | #Constraints: 24575
649.60/651.68 c INPROCESSING
649.60/651.68 c GARBAGE COLLECT
649.60/651.68 c #Conflicts: 278000 | #Constraints: 15176
649.60/651.68 c #Conflicts: 279000 | #Constraints: 16176
649.60/651.68 c #Conflicts: 280000 | #Constraints: 17176
649.60/651.68 c #Conflicts: 281000 | #Constraints: 18176
649.60/651.68 c #Conflicts: 282000 | #Constraints: 19176
649.60/651.68 c #Conflicts: 283000 | #Constraints: 20176
649.60/651.68 c #Conflicts: 284000 | #Constraints: 21176
649.60/651.68 c #Conflicts: 285000 | #Constraints: 22176
649.60/651.68 c #Conflicts: 286000 | #Constraints: 23176
649.60/651.68 c #Conflicts: 287000 | #Constraints: 24176
649.60/651.68 c #Conflicts: 288000 | #Constraints: 25176
649.60/651.68 c INPROCESSING
649.60/651.68 c GARBAGE COLLECT
649.60/651.68 c #Conflicts: 289000 | #Constraints: 15572
649.60/651.68 c #Conflicts: 290000 | #Constraints: 16572
804.56/807.05 c #Conflicts: 291000 | #Constraints: 17572
804.56/807.05 c #Conflicts: 292000 | #Constraints: 18572
804.56/807.05 c #Conflicts: 293000 | #Constraints: 19572
804.56/807.05 c #Conflicts: 294000 | #Constraints: 20572
804.56/807.05 c #Conflicts: 295000 | #Constraints: 21572
804.56/807.05 c #Conflicts: 296000 | #Constraints: 22572
804.56/807.05 c #Conflicts: 297000 | #Constraints: 23572
804.56/807.05 c #Conflicts: 298000 | #Constraints: 24572
804.56/807.05 c #Conflicts: 299000 | #Constraints: 25572
804.56/807.05 c INPROCESSING
804.56/807.05 c GARBAGE COLLECT
804.56/807.05 c #Conflicts: 300000 | #Constraints: 15779
804.56/807.05 c #Conflicts: 301000 | #Constraints: 16779
804.56/807.05 c #Conflicts: 302000 | #Constraints: 17779
804.56/807.05 c #Conflicts: 303000 | #Constraints: 18779
804.56/807.05 c #Conflicts: 304000 | #Constraints: 19779
804.56/807.05 c #Conflicts: 305000 | #Constraints: 20779
804.56/807.05 c #Conflicts: 306000 | #Constraints: 21779
804.56/807.05 c #Conflicts: 307000 | #Constraints: 22779
804.56/807.05 c #Conflicts: 308000 | #Constraints: 23779
804.56/807.05 c #Conflicts: 309000 | #Constraints: 24779
804.56/807.05 c #Conflicts: 310000 | #Constraints: 25779
804.56/807.05 c INPROCESSING
804.56/807.05 c GARBAGE COLLECT
804.56/807.05 c #Conflicts: 311000 | #Constraints: 15772
804.56/807.05 c #Conflicts: 312000 | #Constraints: 16772
804.56/807.05 c #Conflicts: 313000 | #Constraints: 17772
804.56/807.05 c #Conflicts: 314000 | #Constraints: 18772
804.56/807.05 c #Conflicts: 315000 | #Constraints: 19772
804.56/807.05 c #Conflicts: 316000 | #Constraints: 20772
804.56/807.05 c #Conflicts: 317000 | #Constraints: 21772
804.56/807.05 c #Conflicts: 318000 | #Constraints: 22772
804.56/807.05 c #Conflicts: 319000 | #Constraints: 23772
804.56/807.05 c #Conflicts: 320000 | #Constraints: 24772
804.56/807.05 c #Conflicts: 321000 | #Constraints: 25772
804.56/807.05 c INPROCESSING
804.56/807.05 c GARBAGE COLLECT
804.56/807.05 c #Conflicts: 322000 | #Constraints: 15573
804.56/807.05 c #Conflicts: 323000 | #Constraints: 16573
804.56/807.05 c #Conflicts: 324000 | #Constraints: 17573
804.56/807.05 c #Conflicts: 325000 | #Constraints: 18573
804.56/807.05 c #Conflicts: 326000 | #Constraints: 19573
804.56/807.05 c #Conflicts: 327000 | #Constraints: 20573
804.56/807.05 c #Conflicts: 328000 | #Constraints: 21573
804.56/807.05 c #Conflicts: 329000 | #Constraints: 22573
804.56/807.05 c #Conflicts: 330000 | #Constraints: 23573
804.56/807.05 c #Conflicts: 331000 | #Constraints: 24573
804.56/807.05 c #Conflicts: 332000 | #Constraints: 25573
804.56/807.05 c #Conflicts: 333000 | #Constraints: 26573
804.56/807.05 c INPROCESSING
804.56/807.05 c GARBAGE COLLECT
804.56/807.05 c #Conflicts: 334000 | #Constraints: 16177
804.56/807.05 c #Conflicts: 335000 | #Constraints: 17177
804.56/807.05 c #Conflicts: 336000 | #Constraints: 18177
804.56/807.05 c #Conflicts: 337000 | #Constraints: 19177
804.56/807.05 c #Conflicts: 338000 | #Constraints: 20177
804.56/807.05 c #Conflicts: 339000 | #Constraints: 21177
804.56/807.05 c #Conflicts: 340000 | #Constraints: 22177
804.56/807.05 c #Conflicts: 341000 | #Constraints: 23177
804.56/807.05 c #Conflicts: 342000 | #Constraints: 24177
804.56/807.05 c #Conflicts: 343000 | #Constraints: 25177
804.56/807.05 c #Conflicts: 344000 | #Constraints: 26177
804.56/807.05 c #Conflicts: 345000 | #Constraints: 27177
804.56/807.05 c INPROCESSING
804.56/807.05 c GARBAGE COLLECT
804.56/807.05 c #Conflicts: 346000 | #Constraints: 16586
804.56/807.05 c #Conflicts: 347000 | #Constraints: 17586
804.56/807.05 c #Conflicts: 348000 | #Constraints: 18586
804.56/807.05 c #Conflicts: 349000 | #Constraints: 19586
804.56/807.05 c #Conflicts: 350000 | #Constraints: 20586
804.56/807.05 c #Conflicts: 351000 | #Constraints: 21586
804.56/807.05 c #Conflicts: 352000 | #Constraints: 22586
804.56/807.05 c #Conflicts: 353000 | #Constraints: 23586
804.56/807.05 c #Conflicts: 354000 | #Constraints: 24586
804.56/807.05 c #Conflicts: 355000 | #Constraints: 25586
804.56/807.05 c #Conflicts: 356000 | #Constraints: 26586
804.56/807.05 c #Conflicts: 357000 | #Constraints: 27586
804.56/807.05 c INPROCESSING
804.56/807.05 c GARBAGE COLLECT
804.56/807.05 c #Conflicts: 358000 | #Constraints: 16775
804.56/807.05 c #Conflicts: 359000 | #Constraints: 17775
804.56/807.05 c #Conflicts: 360000 | #Constraints: 18775
804.56/807.05 c #Conflicts: 361000 | #Constraints: 19775
804.56/807.05 c #Conflicts: 362000 | #Constraints: 20775
804.56/807.05 c #Conflicts: 363000 | #Constraints: 21775
804.56/807.05 c #Conflicts: 364000 | #Constraints: 22775
804.56/807.05 c #Conflicts: 365000 | #Constraints: 23775
992.54/995.55 c #Conflicts: 366000 | #Constraints: 24775
992.54/995.55 c #Conflicts: 367000 | #Constraints: 25775
992.54/995.55 c #Conflicts: 368000 | #Constraints: 26775
992.54/995.55 c #Conflicts: 369000 | #Constraints: 27775
992.54/995.55 c INPROCESSING
992.54/995.55 c GARBAGE COLLECT
992.54/995.55 c #Conflicts: 370000 | #Constraints: 16776
992.54/995.55 c #Conflicts: 371000 | #Constraints: 17776
992.54/995.55 c #Conflicts: 372000 | #Constraints: 18776
992.54/995.55 c #Conflicts: 373000 | #Constraints: 19776
992.54/995.55 c #Conflicts: 374000 | #Constraints: 20776
992.54/995.55 c #Conflicts: 375000 | #Constraints: 21776
992.54/995.55 c #Conflicts: 376000 | #Constraints: 22776
992.54/995.55 c #Conflicts: 377000 | #Constraints: 23776
992.54/995.55 c #Conflicts: 378000 | #Constraints: 24776
992.54/995.55 c #Conflicts: 379000 | #Constraints: 25776
992.54/995.55 c #Conflicts: 380000 | #Constraints: 26776
992.54/995.55 c #Conflicts: 381000 | #Constraints: 27776
992.54/995.55 c INPROCESSING
992.54/995.55 c GARBAGE COLLECT
992.54/995.55 c #Conflicts: 382000 | #Constraints: 16574
992.54/995.55 c #Conflicts: 383000 | #Constraints: 17574
992.54/995.55 c #Conflicts: 384000 | #Constraints: 18574
992.54/995.55 c #Conflicts: 385000 | #Constraints: 19574
992.54/995.55 c #Conflicts: 386000 | #Constraints: 20574
992.54/995.55 c #Conflicts: 387000 | #Constraints: 21574
992.54/995.55 c #Conflicts: 388000 | #Constraints: 22574
992.54/995.55 c #Conflicts: 389000 | #Constraints: 23574
992.54/995.55 c #Conflicts: 390000 | #Constraints: 24574
992.54/995.55 c #Conflicts: 391000 | #Constraints: 25574
992.54/995.55 c #Conflicts: 392000 | #Constraints: 26574
992.54/995.55 c #Conflicts: 393000 | #Constraints: 27574
992.54/995.55 c #Conflicts: 394000 | #Constraints: 28574
992.54/995.55 c INPROCESSING
992.54/995.55 c GARBAGE COLLECT
992.54/995.55 c #Conflicts: 395000 | #Constraints: 17170
992.54/995.55 c #Conflicts: 396000 | #Constraints: 18170
992.54/995.55 c #Conflicts: 397000 | #Constraints: 19170
992.54/995.55 c #Conflicts: 398000 | #Constraints: 20170
992.54/995.55 c #Conflicts: 399000 | #Constraints: 21170
992.54/995.55 c #Conflicts: 400000 | #Constraints: 22170
992.54/995.55 c #Conflicts: 401000 | #Constraints: 23170
992.54/995.55 c #Conflicts: 402000 | #Constraints: 24170
992.54/995.55 c #Conflicts: 403000 | #Constraints: 25170
992.54/995.55 c #Conflicts: 404000 | #Constraints: 26170
992.54/995.55 c #Conflicts: 405000 | #Constraints: 27170
992.54/995.55 c #Conflicts: 406000 | #Constraints: 28170
992.54/995.55 c #Conflicts: 407000 | #Constraints: 29170
992.54/995.55 c INPROCESSING
992.54/995.55 c GARBAGE COLLECT
992.54/995.55 c #Conflicts: 408000 | #Constraints: 17570
992.54/995.55 c #Conflicts: 409000 | #Constraints: 18570
992.54/995.55 c #Conflicts: 410000 | #Constraints: 19570
992.54/995.55 c #Conflicts: 411000 | #Constraints: 20570
992.54/995.55 c #Conflicts: 412000 | #Constraints: 21570
992.54/995.55 c #Conflicts: 413000 | #Constraints: 22570
992.54/995.55 c #Conflicts: 414000 | #Constraints: 23570
992.54/995.55 c #Conflicts: 415000 | #Constraints: 24570
992.54/995.55 c #Conflicts: 416000 | #Constraints: 25570
992.54/995.55 c #Conflicts: 417000 | #Constraints: 26570
992.54/995.55 c #Conflicts: 418000 | #Constraints: 27570
992.54/995.55 c #Conflicts: 419000 | #Constraints: 28570
992.54/995.55 c #Conflicts: 420000 | #Constraints: 29570
992.54/995.55 c INPROCESSING
992.54/995.55 c GARBAGE COLLECT
992.54/995.55 c #Conflicts: 421000 | #Constraints: 17769
992.54/995.55 c #Conflicts: 422000 | #Constraints: 18769
992.54/995.55 c #Conflicts: 423000 | #Constraints: 19769
992.54/995.55 c #Conflicts: 424000 | #Constraints: 20769
992.54/995.55 c #Conflicts: 425000 | #Constraints: 21769
992.54/995.55 c #Conflicts: 426000 | #Constraints: 22769
992.54/995.55 c #Conflicts: 427000 | #Constraints: 23769
992.54/995.55 c #Conflicts: 428000 | #Constraints: 24769
992.54/995.55 c #Conflicts: 429000 | #Constraints: 25769
992.54/995.55 c #Conflicts: 430000 | #Constraints: 26769
992.54/995.55 c #Conflicts: 431000 | #Constraints: 27769
992.54/995.55 c #Conflicts: 432000 | #Constraints: 28769
992.54/995.55 c #Conflicts: 433000 | #Constraints: 29769
992.54/995.55 c INPROCESSING
992.54/995.55 c GARBAGE COLLECT
992.54/995.55 c #Conflicts: 434000 | #Constraints: 17771
992.54/995.55 c #Conflicts: 435000 | #Constraints: 18771
992.54/995.55 c #Conflicts: 436000 | #Constraints: 19771
992.54/995.55 c #Conflicts: 437000 | #Constraints: 20771
992.54/995.55 c #Conflicts: 438000 | #Constraints: 21771
992.54/995.55 c #Conflicts: 439000 | #Constraints: 22771
992.54/995.55 c #Conflicts: 440000 | #Constraints: 23771
1125.69/1129.07 c #Conflicts: 441000 | #Constraints: 24771
1125.69/1129.07 c #Conflicts: 442000 | #Constraints: 25771
1125.69/1129.07 c #Conflicts: 443000 | #Constraints: 26771
1125.69/1129.07 c #Conflicts: 444000 | #Constraints: 27771
1125.69/1129.07 c #Conflicts: 445000 | #Constraints: 28771
1125.69/1129.07 c #Conflicts: 446000 | #Constraints: 29771
1125.69/1129.07 c INPROCESSING
1125.69/1129.07 c GARBAGE COLLECT
1125.69/1129.07 c #Conflicts: 447000 | #Constraints: 17575
1125.69/1129.07 c #Conflicts: 448000 | #Constraints: 18575
1125.69/1129.07 c #Conflicts: 449000 | #Constraints: 19575
1125.69/1129.07 c #Conflicts: 450000 | #Constraints: 20575
1125.69/1129.07 c #Conflicts: 451000 | #Constraints: 21575
1125.69/1129.07 c #Conflicts: 452000 | #Constraints: 22575
1125.69/1129.07 c #Conflicts: 453000 | #Constraints: 23575
1125.69/1129.07 c #Conflicts: 454000 | #Constraints: 24575
1125.69/1129.07 c #Conflicts: 455000 | #Constraints: 25575
1125.69/1129.07 c #Conflicts: 456000 | #Constraints: 26575
1125.69/1129.07 c #Conflicts: 457000 | #Constraints: 27575
1125.69/1129.07 c #Conflicts: 458000 | #Constraints: 28575
1125.69/1129.07 c #Conflicts: 459000 | #Constraints: 29575
1125.69/1129.07 c #Conflicts: 460000 | #Constraints: 30575
1125.69/1129.07 c INPROCESSING
1125.69/1129.07 c GARBAGE COLLECT
1125.69/1129.07 c #Conflicts: 461000 | #Constraints: 18175
1125.69/1129.07 c #Conflicts: 462000 | #Constraints: 19175
1125.69/1129.07 c #Conflicts: 463000 | #Constraints: 20175
1125.69/1129.07 c #Conflicts: 464000 | #Constraints: 21175
1125.69/1129.07 c #Conflicts: 465000 | #Constraints: 22175
1125.69/1129.07 c #Conflicts: 466000 | #Constraints: 23175
1125.69/1129.07 c #Conflicts: 467000 | #Constraints: 24175
1125.69/1129.07 c #Conflicts: 468000 | #Constraints: 25175
1125.69/1129.07 c #Conflicts: 469000 | #Constraints: 26175
1125.69/1129.07 c #Conflicts: 470000 | #Constraints: 27175
1125.69/1129.07 c #Conflicts: 471000 | #Constraints: 28175
1125.69/1129.07 c #Conflicts: 472000 | #Constraints: 29175
1125.69/1129.07 c #Conflicts: 473000 | #Constraints: 30175
1125.69/1129.07 c #Conflicts: 474000 | #Constraints: 31175
1125.69/1129.07 c INPROCESSING
1125.69/1129.07 c GARBAGE COLLECT
1125.69/1129.07 c #Conflicts: 475000 | #Constraints: 18590
1125.69/1129.07 c #Conflicts: 476000 | #Constraints: 19590
1125.69/1129.07 c #Conflicts: 477000 | #Constraints: 20590
1125.69/1129.07 c #Conflicts: 478000 | #Constraints: 21590
1125.69/1129.07 c #Conflicts: 479000 | #Constraints: 22590
1125.69/1129.07 c #Conflicts: 480000 | #Constraints: 23590
1125.69/1129.07 c #Conflicts: 481000 | #Constraints: 24590
1125.69/1129.07 c #Conflicts: 482000 | #Constraints: 25590
1125.69/1129.07 c #Conflicts: 483000 | #Constraints: 26590
1125.69/1129.07 c #Conflicts: 484000 | #Constraints: 27590
1125.69/1129.07 c #Conflicts: 485000 | #Constraints: 28590
1125.69/1129.07 c #Conflicts: 486000 | #Constraints: 29590
1125.69/1129.07 c #Conflicts: 487000 | #Constraints: 30590
1125.69/1129.07 c #Conflicts: 488000 | #Constraints: 31590
1125.69/1129.07 c INPROCESSING
1125.69/1129.07 c GARBAGE COLLECT
1125.69/1129.07 c #Conflicts: 489000 | #Constraints: 18793
1125.69/1129.07 c #Conflicts: 490000 | #Constraints: 19793
1125.69/1129.07 c #Conflicts: 491000 | #Constraints: 20793
1125.69/1129.07 c #Conflicts: 492000 | #Constraints: 21793
1125.69/1129.07 c #Conflicts: 493000 | #Constraints: 22793
1125.69/1129.07 c #Conflicts: 494000 | #Constraints: 23793
1125.69/1129.07 c #Conflicts: 495000 | #Constraints: 24793
1125.69/1129.07 c #Conflicts: 496000 | #Constraints: 25793
1125.69/1129.07 c #Conflicts: 497000 | #Constraints: 26793
1125.69/1129.07 c #Conflicts: 498000 | #Constraints: 27793
1125.69/1129.07 c #Conflicts: 499000 | #Constraints: 28793
1125.69/1129.07 c #Conflicts: 500000 | #Constraints: 29793
1125.69/1129.07 c #Conflicts: 501000 | #Constraints: 30793
1125.69/1129.07 c #Conflicts: 502000 | #Constraints: 31793
1125.69/1129.07 c INPROCESSING
1125.69/1129.07 c GARBAGE COLLECT
1125.69/1129.07 c #Conflicts: 503000 | #Constraints: 18789
1125.69/1129.07 c #Conflicts: 504000 | #Constraints: 19789
1125.69/1129.07 c #Conflicts: 505000 | #Constraints: 20789
1125.69/1129.07 c #Conflicts: 506000 | #Constraints: 21789
1125.69/1129.07 c #Conflicts: 507000 | #Constraints: 22789
1125.69/1129.07 c #Conflicts: 508000 | #Constraints: 23789
1125.69/1129.07 c #Conflicts: 509000 | #Constraints: 24789
1125.69/1129.07 c #Conflicts: 510000 | #Constraints: 25789
1125.69/1129.07 c #Conflicts: 511000 | #Constraints: 26789
1125.69/1129.07 c #Conflicts: 512000 | #Constraints: 27789
1125.69/1129.07 c #Conflicts: 513000 | #Constraints: 28789
1125.69/1129.07 c #Conflicts: 514000 | #Constraints: 29789
1125.69/1129.07 c #Conflicts: 515000 | #Constraints: 30789
1125.69/1129.07 c #Conflicts: 516000 | #Constraints: 31789
1305.81/1309.69 c INPROCESSING
1305.81/1309.69 c GARBAGE COLLECT
1305.81/1309.69 c #Conflicts: 517000 | #Constraints: 18582
1305.81/1309.69 c #Conflicts: 518000 | #Constraints: 19582
1305.81/1309.69 c #Conflicts: 519000 | #Constraints: 20582
1305.81/1309.69 c #Conflicts: 520000 | #Constraints: 21582
1305.81/1309.69 c #Conflicts: 521000 | #Constraints: 22582
1305.81/1309.69 c #Conflicts: 522000 | #Constraints: 23582
1305.81/1309.69 c #Conflicts: 523000 | #Constraints: 24582
1305.81/1309.69 c #Conflicts: 524000 | #Constraints: 25582
1305.81/1309.69 c #Conflicts: 525000 | #Constraints: 26582
1305.81/1309.69 c #Conflicts: 526000 | #Constraints: 27582
1305.81/1309.69 c #Conflicts: 527000 | #Constraints: 28582
1305.81/1309.69 c #Conflicts: 528000 | #Constraints: 29582
1305.81/1309.69 c #Conflicts: 529000 | #Constraints: 30582
1305.81/1309.69 c #Conflicts: 530000 | #Constraints: 31582
1305.81/1309.69 c #Conflicts: 531000 | #Constraints: 32582
1305.81/1309.69 c INPROCESSING
1305.81/1309.69 c GARBAGE COLLECT
1305.81/1309.69 c #Conflicts: 532000 | #Constraints: 19180
1305.81/1309.69 c #Conflicts: 533000 | #Constraints: 20180
1305.81/1309.69 c #Conflicts: 534000 | #Constraints: 21180
1305.81/1309.69 c #Conflicts: 535000 | #Constraints: 22180
1305.81/1309.69 c #Conflicts: 536000 | #Constraints: 23180
1305.81/1309.69 c #Conflicts: 537000 | #Constraints: 24180
1305.81/1309.69 c #Conflicts: 538000 | #Constraints: 25180
1305.81/1309.69 c #Conflicts: 539000 | #Constraints: 26180
1305.81/1309.69 c #Conflicts: 540000 | #Constraints: 27180
1305.81/1309.69 c #Conflicts: 541000 | #Constraints: 28180
1305.81/1309.69 c #Conflicts: 542000 | #Constraints: 29180
1305.81/1309.69 c #Conflicts: 543000 | #Constraints: 30180
1305.81/1309.69 c #Conflicts: 544000 | #Constraints: 31180
1305.81/1309.69 c #Conflicts: 545000 | #Constraints: 32180
1305.81/1309.69 c #Conflicts: 546000 | #Constraints: 33180
1305.81/1309.69 c INPROCESSING
1305.81/1309.69 c GARBAGE COLLECT
1305.81/1309.69 c #Conflicts: 547000 | #Constraints: 19578
1305.81/1309.69 c #Conflicts: 548000 | #Constraints: 20578
1305.81/1309.69 c #Conflicts: 549000 | #Constraints: 21578
1305.81/1309.69 c #Conflicts: 550000 | #Constraints: 22578
1305.81/1309.69 c #Conflicts: 551000 | #Constraints: 23578
1305.81/1309.69 c #Conflicts: 552000 | #Constraints: 24578
1305.81/1309.69 c #Conflicts: 553000 | #Constraints: 25578
1305.81/1309.69 c #Conflicts: 554000 | #Constraints: 26578
1305.81/1309.69 c #Conflicts: 555000 | #Constraints: 27578
1305.81/1309.69 c #Conflicts: 556000 | #Constraints: 28578
1305.81/1309.69 c #Conflicts: 557000 | #Constraints: 29578
1305.81/1309.69 c #Conflicts: 558000 | #Constraints: 30578
1305.81/1309.69 c #Conflicts: 559000 | #Constraints: 31578
1305.81/1309.69 c #Conflicts: 560000 | #Constraints: 32578
1305.81/1309.69 c #Conflicts: 561000 | #Constraints: 33578
1305.81/1309.69 c INPROCESSING
1305.81/1309.69 c GARBAGE COLLECT
1305.81/1309.69 c #Conflicts: 562000 | #Constraints: 19765
1305.81/1309.69 c #Conflicts: 563000 | #Constraints: 20765
1305.81/1309.69 c #Conflicts: 564000 | #Constraints: 21765
1305.81/1309.69 c #Conflicts: 565000 | #Constraints: 22765
1305.81/1309.69 c #Conflicts: 566000 | #Constraints: 23765
1305.81/1309.69 c #Conflicts: 567000 | #Constraints: 24765
1305.81/1309.69 c #Conflicts: 568000 | #Constraints: 25765
1305.81/1309.69 c #Conflicts: 569000 | #Constraints: 26765
1305.81/1309.69 c #Conflicts: 570000 | #Constraints: 27765
1305.81/1309.69 c #Conflicts: 571000 | #Constraints: 28765
1305.81/1309.69 c #Conflicts: 572000 | #Constraints: 29765
1305.81/1309.69 c #Conflicts: 573000 | #Constraints: 30765
1305.81/1309.69 c #Conflicts: 574000 | #Constraints: 31765
1305.81/1309.69 c #Conflicts: 575000 | #Constraints: 32765
1305.81/1309.69 c #Conflicts: 576000 | #Constraints: 33765
1305.81/1309.69 c INPROCESSING
1305.81/1309.69 c GARBAGE COLLECT
1305.81/1309.69 c #Conflicts: 577000 | #Constraints: 19774
1305.81/1309.69 c #Conflicts: 578000 | #Constraints: 20774
1305.81/1309.69 c #Conflicts: 579000 | #Constraints: 21774
1305.81/1309.69 c #Conflicts: 580000 | #Constraints: 22774
1305.81/1309.69 c #Conflicts: 581000 | #Constraints: 23774
1305.81/1309.69 c #Conflicts: 582000 | #Constraints: 24774
1305.81/1309.69 c #Conflicts: 583000 | #Constraints: 25774
1305.81/1309.69 c #Conflicts: 584000 | #Constraints: 26774
1305.81/1309.69 c #Conflicts: 585000 | #Constraints: 27774
1305.81/1309.69 c #Conflicts: 586000 | #Constraints: 28774
1305.81/1309.69 c #Conflicts: 587000 | #Constraints: 29774
1305.81/1309.69 c #Conflicts: 588000 | #Constraints: 30774
1305.81/1309.69 c #Conflicts: 589000 | #Constraints: 31774
1305.81/1309.69 c #Conflicts: 590000 | #Constraints: 32774
1305.81/1309.69 c #Conflicts: 591000 | #Constraints: 33774
1524.21/1528.68 c INPROCESSING
1524.21/1528.68 c GARBAGE COLLECT
1524.21/1528.68 c #Conflicts: 592000 | #Constraints: 19573
1524.21/1528.68 c #Conflicts: 593000 | #Constraints: 20573
1524.21/1528.68 c #Conflicts: 594000 | #Constraints: 21573
1524.21/1528.68 c #Conflicts: 595000 | #Constraints: 22573
1524.21/1528.68 c #Conflicts: 596000 | #Constraints: 23573
1524.21/1528.68 c #Conflicts: 597000 | #Constraints: 24573
1524.21/1528.68 c #Conflicts: 598000 | #Constraints: 25573
1524.21/1528.68 c #Conflicts: 599000 | #Constraints: 26573
1524.21/1528.68 c #Conflicts: 600000 | #Constraints: 27573
1524.21/1528.68 c #Conflicts: 601000 | #Constraints: 28573
1524.21/1528.68 c #Conflicts: 602000 | #Constraints: 29573
1524.21/1528.68 c #Conflicts: 603000 | #Constraints: 30573
1524.21/1528.68 c #Conflicts: 604000 | #Constraints: 31573
1524.21/1528.68 c #Conflicts: 605000 | #Constraints: 32573
1524.21/1528.68 c #Conflicts: 606000 | #Constraints: 33573
1524.21/1528.68 c #Conflicts: 607000 | #Constraints: 34573
1524.21/1528.68 c INPROCESSING
1524.21/1528.68 c GARBAGE COLLECT
1524.21/1528.68 c #Conflicts: 608000 | #Constraints: 20178
1524.21/1528.68 c #Conflicts: 609000 | #Constraints: 21178
1524.21/1528.68 c #Conflicts: 610000 | #Constraints: 22178
1524.21/1528.68 c #Conflicts: 611000 | #Constraints: 23178
1524.21/1528.68 c #Conflicts: 612000 | #Constraints: 24178
1524.21/1528.68 c #Conflicts: 613000 | #Constraints: 25178
1524.21/1528.68 c #Conflicts: 614000 | #Constraints: 26178
1524.21/1528.68 c #Conflicts: 615000 | #Constraints: 27178
1524.21/1528.68 c #Conflicts: 616000 | #Constraints: 28178
1524.21/1528.68 c #Conflicts: 617000 | #Constraints: 29178
1524.21/1528.68 c #Conflicts: 618000 | #Constraints: 30178
1524.21/1528.68 c #Conflicts: 619000 | #Constraints: 31178
1524.21/1528.68 c #Conflicts: 620000 | #Constraints: 32178
1524.21/1528.68 c #Conflicts: 621000 | #Constraints: 33178
1524.21/1528.68 c #Conflicts: 622000 | #Constraints: 34178
1524.21/1528.68 c #Conflicts: 623000 | #Constraints: 35178
1524.21/1528.68 c INPROCESSING
1524.21/1528.68 c GARBAGE COLLECT
1524.21/1528.68 c #Conflicts: 624000 | #Constraints: 20576
1524.21/1528.68 c #Conflicts: 625000 | #Constraints: 21576
1524.21/1528.68 c #Conflicts: 626000 | #Constraints: 22576
1524.21/1528.68 c #Conflicts: 627000 | #Constraints: 23576
1524.21/1528.68 c #Conflicts: 628000 | #Constraints: 24576
1524.21/1528.68 c #Conflicts: 629000 | #Constraints: 25576
1524.21/1528.68 c #Conflicts: 630000 | #Constraints: 26576
1524.21/1528.68 c #Conflicts: 631000 | #Constraints: 27576
1524.21/1528.68 c #Conflicts: 632000 | #Constraints: 28576
1524.21/1528.68 c #Conflicts: 633000 | #Constraints: 29576
1524.21/1528.68 c #Conflicts: 634000 | #Constraints: 30576
1524.21/1528.68 c #Conflicts: 635000 | #Constraints: 31576
1524.21/1528.68 c #Conflicts: 636000 | #Constraints: 32576
1524.21/1528.68 c #Conflicts: 637000 | #Constraints: 33576
1524.21/1528.68 c #Conflicts: 638000 | #Constraints: 34576
1524.21/1528.68 c #Conflicts: 639000 | #Constraints: 35576
1524.21/1528.68 c INPROCESSING
1524.21/1528.68 c GARBAGE COLLECT
1524.21/1528.68 c #Conflicts: 640000 | #Constraints: 20776
1524.21/1528.68 c #Conflicts: 641000 | #Constraints: 21776
1524.21/1528.68 c #Conflicts: 642000 | #Constraints: 22776
1524.21/1528.68 c #Conflicts: 643000 | #Constraints: 23776
1524.21/1528.68 c #Conflicts: 644000 | #Constraints: 24776
1524.21/1528.68 c #Conflicts: 645000 | #Constraints: 25776
1524.21/1528.68 c #Conflicts: 646000 | #Constraints: 26776
1524.21/1528.68 c #Conflicts: 647000 | #Constraints: 27776
1524.21/1528.68 c #Conflicts: 648000 | #Constraints: 28776
1524.21/1528.68 c #Conflicts: 649000 | #Constraints: 29776
1524.21/1528.68 c #Conflicts: 650000 | #Constraints: 30776
1524.21/1528.68 c #Conflicts: 651000 | #Constraints: 31776
1524.21/1528.68 c #Conflicts: 652000 | #Constraints: 32776
1524.21/1528.68 c #Conflicts: 653000 | #Constraints: 33776
1524.21/1528.68 c #Conflicts: 654000 | #Constraints: 34776
1524.21/1528.68 c #Conflicts: 655000 | #Constraints: 35776
1524.21/1528.68 c INPROCESSING
1524.21/1528.68 c GARBAGE COLLECT
1524.21/1528.68 c #Conflicts: 656000 | #Constraints: 20774
1524.21/1528.68 c #Conflicts: 657000 | #Constraints: 21774
1524.21/1528.68 c #Conflicts: 658000 | #Constraints: 22774
1524.21/1528.68 c #Conflicts: 659000 | #Constraints: 23774
1524.21/1528.68 c #Conflicts: 660000 | #Constraints: 24774
1524.21/1528.68 c #Conflicts: 661000 | #Constraints: 25774
1524.21/1528.68 c #Conflicts: 662000 | #Constraints: 26774
1524.21/1528.68 c #Conflicts: 663000 | #Constraints: 27774
1524.21/1528.68 c #Conflicts: 664000 | #Constraints: 28774
1524.21/1528.68 c #Conflicts: 665000 | #Constraints: 29774
1524.21/1528.68 c #Conflicts: 666000 | #Constraints: 30774
1524.21/1528.68 c #Conflicts: 667000 | #Constraints: 31774
1793.40/1798.58 c #Conflicts: 668000 | #Constraints: 32774
1793.40/1798.58 c #Conflicts: 669000 | #Constraints: 33774
1793.40/1798.58 c #Conflicts: 670000 | #Constraints: 34774
1793.40/1798.58 c #Conflicts: 671000 | #Constraints: 35774
1793.40/1798.58 c INPROCESSING
1793.40/1798.58 c GARBAGE COLLECT
1793.40/1798.58 c #Conflicts: 672000 | #Constraints: 20579
1793.40/1798.58 c #Conflicts: 673000 | #Constraints: 21579
1793.40/1798.58 c #Conflicts: 674000 | #Constraints: 22579
1793.40/1798.58 c #Conflicts: 675000 | #Constraints: 23579
1793.40/1798.58 c #Conflicts: 676000 | #Constraints: 24579
1793.40/1798.58 c #Conflicts: 677000 | #Constraints: 25579
1793.40/1798.58 c #Conflicts: 678000 | #Constraints: 26579
1793.40/1798.58 c #Conflicts: 679000 | #Constraints: 27579
1793.40/1798.58 c #Conflicts: 680000 | #Constraints: 28579
1793.40/1798.58 c #Conflicts: 681000 | #Constraints: 29579
1793.40/1798.58 c #Conflicts: 682000 | #Constraints: 30579
1793.40/1798.58 c #Conflicts: 683000 | #Constraints: 31579
1793.40/1798.58 c #Conflicts: 684000 | #Constraints: 32579
1793.40/1798.58 c #Conflicts: 685000 | #Constraints: 33579
1793.40/1798.58 c #Conflicts: 686000 | #Constraints: 34579
1793.40/1798.58 c #Conflicts: 687000 | #Constraints: 35579
1793.40/1798.58 c #Conflicts: 688000 | #Constraints: 36579
1793.40/1798.58 c INPROCESSING
1793.40/1798.58 c GARBAGE COLLECT
1793.40/1798.58 c #Conflicts: 689000 | #Constraints: 21184
1793.40/1798.58 c #Conflicts: 690000 | #Constraints: 22184
1793.40/1798.58 c #Conflicts: 691000 | #Constraints: 23184
1793.40/1798.58 c #Conflicts: 692000 | #Constraints: 24184
1793.40/1798.58 c #Conflicts: 693000 | #Constraints: 25184
1793.40/1798.58 c #Conflicts: 694000 | #Constraints: 26184
1793.40/1798.58 c #Conflicts: 695000 | #Constraints: 27184
1793.40/1798.58 c #Conflicts: 696000 | #Constraints: 28184
1793.40/1798.58 c #Conflicts: 697000 | #Constraints: 29184
1793.40/1798.58 c #Conflicts: 698000 | #Constraints: 30184
1793.40/1798.58 c #Conflicts: 699000 | #Constraints: 31184
1793.40/1798.58 c #Conflicts: 700000 | #Constraints: 32184
1793.40/1798.58 c #Conflicts: 701000 | #Constraints: 33184
1793.40/1798.58 c #Conflicts: 702000 | #Constraints: 34184
1793.40/1798.58 c #Conflicts: 703000 | #Constraints: 35184
1793.40/1798.58 c #Conflicts: 704000 | #Constraints: 36184
1793.40/1798.58 c #Conflicts: 705000 | #Constraints: 37184
1793.40/1798.58 c INPROCESSING
1793.40/1798.58 c GARBAGE COLLECT
1793.40/1798.58 c #Conflicts: 706000 | #Constraints: 21581
1793.40/1798.58 c #Conflicts: 707000 | #Constraints: 22581
1793.40/1798.58 c #Conflicts: 708000 | #Constraints: 23581
1793.40/1798.58 c #Conflicts: 709000 | #Constraints: 24581
1793.40/1798.58 c #Conflicts: 710000 | #Constraints: 25581
1793.40/1798.58 c #Conflicts: 711000 | #Constraints: 26581
1793.40/1798.58 c #Conflicts: 712000 | #Constraints: 27581
1793.40/1798.58 c #Conflicts: 713000 | #Constraints: 28581
1793.40/1798.58 c #Conflicts: 714000 | #Constraints: 29581
1793.40/1798.58 c #Conflicts: 715000 | #Constraints: 30581
1793.40/1798.58 c #Conflicts: 716000 | #Constraints: 31581
1793.40/1798.58 c #Conflicts: 717000 | #Constraints: 32581
1793.40/1798.58 c #Conflicts: 718000 | #Constraints: 33581
1793.40/1798.58 c #Conflicts: 719000 | #Constraints: 34581
1793.40/1798.58 c #Conflicts: 720000 | #Constraints: 35581
1793.40/1798.58 c #Conflicts: 721000 | #Constraints: 36581
1793.40/1798.58 c #Conflicts: 722000 | #Constraints: 37581
1793.40/1798.58 c INPROCESSING
1793.40/1798.58 c GARBAGE COLLECT
1793.40/1798.58 c #Conflicts: 723000 | #Constraints: 21781
1793.40/1798.58 c #Conflicts: 724000 | #Constraints: 22781
1793.40/1798.58 c #Conflicts: 725000 | #Constraints: 23781
1793.40/1798.58 c #Conflicts: 726000 | #Constraints: 24781
1793.40/1798.58 c #Conflicts: 727000 | #Constraints: 25781
1793.40/1798.58 c #Conflicts: 728000 | #Constraints: 26781
1793.40/1798.58 c #Conflicts: 729000 | #Constraints: 27781
1793.40/1798.58 c #Conflicts: 730000 | #Constraints: 28781
1793.40/1798.58 c #Conflicts: 731000 | #Constraints: 29781
1793.40/1798.58 c #Conflicts: 732000 | #Constraints: 30781
1793.40/1798.58 c #Conflicts: 733000 | #Constraints: 31781
1793.40/1798.58 c #Conflicts: 734000 | #Constraints: 32781
1793.40/1798.58 c #Conflicts: 735000 | #Constraints: 33781
1793.40/1798.58 c #Conflicts: 736000 | #Constraints: 34781
1793.40/1798.58 c #Conflicts: 737000 | #Constraints: 35781
1793.40/1798.58 c #Conflicts: 738000 | #Constraints: 36781
1793.40/1798.58 c #Conflicts: 739000 | #Constraints: 37781
1793.40/1798.58 c INPROCESSING
1793.40/1798.58 c GARBAGE COLLECT
1793.40/1798.58 c #Conflicts: 740000 | #Constraints: 21787
1793.40/1798.58 c #Conflicts: 741000 | #Constraints: 22787
1793.40/1798.58 c #Conflicts: 742000 | #Constraints: 23787
1793.40/1798.58 c #Conflicts: 743000 | #Constraints: 24787
2051.92/2057.79 c #Conflicts: 744000 | #Constraints: 25787
2051.92/2057.79 c #Conflicts: 745000 | #Constraints: 26787
2051.92/2057.79 c #Conflicts: 746000 | #Constraints: 27787
2051.92/2057.79 c #Conflicts: 747000 | #Constraints: 28787
2051.92/2057.79 c #Conflicts: 748000 | #Constraints: 29787
2051.92/2057.79 c #Conflicts: 749000 | #Constraints: 30787
2051.92/2057.79 c #Conflicts: 750000 | #Constraints: 31787
2051.92/2057.79 c #Conflicts: 751000 | #Constraints: 32787
2051.92/2057.79 c #Conflicts: 752000 | #Constraints: 33787
2051.92/2057.79 c #Conflicts: 753000 | #Constraints: 34787
2051.92/2057.79 c #Conflicts: 754000 | #Constraints: 35787
2051.92/2057.79 c #Conflicts: 755000 | #Constraints: 36787
2051.92/2057.79 c #Conflicts: 756000 | #Constraints: 37787
2051.92/2057.79 c INPROCESSING
2051.92/2057.79 c GARBAGE COLLECT
2051.92/2057.79 c #Conflicts: 757000 | #Constraints: 21581
2051.92/2057.79 c #Conflicts: 758000 | #Constraints: 22581
2051.92/2057.79 c #Conflicts: 759000 | #Constraints: 23581
2051.92/2057.79 c #Conflicts: 760000 | #Constraints: 24581
2051.92/2057.79 c #Conflicts: 761000 | #Constraints: 25581
2051.92/2057.79 c #Conflicts: 762000 | #Constraints: 26581
2051.92/2057.79 c #Conflicts: 763000 | #Constraints: 27581
2051.92/2057.79 c #Conflicts: 764000 | #Constraints: 28581
2051.92/2057.79 c #Conflicts: 765000 | #Constraints: 29581
2051.92/2057.79 c #Conflicts: 766000 | #Constraints: 30581
2051.92/2057.79 c #Conflicts: 767000 | #Constraints: 31581
2051.92/2057.79 c #Conflicts: 768000 | #Constraints: 32581
2051.92/2057.79 c #Conflicts: 769000 | #Constraints: 33581
2051.92/2057.79 c #Conflicts: 770000 | #Constraints: 34581
2051.92/2057.79 c #Conflicts: 771000 | #Constraints: 35581
2051.92/2057.79 c #Conflicts: 772000 | #Constraints: 36581
2051.92/2057.79 c #Conflicts: 773000 | #Constraints: 37581
2051.92/2057.79 c #Conflicts: 774000 | #Constraints: 38581
2051.92/2057.79 c INPROCESSING
2051.92/2057.79 c GARBAGE COLLECT
2051.92/2057.79 c #Conflicts: 775000 | #Constraints: 22175
2051.92/2057.79 c #Conflicts: 776000 | #Constraints: 23175
2051.92/2057.79 c #Conflicts: 777000 | #Constraints: 24175
2051.92/2057.79 c #Conflicts: 778000 | #Constraints: 25175
2051.92/2057.79 c #Conflicts: 779000 | #Constraints: 26175
2051.92/2057.79 c #Conflicts: 780000 | #Constraints: 27175
2051.92/2057.79 c #Conflicts: 781000 | #Constraints: 28175
2051.92/2057.79 c #Conflicts: 782000 | #Constraints: 29175
2051.92/2057.79 c #Conflicts: 783000 | #Constraints: 30175
2051.92/2057.79 c #Conflicts: 784000 | #Constraints: 31175
2051.92/2057.79 c #Conflicts: 785000 | #Constraints: 32175
2051.92/2057.79 c #Conflicts: 786000 | #Constraints: 33175
2051.92/2057.79 c #Conflicts: 787000 | #Constraints: 34175
2051.92/2057.79 c #Conflicts: 788000 | #Constraints: 35175
2051.92/2057.79 c #Conflicts: 789000 | #Constraints: 36175
2051.92/2057.79 c #Conflicts: 790000 | #Constraints: 37175
2051.92/2057.79 c #Conflicts: 791000 | #Constraints: 38175
2051.92/2057.79 c #Conflicts: 792000 | #Constraints: 39175
2051.92/2057.79 c INPROCESSING
2051.92/2057.79 c GARBAGE COLLECT
2051.92/2057.79 c #Conflicts: 793000 | #Constraints: 22569
2051.92/2057.79 c #Conflicts: 794000 | #Constraints: 23569
2051.92/2057.79 c #Conflicts: 795000 | #Constraints: 24569
2051.92/2057.79 c #Conflicts: 796000 | #Constraints: 25569
2051.92/2057.79 c #Conflicts: 797000 | #Constraints: 26569
2051.92/2057.79 c #Conflicts: 798000 | #Constraints: 27569
2051.92/2057.79 c #Conflicts: 799000 | #Constraints: 28569
2051.92/2057.79 c #Conflicts: 800000 | #Constraints: 29569
2051.92/2057.79 c #Conflicts: 801000 | #Constraints: 30569
2051.92/2057.79 c #Conflicts: 802000 | #Constraints: 31569
2051.92/2057.79 c #Conflicts: 803000 | #Constraints: 32569
2051.92/2057.79 c #Conflicts: 804000 | #Constraints: 33569
2051.92/2057.79 c #Conflicts: 805000 | #Constraints: 34569
2051.92/2057.79 c #Conflicts: 806000 | #Constraints: 35569
2051.92/2057.79 c #Conflicts: 807000 | #Constraints: 36569
2051.92/2057.79 c #Conflicts: 808000 | #Constraints: 37569
2051.92/2057.79 c #Conflicts: 809000 | #Constraints: 38569
2051.92/2057.79 c #Conflicts: 810000 | #Constraints: 39569
2051.92/2057.79 c INPROCESSING
2051.92/2057.79 c GARBAGE COLLECT
2051.92/2057.79 c #Conflicts: 811000 | #Constraints: 22769
2051.92/2057.79 c #Conflicts: 812000 | #Constraints: 23769
2051.92/2057.79 c #Conflicts: 813000 | #Constraints: 24769
2051.92/2057.79 c #Conflicts: 814000 | #Constraints: 25769
2051.92/2057.79 c #Conflicts: 815000 | #Constraints: 26769
2051.92/2057.79 c #Conflicts: 816000 | #Constraints: 27769
2051.92/2057.79 c #Conflicts: 817000 | #Constraints: 28769
2051.92/2057.79 c #Conflicts: 818000 | #Constraints: 29769
2051.92/2057.79 c #Conflicts: 819000 | #Constraints: 30769
2264.66/2271.01 c #Conflicts: 820000 | #Constraints: 31769
2264.66/2271.01 c #Conflicts: 821000 | #Constraints: 32769
2264.66/2271.01 c #Conflicts: 822000 | #Constraints: 33769
2264.66/2271.01 c #Conflicts: 823000 | #Constraints: 34769
2264.66/2271.01 c #Conflicts: 824000 | #Constraints: 35769
2264.66/2271.01 c #Conflicts: 825000 | #Constraints: 36769
2264.66/2271.01 c #Conflicts: 826000 | #Constraints: 37769
2264.66/2271.01 c #Conflicts: 827000 | #Constraints: 38769
2264.66/2271.01 c #Conflicts: 828000 | #Constraints: 39769
2264.66/2271.01 c INPROCESSING
2264.66/2271.01 c GARBAGE COLLECT
2264.66/2271.01 c #Conflicts: 829000 | #Constraints: 22772
2264.66/2271.01 c #Conflicts: 830000 | #Constraints: 23772
2264.66/2271.01 c #Conflicts: 831000 | #Constraints: 24772
2264.66/2271.01 c #Conflicts: 832000 | #Constraints: 25772
2264.66/2271.01 c #Conflicts: 833000 | #Constraints: 26772
2264.66/2271.01 c #Conflicts: 834000 | #Constraints: 27772
2264.66/2271.01 c #Conflicts: 835000 | #Constraints: 28772
2264.66/2271.01 c #Conflicts: 836000 | #Constraints: 29772
2264.66/2271.01 c #Conflicts: 837000 | #Constraints: 30772
2264.66/2271.01 c #Conflicts: 838000 | #Constraints: 31772
2264.66/2271.01 c #Conflicts: 839000 | #Constraints: 32772
2264.66/2271.01 c #Conflicts: 840000 | #Constraints: 33772
2264.66/2271.01 c #Conflicts: 841000 | #Constraints: 34772
2264.66/2271.01 c #Conflicts: 842000 | #Constraints: 35772
2264.66/2271.01 c #Conflicts: 843000 | #Constraints: 36772
2264.66/2271.01 c #Conflicts: 844000 | #Constraints: 37772
2264.66/2271.01 c #Conflicts: 845000 | #Constraints: 38772
2264.66/2271.01 c #Conflicts: 846000 | #Constraints: 39772
2264.66/2271.01 c INPROCESSING
2264.66/2271.01 c GARBAGE COLLECT
2264.66/2271.01 c #Conflicts: 847000 | #Constraints: 22580
2264.66/2271.01 c #Conflicts: 848000 | #Constraints: 23580
2264.66/2271.01 c #Conflicts: 849000 | #Constraints: 24580
2264.66/2271.01 c #Conflicts: 850000 | #Constraints: 25580
2264.66/2271.01 c #Conflicts: 851000 | #Constraints: 26580
2264.66/2271.01 c #Conflicts: 852000 | #Constraints: 27580
2264.66/2271.01 c #Conflicts: 853000 | #Constraints: 28580
2264.66/2271.01 c #Conflicts: 854000 | #Constraints: 29580
2264.66/2271.01 c #Conflicts: 855000 | #Constraints: 30580
2264.66/2271.01 c #Conflicts: 856000 | #Constraints: 31580
2264.66/2271.01 c #Conflicts: 857000 | #Constraints: 32580
2264.66/2271.01 c #Conflicts: 858000 | #Constraints: 33580
2264.66/2271.01 c #Conflicts: 859000 | #Constraints: 34580
2264.66/2271.01 c #Conflicts: 860000 | #Constraints: 35580
2264.66/2271.01 c #Conflicts: 861000 | #Constraints: 36580
2264.66/2271.01 c #Conflicts: 862000 | #Constraints: 37580
2264.66/2271.01 c #Conflicts: 863000 | #Constraints: 38580
2264.66/2271.01 c #Conflicts: 864000 | #Constraints: 39580
2264.66/2271.01 c #Conflicts: 865000 | #Constraints: 40580
2264.66/2271.01 c INPROCESSING
2264.66/2271.01 c GARBAGE COLLECT
2264.66/2271.01 c #Conflicts: 866000 | #Constraints: 23177
2264.66/2271.01 c #Conflicts: 867000 | #Constraints: 24177
2264.66/2271.01 c #Conflicts: 868000 | #Constraints: 25177
2264.66/2271.01 c #Conflicts: 869000 | #Constraints: 26177
2264.66/2271.01 c #Conflicts: 870000 | #Constraints: 27177
2264.66/2271.01 c #Conflicts: 871000 | #Constraints: 28177
2264.66/2271.01 c #Conflicts: 872000 | #Constraints: 29177
2264.66/2271.01 c #Conflicts: 873000 | #Constraints: 30177
2264.66/2271.01 c #Conflicts: 874000 | #Constraints: 31177
2264.66/2271.01 c #Conflicts: 875000 | #Constraints: 32177
2264.66/2271.01 c #Conflicts: 876000 | #Constraints: 33177
2264.66/2271.01 c #Conflicts: 877000 | #Constraints: 34177
2264.66/2271.01 c #Conflicts: 878000 | #Constraints: 35177
2264.66/2271.01 c #Conflicts: 879000 | #Constraints: 36177
2264.66/2271.01 c #Conflicts: 880000 | #Constraints: 37177
2264.66/2271.01 c #Conflicts: 881000 | #Constraints: 38177
2264.66/2271.01 c #Conflicts: 882000 | #Constraints: 39177
2264.66/2271.01 c #Conflicts: 883000 | #Constraints: 40177
2264.66/2271.01 c #Conflicts: 884000 | #Constraints: 41177
2264.66/2271.01 c INPROCESSING
2264.66/2271.01 c GARBAGE COLLECT
2264.66/2271.01 c #Conflicts: 885000 | #Constraints: 23579
2264.66/2271.01 c #Conflicts: 886000 | #Constraints: 24579
2264.66/2271.01 c #Conflicts: 887000 | #Constraints: 25579
2264.66/2271.01 c #Conflicts: 888000 | #Constraints: 26579
2264.66/2271.01 c #Conflicts: 889000 | #Constraints: 27579
2264.66/2271.01 c #Conflicts: 890000 | #Constraints: 28579
2264.66/2271.01 c #Conflicts: 891000 | #Constraints: 29579
2264.66/2271.01 c #Conflicts: 892000 | #Constraints: 30579
2264.66/2271.01 c #Conflicts: 893000 | #Constraints: 31579
2264.66/2271.01 c #Conflicts: 894000 | #Constraints: 32579
2264.66/2271.01 c #Conflicts: 895000 | #Constraints: 33579
2462.83/2469.70 c #Conflicts: 896000 | #Constraints: 34579
2462.83/2469.70 c #Conflicts: 897000 | #Constraints: 35579
2462.83/2469.70 c #Conflicts: 898000 | #Constraints: 36579
2462.83/2469.70 c #Conflicts: 899000 | #Constraints: 37579
2462.83/2469.70 c #Conflicts: 900000 | #Constraints: 38579
2462.83/2469.70 c #Conflicts: 901000 | #Constraints: 39579
2462.83/2469.70 c #Conflicts: 902000 | #Constraints: 40579
2462.83/2469.70 c #Conflicts: 903000 | #Constraints: 41579
2462.83/2469.70 c INPROCESSING
2462.83/2469.70 c GARBAGE COLLECT
2462.83/2469.70 c #Conflicts: 904000 | #Constraints: 23777
2462.83/2469.70 c #Conflicts: 905000 | #Constraints: 24777
2462.83/2469.70 c #Conflicts: 906000 | #Constraints: 25777
2462.83/2469.70 c #Conflicts: 907000 | #Constraints: 26777
2462.83/2469.70 c #Conflicts: 908000 | #Constraints: 27777
2462.83/2469.70 c #Conflicts: 909000 | #Constraints: 28777
2462.83/2469.70 c #Conflicts: 910000 | #Constraints: 29777
2462.83/2469.70 c #Conflicts: 911000 | #Constraints: 30777
2462.83/2469.70 c #Conflicts: 912000 | #Constraints: 31777
2462.83/2469.70 c #Conflicts: 913000 | #Constraints: 32777
2462.83/2469.70 c #Conflicts: 914000 | #Constraints: 33777
2462.83/2469.70 c #Conflicts: 915000 | #Constraints: 34777
2462.83/2469.70 c #Conflicts: 916000 | #Constraints: 35777
2462.83/2469.70 c #Conflicts: 917000 | #Constraints: 36777
2462.83/2469.70 c #Conflicts: 918000 | #Constraints: 37777
2462.83/2469.70 c #Conflicts: 919000 | #Constraints: 38777
2462.83/2469.70 c #Conflicts: 920000 | #Constraints: 39777
2462.83/2469.70 c #Conflicts: 921000 | #Constraints: 40777
2462.83/2469.70 c #Conflicts: 922000 | #Constraints: 41777
2462.83/2469.70 c INPROCESSING
2462.83/2469.70 c GARBAGE COLLECT
2462.83/2469.70 c #Conflicts: 923000 | #Constraints: 23781
2462.83/2469.70 c #Conflicts: 924000 | #Constraints: 24781
2462.83/2469.70 c #Conflicts: 925000 | #Constraints: 25781
2462.83/2469.70 c #Conflicts: 926000 | #Constraints: 26781
2462.83/2469.70 c #Conflicts: 927000 | #Constraints: 27781
2462.83/2469.70 c #Conflicts: 928000 | #Constraints: 28781
2462.83/2469.70 c #Conflicts: 929000 | #Constraints: 29781
2462.83/2469.70 c #Conflicts: 930000 | #Constraints: 30781
2462.83/2469.70 c #Conflicts: 931000 | #Constraints: 31781
2462.83/2469.70 c #Conflicts: 932000 | #Constraints: 32781
2462.83/2469.70 c #Conflicts: 933000 | #Constraints: 33781
2462.83/2469.70 c #Conflicts: 934000 | #Constraints: 34781
2462.83/2469.70 c #Conflicts: 935000 | #Constraints: 35781
2462.83/2469.70 c #Conflicts: 936000 | #Constraints: 36781
2462.83/2469.70 c #Conflicts: 937000 | #Constraints: 37781
2462.83/2469.70 c #Conflicts: 938000 | #Constraints: 38781
2462.83/2469.70 c #Conflicts: 939000 | #Constraints: 39781
2462.83/2469.70 c #Conflicts: 940000 | #Constraints: 40781
2462.83/2469.70 c #Conflicts: 941000 | #Constraints: 41781
2462.83/2469.70 c INPROCESSING
2462.83/2469.70 c GARBAGE COLLECT
2462.83/2469.70 c #Conflicts: 942000 | #Constraints: 23595
2462.83/2469.70 c #Conflicts: 943000 | #Constraints: 24595
2462.83/2469.70 c #Conflicts: 944000 | #Constraints: 25595
2462.83/2469.70 c #Conflicts: 945000 | #Constraints: 26595
2462.83/2469.70 c #Conflicts: 946000 | #Constraints: 27595
2462.83/2469.70 c #Conflicts: 947000 | #Constraints: 28595
2462.83/2469.70 c #Conflicts: 948000 | #Constraints: 29595
2462.83/2469.70 c #Conflicts: 949000 | #Constraints: 30595
2462.83/2469.70 c #Conflicts: 950000 | #Constraints: 31595
2462.83/2469.70 c #Conflicts: 951000 | #Constraints: 32595
2462.83/2469.70 c #Conflicts: 952000 | #Constraints: 33595
2462.83/2469.70 c #Conflicts: 953000 | #Constraints: 34595
2462.83/2469.70 c #Conflicts: 954000 | #Constraints: 35595
2462.83/2469.70 c #Conflicts: 955000 | #Constraints: 36595
2462.83/2469.70 c #Conflicts: 956000 | #Constraints: 37595
2462.83/2469.70 c #Conflicts: 957000 | #Constraints: 38595
2462.83/2469.70 c #Conflicts: 958000 | #Constraints: 39595
2462.83/2469.70 c #Conflicts: 959000 | #Constraints: 40595
2462.83/2469.70 c #Conflicts: 960000 | #Constraints: 41595
2462.83/2469.70 c #Conflicts: 961000 | #Constraints: 42595
2462.83/2469.70 c INPROCESSING
2462.83/2469.70 c GARBAGE COLLECT
2462.83/2469.70 c #Conflicts: 962000 | #Constraints: 24183
2462.83/2469.70 c #Conflicts: 963000 | #Constraints: 25183
2462.83/2469.70 c #Conflicts: 964000 | #Constraints: 26183
2462.83/2469.70 c #Conflicts: 965000 | #Constraints: 27183
2462.83/2469.70 c #Conflicts: 966000 | #Constraints: 28183
2462.83/2469.70 c #Conflicts: 967000 | #Constraints: 29183
2462.83/2469.70 c #Conflicts: 968000 | #Constraints: 30183
2462.83/2469.70 c #Conflicts: 969000 | #Constraints: 31183
2462.83/2469.70 c #Conflicts: 970000 | #Constraints: 32183
2462.83/2469.70 c #Conflicts: 971000 | #Constraints: 33183
2679.43/2686.95 c #Conflicts: 972000 | #Constraints: 34183
2679.43/2686.95 c #Conflicts: 973000 | #Constraints: 35183
2679.43/2686.95 c #Conflicts: 974000 | #Constraints: 36183
2679.43/2686.95 c #Conflicts: 975000 | #Constraints: 37183
2679.43/2686.95 c #Conflicts: 976000 | #Constraints: 38183
2679.43/2686.95 c #Conflicts: 977000 | #Constraints: 39183
2679.43/2686.95 c #Conflicts: 978000 | #Constraints: 40183
2679.43/2686.95 c #Conflicts: 979000 | #Constraints: 41183
2679.43/2686.95 c #Conflicts: 980000 | #Constraints: 42183
2679.43/2686.95 c #Conflicts: 981000 | #Constraints: 43183
2679.43/2686.95 c INPROCESSING
2679.43/2686.95 c GARBAGE COLLECT
2679.43/2686.95 c #Conflicts: 982000 | #Constraints: 24574
2679.43/2686.95 c #Conflicts: 983000 | #Constraints: 25574
2679.43/2686.95 c #Conflicts: 984000 | #Constraints: 26574
2679.43/2686.95 c #Conflicts: 985000 | #Constraints: 27574
2679.43/2686.95 c #Conflicts: 986000 | #Constraints: 28574
2679.43/2686.95 c #Conflicts: 987000 | #Constraints: 29574
2679.43/2686.95 c #Conflicts: 988000 | #Constraints: 30574
2679.43/2686.95 c #Conflicts: 989000 | #Constraints: 31574
2679.43/2686.95 c #Conflicts: 990000 | #Constraints: 32574
2679.43/2686.95 c #Conflicts: 991000 | #Constraints: 33574
2679.43/2686.95 c #Conflicts: 992000 | #Constraints: 34574
2679.43/2686.95 c #Conflicts: 993000 | #Constraints: 35574
2679.43/2686.95 c #Conflicts: 994000 | #Constraints: 36574
2679.43/2686.95 c #Conflicts: 995000 | #Constraints: 37574
2679.43/2686.95 c #Conflicts: 996000 | #Constraints: 38574
2679.43/2686.95 c #Conflicts: 997000 | #Constraints: 39574
2679.43/2686.95 c #Conflicts: 998000 | #Constraints: 40574
2679.43/2686.95 c #Conflicts: 999000 | #Constraints: 41574
2679.43/2686.95 c #Conflicts: 1000000 | #Constraints: 42574
2679.43/2686.95 c #Conflicts: 1001000 | #Constraints: 43574
2679.43/2686.95 c INPROCESSING
2679.43/2686.95 c GARBAGE COLLECT
2679.43/2686.95 c #Conflicts: 1002000 | #Constraints: 24772
2679.43/2686.95 c #Conflicts: 1003000 | #Constraints: 25772
2679.43/2686.95 c #Conflicts: 1004000 | #Constraints: 26772
2679.43/2686.95 c #Conflicts: 1005000 | #Constraints: 27772
2679.43/2686.95 c #Conflicts: 1006000 | #Constraints: 28772
2679.43/2686.95 c #Conflicts: 1007000 | #Constraints: 29772
2679.43/2686.95 c #Conflicts: 1008000 | #Constraints: 30772
2679.43/2686.95 c #Conflicts: 1009000 | #Constraints: 31772
2679.43/2686.95 c #Conflicts: 1010000 | #Constraints: 32772
2679.43/2686.95 c #Conflicts: 1011000 | #Constraints: 33772
2679.43/2686.95 c #Conflicts: 1012000 | #Constraints: 34772
2679.43/2686.95 c #Conflicts: 1013000 | #Constraints: 35772
2679.43/2686.95 c #Conflicts: 1014000 | #Constraints: 36772
2679.43/2686.95 c #Conflicts: 1015000 | #Constraints: 37772
2679.43/2686.95 c #Conflicts: 1016000 | #Constraints: 38772
2679.43/2686.95 c #Conflicts: 1017000 | #Constraints: 39772
2679.43/2686.95 c #Conflicts: 1018000 | #Constraints: 40772
2679.43/2686.95 c #Conflicts: 1019000 | #Constraints: 41772
2679.43/2686.95 c #Conflicts: 1020000 | #Constraints: 42772
2679.43/2686.95 c #Conflicts: 1021000 | #Constraints: 43772
2679.43/2686.95 c INPROCESSING
2679.43/2686.95 c GARBAGE COLLECT
2679.43/2686.95 c #Conflicts: 1022000 | #Constraints: 24773
2679.43/2686.95 c #Conflicts: 1023000 | #Constraints: 25773
2679.43/2686.95 c #Conflicts: 1024000 | #Constraints: 26773
2679.43/2686.95 c #Conflicts: 1025000 | #Constraints: 27773
2679.43/2686.95 c #Conflicts: 1026000 | #Constraints: 28773
2679.43/2686.95 c #Conflicts: 1027000 | #Constraints: 29773
2679.43/2686.95 c #Conflicts: 1028000 | #Constraints: 30773
2679.43/2686.95 c #Conflicts: 1029000 | #Constraints: 31773
2679.43/2686.95 c #Conflicts: 1030000 | #Constraints: 32773
2679.43/2686.95 c #Conflicts: 1031000 | #Constraints: 33773
2679.43/2686.95 c #Conflicts: 1032000 | #Constraints: 34773
2679.43/2686.95 c #Conflicts: 1033000 | #Constraints: 35773
2679.43/2686.95 c #Conflicts: 1034000 | #Constraints: 36773
2679.43/2686.95 c #Conflicts: 1035000 | #Constraints: 37773
2679.43/2686.95 c #Conflicts: 1036000 | #Constraints: 38773
2679.43/2686.95 c #Conflicts: 1037000 | #Constraints: 39773
2679.43/2686.95 c #Conflicts: 1038000 | #Constraints: 40773
2679.43/2686.95 c #Conflicts: 1039000 | #Constraints: 41773
2679.43/2686.95 c #Conflicts: 1040000 | #Constraints: 42773
2679.43/2686.95 c #Conflicts: 1041000 | #Constraints: 43773
2679.43/2686.95 c INPROCESSING
2679.43/2686.95 c GARBAGE COLLECT
2679.43/2686.95 c #Conflicts: 1042000 | #Constraints: 24567
2679.43/2686.95 c #Conflicts: 1043000 | #Constraints: 25567
2679.43/2686.95 c #Conflicts: 1044000 | #Constraints: 26567
2679.43/2686.95 c #Conflicts: 1045000 | #Constraints: 27567
2679.43/2686.95 c #Conflicts: 1046000 | #Constraints: 28567
2679.43/2686.95 c #Conflicts: 1047000 | #Constraints: 29567
2679.43/2686.95 c #Conflicts: 1048000 | #Constraints: 30567
2916.65/2924.80 c #Conflicts: 1049000 | #Constraints: 31567
2916.65/2924.80 c #Conflicts: 1050000 | #Constraints: 32567
2916.65/2924.80 c #Conflicts: 1051000 | #Constraints: 33567
2916.65/2924.80 c #Conflicts: 1052000 | #Constraints: 34567
2916.65/2924.80 c #Conflicts: 1053000 | #Constraints: 35567
2916.65/2924.80 c #Conflicts: 1054000 | #Constraints: 36567
2916.65/2924.80 c #Conflicts: 1055000 | #Constraints: 37567
2916.65/2924.80 c #Conflicts: 1056000 | #Constraints: 38567
2916.65/2924.80 c #Conflicts: 1057000 | #Constraints: 39567
2916.65/2924.80 c #Conflicts: 1058000 | #Constraints: 40567
2916.65/2924.80 c #Conflicts: 1059000 | #Constraints: 41567
2916.65/2924.80 c #Conflicts: 1060000 | #Constraints: 42567
2916.65/2924.80 c #Conflicts: 1061000 | #Constraints: 43567
2916.65/2924.80 c #Conflicts: 1062000 | #Constraints: 44567
2916.65/2924.80 c INPROCESSING
2916.65/2924.80 c GARBAGE COLLECT
2916.65/2924.80 c #Conflicts: 1063000 | #Constraints: 25180
2916.65/2924.80 c #Conflicts: 1064000 | #Constraints: 26180
2916.65/2924.80 c #Conflicts: 1065000 | #Constraints: 27180
2916.65/2924.80 c #Conflicts: 1066000 | #Constraints: 28180
2916.65/2924.80 c #Conflicts: 1067000 | #Constraints: 29180
2916.65/2924.80 c #Conflicts: 1068000 | #Constraints: 30180
2916.65/2924.80 c #Conflicts: 1069000 | #Constraints: 31180
2916.65/2924.80 c #Conflicts: 1070000 | #Constraints: 32180
2916.65/2924.80 c #Conflicts: 1071000 | #Constraints: 33180
2916.65/2924.80 c #Conflicts: 1072000 | #Constraints: 34180
2916.65/2924.80 c #Conflicts: 1073000 | #Constraints: 35180
2916.65/2924.80 c #Conflicts: 1074000 | #Constraints: 36180
2916.65/2924.80 c #Conflicts: 1075000 | #Constraints: 37180
2916.65/2924.80 c #Conflicts: 1076000 | #Constraints: 38180
2916.65/2924.80 c #Conflicts: 1077000 | #Constraints: 39180
2916.65/2924.80 c #Conflicts: 1078000 | #Constraints: 40180
2916.65/2924.80 c #Conflicts: 1079000 | #Constraints: 41180
2916.65/2924.80 c #Conflicts: 1080000 | #Constraints: 42180
2916.65/2924.80 c #Conflicts: 1081000 | #Constraints: 43180
2916.65/2924.80 c #Conflicts: 1082000 | #Constraints: 44180
2916.65/2924.80 c #Conflicts: 1083000 | #Constraints: 45180
2916.65/2924.80 c INPROCESSING
2916.65/2924.80 c GARBAGE COLLECT
2916.65/2924.80 c #Conflicts: 1084000 | #Constraints: 25583
2916.65/2924.80 c #Conflicts: 1085000 | #Constraints: 26583
2916.65/2924.80 c #Conflicts: 1086000 | #Constraints: 27583
2916.65/2924.80 c #Conflicts: 1087000 | #Constraints: 28583
2916.65/2924.80 c #Conflicts: 1088000 | #Constraints: 29583
2916.65/2924.80 c #Conflicts: 1089000 | #Constraints: 30583
2916.65/2924.80 c #Conflicts: 1090000 | #Constraints: 31583
2916.65/2924.80 c #Conflicts: 1091000 | #Constraints: 32583
2916.65/2924.80 c #Conflicts: 1092000 | #Constraints: 33583
2916.65/2924.80 c #Conflicts: 1093000 | #Constraints: 34583
2916.65/2924.80 c #Conflicts: 1094000 | #Constraints: 35583
2916.65/2924.80 c #Conflicts: 1095000 | #Constraints: 36583
2916.65/2924.80 c #Conflicts: 1096000 | #Constraints: 37583
2916.65/2924.80 c #Conflicts: 1097000 | #Constraints: 38583
2916.65/2924.80 c #Conflicts: 1098000 | #Constraints: 39583
2916.65/2924.80 c #Conflicts: 1099000 | #Constraints: 40583
2916.65/2924.80 c #Conflicts: 1100000 | #Constraints: 41583
2916.65/2924.80 c #Conflicts: 1101000 | #Constraints: 42583
2916.65/2924.80 c #Conflicts: 1102000 | #Constraints: 43583
2916.65/2924.80 c #Conflicts: 1103000 | #Constraints: 44583
2916.65/2924.80 c #Conflicts: 1104000 | #Constraints: 45583
2916.65/2924.80 c INPROCESSING
2916.65/2924.80 c GARBAGE COLLECT
2916.65/2924.80 c #Conflicts: 1105000 | #Constraints: 25798
2916.65/2924.80 c #Conflicts: 1106000 | #Constraints: 26798
2916.65/2924.80 c #Conflicts: 1107000 | #Constraints: 27798
2916.65/2924.80 c #Conflicts: 1108000 | #Constraints: 28798
2916.65/2924.80 c #Conflicts: 1109000 | #Constraints: 29798
2916.65/2924.80 c #Conflicts: 1110000 | #Constraints: 30798
2916.65/2924.80 c #Conflicts: 1111000 | #Constraints: 31798
2916.65/2924.80 c #Conflicts: 1112000 | #Constraints: 32798
2916.65/2924.80 c #Conflicts: 1113000 | #Constraints: 33798
2916.65/2924.80 c #Conflicts: 1114000 | #Constraints: 34798
2916.65/2924.80 c #Conflicts: 1115000 | #Constraints: 35798
2916.65/2924.80 c #Conflicts: 1116000 | #Constraints: 36798
2916.65/2924.80 c #Conflicts: 1117000 | #Constraints: 37798
2916.65/2924.80 c #Conflicts: 1118000 | #Constraints: 38798
2916.65/2924.80 c #Conflicts: 1119000 | #Constraints: 39798
2916.65/2924.80 c #Conflicts: 1120000 | #Constraints: 40798
2916.65/2924.80 c #Conflicts: 1121000 | #Constraints: 41798
2916.65/2924.80 c #Conflicts: 1122000 | #Constraints: 42798
2916.65/2924.80 c #Conflicts: 1123000 | #Constraints: 43798
2916.65/2924.80 c #Conflicts: 1124000 | #Constraints: 44798
3251.11/3260.21 c #Conflicts: 1125000 | #Constraints: 45798
3251.11/3260.21 c INPROCESSING
3251.11/3260.21 c GARBAGE COLLECT
3251.11/3260.21 c #Conflicts: 1126000 | #Constraints: 25796
3251.11/3260.21 c #Conflicts: 1127000 | #Constraints: 26796
3251.11/3260.21 c #Conflicts: 1128000 | #Constraints: 27796
3251.11/3260.21 c #Conflicts: 1129000 | #Constraints: 28796
3251.11/3260.21 c #Conflicts: 1130000 | #Constraints: 29796
3251.11/3260.21 c #Conflicts: 1131000 | #Constraints: 30796
3251.11/3260.21 c #Conflicts: 1132000 | #Constraints: 31796
3251.11/3260.21 c #Conflicts: 1133000 | #Constraints: 32796
3251.11/3260.21 c #Conflicts: 1134000 | #Constraints: 33796
3251.11/3260.21 c #Conflicts: 1135000 | #Constraints: 34796
3251.11/3260.21 c #Conflicts: 1136000 | #Constraints: 35796
3251.11/3260.21 c #Conflicts: 1137000 | #Constraints: 36796
3251.11/3260.21 c #Conflicts: 1138000 | #Constraints: 37796
3251.11/3260.21 c #Conflicts: 1139000 | #Constraints: 38796
3251.11/3260.21 c #Conflicts: 1140000 | #Constraints: 39796
3251.11/3260.21 c #Conflicts: 1141000 | #Constraints: 40796
3251.11/3260.21 c #Conflicts: 1142000 | #Constraints: 41796
3251.11/3260.21 c #Conflicts: 1143000 | #Constraints: 42796
3251.11/3260.21 c #Conflicts: 1144000 | #Constraints: 43796
3251.11/3260.21 c #Conflicts: 1145000 | #Constraints: 44796
3251.11/3260.21 c #Conflicts: 1146000 | #Constraints: 45796
3251.11/3260.21 c INPROCESSING
3251.11/3260.21 c GARBAGE COLLECT
3251.11/3260.21 c #Conflicts: 1147000 | #Constraints: 25587
3251.11/3260.21 c #Conflicts: 1148000 | #Constraints: 26587
3251.11/3260.21 c #Conflicts: 1149000 | #Constraints: 27587
3251.11/3260.21 c #Conflicts: 1150000 | #Constraints: 28587
3251.11/3260.21 c #Conflicts: 1151000 | #Constraints: 29587
3251.11/3260.21 c #Conflicts: 1152000 | #Constraints: 30587
3251.11/3260.21 c #Conflicts: 1153000 | #Constraints: 31587
3251.11/3260.21 c #Conflicts: 1154000 | #Constraints: 32587
3251.11/3260.21 c #Conflicts: 1155000 | #Constraints: 33587
3251.11/3260.21 c #Conflicts: 1156000 | #Constraints: 34587
3251.11/3260.21 c #Conflicts: 1157000 | #Constraints: 35587
3251.11/3260.21 c #Conflicts: 1158000 | #Constraints: 36587
3251.11/3260.21 c #Conflicts: 1159000 | #Constraints: 37587
3251.11/3260.21 c #Conflicts: 1160000 | #Constraints: 38587
3251.11/3260.21 c #Conflicts: 1161000 | #Constraints: 39587
3251.11/3260.21 c #Conflicts: 1162000 | #Constraints: 40587
3251.11/3260.21 c #Conflicts: 1163000 | #Constraints: 41587
3251.11/3260.21 c #Conflicts: 1164000 | #Constraints: 42587
3251.11/3260.21 c #Conflicts: 1165000 | #Constraints: 43587
3251.11/3260.21 c #Conflicts: 1166000 | #Constraints: 44587
3251.11/3260.21 c #Conflicts: 1167000 | #Constraints: 45587
3251.11/3260.21 c #Conflicts: 1168000 | #Constraints: 46587
3251.11/3260.21 c INPROCESSING
3251.11/3260.21 c GARBAGE COLLECT
3251.11/3260.21 c #Conflicts: 1169000 | #Constraints: 26186
3251.11/3260.21 c #Conflicts: 1170000 | #Constraints: 27186
3251.11/3260.21 c #Conflicts: 1171000 | #Constraints: 28186
3251.11/3260.21 c #Conflicts: 1172000 | #Constraints: 29186
3251.11/3260.21 c #Conflicts: 1173000 | #Constraints: 30186
3251.11/3260.21 c #Conflicts: 1174000 | #Constraints: 31186
3251.11/3260.21 c #Conflicts: 1175000 | #Constraints: 32186
3251.11/3260.21 c #Conflicts: 1176000 | #Constraints: 33186
3251.11/3260.21 c #Conflicts: 1177000 | #Constraints: 34186
3251.11/3260.21 c #Conflicts: 1178000 | #Constraints: 35186
3251.11/3260.21 c #Conflicts: 1179000 | #Constraints: 36186
3251.11/3260.21 c #Conflicts: 1180000 | #Constraints: 37186
3251.11/3260.21 c #Conflicts: 1181000 | #Constraints: 38186
3251.11/3260.21 c #Conflicts: 1182000 | #Constraints: 39186
3251.11/3260.21 c #Conflicts: 1183000 | #Constraints: 40186
3251.11/3260.21 c #Conflicts: 1184000 | #Constraints: 41186
3251.11/3260.21 c #Conflicts: 1185000 | #Constraints: 42186
3251.11/3260.21 c #Conflicts: 1186000 | #Constraints: 43186
3251.11/3260.21 c #Conflicts: 1187000 | #Constraints: 44186
3251.11/3260.21 c #Conflicts: 1188000 | #Constraints: 45186
3251.11/3260.21 c #Conflicts: 1189000 | #Constraints: 46186
3251.11/3260.21 c #Conflicts: 1190000 | #Constraints: 47186
3251.11/3260.21 c INPROCESSING
3251.11/3260.21 c GARBAGE COLLECT
3251.11/3260.21 c #Conflicts: 1191000 | #Constraints: 26575
3251.11/3260.21 c #Conflicts: 1192000 | #Constraints: 27575
3251.11/3260.21 c #Conflicts: 1193000 | #Constraints: 28575
3251.11/3260.21 c #Conflicts: 1194000 | #Constraints: 29575
3251.11/3260.21 c #Conflicts: 1195000 | #Constraints: 30575
3251.11/3260.21 c #Conflicts: 1196000 | #Constraints: 31575
3251.11/3260.21 c #Conflicts: 1197000 | #Constraints: 32575
3251.11/3260.21 c #Conflicts: 1198000 | #Constraints: 33575
3251.11/3260.21 c #Conflicts: 1199000 | #Constraints: 34575
3251.11/3260.21 c #Conflicts: 1200000 | #Constraints: 35575
3251.11/3260.21 c #Conflicts: 1201000 | #Constraints: 36575
3577.89/3588.00 c #Conflicts: 1202000 | #Constraints: 37575
3577.89/3588.00 c #Conflicts: 1203000 | #Constraints: 38575
3577.89/3588.00 c #Conflicts: 1204000 | #Constraints: 39575
3577.89/3588.00 c #Conflicts: 1205000 | #Constraints: 40575
3577.89/3588.00 c #Conflicts: 1206000 | #Constraints: 41575
3577.89/3588.00 c #Conflicts: 1207000 | #Constraints: 42575
3577.89/3588.00 c #Conflicts: 1208000 | #Constraints: 43575
3577.89/3588.00 c #Conflicts: 1209000 | #Constraints: 44575
3577.89/3588.00 c #Conflicts: 1210000 | #Constraints: 45575
3577.89/3588.00 c #Conflicts: 1211000 | #Constraints: 46575
3577.89/3588.00 c #Conflicts: 1212000 | #Constraints: 47575
3577.89/3588.00 c INPROCESSING
3577.89/3588.00 c GARBAGE COLLECT
3577.89/3588.00 c #Conflicts: 1213000 | #Constraints: 26770
3577.89/3588.00 c #Conflicts: 1214000 | #Constraints: 27770
3577.89/3588.00 c #Conflicts: 1215000 | #Constraints: 28770
3577.89/3588.00 c #Conflicts: 1216000 | #Constraints: 29770
3577.89/3588.00 c #Conflicts: 1217000 | #Constraints: 30770
3577.89/3588.00 c #Conflicts: 1218000 | #Constraints: 31770
3577.89/3588.00 c #Conflicts: 1219000 | #Constraints: 32770
3577.89/3588.00 c #Conflicts: 1220000 | #Constraints: 33770
3577.89/3588.00 c #Conflicts: 1221000 | #Constraints: 34770
3577.89/3588.00 c #Conflicts: 1222000 | #Constraints: 35770
3577.89/3588.00 c #Conflicts: 1223000 | #Constraints: 36770
3577.89/3588.00 c #Conflicts: 1224000 | #Constraints: 37770
3577.89/3588.00 c #Conflicts: 1225000 | #Constraints: 38770
3577.89/3588.00 c #Conflicts: 1226000 | #Constraints: 39770
3577.89/3588.00 c #Conflicts: 1227000 | #Constraints: 40770
3577.89/3588.00 c #Conflicts: 1228000 | #Constraints: 41770
3577.89/3588.00 c #Conflicts: 1229000 | #Constraints: 42770
3577.89/3588.00 c #Conflicts: 1230000 | #Constraints: 43770
3577.89/3588.00 c #Conflicts: 1231000 | #Constraints: 44770
3577.89/3588.00 c #Conflicts: 1232000 | #Constraints: 45770
3577.89/3588.00 c #Conflicts: 1233000 | #Constraints: 46770
3577.89/3588.00 c #Conflicts: 1234000 | #Constraints: 47770
3577.89/3588.00 c INPROCESSING
3577.89/3588.00 c GARBAGE COLLECT
3577.89/3588.00 c #Conflicts: 1235000 | #Constraints: 26761
3577.89/3588.00 c #Conflicts: 1236000 | #Constraints: 27761
3577.89/3588.00 c #Conflicts: 1237000 | #Constraints: 28761
3577.89/3588.00 c #Conflicts: 1238000 | #Constraints: 29761
3577.89/3588.00 c #Conflicts: 1239000 | #Constraints: 30761
3577.89/3588.00 c #Conflicts: 1240000 | #Constraints: 31761
3577.89/3588.00 c #Conflicts: 1241000 | #Constraints: 32761
3577.89/3588.00 c #Conflicts: 1242000 | #Constraints: 33761
3577.89/3588.00 c #Conflicts: 1243000 | #Constraints: 34761
3577.89/3588.00 c #Conflicts: 1244000 | #Constraints: 35761
3577.89/3588.00 c #Conflicts: 1245000 | #Constraints: 36761
3577.89/3588.00 c #Conflicts: 1246000 | #Constraints: 37761
3577.89/3588.00 c #Conflicts: 1247000 | #Constraints: 38761
3577.89/3588.00 c #Conflicts: 1248000 | #Constraints: 39761
3577.89/3588.00 c #Conflicts: 1249000 | #Constraints: 40761
3577.89/3588.00 c #Conflicts: 1250000 | #Constraints: 41761
3577.89/3588.00 c #Conflicts: 1251000 | #Constraints: 42761
3577.89/3588.00 c #Conflicts: 1252000 | #Constraints: 43761
3577.89/3588.00 c #Conflicts: 1253000 | #Constraints: 44761
3577.89/3588.00 c #Conflicts: 1254000 | #Constraints: 45761
3577.89/3588.00 c #Conflicts: 1255000 | #Constraints: 46761
3577.89/3588.00 c #Conflicts: 1256000 | #Constraints: 47761
3577.89/3588.00 c INPROCESSING
3577.89/3588.00 c GARBAGE COLLECT
3577.89/3588.00 c #Conflicts: 1257000 | #Constraints: 26569
3577.89/3588.00 c #Conflicts: 1258000 | #Constraints: 27569
3577.89/3588.00 c #Conflicts: 1259000 | #Constraints: 28569
3577.89/3588.00 c #Conflicts: 1260000 | #Constraints: 29569
3577.89/3588.00 c #Conflicts: 1261000 | #Constraints: 30569
3577.89/3588.00 c #Conflicts: 1262000 | #Constraints: 31569
3577.89/3588.00 c #Conflicts: 1263000 | #Constraints: 32569
3577.89/3588.00 c #Conflicts: 1264000 | #Constraints: 33569
3577.89/3588.00 c #Conflicts: 1265000 | #Constraints: 34569
3577.89/3588.00 c #Conflicts: 1266000 | #Constraints: 35569
3577.89/3588.00 c #Conflicts: 1267000 | #Constraints: 36569
3577.89/3588.00 c #Conflicts: 1268000 | #Constraints: 37569
3577.89/3588.00 c #Conflicts: 1269000 | #Constraints: 38569
3577.89/3588.00 c #Conflicts: 1270000 | #Constraints: 39569
3577.89/3588.00 c #Conflicts: 1271000 | #Constraints: 40569
3577.89/3588.00 c #Conflicts: 1272000 | #Constraints: 41569
3577.89/3588.00 c #Conflicts: 1273000 | #Constraints: 42569
3577.89/3588.00 c #Conflicts: 1274000 | #Constraints: 43569
3577.89/3588.00 c #Conflicts: 1275000 | #Constraints: 44569
3577.89/3588.00 c #Conflicts: 1276000 | #Constraints: 45569
3577.89/3588.00 c #Conflicts: 1277000 | #Constraints: 46569
3577.89/3588.00 c #Conflicts: 1278000 | #Constraints: 47569
3600.02/3610.10 c #Conflicts: 1279000 | #Constraints: 48569
3600.02/3610.10 c INPROCESSING
3600.02/3610.10 c GARBAGE COLLECT
3600.02/3610.10 c #Conflicts: 1280000 | #Constraints: 27178
3600.02/3610.10 c #Conflicts: 1281000 | #Constraints: 28178
3600.02/3610.10 c #Conflicts: 1282000 | #Constraints: 29178
3600.02/3610.10 c Program interrupted by user.
3600.02/3610.10 c cpu time 3592.07 s
3600.02/3610.10 c deterministic time 568590790231 5.69e+11
3600.02/3610.10 c optimization time 11.5761 s
3600.02/3610.10 c total solve time 3281.24 s
3600.02/3610.10 c core-guided solve time 3281.24 s
3600.02/3610.10 c propagation time 2600.62 s
3600.02/3610.10 c conflict analysis time 526.737 s
3600.02/3610.10 c propagations 119879826
3600.02/3610.10 c resolve steps 10413840
3600.02/3610.10 c decisions 4432909
3600.02/3610.10 c conflicts 1282949
3600.02/3610.10 c restarts 2459
3600.02/3610.10 c inprocessing phases 104
3600.02/3610.10 c input clauses 3873
3600.02/3610.10 c input cardinalities 142
3600.02/3610.10 c input general constraints 0
3600.02/3610.10 c input average constraint length 59.60
3600.02/3610.10 c input average constraint degree 27.00
3600.02/3610.10 c learned clauses 476385
3600.02/3610.10 c learned cardinalities 155657
3600.02/3610.10 c learned general constraints 651046
3600.02/3610.10 c learned average constraint length 771.28
3600.02/3610.10 c learned average constraint degree 119242.63
3600.02/3610.10 c watched constraints 312353
3600.02/3610.10 c counting constraints 338693
3600.02/3610.10 c gcd simplifications 29781
3600.02/3610.10 c detected cardinalities 1969
3600.02/3610.10 c weakened non-implied lits 192271071
3600.02/3610.10 c weakened non-implying lits 41150
3600.02/3610.10 c original variables 1959
3600.02/3610.10 c clausal propagations 57570877
3600.02/3610.10 c cardinality propagations 10437074
3600.02/3610.10 c watched propagations 6364371
3600.02/3610.10 c counting propagations 36784542
3600.02/3610.10 c watch lookups 51464866066
3600.02/3610.10 c watch backjump lookups 44227694921
3600.02/3610.10 c watch checks 430802996248
3600.02/3610.10 c propagation checks 39103096690
3600.02/3610.10 c constraint additions 2742229338
3600.02/3610.10 c trail pops 125594232
3600.02/3610.10 c formula constraints 3208
3600.02/3610.10 c learned constraints 1283088
3600.02/3610.10 c bound constraints 142
3600.02/3610.10 c core-guided constraints 665
3600.02/3610.10 c encountered formula constraints 7394369
3600.02/3610.10 c encountered learned constraints 3243859
3600.02/3610.10 c encountered bound constraints 3
3600.02/3610.10 c encountered core-guided constraints 1058558
3600.02/3610.10 c LP total time 0 s
3600.02/3610.10 c LP solve time 0 s
3600.02/3610.10 c LP constraints added 0
3600.02/3610.10 c LP constraints removed 0
3600.02/3610.10 c LP pivots internal 0
3600.02/3610.10 c LP pivots root 0
3600.02/3610.10 c LP calls 0
3600.02/3610.10 c LP optimalities 0
3600.02/3610.10 c LP no pivot count 0
3600.02/3610.10 c LP infeasibilities 0
3600.02/3610.10 c LP valid Farkas constraints 0
3600.02/3610.10 c LP learned Farkas constraints 0
3600.02/3610.10 c LP basis resets 0
3600.02/3610.10 c LP cycling count 0
3600.02/3610.10 c LP singular count 0
3600.02/3610.10 c LP no primal count 0
3600.02/3610.10 c LP no farkas count 0
3600.02/3610.10 c LP other issue count 0
3600.02/3610.10 c LP Gomory cuts 0
3600.02/3610.10 c LP learned cuts 0
3600.02/3610.10 c LP deleted cuts 0
3600.02/3610.10 c LP encountered Gomory constraints 0
3600.02/3610.10 c LP encountered Farkas constraints 0
3600.02/3610.10 c LP encountered learned Farkas constraints 0
3600.02/3610.10 c CG auxiliary variables introduced 665
3600.02/3610.10 c CG solutions found 0
3600.02/3610.10 c CG cores constructed 141
3600.02/3610.10 c CG core cardinality constraints returned 0
3600.02/3610.10 c CG unit cores 0
3600.02/3610.10 c CG single cores 141
3600.02/3610.10 c CG blocks removed during cardinality reduction 0
3600.02/3610.10 c CG first core best 0
3600.02/3610.10 c CG decision core best 0
3600.02/3610.10 c CG core reduction tie 0
3600.02/3610.10 c CG core degree average 1.00
3600.02/3610.10 c CG core slack average 3.22
3600.02/3610.10 c CG exhausted 0
3600.02/3610.10 c CG exhaust time 0 s
3600.02/3610.10 c CG trimmed 5
3600.02/3610.10 c CG trim time 0.000983 s
3600.02/3610.10 c CG minimized 0
3600.02/3610.10 c CG minimize time 0 s
3600.02/3610.10 c CG am1 prop time 0.002414 s
3600.02/3610.10 c CG # am1s reformulated 665
3600.02/3610.10 c CG lower bound derived from am1s 665
3600.02/3610.10 c CG # clausal cores 141
3600.02/3610.10 c CG # cardinality cores 0
3600.02/3610.10 c CG # pb cores 0
3600.02/3610.10 c CG # pb reforms 0
3600.02/3610.10 c CG # cores discarded because of pb reform 0
3600.02/3610.10 d LOWERBOUND 806
3600.02/3610.10 d NCORES 141
3600.02/3610.10 d NPBCORES 0
3600.02/3610.10 d NPBREFORM 0
3600.02/3610.10 d NTRIMMED 5
3600.02/3610.10 d NEXHAUSTED 0
3600.02/3610.10 d NAM1S 665
3600.02/3610.10 d AM1LB 665
3600.02/3610.10 c [Papilo Statistics]
3600.02/3610.10 c prepro time 0.00460511s
3600.02/3610.10 c # tsx applied 163
3600.02/3610.10 c # tsx conflicts 7
3600.02/3610.10 c # bound changes 162
3600.02/3610.10 c # side changes 0
3600.02/3610.10 c # coef changes 0
3600.02/3610.10 c # rounds 2
3600.02/3610.10 c # deted vars 333
3600.02/3610.10 c # deted constrs 792
3600.02/3610.10 c # consecutive rounds of only bound changes 0
3600.02/3610.11 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: 63665 MiB (59243 MiB free)
memory of node 1: 64507 MiB (63539 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528923-1752256378/watcher-4528923-1752256378 -o /tmp/evaluation-result-4528923-1752256378/solver-4528923-1752256378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752256328-122582 --watchdog 3760 mixed-bag HOME/instance-4528923-1752256378.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=123945, runsolver pid=123942
[startup+0.100065 s]*
/proc/loadavg: 3.66 4.05 4.10 5/264 123946
/proc/meminfo: memFree=125712688/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=114720 memory=41400 CPUtime=0.08 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 6967 0 0 0 7 1 0 0 20 0 1 0 141317398 117473280 10350 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 28680 10350 4320 2834 0 10885 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 114720 KiB
Current children cumulated memory: 41400 KiB
[startup+0.205295 s]*
/proc/loadavg: 3.66 4.05 4.10 5/264 123946
/proc/meminfo: memFree=125704624/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=115480 memory=42040 CPUtime=0.19 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 7146 0 0 0 18 1 0 0 20 0 1 0 141317398 118251520 10510 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 28870 10510 4320 2834 0 11075 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 115480 KiB
Current children cumulated memory: 42040 KiB
[startup+0.304988 s]*
/proc/loadavg: 3.66 4.05 4.10 5/264 123946
/proc/meminfo: memFree=125700844/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=118904 memory=45368 CPUtime=0.29 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 7981 0 0 0 28 1 0 0 20 0 1 0 141317398 121757696 11342 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 29726 11342 4320 2834 0 11931 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 118904 KiB
Current children cumulated memory: 45368 KiB
[startup+0.700109 s]
/proc/loadavg: 3.66 4.05 4.10 5/264 123946
/proc/meminfo: memFree=125700844/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=119892 memory=45880 CPUtime=0.68 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 8119 0 0 0 67 1 0 0 20 0 1 0 141317398 122769408 11470 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 29973 11470 4320 2834 0 12178 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 119892 KiB
Current children cumulated memory: 45880 KiB
[startup+1.50011 s]
/proc/loadavg: 3.66 4.05 4.10 5/264 123946
/proc/meminfo: memFree=125696812/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=121968 memory=47416 CPUtime=1.47 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 8483 0 0 0 146 1 0 0 20 0 1 0 141317398 124895232 11854 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 30492 11854 4320 2834 0 12697 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 121968 KiB
Current children cumulated memory: 47416 KiB
[startup+3.10524 s]
/proc/loadavg: 3.66 4.05 4.10 5/264 123946
/proc/meminfo: memFree=125656808/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=165520 memory=89792 CPUtime=3.08 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 19336 0 0 0 305 3 0 0 20 0 1 0 141317398 169492480 22448 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 41380 22448 4320 2834 0 23585 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 165520 KiB
Current children cumulated memory: 89792 KiB
[startup+6.30011 s]
/proc/loadavg: 3.69 4.05 4.10 5/264 123946
/proc/meminfo: memFree=125613072/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=216752 memory=139644 CPUtime=6.26 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 32074 0 0 0 621 5 0 0 20 0 1 0 141317398 221954048 34911 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 54188 34911 4320 2834 0 36393 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 216752 KiB
Current children cumulated memory: 139644 KiB
[startup+12.7001 s]
/proc/loadavg: 3.71 4.05 4.10 5/264 123946
/proc/meminfo: memFree=125576728/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=231232 memory=151804 CPUtime=12.64 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 35103 0 0 0 1259 5 0 0 20 0 1 0 141317398 236781568 37951 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 57808 37951 4320 2834 0 40013 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 231232 KiB
Current children cumulated memory: 151804 KiB
[startup+25.5001 s]
/proc/loadavg: 3.86 4.06 4.10 5/264 123946
/proc/meminfo: memFree=125544216/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=236020 memory=157820 CPUtime=25.41 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 36596 0 0 0 2535 6 0 0 20 0 1 0 141317398 241684480 39455 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 59005 39455 4320 2834 0 41210 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 236020 KiB
Current children cumulated memory: 157820 KiB
[startup+51.1053 s]
/proc/loadavg: 3.91 4.05 4.09 5/264 123947
/proc/meminfo: memFree=125448776/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=289852 memory=209160 CPUtime=50.95 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 50431 0 0 0 5087 8 0 0 20 0 1 0 141317398 296808448 52290 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 72463 52290 4320 2834 0 54668 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 289852 KiB
Current children cumulated memory: 209160 KiB
[startup+102.3 s]
/proc/loadavg: 3.96 4.04 4.09 5/264 123949
/proc/meminfo: memFree=125363552/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=307368 memory=225368 CPUtime=102.01 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 56935 0 0 0 10192 9 0 0 20 0 1 0 141317398 314744832 56342 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 76842 56342 4320 2834 0 59047 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 307368 KiB
Current children cumulated memory: 225368 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.07 4.09 5/264 123995
/proc/meminfo: memFree=125198092/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=314828 memory=232920 CPUtime=161.83 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 58848 0 0 0 16174 9 0 0 20 0 1 0 141317398 322383872 58230 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 78707 58230 4320 2834 0 60912 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 314828 KiB
Current children cumulated memory: 232920 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.07 4.09 5/264 124004
/proc/meminfo: memFree=125062508/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=320384 memory=233048 CPUtime=221.64 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 58868 0 0 0 22154 10 0 0 20 0 1 0 141317398 328073216 58262 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 80096 58262 4320 2834 0 62301 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 320384 KiB
Current children cumulated memory: 233048 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.07 4.09 5/263 124006
/proc/meminfo: memFree=125051296/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=331012 memory=239960 CPUtime=281.45 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 60608 0 0 0 28135 10 0 0 20 0 1 0 141317398 338956288 59990 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 82753 59990 4320 2834 0 64958 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 331012 KiB
Current children cumulated memory: 239960 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.08 4.09 5/263 124008
/proc/meminfo: memFree=124653828/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=313596 memory=244476 CPUtime=341.27 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 65469 0 0 0 34071 56 0 0 20 0 1 0 141317398 321122304 61119 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 78399 61119 4480 2834 0 60604 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 313596 KiB
Current children cumulated memory: 244476 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 124010
/proc/meminfo: memFree=124535256/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=344416 memory=250840 CPUtime=401.08 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 66058 0 0 0 40014 94 0 0 20 0 1 0 141317398 352681984 62710 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 86104 62710 4480 2834 0 68309 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 344416 KiB
Current children cumulated memory: 250840 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/264 124012
/proc/meminfo: memFree=124459828/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=344416 memory=269652 CPUtime=460.89 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 66186 0 0 0 45961 128 0 0 20 0 1 0 141317398 352681984 67413 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 86104 67413 4480 2834 0 68309 0
Current children cumulated CPU time: 460.89 s
################
# More data... #
################
Current children cumulated memory: 464460 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 124139
/proc/meminfo: memFree=121587940/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=544192 memory=464588 CPUtime=2914.15 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 80980 0 0 0 290724 691 0 0 20 0 1 0 141317398 557252608 116147 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 136048 116147 4480 2834 0 118253 0
Current children cumulated CPU time: 2914.15 s
Current children cumulated vsize: 544192 KiB
Current children cumulated memory: 464588 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 124140
/proc/meminfo: memFree=121527172/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=544704 memory=464972 CPUtime=2973.99 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 81100 0 0 0 296699 700 0 0 20 0 1 0 141317398 557776896 116243 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 136176 116243 4480 2834 0 118381 0
Current children cumulated CPU time: 2973.99 s
Current children cumulated vsize: 544704 KiB
Current children cumulated memory: 464972 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 124142
/proc/meminfo: memFree=121490092/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=545472 memory=465868 CPUtime=3033.82 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 81327 0 0 0 302677 705 0 0 20 0 1 0 141317398 558563328 116467 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 136368 116467 4480 2834 0 118573 0
Current children cumulated CPU time: 3033.82 s
Current children cumulated vsize: 545472 KiB
Current children cumulated memory: 465868 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 124144
/proc/meminfo: memFree=121465088/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=545472 memory=465868 CPUtime=3093.65 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 81327 0 0 0 308652 713 0 0 20 0 1 0 141317398 558563328 116467 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 136368 116467 4480 2834 0 118573 0
Current children cumulated CPU time: 3093.65 s
Current children cumulated vsize: 545472 KiB
Current children cumulated memory: 465868 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 124146
/proc/meminfo: memFree=121463832/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=545472 memory=465868 CPUtime=3153.49 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 81333 0 0 0 314627 722 0 0 20 0 1 0 141317398 558563328 116467 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 136368 116467 4480 2834 0 118573 0
Current children cumulated CPU time: 3153.49 s
Current children cumulated vsize: 545472 KiB
Current children cumulated memory: 465868 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 124155
/proc/meminfo: memFree=121387324/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=545472 memory=465996 CPUtime=3213.32 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 81356 0 0 0 320600 732 0 0 20 0 1 0 141317398 558563328 116499 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 136368 116499 4480 2834 0 118573 0
Current children cumulated CPU time: 3213.32 s
Current children cumulated vsize: 545472 KiB
Current children cumulated memory: 465996 KiB
[startup+3282.3 s]
/proc/loadavg: 4.25 4.13 4.10 5/263 124157
/proc/meminfo: memFree=121385164/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=545984 memory=466508 CPUtime=3273.15 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 81479 0 0 0 326571 744 0 0 20 0 1 0 141317398 559087616 116627 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 136496 116627 4480 2834 0 118701 0
Current children cumulated CPU time: 3273.15 s
Current children cumulated vsize: 545984 KiB
Current children cumulated memory: 466508 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.16 4.11 5/263 124159
/proc/meminfo: memFree=121390368/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=546496 memory=467148 CPUtime=3332.97 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 81632 0 0 0 332543 754 0 0 20 0 1 0 141317398 559611904 116787 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 136624 116787 4480 2834 0 118829 0
Current children cumulated CPU time: 3332.97 s
Current children cumulated vsize: 546496 KiB
Current children cumulated memory: 467148 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/263 124161
/proc/meminfo: memFree=121389248/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=546496 memory=467148 CPUtime=3392.81 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 81652 0 0 0 338519 762 0 0 20 0 1 0 141317398 559611904 116787 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 136624 116787 4480 2834 0 118829 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 546496 KiB
Current children cumulated memory: 467148 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/263 124163
/proc/meminfo: memFree=121391560/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=547008 memory=468172 CPUtime=3452.64 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 81899 0 0 0 344491 773 0 0 20 0 1 0 141317398 560136192 117043 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 136752 117043 4480 2834 0 118957 0
Current children cumulated CPU time: 3452.64 s
Current children cumulated vsize: 547008 KiB
Current children cumulated memory: 468172 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/263 124166
/proc/meminfo: memFree=121391192/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=547776 memory=468812 CPUtime=3512.47 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 82061 0 0 0 350468 779 0 0 20 0 1 0 141317398 560922624 117203 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 136944 117203 4480 2834 0 119149 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 547776 KiB
Current children cumulated memory: 468812 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.11 4.09 6/263 124258
/proc/meminfo: memFree=125458080/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=547776 memory=469196 CPUtime=3572.3 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 82151 0 0 0 356439 791 0 0 20 0 1 0 141317398 560922624 117299 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 136944 117299 4480 2834 0 119149 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 547776 KiB
Current children cumulated memory: 469196 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.08 4.11 4.09 6/263 124259
/proc/meminfo: memFree=125457640/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=548800 memory=470092 CPUtime=3600.02 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 82375 0 0 0 359206 796 0 0 20 0 1 0 141317398 561971200 117523 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 137200 117523 4480 2834 0 119405 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 548800 KiB
Current children cumulated memory: 470092 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 123945 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.07 s, system=7.96788 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.08 4.11 4.09 6/263 124259
/proc/meminfo: memFree=125457640/131249996 swapFree=33005016/33010684
[pid=123945] ppid=123942 vsize=548800 memory=470092 CPUtime=3600.02 cores=1,3
/proc/123945/stat : 123945 (mixed-bag) R 123942 123945 122570 0 -1 4194304 82375 0 0 0 359206 796 0 0 20 0 1 0 141317398 561971200 117523 18446744073709551615 4235264 15840557 140726590750064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51965952 140726590753178 140726590753255 140726590753255 140726590758859 0
/proc/123945/statm: 137200 117523 4480 2834 0 119405 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 548800 KiB
Current children cumulated memory: 470092 KiB
Child status: 0
Real time (s): 3610.11
CPU time (s): 3600.04
CPU user time (s): 3592.07
CPU system time (s): 7.96788
CPU usage (%): 99.7209
Max. virtual memory (cumulated for all children) (KiB): 548800
Max. memory (cumulated for all children) (KiB): 470092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.07
system time used= 7.96788
maximum resident set size= 470604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82405
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 178
involuntary context switches= 3604
# summary of solver processes directly reported to runsolver:
# pid: 123945
# total CPU time (s): 3600.04
# total CPU user time (s): 3592.07
# total CPU system time (s): 7.96788
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.65165 second user time and 17.0444 second system time
The end
Begin job on nodeC030 at 2025-07-11 19:52:58
IDJOB=4528923
IDBENCH=147521
IDSOLVER=3386
FILE ID=nodeC030/4528923-1752256378
RUNJOBID= nodeC030-1752256328-122582
SLURM_JOB_ID= 9682597
Free space on /tmp= 432452 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528923-1752256378/watcher-4528923-1752256378 -o /tmp/evaluation-result-4528923-1752256378/solver-4528923-1752256378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752256328-122582 --watchdog 3760 mixed-bag HOME/instance-4528923-1752256378.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3cf724146d283b6491b934147ab5b23d
RANDOM SEED=277489215
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.522
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.069
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3629.437
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.345
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.627
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.325
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3599.553
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.735
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125730300 kB
MemAvailable: 128802060 kB
Buffers: 16 kB
Cached: 3856328 kB
SwapCached: 216 kB
Active: 1125132 kB
Inactive: 3748864 kB
Active(anon): 970112 kB
Inactive(anon): 61088 kB
Active(file): 155020 kB
Inactive(file): 3687776 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005016 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 49344 kB
Writeback: 0 kB
AnonPages: 1020576 kB
Mapped: 126300 kB
Shmem: 13548 kB
KReclaimable: 136008 kB
Slab: 228864 kB
SReclaimable: 136008 kB
SUnreclaim: 92856 kB
KernelStack: 4256 kB
PageTables: 5400 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1644292 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 292864 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432452 MiB
End job on nodeC030 at 2025-07-11 20:53:08