0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.02 c [STEP] preprocessing with Papilo
0.00/0.03 c [STEP] solving with SCIP
299.27/300.15 c [STEP] preprocessing done, loading into solver
299.27/300.15 c [STEP] solving
299.27/300.15 c #variables 1654 #constraints 3240
299.27/300.15 c SMALL=int, LARGE=long long
299.27/300.15 d SCIPUB 882
299.27/300.15 c bounds - >= 0 @ 299.189
299.27/300.15 c stratification level: 0
299.36/300.20 c bounds - >= 674 @ 299.195
299.36/300.20 c bounds - >= 675 @ 299.196
299.36/300.20 c bounds - >= 676 @ 299.196
299.36/300.20 c bounds - >= 677 @ 299.197
299.36/300.20 c bounds - >= 678 @ 299.197
299.36/300.20 c bounds - >= 679 @ 299.197
299.36/300.20 c bounds - >= 680 @ 299.197
299.36/300.20 c bounds - >= 681 @ 299.197
299.36/300.20 c bounds - >= 682 @ 299.198
299.36/300.20 c bounds - >= 683 @ 299.198
299.36/300.20 c bounds - >= 684 @ 299.198
299.36/300.20 c bounds - >= 685 @ 299.198
299.36/300.20 c bounds - >= 686 @ 299.199
299.36/300.20 c bounds - >= 687 @ 299.199
299.36/300.20 c bounds - >= 688 @ 299.199
299.36/300.20 c bounds - >= 689 @ 299.199
299.36/300.20 c bounds - >= 690 @ 299.199
299.36/300.20 c bounds - >= 691 @ 299.2
299.36/300.20 c bounds - >= 692 @ 299.2
299.36/300.20 c bounds - >= 693 @ 299.2
299.36/300.20 c bounds - >= 694 @ 299.2
299.36/300.20 c bounds - >= 695 @ 299.201
299.36/300.20 c bounds - >= 696 @ 299.201
299.36/300.20 c bounds - >= 697 @ 299.201
299.36/300.20 c bounds - >= 698 @ 299.201
299.36/300.20 c bounds - >= 699 @ 299.201
299.36/300.20 c bounds - >= 700 @ 299.202
299.36/300.20 c bounds - >= 701 @ 299.202
299.36/300.20 c bounds - >= 702 @ 299.202
299.36/300.20 c bounds - >= 703 @ 299.202
299.36/300.20 c bounds - >= 704 @ 299.203
299.36/300.20 c bounds - >= 705 @ 299.203
299.36/300.20 c bounds - >= 706 @ 299.203
299.36/300.20 c bounds - >= 707 @ 299.203
299.36/300.20 c bounds - >= 708 @ 299.204
299.36/300.20 c bounds - >= 709 @ 299.204
299.36/300.20 c bounds - >= 710 @ 299.204
299.36/300.20 c bounds - >= 711 @ 299.204
299.36/300.20 c bounds - >= 712 @ 299.204
299.36/300.20 c bounds - >= 713 @ 299.205
299.36/300.20 c bounds - >= 714 @ 299.205
299.36/300.20 c bounds - >= 715 @ 299.205
299.36/300.20 c bounds - >= 716 @ 299.205
299.36/300.20 c bounds - >= 717 @ 299.205
299.36/300.20 c bounds - >= 718 @ 299.205
299.36/300.20 c bounds - >= 719 @ 299.205
299.36/300.20 c bounds - >= 720 @ 299.205
299.36/300.20 c bounds - >= 721 @ 299.206
299.36/300.20 c bounds - >= 722 @ 299.206
299.36/300.20 c bounds - >= 723 @ 299.206
299.36/300.20 c bounds - >= 724 @ 299.206
299.36/300.20 c bounds - >= 725 @ 299.207
299.36/300.20 c bounds - >= 726 @ 299.207
299.36/300.20 c bounds - >= 727 @ 299.207
299.36/300.20 c bounds - >= 728 @ 299.207
299.36/300.20 c bounds - >= 729 @ 299.207
299.36/300.20 c bounds - >= 730 @ 299.207
299.36/300.20 c bounds - >= 731 @ 299.207
299.36/300.20 c bounds - >= 732 @ 299.207
299.36/300.20 c bounds - >= 733 @ 299.207
299.36/300.20 c bounds - >= 734 @ 299.208
299.36/300.20 c bounds - >= 735 @ 299.208
299.36/300.20 c bounds - >= 736 @ 299.208
299.36/300.20 c bounds - >= 737 @ 299.208
299.36/300.20 c bounds - >= 738 @ 299.209
299.36/300.20 c bounds - >= 739 @ 299.209
299.36/300.20 c bounds - >= 740 @ 299.209
299.36/300.20 c bounds - >= 741 @ 299.209
299.36/300.20 c bounds - >= 742 @ 299.21
299.36/300.20 c bounds - >= 743 @ 299.21
299.36/300.20 c bounds - >= 744 @ 299.21
299.36/300.20 c bounds - >= 745 @ 299.21
299.36/300.20 c bounds - >= 746 @ 299.211
299.36/300.20 c bounds - >= 747 @ 299.211
299.36/300.20 c bounds - >= 748 @ 299.211
299.36/300.20 c bounds - >= 749 @ 299.211
299.36/300.20 c bounds - >= 750 @ 299.212
299.36/300.20 c bounds - >= 751 @ 299.212
299.36/300.20 c bounds - >= 752 @ 299.212
299.36/300.20 c bounds - >= 753 @ 299.212
299.36/300.20 c bounds - >= 754 @ 299.213
299.36/300.20 c bounds - >= 755 @ 299.213
299.36/300.20 c bounds - >= 756 @ 299.213
299.36/300.20 c bounds - >= 757 @ 299.213
299.36/300.20 c bounds - >= 758 @ 299.214
299.36/300.20 c bounds - >= 759 @ 299.214
299.36/300.20 c bounds - >= 760 @ 299.214
299.36/300.20 c bounds - >= 761 @ 299.214
299.36/300.20 c bounds - >= 762 @ 299.215
299.36/300.20 c bounds - >= 763 @ 299.215
299.36/300.20 c bounds - >= 764 @ 299.215
299.36/300.20 c bounds - >= 765 @ 299.215
299.36/300.20 c bounds - >= 766 @ 299.216
299.36/300.20 c bounds - >= 767 @ 299.216
299.36/300.20 c bounds - >= 768 @ 299.216
299.36/300.20 c bounds - >= 769 @ 299.216
299.36/300.20 c bounds - >= 770 @ 299.217
299.36/300.20 c bounds - >= 771 @ 299.217
299.36/300.20 c bounds - >= 772 @ 299.217
299.36/300.20 c bounds - >= 773 @ 299.217
299.36/300.20 c bounds - >= 774 @ 299.218
299.36/300.20 c bounds - >= 775 @ 299.218
299.36/300.20 c bounds - >= 776 @ 299.218
299.36/300.20 c bounds - >= 777 @ 299.218
299.36/300.20 c bounds - >= 778 @ 299.219
299.36/300.20 c bounds - >= 779 @ 299.219
299.36/300.20 c bounds - >= 780 @ 299.219
299.36/300.20 c bounds - >= 781 @ 299.219
299.36/300.20 c bounds - >= 782 @ 299.22
299.36/300.20 c bounds - >= 783 @ 299.22
299.36/300.20 c bounds - >= 784 @ 299.22
299.36/300.20 c bounds - >= 785 @ 299.22
299.36/300.20 c bounds - >= 786 @ 299.221
299.36/300.20 c bounds - >= 787 @ 299.221
299.36/300.20 c bounds - >= 788 @ 299.221
299.36/300.20 c bounds - >= 789 @ 299.221
299.36/300.20 c bounds - >= 790 @ 299.222
299.36/300.20 c bounds - >= 791 @ 299.222
299.36/300.20 c bounds - >= 792 @ 299.222
299.36/300.20 c bounds - >= 793 @ 299.222
299.36/300.20 c bounds - >= 794 @ 299.222
299.36/300.20 c bounds - >= 795 @ 299.222
299.36/300.20 c bounds - >= 796 @ 299.222
299.36/300.20 c bounds - >= 797 @ 299.223
299.36/300.20 c bounds - >= 798 @ 299.223
299.36/300.20 c bounds - >= 799 @ 299.223
299.36/300.20 c bounds - >= 800 @ 299.223
299.36/300.20 c bounds - >= 801 @ 299.223
299.36/300.20 c bounds - >= 802 @ 299.223
299.36/300.20 c bounds - >= 803 @ 299.223
299.36/300.20 c bounds - >= 804 @ 299.223
299.36/300.20 c bounds - >= 805 @ 299.223
299.36/300.20 c bounds - >= 806 @ 299.223
299.36/300.20 c bounds - >= 807 @ 299.223
299.36/300.20 c bounds - >= 808 @ 299.223
299.36/300.20 c bounds - >= 809 @ 299.223
299.36/300.20 c bounds - >= 810 @ 299.223
299.36/300.20 c bounds - >= 811 @ 299.223
299.36/300.20 c bounds - >= 812 @ 299.224
299.36/300.20 c bounds - >= 813 @ 299.224
299.36/300.20 c bounds - >= 814 @ 299.224
299.36/300.20 c bounds - >= 815 @ 299.224
299.36/300.20 c bounds - >= 816 @ 299.224
299.36/300.20 c bounds - >= 817 @ 299.224
299.36/300.20 c bounds - >= 818 @ 299.225
299.36/300.20 c bounds - >= 819 @ 299.225
299.36/300.20 c bounds - >= 820 @ 299.226
347.92/348.91 c bounds - >= 821 @ 299.226
347.92/348.91 c bounds - >= 822 @ 299.227
347.92/348.91 c #Conflicts: 1000 | #Constraints: 5209
347.92/348.91 c #Conflicts: 2000 | #Constraints: 6209
347.92/348.91 c INPROCESSING
347.92/348.91 c GARBAGE COLLECT
347.92/348.91 c #Conflicts: 3000 | #Constraints: 6046
347.92/348.91 c #Conflicts: 4000 | #Constraints: 7046
347.92/348.91 c INPROCESSING
347.92/348.91 c GARBAGE COLLECT
347.92/348.91 c #Conflicts: 5000 | #Constraints: 6433
347.92/348.91 c #Conflicts: 6000 | #Constraints: 7433
347.92/348.91 c INPROCESSING
347.92/348.91 c GARBAGE COLLECT
347.92/348.91 c #Conflicts: 7000 | #Constraints: 6441
347.92/348.91 c #Conflicts: 8000 | #Constraints: 7441
347.92/348.91 c #Conflicts: 9000 | #Constraints: 8441
347.92/348.91 c INPROCESSING
347.92/348.91 c GARBAGE COLLECT
347.92/348.91 c #Conflicts: 10000 | #Constraints: 7115
347.92/348.91 c #Conflicts: 11000 | #Constraints: 8115
347.92/348.91 c #Conflicts: 12000 | #Constraints: 9115
347.92/348.91 c INPROCESSING
347.92/348.91 c GARBAGE COLLECT
347.92/348.91 c #Conflicts: 13000 | #Constraints: 7552
347.92/348.91 c #Conflicts: 14000 | #Constraints: 8552
347.92/348.91 c #Conflicts: 15000 | #Constraints: 9552
347.92/348.91 c INPROCESSING
347.92/348.91 c GARBAGE COLLECT
347.92/348.91 c #Conflicts: 16000 | #Constraints: 7773
347.92/348.91 c #Conflicts: 17000 | #Constraints: 8773
347.92/348.91 c #Conflicts: 18000 | #Constraints: 9773
347.92/348.91 c INPROCESSING
347.92/348.91 c GARBAGE COLLECT
347.92/348.91 c #Conflicts: 19000 | #Constraints: 7818
347.92/348.91 c #Conflicts: 20000 | #Constraints: 8818
347.92/348.91 c #Conflicts: 21000 | #Constraints: 9818
347.92/348.91 c INPROCESSING
347.92/348.91 c GARBAGE COLLECT
347.92/348.91 c #Conflicts: 22000 | #Constraints: 7627
347.92/348.91 c #Conflicts: 23000 | #Constraints: 8627
347.92/348.91 c #Conflicts: 24000 | #Constraints: 9627
347.92/348.91 c #Conflicts: 25000 | #Constraints: 10627
347.92/348.91 c INPROCESSING
347.92/348.91 c GARBAGE COLLECT
347.92/348.91 c #Conflicts: 26000 | #Constraints: 8212
347.92/348.91 c #Conflicts: 27000 | #Constraints: 9212
347.92/348.91 c #Conflicts: 28000 | #Constraints: 10212
347.92/348.91 c #Conflicts: 29000 | #Constraints: 11212
347.92/348.91 c INPROCESSING
347.92/348.91 c GARBAGE COLLECT
347.92/348.91 c #Conflicts: 30000 | #Constraints: 8601
347.92/348.91 c #Conflicts: 31000 | #Constraints: 9601
347.92/348.91 c #Conflicts: 32000 | #Constraints: 10601
347.92/348.91 c #Conflicts: 33000 | #Constraints: 11601
347.92/348.91 c INPROCESSING
347.92/348.91 c GARBAGE COLLECT
347.92/348.91 c #Conflicts: 34000 | #Constraints: 8805
347.92/348.91 c #Conflicts: 35000 | #Constraints: 9805
347.92/348.91 c #Conflicts: 36000 | #Constraints: 10805
347.92/348.91 c #Conflicts: 37000 | #Constraints: 11805
347.92/348.91 c INPROCESSING
347.92/348.91 c GARBAGE COLLECT
347.92/348.91 c #Conflicts: 38000 | #Constraints: 8797
347.92/348.91 c #Conflicts: 39000 | #Constraints: 9797
347.92/348.91 c #Conflicts: 40000 | #Constraints: 10797
347.92/348.91 c #Conflicts: 41000 | #Constraints: 11797
347.92/348.91 c INPROCESSING
347.92/348.91 c GARBAGE COLLECT
347.92/348.91 c #Conflicts: 42000 | #Constraints: 8597
347.92/348.91 c #Conflicts: 43000 | #Constraints: 9597
347.92/348.91 c #Conflicts: 44000 | #Constraints: 10597
347.92/348.91 c #Conflicts: 45000 | #Constraints: 11597
347.92/348.91 c #Conflicts: 46000 | #Constraints: 12597
347.92/348.91 c INPROCESSING
347.92/348.91 c GARBAGE COLLECT
347.92/348.91 c #Conflicts: 47000 | #Constraints: 9211
347.92/348.91 c #Conflicts: 48000 | #Constraints: 10211
347.92/348.91 c #Conflicts: 49000 | #Constraints: 11211
347.92/348.91 c #Conflicts: 50000 | #Constraints: 12211
347.92/348.91 c #Conflicts: 51000 | #Constraints: 13211
347.92/348.91 c INPROCESSING
347.92/348.91 c GARBAGE COLLECT
347.92/348.91 c #Conflicts: 52000 | #Constraints: 9612
347.92/348.91 c #Conflicts: 53000 | #Constraints: 10612
347.92/348.91 c #Conflicts: 54000 | #Constraints: 11612
347.92/348.91 c #Conflicts: 55000 | #Constraints: 12612
347.92/348.91 c #Conflicts: 56000 | #Constraints: 13612
347.92/348.91 c INPROCESSING
347.92/348.91 c GARBAGE COLLECT
347.92/348.91 c #Conflicts: 57000 | #Constraints: 9808
347.92/348.91 c #Conflicts: 58000 | #Constraints: 10808
347.92/348.91 c #Conflicts: 59000 | #Constraints: 11808
347.92/348.91 c #Conflicts: 60000 | #Constraints: 12808
347.92/348.91 c #Conflicts: 61000 | #Constraints: 13808
347.92/348.91 c INPROCESSING
347.92/348.91 c GARBAGE COLLECT
347.92/348.91 c #Conflicts: 62000 | #Constraints: 9806
347.92/348.91 c #Conflicts: 63000 | #Constraints: 10806
347.92/348.91 c #Conflicts: 64000 | #Constraints: 11806
347.92/348.91 c #Conflicts: 65000 | #Constraints: 12806
347.92/348.91 c #Conflicts: 66000 | #Constraints: 13806
347.92/348.91 c INPROCESSING
347.92/348.91 c GARBAGE COLLECT
347.92/348.91 c #Conflicts: 67000 | #Constraints: 9607
459.11/460.40 c #Conflicts: 68000 | #Constraints: 10607
459.11/460.40 c #Conflicts: 69000 | #Constraints: 11607
459.11/460.40 c #Conflicts: 70000 | #Constraints: 12607
459.11/460.40 c #Conflicts: 71000 | #Constraints: 13607
459.11/460.40 c #Conflicts: 72000 | #Constraints: 14607
459.11/460.40 c INPROCESSING
459.11/460.40 c GARBAGE COLLECT
459.11/460.40 c #Conflicts: 73000 | #Constraints: 10211
459.11/460.40 c #Conflicts: 74000 | #Constraints: 11211
459.11/460.40 c #Conflicts: 75000 | #Constraints: 12211
459.11/460.40 c #Conflicts: 76000 | #Constraints: 13211
459.11/460.40 c #Conflicts: 77000 | #Constraints: 14211
459.11/460.40 c #Conflicts: 78000 | #Constraints: 15211
459.11/460.40 c INPROCESSING
459.11/460.40 c GARBAGE COLLECT
459.11/460.40 c #Conflicts: 79000 | #Constraints: 10604
459.11/460.40 c #Conflicts: 80000 | #Constraints: 11604
459.11/460.40 c #Conflicts: 81000 | #Constraints: 12604
459.11/460.40 c #Conflicts: 82000 | #Constraints: 13604
459.11/460.40 c #Conflicts: 83000 | #Constraints: 14604
459.11/460.40 c #Conflicts: 84000 | #Constraints: 15604
459.11/460.40 c INPROCESSING
459.11/460.40 c GARBAGE COLLECT
459.11/460.40 c #Conflicts: 85000 | #Constraints: 10806
459.11/460.40 c #Conflicts: 86000 | #Constraints: 11806
459.11/460.40 c #Conflicts: 87000 | #Constraints: 12806
459.11/460.40 c #Conflicts: 88000 | #Constraints: 13806
459.11/460.40 c #Conflicts: 89000 | #Constraints: 14806
459.11/460.40 c #Conflicts: 90000 | #Constraints: 15806
459.11/460.40 c INPROCESSING
459.11/460.40 c GARBAGE COLLECT
459.11/460.40 c #Conflicts: 91000 | #Constraints: 10807
459.11/460.40 c #Conflicts: 92000 | #Constraints: 11807
459.11/460.40 c #Conflicts: 93000 | #Constraints: 12807
459.11/460.40 c #Conflicts: 94000 | #Constraints: 13807
459.11/460.40 c #Conflicts: 95000 | #Constraints: 14807
459.11/460.40 c #Conflicts: 96000 | #Constraints: 15807
459.11/460.40 c INPROCESSING
459.11/460.40 c GARBAGE COLLECT
459.11/460.40 c #Conflicts: 97000 | #Constraints: 10604
459.11/460.40 c #Conflicts: 98000 | #Constraints: 11604
459.11/460.40 c #Conflicts: 99000 | #Constraints: 12604
459.11/460.40 c #Conflicts: 100000 | #Constraints: 13604
459.11/460.40 c #Conflicts: 101000 | #Constraints: 14604
459.11/460.40 c #Conflicts: 102000 | #Constraints: 15604
459.11/460.40 c #Conflicts: 103000 | #Constraints: 16604
459.11/460.40 c INPROCESSING
459.11/460.40 c GARBAGE COLLECT
459.11/460.40 c #Conflicts: 104000 | #Constraints: 11207
459.11/460.40 c #Conflicts: 105000 | #Constraints: 12207
459.11/460.40 c #Conflicts: 106000 | #Constraints: 13207
459.11/460.40 c #Conflicts: 107000 | #Constraints: 14207
459.11/460.40 c #Conflicts: 108000 | #Constraints: 15207
459.11/460.40 c #Conflicts: 109000 | #Constraints: 16207
459.11/460.40 c #Conflicts: 110000 | #Constraints: 17207
459.11/460.40 c INPROCESSING
459.11/460.40 c GARBAGE COLLECT
459.11/460.40 c #Conflicts: 111000 | #Constraints: 11611
459.11/460.40 c #Conflicts: 112000 | #Constraints: 12611
459.11/460.40 c #Conflicts: 113000 | #Constraints: 13611
459.11/460.40 c #Conflicts: 114000 | #Constraints: 14611
459.11/460.40 c #Conflicts: 115000 | #Constraints: 15611
459.11/460.40 c #Conflicts: 116000 | #Constraints: 16611
459.11/460.40 c #Conflicts: 117000 | #Constraints: 17611
459.11/460.40 c INPROCESSING
459.11/460.40 c GARBAGE COLLECT
459.11/460.40 c #Conflicts: 118000 | #Constraints: 11813
459.11/460.40 c #Conflicts: 119000 | #Constraints: 12813
459.11/460.40 c #Conflicts: 120000 | #Constraints: 13813
459.11/460.40 c #Conflicts: 121000 | #Constraints: 14813
459.11/460.40 c #Conflicts: 122000 | #Constraints: 15813
459.11/460.40 c #Conflicts: 123000 | #Constraints: 16813
459.11/460.40 c #Conflicts: 124000 | #Constraints: 17813
459.11/460.40 c INPROCESSING
459.11/460.40 c GARBAGE COLLECT
459.11/460.40 c #Conflicts: 125000 | #Constraints: 11815
459.11/460.40 c #Conflicts: 126000 | #Constraints: 12815
459.11/460.40 c #Conflicts: 127000 | #Constraints: 13815
459.11/460.40 c #Conflicts: 128000 | #Constraints: 14815
459.11/460.40 c #Conflicts: 129000 | #Constraints: 15815
459.11/460.40 c #Conflicts: 130000 | #Constraints: 16815
459.11/460.40 c #Conflicts: 131000 | #Constraints: 17815
459.11/460.40 c INPROCESSING
459.11/460.40 c GARBAGE COLLECT
459.11/460.40 c #Conflicts: 132000 | #Constraints: 11612
459.11/460.40 c #Conflicts: 133000 | #Constraints: 12612
459.11/460.40 c #Conflicts: 134000 | #Constraints: 13612
459.11/460.40 c #Conflicts: 135000 | #Constraints: 14612
459.11/460.40 c #Conflicts: 136000 | #Constraints: 15612
459.11/460.40 c #Conflicts: 137000 | #Constraints: 16612
459.11/460.40 c #Conflicts: 138000 | #Constraints: 17612
459.11/460.40 c #Conflicts: 139000 | #Constraints: 18612
581.02/582.70 c INPROCESSING
581.02/582.70 c GARBAGE COLLECT
581.02/582.70 c #Conflicts: 140000 | #Constraints: 12205
581.02/582.70 c #Conflicts: 141000 | #Constraints: 13205
581.02/582.70 c #Conflicts: 142000 | #Constraints: 14205
581.02/582.70 c #Conflicts: 143000 | #Constraints: 15205
581.02/582.70 c #Conflicts: 144000 | #Constraints: 16205
581.02/582.70 c #Conflicts: 145000 | #Constraints: 17205
581.02/582.70 c #Conflicts: 146000 | #Constraints: 18205
581.02/582.70 c #Conflicts: 147000 | #Constraints: 19205
581.02/582.70 c INPROCESSING
581.02/582.70 c GARBAGE COLLECT
581.02/582.70 c #Conflicts: 148000 | #Constraints: 12608
581.02/582.70 c #Conflicts: 149000 | #Constraints: 13608
581.02/582.70 c #Conflicts: 150000 | #Constraints: 14608
581.02/582.70 c #Conflicts: 151000 | #Constraints: 15608
581.02/582.70 c #Conflicts: 152000 | #Constraints: 16608
581.02/582.70 c #Conflicts: 153000 | #Constraints: 17608
581.02/582.70 c #Conflicts: 154000 | #Constraints: 18608
581.02/582.70 c #Conflicts: 155000 | #Constraints: 19608
581.02/582.70 c INPROCESSING
581.02/582.70 c GARBAGE COLLECT
581.02/582.70 c #Conflicts: 156000 | #Constraints: 12810
581.02/582.70 c #Conflicts: 157000 | #Constraints: 13810
581.02/582.70 c #Conflicts: 158000 | #Constraints: 14810
581.02/582.70 c #Conflicts: 159000 | #Constraints: 15810
581.02/582.70 c #Conflicts: 160000 | #Constraints: 16810
581.02/582.70 c #Conflicts: 161000 | #Constraints: 17810
581.02/582.70 c #Conflicts: 162000 | #Constraints: 18810
581.02/582.70 c #Conflicts: 163000 | #Constraints: 19810
581.02/582.70 c INPROCESSING
581.02/582.70 c GARBAGE COLLECT
581.02/582.70 c #Conflicts: 164000 | #Constraints: 12813
581.02/582.70 c #Conflicts: 165000 | #Constraints: 13813
581.02/582.70 c #Conflicts: 166000 | #Constraints: 14813
581.02/582.70 c #Conflicts: 167000 | #Constraints: 15813
581.02/582.70 c #Conflicts: 168000 | #Constraints: 16813
581.02/582.70 c #Conflicts: 169000 | #Constraints: 17813
581.02/582.70 c #Conflicts: 170000 | #Constraints: 18813
581.02/582.70 c #Conflicts: 171000 | #Constraints: 19813
581.02/582.70 c INPROCESSING
581.02/582.70 c GARBAGE COLLECT
581.02/582.70 c #Conflicts: 172000 | #Constraints: 12616
581.02/582.70 c #Conflicts: 173000 | #Constraints: 13616
581.02/582.70 c #Conflicts: 174000 | #Constraints: 14616
581.02/582.70 c #Conflicts: 175000 | #Constraints: 15616
581.02/582.70 c #Conflicts: 176000 | #Constraints: 16616
581.02/582.70 c #Conflicts: 177000 | #Constraints: 17616
581.02/582.70 c #Conflicts: 178000 | #Constraints: 18616
581.02/582.70 c #Conflicts: 179000 | #Constraints: 19616
581.02/582.70 c #Conflicts: 180000 | #Constraints: 20616
581.02/582.70 c INPROCESSING
581.02/582.70 c GARBAGE COLLECT
581.02/582.70 c #Conflicts: 181000 | #Constraints: 13218
581.02/582.70 c #Conflicts: 182000 | #Constraints: 14218
581.02/582.70 c #Conflicts: 183000 | #Constraints: 15218
581.02/582.70 c #Conflicts: 184000 | #Constraints: 16218
581.02/582.70 c #Conflicts: 185000 | #Constraints: 17218
581.02/582.70 c #Conflicts: 186000 | #Constraints: 18218
581.02/582.70 c #Conflicts: 187000 | #Constraints: 19218
581.02/582.70 c #Conflicts: 188000 | #Constraints: 20218
581.02/582.70 c #Conflicts: 189000 | #Constraints: 21218
581.02/582.70 c INPROCESSING
581.02/582.70 c GARBAGE COLLECT
581.02/582.70 c #Conflicts: 190000 | #Constraints: 13616
581.02/582.70 c #Conflicts: 191000 | #Constraints: 14616
581.02/582.70 c #Conflicts: 192000 | #Constraints: 15616
581.02/582.70 c #Conflicts: 193000 | #Constraints: 16616
581.02/582.70 c #Conflicts: 194000 | #Constraints: 17616
581.02/582.70 c #Conflicts: 195000 | #Constraints: 18616
581.02/582.70 c #Conflicts: 196000 | #Constraints: 19616
581.02/582.70 c #Conflicts: 197000 | #Constraints: 20616
581.02/582.70 c #Conflicts: 198000 | #Constraints: 21616
581.02/582.70 c INPROCESSING
581.02/582.70 c GARBAGE COLLECT
581.02/582.70 c #Conflicts: 199000 | #Constraints: 13820
581.02/582.70 c #Conflicts: 200000 | #Constraints: 14820
581.02/582.70 c #Conflicts: 201000 | #Constraints: 15820
581.02/582.70 c #Conflicts: 202000 | #Constraints: 16820
581.02/582.70 c #Conflicts: 203000 | #Constraints: 17820
581.02/582.70 c #Conflicts: 204000 | #Constraints: 18820
581.02/582.70 c #Conflicts: 205000 | #Constraints: 19820
581.02/582.70 c #Conflicts: 206000 | #Constraints: 20820
581.02/582.70 c #Conflicts: 207000 | #Constraints: 21820
581.02/582.70 c INPROCESSING
581.02/582.70 c GARBAGE COLLECT
581.02/582.70 c #Conflicts: 208000 | #Constraints: 13819
581.02/582.70 c #Conflicts: 209000 | #Constraints: 14819
581.02/582.70 c #Conflicts: 210000 | #Constraints: 15819
581.02/582.70 c #Conflicts: 211000 | #Constraints: 16819
581.02/582.70 c #Conflicts: 212000 | #Constraints: 17819
758.44/760.77 c #Conflicts: 213000 | #Constraints: 18819
758.44/760.77 c #Conflicts: 214000 | #Constraints: 19819
758.44/760.77 c #Conflicts: 215000 | #Constraints: 20819
758.44/760.77 c #Conflicts: 216000 | #Constraints: 21819
758.44/760.77 c INPROCESSING
758.44/760.77 c GARBAGE COLLECT
758.44/760.77 c #Conflicts: 217000 | #Constraints: 13622
758.44/760.77 c #Conflicts: 218000 | #Constraints: 14622
758.44/760.77 c #Conflicts: 219000 | #Constraints: 15622
758.44/760.77 c #Conflicts: 220000 | #Constraints: 16622
758.44/760.77 c #Conflicts: 221000 | #Constraints: 17622
758.44/760.77 c #Conflicts: 222000 | #Constraints: 18622
758.44/760.77 c #Conflicts: 223000 | #Constraints: 19622
758.44/760.77 c #Conflicts: 224000 | #Constraints: 20622
758.44/760.77 c #Conflicts: 225000 | #Constraints: 21622
758.44/760.77 c #Conflicts: 226000 | #Constraints: 22622
758.44/760.77 c INPROCESSING
758.44/760.77 c GARBAGE COLLECT
758.44/760.77 c #Conflicts: 227000 | #Constraints: 14220
758.44/760.77 c #Conflicts: 228000 | #Constraints: 15220
758.44/760.77 c #Conflicts: 229000 | #Constraints: 16220
758.44/760.77 c #Conflicts: 230000 | #Constraints: 17220
758.44/760.77 c #Conflicts: 231000 | #Constraints: 18220
758.44/760.77 c #Conflicts: 232000 | #Constraints: 19220
758.44/760.77 c #Conflicts: 233000 | #Constraints: 20220
758.44/760.77 c #Conflicts: 234000 | #Constraints: 21220
758.44/760.77 c #Conflicts: 235000 | #Constraints: 22220
758.44/760.77 c #Conflicts: 236000 | #Constraints: 23220
758.44/760.77 c INPROCESSING
758.44/760.77 c GARBAGE COLLECT
758.44/760.77 c #Conflicts: 237000 | #Constraints: 14617
758.44/760.77 c #Conflicts: 238000 | #Constraints: 15617
758.44/760.77 c #Conflicts: 239000 | #Constraints: 16617
758.44/760.77 c #Conflicts: 240000 | #Constraints: 17617
758.44/760.77 c #Conflicts: 241000 | #Constraints: 18617
758.44/760.77 c #Conflicts: 242000 | #Constraints: 19617
758.44/760.77 c #Conflicts: 243000 | #Constraints: 20617
758.44/760.77 c #Conflicts: 244000 | #Constraints: 21617
758.44/760.77 c #Conflicts: 245000 | #Constraints: 22617
758.44/760.77 c #Conflicts: 246000 | #Constraints: 23617
758.44/760.77 c INPROCESSING
758.44/760.77 c GARBAGE COLLECT
758.44/760.77 c #Conflicts: 247000 | #Constraints: 14827
758.44/760.77 c #Conflicts: 248000 | #Constraints: 15827
758.44/760.77 c #Conflicts: 249000 | #Constraints: 16827
758.44/760.77 c #Conflicts: 250000 | #Constraints: 17827
758.44/760.77 c #Conflicts: 251000 | #Constraints: 18827
758.44/760.77 c #Conflicts: 252000 | #Constraints: 19827
758.44/760.77 c #Conflicts: 253000 | #Constraints: 20827
758.44/760.77 c #Conflicts: 254000 | #Constraints: 21827
758.44/760.77 c #Conflicts: 255000 | #Constraints: 22827
758.44/760.77 c #Conflicts: 256000 | #Constraints: 23827
758.44/760.77 c INPROCESSING
758.44/760.77 c GARBAGE COLLECT
758.44/760.77 c #Conflicts: 257000 | #Constraints: 14811
758.44/760.77 c #Conflicts: 258000 | #Constraints: 15811
758.44/760.77 c #Conflicts: 259000 | #Constraints: 16811
758.44/760.77 c #Conflicts: 260000 | #Constraints: 17811
758.44/760.77 c #Conflicts: 261000 | #Constraints: 18811
758.44/760.77 c #Conflicts: 262000 | #Constraints: 19811
758.44/760.77 c #Conflicts: 263000 | #Constraints: 20811
758.44/760.77 c #Conflicts: 264000 | #Constraints: 21811
758.44/760.77 c #Conflicts: 265000 | #Constraints: 22811
758.44/760.77 c #Conflicts: 266000 | #Constraints: 23811
758.44/760.77 c INPROCESSING
758.44/760.77 c GARBAGE COLLECT
758.44/760.77 c #Conflicts: 267000 | #Constraints: 14609
758.44/760.77 c #Conflicts: 268000 | #Constraints: 15609
758.44/760.77 c #Conflicts: 269000 | #Constraints: 16609
758.44/760.77 c #Conflicts: 270000 | #Constraints: 17609
758.44/760.77 c #Conflicts: 271000 | #Constraints: 18609
758.44/760.77 c #Conflicts: 272000 | #Constraints: 19609
758.44/760.77 c #Conflicts: 273000 | #Constraints: 20609
758.44/760.77 c #Conflicts: 274000 | #Constraints: 21609
758.44/760.77 c #Conflicts: 275000 | #Constraints: 22609
758.44/760.77 c #Conflicts: 276000 | #Constraints: 23609
758.44/760.77 c #Conflicts: 277000 | #Constraints: 24609
758.44/760.77 c INPROCESSING
758.44/760.77 c GARBAGE COLLECT
758.44/760.77 c #Conflicts: 278000 | #Constraints: 15201
758.44/760.77 c #Conflicts: 279000 | #Constraints: 16201
758.44/760.77 c #Conflicts: 280000 | #Constraints: 17201
758.44/760.77 c #Conflicts: 281000 | #Constraints: 18201
758.44/760.77 c #Conflicts: 282000 | #Constraints: 19201
758.44/760.77 c #Conflicts: 283000 | #Constraints: 20201
758.44/760.77 c #Conflicts: 284000 | #Constraints: 21201
758.44/760.77 c #Conflicts: 285000 | #Constraints: 22201
758.44/760.77 c #Conflicts: 286000 | #Constraints: 23201
936.46/939.39 c #Conflicts: 287000 | #Constraints: 24201
936.46/939.39 c #Conflicts: 288000 | #Constraints: 25201
936.46/939.39 c INPROCESSING
936.46/939.39 c GARBAGE COLLECT
936.46/939.39 c #Conflicts: 289000 | #Constraints: 15609
936.46/939.39 c #Conflicts: 290000 | #Constraints: 16609
936.46/939.39 c #Conflicts: 291000 | #Constraints: 17609
936.46/939.39 c #Conflicts: 292000 | #Constraints: 18609
936.46/939.39 c #Conflicts: 293000 | #Constraints: 19609
936.46/939.39 c #Conflicts: 294000 | #Constraints: 20609
936.46/939.39 c #Conflicts: 295000 | #Constraints: 21609
936.46/939.39 c #Conflicts: 296000 | #Constraints: 22609
936.46/939.39 c #Conflicts: 297000 | #Constraints: 23609
936.46/939.39 c #Conflicts: 298000 | #Constraints: 24609
936.46/939.39 c #Conflicts: 299000 | #Constraints: 25609
936.46/939.39 c INPROCESSING
936.46/939.39 c GARBAGE COLLECT
936.46/939.39 c #Conflicts: 300000 | #Constraints: 15805
936.46/939.39 c #Conflicts: 301000 | #Constraints: 16805
936.46/939.39 c #Conflicts: 302000 | #Constraints: 17805
936.46/939.39 c #Conflicts: 303000 | #Constraints: 18805
936.46/939.39 c #Conflicts: 304000 | #Constraints: 19805
936.46/939.39 c #Conflicts: 305000 | #Constraints: 20805
936.46/939.39 c #Conflicts: 306000 | #Constraints: 21805
936.46/939.39 c #Conflicts: 307000 | #Constraints: 22805
936.46/939.39 c #Conflicts: 308000 | #Constraints: 23805
936.46/939.39 c #Conflicts: 309000 | #Constraints: 24805
936.46/939.39 c #Conflicts: 310000 | #Constraints: 25805
936.46/939.39 c INPROCESSING
936.46/939.39 c GARBAGE COLLECT
936.46/939.39 c #Conflicts: 311000 | #Constraints: 15803
936.46/939.39 c #Conflicts: 312000 | #Constraints: 16803
936.46/939.39 c #Conflicts: 313000 | #Constraints: 17803
936.46/939.39 c #Conflicts: 314000 | #Constraints: 18803
936.46/939.39 c #Conflicts: 315000 | #Constraints: 19803
936.46/939.39 c #Conflicts: 316000 | #Constraints: 20803
936.46/939.39 c #Conflicts: 317000 | #Constraints: 21803
936.46/939.39 c #Conflicts: 318000 | #Constraints: 22803
936.46/939.39 c #Conflicts: 319000 | #Constraints: 23803
936.46/939.39 c #Conflicts: 320000 | #Constraints: 24803
936.46/939.39 c #Conflicts: 321000 | #Constraints: 25803
936.46/939.39 c INPROCESSING
936.46/939.39 c GARBAGE COLLECT
936.46/939.39 c #Conflicts: 322000 | #Constraints: 15606
936.46/939.39 c #Conflicts: 323000 | #Constraints: 16606
936.46/939.39 c #Conflicts: 324000 | #Constraints: 17606
936.46/939.39 c #Conflicts: 325000 | #Constraints: 18606
936.46/939.39 c #Conflicts: 326000 | #Constraints: 19606
936.46/939.39 c #Conflicts: 327000 | #Constraints: 20606
936.46/939.39 c #Conflicts: 328000 | #Constraints: 21606
936.46/939.39 c #Conflicts: 329000 | #Constraints: 22606
936.46/939.39 c #Conflicts: 330000 | #Constraints: 23606
936.46/939.39 c #Conflicts: 331000 | #Constraints: 24606
936.46/939.39 c #Conflicts: 332000 | #Constraints: 25606
936.46/939.39 c #Conflicts: 333000 | #Constraints: 26606
936.46/939.39 c INPROCESSING
936.46/939.39 c GARBAGE COLLECT
936.46/939.39 c #Conflicts: 334000 | #Constraints: 16207
936.46/939.39 c #Conflicts: 335000 | #Constraints: 17207
936.46/939.39 c #Conflicts: 336000 | #Constraints: 18207
936.46/939.39 c #Conflicts: 337000 | #Constraints: 19207
936.46/939.39 c #Conflicts: 338000 | #Constraints: 20207
936.46/939.39 c #Conflicts: 339000 | #Constraints: 21207
936.46/939.39 c #Conflicts: 340000 | #Constraints: 22207
936.46/939.39 c #Conflicts: 341000 | #Constraints: 23207
936.46/939.39 c #Conflicts: 342000 | #Constraints: 24207
936.46/939.39 c #Conflicts: 343000 | #Constraints: 25207
936.46/939.39 c #Conflicts: 344000 | #Constraints: 26207
936.46/939.39 c #Conflicts: 345000 | #Constraints: 27207
936.46/939.39 c INPROCESSING
936.46/939.39 c GARBAGE COLLECT
936.46/939.39 c #Conflicts: 346000 | #Constraints: 16610
936.46/939.39 c #Conflicts: 347000 | #Constraints: 17610
936.46/939.39 c #Conflicts: 348000 | #Constraints: 18610
936.46/939.39 c #Conflicts: 349000 | #Constraints: 19610
936.46/939.39 c #Conflicts: 350000 | #Constraints: 20610
936.46/939.39 c #Conflicts: 351000 | #Constraints: 21610
936.46/939.39 c #Conflicts: 352000 | #Constraints: 22610
936.46/939.39 c #Conflicts: 353000 | #Constraints: 23610
936.46/939.39 c #Conflicts: 354000 | #Constraints: 24610
936.46/939.39 c #Conflicts: 355000 | #Constraints: 25610
936.46/939.39 c #Conflicts: 356000 | #Constraints: 26610
936.46/939.39 c #Conflicts: 357000 | #Constraints: 27610
936.46/939.39 c INPROCESSING
936.46/939.39 c GARBAGE COLLECT
936.46/939.39 c #Conflicts: 358000 | #Constraints: 16808
936.46/939.39 c #Conflicts: 359000 | #Constraints: 17808
936.46/939.39 c #Conflicts: 360000 | #Constraints: 18808
936.46/939.39 c #Conflicts: 361000 | #Constraints: 19808
1126.34/1129.83 c #Conflicts: 362000 | #Constraints: 20808
1126.34/1129.83 c #Conflicts: 363000 | #Constraints: 21808
1126.34/1129.83 c #Conflicts: 364000 | #Constraints: 22808
1126.34/1129.83 c #Conflicts: 365000 | #Constraints: 23808
1126.34/1129.83 c #Conflicts: 366000 | #Constraints: 24808
1126.34/1129.83 c #Conflicts: 367000 | #Constraints: 25808
1126.34/1129.83 c #Conflicts: 368000 | #Constraints: 26808
1126.34/1129.83 c #Conflicts: 369000 | #Constraints: 27808
1126.34/1129.83 c INPROCESSING
1126.34/1129.83 c GARBAGE COLLECT
1126.34/1129.83 c #Conflicts: 370000 | #Constraints: 16810
1126.34/1129.83 c #Conflicts: 371000 | #Constraints: 17810
1126.34/1129.83 c #Conflicts: 372000 | #Constraints: 18810
1126.34/1129.83 c #Conflicts: 373000 | #Constraints: 19810
1126.34/1129.83 c #Conflicts: 374000 | #Constraints: 20810
1126.34/1129.83 c #Conflicts: 375000 | #Constraints: 21810
1126.34/1129.83 c #Conflicts: 376000 | #Constraints: 22810
1126.34/1129.83 c #Conflicts: 377000 | #Constraints: 23810
1126.34/1129.83 c #Conflicts: 378000 | #Constraints: 24810
1126.34/1129.83 c #Conflicts: 379000 | #Constraints: 25810
1126.34/1129.83 c #Conflicts: 380000 | #Constraints: 26810
1126.34/1129.83 c #Conflicts: 381000 | #Constraints: 27810
1126.34/1129.83 c INPROCESSING
1126.34/1129.83 c GARBAGE COLLECT
1126.34/1129.83 c #Conflicts: 382000 | #Constraints: 16614
1126.34/1129.83 c #Conflicts: 383000 | #Constraints: 17614
1126.34/1129.83 c #Conflicts: 384000 | #Constraints: 18614
1126.34/1129.83 c #Conflicts: 385000 | #Constraints: 19614
1126.34/1129.83 c #Conflicts: 386000 | #Constraints: 20614
1126.34/1129.83 c #Conflicts: 387000 | #Constraints: 21614
1126.34/1129.83 c #Conflicts: 388000 | #Constraints: 22614
1126.34/1129.83 c #Conflicts: 389000 | #Constraints: 23614
1126.34/1129.83 c #Conflicts: 390000 | #Constraints: 24614
1126.34/1129.83 c #Conflicts: 391000 | #Constraints: 25614
1126.34/1129.83 c #Conflicts: 392000 | #Constraints: 26614
1126.34/1129.83 c #Conflicts: 393000 | #Constraints: 27614
1126.34/1129.83 c #Conflicts: 394000 | #Constraints: 28614
1126.34/1129.83 c INPROCESSING
1126.34/1129.83 c GARBAGE COLLECT
1126.34/1129.83 c #Conflicts: 395000 | #Constraints: 17213
1126.34/1129.83 c #Conflicts: 396000 | #Constraints: 18213
1126.34/1129.83 c #Conflicts: 397000 | #Constraints: 19213
1126.34/1129.83 c #Conflicts: 398000 | #Constraints: 20213
1126.34/1129.83 c #Conflicts: 399000 | #Constraints: 21213
1126.34/1129.83 c #Conflicts: 400000 | #Constraints: 22213
1126.34/1129.83 c #Conflicts: 401000 | #Constraints: 23213
1126.34/1129.83 c #Conflicts: 402000 | #Constraints: 24213
1126.34/1129.83 c #Conflicts: 403000 | #Constraints: 25213
1126.34/1129.83 c #Conflicts: 404000 | #Constraints: 26213
1126.34/1129.83 c #Conflicts: 405000 | #Constraints: 27213
1126.34/1129.83 c #Conflicts: 406000 | #Constraints: 28213
1126.34/1129.83 c #Conflicts: 407000 | #Constraints: 29213
1126.34/1129.83 c INPROCESSING
1126.34/1129.83 c GARBAGE COLLECT
1126.34/1129.83 c #Conflicts: 408000 | #Constraints: 17609
1126.34/1129.83 c #Conflicts: 409000 | #Constraints: 18609
1126.34/1129.83 c #Conflicts: 410000 | #Constraints: 19609
1126.34/1129.83 c #Conflicts: 411000 | #Constraints: 20609
1126.34/1129.83 c #Conflicts: 412000 | #Constraints: 21609
1126.34/1129.83 c #Conflicts: 413000 | #Constraints: 22609
1126.34/1129.83 c #Conflicts: 414000 | #Constraints: 23609
1126.34/1129.83 c #Conflicts: 415000 | #Constraints: 24609
1126.34/1129.83 c #Conflicts: 416000 | #Constraints: 25609
1126.34/1129.83 c #Conflicts: 417000 | #Constraints: 26609
1126.34/1129.83 c #Conflicts: 418000 | #Constraints: 27609
1126.34/1129.83 c #Conflicts: 419000 | #Constraints: 28609
1126.34/1129.83 c #Conflicts: 420000 | #Constraints: 29609
1126.34/1129.83 c INPROCESSING
1126.34/1129.83 c GARBAGE COLLECT
1126.34/1129.83 c #Conflicts: 421000 | #Constraints: 17810
1126.34/1129.83 c #Conflicts: 422000 | #Constraints: 18810
1126.34/1129.83 c #Conflicts: 423000 | #Constraints: 19810
1126.34/1129.83 c #Conflicts: 424000 | #Constraints: 20810
1126.34/1129.83 c #Conflicts: 425000 | #Constraints: 21810
1126.34/1129.83 c #Conflicts: 426000 | #Constraints: 22810
1126.34/1129.83 c #Conflicts: 427000 | #Constraints: 23810
1126.34/1129.83 c #Conflicts: 428000 | #Constraints: 24810
1126.34/1129.83 c #Conflicts: 429000 | #Constraints: 25810
1126.34/1129.83 c #Conflicts: 430000 | #Constraints: 26810
1126.34/1129.83 c #Conflicts: 431000 | #Constraints: 27810
1126.34/1129.83 c #Conflicts: 432000 | #Constraints: 28810
1126.34/1129.83 c #Conflicts: 433000 | #Constraints: 29810
1126.34/1129.83 c INPROCESSING
1126.34/1129.83 c GARBAGE COLLECT
1126.34/1129.83 c #Conflicts: 434000 | #Constraints: 17818
1126.34/1129.83 c #Conflicts: 435000 | #Constraints: 18818
1126.34/1129.83 c #Conflicts: 436000 | #Constraints: 19818
1260.57/1264.43 c #Conflicts: 437000 | #Constraints: 20818
1260.57/1264.43 c #Conflicts: 438000 | #Constraints: 21818
1260.57/1264.43 c #Conflicts: 439000 | #Constraints: 22818
1260.57/1264.43 c #Conflicts: 440000 | #Constraints: 23818
1260.57/1264.43 c #Conflicts: 441000 | #Constraints: 24818
1260.57/1264.43 c #Conflicts: 442000 | #Constraints: 25818
1260.57/1264.43 c #Conflicts: 443000 | #Constraints: 26818
1260.57/1264.43 c #Conflicts: 444000 | #Constraints: 27818
1260.57/1264.43 c #Conflicts: 445000 | #Constraints: 28818
1260.57/1264.43 c #Conflicts: 446000 | #Constraints: 29818
1260.57/1264.43 c INPROCESSING
1260.57/1264.43 c GARBAGE COLLECT
1260.57/1264.43 c #Conflicts: 447000 | #Constraints: 17621
1260.57/1264.43 c #Conflicts: 448000 | #Constraints: 18621
1260.57/1264.43 c #Conflicts: 449000 | #Constraints: 19621
1260.57/1264.43 c #Conflicts: 450000 | #Constraints: 20621
1260.57/1264.43 c #Conflicts: 451000 | #Constraints: 21621
1260.57/1264.43 c #Conflicts: 452000 | #Constraints: 22621
1260.57/1264.43 c #Conflicts: 453000 | #Constraints: 23621
1260.57/1264.43 c #Conflicts: 454000 | #Constraints: 24621
1260.57/1264.43 c #Conflicts: 455000 | #Constraints: 25621
1260.57/1264.43 c #Conflicts: 456000 | #Constraints: 26621
1260.57/1264.43 c #Conflicts: 457000 | #Constraints: 27621
1260.57/1264.43 c #Conflicts: 458000 | #Constraints: 28621
1260.57/1264.43 c #Conflicts: 459000 | #Constraints: 29621
1260.57/1264.43 c #Conflicts: 460000 | #Constraints: 30621
1260.57/1264.43 c INPROCESSING
1260.57/1264.43 c GARBAGE COLLECT
1260.57/1264.43 c #Conflicts: 461000 | #Constraints: 18214
1260.57/1264.43 c #Conflicts: 462000 | #Constraints: 19214
1260.57/1264.43 c #Conflicts: 463000 | #Constraints: 20214
1260.57/1264.43 c #Conflicts: 464000 | #Constraints: 21214
1260.57/1264.43 c #Conflicts: 465000 | #Constraints: 22214
1260.57/1264.43 c #Conflicts: 466000 | #Constraints: 23214
1260.57/1264.43 c #Conflicts: 467000 | #Constraints: 24214
1260.57/1264.43 c #Conflicts: 468000 | #Constraints: 25214
1260.57/1264.43 c #Conflicts: 469000 | #Constraints: 26214
1260.57/1264.43 c #Conflicts: 470000 | #Constraints: 27214
1260.57/1264.43 c #Conflicts: 471000 | #Constraints: 28214
1260.57/1264.43 c #Conflicts: 472000 | #Constraints: 29214
1260.57/1264.43 c #Conflicts: 473000 | #Constraints: 30214
1260.57/1264.43 c #Conflicts: 474000 | #Constraints: 31214
1260.57/1264.43 c INPROCESSING
1260.57/1264.43 c GARBAGE COLLECT
1260.57/1264.43 c #Conflicts: 475000 | #Constraints: 18612
1260.57/1264.43 c #Conflicts: 476000 | #Constraints: 19612
1260.57/1264.43 c #Conflicts: 477000 | #Constraints: 20612
1260.57/1264.43 c #Conflicts: 478000 | #Constraints: 21612
1260.57/1264.43 c #Conflicts: 479000 | #Constraints: 22612
1260.57/1264.43 c #Conflicts: 480000 | #Constraints: 23612
1260.57/1264.43 c #Conflicts: 481000 | #Constraints: 24612
1260.57/1264.43 c #Conflicts: 482000 | #Constraints: 25612
1260.57/1264.43 c #Conflicts: 483000 | #Constraints: 26612
1260.57/1264.43 c #Conflicts: 484000 | #Constraints: 27612
1260.57/1264.43 c #Conflicts: 485000 | #Constraints: 28612
1260.57/1264.43 c #Conflicts: 486000 | #Constraints: 29612
1260.57/1264.43 c #Conflicts: 487000 | #Constraints: 30612
1260.57/1264.43 c #Conflicts: 488000 | #Constraints: 31612
1260.57/1264.43 c INPROCESSING
1260.57/1264.43 c GARBAGE COLLECT
1260.57/1264.43 c #Conflicts: 489000 | #Constraints: 18820
1260.57/1264.43 c #Conflicts: 490000 | #Constraints: 19820
1260.57/1264.43 c #Conflicts: 491000 | #Constraints: 20820
1260.57/1264.43 c #Conflicts: 492000 | #Constraints: 21820
1260.57/1264.43 c #Conflicts: 493000 | #Constraints: 22820
1260.57/1264.43 c #Conflicts: 494000 | #Constraints: 23820
1260.57/1264.43 c #Conflicts: 495000 | #Constraints: 24820
1260.57/1264.43 c #Conflicts: 496000 | #Constraints: 25820
1260.57/1264.43 c #Conflicts: 497000 | #Constraints: 26820
1260.57/1264.43 c #Conflicts: 498000 | #Constraints: 27820
1260.57/1264.43 c #Conflicts: 499000 | #Constraints: 28820
1260.57/1264.43 c #Conflicts: 500000 | #Constraints: 29820
1260.57/1264.43 c #Conflicts: 501000 | #Constraints: 30820
1260.57/1264.43 c #Conflicts: 502000 | #Constraints: 31820
1260.57/1264.43 c INPROCESSING
1260.57/1264.43 c GARBAGE COLLECT
1260.57/1264.43 c #Conflicts: 503000 | #Constraints: 18825
1260.57/1264.43 c #Conflicts: 504000 | #Constraints: 19825
1260.57/1264.43 c #Conflicts: 505000 | #Constraints: 20825
1260.57/1264.43 c #Conflicts: 506000 | #Constraints: 21825
1260.57/1264.43 c #Conflicts: 507000 | #Constraints: 22825
1260.57/1264.43 c #Conflicts: 508000 | #Constraints: 23825
1260.57/1264.43 c #Conflicts: 509000 | #Constraints: 24825
1260.57/1264.43 c #Conflicts: 510000 | #Constraints: 25825
1260.57/1264.43 c #Conflicts: 511000 | #Constraints: 26825
1436.09/1440.41 c #Conflicts: 512000 | #Constraints: 27825
1436.09/1440.41 c #Conflicts: 513000 | #Constraints: 28825
1436.09/1440.41 c #Conflicts: 514000 | #Constraints: 29825
1436.09/1440.41 c #Conflicts: 515000 | #Constraints: 30825
1436.09/1440.41 c #Conflicts: 516000 | #Constraints: 31825
1436.09/1440.41 c INPROCESSING
1436.09/1440.41 c GARBAGE COLLECT
1436.09/1440.41 c #Conflicts: 517000 | #Constraints: 18624
1436.09/1440.41 c #Conflicts: 518000 | #Constraints: 19624
1436.09/1440.41 c #Conflicts: 519000 | #Constraints: 20624
1436.09/1440.41 c #Conflicts: 520000 | #Constraints: 21624
1436.09/1440.41 c #Conflicts: 521000 | #Constraints: 22624
1436.09/1440.41 c #Conflicts: 522000 | #Constraints: 23624
1436.09/1440.41 c #Conflicts: 523000 | #Constraints: 24624
1436.09/1440.41 c #Conflicts: 524000 | #Constraints: 25624
1436.09/1440.41 c #Conflicts: 525000 | #Constraints: 26624
1436.09/1440.41 c #Conflicts: 526000 | #Constraints: 27624
1436.09/1440.41 c #Conflicts: 527000 | #Constraints: 28624
1436.09/1440.41 c #Conflicts: 528000 | #Constraints: 29624
1436.09/1440.41 c #Conflicts: 529000 | #Constraints: 30624
1436.09/1440.41 c #Conflicts: 530000 | #Constraints: 31624
1436.09/1440.41 c #Conflicts: 531000 | #Constraints: 32624
1436.09/1440.41 c INPROCESSING
1436.09/1440.41 c GARBAGE COLLECT
1436.09/1440.41 c #Conflicts: 532000 | #Constraints: 19221
1436.09/1440.41 c #Conflicts: 533000 | #Constraints: 20221
1436.09/1440.41 c #Conflicts: 534000 | #Constraints: 21221
1436.09/1440.41 c #Conflicts: 535000 | #Constraints: 22221
1436.09/1440.41 c #Conflicts: 536000 | #Constraints: 23221
1436.09/1440.41 c #Conflicts: 537000 | #Constraints: 24221
1436.09/1440.41 c #Conflicts: 538000 | #Constraints: 25221
1436.09/1440.41 c #Conflicts: 539000 | #Constraints: 26221
1436.09/1440.41 c #Conflicts: 540000 | #Constraints: 27221
1436.09/1440.41 c #Conflicts: 541000 | #Constraints: 28221
1436.09/1440.41 c #Conflicts: 542000 | #Constraints: 29221
1436.09/1440.41 c #Conflicts: 543000 | #Constraints: 30221
1436.09/1440.41 c #Conflicts: 544000 | #Constraints: 31221
1436.09/1440.41 c #Conflicts: 545000 | #Constraints: 32221
1436.09/1440.41 c #Conflicts: 546000 | #Constraints: 33221
1436.09/1440.41 c INPROCESSING
1436.09/1440.41 c GARBAGE COLLECT
1436.09/1440.41 c #Conflicts: 547000 | #Constraints: 19613
1436.09/1440.41 c #Conflicts: 548000 | #Constraints: 20613
1436.09/1440.41 c #Conflicts: 549000 | #Constraints: 21613
1436.09/1440.41 c #Conflicts: 550000 | #Constraints: 22613
1436.09/1440.41 c #Conflicts: 551000 | #Constraints: 23613
1436.09/1440.41 c #Conflicts: 552000 | #Constraints: 24613
1436.09/1440.41 c #Conflicts: 553000 | #Constraints: 25613
1436.09/1440.41 c #Conflicts: 554000 | #Constraints: 26613
1436.09/1440.41 c #Conflicts: 555000 | #Constraints: 27613
1436.09/1440.41 c #Conflicts: 556000 | #Constraints: 28613
1436.09/1440.41 c #Conflicts: 557000 | #Constraints: 29613
1436.09/1440.41 c #Conflicts: 558000 | #Constraints: 30613
1436.09/1440.41 c #Conflicts: 559000 | #Constraints: 31613
1436.09/1440.41 c #Conflicts: 560000 | #Constraints: 32613
1436.09/1440.41 c #Conflicts: 561000 | #Constraints: 33613
1436.09/1440.41 c INPROCESSING
1436.09/1440.41 c GARBAGE COLLECT
1436.09/1440.41 c #Conflicts: 562000 | #Constraints: 19815
1436.09/1440.41 c #Conflicts: 563000 | #Constraints: 20815
1436.09/1440.41 c #Conflicts: 564000 | #Constraints: 21815
1436.09/1440.41 c #Conflicts: 565000 | #Constraints: 22815
1436.09/1440.41 c #Conflicts: 566000 | #Constraints: 23815
1436.09/1440.41 c #Conflicts: 567000 | #Constraints: 24815
1436.09/1440.41 c #Conflicts: 568000 | #Constraints: 25815
1436.09/1440.41 c #Conflicts: 569000 | #Constraints: 26815
1436.09/1440.41 c #Conflicts: 570000 | #Constraints: 27815
1436.09/1440.41 c #Conflicts: 571000 | #Constraints: 28815
1436.09/1440.41 c #Conflicts: 572000 | #Constraints: 29815
1436.09/1440.41 c #Conflicts: 573000 | #Constraints: 30815
1436.09/1440.41 c #Conflicts: 574000 | #Constraints: 31815
1436.09/1440.41 c #Conflicts: 575000 | #Constraints: 32815
1436.09/1440.41 c #Conflicts: 576000 | #Constraints: 33815
1436.09/1440.41 c INPROCESSING
1436.09/1440.41 c GARBAGE COLLECT
1436.09/1440.41 c #Conflicts: 577000 | #Constraints: 19808
1436.09/1440.41 c #Conflicts: 578000 | #Constraints: 20808
1436.09/1440.41 c #Conflicts: 579000 | #Constraints: 21808
1436.09/1440.41 c #Conflicts: 580000 | #Constraints: 22808
1436.09/1440.41 c #Conflicts: 581000 | #Constraints: 23808
1436.09/1440.41 c #Conflicts: 582000 | #Constraints: 24808
1436.09/1440.41 c #Conflicts: 583000 | #Constraints: 25808
1436.09/1440.41 c #Conflicts: 584000 | #Constraints: 26808
1436.09/1440.41 c #Conflicts: 585000 | #Constraints: 27808
1436.09/1440.41 c #Conflicts: 586000 | #Constraints: 28808
1436.09/1440.41 c #Conflicts: 587000 | #Constraints: 29808
1667.05/1672.05 c #Conflicts: 588000 | #Constraints: 30808
1667.05/1672.05 c #Conflicts: 589000 | #Constraints: 31808
1667.05/1672.05 c #Conflicts: 590000 | #Constraints: 32808
1667.05/1672.05 c #Conflicts: 591000 | #Constraints: 33808
1667.05/1672.05 c INPROCESSING
1667.05/1672.05 c GARBAGE COLLECT
1667.05/1672.05 c #Conflicts: 592000 | #Constraints: 19606
1667.05/1672.05 c #Conflicts: 593000 | #Constraints: 20606
1667.05/1672.05 c #Conflicts: 594000 | #Constraints: 21606
1667.05/1672.05 c #Conflicts: 595000 | #Constraints: 22606
1667.05/1672.05 c #Conflicts: 596000 | #Constraints: 23606
1667.05/1672.05 c #Conflicts: 597000 | #Constraints: 24606
1667.05/1672.05 c #Conflicts: 598000 | #Constraints: 25606
1667.05/1672.05 c #Conflicts: 599000 | #Constraints: 26606
1667.05/1672.05 c #Conflicts: 600000 | #Constraints: 27606
1667.05/1672.05 c #Conflicts: 601000 | #Constraints: 28606
1667.05/1672.05 c #Conflicts: 602000 | #Constraints: 29606
1667.05/1672.05 c #Conflicts: 603000 | #Constraints: 30606
1667.05/1672.05 c #Conflicts: 604000 | #Constraints: 31606
1667.05/1672.05 c #Conflicts: 605000 | #Constraints: 32606
1667.05/1672.05 c #Conflicts: 606000 | #Constraints: 33606
1667.05/1672.05 c #Conflicts: 607000 | #Constraints: 34606
1667.05/1672.05 c INPROCESSING
1667.05/1672.05 c GARBAGE COLLECT
1667.05/1672.05 c #Conflicts: 608000 | #Constraints: 20209
1667.05/1672.05 c #Conflicts: 609000 | #Constraints: 21209
1667.05/1672.05 c #Conflicts: 610000 | #Constraints: 22209
1667.05/1672.05 c #Conflicts: 611000 | #Constraints: 23209
1667.05/1672.05 c #Conflicts: 612000 | #Constraints: 24209
1667.05/1672.05 c #Conflicts: 613000 | #Constraints: 25209
1667.05/1672.05 c #Conflicts: 614000 | #Constraints: 26209
1667.05/1672.05 c #Conflicts: 615000 | #Constraints: 27209
1667.05/1672.05 c #Conflicts: 616000 | #Constraints: 28209
1667.05/1672.05 c #Conflicts: 617000 | #Constraints: 29209
1667.05/1672.05 c #Conflicts: 618000 | #Constraints: 30209
1667.05/1672.05 c #Conflicts: 619000 | #Constraints: 31209
1667.05/1672.05 c #Conflicts: 620000 | #Constraints: 32209
1667.05/1672.05 c #Conflicts: 621000 | #Constraints: 33209
1667.05/1672.05 c #Conflicts: 622000 | #Constraints: 34209
1667.05/1672.05 c #Conflicts: 623000 | #Constraints: 35209
1667.05/1672.05 c INPROCESSING
1667.05/1672.05 c GARBAGE COLLECT
1667.05/1672.05 c #Conflicts: 624000 | #Constraints: 20609
1667.05/1672.05 c #Conflicts: 625000 | #Constraints: 21609
1667.05/1672.05 c #Conflicts: 626000 | #Constraints: 22609
1667.05/1672.05 c #Conflicts: 627000 | #Constraints: 23609
1667.05/1672.05 c #Conflicts: 628000 | #Constraints: 24609
1667.05/1672.05 c #Conflicts: 629000 | #Constraints: 25609
1667.05/1672.05 c #Conflicts: 630000 | #Constraints: 26609
1667.05/1672.05 c #Conflicts: 631000 | #Constraints: 27609
1667.05/1672.05 c #Conflicts: 632000 | #Constraints: 28609
1667.05/1672.05 c #Conflicts: 633000 | #Constraints: 29609
1667.05/1672.05 c #Conflicts: 634000 | #Constraints: 30609
1667.05/1672.05 c #Conflicts: 635000 | #Constraints: 31609
1667.05/1672.05 c #Conflicts: 636000 | #Constraints: 32609
1667.05/1672.05 c #Conflicts: 637000 | #Constraints: 33609
1667.05/1672.05 c #Conflicts: 638000 | #Constraints: 34609
1667.05/1672.05 c #Conflicts: 639000 | #Constraints: 35609
1667.05/1672.05 c INPROCESSING
1667.05/1672.05 c GARBAGE COLLECT
1667.05/1672.05 c #Conflicts: 640000 | #Constraints: 20803
1667.05/1672.05 c #Conflicts: 641000 | #Constraints: 21803
1667.05/1672.05 c #Conflicts: 642000 | #Constraints: 22803
1667.05/1672.05 c #Conflicts: 643000 | #Constraints: 23803
1667.05/1672.05 c #Conflicts: 644000 | #Constraints: 24803
1667.05/1672.05 c #Conflicts: 645000 | #Constraints: 25803
1667.05/1672.05 c #Conflicts: 646000 | #Constraints: 26803
1667.05/1672.05 c #Conflicts: 647000 | #Constraints: 27803
1667.05/1672.05 c #Conflicts: 648000 | #Constraints: 28803
1667.05/1672.05 c #Conflicts: 649000 | #Constraints: 29803
1667.05/1672.05 c #Conflicts: 650000 | #Constraints: 30803
1667.05/1672.05 c #Conflicts: 651000 | #Constraints: 31803
1667.05/1672.05 c #Conflicts: 652000 | #Constraints: 32803
1667.05/1672.05 c #Conflicts: 653000 | #Constraints: 33803
1667.05/1672.05 c #Conflicts: 654000 | #Constraints: 34803
1667.05/1672.05 c #Conflicts: 655000 | #Constraints: 35803
1667.05/1672.05 c INPROCESSING
1667.05/1672.05 c GARBAGE COLLECT
1667.05/1672.05 c #Conflicts: 656000 | #Constraints: 20809
1667.05/1672.05 c #Conflicts: 657000 | #Constraints: 21809
1667.05/1672.05 c #Conflicts: 658000 | #Constraints: 22809
1667.05/1672.05 c #Conflicts: 659000 | #Constraints: 23809
1667.05/1672.05 c #Conflicts: 660000 | #Constraints: 24809
1667.05/1672.05 c #Conflicts: 661000 | #Constraints: 25809
1667.05/1672.05 c #Conflicts: 662000 | #Constraints: 26809
1667.05/1672.05 c #Conflicts: 663000 | #Constraints: 27809
1921.82/1927.57 c #Conflicts: 664000 | #Constraints: 28809
1921.82/1927.57 c #Conflicts: 665000 | #Constraints: 29809
1921.82/1927.57 c #Conflicts: 666000 | #Constraints: 30809
1921.82/1927.57 c #Conflicts: 667000 | #Constraints: 31809
1921.82/1927.57 c #Conflicts: 668000 | #Constraints: 32809
1921.82/1927.57 c #Conflicts: 669000 | #Constraints: 33809
1921.82/1927.57 c #Conflicts: 670000 | #Constraints: 34809
1921.82/1927.57 c #Conflicts: 671000 | #Constraints: 35809
1921.82/1927.57 c INPROCESSING
1921.82/1927.57 c GARBAGE COLLECT
1921.82/1927.57 c #Conflicts: 672000 | #Constraints: 20607
1921.82/1927.57 c #Conflicts: 673000 | #Constraints: 21607
1921.82/1927.57 c #Conflicts: 674000 | #Constraints: 22607
1921.82/1927.57 c #Conflicts: 675000 | #Constraints: 23607
1921.82/1927.57 c #Conflicts: 676000 | #Constraints: 24607
1921.82/1927.57 c #Conflicts: 677000 | #Constraints: 25607
1921.82/1927.57 c #Conflicts: 678000 | #Constraints: 26607
1921.82/1927.57 c #Conflicts: 679000 | #Constraints: 27607
1921.82/1927.57 c #Conflicts: 680000 | #Constraints: 28607
1921.82/1927.57 c #Conflicts: 681000 | #Constraints: 29607
1921.82/1927.57 c #Conflicts: 682000 | #Constraints: 30607
1921.82/1927.57 c #Conflicts: 683000 | #Constraints: 31607
1921.82/1927.57 c #Conflicts: 684000 | #Constraints: 32607
1921.82/1927.57 c #Conflicts: 685000 | #Constraints: 33607
1921.82/1927.57 c #Conflicts: 686000 | #Constraints: 34607
1921.82/1927.57 c #Conflicts: 687000 | #Constraints: 35607
1921.82/1927.57 c #Conflicts: 688000 | #Constraints: 36607
1921.82/1927.57 c INPROCESSING
1921.82/1927.57 c GARBAGE COLLECT
1921.82/1927.57 c #Conflicts: 689000 | #Constraints: 21208
1921.82/1927.57 c #Conflicts: 690000 | #Constraints: 22208
1921.82/1927.57 c #Conflicts: 691000 | #Constraints: 23208
1921.82/1927.57 c #Conflicts: 692000 | #Constraints: 24208
1921.82/1927.57 c #Conflicts: 693000 | #Constraints: 25208
1921.82/1927.57 c #Conflicts: 694000 | #Constraints: 26208
1921.82/1927.57 c #Conflicts: 695000 | #Constraints: 27208
1921.82/1927.57 c #Conflicts: 696000 | #Constraints: 28208
1921.82/1927.57 c #Conflicts: 697000 | #Constraints: 29208
1921.82/1927.57 c #Conflicts: 698000 | #Constraints: 30208
1921.82/1927.57 c #Conflicts: 699000 | #Constraints: 31208
1921.82/1927.57 c #Conflicts: 700000 | #Constraints: 32208
1921.82/1927.57 c #Conflicts: 701000 | #Constraints: 33208
1921.82/1927.57 c #Conflicts: 702000 | #Constraints: 34208
1921.82/1927.57 c #Conflicts: 703000 | #Constraints: 35208
1921.82/1927.57 c #Conflicts: 704000 | #Constraints: 36208
1921.82/1927.57 c #Conflicts: 705000 | #Constraints: 37208
1921.82/1927.57 c INPROCESSING
1921.82/1927.57 c GARBAGE COLLECT
1921.82/1927.57 c #Conflicts: 706000 | #Constraints: 21605
1921.82/1927.57 c #Conflicts: 707000 | #Constraints: 22605
1921.82/1927.57 c #Conflicts: 708000 | #Constraints: 23605
1921.82/1927.57 c #Conflicts: 709000 | #Constraints: 24605
1921.82/1927.57 c #Conflicts: 710000 | #Constraints: 25605
1921.82/1927.57 c #Conflicts: 711000 | #Constraints: 26605
1921.82/1927.57 c #Conflicts: 712000 | #Constraints: 27605
1921.82/1927.57 c #Conflicts: 713000 | #Constraints: 28605
1921.82/1927.57 c #Conflicts: 714000 | #Constraints: 29605
1921.82/1927.57 c #Conflicts: 715000 | #Constraints: 30605
1921.82/1927.57 c #Conflicts: 716000 | #Constraints: 31605
1921.82/1927.57 c #Conflicts: 717000 | #Constraints: 32605
1921.82/1927.57 c #Conflicts: 718000 | #Constraints: 33605
1921.82/1927.57 c #Conflicts: 719000 | #Constraints: 34605
1921.82/1927.57 c #Conflicts: 720000 | #Constraints: 35605
1921.82/1927.57 c #Conflicts: 721000 | #Constraints: 36605
1921.82/1927.57 c #Conflicts: 722000 | #Constraints: 37605
1921.82/1927.57 c INPROCESSING
1921.82/1927.57 c GARBAGE COLLECT
1921.82/1927.57 c #Conflicts: 723000 | #Constraints: 21805
1921.82/1927.57 c #Conflicts: 724000 | #Constraints: 22805
1921.82/1927.57 c #Conflicts: 725000 | #Constraints: 23805
1921.82/1927.57 c #Conflicts: 726000 | #Constraints: 24805
1921.82/1927.57 c #Conflicts: 727000 | #Constraints: 25805
1921.82/1927.57 c #Conflicts: 728000 | #Constraints: 26805
1921.82/1927.57 c #Conflicts: 729000 | #Constraints: 27805
1921.82/1927.57 c #Conflicts: 730000 | #Constraints: 28805
1921.82/1927.57 c #Conflicts: 731000 | #Constraints: 29805
1921.82/1927.57 c #Conflicts: 732000 | #Constraints: 30805
1921.82/1927.57 c #Conflicts: 733000 | #Constraints: 31805
1921.82/1927.57 c #Conflicts: 734000 | #Constraints: 32805
1921.82/1927.57 c #Conflicts: 735000 | #Constraints: 33805
1921.82/1927.57 c #Conflicts: 736000 | #Constraints: 34805
1921.82/1927.57 c #Conflicts: 737000 | #Constraints: 35805
1921.82/1927.57 c #Conflicts: 738000 | #Constraints: 36805
1921.82/1927.57 c #Conflicts: 739000 | #Constraints: 37805
2166.44/2172.89 c INPROCESSING
2166.44/2172.89 c GARBAGE COLLECT
2166.44/2172.89 c #Conflicts: 740000 | #Constraints: 21810
2166.44/2172.89 c #Conflicts: 741000 | #Constraints: 22810
2166.44/2172.89 c #Conflicts: 742000 | #Constraints: 23810
2166.44/2172.89 c #Conflicts: 743000 | #Constraints: 24810
2166.44/2172.89 c #Conflicts: 744000 | #Constraints: 25810
2166.44/2172.89 c #Conflicts: 745000 | #Constraints: 26810
2166.44/2172.89 c #Conflicts: 746000 | #Constraints: 27810
2166.44/2172.89 c #Conflicts: 747000 | #Constraints: 28810
2166.44/2172.89 c #Conflicts: 748000 | #Constraints: 29810
2166.44/2172.89 c #Conflicts: 749000 | #Constraints: 30810
2166.44/2172.89 c #Conflicts: 750000 | #Constraints: 31810
2166.44/2172.89 c #Conflicts: 751000 | #Constraints: 32810
2166.44/2172.89 c #Conflicts: 752000 | #Constraints: 33810
2166.44/2172.89 c #Conflicts: 753000 | #Constraints: 34810
2166.44/2172.89 c #Conflicts: 754000 | #Constraints: 35810
2166.44/2172.89 c #Conflicts: 755000 | #Constraints: 36810
2166.44/2172.89 c #Conflicts: 756000 | #Constraints: 37810
2166.44/2172.89 c INPROCESSING
2166.44/2172.89 c GARBAGE COLLECT
2166.44/2172.89 c #Conflicts: 757000 | #Constraints: 21606
2166.44/2172.89 c #Conflicts: 758000 | #Constraints: 22606
2166.44/2172.89 c #Conflicts: 759000 | #Constraints: 23606
2166.44/2172.89 c #Conflicts: 760000 | #Constraints: 24606
2166.44/2172.89 c #Conflicts: 761000 | #Constraints: 25606
2166.44/2172.89 c #Conflicts: 762000 | #Constraints: 26606
2166.44/2172.89 c #Conflicts: 763000 | #Constraints: 27606
2166.44/2172.89 c #Conflicts: 764000 | #Constraints: 28606
2166.44/2172.89 c #Conflicts: 765000 | #Constraints: 29606
2166.44/2172.89 c #Conflicts: 766000 | #Constraints: 30606
2166.44/2172.89 c #Conflicts: 767000 | #Constraints: 31606
2166.44/2172.89 c #Conflicts: 768000 | #Constraints: 32606
2166.44/2172.89 c #Conflicts: 769000 | #Constraints: 33606
2166.44/2172.89 c #Conflicts: 770000 | #Constraints: 34606
2166.44/2172.89 c #Conflicts: 771000 | #Constraints: 35606
2166.44/2172.89 c #Conflicts: 772000 | #Constraints: 36606
2166.44/2172.89 c #Conflicts: 773000 | #Constraints: 37606
2166.44/2172.89 c #Conflicts: 774000 | #Constraints: 38606
2166.44/2172.89 c INPROCESSING
2166.44/2172.89 c GARBAGE COLLECT
2166.44/2172.89 c #Conflicts: 775000 | #Constraints: 22207
2166.44/2172.89 c #Conflicts: 776000 | #Constraints: 23207
2166.44/2172.89 c #Conflicts: 777000 | #Constraints: 24207
2166.44/2172.89 c #Conflicts: 778000 | #Constraints: 25207
2166.44/2172.89 c #Conflicts: 779000 | #Constraints: 26207
2166.44/2172.89 c #Conflicts: 780000 | #Constraints: 27207
2166.44/2172.89 c #Conflicts: 781000 | #Constraints: 28207
2166.44/2172.89 c #Conflicts: 782000 | #Constraints: 29207
2166.44/2172.89 c #Conflicts: 783000 | #Constraints: 30207
2166.44/2172.89 c #Conflicts: 784000 | #Constraints: 31207
2166.44/2172.89 c #Conflicts: 785000 | #Constraints: 32207
2166.44/2172.89 c #Conflicts: 786000 | #Constraints: 33207
2166.44/2172.89 c #Conflicts: 787000 | #Constraints: 34207
2166.44/2172.89 c #Conflicts: 788000 | #Constraints: 35207
2166.44/2172.89 c #Conflicts: 789000 | #Constraints: 36207
2166.44/2172.89 c #Conflicts: 790000 | #Constraints: 37207
2166.44/2172.89 c #Conflicts: 791000 | #Constraints: 38207
2166.44/2172.89 c #Conflicts: 792000 | #Constraints: 39207
2166.44/2172.89 c INPROCESSING
2166.44/2172.89 c GARBAGE COLLECT
2166.44/2172.89 c #Conflicts: 793000 | #Constraints: 22606
2166.44/2172.89 c #Conflicts: 794000 | #Constraints: 23606
2166.44/2172.89 c #Conflicts: 795000 | #Constraints: 24606
2166.44/2172.89 c #Conflicts: 796000 | #Constraints: 25606
2166.44/2172.89 c #Conflicts: 797000 | #Constraints: 26606
2166.44/2172.89 c #Conflicts: 798000 | #Constraints: 27606
2166.44/2172.89 c #Conflicts: 799000 | #Constraints: 28606
2166.44/2172.89 c #Conflicts: 800000 | #Constraints: 29606
2166.44/2172.89 c #Conflicts: 801000 | #Constraints: 30606
2166.44/2172.89 c #Conflicts: 802000 | #Constraints: 31606
2166.44/2172.89 c #Conflicts: 803000 | #Constraints: 32606
2166.44/2172.89 c #Conflicts: 804000 | #Constraints: 33606
2166.44/2172.89 c #Conflicts: 805000 | #Constraints: 34606
2166.44/2172.89 c #Conflicts: 806000 | #Constraints: 35606
2166.44/2172.89 c #Conflicts: 807000 | #Constraints: 36606
2166.44/2172.89 c #Conflicts: 808000 | #Constraints: 37606
2166.44/2172.89 c #Conflicts: 809000 | #Constraints: 38606
2166.44/2172.89 c #Conflicts: 810000 | #Constraints: 39606
2166.44/2172.89 c INPROCESSING
2166.44/2172.89 c GARBAGE COLLECT
2166.44/2172.89 c #Conflicts: 811000 | #Constraints: 22808
2166.44/2172.89 c #Conflicts: 812000 | #Constraints: 23808
2166.44/2172.89 c #Conflicts: 813000 | #Constraints: 24808
2166.44/2172.89 c #Conflicts: 814000 | #Constraints: 25808
2419.92/2427.04 c #Conflicts: 815000 | #Constraints: 26808
2419.92/2427.04 c #Conflicts: 816000 | #Constraints: 27808
2419.92/2427.04 c #Conflicts: 817000 | #Constraints: 28808
2419.92/2427.04 c #Conflicts: 818000 | #Constraints: 29808
2419.92/2427.04 c #Conflicts: 819000 | #Constraints: 30808
2419.92/2427.04 c #Conflicts: 820000 | #Constraints: 31808
2419.92/2427.04 c #Conflicts: 821000 | #Constraints: 32808
2419.92/2427.04 c #Conflicts: 822000 | #Constraints: 33808
2419.92/2427.04 c #Conflicts: 823000 | #Constraints: 34808
2419.92/2427.04 c #Conflicts: 824000 | #Constraints: 35808
2419.92/2427.04 c #Conflicts: 825000 | #Constraints: 36808
2419.92/2427.04 c #Conflicts: 826000 | #Constraints: 37808
2419.92/2427.04 c #Conflicts: 827000 | #Constraints: 38808
2419.92/2427.04 c #Conflicts: 828000 | #Constraints: 39808
2419.92/2427.04 c INPROCESSING
2419.92/2427.04 c GARBAGE COLLECT
2419.92/2427.04 c #Conflicts: 829000 | #Constraints: 22806
2419.92/2427.04 c #Conflicts: 830000 | #Constraints: 23806
2419.92/2427.04 c #Conflicts: 831000 | #Constraints: 24806
2419.92/2427.04 c #Conflicts: 832000 | #Constraints: 25806
2419.92/2427.04 c #Conflicts: 833000 | #Constraints: 26806
2419.92/2427.04 c #Conflicts: 834000 | #Constraints: 27806
2419.92/2427.04 c #Conflicts: 835000 | #Constraints: 28806
2419.92/2427.04 c #Conflicts: 836000 | #Constraints: 29806
2419.92/2427.04 c #Conflicts: 837000 | #Constraints: 30806
2419.92/2427.04 c #Conflicts: 838000 | #Constraints: 31806
2419.92/2427.04 c #Conflicts: 839000 | #Constraints: 32806
2419.92/2427.04 c #Conflicts: 840000 | #Constraints: 33806
2419.92/2427.04 c #Conflicts: 841000 | #Constraints: 34806
2419.92/2427.04 c #Conflicts: 842000 | #Constraints: 35806
2419.92/2427.04 c #Conflicts: 843000 | #Constraints: 36806
2419.92/2427.04 c #Conflicts: 844000 | #Constraints: 37806
2419.92/2427.04 c #Conflicts: 845000 | #Constraints: 38806
2419.92/2427.04 c #Conflicts: 846000 | #Constraints: 39806
2419.92/2427.04 c INPROCESSING
2419.92/2427.04 c GARBAGE COLLECT
2419.92/2427.04 c #Conflicts: 847000 | #Constraints: 22598
2419.92/2427.04 c #Conflicts: 848000 | #Constraints: 23598
2419.92/2427.04 c #Conflicts: 849000 | #Constraints: 24598
2419.92/2427.04 c #Conflicts: 850000 | #Constraints: 25598
2419.92/2427.04 c #Conflicts: 851000 | #Constraints: 26598
2419.92/2427.04 c #Conflicts: 852000 | #Constraints: 27598
2419.92/2427.04 c #Conflicts: 853000 | #Constraints: 28598
2419.92/2427.04 c #Conflicts: 854000 | #Constraints: 29598
2419.92/2427.04 c #Conflicts: 855000 | #Constraints: 30598
2419.92/2427.04 c #Conflicts: 856000 | #Constraints: 31598
2419.92/2427.04 c #Conflicts: 857000 | #Constraints: 32598
2419.92/2427.04 c #Conflicts: 858000 | #Constraints: 33598
2419.92/2427.04 c #Conflicts: 859000 | #Constraints: 34598
2419.92/2427.04 c #Conflicts: 860000 | #Constraints: 35598
2419.92/2427.04 c #Conflicts: 861000 | #Constraints: 36598
2419.92/2427.04 c #Conflicts: 862000 | #Constraints: 37598
2419.92/2427.04 c #Conflicts: 863000 | #Constraints: 38598
2419.92/2427.04 c #Conflicts: 864000 | #Constraints: 39598
2419.92/2427.04 c #Conflicts: 865000 | #Constraints: 40598
2419.92/2427.04 c INPROCESSING
2419.92/2427.04 c GARBAGE COLLECT
2419.92/2427.04 c #Conflicts: 866000 | #Constraints: 23197
2419.92/2427.04 c #Conflicts: 867000 | #Constraints: 24197
2419.92/2427.04 c #Conflicts: 868000 | #Constraints: 25197
2419.92/2427.04 c #Conflicts: 869000 | #Constraints: 26197
2419.92/2427.04 c #Conflicts: 870000 | #Constraints: 27197
2419.92/2427.04 c #Conflicts: 871000 | #Constraints: 28197
2419.92/2427.04 c #Conflicts: 872000 | #Constraints: 29197
2419.92/2427.04 c #Conflicts: 873000 | #Constraints: 30197
2419.92/2427.04 c #Conflicts: 874000 | #Constraints: 31197
2419.92/2427.04 c #Conflicts: 875000 | #Constraints: 32197
2419.92/2427.04 c #Conflicts: 876000 | #Constraints: 33197
2419.92/2427.04 c #Conflicts: 877000 | #Constraints: 34197
2419.92/2427.04 c #Conflicts: 878000 | #Constraints: 35197
2419.92/2427.04 c #Conflicts: 879000 | #Constraints: 36197
2419.92/2427.04 c #Conflicts: 880000 | #Constraints: 37197
2419.92/2427.04 c #Conflicts: 881000 | #Constraints: 38197
2419.92/2427.04 c #Conflicts: 882000 | #Constraints: 39197
2419.92/2427.04 c #Conflicts: 883000 | #Constraints: 40197
2419.92/2427.04 c #Conflicts: 884000 | #Constraints: 41197
2419.92/2427.04 c INPROCESSING
2419.92/2427.04 c GARBAGE COLLECT
2419.92/2427.04 c #Conflicts: 885000 | #Constraints: 23605
2419.92/2427.04 c #Conflicts: 886000 | #Constraints: 24605
2419.92/2427.04 c #Conflicts: 887000 | #Constraints: 25605
2419.92/2427.04 c #Conflicts: 888000 | #Constraints: 26605
2419.92/2427.04 c #Conflicts: 889000 | #Constraints: 27605
2419.92/2427.04 c #Conflicts: 890000 | #Constraints: 28605
2419.92/2427.04 c #Conflicts: 891000 | #Constraints: 29605
2691.66/2699.55 c #Conflicts: 892000 | #Constraints: 30605
2691.66/2699.55 c #Conflicts: 893000 | #Constraints: 31605
2691.66/2699.55 c #Conflicts: 894000 | #Constraints: 32605
2691.66/2699.55 c #Conflicts: 895000 | #Constraints: 33605
2691.66/2699.55 c #Conflicts: 896000 | #Constraints: 34605
2691.66/2699.55 c #Conflicts: 897000 | #Constraints: 35605
2691.66/2699.55 c #Conflicts: 898000 | #Constraints: 36605
2691.66/2699.55 c #Conflicts: 899000 | #Constraints: 37605
2691.66/2699.55 c #Conflicts: 900000 | #Constraints: 38605
2691.66/2699.55 c #Conflicts: 901000 | #Constraints: 39605
2691.66/2699.55 c #Conflicts: 902000 | #Constraints: 40605
2691.66/2699.55 c #Conflicts: 903000 | #Constraints: 41605
2691.66/2699.55 c INPROCESSING
2691.66/2699.55 c GARBAGE COLLECT
2691.66/2699.55 c #Conflicts: 904000 | #Constraints: 23808
2691.66/2699.55 c #Conflicts: 905000 | #Constraints: 24808
2691.66/2699.55 c #Conflicts: 906000 | #Constraints: 25808
2691.66/2699.55 c #Conflicts: 907000 | #Constraints: 26808
2691.66/2699.55 c #Conflicts: 908000 | #Constraints: 27808
2691.66/2699.55 c #Conflicts: 909000 | #Constraints: 28808
2691.66/2699.55 c #Conflicts: 910000 | #Constraints: 29808
2691.66/2699.55 c #Conflicts: 911000 | #Constraints: 30808
2691.66/2699.55 c #Conflicts: 912000 | #Constraints: 31808
2691.66/2699.55 c #Conflicts: 913000 | #Constraints: 32808
2691.66/2699.55 c #Conflicts: 914000 | #Constraints: 33808
2691.66/2699.55 c #Conflicts: 915000 | #Constraints: 34808
2691.66/2699.55 c #Conflicts: 916000 | #Constraints: 35808
2691.66/2699.55 c #Conflicts: 917000 | #Constraints: 36808
2691.66/2699.55 c #Conflicts: 918000 | #Constraints: 37808
2691.66/2699.55 c #Conflicts: 919000 | #Constraints: 38808
2691.66/2699.55 c #Conflicts: 920000 | #Constraints: 39808
2691.66/2699.55 c #Conflicts: 921000 | #Constraints: 40808
2691.66/2699.55 c #Conflicts: 922000 | #Constraints: 41808
2691.66/2699.55 c INPROCESSING
2691.66/2699.55 c GARBAGE COLLECT
2691.66/2699.55 c #Conflicts: 923000 | #Constraints: 23810
2691.66/2699.55 c #Conflicts: 924000 | #Constraints: 24810
2691.66/2699.55 c #Conflicts: 925000 | #Constraints: 25810
2691.66/2699.55 c #Conflicts: 926000 | #Constraints: 26810
2691.66/2699.55 c #Conflicts: 927000 | #Constraints: 27810
2691.66/2699.55 c #Conflicts: 928000 | #Constraints: 28810
2691.66/2699.55 c #Conflicts: 929000 | #Constraints: 29810
2691.66/2699.55 c #Conflicts: 930000 | #Constraints: 30810
2691.66/2699.55 c #Conflicts: 931000 | #Constraints: 31810
2691.66/2699.55 c #Conflicts: 932000 | #Constraints: 32810
2691.66/2699.55 c #Conflicts: 933000 | #Constraints: 33810
2691.66/2699.55 c #Conflicts: 934000 | #Constraints: 34810
2691.66/2699.55 c #Conflicts: 935000 | #Constraints: 35810
2691.66/2699.55 c #Conflicts: 936000 | #Constraints: 36810
2691.66/2699.55 c #Conflicts: 937000 | #Constraints: 37810
2691.66/2699.55 c #Conflicts: 938000 | #Constraints: 38810
2691.66/2699.55 c #Conflicts: 939000 | #Constraints: 39810
2691.66/2699.55 c #Conflicts: 940000 | #Constraints: 40810
2691.66/2699.55 c #Conflicts: 941000 | #Constraints: 41810
2691.66/2699.55 c INPROCESSING
2691.66/2699.55 c GARBAGE COLLECT
2691.66/2699.55 c #Conflicts: 942000 | #Constraints: 23606
2691.66/2699.55 c #Conflicts: 943000 | #Constraints: 24606
2691.66/2699.55 c #Conflicts: 944000 | #Constraints: 25606
2691.66/2699.55 c #Conflicts: 945000 | #Constraints: 26606
2691.66/2699.55 c #Conflicts: 946000 | #Constraints: 27606
2691.66/2699.55 c #Conflicts: 947000 | #Constraints: 28606
2691.66/2699.55 c #Conflicts: 948000 | #Constraints: 29606
2691.66/2699.55 c #Conflicts: 949000 | #Constraints: 30606
2691.66/2699.55 c #Conflicts: 950000 | #Constraints: 31606
2691.66/2699.55 c #Conflicts: 951000 | #Constraints: 32606
2691.66/2699.55 c #Conflicts: 952000 | #Constraints: 33606
2691.66/2699.55 c #Conflicts: 953000 | #Constraints: 34606
2691.66/2699.55 c #Conflicts: 954000 | #Constraints: 35606
2691.66/2699.55 c #Conflicts: 955000 | #Constraints: 36606
2691.66/2699.55 c #Conflicts: 956000 | #Constraints: 37606
2691.66/2699.55 c #Conflicts: 957000 | #Constraints: 38606
2691.66/2699.55 c #Conflicts: 958000 | #Constraints: 39606
2691.66/2699.55 c #Conflicts: 959000 | #Constraints: 40606
2691.66/2699.55 c #Conflicts: 960000 | #Constraints: 41606
2691.66/2699.55 c #Conflicts: 961000 | #Constraints: 42606
2691.66/2699.55 c INPROCESSING
2691.66/2699.55 c GARBAGE COLLECT
2691.66/2699.55 c #Conflicts: 962000 | #Constraints: 24207
2691.66/2699.55 c #Conflicts: 963000 | #Constraints: 25207
2691.66/2699.55 c #Conflicts: 964000 | #Constraints: 26207
2691.66/2699.55 c #Conflicts: 965000 | #Constraints: 27207
2691.66/2699.55 c #Conflicts: 966000 | #Constraints: 28207
2691.66/2699.55 c #Conflicts: 967000 | #Constraints: 29207
2919.61/2928.16 c #Conflicts: 968000 | #Constraints: 30207
2919.61/2928.16 c #Conflicts: 969000 | #Constraints: 31207
2919.61/2928.16 c #Conflicts: 970000 | #Constraints: 32207
2919.61/2928.16 c #Conflicts: 971000 | #Constraints: 33207
2919.61/2928.16 c #Conflicts: 972000 | #Constraints: 34207
2919.61/2928.16 c #Conflicts: 973000 | #Constraints: 35207
2919.61/2928.16 c #Conflicts: 974000 | #Constraints: 36207
2919.61/2928.16 c #Conflicts: 975000 | #Constraints: 37207
2919.61/2928.16 c #Conflicts: 976000 | #Constraints: 38207
2919.61/2928.16 c #Conflicts: 977000 | #Constraints: 39207
2919.61/2928.16 c #Conflicts: 978000 | #Constraints: 40207
2919.61/2928.16 c #Conflicts: 979000 | #Constraints: 41207
2919.61/2928.16 c #Conflicts: 980000 | #Constraints: 42207
2919.61/2928.16 c #Conflicts: 981000 | #Constraints: 43207
2919.61/2928.16 c INPROCESSING
2919.61/2928.16 c GARBAGE COLLECT
2919.61/2928.16 c #Conflicts: 982000 | #Constraints: 24611
2919.61/2928.16 c #Conflicts: 983000 | #Constraints: 25611
2919.61/2928.16 c #Conflicts: 984000 | #Constraints: 26611
2919.61/2928.16 c #Conflicts: 985000 | #Constraints: 27611
2919.61/2928.16 c #Conflicts: 986000 | #Constraints: 28611
2919.61/2928.16 c #Conflicts: 987000 | #Constraints: 29611
2919.61/2928.16 c #Conflicts: 988000 | #Constraints: 30611
2919.61/2928.16 c #Conflicts: 989000 | #Constraints: 31611
2919.61/2928.16 c #Conflicts: 990000 | #Constraints: 32611
2919.61/2928.16 c #Conflicts: 991000 | #Constraints: 33611
2919.61/2928.16 c #Conflicts: 992000 | #Constraints: 34611
2919.61/2928.16 c #Conflicts: 993000 | #Constraints: 35611
2919.61/2928.16 c #Conflicts: 994000 | #Constraints: 36611
2919.61/2928.16 c #Conflicts: 995000 | #Constraints: 37611
2919.61/2928.16 c #Conflicts: 996000 | #Constraints: 38611
2919.61/2928.16 c #Conflicts: 997000 | #Constraints: 39611
2919.61/2928.16 c #Conflicts: 998000 | #Constraints: 40611
2919.61/2928.16 c #Conflicts: 999000 | #Constraints: 41611
2919.61/2928.16 c #Conflicts: 1000000 | #Constraints: 42611
2919.61/2928.16 c #Conflicts: 1001000 | #Constraints: 43611
2919.61/2928.16 c INPROCESSING
2919.61/2928.16 c GARBAGE COLLECT
2919.61/2928.16 c #Conflicts: 1002000 | #Constraints: 24813
2919.61/2928.16 c #Conflicts: 1003000 | #Constraints: 25813
2919.61/2928.16 c #Conflicts: 1004000 | #Constraints: 26813
2919.61/2928.16 c #Conflicts: 1005000 | #Constraints: 27813
2919.61/2928.16 c #Conflicts: 1006000 | #Constraints: 28813
2919.61/2928.16 c #Conflicts: 1007000 | #Constraints: 29813
2919.61/2928.16 c #Conflicts: 1008000 | #Constraints: 30813
2919.61/2928.16 c #Conflicts: 1009000 | #Constraints: 31813
2919.61/2928.16 c #Conflicts: 1010000 | #Constraints: 32813
2919.61/2928.16 c #Conflicts: 1011000 | #Constraints: 33813
2919.61/2928.16 c #Conflicts: 1012000 | #Constraints: 34813
2919.61/2928.16 c #Conflicts: 1013000 | #Constraints: 35813
2919.61/2928.16 c #Conflicts: 1014000 | #Constraints: 36813
2919.61/2928.16 c #Conflicts: 1015000 | #Constraints: 37813
2919.61/2928.16 c #Conflicts: 1016000 | #Constraints: 38813
2919.61/2928.16 c #Conflicts: 1017000 | #Constraints: 39813
2919.61/2928.16 c #Conflicts: 1018000 | #Constraints: 40813
2919.61/2928.16 c #Conflicts: 1019000 | #Constraints: 41813
2919.61/2928.16 c #Conflicts: 1020000 | #Constraints: 42813
2919.61/2928.16 c #Conflicts: 1021000 | #Constraints: 43813
2919.61/2928.16 c INPROCESSING
2919.61/2928.16 c GARBAGE COLLECT
2919.61/2928.16 c #Conflicts: 1022000 | #Constraints: 24813
2919.61/2928.16 c #Conflicts: 1023000 | #Constraints: 25813
2919.61/2928.16 c #Conflicts: 1024000 | #Constraints: 26813
2919.61/2928.16 c #Conflicts: 1025000 | #Constraints: 27813
2919.61/2928.16 c #Conflicts: 1026000 | #Constraints: 28813
2919.61/2928.16 c #Conflicts: 1027000 | #Constraints: 29813
2919.61/2928.16 c #Conflicts: 1028000 | #Constraints: 30813
2919.61/2928.16 c #Conflicts: 1029000 | #Constraints: 31813
2919.61/2928.16 c #Conflicts: 1030000 | #Constraints: 32813
2919.61/2928.16 c #Conflicts: 1031000 | #Constraints: 33813
2919.61/2928.16 c #Conflicts: 1032000 | #Constraints: 34813
2919.61/2928.16 c #Conflicts: 1033000 | #Constraints: 35813
2919.61/2928.16 c #Conflicts: 1034000 | #Constraints: 36813
2919.61/2928.16 c #Conflicts: 1035000 | #Constraints: 37813
2919.61/2928.16 c #Conflicts: 1036000 | #Constraints: 38813
2919.61/2928.16 c #Conflicts: 1037000 | #Constraints: 39813
2919.61/2928.16 c #Conflicts: 1038000 | #Constraints: 40813
2919.61/2928.16 c #Conflicts: 1039000 | #Constraints: 41813
2919.61/2928.16 c #Conflicts: 1040000 | #Constraints: 42813
2919.61/2928.16 c #Conflicts: 1041000 | #Constraints: 43813
2919.61/2928.16 c INPROCESSING
2919.61/2928.16 c GARBAGE COLLECT
2919.61/2928.16 c #Conflicts: 1042000 | #Constraints: 24618
2919.61/2928.16 c #Conflicts: 1043000 | #Constraints: 25618
3128.31/3137.43 c #Conflicts: 1044000 | #Constraints: 26618
3128.31/3137.43 c #Conflicts: 1045000 | #Constraints: 27618
3128.31/3137.43 c #Conflicts: 1046000 | #Constraints: 28618
3128.31/3137.43 c #Conflicts: 1047000 | #Constraints: 29618
3128.31/3137.43 c #Conflicts: 1048000 | #Constraints: 30618
3128.31/3137.43 c #Conflicts: 1049000 | #Constraints: 31618
3128.31/3137.43 c #Conflicts: 1050000 | #Constraints: 32618
3128.31/3137.43 c #Conflicts: 1051000 | #Constraints: 33618
3128.31/3137.43 c #Conflicts: 1052000 | #Constraints: 34618
3128.31/3137.43 c #Conflicts: 1053000 | #Constraints: 35618
3128.31/3137.43 c #Conflicts: 1054000 | #Constraints: 36618
3128.31/3137.43 c #Conflicts: 1055000 | #Constraints: 37618
3128.31/3137.43 c #Conflicts: 1056000 | #Constraints: 38618
3128.31/3137.43 c #Conflicts: 1057000 | #Constraints: 39618
3128.31/3137.43 c #Conflicts: 1058000 | #Constraints: 40618
3128.31/3137.43 c #Conflicts: 1059000 | #Constraints: 41618
3128.31/3137.43 c #Conflicts: 1060000 | #Constraints: 42618
3128.31/3137.43 c #Conflicts: 1061000 | #Constraints: 43618
3128.31/3137.43 c #Conflicts: 1062000 | #Constraints: 44618
3128.31/3137.43 c INPROCESSING
3128.31/3137.43 c GARBAGE COLLECT
3128.31/3137.43 c #Conflicts: 1063000 | #Constraints: 25225
3128.31/3137.43 c #Conflicts: 1064000 | #Constraints: 26225
3128.31/3137.43 c #Conflicts: 1065000 | #Constraints: 27225
3128.31/3137.43 c #Conflicts: 1066000 | #Constraints: 28225
3128.31/3137.43 c #Conflicts: 1067000 | #Constraints: 29225
3128.31/3137.43 c #Conflicts: 1068000 | #Constraints: 30225
3128.31/3137.43 c #Conflicts: 1069000 | #Constraints: 31225
3128.31/3137.43 c #Conflicts: 1070000 | #Constraints: 32225
3128.31/3137.43 c #Conflicts: 1071000 | #Constraints: 33225
3128.31/3137.43 c #Conflicts: 1072000 | #Constraints: 34225
3128.31/3137.43 c #Conflicts: 1073000 | #Constraints: 35225
3128.31/3137.43 c #Conflicts: 1074000 | #Constraints: 36225
3128.31/3137.43 c #Conflicts: 1075000 | #Constraints: 37225
3128.31/3137.43 c #Conflicts: 1076000 | #Constraints: 38225
3128.31/3137.43 c #Conflicts: 1077000 | #Constraints: 39225
3128.31/3137.43 c #Conflicts: 1078000 | #Constraints: 40225
3128.31/3137.43 c #Conflicts: 1079000 | #Constraints: 41225
3128.31/3137.43 c #Conflicts: 1080000 | #Constraints: 42225
3128.31/3137.43 c #Conflicts: 1081000 | #Constraints: 43225
3128.31/3137.43 c #Conflicts: 1082000 | #Constraints: 44225
3128.31/3137.43 c #Conflicts: 1083000 | #Constraints: 45225
3128.31/3137.43 c INPROCESSING
3128.31/3137.43 c GARBAGE COLLECT
3128.31/3137.43 c #Conflicts: 1084000 | #Constraints: 25628
3128.31/3137.43 c #Conflicts: 1085000 | #Constraints: 26628
3128.31/3137.43 c #Conflicts: 1086000 | #Constraints: 27628
3128.31/3137.43 c #Conflicts: 1087000 | #Constraints: 28628
3128.31/3137.43 c #Conflicts: 1088000 | #Constraints: 29628
3128.31/3137.43 c #Conflicts: 1089000 | #Constraints: 30628
3128.31/3137.43 c #Conflicts: 1090000 | #Constraints: 31628
3128.31/3137.43 c #Conflicts: 1091000 | #Constraints: 32628
3128.31/3137.43 c #Conflicts: 1092000 | #Constraints: 33628
3128.31/3137.43 c #Conflicts: 1093000 | #Constraints: 34628
3128.31/3137.43 c #Conflicts: 1094000 | #Constraints: 35628
3128.31/3137.43 c #Conflicts: 1095000 | #Constraints: 36628
3128.31/3137.43 c #Conflicts: 1096000 | #Constraints: 37628
3128.31/3137.43 c #Conflicts: 1097000 | #Constraints: 38628
3128.31/3137.43 c #Conflicts: 1098000 | #Constraints: 39628
3128.31/3137.43 c #Conflicts: 1099000 | #Constraints: 40628
3128.31/3137.43 c #Conflicts: 1100000 | #Constraints: 41628
3128.31/3137.43 c #Conflicts: 1101000 | #Constraints: 42628
3128.31/3137.43 c #Conflicts: 1102000 | #Constraints: 43628
3128.31/3137.43 c #Conflicts: 1103000 | #Constraints: 44628
3128.31/3137.43 c #Conflicts: 1104000 | #Constraints: 45628
3128.31/3137.43 c INPROCESSING
3128.31/3137.43 c GARBAGE COLLECT
3128.31/3137.43 c #Conflicts: 1105000 | #Constraints: 25828
3128.31/3137.43 c #Conflicts: 1106000 | #Constraints: 26828
3128.31/3137.43 c #Conflicts: 1107000 | #Constraints: 27828
3128.31/3137.43 c #Conflicts: 1108000 | #Constraints: 28828
3128.31/3137.43 c #Conflicts: 1109000 | #Constraints: 29828
3128.31/3137.43 c #Conflicts: 1110000 | #Constraints: 30828
3128.31/3137.43 c #Conflicts: 1111000 | #Constraints: 31828
3128.31/3137.43 c #Conflicts: 1112000 | #Constraints: 32828
3128.31/3137.43 c #Conflicts: 1113000 | #Constraints: 33828
3128.31/3137.43 c #Conflicts: 1114000 | #Constraints: 34828
3128.31/3137.43 c #Conflicts: 1115000 | #Constraints: 35828
3128.31/3137.43 c #Conflicts: 1116000 | #Constraints: 36828
3128.31/3137.43 c #Conflicts: 1117000 | #Constraints: 37828
3128.31/3137.43 c #Conflicts: 1118000 | #Constraints: 38828
3128.31/3137.43 c #Conflicts: 1119000 | #Constraints: 39828
3128.31/3137.43 c #Conflicts: 1120000 | #Constraints: 40828
3423.17/3433.14 c #Conflicts: 1121000 | #Constraints: 41828
3423.17/3433.14 c #Conflicts: 1122000 | #Constraints: 42828
3423.17/3433.14 c #Conflicts: 1123000 | #Constraints: 43828
3423.17/3433.14 c #Conflicts: 1124000 | #Constraints: 44828
3423.17/3433.14 c #Conflicts: 1125000 | #Constraints: 45828
3423.17/3433.14 c INPROCESSING
3423.17/3433.14 c GARBAGE COLLECT
3423.17/3433.14 c #Conflicts: 1126000 | #Constraints: 25824
3423.17/3433.14 c #Conflicts: 1127000 | #Constraints: 26824
3423.17/3433.14 c #Conflicts: 1128000 | #Constraints: 27824
3423.17/3433.14 c #Conflicts: 1129000 | #Constraints: 28824
3423.17/3433.14 c #Conflicts: 1130000 | #Constraints: 29824
3423.17/3433.14 c #Conflicts: 1131000 | #Constraints: 30824
3423.17/3433.14 c #Conflicts: 1132000 | #Constraints: 31824
3423.17/3433.14 c #Conflicts: 1133000 | #Constraints: 32824
3423.17/3433.14 c #Conflicts: 1134000 | #Constraints: 33824
3423.17/3433.14 c #Conflicts: 1135000 | #Constraints: 34824
3423.17/3433.14 c #Conflicts: 1136000 | #Constraints: 35824
3423.17/3433.14 c #Conflicts: 1137000 | #Constraints: 36824
3423.17/3433.14 c #Conflicts: 1138000 | #Constraints: 37824
3423.17/3433.14 c #Conflicts: 1139000 | #Constraints: 38824
3423.17/3433.14 c #Conflicts: 1140000 | #Constraints: 39824
3423.17/3433.14 c #Conflicts: 1141000 | #Constraints: 40824
3423.17/3433.14 c #Conflicts: 1142000 | #Constraints: 41824
3423.17/3433.14 c #Conflicts: 1143000 | #Constraints: 42824
3423.17/3433.14 c #Conflicts: 1144000 | #Constraints: 43824
3423.17/3433.14 c #Conflicts: 1145000 | #Constraints: 44824
3423.17/3433.14 c #Conflicts: 1146000 | #Constraints: 45824
3423.17/3433.14 c INPROCESSING
3423.17/3433.14 c GARBAGE COLLECT
3423.17/3433.14 c #Conflicts: 1147000 | #Constraints: 25621
3423.17/3433.14 c #Conflicts: 1148000 | #Constraints: 26621
3423.17/3433.14 c #Conflicts: 1149000 | #Constraints: 27621
3423.17/3433.14 c #Conflicts: 1150000 | #Constraints: 28621
3423.17/3433.14 c #Conflicts: 1151000 | #Constraints: 29621
3423.17/3433.14 c #Conflicts: 1152000 | #Constraints: 30621
3423.17/3433.14 c #Conflicts: 1153000 | #Constraints: 31621
3423.17/3433.14 c #Conflicts: 1154000 | #Constraints: 32621
3423.17/3433.14 c #Conflicts: 1155000 | #Constraints: 33621
3423.17/3433.14 c #Conflicts: 1156000 | #Constraints: 34621
3423.17/3433.14 c #Conflicts: 1157000 | #Constraints: 35621
3423.17/3433.14 c #Conflicts: 1158000 | #Constraints: 36621
3423.17/3433.14 c #Conflicts: 1159000 | #Constraints: 37621
3423.17/3433.14 c #Conflicts: 1160000 | #Constraints: 38621
3423.17/3433.14 c #Conflicts: 1161000 | #Constraints: 39621
3423.17/3433.14 c #Conflicts: 1162000 | #Constraints: 40621
3423.17/3433.14 c #Conflicts: 1163000 | #Constraints: 41621
3423.17/3433.14 c #Conflicts: 1164000 | #Constraints: 42621
3423.17/3433.14 c #Conflicts: 1165000 | #Constraints: 43621
3423.17/3433.14 c #Conflicts: 1166000 | #Constraints: 44621
3423.17/3433.14 c #Conflicts: 1167000 | #Constraints: 45621
3423.17/3433.14 c #Conflicts: 1168000 | #Constraints: 46621
3423.17/3433.14 c INPROCESSING
3423.17/3433.14 c GARBAGE COLLECT
3423.17/3433.14 c #Conflicts: 1169000 | #Constraints: 26221
3423.17/3433.14 c #Conflicts: 1170000 | #Constraints: 27221
3423.17/3433.14 c #Conflicts: 1171000 | #Constraints: 28221
3423.17/3433.14 c #Conflicts: 1172000 | #Constraints: 29221
3423.17/3433.14 c #Conflicts: 1173000 | #Constraints: 30221
3423.17/3433.14 c #Conflicts: 1174000 | #Constraints: 31221
3423.17/3433.14 c #Conflicts: 1175000 | #Constraints: 32221
3423.17/3433.14 c #Conflicts: 1176000 | #Constraints: 33221
3423.17/3433.14 c #Conflicts: 1177000 | #Constraints: 34221
3423.17/3433.14 c #Conflicts: 1178000 | #Constraints: 35221
3423.17/3433.14 c #Conflicts: 1179000 | #Constraints: 36221
3423.17/3433.14 c #Conflicts: 1180000 | #Constraints: 37221
3423.17/3433.14 c #Conflicts: 1181000 | #Constraints: 38221
3423.17/3433.14 c #Conflicts: 1182000 | #Constraints: 39221
3423.17/3433.14 c #Conflicts: 1183000 | #Constraints: 40221
3423.17/3433.14 c #Conflicts: 1184000 | #Constraints: 41221
3423.17/3433.14 c #Conflicts: 1185000 | #Constraints: 42221
3423.17/3433.14 c #Conflicts: 1186000 | #Constraints: 43221
3423.17/3433.14 c #Conflicts: 1187000 | #Constraints: 44221
3423.17/3433.14 c #Conflicts: 1188000 | #Constraints: 45221
3423.17/3433.14 c #Conflicts: 1189000 | #Constraints: 46221
3423.17/3433.14 c #Conflicts: 1190000 | #Constraints: 47221
3423.17/3433.14 c INPROCESSING
3423.17/3433.14 c GARBAGE COLLECT
3423.17/3433.14 c #Conflicts: 1191000 | #Constraints: 26614
3423.17/3433.14 c #Conflicts: 1192000 | #Constraints: 27614
3423.17/3433.14 c #Conflicts: 1193000 | #Constraints: 28614
3423.17/3433.14 c #Conflicts: 1194000 | #Constraints: 29614
3423.17/3433.14 c #Conflicts: 1195000 | #Constraints: 30614
3423.17/3433.14 c #Conflicts: 1196000 | #Constraints: 31614
3600.07/3610.52 c #Conflicts: 1197000 | #Constraints: 32614
3600.07/3610.52 c #Conflicts: 1198000 | #Constraints: 33614
3600.07/3610.52 c #Conflicts: 1199000 | #Constraints: 34614
3600.07/3610.52 c #Conflicts: 1200000 | #Constraints: 35614
3600.07/3610.52 c #Conflicts: 1201000 | #Constraints: 36614
3600.07/3610.52 c #Conflicts: 1202000 | #Constraints: 37614
3600.07/3610.52 c #Conflicts: 1203000 | #Constraints: 38614
3600.07/3610.52 c #Conflicts: 1204000 | #Constraints: 39614
3600.07/3610.52 c #Conflicts: 1205000 | #Constraints: 40614
3600.07/3610.52 c #Conflicts: 1206000 | #Constraints: 41614
3600.07/3610.52 c #Conflicts: 1207000 | #Constraints: 42614
3600.07/3610.52 c #Conflicts: 1208000 | #Constraints: 43614
3600.07/3610.52 c #Conflicts: 1209000 | #Constraints: 44614
3600.07/3610.52 c #Conflicts: 1210000 | #Constraints: 45614
3600.07/3610.52 c #Conflicts: 1211000 | #Constraints: 46614
3600.07/3610.52 c #Conflicts: 1212000 | #Constraints: 47614
3600.07/3610.52 c INPROCESSING
3600.07/3610.52 c GARBAGE COLLECT
3600.07/3610.52 c #Conflicts: 1213000 | #Constraints: 26810
3600.07/3610.52 c #Conflicts: 1214000 | #Constraints: 27810
3600.07/3610.52 c #Conflicts: 1215000 | #Constraints: 28810
3600.07/3610.52 c #Conflicts: 1216000 | #Constraints: 29810
3600.07/3610.52 c #Conflicts: 1217000 | #Constraints: 30810
3600.07/3610.52 c #Conflicts: 1218000 | #Constraints: 31810
3600.07/3610.52 c #Conflicts: 1219000 | #Constraints: 32810
3600.07/3610.52 c #Conflicts: 1220000 | #Constraints: 33810
3600.07/3610.52 c #Conflicts: 1221000 | #Constraints: 34810
3600.07/3610.52 c #Conflicts: 1222000 | #Constraints: 35810
3600.07/3610.52 c #Conflicts: 1223000 | #Constraints: 36810
3600.07/3610.52 c #Conflicts: 1224000 | #Constraints: 37810
3600.07/3610.52 c #Conflicts: 1225000 | #Constraints: 38810
3600.07/3610.52 c #Conflicts: 1226000 | #Constraints: 39810
3600.07/3610.52 c #Conflicts: 1227000 | #Constraints: 40810
3600.07/3610.52 c #Conflicts: 1228000 | #Constraints: 41810
3600.07/3610.52 c #Conflicts: 1229000 | #Constraints: 42810
3600.07/3610.52 c #Conflicts: 1230000 | #Constraints: 43810
3600.07/3610.52 c #Conflicts: 1231000 | #Constraints: 44810
3600.07/3610.52 c #Conflicts: 1232000 | #Constraints: 45810
3600.07/3610.52 c #Conflicts: 1233000 | #Constraints: 46810
3600.07/3610.52 c #Conflicts: 1234000 | #Constraints: 47810
3600.07/3610.52 c INPROCESSING
3600.07/3610.52 c GARBAGE COLLECT
3600.07/3610.52 c #Conflicts: 1235000 | #Constraints: 26810
3600.07/3610.52 c #Conflicts: 1236000 | #Constraints: 27810
3600.07/3610.52 c #Conflicts: 1237000 | #Constraints: 28810
3600.07/3610.52 c #Conflicts: 1238000 | #Constraints: 29810
3600.07/3610.52 c Program interrupted by user.
3600.07/3610.52 c cpu time 3591.91 s
3600.07/3610.52 c deterministic time 578098542313 5.78e+11
3600.07/3610.52 c optimization time 11.4732 s
3600.07/3610.52 c total solve time 3281.24 s
3600.07/3610.52 c core-guided solve time 3281.24 s
3600.07/3610.52 c propagation time 2668.61 s
3600.07/3610.52 c conflict analysis time 488.665 s
3600.07/3610.52 c propagations 146226032
3600.07/3610.52 c resolve steps 10252980
3600.07/3610.52 c decisions 4978985
3600.07/3610.52 c conflicts 1238964
3600.07/3610.52 c restarts 2335
3600.07/3610.52 c inprocessing phases 102
3600.07/3610.52 c input clauses 3912
3600.07/3610.52 c input cardinalities 150
3600.07/3610.52 c input general constraints 0
3600.07/3610.52 c input average constraint length 63.13
3600.07/3610.52 c input average constraint degree 28.59
3600.07/3610.52 c learned clauses 444424
3600.07/3610.52 c learned cardinalities 119608
3600.07/3610.52 c learned general constraints 675080
3600.07/3610.52 c learned average constraint length 720.41
3600.07/3610.52 c learned average constraint degree 9498.64
3600.07/3610.52 c watched constraints 373491
3600.07/3610.52 c counting constraints 301589
3600.07/3610.52 c gcd simplifications 32408
3600.07/3610.52 c detected cardinalities 1503
3600.07/3610.52 c weakened non-implied lits 166405948
3600.07/3610.52 c weakened non-implying lits 51039
3600.07/3610.52 c original variables 1964
3600.07/3610.52 c clausal propagations 70855742
3600.07/3610.52 c cardinality propagations 9039517
3600.07/3610.52 c watched propagations 11182947
3600.07/3610.52 c counting propagations 46724352
3600.07/3610.52 c watch lookups 47686570863
3600.07/3610.52 c watch backjump lookups 39823153648
3600.07/3610.52 c watch checks 454242816720
3600.07/3610.52 c propagation checks 33578237726
3600.07/3610.52 c constraint additions 2464114358
3600.07/3610.52 c trail pops 152443980
3600.07/3610.52 c formula constraints 3240
3600.07/3610.52 c learned constraints 1239112
3600.07/3610.52 c bound constraints 150
3600.07/3610.52 c core-guided constraints 672
3600.07/3610.52 c encountered formula constraints 7171781
3600.07/3610.52 c encountered learned constraints 3120329
3600.07/3610.52 c encountered bound constraints 1
3600.07/3610.52 c encountered core-guided constraints 1199833
3600.07/3610.52 c LP total time 0 s
3600.07/3610.52 c LP solve time 0 s
3600.07/3610.52 c LP constraints added 0
3600.07/3610.52 c LP constraints removed 0
3600.07/3610.52 c LP pivots internal 0
3600.07/3610.52 c LP pivots root 0
3600.07/3610.52 c LP calls 0
3600.07/3610.52 c LP optimalities 0
3600.07/3610.52 c LP no pivot count 0
3600.07/3610.52 c LP infeasibilities 0
3600.07/3610.52 c LP valid Farkas constraints 0
3600.07/3610.52 c LP learned Farkas constraints 0
3600.07/3610.52 c LP basis resets 0
3600.07/3610.52 c LP cycling count 0
3600.07/3610.52 c LP singular count 0
3600.07/3610.52 c LP no primal count 0
3600.07/3610.52 c LP no farkas count 0
3600.07/3610.52 c LP other issue count 0
3600.07/3610.52 c LP Gomory cuts 0
3600.07/3610.52 c LP learned cuts 0
3600.07/3610.52 c LP deleted cuts 0
3600.07/3610.52 c LP encountered Gomory constraints 0
3600.07/3610.52 c LP encountered Farkas constraints 0
3600.07/3610.52 c LP encountered learned Farkas constraints 0
3600.07/3610.52 c CG auxiliary variables introduced 672
3600.07/3610.52 c CG solutions found 0
3600.07/3610.52 c CG cores constructed 149
3600.07/3610.52 c CG core cardinality constraints returned 0
3600.07/3610.52 c CG unit cores 0
3600.07/3610.52 c CG single cores 149
3600.07/3610.52 c CG blocks removed during cardinality reduction 0
3600.07/3610.52 c CG first core best 0
3600.07/3610.52 c CG decision core best 0
3600.07/3610.52 c CG core reduction tie 0
3600.07/3610.52 c CG core degree average 1.00
3600.07/3610.52 c CG core slack average 3.10
3600.07/3610.52 c CG exhausted 0
3600.07/3610.52 c CG exhaust time 0 s
3600.07/3610.52 c CG trimmed 0
3600.07/3610.52 c CG trim time 0.00095 s
3600.07/3610.52 c CG minimized 0
3600.07/3610.52 c CG minimize time 0 s
3600.07/3610.52 c CG am1 prop time 0.002019 s
3600.07/3610.52 c CG # am1s reformulated 672
3600.07/3610.52 c CG lower bound derived from am1s 673
3600.07/3610.52 c CG # clausal cores 149
3600.07/3610.52 c CG # cardinality cores 0
3600.07/3610.52 c CG # pb cores 0
3600.07/3610.52 c CG # pb reforms 0
3600.07/3610.52 c CG # cores discarded because of pb reform 0
3600.07/3610.52 d LOWERBOUND 822
3600.07/3610.52 d NCORES 149
3600.07/3610.52 d NPBCORES 0
3600.07/3610.52 d NPBREFORM 0
3600.07/3610.52 d NTRIMMED 0
3600.07/3610.52 d NEXHAUSTED 0
3600.07/3610.52 d NAM1S 672
3600.07/3610.52 d AM1LB 673
3600.07/3610.52 c [Papilo Statistics]
3600.07/3610.52 c prepro time 0.00472807s
3600.07/3610.52 c # tsx applied 151
3600.07/3610.52 c # tsx conflicts 10
3600.07/3610.52 c # bound changes 149
3600.07/3610.52 c # side changes 0
3600.07/3610.52 c # coef changes 0
3600.07/3610.52 c # rounds 2
3600.07/3610.52 c # deted vars 311
3600.07/3610.52 c # deted constrs 760
3600.07/3610.52 c # consecutive rounds of only bound changes 0
3600.07/3610.52 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62013 MiB free)
memory of node 1: 64507 MiB (56758 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528920-1752256448/watcher-4528920-1752256448 -o /tmp/evaluation-result-4528920-1752256448/solver-4528920-1752256448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752256448-119450 --watchdog 3760 mixed-bag HOME/instance-4528920-1752256448.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=119501, runsolver pid=119492
[startup+0.100063 s]*
/proc/loadavg: 2.94 3.85 4.00 5/264 119510
/proc/meminfo: memFree=121556248/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=114140 memory=40260 CPUtime=0.08 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 6902 0 0 0 7 1 0 0 20 0 1 0 141322604 116879360 10065 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 28535 10065 4224 2834 0 10740 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 114140 KiB
Current children cumulated memory: 40260 KiB
[startup+0.205682 s]*
/proc/loadavg: 2.94 3.85 4.00 5/264 119510
/proc/meminfo: memFree=121549056/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=115964 memory=42052 CPUtime=0.19 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 7339 0 0 0 18 1 0 0 20 0 1 0 141322604 118747136 10513 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 28991 10513 4256 2834 0 11196 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 115964 KiB
Current children cumulated memory: 42052 KiB
[startup+0.304937 s]*
/proc/loadavg: 2.94 3.85 4.00 5/264 119510
/proc/meminfo: memFree=121545276/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=119808 memory=45636 CPUtime=0.28 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 8225 0 0 0 27 1 0 0 20 0 1 0 141322604 122683392 11409 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 29952 11409 4256 2834 0 12157 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 119808 KiB
Current children cumulated memory: 45636 KiB
[startup+0.700133 s]
/proc/loadavg: 2.94 3.85 4.00 5/264 119510
/proc/meminfo: memFree=121537212/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=121344 memory=46916 CPUtime=0.67 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 8557 0 0 0 66 1 0 0 20 0 1 0 141322604 124256256 11729 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 30336 11729 4256 2834 0 12541 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 121344 KiB
Current children cumulated memory: 46916 KiB
[startup+1.50011 s]
/proc/loadavg: 2.94 3.85 4.00 5/264 119510
/proc/meminfo: memFree=121525620/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=125876 memory=50756 CPUtime=1.47 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 9513 0 0 0 146 1 0 0 20 0 1 0 141322604 128897024 12689 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 31469 12689 4256 2834 0 13674 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 125876 KiB
Current children cumulated memory: 50756 KiB
[startup+3.10459 s]
/proc/loadavg: 3.11 3.87 4.01 5/264 119510
/proc/meminfo: memFree=121433224/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=142308 memory=66884 CPUtime=3.07 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 13534 0 0 0 305 2 0 0 20 0 1 0 141322604 145723392 16721 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 35577 16721 4256 2834 0 17782 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 142308 KiB
Current children cumulated memory: 66884 KiB
[startup+6.30013 s]
/proc/loadavg: 3.11 3.87 4.01 5/264 119510
/proc/meminfo: memFree=121304680/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=192400 memory=115652 CPUtime=6.26 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 25737 0 0 0 623 3 0 0 20 0 1 0 141322604 197017600 28913 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 48100 28913 4256 2834 0 30305 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 192400 KiB
Current children cumulated memory: 115652 KiB
[startup+12.7001 s]
/proc/loadavg: 3.25 3.87 4.01 5/264 119510
/proc/meminfo: memFree=121111420/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=225120 memory=144048 CPUtime=12.64 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 33935 0 0 0 1259 5 0 0 20 0 1 0 141322604 230522880 36012 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 56280 36012 4256 2834 0 38485 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 225120 KiB
Current children cumulated memory: 144048 KiB
[startup+25.5001 s]
/proc/loadavg: 3.36 3.88 4.01 5/264 119510
/proc/meminfo: memFree=121111468/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=230216 memory=148784 CPUtime=25.4 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 35109 0 0 0 2535 5 0 0 20 0 1 0 141322604 235741184 37196 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 57554 37196 4256 2834 0 39759 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 230216 KiB
Current children cumulated memory: 148784 KiB
[startup+51.1045 s]
/proc/loadavg: 3.66 3.90 4.01 5/264 119511
/proc/meminfo: memFree=120922144/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=279208 memory=194120 CPUtime=50.94 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 46669 0 0 0 5086 8 0 0 20 0 1 0 141322604 285908992 48530 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 69802 48530 4256 2834 0 52007 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 279208 KiB
Current children cumulated memory: 194120 KiB
[startup+102.3 s]
/proc/loadavg: 3.93 3.94 4.01 5/264 119513
/proc/meminfo: memFree=120701040/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=306240 memory=221256 CPUtime=102.01 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 56007 0 0 0 10191 10 0 0 20 0 1 0 141322604 313589760 55314 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 76560 55314 4256 2834 0 58765 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 306240 KiB
Current children cumulated memory: 221256 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 3.97 4.01 5/265 119516
/proc/meminfo: memFree=120554744/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=386176 memory=292512 CPUtime=161.84 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 75218 0 0 0 16171 13 0 0 20 0 1 0 141322604 395444224 73128 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 96544 73128 4256 2834 0 78749 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 386176 KiB
Current children cumulated memory: 292512 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.01 4.02 5/265 119517
/proc/meminfo: memFree=120509384/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=386176 memory=293792 CPUtime=221.68 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 75314 0 0 0 22155 13 0 0 20 0 1 0 141322604 395444224 73448 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 96544 73448 4256 2834 0 78749 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 386176 KiB
Current children cumulated memory: 293792 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.02 4.02 5/264 119519
/proc/meminfo: memFree=120446656/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=386984 memory=305056 CPUtime=281.51 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 75590 0 0 0 28138 13 0 0 20 0 1 0 141322604 396271616 76264 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 96746 76264 4256 2834 0 78951 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 386984 KiB
Current children cumulated memory: 305056 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.04 4.02 5/263 119527
/proc/meminfo: memFree=120850484/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=296616 memory=230544 CPUtime=341.33 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 78488 0 0 0 34081 52 0 0 20 0 1 0 141322604 303734784 57636 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 74154 57636 4448 2834 0 56359 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 296616 KiB
Current children cumulated memory: 230544 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.05 4.02 5/263 119529
/proc/meminfo: memFree=120760100/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=327436 memory=244752 CPUtime=401.17 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 79070 0 0 0 40040 77 0 0 20 0 1 0 141322604 335294464 61188 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 81859 61188 4448 2834 0 64064 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 327436 KiB
Current children cumulated memory: 244752 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.05 4.02 5/262 119542
/proc/meminfo: memFree=120700572/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=327436 memory=257040 CPUtime=461.01 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 79167 0 0 0 45996 105 0 0 20 0 1 0 141322604 335294464 64260 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 81859 64260 4448 2834 0 64064 0
Current children cumulated CPU time: 461.01 s
################
# More data... #
################
Current children cumulated memory: 427660 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/262 119653
/proc/meminfo: memFree=119789912/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=532560 memory=427660 CPUtime=2913.82 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 93432 0 0 0 290682 700 0 0 20 0 1 0 141322604 545341440 106915 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 133140 106915 4448 2834 0 115345 0
Current children cumulated CPU time: 2913.82 s
Current children cumulated vsize: 532560 KiB
Current children cumulated memory: 427660 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 119656
/proc/meminfo: memFree=119790144/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=534024 memory=428556 CPUtime=2973.65 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 93653 0 0 0 296654 711 0 0 20 0 1 0 141322604 546840576 107139 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 133506 107139 4448 2834 0 115711 0
Current children cumulated CPU time: 2973.65 s
Current children cumulated vsize: 534024 KiB
Current children cumulated memory: 428556 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 119658
/proc/meminfo: memFree=119790376/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=534868 memory=429196 CPUtime=3033.48 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 93837 0 0 0 302627 721 0 0 20 0 1 0 141322604 547704832 107299 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 133717 107299 4448 2834 0 115922 0
Current children cumulated CPU time: 3033.48 s
Current children cumulated vsize: 534868 KiB
Current children cumulated memory: 429196 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 119660
/proc/meminfo: memFree=119790296/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=534868 memory=429196 CPUtime=3093.31 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 93837 0 0 0 308598 733 0 0 20 0 1 0 141322604 547704832 107299 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 133717 107299 4448 2834 0 115922 0
Current children cumulated CPU time: 3093.31 s
Current children cumulated vsize: 534868 KiB
Current children cumulated memory: 429196 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 119662
/proc/meminfo: memFree=119786368/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=534868 memory=429324 CPUtime=3153.14 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 93843 0 0 0 314572 742 0 0 20 0 1 0 141322604 547704832 107331 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 133717 107331 4448 2834 0 115922 0
Current children cumulated CPU time: 3153.14 s
Current children cumulated vsize: 534868 KiB
Current children cumulated memory: 429324 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 119664
/proc/meminfo: memFree=119773700/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=534868 memory=429324 CPUtime=3212.97 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 93847 0 0 0 320543 754 0 0 20 0 1 0 141322604 547704832 107331 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 133717 107331 4448 2834 0 115922 0
Current children cumulated CPU time: 3212.97 s
Current children cumulated vsize: 534868 KiB
Current children cumulated memory: 429324 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/262 119666
/proc/meminfo: memFree=119773160/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=534868 memory=433452 CPUtime=3272.79 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 93853 0 0 0 326513 766 0 0 20 0 1 0 141322604 547704832 108363 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 133717 108363 4448 2834 0 115922 0
Current children cumulated CPU time: 3272.79 s
Current children cumulated vsize: 534868 KiB
Current children cumulated memory: 433452 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 119675
/proc/meminfo: memFree=119774064/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=534868 memory=433452 CPUtime=3332.63 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 93853 0 0 0 332485 778 0 0 20 0 1 0 141322604 547704832 108363 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 133717 108363 4448 2834 0 115922 0
Current children cumulated CPU time: 3332.63 s
Current children cumulated vsize: 534868 KiB
Current children cumulated memory: 433452 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 119677
/proc/meminfo: memFree=119755704/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=536328 memory=434220 CPUtime=3392.45 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 94058 0 0 0 338460 785 0 0 20 0 1 0 141322604 549199872 108555 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 134082 108555 4448 2834 0 116287 0
Current children cumulated CPU time: 3392.45 s
Current children cumulated vsize: 536328 KiB
Current children cumulated memory: 434220 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 119679
/proc/meminfo: memFree=119755756/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=537428 memory=434988 CPUtime=3452.29 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 94256 0 0 0 344432 797 0 0 20 0 1 0 141322604 550326272 108747 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 134357 108747 4448 2834 0 116562 0
Current children cumulated CPU time: 3452.29 s
Current children cumulated vsize: 537428 KiB
Current children cumulated memory: 434988 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 119681
/proc/meminfo: memFree=119739408/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=537684 memory=439432 CPUtime=3512.12 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 94326 0 0 0 350406 806 0 0 20 0 1 0 141322604 550588416 109858 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 134421 109858 4448 2834 0 116626 0
Current children cumulated CPU time: 3512.12 s
Current children cumulated vsize: 537684 KiB
Current children cumulated memory: 439432 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 119683
/proc/meminfo: memFree=119737504/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=537684 memory=439432 CPUtime=3571.96 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 94521 0 0 0 356383 813 0 0 20 0 1 0 141322604 550588416 109858 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 134421 109858 4448 2834 0 116626 0
Current children cumulated CPU time: 3571.96 s
Current children cumulated vsize: 537684 KiB
Current children cumulated memory: 439432 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.09 4.09 4.09 3/256 119693
/proc/meminfo: memFree=120754648/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=537940 memory=447640 CPUtime=3600.07 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 94597 0 0 0 359188 819 0 0 20 0 1 0 141322604 550850560 111910 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 134485 111910 4448 2834 0 116690 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 537940 KiB
Current children cumulated memory: 447640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.53 s]
# the end of solver process 119501 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.91 s, system=8.20107 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.09 4.09 4.09 3/256 119693
/proc/meminfo: memFree=120754648/131249996 swapFree=33010416/33010684
[pid=119501] ppid=119492 vsize=537940 memory=447640 CPUtime=3600.07 cores=0,2
/proc/119501/stat : 119501 (mixed-bag) R 119492 119501 119440 0 -1 4194304 94597 0 0 0 359188 819 0 0 20 0 1 0 141322604 550850560 111910 18446744073709551615 4235264 15840557 140733480487872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 52445184 140733480495514 140733480495591 140733480495591 140733480501195 0
/proc/119501/statm: 134485 111910 4448 2834 0 116690 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 537940 KiB
Current children cumulated memory: 447640 KiB
Child status: 0
Real time (s): 3610.53
CPU time (s): 3600.11
CPU user time (s): 3591.91
CPU system time (s): 8.20107
CPU usage (%): 99.7116
Max. virtual memory (cumulated for all children) (KiB): 537940
Max. memory (cumulated for all children) (KiB): 447640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.91
system time used= 8.20107
maximum resident set size= 448152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94627
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199
involuntary context switches= 7944
# summary of solver processes directly reported to runsolver:
# pid: 119501
# total CPU time (s): 3600.11
# total CPU user time (s): 3591.91
# total CPU system time (s): 8.20107
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85326 second user time and 15.7124 second system time
The end
Begin job on nodeC022 at 2025-07-11 19:54:08
IDJOB=4528920
IDBENCH=147534
IDSOLVER=3386
FILE ID=nodeC022/4528920-1752256448
RUNJOBID= nodeC022-1752256448-119450
SLURM_JOB_ID= 9682600
Free space on /tmp= 432152 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528920-1752256448/watcher-4528920-1752256448 -o /tmp/evaluation-result-4528920-1752256448/solver-4528920-1752256448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752256448-119450 --watchdog 3760 mixed-bag HOME/instance-4528920-1752256448.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 40839a009ce460ae7be0fe2be6267e36
RANDOM SEED=856085768
nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3566.505
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.218
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.720
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.901
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.330
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.729
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.852
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3458.398
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 121628128 kB
MemAvailable: 129703776 kB
Buffers: 2128 kB
Cached: 8823904 kB
SwapCached: 32 kB
Active: 723644 kB
Inactive: 8167100 kB
Active(anon): 80628 kB
Inactive(anon): 2124 kB
Active(file): 643016 kB
Inactive(file): 8164976 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 61468 kB
Writeback: 4 kB
AnonPages: 67820 kB
Mapped: 106496 kB
Shmem: 18028 kB
KReclaimable: 213388 kB
Slab: 307724 kB
SReclaimable: 213388 kB
SUnreclaim: 94336 kB
KernelStack: 4080 kB
PageTables: 2992 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 334444 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432092 MiB
End job on nodeC022 at 2025-07-11 20:54:19