0.00/0.03 c RoundingSat 2
0.00/0.03 c branch
0.00/0.03 c commit
0.00/0.03 c with Papilo
0.00/0.03 c with SCIP
0.00/0.03 c [STEP] parsing instance
0.00/0.05 c [STEP] preprocessing with Papilo
0.00/0.07 c [STEP] solving with SCIP
299.31/300.29 c [STEP] preprocessing done, loading into solver
299.41/300.30 c [STEP] solving
299.41/300.30 c #variables 1676 #constraints 3305
299.41/300.30 c SMALL=int, LARGE=long long
299.41/300.30 d SCIPUB 892
299.41/300.30 c bounds - >= 0 @ 299.246
299.41/300.30 c stratification level: 0
301.11/302.02 c bounds - >= 692 @ 299.252
301.11/302.02 c bounds - >= 693 @ 299.253
301.11/302.02 c bounds - >= 694 @ 299.253
301.11/302.02 c bounds - >= 695 @ 299.253
301.11/302.02 c bounds - >= 696 @ 299.254
301.11/302.02 c bounds - >= 697 @ 299.254
301.11/302.02 c bounds - >= 698 @ 299.254
301.11/302.02 c bounds - >= 699 @ 299.254
301.11/302.02 c bounds - >= 700 @ 299.254
301.11/302.02 c bounds - >= 701 @ 299.254
301.11/302.02 c bounds - >= 702 @ 299.254
301.11/302.02 c bounds - >= 703 @ 299.254
301.11/302.02 c bounds - >= 704 @ 299.254
301.11/302.02 c bounds - >= 705 @ 299.254
301.11/302.02 c bounds - >= 706 @ 299.255
301.11/302.02 c bounds - >= 707 @ 299.255
301.11/302.02 c bounds - >= 708 @ 299.255
301.11/302.02 c bounds - >= 709 @ 299.255
301.11/302.02 c bounds - >= 710 @ 299.255
301.11/302.02 c bounds - >= 711 @ 299.256
301.11/302.02 c bounds - >= 712 @ 299.256
301.11/302.02 c bounds - >= 713 @ 299.256
301.11/302.02 c bounds - >= 714 @ 299.256
301.11/302.02 c bounds - >= 715 @ 299.257
301.11/302.02 c bounds - >= 716 @ 299.257
301.11/302.02 c bounds - >= 717 @ 299.257
301.11/302.02 c bounds - >= 718 @ 299.257
301.11/302.02 c bounds - >= 719 @ 299.257
301.11/302.02 c bounds - >= 720 @ 299.258
301.11/302.02 c bounds - >= 721 @ 299.258
301.11/302.02 c bounds - >= 722 @ 299.258
301.11/302.02 c bounds - >= 723 @ 299.258
301.11/302.02 c bounds - >= 724 @ 299.259
301.11/302.02 c bounds - >= 725 @ 299.259
301.11/302.02 c bounds - >= 726 @ 299.259
301.11/302.02 c bounds - >= 727 @ 299.259
301.11/302.02 c bounds - >= 728 @ 299.26
301.11/302.02 c bounds - >= 729 @ 299.26
301.11/302.02 c bounds - >= 730 @ 299.26
301.11/302.02 c bounds - >= 731 @ 299.26
301.11/302.02 c bounds - >= 732 @ 299.26
301.11/302.02 c bounds - >= 733 @ 299.26
301.11/302.02 c bounds - >= 734 @ 299.26
301.11/302.02 c bounds - >= 735 @ 299.26
301.11/302.02 c bounds - >= 736 @ 299.26
301.11/302.02 c bounds - >= 737 @ 299.26
301.11/302.02 c bounds - >= 738 @ 299.26
301.11/302.02 c bounds - >= 739 @ 299.26
301.11/302.02 c bounds - >= 740 @ 299.26
301.11/302.02 c bounds - >= 741 @ 299.26
301.11/302.02 c bounds - >= 742 @ 299.26
301.11/302.02 c bounds - >= 743 @ 299.26
301.11/302.02 c bounds - >= 744 @ 299.261
301.11/302.02 c bounds - >= 745 @ 299.261
301.11/302.02 c bounds - >= 746 @ 299.261
301.11/302.02 c bounds - >= 747 @ 299.261
301.11/302.02 c bounds - >= 748 @ 299.261
301.11/302.02 c bounds - >= 749 @ 299.261
301.11/302.02 c bounds - >= 750 @ 299.261
301.11/302.02 c bounds - >= 751 @ 299.262
301.11/302.02 c bounds - >= 752 @ 299.262
301.11/302.02 c bounds - >= 753 @ 299.262
301.11/302.02 c bounds - >= 754 @ 299.262
301.11/302.02 c bounds - >= 755 @ 299.263
301.11/302.02 c bounds - >= 756 @ 299.263
301.11/302.02 c bounds - >= 757 @ 299.263
301.11/302.02 c bounds - >= 758 @ 299.264
301.11/302.02 c bounds - >= 759 @ 299.264
301.11/302.02 c bounds - >= 760 @ 299.264
301.11/302.02 c bounds - >= 761 @ 299.264
301.11/302.02 c bounds - >= 762 @ 299.265
301.11/302.02 c bounds - >= 763 @ 299.265
301.11/302.02 c bounds - >= 764 @ 299.265
301.11/302.02 c bounds - >= 765 @ 299.266
301.11/302.02 c bounds - >= 766 @ 299.266
301.11/302.02 c bounds - >= 767 @ 299.266
301.11/302.02 c bounds - >= 768 @ 299.266
301.11/302.02 c bounds - >= 769 @ 299.267
301.11/302.02 c bounds - >= 770 @ 299.267
301.11/302.02 c bounds - >= 771 @ 299.267
301.11/302.02 c bounds - >= 772 @ 299.268
301.11/302.02 c bounds - >= 773 @ 299.268
301.11/302.02 c bounds - >= 774 @ 299.268
301.11/302.02 c bounds - >= 775 @ 299.268
301.11/302.02 c bounds - >= 776 @ 299.268
301.11/302.02 c bounds - >= 777 @ 299.268
301.11/302.02 c bounds - >= 778 @ 299.268
301.11/302.02 c bounds - >= 779 @ 299.269
301.11/302.02 c bounds - >= 780 @ 299.269
301.11/302.02 c bounds - >= 781 @ 299.269
301.11/302.02 c bounds - >= 782 @ 299.27
301.11/302.02 c bounds - >= 783 @ 299.27
301.11/302.02 c bounds - >= 784 @ 299.27
301.11/302.02 c bounds - >= 785 @ 299.271
301.11/302.02 c bounds - >= 786 @ 299.271
301.11/302.02 c bounds - >= 787 @ 299.271
301.11/302.02 c bounds - >= 788 @ 299.272
301.11/302.02 c bounds - >= 789 @ 299.272
301.11/302.02 c bounds - >= 790 @ 299.272
301.11/302.02 c bounds - >= 791 @ 299.273
301.11/302.02 c bounds - >= 792 @ 299.273
301.11/302.02 c bounds - >= 793 @ 299.273
301.11/302.02 c bounds - >= 794 @ 299.273
301.11/302.02 c bounds - >= 795 @ 299.273
301.11/302.02 c bounds - >= 796 @ 299.273
301.11/302.02 c bounds - >= 797 @ 299.273
301.11/302.02 c bounds - >= 798 @ 299.273
301.11/302.02 c bounds - >= 799 @ 299.273
301.11/302.02 c bounds - >= 800 @ 299.273
301.11/302.02 c bounds - >= 801 @ 299.273
301.11/302.02 c bounds - >= 802 @ 299.273
301.11/302.02 c bounds - >= 803 @ 299.273
301.11/302.02 c bounds - >= 804 @ 299.273
301.11/302.02 c bounds - >= 805 @ 299.273
301.11/302.02 c bounds - >= 806 @ 299.273
301.11/302.02 c bounds - >= 807 @ 299.273
301.11/302.02 c bounds - >= 808 @ 299.273
301.11/302.02 c bounds - >= 809 @ 299.274
301.11/302.02 c bounds - >= 810 @ 299.274
301.11/302.02 c bounds - >= 811 @ 299.274
301.11/302.02 c bounds - >= 812 @ 299.274
301.11/302.02 c bounds - >= 813 @ 299.274
301.11/302.02 c bounds - >= 814 @ 299.275
301.11/302.02 c bounds - >= 815 @ 299.275
301.11/302.02 c bounds - >= 816 @ 299.275
301.11/302.02 c bounds - >= 817 @ 299.275
301.11/302.02 c bounds - >= 818 @ 299.275
301.11/302.02 c bounds - >= 819 @ 299.275
301.11/302.02 c bounds - >= 820 @ 299.275
301.11/302.02 c bounds - >= 821 @ 299.276
301.11/302.02 c bounds - >= 822 @ 299.276
301.11/302.02 c bounds - >= 823 @ 299.277
301.11/302.02 c bounds - >= 824 @ 299.277
301.11/302.02 c bounds - >= 825 @ 299.278
301.11/302.02 c bounds - >= 826 @ 299.278
301.11/302.02 c bounds - >= 827 @ 299.278
301.11/302.02 c #Conflicts: 1000 | #Constraints: 5262
301.11/302.02 c #Conflicts: 2000 | #Constraints: 6262
301.11/302.02 c INPROCESSING
301.11/302.02 c GARBAGE COLLECT
301.11/302.02 c #Conflicts: 3000 | #Constraints: 6120
301.11/302.02 c #Conflicts: 4000 | #Constraints: 7120
301.11/302.02 c INPROCESSING
301.11/302.02 c GARBAGE COLLECT
301.11/302.02 c #Conflicts: 5000 | #Constraints: 6525
378.46/379.69 c #Conflicts: 6000 | #Constraints: 7525
378.46/379.69 c INPROCESSING
378.46/379.69 c GARBAGE COLLECT
378.46/379.69 c #Conflicts: 7000 | #Constraints: 6503
378.46/379.69 c #Conflicts: 8000 | #Constraints: 7503
378.46/379.69 c #Conflicts: 9000 | #Constraints: 8503
378.46/379.69 c INPROCESSING
378.46/379.69 c GARBAGE COLLECT
378.46/379.69 c #Conflicts: 10000 | #Constraints: 7199
378.46/379.69 c #Conflicts: 11000 | #Constraints: 8199
378.46/379.69 c #Conflicts: 12000 | #Constraints: 9199
378.46/379.69 c INPROCESSING
378.46/379.69 c GARBAGE COLLECT
378.46/379.69 c #Conflicts: 13000 | #Constraints: 7634
378.46/379.69 c #Conflicts: 14000 | #Constraints: 8634
378.46/379.69 c #Conflicts: 15000 | #Constraints: 9634
378.46/379.69 c INPROCESSING
378.46/379.69 c GARBAGE COLLECT
378.46/379.69 c #Conflicts: 16000 | #Constraints: 7854
378.46/379.69 c #Conflicts: 17000 | #Constraints: 8854
378.46/379.69 c #Conflicts: 18000 | #Constraints: 9854
378.46/379.69 c INPROCESSING
378.46/379.69 c GARBAGE COLLECT
378.46/379.69 c #Conflicts: 19000 | #Constraints: 7864
378.46/379.69 c #Conflicts: 20000 | #Constraints: 8864
378.46/379.69 c #Conflicts: 21000 | #Constraints: 9864
378.46/379.69 c INPROCESSING
378.46/379.69 c GARBAGE COLLECT
378.46/379.69 c #Conflicts: 22000 | #Constraints: 7670
378.46/379.69 c #Conflicts: 23000 | #Constraints: 8670
378.46/379.69 c #Conflicts: 24000 | #Constraints: 9670
378.46/379.69 c #Conflicts: 25000 | #Constraints: 10670
378.46/379.69 c INPROCESSING
378.46/379.69 c GARBAGE COLLECT
378.46/379.69 c #Conflicts: 26000 | #Constraints: 8267
378.46/379.69 c #Conflicts: 27000 | #Constraints: 9267
378.46/379.69 c #Conflicts: 28000 | #Constraints: 10267
378.46/379.69 c #Conflicts: 29000 | #Constraints: 11267
378.46/379.69 c INPROCESSING
378.46/379.69 c GARBAGE COLLECT
378.46/379.69 c #Conflicts: 30000 | #Constraints: 8663
378.46/379.69 c #Conflicts: 31000 | #Constraints: 9663
378.46/379.69 c #Conflicts: 32000 | #Constraints: 10663
378.46/379.69 c #Conflicts: 33000 | #Constraints: 11663
378.46/379.69 c INPROCESSING
378.46/379.69 c GARBAGE COLLECT
378.46/379.69 c #Conflicts: 34000 | #Constraints: 8858
378.46/379.69 c #Conflicts: 35000 | #Constraints: 9858
378.46/379.69 c #Conflicts: 36000 | #Constraints: 10858
378.46/379.69 c #Conflicts: 37000 | #Constraints: 11858
378.46/379.69 c INPROCESSING
378.46/379.69 c GARBAGE COLLECT
378.46/379.69 c #Conflicts: 38000 | #Constraints: 8865
378.46/379.69 c #Conflicts: 39000 | #Constraints: 9865
378.46/379.69 c #Conflicts: 40000 | #Constraints: 10865
378.46/379.69 c #Conflicts: 41000 | #Constraints: 11865
378.46/379.69 c INPROCESSING
378.46/379.69 c GARBAGE COLLECT
378.46/379.69 c #Conflicts: 42000 | #Constraints: 8667
378.46/379.69 c #Conflicts: 43000 | #Constraints: 9667
378.46/379.69 c #Conflicts: 44000 | #Constraints: 10667
378.46/379.69 c #Conflicts: 45000 | #Constraints: 11667
378.46/379.69 c #Conflicts: 46000 | #Constraints: 12667
378.46/379.69 c INPROCESSING
378.46/379.69 c GARBAGE COLLECT
378.46/379.69 c #Conflicts: 47000 | #Constraints: 9262
378.46/379.69 c #Conflicts: 48000 | #Constraints: 10262
378.46/379.69 c #Conflicts: 49000 | #Constraints: 11262
378.46/379.69 c #Conflicts: 50000 | #Constraints: 12262
378.46/379.69 c #Conflicts: 51000 | #Constraints: 13262
378.46/379.69 c INPROCESSING
378.46/379.69 c GARBAGE COLLECT
378.46/379.69 c #Conflicts: 52000 | #Constraints: 9664
378.46/379.69 c #Conflicts: 53000 | #Constraints: 10664
378.46/379.69 c #Conflicts: 54000 | #Constraints: 11664
378.46/379.69 c #Conflicts: 55000 | #Constraints: 12664
378.46/379.69 c #Conflicts: 56000 | #Constraints: 13664
378.46/379.69 c INPROCESSING
378.46/379.69 c GARBAGE COLLECT
378.46/379.69 c #Conflicts: 57000 | #Constraints: 9870
378.46/379.69 c #Conflicts: 58000 | #Constraints: 10870
378.46/379.69 c #Conflicts: 59000 | #Constraints: 11870
378.46/379.69 c #Conflicts: 60000 | #Constraints: 12870
378.46/379.69 c #Conflicts: 61000 | #Constraints: 13870
378.46/379.69 c INPROCESSING
378.46/379.69 c GARBAGE COLLECT
378.46/379.69 c #Conflicts: 62000 | #Constraints: 9869
378.46/379.69 c #Conflicts: 63000 | #Constraints: 10869
378.46/379.69 c #Conflicts: 64000 | #Constraints: 11869
378.46/379.69 c #Conflicts: 65000 | #Constraints: 12869
378.46/379.69 c #Conflicts: 66000 | #Constraints: 13869
378.46/379.69 c INPROCESSING
378.46/379.69 c GARBAGE COLLECT
378.46/379.69 c #Conflicts: 67000 | #Constraints: 9666
378.46/379.69 c #Conflicts: 68000 | #Constraints: 10666
378.46/379.69 c #Conflicts: 69000 | #Constraints: 11666
378.46/379.69 c #Conflicts: 70000 | #Constraints: 12666
378.46/379.69 c #Conflicts: 71000 | #Constraints: 13666
378.46/379.69 c #Conflicts: 72000 | #Constraints: 14666
378.46/379.69 c INPROCESSING
378.46/379.69 c GARBAGE COLLECT
378.46/379.69 c #Conflicts: 73000 | #Constraints: 10269
519.39/521.07 c #Conflicts: 74000 | #Constraints: 11269
519.39/521.07 c #Conflicts: 75000 | #Constraints: 12269
519.39/521.07 c #Conflicts: 76000 | #Constraints: 13269
519.39/521.07 c #Conflicts: 77000 | #Constraints: 14269
519.39/521.07 c #Conflicts: 78000 | #Constraints: 15269
519.39/521.07 c INPROCESSING
519.39/521.07 c GARBAGE COLLECT
519.39/521.07 c #Conflicts: 79000 | #Constraints: 10669
519.39/521.07 c #Conflicts: 80000 | #Constraints: 11669
519.39/521.07 c #Conflicts: 81000 | #Constraints: 12669
519.39/521.07 c #Conflicts: 82000 | #Constraints: 13669
519.39/521.07 c #Conflicts: 83000 | #Constraints: 14669
519.39/521.07 c #Conflicts: 84000 | #Constraints: 15669
519.39/521.07 c INPROCESSING
519.39/521.07 c GARBAGE COLLECT
519.39/521.07 c #Conflicts: 85000 | #Constraints: 10873
519.39/521.07 c #Conflicts: 86000 | #Constraints: 11873
519.39/521.07 c #Conflicts: 87000 | #Constraints: 12873
519.39/521.07 c #Conflicts: 88000 | #Constraints: 13873
519.39/521.07 c #Conflicts: 89000 | #Constraints: 14873
519.39/521.07 c #Conflicts: 90000 | #Constraints: 15873
519.39/521.07 c INPROCESSING
519.39/521.07 c GARBAGE COLLECT
519.39/521.07 c #Conflicts: 91000 | #Constraints: 10873
519.39/521.07 c #Conflicts: 92000 | #Constraints: 11873
519.39/521.07 c #Conflicts: 93000 | #Constraints: 12873
519.39/521.07 c #Conflicts: 94000 | #Constraints: 13873
519.39/521.07 c #Conflicts: 95000 | #Constraints: 14873
519.39/521.07 c #Conflicts: 96000 | #Constraints: 15873
519.39/521.07 c INPROCESSING
519.39/521.07 c GARBAGE COLLECT
519.39/521.07 c #Conflicts: 97000 | #Constraints: 10673
519.39/521.07 c #Conflicts: 98000 | #Constraints: 11673
519.39/521.07 c #Conflicts: 99000 | #Constraints: 12673
519.39/521.07 c #Conflicts: 100000 | #Constraints: 13673
519.39/521.07 c #Conflicts: 101000 | #Constraints: 14673
519.39/521.07 c #Conflicts: 102000 | #Constraints: 15673
519.39/521.07 c #Conflicts: 103000 | #Constraints: 16673
519.39/521.07 c INPROCESSING
519.39/521.07 c GARBAGE COLLECT
519.39/521.07 c #Conflicts: 104000 | #Constraints: 11270
519.39/521.07 c #Conflicts: 105000 | #Constraints: 12270
519.39/521.07 c #Conflicts: 106000 | #Constraints: 13270
519.39/521.07 c #Conflicts: 107000 | #Constraints: 14270
519.39/521.07 c #Conflicts: 108000 | #Constraints: 15270
519.39/521.07 c #Conflicts: 109000 | #Constraints: 16270
519.39/521.07 c #Conflicts: 110000 | #Constraints: 17270
519.39/521.07 c INPROCESSING
519.39/521.07 c GARBAGE COLLECT
519.39/521.07 c #Conflicts: 111000 | #Constraints: 11666
519.39/521.07 c #Conflicts: 112000 | #Constraints: 12666
519.39/521.07 c #Conflicts: 113000 | #Constraints: 13666
519.39/521.07 c #Conflicts: 114000 | #Constraints: 14666
519.39/521.07 c #Conflicts: 115000 | #Constraints: 15666
519.39/521.07 c #Conflicts: 116000 | #Constraints: 16666
519.39/521.07 c #Conflicts: 117000 | #Constraints: 17666
519.39/521.07 c INPROCESSING
519.39/521.07 c GARBAGE COLLECT
519.39/521.07 c #Conflicts: 118000 | #Constraints: 11867
519.39/521.07 c #Conflicts: 119000 | #Constraints: 12867
519.39/521.07 c #Conflicts: 120000 | #Constraints: 13867
519.39/521.07 c #Conflicts: 121000 | #Constraints: 14867
519.39/521.07 c #Conflicts: 122000 | #Constraints: 15867
519.39/521.07 c #Conflicts: 123000 | #Constraints: 16867
519.39/521.07 c #Conflicts: 124000 | #Constraints: 17867
519.39/521.07 c INPROCESSING
519.39/521.07 c GARBAGE COLLECT
519.39/521.07 c #Conflicts: 125000 | #Constraints: 11873
519.39/521.07 c #Conflicts: 126000 | #Constraints: 12873
519.39/521.07 c #Conflicts: 127000 | #Constraints: 13873
519.39/521.07 c #Conflicts: 128000 | #Constraints: 14873
519.39/521.07 c #Conflicts: 129000 | #Constraints: 15873
519.39/521.07 c #Conflicts: 130000 | #Constraints: 16873
519.39/521.07 c #Conflicts: 131000 | #Constraints: 17873
519.39/521.07 c INPROCESSING
519.39/521.07 c GARBAGE COLLECT
519.39/521.07 c #Conflicts: 132000 | #Constraints: 11676
519.39/521.07 c #Conflicts: 133000 | #Constraints: 12676
519.39/521.07 c #Conflicts: 134000 | #Constraints: 13676
519.39/521.07 c #Conflicts: 135000 | #Constraints: 14676
519.39/521.07 c #Conflicts: 136000 | #Constraints: 15676
519.39/521.07 c #Conflicts: 137000 | #Constraints: 16676
519.39/521.07 c #Conflicts: 138000 | #Constraints: 17676
519.39/521.07 c #Conflicts: 139000 | #Constraints: 18676
519.39/521.07 c INPROCESSING
519.39/521.07 c GARBAGE COLLECT
519.39/521.07 c #Conflicts: 140000 | #Constraints: 12275
519.39/521.07 c #Conflicts: 141000 | #Constraints: 13275
519.39/521.07 c #Conflicts: 142000 | #Constraints: 14275
519.39/521.07 c #Conflicts: 143000 | #Constraints: 15275
519.39/521.07 c #Conflicts: 144000 | #Constraints: 16275
519.39/521.07 c #Conflicts: 145000 | #Constraints: 17275
519.39/521.07 c #Conflicts: 146000 | #Constraints: 18275
661.87/664.03 c #Conflicts: 147000 | #Constraints: 19275
661.87/664.03 c INPROCESSING
661.87/664.03 c GARBAGE COLLECT
661.87/664.03 c #Conflicts: 148000 | #Constraints: 12668
661.87/664.03 c #Conflicts: 149000 | #Constraints: 13668
661.87/664.03 c #Conflicts: 150000 | #Constraints: 14668
661.87/664.03 c #Conflicts: 151000 | #Constraints: 15668
661.87/664.03 c #Conflicts: 152000 | #Constraints: 16668
661.87/664.03 c #Conflicts: 153000 | #Constraints: 17668
661.87/664.03 c #Conflicts: 154000 | #Constraints: 18668
661.87/664.03 c #Conflicts: 155000 | #Constraints: 19668
661.87/664.03 c INPROCESSING
661.87/664.03 c GARBAGE COLLECT
661.87/664.03 c #Conflicts: 156000 | #Constraints: 12880
661.87/664.03 c #Conflicts: 157000 | #Constraints: 13880
661.87/664.03 c #Conflicts: 158000 | #Constraints: 14880
661.87/664.03 c #Conflicts: 159000 | #Constraints: 15880
661.87/664.03 c #Conflicts: 160000 | #Constraints: 16880
661.87/664.03 c #Conflicts: 161000 | #Constraints: 17880
661.87/664.03 c #Conflicts: 162000 | #Constraints: 18880
661.87/664.03 c #Conflicts: 163000 | #Constraints: 19880
661.87/664.03 c INPROCESSING
661.87/664.03 c GARBAGE COLLECT
661.87/664.04 c #Conflicts: 164000 | #Constraints: 12878
661.87/664.04 c #Conflicts: 165000 | #Constraints: 13878
661.87/664.04 c #Conflicts: 166000 | #Constraints: 14878
661.87/664.04 c #Conflicts: 167000 | #Constraints: 15878
661.87/664.04 c #Conflicts: 168000 | #Constraints: 16878
661.87/664.04 c #Conflicts: 169000 | #Constraints: 17878
661.87/664.04 c #Conflicts: 170000 | #Constraints: 18878
661.87/664.04 c #Conflicts: 171000 | #Constraints: 19878
661.87/664.04 c INPROCESSING
661.87/664.04 c GARBAGE COLLECT
661.87/664.04 c #Conflicts: 172000 | #Constraints: 12676
661.87/664.04 c #Conflicts: 173000 | #Constraints: 13676
661.87/664.04 c #Conflicts: 174000 | #Constraints: 14676
661.87/664.04 c #Conflicts: 175000 | #Constraints: 15676
661.87/664.04 c #Conflicts: 176000 | #Constraints: 16676
661.87/664.04 c #Conflicts: 177000 | #Constraints: 17676
661.87/664.04 c #Conflicts: 178000 | #Constraints: 18676
661.87/664.04 c #Conflicts: 179000 | #Constraints: 19676
661.87/664.04 c #Conflicts: 180000 | #Constraints: 20676
661.87/664.04 c INPROCESSING
661.87/664.04 c GARBAGE COLLECT
661.87/664.04 c #Conflicts: 181000 | #Constraints: 13274
661.87/664.04 c #Conflicts: 182000 | #Constraints: 14274
661.87/664.04 c #Conflicts: 183000 | #Constraints: 15274
661.87/664.04 c #Conflicts: 184000 | #Constraints: 16274
661.87/664.04 c #Conflicts: 185000 | #Constraints: 17274
661.87/664.04 c #Conflicts: 186000 | #Constraints: 18274
661.87/664.04 c #Conflicts: 187000 | #Constraints: 19274
661.87/664.04 c #Conflicts: 188000 | #Constraints: 20274
661.87/664.04 c #Conflicts: 189000 | #Constraints: 21274
661.87/664.04 c INPROCESSING
661.87/664.04 c GARBAGE COLLECT
661.87/664.04 c #Conflicts: 190000 | #Constraints: 13668
661.87/664.04 c #Conflicts: 191000 | #Constraints: 14668
661.87/664.04 c #Conflicts: 192000 | #Constraints: 15668
661.87/664.04 c #Conflicts: 193000 | #Constraints: 16668
661.87/664.04 c #Conflicts: 194000 | #Constraints: 17668
661.87/664.04 c #Conflicts: 195000 | #Constraints: 18668
661.87/664.04 c #Conflicts: 196000 | #Constraints: 19668
661.87/664.04 c #Conflicts: 197000 | #Constraints: 20668
661.87/664.04 c #Conflicts: 198000 | #Constraints: 21668
661.87/664.04 c INPROCESSING
661.87/664.04 c GARBAGE COLLECT
661.87/664.04 c #Conflicts: 199000 | #Constraints: 13875
661.87/664.04 c #Conflicts: 200000 | #Constraints: 14875
661.87/664.04 c #Conflicts: 201000 | #Constraints: 15875
661.87/664.04 c #Conflicts: 202000 | #Constraints: 16875
661.87/664.04 c #Conflicts: 203000 | #Constraints: 17875
661.87/664.04 c #Conflicts: 204000 | #Constraints: 18875
661.87/664.04 c #Conflicts: 205000 | #Constraints: 19875
661.87/664.04 c #Conflicts: 206000 | #Constraints: 20875
661.87/664.04 c #Conflicts: 207000 | #Constraints: 21875
661.87/664.04 c INPROCESSING
661.87/664.04 c GARBAGE COLLECT
661.87/664.04 c #Conflicts: 208000 | #Constraints: 13873
661.87/664.04 c #Conflicts: 209000 | #Constraints: 14873
661.87/664.04 c #Conflicts: 210000 | #Constraints: 15873
661.87/664.04 c #Conflicts: 211000 | #Constraints: 16873
661.87/664.04 c #Conflicts: 212000 | #Constraints: 17873
661.87/664.04 c #Conflicts: 213000 | #Constraints: 18873
661.87/664.04 c #Conflicts: 214000 | #Constraints: 19873
661.87/664.04 c #Conflicts: 215000 | #Constraints: 20873
661.87/664.04 c #Conflicts: 216000 | #Constraints: 21873
661.87/664.04 c INPROCESSING
661.87/664.04 c GARBAGE COLLECT
661.87/664.04 c #Conflicts: 217000 | #Constraints: 13674
661.87/664.04 c #Conflicts: 218000 | #Constraints: 14674
661.87/664.04 c #Conflicts: 219000 | #Constraints: 15674
897.82/900.89 c #Conflicts: 220000 | #Constraints: 16674
897.82/900.89 c #Conflicts: 221000 | #Constraints: 17674
897.82/900.89 c #Conflicts: 222000 | #Constraints: 18674
897.82/900.89 c #Conflicts: 223000 | #Constraints: 19674
897.82/900.89 c #Conflicts: 224000 | #Constraints: 20674
897.82/900.89 c #Conflicts: 225000 | #Constraints: 21674
897.82/900.89 c #Conflicts: 226000 | #Constraints: 22674
897.82/900.89 c INPROCESSING
897.82/900.89 c GARBAGE COLLECT
897.82/900.89 c #Conflicts: 227000 | #Constraints: 14277
897.82/900.89 c #Conflicts: 228000 | #Constraints: 15277
897.82/900.89 c #Conflicts: 229000 | #Constraints: 16277
897.82/900.89 c #Conflicts: 230000 | #Constraints: 17277
897.82/900.89 c #Conflicts: 231000 | #Constraints: 18277
897.82/900.89 c #Conflicts: 232000 | #Constraints: 19277
897.82/900.89 c #Conflicts: 233000 | #Constraints: 20277
897.82/900.89 c #Conflicts: 234000 | #Constraints: 21277
897.82/900.89 c #Conflicts: 235000 | #Constraints: 22277
897.82/900.89 c #Conflicts: 236000 | #Constraints: 23277
897.82/900.89 c INPROCESSING
897.82/900.89 c GARBAGE COLLECT
897.82/900.89 c #Conflicts: 237000 | #Constraints: 14672
897.82/900.89 c #Conflicts: 238000 | #Constraints: 15672
897.82/900.89 c #Conflicts: 239000 | #Constraints: 16672
897.82/900.89 c #Conflicts: 240000 | #Constraints: 17672
897.82/900.89 c #Conflicts: 241000 | #Constraints: 18672
897.82/900.89 c #Conflicts: 242000 | #Constraints: 19672
897.82/900.89 c #Conflicts: 243000 | #Constraints: 20672
897.82/900.89 c #Conflicts: 244000 | #Constraints: 21672
897.82/900.89 c #Conflicts: 245000 | #Constraints: 22672
897.82/900.89 c #Conflicts: 246000 | #Constraints: 23672
897.82/900.89 c INPROCESSING
897.82/900.89 c GARBAGE COLLECT
897.82/900.89 c #Conflicts: 247000 | #Constraints: 14865
897.82/900.89 c #Conflicts: 248000 | #Constraints: 15865
897.82/900.89 c #Conflicts: 249000 | #Constraints: 16865
897.82/900.89 c #Conflicts: 250000 | #Constraints: 17865
897.82/900.89 c #Conflicts: 251000 | #Constraints: 18865
897.82/900.89 c #Conflicts: 252000 | #Constraints: 19865
897.82/900.89 c #Conflicts: 253000 | #Constraints: 20865
897.82/900.89 c #Conflicts: 254000 | #Constraints: 21865
897.82/900.89 c #Conflicts: 255000 | #Constraints: 22865
897.82/900.89 c #Conflicts: 256000 | #Constraints: 23865
897.82/900.89 c INPROCESSING
897.82/900.89 c GARBAGE COLLECT
897.82/900.89 c #Conflicts: 257000 | #Constraints: 14866
897.82/900.89 c #Conflicts: 258000 | #Constraints: 15866
897.82/900.89 c #Conflicts: 259000 | #Constraints: 16866
897.82/900.89 c #Conflicts: 260000 | #Constraints: 17866
897.82/900.89 c #Conflicts: 261000 | #Constraints: 18866
897.82/900.89 c #Conflicts: 262000 | #Constraints: 19866
897.82/900.89 c #Conflicts: 263000 | #Constraints: 20866
897.82/900.89 c #Conflicts: 264000 | #Constraints: 21866
897.82/900.89 c #Conflicts: 265000 | #Constraints: 22866
897.82/900.89 c #Conflicts: 266000 | #Constraints: 23866
897.82/900.89 c INPROCESSING
897.82/900.89 c GARBAGE COLLECT
897.82/900.89 c #Conflicts: 267000 | #Constraints: 14670
897.82/900.89 c #Conflicts: 268000 | #Constraints: 15670
897.82/900.89 c #Conflicts: 269000 | #Constraints: 16670
897.82/900.89 c #Conflicts: 270000 | #Constraints: 17670
897.82/900.89 c #Conflicts: 271000 | #Constraints: 18670
897.82/900.89 c #Conflicts: 272000 | #Constraints: 19670
897.82/900.89 c #Conflicts: 273000 | #Constraints: 20670
897.82/900.89 c #Conflicts: 274000 | #Constraints: 21670
897.82/900.89 c #Conflicts: 275000 | #Constraints: 22670
897.82/900.89 c #Conflicts: 276000 | #Constraints: 23670
897.82/900.89 c #Conflicts: 277000 | #Constraints: 24670
897.82/900.89 c INPROCESSING
897.82/900.89 c GARBAGE COLLECT
897.82/900.89 c #Conflicts: 278000 | #Constraints: 15270
897.82/900.89 c #Conflicts: 279000 | #Constraints: 16270
897.82/900.89 c #Conflicts: 280000 | #Constraints: 17270
897.82/900.89 c #Conflicts: 281000 | #Constraints: 18270
897.82/900.89 c #Conflicts: 282000 | #Constraints: 19270
897.82/900.89 c #Conflicts: 283000 | #Constraints: 20270
897.82/900.89 c #Conflicts: 284000 | #Constraints: 21270
897.82/900.89 c #Conflicts: 285000 | #Constraints: 22270
897.82/900.89 c #Conflicts: 286000 | #Constraints: 23270
897.82/900.89 c #Conflicts: 287000 | #Constraints: 24270
897.82/900.89 c #Conflicts: 288000 | #Constraints: 25270
897.82/900.89 c INPROCESSING
897.82/900.89 c GARBAGE COLLECT
897.82/900.89 c #Conflicts: 289000 | #Constraints: 15671
897.82/900.89 c #Conflicts: 290000 | #Constraints: 16671
897.82/900.89 c #Conflicts: 291000 | #Constraints: 17671
897.82/900.89 c #Conflicts: 292000 | #Constraints: 18671
897.82/900.89 c #Conflicts: 293000 | #Constraints: 19671
1143.23/1147.17 c #Conflicts: 294000 | #Constraints: 20671
1143.23/1147.17 c #Conflicts: 295000 | #Constraints: 21671
1143.23/1147.17 c #Conflicts: 296000 | #Constraints: 22671
1143.23/1147.17 c #Conflicts: 297000 | #Constraints: 23671
1143.23/1147.17 c #Conflicts: 298000 | #Constraints: 24671
1143.23/1147.17 c #Conflicts: 299000 | #Constraints: 25671
1143.23/1147.17 c INPROCESSING
1143.23/1147.17 c GARBAGE COLLECT
1143.23/1147.17 c #Conflicts: 300000 | #Constraints: 15867
1143.23/1147.17 c #Conflicts: 301000 | #Constraints: 16867
1143.23/1147.17 c #Conflicts: 302000 | #Constraints: 17867
1143.23/1147.17 c #Conflicts: 303000 | #Constraints: 18867
1143.23/1147.17 c #Conflicts: 304000 | #Constraints: 19867
1143.23/1147.17 c #Conflicts: 305000 | #Constraints: 20867
1143.23/1147.17 c #Conflicts: 306000 | #Constraints: 21867
1143.23/1147.17 c #Conflicts: 307000 | #Constraints: 22867
1143.23/1147.17 c #Conflicts: 308000 | #Constraints: 23867
1143.23/1147.17 c #Conflicts: 309000 | #Constraints: 24867
1143.23/1147.17 c #Conflicts: 310000 | #Constraints: 25867
1143.23/1147.17 c INPROCESSING
1143.23/1147.17 c GARBAGE COLLECT
1143.23/1147.17 c #Conflicts: 311000 | #Constraints: 15868
1143.23/1147.17 c #Conflicts: 312000 | #Constraints: 16868
1143.23/1147.17 c #Conflicts: 313000 | #Constraints: 17868
1143.23/1147.17 c #Conflicts: 314000 | #Constraints: 18868
1143.23/1147.17 c #Conflicts: 315000 | #Constraints: 19868
1143.23/1147.17 c #Conflicts: 316000 | #Constraints: 20868
1143.23/1147.17 c #Conflicts: 317000 | #Constraints: 21868
1143.23/1147.17 c #Conflicts: 318000 | #Constraints: 22868
1143.23/1147.17 c #Conflicts: 319000 | #Constraints: 23868
1143.23/1147.17 c #Conflicts: 320000 | #Constraints: 24868
1143.23/1147.17 c #Conflicts: 321000 | #Constraints: 25868
1143.23/1147.17 c INPROCESSING
1143.23/1147.17 c GARBAGE COLLECT
1143.23/1147.17 c #Conflicts: 322000 | #Constraints: 15667
1143.23/1147.17 c #Conflicts: 323000 | #Constraints: 16667
1143.23/1147.17 c #Conflicts: 324000 | #Constraints: 17667
1143.23/1147.17 c #Conflicts: 325000 | #Constraints: 18667
1143.23/1147.17 c #Conflicts: 326000 | #Constraints: 19667
1143.23/1147.17 c #Conflicts: 327000 | #Constraints: 20667
1143.23/1147.17 c #Conflicts: 328000 | #Constraints: 21667
1143.23/1147.17 c #Conflicts: 329000 | #Constraints: 22667
1143.23/1147.17 c #Conflicts: 330000 | #Constraints: 23667
1143.23/1147.17 c #Conflicts: 331000 | #Constraints: 24667
1143.23/1147.17 c #Conflicts: 332000 | #Constraints: 25667
1143.23/1147.17 c #Conflicts: 333000 | #Constraints: 26667
1143.23/1147.17 c INPROCESSING
1143.23/1147.17 c GARBAGE COLLECT
1143.23/1147.17 c #Conflicts: 334000 | #Constraints: 16276
1143.23/1147.17 c #Conflicts: 335000 | #Constraints: 17276
1143.23/1147.17 c #Conflicts: 336000 | #Constraints: 18276
1143.23/1147.17 c #Conflicts: 337000 | #Constraints: 19276
1143.23/1147.17 c #Conflicts: 338000 | #Constraints: 20276
1143.23/1147.17 c #Conflicts: 339000 | #Constraints: 21276
1143.23/1147.17 c #Conflicts: 340000 | #Constraints: 22276
1143.23/1147.17 c #Conflicts: 341000 | #Constraints: 23276
1143.23/1147.17 c #Conflicts: 342000 | #Constraints: 24276
1143.23/1147.17 c #Conflicts: 343000 | #Constraints: 25276
1143.23/1147.17 c #Conflicts: 344000 | #Constraints: 26276
1143.23/1147.17 c #Conflicts: 345000 | #Constraints: 27276
1143.23/1147.17 c INPROCESSING
1143.23/1147.17 c GARBAGE COLLECT
1143.23/1147.17 c #Conflicts: 346000 | #Constraints: 16671
1143.23/1147.17 c #Conflicts: 347000 | #Constraints: 17671
1143.23/1147.17 c #Conflicts: 348000 | #Constraints: 18671
1143.23/1147.17 c #Conflicts: 349000 | #Constraints: 19671
1143.23/1147.17 c #Conflicts: 350000 | #Constraints: 20671
1143.23/1147.17 c #Conflicts: 351000 | #Constraints: 21671
1143.23/1147.17 c #Conflicts: 352000 | #Constraints: 22671
1143.23/1147.17 c #Conflicts: 353000 | #Constraints: 23671
1143.23/1147.17 c #Conflicts: 354000 | #Constraints: 24671
1143.23/1147.17 c #Conflicts: 355000 | #Constraints: 25671
1143.23/1147.17 c #Conflicts: 356000 | #Constraints: 26671
1143.23/1147.17 c #Conflicts: 357000 | #Constraints: 27671
1143.23/1147.17 c INPROCESSING
1143.23/1147.17 c GARBAGE COLLECT
1143.23/1147.17 c #Conflicts: 358000 | #Constraints: 16871
1143.23/1147.17 c #Conflicts: 359000 | #Constraints: 17871
1143.23/1147.17 c #Conflicts: 360000 | #Constraints: 18871
1143.23/1147.17 c #Conflicts: 361000 | #Constraints: 19871
1143.23/1147.17 c #Conflicts: 362000 | #Constraints: 20871
1143.23/1147.17 c #Conflicts: 363000 | #Constraints: 21871
1143.23/1147.17 c #Conflicts: 364000 | #Constraints: 22871
1143.23/1147.17 c #Conflicts: 365000 | #Constraints: 23871
1143.23/1147.17 c #Conflicts: 366000 | #Constraints: 24871
1143.23/1147.17 c #Conflicts: 367000 | #Constraints: 25871
1143.23/1147.17 c #Conflicts: 368000 | #Constraints: 26871
1390.77/1395.45 c #Conflicts: 369000 | #Constraints: 27871
1390.77/1395.45 c INPROCESSING
1390.77/1395.45 c GARBAGE COLLECT
1390.77/1395.45 c #Conflicts: 370000 | #Constraints: 16869
1390.77/1395.45 c #Conflicts: 371000 | #Constraints: 17869
1390.77/1395.45 c #Conflicts: 372000 | #Constraints: 18869
1390.77/1395.45 c #Conflicts: 373000 | #Constraints: 19869
1390.77/1395.45 c #Conflicts: 374000 | #Constraints: 20869
1390.77/1395.45 c #Conflicts: 375000 | #Constraints: 21869
1390.77/1395.45 c #Conflicts: 376000 | #Constraints: 22869
1390.77/1395.45 c #Conflicts: 377000 | #Constraints: 23869
1390.77/1395.45 c #Conflicts: 378000 | #Constraints: 24869
1390.77/1395.45 c #Conflicts: 379000 | #Constraints: 25869
1390.77/1395.45 c #Conflicts: 380000 | #Constraints: 26869
1390.77/1395.45 c #Conflicts: 381000 | #Constraints: 27869
1390.77/1395.45 c INPROCESSING
1390.77/1395.45 c GARBAGE COLLECT
1390.77/1395.45 c #Conflicts: 382000 | #Constraints: 16668
1390.77/1395.45 c #Conflicts: 383000 | #Constraints: 17668
1390.77/1395.45 c #Conflicts: 384000 | #Constraints: 18668
1390.77/1395.45 c #Conflicts: 385000 | #Constraints: 19668
1390.77/1395.45 c #Conflicts: 386000 | #Constraints: 20668
1390.77/1395.45 c #Conflicts: 387000 | #Constraints: 21668
1390.77/1395.45 c #Conflicts: 388000 | #Constraints: 22668
1390.77/1395.45 c #Conflicts: 389000 | #Constraints: 23668
1390.77/1395.45 c #Conflicts: 390000 | #Constraints: 24668
1390.77/1395.45 c #Conflicts: 391000 | #Constraints: 25668
1390.77/1395.45 c #Conflicts: 392000 | #Constraints: 26668
1390.77/1395.45 c #Conflicts: 393000 | #Constraints: 27668
1390.77/1395.45 c #Conflicts: 394000 | #Constraints: 28668
1390.77/1395.45 c INPROCESSING
1390.77/1395.45 c GARBAGE COLLECT
1390.77/1395.45 c #Conflicts: 395000 | #Constraints: 17270
1390.77/1395.45 c #Conflicts: 396000 | #Constraints: 18270
1390.77/1395.45 c #Conflicts: 397000 | #Constraints: 19270
1390.77/1395.45 c #Conflicts: 398000 | #Constraints: 20270
1390.77/1395.45 c #Conflicts: 399000 | #Constraints: 21270
1390.77/1395.45 c #Conflicts: 400000 | #Constraints: 22270
1390.77/1395.45 c #Conflicts: 401000 | #Constraints: 23270
1390.77/1395.45 c #Conflicts: 402000 | #Constraints: 24270
1390.77/1395.45 c #Conflicts: 403000 | #Constraints: 25270
1390.77/1395.45 c #Conflicts: 404000 | #Constraints: 26270
1390.77/1395.45 c #Conflicts: 405000 | #Constraints: 27270
1390.77/1395.45 c #Conflicts: 406000 | #Constraints: 28270
1390.77/1395.45 c #Conflicts: 407000 | #Constraints: 29270
1390.77/1395.45 c INPROCESSING
1390.77/1395.45 c GARBAGE COLLECT
1390.77/1395.45 c #Conflicts: 408000 | #Constraints: 17669
1390.77/1395.45 c #Conflicts: 409000 | #Constraints: 18669
1390.77/1395.45 c #Conflicts: 410000 | #Constraints: 19669
1390.77/1395.45 c #Conflicts: 411000 | #Constraints: 20669
1390.77/1395.45 c #Conflicts: 412000 | #Constraints: 21669
1390.77/1395.45 c #Conflicts: 413000 | #Constraints: 22669
1390.77/1395.45 c #Conflicts: 414000 | #Constraints: 23669
1390.77/1395.45 c #Conflicts: 415000 | #Constraints: 24669
1390.77/1395.45 c #Conflicts: 416000 | #Constraints: 25669
1390.77/1395.45 c #Conflicts: 417000 | #Constraints: 26669
1390.77/1395.45 c #Conflicts: 418000 | #Constraints: 27669
1390.77/1395.45 c #Conflicts: 419000 | #Constraints: 28669
1390.77/1395.45 c #Conflicts: 420000 | #Constraints: 29669
1390.77/1395.45 c INPROCESSING
1390.77/1395.45 c GARBAGE COLLECT
1390.77/1395.45 c #Conflicts: 421000 | #Constraints: 17877
1390.77/1395.45 c #Conflicts: 422000 | #Constraints: 18877
1390.77/1395.45 c #Conflicts: 423000 | #Constraints: 19877
1390.77/1395.45 c #Conflicts: 424000 | #Constraints: 20877
1390.77/1395.45 c #Conflicts: 425000 | #Constraints: 21877
1390.77/1395.45 c #Conflicts: 426000 | #Constraints: 22877
1390.77/1395.45 c #Conflicts: 427000 | #Constraints: 23877
1390.77/1395.45 c #Conflicts: 428000 | #Constraints: 24877
1390.77/1395.45 c #Conflicts: 429000 | #Constraints: 25877
1390.77/1395.45 c #Conflicts: 430000 | #Constraints: 26877
1390.77/1395.45 c #Conflicts: 431000 | #Constraints: 27877
1390.77/1395.45 c #Conflicts: 432000 | #Constraints: 28877
1390.77/1395.45 c #Conflicts: 433000 | #Constraints: 29877
1390.77/1395.45 c INPROCESSING
1390.77/1395.45 c GARBAGE COLLECT
1390.77/1395.45 c #Conflicts: 434000 | #Constraints: 17881
1390.77/1395.45 c #Conflicts: 435000 | #Constraints: 18881
1390.77/1395.45 c #Conflicts: 436000 | #Constraints: 19881
1390.77/1395.45 c #Conflicts: 437000 | #Constraints: 20881
1390.77/1395.45 c #Conflicts: 438000 | #Constraints: 21881
1390.77/1395.45 c #Conflicts: 439000 | #Constraints: 22881
1390.77/1395.45 c #Conflicts: 440000 | #Constraints: 23881
1390.77/1395.45 c #Conflicts: 441000 | #Constraints: 24881
1390.77/1395.45 c #Conflicts: 442000 | #Constraints: 25881
1390.77/1395.45 c #Conflicts: 443000 | #Constraints: 26881
1642.15/1647.59 c #Conflicts: 444000 | #Constraints: 27881
1642.15/1647.59 c #Conflicts: 445000 | #Constraints: 28881
1642.15/1647.59 c #Conflicts: 446000 | #Constraints: 29881
1642.15/1647.59 c INPROCESSING
1642.15/1647.59 c GARBAGE COLLECT
1642.15/1647.59 c #Conflicts: 447000 | #Constraints: 17675
1642.15/1647.59 c #Conflicts: 448000 | #Constraints: 18675
1642.15/1647.59 c #Conflicts: 449000 | #Constraints: 19675
1642.15/1647.59 c #Conflicts: 450000 | #Constraints: 20675
1642.15/1647.59 c #Conflicts: 451000 | #Constraints: 21675
1642.15/1647.59 c #Conflicts: 452000 | #Constraints: 22675
1642.15/1647.59 c #Conflicts: 453000 | #Constraints: 23675
1642.15/1647.59 c #Conflicts: 454000 | #Constraints: 24675
1642.15/1647.59 c #Conflicts: 455000 | #Constraints: 25675
1642.15/1647.59 c #Conflicts: 456000 | #Constraints: 26675
1642.15/1647.59 c #Conflicts: 457000 | #Constraints: 27675
1642.15/1647.59 c #Conflicts: 458000 | #Constraints: 28675
1642.15/1647.59 c #Conflicts: 459000 | #Constraints: 29675
1642.15/1647.59 c #Conflicts: 460000 | #Constraints: 30675
1642.15/1647.59 c INPROCESSING
1642.15/1647.59 c GARBAGE COLLECT
1642.15/1647.59 c #Conflicts: 461000 | #Constraints: 18276
1642.15/1647.59 c #Conflicts: 462000 | #Constraints: 19276
1642.15/1647.59 c #Conflicts: 463000 | #Constraints: 20276
1642.15/1647.59 c #Conflicts: 464000 | #Constraints: 21276
1642.15/1647.59 c #Conflicts: 465000 | #Constraints: 22276
1642.15/1647.59 c #Conflicts: 466000 | #Constraints: 23276
1642.15/1647.59 c #Conflicts: 467000 | #Constraints: 24276
1642.15/1647.59 c #Conflicts: 468000 | #Constraints: 25276
1642.15/1647.59 c #Conflicts: 469000 | #Constraints: 26276
1642.15/1647.59 c #Conflicts: 470000 | #Constraints: 27276
1642.15/1647.59 c #Conflicts: 471000 | #Constraints: 28276
1642.15/1647.59 c #Conflicts: 472000 | #Constraints: 29276
1642.15/1647.59 c #Conflicts: 473000 | #Constraints: 30276
1642.15/1647.59 c #Conflicts: 474000 | #Constraints: 31276
1642.15/1647.59 c INPROCESSING
1642.15/1647.59 c GARBAGE COLLECT
1642.15/1647.59 c #Conflicts: 475000 | #Constraints: 18681
1642.15/1647.59 c #Conflicts: 476000 | #Constraints: 19681
1642.15/1647.59 c #Conflicts: 477000 | #Constraints: 20681
1642.15/1647.59 c #Conflicts: 478000 | #Constraints: 21681
1642.15/1647.59 c #Conflicts: 479000 | #Constraints: 22681
1642.15/1647.59 c #Conflicts: 480000 | #Constraints: 23681
1642.15/1647.59 c #Conflicts: 481000 | #Constraints: 24681
1642.15/1647.59 c #Conflicts: 482000 | #Constraints: 25681
1642.15/1647.59 c #Conflicts: 483000 | #Constraints: 26681
1642.15/1647.59 c #Conflicts: 484000 | #Constraints: 27681
1642.15/1647.59 c #Conflicts: 485000 | #Constraints: 28681
1642.15/1647.59 c #Conflicts: 486000 | #Constraints: 29681
1642.15/1647.59 c #Conflicts: 487000 | #Constraints: 30681
1642.15/1647.59 c #Conflicts: 488000 | #Constraints: 31681
1642.15/1647.59 c INPROCESSING
1642.15/1647.59 c GARBAGE COLLECT
1642.15/1647.59 c #Conflicts: 489000 | #Constraints: 18879
1642.15/1647.59 c #Conflicts: 490000 | #Constraints: 19879
1642.15/1647.59 c #Conflicts: 491000 | #Constraints: 20879
1642.15/1647.59 c #Conflicts: 492000 | #Constraints: 21879
1642.15/1647.59 c #Conflicts: 493000 | #Constraints: 22879
1642.15/1647.59 c #Conflicts: 494000 | #Constraints: 23879
1642.15/1647.59 c #Conflicts: 495000 | #Constraints: 24879
1642.15/1647.59 c #Conflicts: 496000 | #Constraints: 25879
1642.15/1647.59 c #Conflicts: 497000 | #Constraints: 26879
1642.15/1647.59 c #Conflicts: 498000 | #Constraints: 27879
1642.15/1647.59 c #Conflicts: 499000 | #Constraints: 28879
1642.15/1647.59 c #Conflicts: 500000 | #Constraints: 29879
1642.15/1647.59 c #Conflicts: 501000 | #Constraints: 30879
1642.15/1647.59 c #Conflicts: 502000 | #Constraints: 31879
1642.15/1647.59 c INPROCESSING
1642.15/1647.59 c GARBAGE COLLECT
1642.15/1647.59 c #Conflicts: 503000 | #Constraints: 18880
1642.15/1647.59 c #Conflicts: 504000 | #Constraints: 19880
1642.15/1647.59 c #Conflicts: 505000 | #Constraints: 20880
1642.15/1647.59 c #Conflicts: 506000 | #Constraints: 21880
1642.15/1647.59 c #Conflicts: 507000 | #Constraints: 22880
1642.15/1647.59 c #Conflicts: 508000 | #Constraints: 23880
1642.15/1647.59 c #Conflicts: 509000 | #Constraints: 24880
1642.15/1647.59 c #Conflicts: 510000 | #Constraints: 25880
1642.15/1647.59 c #Conflicts: 511000 | #Constraints: 26880
1642.15/1647.59 c #Conflicts: 512000 | #Constraints: 27880
1642.15/1647.59 c #Conflicts: 513000 | #Constraints: 28880
1642.15/1647.59 c #Conflicts: 514000 | #Constraints: 29880
1642.15/1647.59 c #Conflicts: 515000 | #Constraints: 30880
1642.15/1647.59 c #Conflicts: 516000 | #Constraints: 31880
1642.15/1647.59 c INPROCESSING
1642.15/1647.59 c GARBAGE COLLECT
1642.15/1647.59 c #Conflicts: 517000 | #Constraints: 18672
1642.15/1647.59 c #Conflicts: 518000 | #Constraints: 19672
1901.80/1907.97 c #Conflicts: 519000 | #Constraints: 20672
1901.80/1907.97 c #Conflicts: 520000 | #Constraints: 21672
1901.80/1907.97 c #Conflicts: 521000 | #Constraints: 22672
1901.80/1907.97 c #Conflicts: 522000 | #Constraints: 23672
1901.80/1907.97 c #Conflicts: 523000 | #Constraints: 24672
1901.80/1907.97 c #Conflicts: 524000 | #Constraints: 25672
1901.80/1907.97 c #Conflicts: 525000 | #Constraints: 26672
1901.80/1907.97 c #Conflicts: 526000 | #Constraints: 27672
1901.80/1907.97 c #Conflicts: 527000 | #Constraints: 28672
1901.80/1907.97 c #Conflicts: 528000 | #Constraints: 29672
1901.80/1907.97 c #Conflicts: 529000 | #Constraints: 30672
1901.80/1907.97 c #Conflicts: 530000 | #Constraints: 31672
1901.80/1907.97 c #Conflicts: 531000 | #Constraints: 32672
1901.80/1907.97 c INPROCESSING
1901.80/1907.97 c GARBAGE COLLECT
1901.80/1907.97 c #Conflicts: 532000 | #Constraints: 19270
1901.80/1907.97 c #Conflicts: 533000 | #Constraints: 20270
1901.80/1907.97 c #Conflicts: 534000 | #Constraints: 21270
1901.80/1907.97 c #Conflicts: 535000 | #Constraints: 22270
1901.80/1907.97 c #Conflicts: 536000 | #Constraints: 23270
1901.80/1907.97 c #Conflicts: 537000 | #Constraints: 24270
1901.80/1907.97 c #Conflicts: 538000 | #Constraints: 25270
1901.80/1907.97 c #Conflicts: 539000 | #Constraints: 26270
1901.80/1907.97 c #Conflicts: 540000 | #Constraints: 27270
1901.80/1907.97 c #Conflicts: 541000 | #Constraints: 28270
1901.80/1907.97 c #Conflicts: 542000 | #Constraints: 29270
1901.80/1907.97 c #Conflicts: 543000 | #Constraints: 30270
1901.80/1907.97 c #Conflicts: 544000 | #Constraints: 31270
1901.80/1907.97 c #Conflicts: 545000 | #Constraints: 32270
1901.80/1907.97 c #Conflicts: 546000 | #Constraints: 33270
1901.80/1907.97 c INPROCESSING
1901.80/1907.97 c GARBAGE COLLECT
1901.80/1907.97 c #Conflicts: 547000 | #Constraints: 19668
1901.80/1907.97 c #Conflicts: 548000 | #Constraints: 20668
1901.80/1907.97 c #Conflicts: 549000 | #Constraints: 21668
1901.80/1907.97 c #Conflicts: 550000 | #Constraints: 22668
1901.80/1907.97 c #Conflicts: 551000 | #Constraints: 23668
1901.80/1907.97 c #Conflicts: 552000 | #Constraints: 24668
1901.80/1907.97 c #Conflicts: 553000 | #Constraints: 25668
1901.80/1907.97 c #Conflicts: 554000 | #Constraints: 26668
1901.80/1907.97 c #Conflicts: 555000 | #Constraints: 27668
1901.80/1907.97 c #Conflicts: 556000 | #Constraints: 28668
1901.80/1907.97 c #Conflicts: 557000 | #Constraints: 29668
1901.80/1907.97 c #Conflicts: 558000 | #Constraints: 30668
1901.80/1907.97 c #Conflicts: 559000 | #Constraints: 31668
1901.80/1907.97 c #Conflicts: 560000 | #Constraints: 32668
1901.80/1907.97 c #Conflicts: 561000 | #Constraints: 33668
1901.80/1907.97 c INPROCESSING
1901.80/1907.97 c GARBAGE COLLECT
1901.80/1907.97 c #Conflicts: 562000 | #Constraints: 19870
1901.80/1907.97 c #Conflicts: 563000 | #Constraints: 20870
1901.80/1907.97 c #Conflicts: 564000 | #Constraints: 21870
1901.80/1907.97 c #Conflicts: 565000 | #Constraints: 22870
1901.80/1907.97 c #Conflicts: 566000 | #Constraints: 23870
1901.80/1907.97 c #Conflicts: 567000 | #Constraints: 24870
1901.80/1907.97 c #Conflicts: 568000 | #Constraints: 25870
1901.80/1907.97 c #Conflicts: 569000 | #Constraints: 26870
1901.80/1907.97 c #Conflicts: 570000 | #Constraints: 27870
1901.80/1907.97 c #Conflicts: 571000 | #Constraints: 28870
1901.80/1907.97 c #Conflicts: 572000 | #Constraints: 29870
1901.80/1907.97 c #Conflicts: 573000 | #Constraints: 30870
1901.80/1907.97 c #Conflicts: 574000 | #Constraints: 31870
1901.80/1907.97 c #Conflicts: 575000 | #Constraints: 32870
1901.80/1907.97 c #Conflicts: 576000 | #Constraints: 33870
1901.80/1907.97 c INPROCESSING
1901.80/1907.97 c GARBAGE COLLECT
1901.80/1907.97 c #Conflicts: 577000 | #Constraints: 19870
1901.80/1907.97 c #Conflicts: 578000 | #Constraints: 20870
1901.80/1907.97 c #Conflicts: 579000 | #Constraints: 21870
1901.80/1907.97 c #Conflicts: 580000 | #Constraints: 22870
1901.80/1907.97 c #Conflicts: 581000 | #Constraints: 23870
1901.80/1907.97 c #Conflicts: 582000 | #Constraints: 24870
1901.80/1907.97 c #Conflicts: 583000 | #Constraints: 25870
1901.80/1907.97 c #Conflicts: 584000 | #Constraints: 26870
1901.80/1907.97 c #Conflicts: 585000 | #Constraints: 27870
1901.80/1907.97 c #Conflicts: 586000 | #Constraints: 28870
1901.80/1907.97 c #Conflicts: 587000 | #Constraints: 29870
1901.80/1907.97 c #Conflicts: 588000 | #Constraints: 30870
1901.80/1907.97 c #Conflicts: 589000 | #Constraints: 31870
1901.80/1907.97 c #Conflicts: 590000 | #Constraints: 32870
1901.80/1907.97 c #Conflicts: 591000 | #Constraints: 33870
1901.80/1907.97 c INPROCESSING
1901.80/1907.97 c GARBAGE COLLECT
1901.80/1907.97 c #Conflicts: 592000 | #Constraints: 19672
1901.80/1907.97 c #Conflicts: 593000 | #Constraints: 20672
2207.06/2214.09 c #Conflicts: 594000 | #Constraints: 21672
2207.06/2214.09 c #Conflicts: 595000 | #Constraints: 22672
2207.06/2214.09 c #Conflicts: 596000 | #Constraints: 23672
2207.06/2214.09 c #Conflicts: 597000 | #Constraints: 24672
2207.06/2214.09 c #Conflicts: 598000 | #Constraints: 25672
2207.06/2214.09 c #Conflicts: 599000 | #Constraints: 26672
2207.06/2214.09 c #Conflicts: 600000 | #Constraints: 27672
2207.06/2214.09 c #Conflicts: 601000 | #Constraints: 28672
2207.06/2214.09 c #Conflicts: 602000 | #Constraints: 29672
2207.06/2214.09 c #Conflicts: 603000 | #Constraints: 30672
2207.06/2214.09 c #Conflicts: 604000 | #Constraints: 31672
2207.06/2214.09 c #Conflicts: 605000 | #Constraints: 32672
2207.06/2214.09 c #Conflicts: 606000 | #Constraints: 33672
2207.06/2214.09 c #Conflicts: 607000 | #Constraints: 34672
2207.06/2214.09 c INPROCESSING
2207.06/2214.09 c GARBAGE COLLECT
2207.06/2214.09 c #Conflicts: 608000 | #Constraints: 20276
2207.06/2214.09 c #Conflicts: 609000 | #Constraints: 21276
2207.06/2214.09 c #Conflicts: 610000 | #Constraints: 22276
2207.06/2214.09 c #Conflicts: 611000 | #Constraints: 23276
2207.06/2214.09 c #Conflicts: 612000 | #Constraints: 24276
2207.06/2214.09 c #Conflicts: 613000 | #Constraints: 25276
2207.06/2214.09 c #Conflicts: 614000 | #Constraints: 26276
2207.06/2214.09 c #Conflicts: 615000 | #Constraints: 27276
2207.06/2214.09 c #Conflicts: 616000 | #Constraints: 28276
2207.06/2214.09 c #Conflicts: 617000 | #Constraints: 29276
2207.06/2214.09 c #Conflicts: 618000 | #Constraints: 30276
2207.06/2214.09 c #Conflicts: 619000 | #Constraints: 31276
2207.06/2214.09 c #Conflicts: 620000 | #Constraints: 32276
2207.06/2214.09 c #Conflicts: 621000 | #Constraints: 33276
2207.06/2214.09 c #Conflicts: 622000 | #Constraints: 34276
2207.06/2214.09 c #Conflicts: 623000 | #Constraints: 35276
2207.06/2214.09 c INPROCESSING
2207.06/2214.09 c GARBAGE COLLECT
2207.06/2214.09 c #Conflicts: 624000 | #Constraints: 20669
2207.06/2214.09 c #Conflicts: 625000 | #Constraints: 21669
2207.06/2214.09 c #Conflicts: 626000 | #Constraints: 22669
2207.06/2214.09 c #Conflicts: 627000 | #Constraints: 23669
2207.06/2214.09 c #Conflicts: 628000 | #Constraints: 24669
2207.06/2214.09 c #Conflicts: 629000 | #Constraints: 25669
2207.06/2214.09 c #Conflicts: 630000 | #Constraints: 26669
2207.06/2214.09 c #Conflicts: 631000 | #Constraints: 27669
2207.06/2214.09 c #Conflicts: 632000 | #Constraints: 28669
2207.06/2214.09 c #Conflicts: 633000 | #Constraints: 29669
2207.06/2214.09 c #Conflicts: 634000 | #Constraints: 30669
2207.06/2214.09 c #Conflicts: 635000 | #Constraints: 31669
2207.06/2214.09 c #Conflicts: 636000 | #Constraints: 32669
2207.06/2214.09 c #Conflicts: 637000 | #Constraints: 33669
2207.06/2214.09 c #Conflicts: 638000 | #Constraints: 34669
2207.06/2214.09 c #Conflicts: 639000 | #Constraints: 35669
2207.06/2214.09 c INPROCESSING
2207.06/2214.09 c GARBAGE COLLECT
2207.06/2214.09 c #Conflicts: 640000 | #Constraints: 20865
2207.06/2214.09 c #Conflicts: 641000 | #Constraints: 21865
2207.06/2214.09 c #Conflicts: 642000 | #Constraints: 22865
2207.06/2214.09 c #Conflicts: 643000 | #Constraints: 23865
2207.06/2214.09 c #Conflicts: 644000 | #Constraints: 24865
2207.06/2214.09 c #Conflicts: 645000 | #Constraints: 25865
2207.06/2214.09 c #Conflicts: 646000 | #Constraints: 26865
2207.06/2214.09 c #Conflicts: 647000 | #Constraints: 27865
2207.06/2214.09 c #Conflicts: 648000 | #Constraints: 28865
2207.06/2214.09 c #Conflicts: 649000 | #Constraints: 29865
2207.06/2214.09 c #Conflicts: 650000 | #Constraints: 30865
2207.06/2214.09 c #Conflicts: 651000 | #Constraints: 31865
2207.06/2214.09 c #Conflicts: 652000 | #Constraints: 32865
2207.06/2214.09 c #Conflicts: 653000 | #Constraints: 33865
2207.06/2214.09 c #Conflicts: 654000 | #Constraints: 34865
2207.06/2214.09 c #Conflicts: 655000 | #Constraints: 35865
2207.06/2214.09 c INPROCESSING
2207.06/2214.09 c GARBAGE COLLECT
2207.06/2214.09 c #Conflicts: 656000 | #Constraints: 20869
2207.06/2214.09 c #Conflicts: 657000 | #Constraints: 21869
2207.06/2214.09 c #Conflicts: 658000 | #Constraints: 22869
2207.06/2214.09 c #Conflicts: 659000 | #Constraints: 23869
2207.06/2214.09 c #Conflicts: 660000 | #Constraints: 24869
2207.06/2214.09 c #Conflicts: 661000 | #Constraints: 25869
2207.06/2214.09 c #Conflicts: 662000 | #Constraints: 26869
2207.06/2214.09 c #Conflicts: 663000 | #Constraints: 27869
2207.06/2214.09 c #Conflicts: 664000 | #Constraints: 28869
2207.06/2214.09 c #Conflicts: 665000 | #Constraints: 29869
2207.06/2214.09 c #Conflicts: 666000 | #Constraints: 30869
2207.06/2214.09 c #Conflicts: 667000 | #Constraints: 31869
2207.06/2214.09 c #Conflicts: 668000 | #Constraints: 32869
2207.06/2214.09 c #Conflicts: 669000 | #Constraints: 33869
2207.06/2214.09 c #Conflicts: 670000 | #Constraints: 34869
2498.94/2506.73 c #Conflicts: 671000 | #Constraints: 35869
2498.94/2506.73 c INPROCESSING
2498.94/2506.73 c GARBAGE COLLECT
2498.94/2506.73 c #Conflicts: 672000 | #Constraints: 20669
2498.94/2506.73 c #Conflicts: 673000 | #Constraints: 21669
2498.94/2506.73 c #Conflicts: 674000 | #Constraints: 22669
2498.94/2506.73 c #Conflicts: 675000 | #Constraints: 23669
2498.94/2506.73 c #Conflicts: 676000 | #Constraints: 24669
2498.94/2506.73 c #Conflicts: 677000 | #Constraints: 25669
2498.94/2506.73 c #Conflicts: 678000 | #Constraints: 26669
2498.94/2506.73 c #Conflicts: 679000 | #Constraints: 27669
2498.94/2506.73 c #Conflicts: 680000 | #Constraints: 28669
2498.94/2506.73 c #Conflicts: 681000 | #Constraints: 29669
2498.94/2506.73 c #Conflicts: 682000 | #Constraints: 30669
2498.94/2506.73 c #Conflicts: 683000 | #Constraints: 31669
2498.94/2506.73 c #Conflicts: 684000 | #Constraints: 32669
2498.94/2506.73 c #Conflicts: 685000 | #Constraints: 33669
2498.94/2506.73 c #Conflicts: 686000 | #Constraints: 34669
2498.94/2506.73 c #Conflicts: 687000 | #Constraints: 35669
2498.94/2506.73 c #Conflicts: 688000 | #Constraints: 36669
2498.94/2506.73 c INPROCESSING
2498.94/2506.73 c GARBAGE COLLECT
2498.94/2506.73 c #Conflicts: 689000 | #Constraints: 21272
2498.94/2506.73 c #Conflicts: 690000 | #Constraints: 22272
2498.94/2506.73 c #Conflicts: 691000 | #Constraints: 23272
2498.94/2506.73 c #Conflicts: 692000 | #Constraints: 24272
2498.94/2506.73 c #Conflicts: 693000 | #Constraints: 25272
2498.94/2506.73 c #Conflicts: 694000 | #Constraints: 26272
2498.94/2506.73 c #Conflicts: 695000 | #Constraints: 27272
2498.94/2506.73 c #Conflicts: 696000 | #Constraints: 28272
2498.94/2506.73 c #Conflicts: 697000 | #Constraints: 29272
2498.94/2506.73 c #Conflicts: 698000 | #Constraints: 30272
2498.94/2506.73 c #Conflicts: 699000 | #Constraints: 31272
2498.94/2506.73 c #Conflicts: 700000 | #Constraints: 32272
2498.94/2506.73 c #Conflicts: 701000 | #Constraints: 33272
2498.94/2506.73 c #Conflicts: 702000 | #Constraints: 34272
2498.94/2506.73 c #Conflicts: 703000 | #Constraints: 35272
2498.94/2506.73 c #Conflicts: 704000 | #Constraints: 36272
2498.94/2506.73 c #Conflicts: 705000 | #Constraints: 37272
2498.94/2506.73 c INPROCESSING
2498.94/2506.73 c GARBAGE COLLECT
2498.94/2506.73 c #Conflicts: 706000 | #Constraints: 21670
2498.94/2506.73 c #Conflicts: 707000 | #Constraints: 22670
2498.94/2506.73 c #Conflicts: 708000 | #Constraints: 23670
2498.94/2506.73 c #Conflicts: 709000 | #Constraints: 24670
2498.94/2506.73 c #Conflicts: 710000 | #Constraints: 25670
2498.94/2506.73 c #Conflicts: 711000 | #Constraints: 26670
2498.94/2506.73 c #Conflicts: 712000 | #Constraints: 27670
2498.94/2506.73 c #Conflicts: 713000 | #Constraints: 28670
2498.94/2506.73 c #Conflicts: 714000 | #Constraints: 29670
2498.94/2506.73 c #Conflicts: 715000 | #Constraints: 30670
2498.94/2506.73 c #Conflicts: 716000 | #Constraints: 31670
2498.94/2506.73 c #Conflicts: 717000 | #Constraints: 32670
2498.94/2506.73 c #Conflicts: 718000 | #Constraints: 33670
2498.94/2506.73 c #Conflicts: 719000 | #Constraints: 34670
2498.94/2506.73 c #Conflicts: 720000 | #Constraints: 35670
2498.94/2506.73 c #Conflicts: 721000 | #Constraints: 36670
2498.94/2506.73 c #Conflicts: 722000 | #Constraints: 37670
2498.94/2506.73 c INPROCESSING
2498.94/2506.73 c GARBAGE COLLECT
2498.94/2506.73 c #Conflicts: 723000 | #Constraints: 21870
2498.94/2506.73 c #Conflicts: 724000 | #Constraints: 22870
2498.94/2506.73 c #Conflicts: 725000 | #Constraints: 23870
2498.94/2506.73 c #Conflicts: 726000 | #Constraints: 24870
2498.94/2506.73 c #Conflicts: 727000 | #Constraints: 25870
2498.94/2506.73 c #Conflicts: 728000 | #Constraints: 26870
2498.94/2506.73 c #Conflicts: 729000 | #Constraints: 27870
2498.94/2506.73 c #Conflicts: 730000 | #Constraints: 28870
2498.94/2506.73 c #Conflicts: 731000 | #Constraints: 29870
2498.94/2506.73 c #Conflicts: 732000 | #Constraints: 30870
2498.94/2506.73 c #Conflicts: 733000 | #Constraints: 31870
2498.94/2506.73 c #Conflicts: 734000 | #Constraints: 32870
2498.94/2506.73 c #Conflicts: 735000 | #Constraints: 33870
2498.94/2506.73 c #Conflicts: 736000 | #Constraints: 34870
2498.94/2506.73 c #Conflicts: 737000 | #Constraints: 35870
2498.94/2506.73 c #Conflicts: 738000 | #Constraints: 36870
2498.94/2506.73 c #Conflicts: 739000 | #Constraints: 37870
2498.94/2506.73 c INPROCESSING
2498.94/2506.73 c GARBAGE COLLECT
2498.94/2506.73 c #Conflicts: 740000 | #Constraints: 21874
2498.94/2506.73 c #Conflicts: 741000 | #Constraints: 22874
2498.94/2506.73 c #Conflicts: 742000 | #Constraints: 23874
2498.94/2506.73 c #Conflicts: 743000 | #Constraints: 24874
2498.94/2506.73 c #Conflicts: 744000 | #Constraints: 25874
2498.94/2506.73 c #Conflicts: 745000 | #Constraints: 26874
2809.30/2818.00 c #Conflicts: 746000 | #Constraints: 27874
2809.30/2818.00 c #Conflicts: 747000 | #Constraints: 28874
2809.30/2818.00 c #Conflicts: 748000 | #Constraints: 29874
2809.30/2818.00 c #Conflicts: 749000 | #Constraints: 30874
2809.30/2818.00 c #Conflicts: 750000 | #Constraints: 31874
2809.30/2818.00 c #Conflicts: 751000 | #Constraints: 32874
2809.30/2818.00 c #Conflicts: 752000 | #Constraints: 33874
2809.30/2818.00 c #Conflicts: 753000 | #Constraints: 34874
2809.30/2818.00 c #Conflicts: 754000 | #Constraints: 35874
2809.30/2818.00 c #Conflicts: 755000 | #Constraints: 36874
2809.30/2818.00 c #Conflicts: 756000 | #Constraints: 37874
2809.30/2818.00 c INPROCESSING
2809.30/2818.00 c GARBAGE COLLECT
2809.30/2818.00 c #Conflicts: 757000 | #Constraints: 21680
2809.30/2818.00 c #Conflicts: 758000 | #Constraints: 22680
2809.30/2818.00 c #Conflicts: 759000 | #Constraints: 23680
2809.30/2818.00 c #Conflicts: 760000 | #Constraints: 24680
2809.30/2818.00 c #Conflicts: 761000 | #Constraints: 25680
2809.30/2818.00 c #Conflicts: 762000 | #Constraints: 26680
2809.30/2818.00 c #Conflicts: 763000 | #Constraints: 27680
2809.30/2818.00 c #Conflicts: 764000 | #Constraints: 28680
2809.30/2818.00 c #Conflicts: 765000 | #Constraints: 29680
2809.30/2818.00 c #Conflicts: 766000 | #Constraints: 30680
2809.30/2818.00 c #Conflicts: 767000 | #Constraints: 31680
2809.30/2818.00 c #Conflicts: 768000 | #Constraints: 32680
2809.30/2818.00 c #Conflicts: 769000 | #Constraints: 33680
2809.30/2818.00 c #Conflicts: 770000 | #Constraints: 34680
2809.30/2818.00 c #Conflicts: 771000 | #Constraints: 35680
2809.30/2818.00 c #Conflicts: 772000 | #Constraints: 36680
2809.30/2818.00 c #Conflicts: 773000 | #Constraints: 37680
2809.30/2818.00 c #Conflicts: 774000 | #Constraints: 38680
2809.30/2818.00 c INPROCESSING
2809.30/2818.00 c GARBAGE COLLECT
2809.30/2818.00 c #Conflicts: 775000 | #Constraints: 22272
2809.30/2818.00 c #Conflicts: 776000 | #Constraints: 23272
2809.30/2818.00 c #Conflicts: 777000 | #Constraints: 24272
2809.30/2818.00 c #Conflicts: 778000 | #Constraints: 25272
2809.30/2818.00 c #Conflicts: 779000 | #Constraints: 26272
2809.30/2818.00 c #Conflicts: 780000 | #Constraints: 27272
2809.30/2818.00 c #Conflicts: 781000 | #Constraints: 28272
2809.30/2818.00 c #Conflicts: 782000 | #Constraints: 29272
2809.30/2818.00 c #Conflicts: 783000 | #Constraints: 30272
2809.30/2818.00 c #Conflicts: 784000 | #Constraints: 31272
2809.30/2818.00 c #Conflicts: 785000 | #Constraints: 32272
2809.30/2818.00 c #Conflicts: 786000 | #Constraints: 33272
2809.30/2818.00 c #Conflicts: 787000 | #Constraints: 34272
2809.30/2818.00 c #Conflicts: 788000 | #Constraints: 35272
2809.30/2818.00 c #Conflicts: 789000 | #Constraints: 36272
2809.30/2818.00 c #Conflicts: 790000 | #Constraints: 37272
2809.30/2818.00 c #Conflicts: 791000 | #Constraints: 38272
2809.30/2818.00 c #Conflicts: 792000 | #Constraints: 39272
2809.30/2818.00 c INPROCESSING
2809.30/2818.00 c GARBAGE COLLECT
2809.30/2818.00 c #Conflicts: 793000 | #Constraints: 22668
2809.30/2818.00 c #Conflicts: 794000 | #Constraints: 23668
2809.30/2818.00 c #Conflicts: 795000 | #Constraints: 24668
2809.30/2818.00 c #Conflicts: 796000 | #Constraints: 25668
2809.30/2818.00 c #Conflicts: 797000 | #Constraints: 26668
2809.30/2818.00 c #Conflicts: 798000 | #Constraints: 27668
2809.30/2818.00 c #Conflicts: 799000 | #Constraints: 28668
2809.30/2818.00 c #Conflicts: 800000 | #Constraints: 29668
2809.30/2818.00 c #Conflicts: 801000 | #Constraints: 30668
2809.30/2818.00 c #Conflicts: 802000 | #Constraints: 31668
2809.30/2818.00 c #Conflicts: 803000 | #Constraints: 32668
2809.30/2818.00 c #Conflicts: 804000 | #Constraints: 33668
2809.30/2818.00 c #Conflicts: 805000 | #Constraints: 34668
2809.30/2818.00 c #Conflicts: 806000 | #Constraints: 35668
2809.30/2818.00 c #Conflicts: 807000 | #Constraints: 36668
2809.30/2818.00 c #Conflicts: 808000 | #Constraints: 37668
2809.30/2818.00 c #Conflicts: 809000 | #Constraints: 38668
2809.30/2818.00 c #Conflicts: 810000 | #Constraints: 39668
2809.30/2818.00 c INPROCESSING
2809.30/2818.00 c GARBAGE COLLECT
2809.30/2818.00 c #Conflicts: 811000 | #Constraints: 22865
2809.30/2818.00 c #Conflicts: 812000 | #Constraints: 23865
2809.30/2818.00 c #Conflicts: 813000 | #Constraints: 24865
2809.30/2818.00 c #Conflicts: 814000 | #Constraints: 25865
2809.30/2818.00 c #Conflicts: 815000 | #Constraints: 26865
2809.30/2818.00 c #Conflicts: 816000 | #Constraints: 27865
2809.30/2818.00 c #Conflicts: 817000 | #Constraints: 28865
2809.30/2818.00 c #Conflicts: 818000 | #Constraints: 29865
2809.30/2818.00 c #Conflicts: 819000 | #Constraints: 30865
2809.30/2818.00 c #Conflicts: 820000 | #Constraints: 31865
2809.30/2818.00 c #Conflicts: 821000 | #Constraints: 32865
3087.71/3097.19 c #Conflicts: 822000 | #Constraints: 33865
3087.71/3097.19 c #Conflicts: 823000 | #Constraints: 34865
3087.71/3097.19 c #Conflicts: 824000 | #Constraints: 35865
3087.71/3097.19 c #Conflicts: 825000 | #Constraints: 36865
3087.71/3097.19 c #Conflicts: 826000 | #Constraints: 37865
3087.71/3097.19 c #Conflicts: 827000 | #Constraints: 38865
3087.71/3097.19 c #Conflicts: 828000 | #Constraints: 39865
3087.71/3097.19 c INPROCESSING
3087.71/3097.19 c GARBAGE COLLECT
3087.71/3097.19 c #Conflicts: 829000 | #Constraints: 22871
3087.71/3097.19 c #Conflicts: 830000 | #Constraints: 23871
3087.71/3097.19 c #Conflicts: 831000 | #Constraints: 24871
3087.71/3097.19 c #Conflicts: 832000 | #Constraints: 25871
3087.71/3097.19 c #Conflicts: 833000 | #Constraints: 26871
3087.71/3097.19 c #Conflicts: 834000 | #Constraints: 27871
3087.71/3097.19 c #Conflicts: 835000 | #Constraints: 28871
3087.71/3097.19 c #Conflicts: 836000 | #Constraints: 29871
3087.71/3097.19 c #Conflicts: 837000 | #Constraints: 30871
3087.71/3097.19 c #Conflicts: 838000 | #Constraints: 31871
3087.71/3097.19 c #Conflicts: 839000 | #Constraints: 32871
3087.71/3097.19 c #Conflicts: 840000 | #Constraints: 33871
3087.71/3097.19 c #Conflicts: 841000 | #Constraints: 34871
3087.71/3097.19 c #Conflicts: 842000 | #Constraints: 35871
3087.71/3097.19 c #Conflicts: 843000 | #Constraints: 36871
3087.71/3097.19 c #Conflicts: 844000 | #Constraints: 37871
3087.71/3097.19 c #Conflicts: 845000 | #Constraints: 38871
3087.71/3097.19 c #Conflicts: 846000 | #Constraints: 39871
3087.71/3097.19 c INPROCESSING
3087.71/3097.19 c GARBAGE COLLECT
3087.71/3097.19 c #Conflicts: 847000 | #Constraints: 22669
3087.71/3097.19 c #Conflicts: 848000 | #Constraints: 23669
3087.71/3097.19 c #Conflicts: 849000 | #Constraints: 24669
3087.71/3097.19 c #Conflicts: 850000 | #Constraints: 25669
3087.71/3097.19 c #Conflicts: 851000 | #Constraints: 26669
3087.71/3097.19 c #Conflicts: 852000 | #Constraints: 27669
3087.71/3097.19 c #Conflicts: 853000 | #Constraints: 28669
3087.71/3097.19 c #Conflicts: 854000 | #Constraints: 29669
3087.71/3097.19 c #Conflicts: 855000 | #Constraints: 30669
3087.71/3097.19 c #Conflicts: 856000 | #Constraints: 31669
3087.71/3097.19 c #Conflicts: 857000 | #Constraints: 32669
3087.71/3097.19 c #Conflicts: 858000 | #Constraints: 33669
3087.71/3097.19 c #Conflicts: 859000 | #Constraints: 34669
3087.71/3097.19 c #Conflicts: 860000 | #Constraints: 35669
3087.71/3097.19 c #Conflicts: 861000 | #Constraints: 36669
3087.71/3097.19 c #Conflicts: 862000 | #Constraints: 37669
3087.71/3097.19 c #Conflicts: 863000 | #Constraints: 38669
3087.71/3097.19 c #Conflicts: 864000 | #Constraints: 39669
3087.71/3097.19 c #Conflicts: 865000 | #Constraints: 40669
3087.71/3097.19 c INPROCESSING
3087.71/3097.19 c GARBAGE COLLECT
3087.71/3097.19 c #Conflicts: 866000 | #Constraints: 23269
3087.71/3097.19 c #Conflicts: 867000 | #Constraints: 24269
3087.71/3097.19 c #Conflicts: 868000 | #Constraints: 25269
3087.71/3097.19 c #Conflicts: 869000 | #Constraints: 26269
3087.71/3097.19 c #Conflicts: 870000 | #Constraints: 27269
3087.71/3097.19 c #Conflicts: 871000 | #Constraints: 28269
3087.71/3097.19 c #Conflicts: 872000 | #Constraints: 29269
3087.71/3097.19 c #Conflicts: 873000 | #Constraints: 30269
3087.71/3097.19 c #Conflicts: 874000 | #Constraints: 31269
3087.71/3097.19 c #Conflicts: 875000 | #Constraints: 32269
3087.71/3097.19 c #Conflicts: 876000 | #Constraints: 33269
3087.71/3097.19 c #Conflicts: 877000 | #Constraints: 34269
3087.71/3097.19 c #Conflicts: 878000 | #Constraints: 35269
3087.71/3097.19 c #Conflicts: 879000 | #Constraints: 36269
3087.71/3097.19 c #Conflicts: 880000 | #Constraints: 37269
3087.71/3097.19 c #Conflicts: 881000 | #Constraints: 38269
3087.71/3097.19 c #Conflicts: 882000 | #Constraints: 39269
3087.71/3097.19 c #Conflicts: 883000 | #Constraints: 40269
3087.71/3097.19 c #Conflicts: 884000 | #Constraints: 41269
3087.71/3097.19 c INPROCESSING
3087.71/3097.19 c GARBAGE COLLECT
3087.71/3097.19 c #Conflicts: 885000 | #Constraints: 23674
3087.71/3097.19 c #Conflicts: 886000 | #Constraints: 24674
3087.71/3097.19 c #Conflicts: 887000 | #Constraints: 25674
3087.71/3097.19 c #Conflicts: 888000 | #Constraints: 26674
3087.71/3097.19 c #Conflicts: 889000 | #Constraints: 27674
3087.71/3097.19 c #Conflicts: 890000 | #Constraints: 28674
3087.71/3097.19 c #Conflicts: 891000 | #Constraints: 29674
3087.71/3097.19 c #Conflicts: 892000 | #Constraints: 30674
3087.71/3097.19 c #Conflicts: 893000 | #Constraints: 31674
3087.71/3097.19 c #Conflicts: 894000 | #Constraints: 32674
3087.71/3097.19 c #Conflicts: 895000 | #Constraints: 33674
3087.71/3097.19 c #Conflicts: 896000 | #Constraints: 34674
3087.71/3097.19 c #Conflicts: 897000 | #Constraints: 35674
3087.71/3097.19 c #Conflicts: 898000 | #Constraints: 36674
3387.76/3398.10 c #Conflicts: 899000 | #Constraints: 37674
3387.76/3398.10 c #Conflicts: 900000 | #Constraints: 38674
3387.76/3398.10 c #Conflicts: 901000 | #Constraints: 39674
3387.76/3398.10 c #Conflicts: 902000 | #Constraints: 40674
3387.76/3398.10 c #Conflicts: 903000 | #Constraints: 41674
3387.76/3398.10 c INPROCESSING
3387.76/3398.10 c GARBAGE COLLECT
3387.76/3398.10 c #Conflicts: 904000 | #Constraints: 23879
3387.76/3398.10 c #Conflicts: 905000 | #Constraints: 24879
3387.76/3398.10 c #Conflicts: 906000 | #Constraints: 25879
3387.76/3398.10 c #Conflicts: 907000 | #Constraints: 26879
3387.76/3398.10 c #Conflicts: 908000 | #Constraints: 27879
3387.76/3398.10 c #Conflicts: 909000 | #Constraints: 28879
3387.76/3398.10 c #Conflicts: 910000 | #Constraints: 29879
3387.76/3398.10 c #Conflicts: 911000 | #Constraints: 30879
3387.76/3398.10 c #Conflicts: 912000 | #Constraints: 31879
3387.76/3398.10 c #Conflicts: 913000 | #Constraints: 32879
3387.76/3398.10 c #Conflicts: 914000 | #Constraints: 33879
3387.76/3398.10 c #Conflicts: 915000 | #Constraints: 34879
3387.76/3398.10 c #Conflicts: 916000 | #Constraints: 35879
3387.76/3398.10 c #Conflicts: 917000 | #Constraints: 36879
3387.76/3398.10 c #Conflicts: 918000 | #Constraints: 37879
3387.76/3398.10 c #Conflicts: 919000 | #Constraints: 38879
3387.76/3398.10 c #Conflicts: 920000 | #Constraints: 39879
3387.76/3398.10 c #Conflicts: 921000 | #Constraints: 40879
3387.76/3398.10 c #Conflicts: 922000 | #Constraints: 41879
3387.76/3398.10 c INPROCESSING
3387.76/3398.10 c GARBAGE COLLECT
3387.76/3398.10 c #Conflicts: 923000 | #Constraints: 23871
3387.76/3398.10 c #Conflicts: 924000 | #Constraints: 24871
3387.76/3398.10 c #Conflicts: 925000 | #Constraints: 25871
3387.76/3398.10 c #Conflicts: 926000 | #Constraints: 26871
3387.76/3398.10 c #Conflicts: 927000 | #Constraints: 27871
3387.76/3398.10 c #Conflicts: 928000 | #Constraints: 28871
3387.76/3398.10 c #Conflicts: 929000 | #Constraints: 29871
3387.76/3398.10 c #Conflicts: 930000 | #Constraints: 30871
3387.76/3398.10 c #Conflicts: 931000 | #Constraints: 31871
3387.76/3398.10 c #Conflicts: 932000 | #Constraints: 32871
3387.76/3398.10 c #Conflicts: 933000 | #Constraints: 33871
3387.76/3398.10 c #Conflicts: 934000 | #Constraints: 34871
3387.76/3398.10 c #Conflicts: 935000 | #Constraints: 35871
3387.76/3398.10 c #Conflicts: 936000 | #Constraints: 36871
3387.76/3398.10 c #Conflicts: 937000 | #Constraints: 37871
3387.76/3398.10 c #Conflicts: 938000 | #Constraints: 38871
3387.76/3398.10 c #Conflicts: 939000 | #Constraints: 39871
3387.76/3398.10 c #Conflicts: 940000 | #Constraints: 40871
3387.76/3398.10 c #Conflicts: 941000 | #Constraints: 41871
3387.76/3398.10 c INPROCESSING
3387.76/3398.10 c GARBAGE COLLECT
3387.76/3398.10 c #Conflicts: 942000 | #Constraints: 23671
3387.76/3398.10 c #Conflicts: 943000 | #Constraints: 24671
3387.76/3398.10 c #Conflicts: 944000 | #Constraints: 25671
3387.76/3398.10 c #Conflicts: 945000 | #Constraints: 26671
3387.76/3398.10 c #Conflicts: 946000 | #Constraints: 27671
3387.76/3398.10 c #Conflicts: 947000 | #Constraints: 28671
3387.76/3398.10 c #Conflicts: 948000 | #Constraints: 29671
3387.76/3398.10 c #Conflicts: 949000 | #Constraints: 30671
3387.76/3398.10 c #Conflicts: 950000 | #Constraints: 31671
3387.76/3398.10 c #Conflicts: 951000 | #Constraints: 32671
3387.76/3398.10 c #Conflicts: 952000 | #Constraints: 33671
3387.76/3398.10 c #Conflicts: 953000 | #Constraints: 34671
3387.76/3398.10 c #Conflicts: 954000 | #Constraints: 35671
3387.76/3398.10 c #Conflicts: 955000 | #Constraints: 36671
3387.76/3398.10 c #Conflicts: 956000 | #Constraints: 37671
3387.76/3398.10 c #Conflicts: 957000 | #Constraints: 38671
3387.76/3398.10 c #Conflicts: 958000 | #Constraints: 39671
3387.76/3398.10 c #Conflicts: 959000 | #Constraints: 40671
3387.76/3398.10 c #Conflicts: 960000 | #Constraints: 41671
3387.76/3398.10 c #Conflicts: 961000 | #Constraints: 42671
3387.76/3398.10 c INPROCESSING
3387.76/3398.10 c GARBAGE COLLECT
3387.76/3398.10 c #Conflicts: 962000 | #Constraints: 24276
3387.76/3398.10 c #Conflicts: 963000 | #Constraints: 25276
3387.76/3398.10 c #Conflicts: 964000 | #Constraints: 26276
3387.76/3398.10 c #Conflicts: 965000 | #Constraints: 27276
3387.76/3398.10 c #Conflicts: 966000 | #Constraints: 28276
3387.76/3398.10 c #Conflicts: 967000 | #Constraints: 29276
3387.76/3398.10 c #Conflicts: 968000 | #Constraints: 30276
3387.76/3398.10 c #Conflicts: 969000 | #Constraints: 31276
3387.76/3398.10 c #Conflicts: 970000 | #Constraints: 32276
3387.76/3398.10 c #Conflicts: 971000 | #Constraints: 33276
3387.76/3398.10 c #Conflicts: 972000 | #Constraints: 34276
3387.76/3398.10 c #Conflicts: 973000 | #Constraints: 35276
3387.76/3398.10 c #Conflicts: 974000 | #Constraints: 36276
3600.04/3610.90 c #Conflicts: 975000 | #Constraints: 37276
3600.04/3610.90 c #Conflicts: 976000 | #Constraints: 38276
3600.04/3610.90 c #Conflicts: 977000 | #Constraints: 39276
3600.04/3610.90 c #Conflicts: 978000 | #Constraints: 40276
3600.04/3610.90 c #Conflicts: 979000 | #Constraints: 41276
3600.04/3610.90 c #Conflicts: 980000 | #Constraints: 42276
3600.04/3610.90 c #Conflicts: 981000 | #Constraints: 43276
3600.04/3610.90 c INPROCESSING
3600.04/3610.90 c GARBAGE COLLECT
3600.04/3610.90 c #Conflicts: 982000 | #Constraints: 24677
3600.04/3610.90 c #Conflicts: 983000 | #Constraints: 25677
3600.04/3610.90 c #Conflicts: 984000 | #Constraints: 26677
3600.04/3610.90 c #Conflicts: 985000 | #Constraints: 27677
3600.04/3610.90 c #Conflicts: 986000 | #Constraints: 28677
3600.04/3610.90 c #Conflicts: 987000 | #Constraints: 29677
3600.04/3610.90 c #Conflicts: 988000 | #Constraints: 30677
3600.04/3610.90 c #Conflicts: 989000 | #Constraints: 31677
3600.04/3610.90 c #Conflicts: 990000 | #Constraints: 32677
3600.04/3610.90 c #Conflicts: 991000 | #Constraints: 33677
3600.04/3610.90 c #Conflicts: 992000 | #Constraints: 34677
3600.04/3610.90 c #Conflicts: 993000 | #Constraints: 35677
3600.04/3610.90 c #Conflicts: 994000 | #Constraints: 36677
3600.04/3610.90 c #Conflicts: 995000 | #Constraints: 37677
3600.04/3610.90 c #Conflicts: 996000 | #Constraints: 38677
3600.04/3610.90 c #Conflicts: 997000 | #Constraints: 39677
3600.04/3610.90 c #Conflicts: 998000 | #Constraints: 40677
3600.04/3610.90 c #Conflicts: 999000 | #Constraints: 41677
3600.04/3610.90 c #Conflicts: 1000000 | #Constraints: 42677
3600.04/3610.90 c #Conflicts: 1001000 | #Constraints: 43677
3600.04/3610.90 c INPROCESSING
3600.04/3610.90 c GARBAGE COLLECT
3600.04/3610.90 c #Conflicts: 1002000 | #Constraints: 24879
3600.04/3610.90 c #Conflicts: 1003000 | #Constraints: 25879
3600.04/3610.90 c #Conflicts: 1004000 | #Constraints: 26879
3600.04/3610.90 c #Conflicts: 1005000 | #Constraints: 27879
3600.04/3610.90 c #Conflicts: 1006000 | #Constraints: 28879
3600.04/3610.90 c #Conflicts: 1007000 | #Constraints: 29879
3600.04/3610.90 c #Conflicts: 1008000 | #Constraints: 30879
3600.04/3610.90 c #Conflicts: 1009000 | #Constraints: 31879
3600.04/3610.90 c #Conflicts: 1010000 | #Constraints: 32879
3600.04/3610.90 c #Conflicts: 1011000 | #Constraints: 33879
3600.04/3610.90 c #Conflicts: 1012000 | #Constraints: 34879
3600.04/3610.90 c #Conflicts: 1013000 | #Constraints: 35879
3600.04/3610.90 c #Conflicts: 1014000 | #Constraints: 36879
3600.04/3610.90 c #Conflicts: 1015000 | #Constraints: 37879
3600.04/3610.90 c #Conflicts: 1016000 | #Constraints: 38879
3600.04/3610.90 c #Conflicts: 1017000 | #Constraints: 39879
3600.04/3610.90 c #Conflicts: 1018000 | #Constraints: 40879
3600.04/3610.90 c #Conflicts: 1019000 | #Constraints: 41879
3600.04/3610.90 c Program interrupted by user.
3600.04/3610.90 c cpu time 3591.71 s
3600.04/3610.90 c deterministic time 708073413506 7.08e+11
3600.04/3610.90 c optimization time 70.0172 s
3600.04/3610.90 c total solve time 3222.45 s
3600.04/3610.90 c core-guided solve time 3222.45 s
3600.04/3610.90 c propagation time 2668.01 s
3600.04/3610.90 c conflict analysis time 488.642 s
3600.04/3610.90 c propagations 149170471
3600.04/3610.90 c resolve steps 9023568
3600.04/3610.90 c decisions 5024036
3600.04/3610.90 c conflicts 1019131
3600.04/3610.90 c restarts 2045
3600.04/3610.90 c inprocessing phases 91
3600.04/3610.90 c input clauses 3992
3600.04/3610.90 c input cardinalities 137
3600.04/3610.90 c input general constraints 0
3600.04/3610.90 c input average constraint length 57.68
3600.04/3610.90 c input average constraint degree 26.17
3600.04/3610.90 c learned clauses 384357
3600.04/3610.90 c learned cardinalities 31273
3600.04/3610.90 c learned general constraints 603634
3600.04/3610.90 c learned average constraint length 852.25
3600.04/3610.90 c learned average constraint degree 83882.48
3600.04/3610.90 c watched constraints 415093
3600.04/3610.90 c counting constraints 188541
3600.04/3610.90 c gcd simplifications 36576
3600.04/3610.90 c detected cardinalities 655
3600.04/3610.90 c weakened non-implied lits 166052715
3600.04/3610.90 c weakened non-implying lits 72805
3600.04/3610.90 c original variables 1969
3600.04/3610.90 c clausal propagations 63141376
3600.04/3610.90 c cardinality propagations 3803134
3600.04/3610.90 c watched propagations 14798071
3600.04/3610.90 c counting propagations 63657622
3600.04/3610.90 c watch lookups 39985402993
3600.04/3610.90 c watch backjump lookups 35247199698
3600.04/3610.90 c watch checks 574627029557
3600.04/3610.90 c propagation checks 55252904262
3600.04/3610.90 c constraint additions 2651470494
3600.04/3610.90 c trail pops 155211994
3600.04/3610.90 c formula constraints 3305
3600.04/3610.90 c learned constraints 1019264
3600.04/3610.90 c bound constraints 137
3600.04/3610.90 c core-guided constraints 687
3600.04/3610.90 c encountered formula constraints 6272709
3600.04/3610.90 c encountered learned constraints 2801512
3600.04/3610.90 c encountered bound constraints 3
3600.04/3610.90 c encountered core-guided constraints 968475
3600.04/3610.90 c LP total time 0 s
3600.04/3610.90 c LP solve time 0 s
3600.04/3610.90 c LP constraints added 0
3600.04/3610.90 c LP constraints removed 0
3600.04/3610.90 c LP pivots internal 0
3600.04/3610.90 c LP pivots root 0
3600.04/3610.90 c LP calls 0
3600.04/3610.90 c LP optimalities 0
3600.04/3610.90 c LP no pivot count 0
3600.04/3610.90 c LP infeasibilities 0
3600.04/3610.90 c LP valid Farkas constraints 0
3600.04/3610.90 c LP learned Farkas constraints 0
3600.04/3610.90 c LP basis resets 0
3600.04/3610.90 c LP cycling count 0
3600.04/3610.90 c LP singular count 0
3600.04/3610.90 c LP no primal count 0
3600.04/3610.90 c LP no farkas count 0
3600.04/3610.90 c LP other issue count 0
3600.04/3610.90 c LP Gomory cuts 0
3600.04/3610.90 c LP learned cuts 0
3600.04/3610.90 c LP deleted cuts 0
3600.04/3610.90 c LP encountered Gomory constraints 0
3600.04/3610.90 c LP encountered Farkas constraints 0
3600.04/3610.90 c LP encountered learned Farkas constraints 0
3600.04/3610.90 c CG auxiliary variables introduced 687
3600.04/3610.90 c CG solutions found 0
3600.04/3610.90 c CG cores constructed 136
3600.04/3610.90 c CG core cardinality constraints returned 0
3600.04/3610.90 c CG unit cores 0
3600.04/3610.90 c CG single cores 136
3600.04/3610.90 c CG blocks removed during cardinality reduction 0
3600.04/3610.90 c CG first core best 0
3600.04/3610.90 c CG decision core best 0
3600.04/3610.90 c CG core reduction tie 0
3600.04/3610.90 c CG core degree average 1.00
3600.04/3610.90 c CG core slack average 3.12
3600.04/3610.90 c CG exhausted 0
3600.04/3610.90 c CG exhaust time 0 s
3600.04/3610.90 c CG trimmed 5
3600.04/3610.90 c CG trim time 0.000755 s
3600.04/3610.90 c CG minimized 0
3600.04/3610.90 c CG minimize time 0 s
3600.04/3610.90 c CG am1 prop time 0.001384 s
3600.04/3610.90 c CG # am1s reformulated 687
3600.04/3610.90 c CG lower bound derived from am1s 691
3600.04/3610.90 c CG # clausal cores 136
3600.04/3610.90 c CG # cardinality cores 0
3600.04/3610.90 c CG # pb cores 0
3600.04/3610.90 c CG # pb reforms 0
3600.04/3610.90 c CG # cores discarded because of pb reform 0
3600.04/3610.90 d LOWERBOUND 827
3600.04/3610.90 d NCORES 136
3600.04/3610.90 d NPBCORES 0
3600.04/3610.90 d NPBREFORM 0
3600.04/3610.90 d NTRIMMED 5
3600.04/3610.90 d NEXHAUSTED 0
3600.04/3610.90 d NAM1S 687
3600.04/3610.90 d AM1LB 691
3600.04/3610.90 c [Papilo Statistics]
3600.04/3610.90 c prepro time 0.0170476s
3600.04/3610.90 c # tsx applied 149
3600.04/3610.90 c # tsx conflicts 3
3600.04/3610.90 c # bound changes 145
3600.04/3610.90 c # side changes 0
3600.04/3610.90 c # coef changes 0
3600.04/3610.90 c # rounds 3
3600.04/3610.90 c # deted vars 294
3600.04/3610.90 c # deted constrs 695
3600.04/3610.90 c # consecutive rounds of only bound changes 0
3600.04/3610.90 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62511 MiB free)
memory of node 1: 64465 MiB (63540 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528927-1752256389/watcher-4528927-1752256389 -o /tmp/evaluation-result-4528927-1752256389/solver-4528927-1752256389 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752256388-119670 --watchdog 3760 mixed-bag HOME/instance-4528927-1752256389.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=119715, runsolver pid=119709
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 3.57 3.99 4.05 5/252 119728
/proc/meminfo: memFree=129031576/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=102188 memory=29964 CPUtime=0.08 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 4192 0 4 0 7 1 0 0 20 0 1 0 141318267 104640512 7491 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 25547 7491 3968 2834 0 7752 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 102188 KiB
Current children cumulated memory: 29964 KiB
[startup+0.214361 s]*
/proc/loadavg: 3.57 3.99 4.05 6/252 119728
/proc/meminfo: memFree=129005020/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=111528 memory=37380 CPUtime=0.19 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 6223 0 4 0 17 2 0 0 20 0 1 0 141318267 114204672 9345 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 27882 9345 4128 2834 0 10087 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 111528 KiB
Current children cumulated memory: 37380 KiB
[startup+0.314406 s]*
/proc/loadavg: 3.57 3.99 4.05 5/252 119728
/proc/meminfo: memFree=128984360/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=115196 memory=41380 CPUtime=0.3 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 7224 0 4 0 27 3 0 0 20 0 1 0 141318267 117960704 10345 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 28799 10345 4256 2834 0 11004 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 115196 KiB
Current children cumulated memory: 41380 KiB
[startup+0.700294 s]
/proc/loadavg: 3.57 3.99 4.05 5/252 119728
/proc/meminfo: memFree=128980328/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=115860 memory=42148 CPUtime=0.67 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 7415 0 4 0 64 3 0 0 20 0 1 0 141318267 118640640 10537 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 28965 10537 4256 2834 0 11170 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 115860 KiB
Current children cumulated memory: 42148 KiB
[startup+1.50033 s]
/proc/loadavg: 3.57 3.99 4.05 5/252 119728
/proc/meminfo: memFree=128964200/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=121092 memory=46628 CPUtime=1.46 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 8537 0 4 0 143 3 0 0 20 0 1 0 141318267 123998208 11657 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 30273 11657 4256 2834 0 12478 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 121092 KiB
Current children cumulated memory: 46628 KiB
[startup+3.11323 s]
/proc/loadavg: 3.57 3.99 4.05 5/252 119728
/proc/meminfo: memFree=128908604/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=132416 memory=57124 CPUtime=3.07 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 11154 0 4 0 304 3 0 0 20 0 1 0 141318267 135593984 14281 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 33104 14281 4256 2834 0 15309 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 132416 KiB
Current children cumulated memory: 57124 KiB
[startup+6.30026 s]
/proc/loadavg: 3.61 3.99 4.05 5/252 119728
/proc/meminfo: memFree=128707068/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=178816 memory=102180 CPUtime=6.25 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 22423 0 4 0 619 6 0 0 20 0 1 0 141318267 183107584 25545 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 44704 25545 4256 2834 0 26909 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 178816 KiB
Current children cumulated memory: 102180 KiB
[startup+12.7003 s]
/proc/loadavg: 3.64 3.99 4.05 5/252 119728
/proc/meminfo: memFree=128561940/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=230308 memory=150840 CPUtime=12.62 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 35931 0 4 0 1255 7 0 0 20 0 1 0 141318267 235835392 37710 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 57577 37710 4256 2834 0 39782 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 230308 KiB
Current children cumulated memory: 150840 KiB
[startup+25.5003 s]
/proc/loadavg: 3.72 3.99 4.05 5/252 119728
/proc/meminfo: memFree=128562092/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=231148 memory=151352 CPUtime=25.39 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 36064 0 4 0 2532 7 0 0 20 0 1 0 141318267 236695552 37838 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 57787 37838 4256 2834 0 39992 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 231148 KiB
Current children cumulated memory: 151352 KiB
[startup+51.1131 s]
/proc/loadavg: 3.88 4.01 4.05 5/252 119729
/proc/meminfo: memFree=128345956/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=286520 memory=202284 CPUtime=50.93 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 50900 0 4 0 5083 10 0 0 20 0 1 0 141318267 293396480 50571 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 71630 50571 4256 2834 0 53835 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 286520 KiB
Current children cumulated memory: 202284 KiB
[startup+102.3 s]
/proc/loadavg: 4.31 4.08 4.07 5/253 119732
/proc/meminfo: memFree=128248684/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=295180 memory=209532 CPUtime=101.98 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 55542 0 4 0 10187 11 0 0 20 0 1 0 141318267 302264320 52383 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 73795 52383 4256 2834 0 56000 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 295180 KiB
Current children cumulated memory: 209532 KiB
[startup+162.3 s]
/proc/loadavg: 5.27 4.42 4.19 5/253 119734
/proc/meminfo: memFree=128121840/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=363972 memory=270048 CPUtime=161.81 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 70746 0 4 0 16167 14 0 0 20 0 1 0 141318267 372707328 67512 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 90993 67512 4256 2834 0 73198 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 363972 KiB
Current children cumulated memory: 270048 KiB
[startup+222.3 s]
/proc/loadavg: 4.94 4.45 4.21 5/252 119736
/proc/meminfo: memFree=128063508/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=369780 memory=274272 CPUtime=221.65 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 71814 0 4 0 22150 15 0 0 20 0 1 0 141318267 378654720 68568 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 92445 68568 4256 2834 0 74650 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 369780 KiB
Current children cumulated memory: 274272 KiB
[startup+282.3 s]
/proc/loadavg: 5.28 4.67 4.31 5/251 119740
/proc/meminfo: memFree=128041344/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=381160 memory=290864 CPUtime=281.47 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 74836 0 4 0 28131 16 0 0 20 0 1 0 141318267 390307840 72716 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 95290 72716 4256 2834 0 77495 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 381160 KiB
Current children cumulated memory: 290864 KiB
[startup+342.3 s]
/proc/loadavg: 4.63 4.59 4.30 5/250 119742
/proc/meminfo: memFree=128394300/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=316748 memory=228148 CPUtime=341.27 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 78302 0 4 0 34077 50 0 0 20 0 1 0 141318267 324349952 57037 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 79187 57037 4448 2834 0 61392 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 316748 KiB
Current children cumulated memory: 228148 KiB
[startup+402.3 s]
/proc/loadavg: 4.29 4.50 4.28 5/250 119749
/proc/meminfo: memFree=128311076/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=316748 memory=242484 CPUtime=401.09 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 78341 0 4 0 40036 73 0 0 20 0 1 0 141318267 324349952 60621 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 79187 60621 4448 2834 0 61392 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 316748 KiB
Current children cumulated memory: 242484 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.42 4.27 5/251 119751
/proc/meminfo: memFree=128208264/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=316748 memory=252724 CPUtime=460.88 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 78379 0 4 0 45997 91 0 0 20 0 1 0 141318267 324349952 63181 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 79187 63181 4448 2834 0 61392 0
Current children cumulated CPU time: 460.88 s
################
# More data... #
################
Current children cumulated memory: 405360 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 119879
/proc/meminfo: memFree=127173228/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=513836 memory=405360 CPUtime=2913.4 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 90122 0 4 0 290640 700 0 0 20 0 1 0 141318267 526168064 101340 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 128459 101340 4448 2834 0 110664 0
Current children cumulated CPU time: 2913.4 s
Current children cumulated vsize: 513836 KiB
Current children cumulated memory: 405360 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 119881
/proc/meminfo: memFree=127168740/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=513836 memory=405360 CPUtime=2973.22 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 90122 0 4 0 296612 710 0 0 20 0 1 0 141318267 526168064 101340 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 128459 101340 4448 2834 0 110664 0
Current children cumulated CPU time: 2973.22 s
Current children cumulated vsize: 513836 KiB
Current children cumulated memory: 405360 KiB
[startup+3042.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/250 119882
/proc/meminfo: memFree=127160852/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=515300 memory=406128 CPUtime=3033.05 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 90321 0 4 0 302580 725 0 0 20 0 1 0 141318267 527667200 101532 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 128825 101532 4448 2834 0 111030 0
Current children cumulated CPU time: 3033.05 s
Current children cumulated vsize: 515300 KiB
Current children cumulated memory: 406128 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/250 119884
/proc/meminfo: memFree=127144852/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=515628 memory=406640 CPUtime=3092.88 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 90423 0 4 0 308547 741 0 0 20 0 1 0 141318267 528003072 101660 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 128907 101660 4448 2834 0 111112 0
Current children cumulated CPU time: 3092.88 s
Current children cumulated vsize: 515628 KiB
Current children cumulated memory: 406640 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 119886
/proc/meminfo: memFree=127092264/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=518444 memory=420732 CPUtime=3152.72 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 90909 0 4 0 314514 758 0 0 20 0 1 0 141318267 530886656 105183 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 129611 105183 4448 2834 0 111816 0
Current children cumulated CPU time: 3152.72 s
Current children cumulated vsize: 518444 KiB
Current children cumulated memory: 420732 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/250 119888
/proc/meminfo: memFree=127101988/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=518956 memory=421244 CPUtime=3212.54 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 91018 0 4 0 320485 769 0 0 20 0 1 0 141318267 531410944 105311 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 129739 105311 4448 2834 0 111944 0
Current children cumulated CPU time: 3212.54 s
Current children cumulated vsize: 518956 KiB
Current children cumulated memory: 421244 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/250 119892
/proc/meminfo: memFree=127090404/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=518956 memory=421244 CPUtime=3272.37 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 91019 0 4 0 326456 781 0 0 20 0 1 0 141318267 531410944 105311 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 129739 105311 4448 2834 0 111944 0
Current children cumulated CPU time: 3272.37 s
Current children cumulated vsize: 518956 KiB
Current children cumulated memory: 421244 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/249 119894
/proc/meminfo: memFree=127090592/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=518956 memory=421244 CPUtime=3332.21 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 91019 0 4 0 332430 791 0 0 20 0 1 0 141318267 531410944 105311 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 129739 105311 4448 2834 0 111944 0
Current children cumulated CPU time: 3332.21 s
Current children cumulated vsize: 518956 KiB
Current children cumulated memory: 421244 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/250 119901
/proc/meminfo: memFree=127091428/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=518956 memory=421244 CPUtime=3392.04 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 91022 0 4 0 338401 803 0 0 20 0 1 0 141318267 531410944 105311 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 129739 105311 4448 2834 0 111944 0
Current children cumulated CPU time: 3392.04 s
Current children cumulated vsize: 518956 KiB
Current children cumulated memory: 421244 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 119903
/proc/meminfo: memFree=127074616/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=519212 memory=431860 CPUtime=3451.87 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 91108 0 4 0 344372 815 0 0 20 0 1 0 141318267 531673088 107965 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 129803 107965 4448 2834 0 112008 0
Current children cumulated CPU time: 3451.87 s
Current children cumulated vsize: 519212 KiB
Current children cumulated memory: 431860 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/250 119905
/proc/meminfo: memFree=127062572/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=520676 memory=436844 CPUtime=3511.7 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 91335 0 4 0 350348 822 0 0 20 0 1 0 141318267 533172224 109211 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 130169 109211 4448 2834 0 112374 0
Current children cumulated CPU time: 3511.7 s
Current children cumulated vsize: 520676 KiB
Current children cumulated memory: 436844 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/251 119908
/proc/meminfo: memFree=127042280/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=523052 memory=448564 CPUtime=3571.53 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 91728 0 4 0 356322 831 0 0 20 0 1 0 141318267 535605248 112141 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 130763 112141 4448 2834 0 112968 0
Current children cumulated CPU time: 3571.53 s
Current children cumulated vsize: 523052 KiB
Current children cumulated memory: 448564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.14 4.11 4.09 5/251 119910
/proc/meminfo: memFree=127034700/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=523052 memory=448564 CPUtime=3600.04 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 91849 0 4 0 359170 834 0 0 20 0 1 0 141318267 535605248 112141 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 130763 112141 4448 2834 0 112968 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 523052 KiB
Current children cumulated memory: 448564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.91 s]
# the end of solver process 119715 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.72 s, system=8.35297 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.14 4.11 4.09 5/251 119910
/proc/meminfo: memFree=127034700/131382112 swapFree=33002444/33010684
[pid=119715] ppid=119709 vsize=523052 memory=448564 CPUtime=3600.04 cores=4,6
/proc/119715/stat : 119715 (mixed-bag) R 119709 119715 119659 0 -1 4194304 91849 0 4 0 359170 834 0 0 20 0 1 0 141318267 535605248 112141 18446744073709551615 4235264 15840557 140726781700464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42700800 140726781704602 140726781704679 140726781704679 140726781710283 0
/proc/119715/statm: 130763 112141 4448 2834 0 112968 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 523052 KiB
Current children cumulated memory: 448564 KiB
Child status: 0
Real time (s): 3610.91
CPU time (s): 3600.07
CPU user time (s): 3591.72
CPU system time (s): 8.35297
CPU usage (%): 99.6998
Max. virtual memory (cumulated for all children) (KiB): 523052
Max. memory (cumulated for all children) (KiB): 448564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.72
system time used= 8.35297
maximum resident set size= 449076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91881
page faults= 4
swaps= 0
block input operations= 408
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 234
involuntary context switches= 19139
# summary of solver processes directly reported to runsolver:
# pid: 119715
# total CPU time (s): 3600.07
# total CPU user time (s): 3591.72
# total CPU system time (s): 8.35297
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5564 second user time and 36.0208 second system time
The end
Begin job on nodeC005 at 2025-07-11 19:53:09
IDJOB=4528927
IDBENCH=147525
IDSOLVER=3386
FILE ID=nodeC005/4528927-1752256389
RUNJOBID= nodeC005-1752256388-119670
SLURM_JOB_ID= 9682598
Free space on /tmp= 428616 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528927-1752256389/watcher-4528927-1752256389 -o /tmp/evaluation-result-4528927-1752256389/solver-4528927-1752256389 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752256388-119670 --watchdog 3760 mixed-bag HOME/instance-4528927-1752256389.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 865c9eee5cef9cdfeb385b5316eb6b14
RANDOM SEED=1616531476
nodeC005 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 : 0xb00001f
cpu MHz : 1197.235
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.646
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.242
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.165
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.224
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.233
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129076532 kB
MemAvailable: 129949092 kB
Buffers: 12 kB
Cached: 1656964 kB
SwapCached: 244 kB
Active: 338752 kB
Inactive: 1383296 kB
Active(anon): 38256 kB
Inactive(anon): 39708 kB
Active(file): 300496 kB
Inactive(file): 1343588 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33002444 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 61236 kB
Writeback: 0 kB
AnonPages: 68188 kB
Mapped: 100840 kB
Shmem: 12892 kB
KReclaimable: 136208 kB
Slab: 225184 kB
SReclaimable: 136208 kB
SUnreclaim: 88976 kB
KernelStack: 3832 kB
PageTables: 2724 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 341068 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 428552 MiB
End job on nodeC005 at 2025-07-11 20:53:20