0.00/0.03 c RoundingSat 2
0.00/0.03 c branch
0.00/0.03 c commit
0.00/0.03 c with Papilo
0.00/0.03 c with SCIP
0.00/0.03 c [STEP] parsing instance
0.00/0.05 c [STEP] preprocessing with Papilo
0.00/0.07 c [STEP] solving with SCIP
299.31/300.16 c [STEP] preprocessing done, loading into solver
299.31/300.17 c [STEP] solving
299.31/300.17 c #variables 1629 #constraints 3199
299.31/300.17 c SMALL=int, LARGE=long long
299.31/300.17 d SCIPUB 877
299.31/300.17 c bounds - >= 0 @ 299.23
299.31/300.17 c stratification level: 0
301.09/301.91 c bounds - >= 668 @ 299.235
301.09/301.91 c bounds - >= 669 @ 299.235
301.09/301.91 c bounds - >= 670 @ 299.235
301.09/301.91 c bounds - >= 671 @ 299.235
301.09/301.91 c bounds - >= 672 @ 299.235
301.09/301.91 c bounds - >= 673 @ 299.235
301.09/301.91 c bounds - >= 674 @ 299.235
301.09/301.91 c bounds - >= 675 @ 299.235
301.09/301.91 c bounds - >= 676 @ 299.235
301.09/301.91 c bounds - >= 677 @ 299.235
301.09/301.91 c bounds - >= 678 @ 299.236
301.09/301.91 c bounds - >= 679 @ 299.236
301.09/301.91 c bounds - >= 680 @ 299.236
301.09/301.91 c bounds - >= 681 @ 299.236
301.09/301.91 c bounds - >= 682 @ 299.237
301.09/301.91 c bounds - >= 683 @ 299.237
301.09/301.91 c bounds - >= 684 @ 299.237
301.09/301.91 c bounds - >= 685 @ 299.237
301.09/301.91 c bounds - >= 686 @ 299.237
301.09/301.91 c bounds - >= 687 @ 299.238
301.09/301.91 c bounds - >= 688 @ 299.238
301.09/301.91 c bounds - >= 689 @ 299.238
301.09/301.91 c bounds - >= 690 @ 299.238
301.09/301.91 c bounds - >= 691 @ 299.239
301.09/301.91 c bounds - >= 692 @ 299.239
301.09/301.91 c bounds - >= 693 @ 299.239
301.09/301.91 c bounds - >= 694 @ 299.239
301.09/301.91 c bounds - >= 695 @ 299.24
301.09/301.91 c bounds - >= 696 @ 299.24
301.09/301.91 c bounds - >= 697 @ 299.24
301.09/301.91 c bounds - >= 698 @ 299.24
301.09/301.91 c bounds - >= 699 @ 299.241
301.09/301.91 c bounds - >= 700 @ 299.241
301.09/301.91 c bounds - >= 701 @ 299.241
301.09/301.91 c bounds - >= 702 @ 299.241
301.09/301.91 c bounds - >= 703 @ 299.242
301.09/301.91 c bounds - >= 704 @ 299.242
301.09/301.91 c bounds - >= 705 @ 299.242
301.09/301.91 c bounds - >= 706 @ 299.242
301.09/301.91 c bounds - >= 707 @ 299.242
301.09/301.91 c bounds - >= 708 @ 299.242
301.09/301.91 c bounds - >= 709 @ 299.242
301.09/301.91 c bounds - >= 710 @ 299.242
301.09/301.91 c bounds - >= 711 @ 299.242
301.09/301.91 c bounds - >= 712 @ 299.242
301.09/301.91 c bounds - >= 713 @ 299.242
301.09/301.91 c bounds - >= 714 @ 299.243
301.09/301.91 c bounds - >= 715 @ 299.243
301.09/301.91 c bounds - >= 716 @ 299.243
301.09/301.91 c bounds - >= 717 @ 299.244
301.09/301.91 c bounds - >= 718 @ 299.244
301.09/301.91 c bounds - >= 719 @ 299.244
301.09/301.91 c bounds - >= 720 @ 299.244
301.09/301.91 c bounds - >= 721 @ 299.245
301.09/301.91 c bounds - >= 722 @ 299.245
301.09/301.91 c bounds - >= 723 @ 299.245
301.09/301.91 c bounds - >= 724 @ 299.245
301.09/301.91 c bounds - >= 725 @ 299.246
301.09/301.91 c bounds - >= 726 @ 299.246
301.09/301.91 c bounds - >= 727 @ 299.246
301.09/301.91 c bounds - >= 728 @ 299.246
301.09/301.91 c bounds - >= 729 @ 299.246
301.09/301.91 c bounds - >= 730 @ 299.246
301.09/301.91 c bounds - >= 731 @ 299.246
301.09/301.91 c bounds - >= 732 @ 299.246
301.09/301.91 c bounds - >= 733 @ 299.246
301.09/301.91 c bounds - >= 734 @ 299.246
301.09/301.91 c bounds - >= 735 @ 299.246
301.09/301.91 c bounds - >= 736 @ 299.247
301.09/301.91 c bounds - >= 737 @ 299.247
301.09/301.91 c bounds - >= 738 @ 299.247
301.09/301.91 c bounds - >= 739 @ 299.247
301.09/301.91 c bounds - >= 740 @ 299.247
301.09/301.91 c bounds - >= 741 @ 299.247
301.09/301.91 c bounds - >= 742 @ 299.248
301.09/301.91 c bounds - >= 743 @ 299.248
301.09/301.91 c bounds - >= 744 @ 299.248
301.09/301.91 c bounds - >= 745 @ 299.248
301.09/301.91 c bounds - >= 746 @ 299.249
301.09/301.91 c bounds - >= 747 @ 299.249
301.09/301.91 c bounds - >= 748 @ 299.249
301.09/301.91 c bounds - >= 749 @ 299.249
301.09/301.91 c bounds - >= 750 @ 299.249
301.09/301.91 c bounds - >= 751 @ 299.249
301.09/301.91 c bounds - >= 752 @ 299.25
301.09/301.91 c bounds - >= 753 @ 299.25
301.09/301.91 c bounds - >= 754 @ 299.25
301.09/301.91 c bounds - >= 755 @ 299.25
301.09/301.91 c bounds - >= 756 @ 299.25
301.09/301.91 c bounds - >= 757 @ 299.25
301.09/301.91 c bounds - >= 758 @ 299.25
301.09/301.91 c bounds - >= 759 @ 299.251
301.09/301.91 c bounds - >= 760 @ 299.251
301.09/301.91 c bounds - >= 761 @ 299.251
301.09/301.91 c bounds - >= 762 @ 299.251
301.09/301.91 c bounds - >= 763 @ 299.252
301.09/301.91 c bounds - >= 764 @ 299.252
301.09/301.91 c bounds - >= 765 @ 299.252
301.09/301.91 c bounds - >= 766 @ 299.252
301.09/301.91 c bounds - >= 767 @ 299.252
301.09/301.91 c bounds - >= 768 @ 299.252
301.09/301.91 c bounds - >= 769 @ 299.253
301.09/301.91 c bounds - >= 770 @ 299.253
301.09/301.91 c bounds - >= 771 @ 299.253
301.09/301.91 c bounds - >= 772 @ 299.254
301.09/301.91 c bounds - >= 773 @ 299.254
301.09/301.91 c bounds - >= 774 @ 299.254
301.09/301.91 c bounds - >= 775 @ 299.255
301.09/301.91 c bounds - >= 776 @ 299.255
301.09/301.91 c bounds - >= 777 @ 299.255
301.09/301.91 c bounds - >= 778 @ 299.256
301.09/301.91 c bounds - >= 779 @ 299.256
301.09/301.91 c bounds - >= 780 @ 299.256
301.09/301.91 c bounds - >= 781 @ 299.257
301.09/301.91 c bounds - >= 782 @ 299.257
301.09/301.91 c bounds - >= 783 @ 299.257
301.09/301.91 c bounds - >= 784 @ 299.257
301.09/301.91 c bounds - >= 785 @ 299.257
301.09/301.91 c bounds - >= 786 @ 299.257
301.09/301.91 c bounds - >= 787 @ 299.257
301.09/301.91 c bounds - >= 788 @ 299.257
301.09/301.91 c bounds - >= 789 @ 299.258
301.09/301.91 c bounds - >= 790 @ 299.258
301.09/301.91 c bounds - >= 791 @ 299.258
301.09/301.91 c bounds - >= 792 @ 299.259
301.09/301.91 c bounds - >= 793 @ 299.259
301.09/301.91 c bounds - >= 794 @ 299.259
301.09/301.91 c bounds - >= 795 @ 299.259
301.09/301.91 c bounds - >= 796 @ 299.259
301.09/301.91 c bounds - >= 797 @ 299.26
301.09/301.91 c bounds - >= 798 @ 299.26
301.09/301.91 c bounds - >= 799 @ 299.261
301.09/301.91 c bounds - >= 800 @ 299.261
301.09/301.91 c bounds - >= 801 @ 299.261
301.09/301.91 c bounds - >= 802 @ 299.261
301.09/301.91 c bounds - >= 803 @ 299.261
301.09/301.91 c #Conflicts: 1000 | #Constraints: 5139
301.09/301.91 c #Conflicts: 2000 | #Constraints: 6139
301.09/301.91 c INPROCESSING
301.09/301.91 c GARBAGE COLLECT
301.09/301.91 c #Conflicts: 3000 | #Constraints: 6000
301.09/301.91 c #Conflicts: 4000 | #Constraints: 7000
301.09/301.91 c INPROCESSING
301.09/301.91 c GARBAGE COLLECT
301.09/301.91 c #Conflicts: 5000 | #Constraints: 6371
362.13/363.14 c #Conflicts: 6000 | #Constraints: 7371
362.13/363.14 c INPROCESSING
362.13/363.14 c GARBAGE COLLECT
362.13/363.14 c #Conflicts: 7000 | #Constraints: 6363
362.13/363.14 c #Conflicts: 8000 | #Constraints: 7363
362.13/363.14 c #Conflicts: 9000 | #Constraints: 8363
362.13/363.14 c INPROCESSING
362.13/363.14 c GARBAGE COLLECT
362.13/363.14 c #Conflicts: 10000 | #Constraints: 7061
362.13/363.14 c #Conflicts: 11000 | #Constraints: 8061
362.13/363.14 c #Conflicts: 12000 | #Constraints: 9061
362.13/363.14 c INPROCESSING
362.13/363.14 c GARBAGE COLLECT
362.13/363.14 c #Conflicts: 13000 | #Constraints: 7501
362.13/363.14 c #Conflicts: 14000 | #Constraints: 8501
362.13/363.14 c #Conflicts: 15000 | #Constraints: 9501
362.13/363.14 c INPROCESSING
362.13/363.14 c GARBAGE COLLECT
362.13/363.14 c #Conflicts: 16000 | #Constraints: 7726
362.13/363.14 c #Conflicts: 17000 | #Constraints: 8726
362.13/363.14 c #Conflicts: 18000 | #Constraints: 9726
362.13/363.14 c INPROCESSING
362.13/363.14 c GARBAGE COLLECT
362.13/363.14 c #Conflicts: 19000 | #Constraints: 7742
362.13/363.14 c #Conflicts: 20000 | #Constraints: 8742
362.13/363.14 c #Conflicts: 21000 | #Constraints: 9742
362.13/363.14 c INPROCESSING
362.13/363.14 c GARBAGE COLLECT
362.13/363.14 c #Conflicts: 22000 | #Constraints: 7542
362.13/363.14 c #Conflicts: 23000 | #Constraints: 8542
362.13/363.14 c #Conflicts: 24000 | #Constraints: 9542
362.13/363.14 c #Conflicts: 25000 | #Constraints: 10542
362.13/363.14 c INPROCESSING
362.13/363.14 c GARBAGE COLLECT
362.13/363.14 c #Conflicts: 26000 | #Constraints: 8145
362.13/363.14 c #Conflicts: 27000 | #Constraints: 9145
362.13/363.14 c #Conflicts: 28000 | #Constraints: 10145
362.13/363.14 c #Conflicts: 29000 | #Constraints: 11145
362.13/363.14 c INPROCESSING
362.13/363.14 c GARBAGE COLLECT
362.13/363.14 c #Conflicts: 30000 | #Constraints: 8552
362.13/363.14 c #Conflicts: 31000 | #Constraints: 9552
362.13/363.14 c #Conflicts: 32000 | #Constraints: 10552
362.13/363.14 c #Conflicts: 33000 | #Constraints: 11552
362.13/363.14 c INPROCESSING
362.13/363.14 c GARBAGE COLLECT
362.13/363.14 c #Conflicts: 34000 | #Constraints: 8756
362.13/363.14 c #Conflicts: 35000 | #Constraints: 9756
362.13/363.14 c #Conflicts: 36000 | #Constraints: 10756
362.13/363.14 c #Conflicts: 37000 | #Constraints: 11756
362.13/363.14 c INPROCESSING
362.13/363.14 c GARBAGE COLLECT
362.13/363.14 c #Conflicts: 38000 | #Constraints: 8758
362.13/363.14 c #Conflicts: 39000 | #Constraints: 9758
362.13/363.14 c #Conflicts: 40000 | #Constraints: 10758
362.13/363.14 c #Conflicts: 41000 | #Constraints: 11758
362.13/363.14 c INPROCESSING
362.13/363.14 c GARBAGE COLLECT
362.13/363.14 c #Conflicts: 42000 | #Constraints: 8550
362.13/363.14 c #Conflicts: 43000 | #Constraints: 9550
362.13/363.14 c #Conflicts: 44000 | #Constraints: 10550
362.13/363.14 c #Conflicts: 45000 | #Constraints: 11550
362.13/363.14 c #Conflicts: 46000 | #Constraints: 12550
362.13/363.14 c INPROCESSING
362.13/363.14 c GARBAGE COLLECT
362.13/363.14 c #Conflicts: 47000 | #Constraints: 9150
362.13/363.14 c #Conflicts: 48000 | #Constraints: 10150
362.13/363.14 c #Conflicts: 49000 | #Constraints: 11150
362.13/363.14 c #Conflicts: 50000 | #Constraints: 12150
362.13/363.14 c #Conflicts: 51000 | #Constraints: 13150
362.13/363.14 c INPROCESSING
362.13/363.14 c GARBAGE COLLECT
362.13/363.14 c #Conflicts: 52000 | #Constraints: 9553
362.13/363.14 c #Conflicts: 53000 | #Constraints: 10553
362.13/363.14 c #Conflicts: 54000 | #Constraints: 11553
362.13/363.14 c #Conflicts: 55000 | #Constraints: 12553
362.13/363.14 c #Conflicts: 56000 | #Constraints: 13553
362.13/363.14 c INPROCESSING
362.13/363.14 c GARBAGE COLLECT
362.13/363.14 c #Conflicts: 57000 | #Constraints: 9762
362.13/363.14 c #Conflicts: 58000 | #Constraints: 10762
362.13/363.14 c #Conflicts: 59000 | #Constraints: 11762
362.13/363.14 c #Conflicts: 60000 | #Constraints: 12762
362.13/363.14 c #Conflicts: 61000 | #Constraints: 13762
362.13/363.14 c INPROCESSING
362.13/363.14 c GARBAGE COLLECT
362.13/363.14 c #Conflicts: 62000 | #Constraints: 9761
362.13/363.14 c #Conflicts: 63000 | #Constraints: 10761
362.13/363.14 c #Conflicts: 64000 | #Constraints: 11761
362.13/363.14 c #Conflicts: 65000 | #Constraints: 12761
362.13/363.14 c #Conflicts: 66000 | #Constraints: 13761
362.13/363.14 c INPROCESSING
362.13/363.14 c GARBAGE COLLECT
362.13/363.14 c #Conflicts: 67000 | #Constraints: 9556
362.13/363.14 c #Conflicts: 68000 | #Constraints: 10556
362.13/363.14 c #Conflicts: 69000 | #Constraints: 11556
362.13/363.14 c #Conflicts: 70000 | #Constraints: 12556
362.13/363.14 c #Conflicts: 71000 | #Constraints: 13556
362.13/363.14 c #Conflicts: 72000 | #Constraints: 14556
362.13/363.14 c INPROCESSING
362.13/363.14 c GARBAGE COLLECT
362.13/363.14 c #Conflicts: 73000 | #Constraints: 10148
456.88/458.11 c #Conflicts: 74000 | #Constraints: 11148
456.88/458.11 c #Conflicts: 75000 | #Constraints: 12148
456.88/458.11 c #Conflicts: 76000 | #Constraints: 13148
456.88/458.11 c #Conflicts: 77000 | #Constraints: 14148
456.88/458.11 c #Conflicts: 78000 | #Constraints: 15148
456.88/458.11 c INPROCESSING
456.88/458.11 c GARBAGE COLLECT
456.88/458.11 c #Conflicts: 79000 | #Constraints: 10546
456.88/458.11 c #Conflicts: 80000 | #Constraints: 11546
456.88/458.11 c #Conflicts: 81000 | #Constraints: 12546
456.88/458.11 c #Conflicts: 82000 | #Constraints: 13546
456.88/458.11 c #Conflicts: 83000 | #Constraints: 14546
456.88/458.11 c #Conflicts: 84000 | #Constraints: 15546
456.88/458.11 c INPROCESSING
456.88/458.11 c GARBAGE COLLECT
456.88/458.11 c #Conflicts: 85000 | #Constraints: 10747
456.88/458.11 c #Conflicts: 86000 | #Constraints: 11747
456.88/458.11 c #Conflicts: 87000 | #Constraints: 12747
456.88/458.11 c #Conflicts: 88000 | #Constraints: 13747
456.88/458.11 c #Conflicts: 89000 | #Constraints: 14747
456.88/458.11 c #Conflicts: 90000 | #Constraints: 15747
456.88/458.11 c INPROCESSING
456.88/458.11 c GARBAGE COLLECT
456.88/458.11 c #Conflicts: 91000 | #Constraints: 10748
456.88/458.11 c #Conflicts: 92000 | #Constraints: 11748
456.88/458.11 c #Conflicts: 93000 | #Constraints: 12748
456.88/458.11 c #Conflicts: 94000 | #Constraints: 13748
456.88/458.11 c #Conflicts: 95000 | #Constraints: 14748
456.88/458.11 c #Conflicts: 96000 | #Constraints: 15748
456.88/458.11 c INPROCESSING
456.88/458.11 c GARBAGE COLLECT
456.88/458.11 c #Conflicts: 97000 | #Constraints: 10561
456.88/458.11 c #Conflicts: 98000 | #Constraints: 11561
456.88/458.11 c #Conflicts: 99000 | #Constraints: 12561
456.88/458.11 c #Conflicts: 100000 | #Constraints: 13561
456.88/458.11 c #Conflicts: 101000 | #Constraints: 14561
456.88/458.11 c #Conflicts: 102000 | #Constraints: 15561
456.88/458.11 c #Conflicts: 103000 | #Constraints: 16561
456.88/458.11 c INPROCESSING
456.88/458.11 c GARBAGE COLLECT
456.88/458.11 c #Conflicts: 104000 | #Constraints: 11154
456.88/458.11 c #Conflicts: 105000 | #Constraints: 12154
456.88/458.11 c #Conflicts: 106000 | #Constraints: 13154
456.88/458.11 c #Conflicts: 107000 | #Constraints: 14154
456.88/458.11 c #Conflicts: 108000 | #Constraints: 15154
456.88/458.11 c #Conflicts: 109000 | #Constraints: 16154
456.88/458.11 c #Conflicts: 110000 | #Constraints: 17154
456.88/458.11 c INPROCESSING
456.88/458.11 c GARBAGE COLLECT
456.88/458.11 c #Conflicts: 111000 | #Constraints: 11553
456.88/458.11 c #Conflicts: 112000 | #Constraints: 12553
456.88/458.11 c #Conflicts: 113000 | #Constraints: 13553
456.88/458.11 c #Conflicts: 114000 | #Constraints: 14553
456.88/458.11 c #Conflicts: 115000 | #Constraints: 15553
456.88/458.11 c #Conflicts: 116000 | #Constraints: 16553
456.88/458.11 c #Conflicts: 117000 | #Constraints: 17553
456.88/458.11 c INPROCESSING
456.88/458.11 c GARBAGE COLLECT
456.88/458.11 c #Conflicts: 118000 | #Constraints: 11755
456.88/458.11 c #Conflicts: 119000 | #Constraints: 12755
456.88/458.11 c #Conflicts: 120000 | #Constraints: 13755
456.88/458.11 c #Conflicts: 121000 | #Constraints: 14755
456.88/458.11 c #Conflicts: 122000 | #Constraints: 15755
456.88/458.11 c #Conflicts: 123000 | #Constraints: 16755
456.88/458.11 c #Conflicts: 124000 | #Constraints: 17755
456.88/458.11 c INPROCESSING
456.88/458.11 c GARBAGE COLLECT
456.88/458.11 c #Conflicts: 125000 | #Constraints: 11764
456.88/458.11 c #Conflicts: 126000 | #Constraints: 12764
456.88/458.11 c #Conflicts: 127000 | #Constraints: 13764
456.88/458.11 c #Conflicts: 128000 | #Constraints: 14764
456.88/458.11 c #Conflicts: 129000 | #Constraints: 15764
456.88/458.11 c #Conflicts: 130000 | #Constraints: 16764
456.88/458.11 c #Conflicts: 131000 | #Constraints: 17764
456.88/458.11 c INPROCESSING
456.88/458.11 c GARBAGE COLLECT
456.88/458.11 c #Conflicts: 132000 | #Constraints: 11567
456.88/458.11 c #Conflicts: 133000 | #Constraints: 12567
456.88/458.11 c #Conflicts: 134000 | #Constraints: 13567
456.88/458.11 c #Conflicts: 135000 | #Constraints: 14567
456.88/458.11 c #Conflicts: 136000 | #Constraints: 15567
456.88/458.11 c #Conflicts: 137000 | #Constraints: 16567
456.88/458.11 c #Conflicts: 138000 | #Constraints: 17567
456.88/458.11 c #Conflicts: 139000 | #Constraints: 18567
456.88/458.11 c INPROCESSING
456.88/458.11 c GARBAGE COLLECT
456.88/458.11 c #Conflicts: 140000 | #Constraints: 12172
456.88/458.11 c #Conflicts: 141000 | #Constraints: 13172
456.88/458.11 c #Conflicts: 142000 | #Constraints: 14172
456.88/458.11 c #Conflicts: 143000 | #Constraints: 15172
456.88/458.11 c #Conflicts: 144000 | #Constraints: 16172
456.88/458.11 c #Conflicts: 145000 | #Constraints: 17172
578.72/580.30 c #Conflicts: 146000 | #Constraints: 18172
578.72/580.30 c #Conflicts: 147000 | #Constraints: 19172
578.72/580.30 c INPROCESSING
578.72/580.30 c GARBAGE COLLECT
578.72/580.30 c #Conflicts: 148000 | #Constraints: 12566
578.72/580.30 c #Conflicts: 149000 | #Constraints: 13566
578.72/580.30 c #Conflicts: 150000 | #Constraints: 14566
578.72/580.30 c #Conflicts: 151000 | #Constraints: 15566
578.72/580.30 c #Conflicts: 152000 | #Constraints: 16566
578.72/580.30 c #Conflicts: 153000 | #Constraints: 17566
578.72/580.30 c #Conflicts: 154000 | #Constraints: 18566
578.72/580.30 c #Conflicts: 155000 | #Constraints: 19566
578.72/580.30 c INPROCESSING
578.72/580.30 c GARBAGE COLLECT
578.72/580.30 c #Conflicts: 156000 | #Constraints: 12764
578.72/580.30 c #Conflicts: 157000 | #Constraints: 13764
578.72/580.30 c #Conflicts: 158000 | #Constraints: 14764
578.72/580.30 c #Conflicts: 159000 | #Constraints: 15764
578.72/580.30 c #Conflicts: 160000 | #Constraints: 16764
578.72/580.30 c #Conflicts: 161000 | #Constraints: 17764
578.72/580.30 c #Conflicts: 162000 | #Constraints: 18764
578.72/580.30 c #Conflicts: 163000 | #Constraints: 19764
578.72/580.30 c INPROCESSING
578.72/580.30 c GARBAGE COLLECT
578.72/580.30 c #Conflicts: 164000 | #Constraints: 12759
578.72/580.30 c #Conflicts: 165000 | #Constraints: 13759
578.72/580.30 c #Conflicts: 166000 | #Constraints: 14759
578.72/580.30 c #Conflicts: 167000 | #Constraints: 15759
578.72/580.30 c #Conflicts: 168000 | #Constraints: 16759
578.72/580.30 c #Conflicts: 169000 | #Constraints: 17759
578.72/580.30 c #Conflicts: 170000 | #Constraints: 18759
578.72/580.30 c #Conflicts: 171000 | #Constraints: 19759
578.72/580.30 c INPROCESSING
578.72/580.30 c GARBAGE COLLECT
578.72/580.30 c #Conflicts: 172000 | #Constraints: 12558
578.72/580.30 c #Conflicts: 173000 | #Constraints: 13558
578.72/580.30 c #Conflicts: 174000 | #Constraints: 14558
578.72/580.30 c #Conflicts: 175000 | #Constraints: 15558
578.72/580.30 c #Conflicts: 176000 | #Constraints: 16558
578.72/580.30 c #Conflicts: 177000 | #Constraints: 17558
578.72/580.30 c #Conflicts: 178000 | #Constraints: 18558
578.72/580.30 c #Conflicts: 179000 | #Constraints: 19558
578.72/580.30 c #Conflicts: 180000 | #Constraints: 20558
578.72/580.30 c INPROCESSING
578.72/580.30 c GARBAGE COLLECT
578.72/580.30 c #Conflicts: 181000 | #Constraints: 13158
578.72/580.30 c #Conflicts: 182000 | #Constraints: 14158
578.72/580.30 c #Conflicts: 183000 | #Constraints: 15158
578.72/580.30 c #Conflicts: 184000 | #Constraints: 16158
578.72/580.30 c #Conflicts: 185000 | #Constraints: 17158
578.72/580.30 c #Conflicts: 186000 | #Constraints: 18158
578.72/580.30 c #Conflicts: 187000 | #Constraints: 19158
578.72/580.30 c #Conflicts: 188000 | #Constraints: 20158
578.72/580.30 c #Conflicts: 189000 | #Constraints: 21158
578.72/580.30 c INPROCESSING
578.72/580.30 c GARBAGE COLLECT
578.72/580.30 c #Conflicts: 190000 | #Constraints: 13559
578.72/580.30 c #Conflicts: 191000 | #Constraints: 14559
578.72/580.30 c #Conflicts: 192000 | #Constraints: 15559
578.72/580.30 c #Conflicts: 193000 | #Constraints: 16559
578.72/580.30 c #Conflicts: 194000 | #Constraints: 17559
578.72/580.30 c #Conflicts: 195000 | #Constraints: 18559
578.72/580.30 c #Conflicts: 196000 | #Constraints: 19559
578.72/580.30 c #Conflicts: 197000 | #Constraints: 20559
578.72/580.30 c #Conflicts: 198000 | #Constraints: 21559
578.72/580.30 c INPROCESSING
578.72/580.30 c GARBAGE COLLECT
578.72/580.30 c #Conflicts: 199000 | #Constraints: 13762
578.72/580.30 c #Conflicts: 200000 | #Constraints: 14762
578.72/580.30 c #Conflicts: 201000 | #Constraints: 15762
578.72/580.30 c #Conflicts: 202000 | #Constraints: 16762
578.72/580.30 c #Conflicts: 203000 | #Constraints: 17762
578.72/580.30 c #Conflicts: 204000 | #Constraints: 18762
578.72/580.30 c #Conflicts: 205000 | #Constraints: 19762
578.72/580.30 c #Conflicts: 206000 | #Constraints: 20762
578.72/580.30 c #Conflicts: 207000 | #Constraints: 21762
578.72/580.30 c INPROCESSING
578.72/580.30 c GARBAGE COLLECT
578.72/580.30 c #Conflicts: 208000 | #Constraints: 13768
578.72/580.30 c #Conflicts: 209000 | #Constraints: 14768
578.72/580.30 c #Conflicts: 210000 | #Constraints: 15768
578.72/580.30 c #Conflicts: 211000 | #Constraints: 16768
578.72/580.30 c #Conflicts: 212000 | #Constraints: 17768
578.72/580.30 c #Conflicts: 213000 | #Constraints: 18768
578.72/580.30 c #Conflicts: 214000 | #Constraints: 19768
578.72/580.30 c #Conflicts: 215000 | #Constraints: 20768
578.72/580.30 c #Conflicts: 216000 | #Constraints: 21768
578.72/580.30 c INPROCESSING
578.72/580.30 c GARBAGE COLLECT
578.72/580.30 c #Conflicts: 217000 | #Constraints: 13566
578.72/580.30 c #Conflicts: 218000 | #Constraints: 14566
768.93/771.04 c #Conflicts: 219000 | #Constraints: 15566
768.93/771.04 c #Conflicts: 220000 | #Constraints: 16566
768.93/771.04 c #Conflicts: 221000 | #Constraints: 17566
768.93/771.04 c #Conflicts: 222000 | #Constraints: 18566
768.93/771.04 c #Conflicts: 223000 | #Constraints: 19566
768.93/771.04 c #Conflicts: 224000 | #Constraints: 20566
768.93/771.04 c #Conflicts: 225000 | #Constraints: 21566
768.93/771.04 c #Conflicts: 226000 | #Constraints: 22566
768.93/771.04 c INPROCESSING
768.93/771.04 c GARBAGE COLLECT
768.93/771.04 c #Conflicts: 227000 | #Constraints: 14172
768.93/771.04 c #Conflicts: 228000 | #Constraints: 15172
768.93/771.04 c #Conflicts: 229000 | #Constraints: 16172
768.93/771.04 c #Conflicts: 230000 | #Constraints: 17172
768.93/771.04 c #Conflicts: 231000 | #Constraints: 18172
768.93/771.04 c #Conflicts: 232000 | #Constraints: 19172
768.93/771.04 c #Conflicts: 233000 | #Constraints: 20172
768.93/771.04 c #Conflicts: 234000 | #Constraints: 21172
768.93/771.04 c #Conflicts: 235000 | #Constraints: 22172
768.93/771.04 c #Conflicts: 236000 | #Constraints: 23172
768.93/771.04 c INPROCESSING
768.93/771.04 c GARBAGE COLLECT
768.93/771.04 c #Conflicts: 237000 | #Constraints: 14575
768.93/771.04 c #Conflicts: 238000 | #Constraints: 15575
768.93/771.04 c #Conflicts: 239000 | #Constraints: 16575
768.93/771.04 c #Conflicts: 240000 | #Constraints: 17575
768.93/771.04 c #Conflicts: 241000 | #Constraints: 18575
768.93/771.04 c #Conflicts: 242000 | #Constraints: 19575
768.93/771.04 c #Conflicts: 243000 | #Constraints: 20575
768.93/771.04 c #Conflicts: 244000 | #Constraints: 21575
768.93/771.04 c #Conflicts: 245000 | #Constraints: 22575
768.93/771.04 c #Conflicts: 246000 | #Constraints: 23575
768.93/771.04 c INPROCESSING
768.93/771.04 c GARBAGE COLLECT
768.93/771.04 c #Conflicts: 247000 | #Constraints: 14775
768.93/771.04 c #Conflicts: 248000 | #Constraints: 15775
768.93/771.04 c #Conflicts: 249000 | #Constraints: 16775
768.93/771.04 c #Conflicts: 250000 | #Constraints: 17775
768.93/771.04 c #Conflicts: 251000 | #Constraints: 18775
768.93/771.04 c #Conflicts: 252000 | #Constraints: 19775
768.93/771.04 c #Conflicts: 253000 | #Constraints: 20775
768.93/771.04 c #Conflicts: 254000 | #Constraints: 21775
768.93/771.04 c #Conflicts: 255000 | #Constraints: 22775
768.93/771.04 c #Conflicts: 256000 | #Constraints: 23775
768.93/771.04 c INPROCESSING
768.93/771.04 c GARBAGE COLLECT
768.93/771.04 c #Conflicts: 257000 | #Constraints: 14771
768.93/771.04 c #Conflicts: 258000 | #Constraints: 15771
768.93/771.04 c #Conflicts: 259000 | #Constraints: 16771
768.93/771.04 c #Conflicts: 260000 | #Constraints: 17771
768.93/771.04 c #Conflicts: 261000 | #Constraints: 18771
768.93/771.04 c #Conflicts: 262000 | #Constraints: 19771
768.93/771.04 c #Conflicts: 263000 | #Constraints: 20771
768.93/771.04 c #Conflicts: 264000 | #Constraints: 21771
768.93/771.04 c #Conflicts: 265000 | #Constraints: 22771
768.93/771.04 c #Conflicts: 266000 | #Constraints: 23771
768.93/771.04 c INPROCESSING
768.93/771.04 c GARBAGE COLLECT
768.93/771.04 c #Conflicts: 267000 | #Constraints: 14567
768.93/771.04 c #Conflicts: 268000 | #Constraints: 15567
768.93/771.04 c #Conflicts: 269000 | #Constraints: 16567
768.93/771.04 c #Conflicts: 270000 | #Constraints: 17567
768.93/771.04 c #Conflicts: 271000 | #Constraints: 18567
768.93/771.04 c #Conflicts: 272000 | #Constraints: 19567
768.93/771.04 c #Conflicts: 273000 | #Constraints: 20567
768.93/771.04 c #Conflicts: 274000 | #Constraints: 21567
768.93/771.04 c #Conflicts: 275000 | #Constraints: 22567
768.93/771.04 c #Conflicts: 276000 | #Constraints: 23567
768.93/771.04 c #Conflicts: 277000 | #Constraints: 24567
768.93/771.04 c INPROCESSING
768.93/771.04 c GARBAGE COLLECT
768.93/771.04 c #Conflicts: 278000 | #Constraints: 15169
768.93/771.04 c #Conflicts: 279000 | #Constraints: 16169
768.93/771.04 c #Conflicts: 280000 | #Constraints: 17169
768.93/771.04 c #Conflicts: 281000 | #Constraints: 18169
768.93/771.04 c #Conflicts: 282000 | #Constraints: 19169
768.93/771.04 c #Conflicts: 283000 | #Constraints: 20169
768.93/771.04 c #Conflicts: 284000 | #Constraints: 21169
768.93/771.04 c #Conflicts: 285000 | #Constraints: 22169
768.93/771.04 c #Conflicts: 286000 | #Constraints: 23169
768.93/771.04 c #Conflicts: 287000 | #Constraints: 24169
768.93/771.04 c #Conflicts: 288000 | #Constraints: 25169
768.93/771.04 c INPROCESSING
768.93/771.04 c GARBAGE COLLECT
768.93/771.04 c #Conflicts: 289000 | #Constraints: 15571
768.93/771.04 c #Conflicts: 290000 | #Constraints: 16571
768.93/771.04 c #Conflicts: 291000 | #Constraints: 17571
768.93/771.04 c #Conflicts: 292000 | #Constraints: 18571
768.93/771.04 c #Conflicts: 293000 | #Constraints: 19571
974.07/976.75 c #Conflicts: 294000 | #Constraints: 20571
974.07/976.75 c #Conflicts: 295000 | #Constraints: 21571
974.07/976.75 c #Conflicts: 296000 | #Constraints: 22571
974.07/976.75 c #Conflicts: 297000 | #Constraints: 23571
974.07/976.75 c #Conflicts: 298000 | #Constraints: 24571
974.07/976.75 c #Conflicts: 299000 | #Constraints: 25571
974.07/976.75 c INPROCESSING
974.07/976.75 c GARBAGE COLLECT
974.07/976.75 c #Conflicts: 300000 | #Constraints: 15767
974.07/976.75 c #Conflicts: 301000 | #Constraints: 16767
974.07/976.75 c #Conflicts: 302000 | #Constraints: 17767
974.07/976.75 c #Conflicts: 303000 | #Constraints: 18767
974.07/976.75 c #Conflicts: 304000 | #Constraints: 19767
974.07/976.75 c #Conflicts: 305000 | #Constraints: 20767
974.07/976.75 c #Conflicts: 306000 | #Constraints: 21767
974.07/976.75 c #Conflicts: 307000 | #Constraints: 22767
974.07/976.75 c #Conflicts: 308000 | #Constraints: 23767
974.07/976.75 c #Conflicts: 309000 | #Constraints: 24767
974.07/976.75 c #Conflicts: 310000 | #Constraints: 25767
974.07/976.75 c INPROCESSING
974.07/976.75 c GARBAGE COLLECT
974.07/976.75 c #Conflicts: 311000 | #Constraints: 15768
974.07/976.75 c #Conflicts: 312000 | #Constraints: 16768
974.07/976.75 c #Conflicts: 313000 | #Constraints: 17768
974.07/976.75 c #Conflicts: 314000 | #Constraints: 18768
974.07/976.75 c #Conflicts: 315000 | #Constraints: 19768
974.07/976.75 c #Conflicts: 316000 | #Constraints: 20768
974.07/976.75 c #Conflicts: 317000 | #Constraints: 21768
974.07/976.75 c #Conflicts: 318000 | #Constraints: 22768
974.07/976.75 c #Conflicts: 319000 | #Constraints: 23768
974.07/976.75 c #Conflicts: 320000 | #Constraints: 24768
974.07/976.75 c #Conflicts: 321000 | #Constraints: 25768
974.07/976.75 c INPROCESSING
974.07/976.75 c GARBAGE COLLECT
974.07/976.75 c #Conflicts: 322000 | #Constraints: 15569
974.07/976.75 c #Conflicts: 323000 | #Constraints: 16569
974.07/976.75 c #Conflicts: 324000 | #Constraints: 17569
974.07/976.75 c #Conflicts: 325000 | #Constraints: 18569
974.07/976.75 c #Conflicts: 326000 | #Constraints: 19569
974.07/976.75 c #Conflicts: 327000 | #Constraints: 20569
974.07/976.75 c #Conflicts: 328000 | #Constraints: 21569
974.07/976.75 c #Conflicts: 329000 | #Constraints: 22569
974.07/976.75 c #Conflicts: 330000 | #Constraints: 23569
974.07/976.75 c #Conflicts: 331000 | #Constraints: 24569
974.07/976.75 c #Conflicts: 332000 | #Constraints: 25569
974.07/976.75 c #Conflicts: 333000 | #Constraints: 26569
974.07/976.75 c INPROCESSING
974.07/976.75 c GARBAGE COLLECT
974.07/976.75 c #Conflicts: 334000 | #Constraints: 16179
974.07/976.75 c #Conflicts: 335000 | #Constraints: 17179
974.07/976.75 c #Conflicts: 336000 | #Constraints: 18179
974.07/976.75 c #Conflicts: 337000 | #Constraints: 19179
974.07/976.75 c #Conflicts: 338000 | #Constraints: 20179
974.07/976.75 c #Conflicts: 339000 | #Constraints: 21179
974.07/976.75 c #Conflicts: 340000 | #Constraints: 22179
974.07/976.75 c #Conflicts: 341000 | #Constraints: 23179
974.07/976.75 c #Conflicts: 342000 | #Constraints: 24179
974.07/976.75 c #Conflicts: 343000 | #Constraints: 25179
974.07/976.75 c #Conflicts: 344000 | #Constraints: 26179
974.07/976.75 c #Conflicts: 345000 | #Constraints: 27179
974.07/976.75 c INPROCESSING
974.07/976.75 c GARBAGE COLLECT
974.07/976.75 c #Conflicts: 346000 | #Constraints: 16569
974.07/976.75 c #Conflicts: 347000 | #Constraints: 17569
974.07/976.75 c #Conflicts: 348000 | #Constraints: 18569
974.07/976.75 c #Conflicts: 349000 | #Constraints: 19569
974.07/976.75 c #Conflicts: 350000 | #Constraints: 20569
974.07/976.75 c #Conflicts: 351000 | #Constraints: 21569
974.07/976.75 c #Conflicts: 352000 | #Constraints: 22569
974.07/976.75 c #Conflicts: 353000 | #Constraints: 23569
974.07/976.75 c #Conflicts: 354000 | #Constraints: 24569
974.07/976.75 c #Conflicts: 355000 | #Constraints: 25569
974.07/976.75 c #Conflicts: 356000 | #Constraints: 26569
974.07/976.75 c #Conflicts: 357000 | #Constraints: 27569
974.07/976.75 c INPROCESSING
974.07/976.75 c GARBAGE COLLECT
974.07/976.75 c #Conflicts: 358000 | #Constraints: 16768
974.07/976.75 c #Conflicts: 359000 | #Constraints: 17768
974.07/976.75 c #Conflicts: 360000 | #Constraints: 18768
974.07/976.75 c #Conflicts: 361000 | #Constraints: 19768
974.07/976.75 c #Conflicts: 362000 | #Constraints: 20768
974.07/976.75 c #Conflicts: 363000 | #Constraints: 21768
974.07/976.75 c #Conflicts: 364000 | #Constraints: 22768
974.07/976.75 c #Conflicts: 365000 | #Constraints: 23768
974.07/976.75 c #Conflicts: 366000 | #Constraints: 24768
974.07/976.75 c #Conflicts: 367000 | #Constraints: 25768
974.07/976.75 c #Conflicts: 368000 | #Constraints: 26768
1148.91/1152.07 c #Conflicts: 369000 | #Constraints: 27768
1148.91/1152.07 c INPROCESSING
1148.91/1152.07 c GARBAGE COLLECT
1148.91/1152.07 c #Conflicts: 370000 | #Constraints: 16770
1148.91/1152.07 c #Conflicts: 371000 | #Constraints: 17770
1148.91/1152.07 c #Conflicts: 372000 | #Constraints: 18770
1148.91/1152.07 c #Conflicts: 373000 | #Constraints: 19770
1148.91/1152.07 c #Conflicts: 374000 | #Constraints: 20770
1148.91/1152.07 c #Conflicts: 375000 | #Constraints: 21770
1148.91/1152.07 c #Conflicts: 376000 | #Constraints: 22770
1148.91/1152.07 c #Conflicts: 377000 | #Constraints: 23770
1148.91/1152.07 c #Conflicts: 378000 | #Constraints: 24770
1148.91/1152.07 c #Conflicts: 379000 | #Constraints: 25770
1148.91/1152.07 c #Conflicts: 380000 | #Constraints: 26770
1148.91/1152.07 c #Conflicts: 381000 | #Constraints: 27770
1148.91/1152.07 c INPROCESSING
1148.91/1152.07 c GARBAGE COLLECT
1148.91/1152.07 c #Conflicts: 382000 | #Constraints: 16572
1148.91/1152.07 c #Conflicts: 383000 | #Constraints: 17572
1148.91/1152.07 c #Conflicts: 384000 | #Constraints: 18572
1148.91/1152.07 c #Conflicts: 385000 | #Constraints: 19572
1148.91/1152.07 c #Conflicts: 386000 | #Constraints: 20572
1148.91/1152.07 c #Conflicts: 387000 | #Constraints: 21572
1148.91/1152.07 c #Conflicts: 388000 | #Constraints: 22572
1148.91/1152.07 c #Conflicts: 389000 | #Constraints: 23572
1148.91/1152.07 c #Conflicts: 390000 | #Constraints: 24572
1148.91/1152.07 c #Conflicts: 391000 | #Constraints: 25572
1148.91/1152.07 c #Conflicts: 392000 | #Constraints: 26572
1148.91/1152.07 c #Conflicts: 393000 | #Constraints: 27572
1148.91/1152.07 c #Conflicts: 394000 | #Constraints: 28572
1148.91/1152.07 c INPROCESSING
1148.91/1152.07 c GARBAGE COLLECT
1148.91/1152.07 c #Conflicts: 395000 | #Constraints: 17171
1148.91/1152.07 c #Conflicts: 396000 | #Constraints: 18171
1148.91/1152.07 c #Conflicts: 397000 | #Constraints: 19171
1148.91/1152.07 c #Conflicts: 398000 | #Constraints: 20171
1148.91/1152.07 c #Conflicts: 399000 | #Constraints: 21171
1148.91/1152.07 c #Conflicts: 400000 | #Constraints: 22171
1148.91/1152.07 c #Conflicts: 401000 | #Constraints: 23171
1148.91/1152.07 c #Conflicts: 402000 | #Constraints: 24171
1148.91/1152.07 c #Conflicts: 403000 | #Constraints: 25171
1148.91/1152.07 c #Conflicts: 404000 | #Constraints: 26171
1148.91/1152.07 c #Conflicts: 405000 | #Constraints: 27171
1148.91/1152.07 c #Conflicts: 406000 | #Constraints: 28171
1148.91/1152.07 c #Conflicts: 407000 | #Constraints: 29171
1148.91/1152.07 c INPROCESSING
1148.91/1152.07 c GARBAGE COLLECT
1148.91/1152.07 c #Conflicts: 408000 | #Constraints: 17571
1148.91/1152.07 c #Conflicts: 409000 | #Constraints: 18571
1148.91/1152.07 c #Conflicts: 410000 | #Constraints: 19571
1148.91/1152.07 c #Conflicts: 411000 | #Constraints: 20571
1148.91/1152.07 c #Conflicts: 412000 | #Constraints: 21571
1148.91/1152.07 c #Conflicts: 413000 | #Constraints: 22571
1148.91/1152.07 c #Conflicts: 414000 | #Constraints: 23571
1148.91/1152.07 c #Conflicts: 415000 | #Constraints: 24571
1148.91/1152.07 c #Conflicts: 416000 | #Constraints: 25571
1148.91/1152.07 c #Conflicts: 417000 | #Constraints: 26571
1148.91/1152.07 c #Conflicts: 418000 | #Constraints: 27571
1148.91/1152.07 c #Conflicts: 419000 | #Constraints: 28571
1148.91/1152.07 c #Conflicts: 420000 | #Constraints: 29571
1148.91/1152.07 c INPROCESSING
1148.91/1152.07 c GARBAGE COLLECT
1148.91/1152.07 c #Conflicts: 421000 | #Constraints: 17775
1148.91/1152.07 c #Conflicts: 422000 | #Constraints: 18775
1148.91/1152.07 c #Conflicts: 423000 | #Constraints: 19775
1148.91/1152.07 c #Conflicts: 424000 | #Constraints: 20775
1148.91/1152.07 c #Conflicts: 425000 | #Constraints: 21775
1148.91/1152.07 c #Conflicts: 426000 | #Constraints: 22775
1148.91/1152.07 c #Conflicts: 427000 | #Constraints: 23775
1148.91/1152.07 c #Conflicts: 428000 | #Constraints: 24775
1148.91/1152.07 c #Conflicts: 429000 | #Constraints: 25775
1148.91/1152.07 c #Conflicts: 430000 | #Constraints: 26775
1148.91/1152.07 c #Conflicts: 431000 | #Constraints: 27775
1148.91/1152.07 c #Conflicts: 432000 | #Constraints: 28775
1148.91/1152.07 c #Conflicts: 433000 | #Constraints: 29775
1148.91/1152.07 c INPROCESSING
1148.91/1152.07 c GARBAGE COLLECT
1148.91/1152.07 c #Conflicts: 434000 | #Constraints: 17782
1148.91/1152.07 c #Conflicts: 435000 | #Constraints: 18782
1148.91/1152.07 c #Conflicts: 436000 | #Constraints: 19782
1148.91/1152.07 c #Conflicts: 437000 | #Constraints: 20782
1148.91/1152.07 c #Conflicts: 438000 | #Constraints: 21782
1148.91/1152.07 c #Conflicts: 439000 | #Constraints: 22782
1148.91/1152.07 c #Conflicts: 440000 | #Constraints: 23782
1148.91/1152.07 c #Conflicts: 441000 | #Constraints: 24782
1148.91/1152.07 c #Conflicts: 442000 | #Constraints: 25782
1148.91/1152.07 c #Conflicts: 443000 | #Constraints: 26782
1335.92/1339.53 c #Conflicts: 444000 | #Constraints: 27782
1335.92/1339.53 c #Conflicts: 445000 | #Constraints: 28782
1335.92/1339.53 c #Conflicts: 446000 | #Constraints: 29782
1335.92/1339.53 c INPROCESSING
1335.92/1339.53 c GARBAGE COLLECT
1335.92/1339.53 c #Conflicts: 447000 | #Constraints: 17586
1335.92/1339.53 c #Conflicts: 448000 | #Constraints: 18586
1335.92/1339.53 c #Conflicts: 449000 | #Constraints: 19586
1335.92/1339.53 c #Conflicts: 450000 | #Constraints: 20586
1335.92/1339.53 c #Conflicts: 451000 | #Constraints: 21586
1335.92/1339.53 c #Conflicts: 452000 | #Constraints: 22586
1335.92/1339.53 c #Conflicts: 453000 | #Constraints: 23586
1335.92/1339.53 c #Conflicts: 454000 | #Constraints: 24586
1335.92/1339.53 c #Conflicts: 455000 | #Constraints: 25586
1335.92/1339.53 c #Conflicts: 456000 | #Constraints: 26586
1335.92/1339.53 c #Conflicts: 457000 | #Constraints: 27586
1335.92/1339.53 c #Conflicts: 458000 | #Constraints: 28586
1335.92/1339.53 c #Conflicts: 459000 | #Constraints: 29586
1335.92/1339.53 c #Conflicts: 460000 | #Constraints: 30586
1335.92/1339.53 c INPROCESSING
1335.92/1339.53 c GARBAGE COLLECT
1335.92/1339.53 c #Conflicts: 461000 | #Constraints: 18183
1335.92/1339.53 c #Conflicts: 462000 | #Constraints: 19183
1335.92/1339.53 c #Conflicts: 463000 | #Constraints: 20183
1335.92/1339.53 c #Conflicts: 464000 | #Constraints: 21183
1335.92/1339.53 c #Conflicts: 465000 | #Constraints: 22183
1335.92/1339.53 c #Conflicts: 466000 | #Constraints: 23183
1335.92/1339.53 c #Conflicts: 467000 | #Constraints: 24183
1335.92/1339.53 c #Conflicts: 468000 | #Constraints: 25183
1335.92/1339.53 c #Conflicts: 469000 | #Constraints: 26183
1335.92/1339.53 c #Conflicts: 470000 | #Constraints: 27183
1335.92/1339.53 c #Conflicts: 471000 | #Constraints: 28183
1335.92/1339.53 c #Conflicts: 472000 | #Constraints: 29183
1335.92/1339.53 c #Conflicts: 473000 | #Constraints: 30183
1335.92/1339.53 c #Conflicts: 474000 | #Constraints: 31183
1335.92/1339.53 c INPROCESSING
1335.92/1339.53 c GARBAGE COLLECT
1335.92/1339.53 c #Conflicts: 475000 | #Constraints: 18586
1335.92/1339.53 c #Conflicts: 476000 | #Constraints: 19586
1335.92/1339.53 c #Conflicts: 477000 | #Constraints: 20586
1335.92/1339.53 c #Conflicts: 478000 | #Constraints: 21586
1335.92/1339.53 c #Conflicts: 479000 | #Constraints: 22586
1335.92/1339.53 c #Conflicts: 480000 | #Constraints: 23586
1335.92/1339.53 c #Conflicts: 481000 | #Constraints: 24586
1335.92/1339.53 c #Conflicts: 482000 | #Constraints: 25586
1335.92/1339.53 c #Conflicts: 483000 | #Constraints: 26586
1335.92/1339.53 c #Conflicts: 484000 | #Constraints: 27586
1335.92/1339.53 c #Conflicts: 485000 | #Constraints: 28586
1335.92/1339.53 c #Conflicts: 486000 | #Constraints: 29586
1335.92/1339.53 c #Conflicts: 487000 | #Constraints: 30586
1335.92/1339.53 c #Conflicts: 488000 | #Constraints: 31586
1335.92/1339.53 c INPROCESSING
1335.92/1339.53 c GARBAGE COLLECT
1335.92/1339.53 c #Conflicts: 489000 | #Constraints: 18783
1335.92/1339.53 c #Conflicts: 490000 | #Constraints: 19783
1335.92/1339.53 c #Conflicts: 491000 | #Constraints: 20783
1335.92/1339.53 c #Conflicts: 492000 | #Constraints: 21783
1335.92/1339.53 c #Conflicts: 493000 | #Constraints: 22783
1335.92/1339.53 c #Conflicts: 494000 | #Constraints: 23783
1335.92/1339.53 c #Conflicts: 495000 | #Constraints: 24783
1335.92/1339.53 c #Conflicts: 496000 | #Constraints: 25783
1335.92/1339.53 c #Conflicts: 497000 | #Constraints: 26783
1335.92/1339.53 c #Conflicts: 498000 | #Constraints: 27783
1335.92/1339.53 c #Conflicts: 499000 | #Constraints: 28783
1335.92/1339.53 c #Conflicts: 500000 | #Constraints: 29783
1335.92/1339.53 c #Conflicts: 501000 | #Constraints: 30783
1335.92/1339.53 c #Conflicts: 502000 | #Constraints: 31783
1335.92/1339.53 c INPROCESSING
1335.92/1339.53 c GARBAGE COLLECT
1335.92/1339.53 c #Conflicts: 503000 | #Constraints: 18775
1335.92/1339.53 c #Conflicts: 504000 | #Constraints: 19775
1335.92/1339.53 c #Conflicts: 505000 | #Constraints: 20775
1335.92/1339.53 c #Conflicts: 506000 | #Constraints: 21775
1335.92/1339.53 c #Conflicts: 507000 | #Constraints: 22775
1335.92/1339.53 c #Conflicts: 508000 | #Constraints: 23775
1335.92/1339.53 c #Conflicts: 509000 | #Constraints: 24775
1335.92/1339.53 c #Conflicts: 510000 | #Constraints: 25775
1335.92/1339.53 c #Conflicts: 511000 | #Constraints: 26775
1335.92/1339.53 c #Conflicts: 512000 | #Constraints: 27775
1335.92/1339.53 c #Conflicts: 513000 | #Constraints: 28775
1335.92/1339.53 c #Conflicts: 514000 | #Constraints: 29775
1335.92/1339.53 c #Conflicts: 515000 | #Constraints: 30775
1335.92/1339.53 c #Conflicts: 516000 | #Constraints: 31775
1335.92/1339.53 c INPROCESSING
1335.92/1339.53 c GARBAGE COLLECT
1335.92/1339.53 c #Conflicts: 517000 | #Constraints: 18565
1335.92/1339.53 c #Conflicts: 518000 | #Constraints: 19565
1535.81/1540.00 c #Conflicts: 519000 | #Constraints: 20565
1535.81/1540.00 c #Conflicts: 520000 | #Constraints: 21565
1535.81/1540.00 c #Conflicts: 521000 | #Constraints: 22565
1535.81/1540.00 c #Conflicts: 522000 | #Constraints: 23565
1535.81/1540.00 c #Conflicts: 523000 | #Constraints: 24565
1535.81/1540.00 c #Conflicts: 524000 | #Constraints: 25565
1535.81/1540.00 c #Conflicts: 525000 | #Constraints: 26565
1535.81/1540.00 c #Conflicts: 526000 | #Constraints: 27565
1535.81/1540.00 c #Conflicts: 527000 | #Constraints: 28565
1535.81/1540.00 c #Conflicts: 528000 | #Constraints: 29565
1535.81/1540.00 c #Conflicts: 529000 | #Constraints: 30565
1535.81/1540.00 c #Conflicts: 530000 | #Constraints: 31565
1535.81/1540.00 c #Conflicts: 531000 | #Constraints: 32565
1535.81/1540.00 c INPROCESSING
1535.81/1540.00 c GARBAGE COLLECT
1535.81/1540.00 c #Conflicts: 532000 | #Constraints: 19169
1535.81/1540.00 c #Conflicts: 533000 | #Constraints: 20169
1535.81/1540.00 c #Conflicts: 534000 | #Constraints: 21169
1535.81/1540.00 c #Conflicts: 535000 | #Constraints: 22169
1535.81/1540.00 c #Conflicts: 536000 | #Constraints: 23169
1535.81/1540.00 c #Conflicts: 537000 | #Constraints: 24169
1535.81/1540.00 c #Conflicts: 538000 | #Constraints: 25169
1535.81/1540.00 c #Conflicts: 539000 | #Constraints: 26169
1535.81/1540.00 c #Conflicts: 540000 | #Constraints: 27169
1535.81/1540.00 c #Conflicts: 541000 | #Constraints: 28169
1535.81/1540.00 c #Conflicts: 542000 | #Constraints: 29169
1535.81/1540.00 c #Conflicts: 543000 | #Constraints: 30169
1535.81/1540.00 c #Conflicts: 544000 | #Constraints: 31169
1535.81/1540.00 c #Conflicts: 545000 | #Constraints: 32169
1535.81/1540.00 c #Conflicts: 546000 | #Constraints: 33169
1535.81/1540.00 c INPROCESSING
1535.81/1540.00 c GARBAGE COLLECT
1535.81/1540.00 c #Conflicts: 547000 | #Constraints: 19576
1535.81/1540.00 c #Conflicts: 548000 | #Constraints: 20576
1535.81/1540.00 c #Conflicts: 549000 | #Constraints: 21576
1535.81/1540.00 c #Conflicts: 550000 | #Constraints: 22576
1535.81/1540.00 c #Conflicts: 551000 | #Constraints: 23576
1535.81/1540.00 c #Conflicts: 552000 | #Constraints: 24576
1535.81/1540.00 c #Conflicts: 553000 | #Constraints: 25576
1535.81/1540.00 c #Conflicts: 554000 | #Constraints: 26576
1535.81/1540.00 c #Conflicts: 555000 | #Constraints: 27576
1535.81/1540.00 c #Conflicts: 556000 | #Constraints: 28576
1535.81/1540.01 c #Conflicts: 557000 | #Constraints: 29576
1535.81/1540.01 c #Conflicts: 558000 | #Constraints: 30576
1535.81/1540.01 c #Conflicts: 559000 | #Constraints: 31576
1535.81/1540.01 c #Conflicts: 560000 | #Constraints: 32576
1535.81/1540.01 c #Conflicts: 561000 | #Constraints: 33576
1535.81/1540.01 c INPROCESSING
1535.81/1540.01 c GARBAGE COLLECT
1535.81/1540.01 c #Conflicts: 562000 | #Constraints: 19776
1535.81/1540.01 c #Conflicts: 563000 | #Constraints: 20776
1535.81/1540.01 c #Conflicts: 564000 | #Constraints: 21776
1535.81/1540.01 c #Conflicts: 565000 | #Constraints: 22776
1535.81/1540.01 c #Conflicts: 566000 | #Constraints: 23776
1535.81/1540.01 c #Conflicts: 567000 | #Constraints: 24776
1535.81/1540.01 c #Conflicts: 568000 | #Constraints: 25776
1535.81/1540.01 c #Conflicts: 569000 | #Constraints: 26776
1535.81/1540.01 c #Conflicts: 570000 | #Constraints: 27776
1535.81/1540.01 c #Conflicts: 571000 | #Constraints: 28776
1535.81/1540.01 c #Conflicts: 572000 | #Constraints: 29776
1535.81/1540.01 c #Conflicts: 573000 | #Constraints: 30776
1535.81/1540.01 c #Conflicts: 574000 | #Constraints: 31776
1535.81/1540.01 c #Conflicts: 575000 | #Constraints: 32776
1535.81/1540.01 c #Conflicts: 576000 | #Constraints: 33776
1535.81/1540.01 c INPROCESSING
1535.81/1540.01 c GARBAGE COLLECT
1535.81/1540.01 c #Conflicts: 577000 | #Constraints: 19781
1535.81/1540.01 c #Conflicts: 578000 | #Constraints: 20781
1535.81/1540.01 c #Conflicts: 579000 | #Constraints: 21781
1535.81/1540.01 c #Conflicts: 580000 | #Constraints: 22781
1535.81/1540.01 c #Conflicts: 581000 | #Constraints: 23781
1535.81/1540.01 c #Conflicts: 582000 | #Constraints: 24781
1535.81/1540.01 c #Conflicts: 583000 | #Constraints: 25781
1535.81/1540.01 c #Conflicts: 584000 | #Constraints: 26781
1535.81/1540.01 c #Conflicts: 585000 | #Constraints: 27781
1535.81/1540.01 c #Conflicts: 586000 | #Constraints: 28781
1535.81/1540.01 c #Conflicts: 587000 | #Constraints: 29781
1535.81/1540.01 c #Conflicts: 588000 | #Constraints: 30781
1535.81/1540.01 c #Conflicts: 589000 | #Constraints: 31781
1535.81/1540.01 c #Conflicts: 590000 | #Constraints: 32781
1535.81/1540.01 c #Conflicts: 591000 | #Constraints: 33781
1535.81/1540.01 c INPROCESSING
1535.81/1540.01 c GARBAGE COLLECT
1535.81/1540.01 c #Conflicts: 592000 | #Constraints: 19572
1535.81/1540.01 c #Conflicts: 593000 | #Constraints: 20572
1750.19/1754.84 c #Conflicts: 594000 | #Constraints: 21572
1750.19/1754.84 c #Conflicts: 595000 | #Constraints: 22572
1750.19/1754.84 c #Conflicts: 596000 | #Constraints: 23572
1750.19/1754.84 c #Conflicts: 597000 | #Constraints: 24572
1750.19/1754.84 c #Conflicts: 598000 | #Constraints: 25572
1750.19/1754.84 c #Conflicts: 599000 | #Constraints: 26572
1750.19/1754.84 c #Conflicts: 600000 | #Constraints: 27572
1750.19/1754.84 c #Conflicts: 601000 | #Constraints: 28572
1750.19/1754.84 c #Conflicts: 602000 | #Constraints: 29572
1750.19/1754.84 c #Conflicts: 603000 | #Constraints: 30572
1750.19/1754.84 c #Conflicts: 604000 | #Constraints: 31572
1750.19/1754.84 c #Conflicts: 605000 | #Constraints: 32572
1750.19/1754.84 c #Conflicts: 606000 | #Constraints: 33572
1750.19/1754.84 c #Conflicts: 607000 | #Constraints: 34572
1750.19/1754.84 c INPROCESSING
1750.19/1754.84 c GARBAGE COLLECT
1750.19/1754.84 c #Conflicts: 608000 | #Constraints: 20176
1750.19/1754.84 c #Conflicts: 609000 | #Constraints: 21176
1750.19/1754.84 c #Conflicts: 610000 | #Constraints: 22176
1750.19/1754.84 c #Conflicts: 611000 | #Constraints: 23176
1750.19/1754.84 c #Conflicts: 612000 | #Constraints: 24176
1750.19/1754.84 c #Conflicts: 613000 | #Constraints: 25176
1750.19/1754.84 c #Conflicts: 614000 | #Constraints: 26176
1750.19/1754.84 c #Conflicts: 615000 | #Constraints: 27176
1750.19/1754.84 c #Conflicts: 616000 | #Constraints: 28176
1750.19/1754.84 c #Conflicts: 617000 | #Constraints: 29176
1750.19/1754.84 c #Conflicts: 618000 | #Constraints: 30176
1750.19/1754.84 c #Conflicts: 619000 | #Constraints: 31176
1750.19/1754.84 c #Conflicts: 620000 | #Constraints: 32176
1750.19/1754.84 c #Conflicts: 621000 | #Constraints: 33176
1750.19/1754.84 c #Conflicts: 622000 | #Constraints: 34176
1750.19/1754.84 c #Conflicts: 623000 | #Constraints: 35176
1750.19/1754.84 c INPROCESSING
1750.19/1754.84 c GARBAGE COLLECT
1750.19/1754.84 c #Conflicts: 624000 | #Constraints: 20572
1750.19/1754.84 c #Conflicts: 625000 | #Constraints: 21572
1750.19/1754.84 c #Conflicts: 626000 | #Constraints: 22572
1750.19/1754.84 c #Conflicts: 627000 | #Constraints: 23572
1750.19/1754.84 c #Conflicts: 628000 | #Constraints: 24572
1750.19/1754.84 c #Conflicts: 629000 | #Constraints: 25572
1750.19/1754.84 c #Conflicts: 630000 | #Constraints: 26572
1750.19/1754.84 c #Conflicts: 631000 | #Constraints: 27572
1750.19/1754.84 c #Conflicts: 632000 | #Constraints: 28572
1750.19/1754.84 c #Conflicts: 633000 | #Constraints: 29572
1750.19/1754.84 c #Conflicts: 634000 | #Constraints: 30572
1750.19/1754.84 c #Conflicts: 635000 | #Constraints: 31572
1750.19/1754.84 c #Conflicts: 636000 | #Constraints: 32572
1750.19/1754.84 c #Conflicts: 637000 | #Constraints: 33572
1750.19/1754.84 c #Conflicts: 638000 | #Constraints: 34572
1750.19/1754.84 c #Conflicts: 639000 | #Constraints: 35572
1750.19/1754.84 c INPROCESSING
1750.19/1754.84 c GARBAGE COLLECT
1750.19/1754.84 c #Conflicts: 640000 | #Constraints: 20759
1750.19/1754.84 c #Conflicts: 641000 | #Constraints: 21759
1750.19/1754.84 c #Conflicts: 642000 | #Constraints: 22759
1750.19/1754.84 c #Conflicts: 643000 | #Constraints: 23759
1750.19/1754.84 c #Conflicts: 644000 | #Constraints: 24759
1750.19/1754.84 c #Conflicts: 645000 | #Constraints: 25759
1750.19/1754.84 c #Conflicts: 646000 | #Constraints: 26759
1750.19/1754.84 c #Conflicts: 647000 | #Constraints: 27759
1750.19/1754.84 c #Conflicts: 648000 | #Constraints: 28759
1750.19/1754.84 c #Conflicts: 649000 | #Constraints: 29759
1750.19/1754.84 c #Conflicts: 650000 | #Constraints: 30759
1750.19/1754.84 c #Conflicts: 651000 | #Constraints: 31759
1750.19/1754.84 c #Conflicts: 652000 | #Constraints: 32759
1750.19/1754.84 c #Conflicts: 653000 | #Constraints: 33759
1750.19/1754.84 c #Conflicts: 654000 | #Constraints: 34759
1750.19/1754.84 c #Conflicts: 655000 | #Constraints: 35759
1750.19/1754.84 c INPROCESSING
1750.19/1754.84 c GARBAGE COLLECT
1750.19/1754.84 c #Conflicts: 656000 | #Constraints: 20763
1750.19/1754.84 c #Conflicts: 657000 | #Constraints: 21763
1750.19/1754.84 c #Conflicts: 658000 | #Constraints: 22763
1750.19/1754.84 c #Conflicts: 659000 | #Constraints: 23763
1750.19/1754.84 c #Conflicts: 660000 | #Constraints: 24763
1750.19/1754.84 c #Conflicts: 661000 | #Constraints: 25763
1750.19/1754.84 c #Conflicts: 662000 | #Constraints: 26763
1750.19/1754.84 c #Conflicts: 663000 | #Constraints: 27763
1750.19/1754.84 c #Conflicts: 664000 | #Constraints: 28763
1750.19/1754.84 c #Conflicts: 665000 | #Constraints: 29763
1750.19/1754.84 c #Conflicts: 666000 | #Constraints: 30763
1750.19/1754.84 c #Conflicts: 667000 | #Constraints: 31763
1750.19/1754.84 c #Conflicts: 668000 | #Constraints: 32763
1750.19/1754.84 c #Conflicts: 669000 | #Constraints: 33763
1750.19/1754.84 c #Conflicts: 670000 | #Constraints: 34763
1961.67/1966.81 c #Conflicts: 671000 | #Constraints: 35763
1961.67/1966.81 c INPROCESSING
1961.67/1966.81 c GARBAGE COLLECT
1961.67/1966.81 c #Conflicts: 672000 | #Constraints: 20563
1961.67/1966.81 c #Conflicts: 673000 | #Constraints: 21563
1961.67/1966.81 c #Conflicts: 674000 | #Constraints: 22563
1961.67/1966.81 c #Conflicts: 675000 | #Constraints: 23563
1961.67/1966.81 c #Conflicts: 676000 | #Constraints: 24563
1961.67/1966.81 c #Conflicts: 677000 | #Constraints: 25563
1961.67/1966.81 c #Conflicts: 678000 | #Constraints: 26563
1961.67/1966.81 c #Conflicts: 679000 | #Constraints: 27563
1961.67/1966.81 c #Conflicts: 680000 | #Constraints: 28563
1961.67/1966.81 c #Conflicts: 681000 | #Constraints: 29563
1961.67/1966.81 c #Conflicts: 682000 | #Constraints: 30563
1961.67/1966.81 c #Conflicts: 683000 | #Constraints: 31563
1961.67/1966.81 c #Conflicts: 684000 | #Constraints: 32563
1961.67/1966.81 c #Conflicts: 685000 | #Constraints: 33563
1961.67/1966.81 c #Conflicts: 686000 | #Constraints: 34563
1961.67/1966.81 c #Conflicts: 687000 | #Constraints: 35563
1961.67/1966.81 c #Conflicts: 688000 | #Constraints: 36563
1961.67/1966.81 c INPROCESSING
1961.67/1966.81 c GARBAGE COLLECT
1961.67/1966.81 c #Conflicts: 689000 | #Constraints: 21165
1961.67/1966.81 c #Conflicts: 690000 | #Constraints: 22165
1961.67/1966.81 c #Conflicts: 691000 | #Constraints: 23165
1961.67/1966.81 c #Conflicts: 692000 | #Constraints: 24165
1961.67/1966.81 c #Conflicts: 693000 | #Constraints: 25165
1961.67/1966.81 c #Conflicts: 694000 | #Constraints: 26165
1961.67/1966.81 c #Conflicts: 695000 | #Constraints: 27165
1961.67/1966.81 c #Conflicts: 696000 | #Constraints: 28165
1961.67/1966.81 c #Conflicts: 697000 | #Constraints: 29165
1961.67/1966.81 c #Conflicts: 698000 | #Constraints: 30165
1961.67/1966.81 c #Conflicts: 699000 | #Constraints: 31165
1961.67/1966.81 c #Conflicts: 700000 | #Constraints: 32165
1961.67/1966.81 c #Conflicts: 701000 | #Constraints: 33165
1961.67/1966.81 c #Conflicts: 702000 | #Constraints: 34165
1961.67/1966.81 c #Conflicts: 703000 | #Constraints: 35165
1961.67/1966.81 c #Conflicts: 704000 | #Constraints: 36165
1961.67/1966.81 c #Conflicts: 705000 | #Constraints: 37165
1961.67/1966.81 c INPROCESSING
1961.67/1966.81 c GARBAGE COLLECT
1961.67/1966.81 c #Conflicts: 706000 | #Constraints: 21567
1961.67/1966.81 c #Conflicts: 707000 | #Constraints: 22567
1961.67/1966.81 c #Conflicts: 708000 | #Constraints: 23567
1961.67/1966.81 c #Conflicts: 709000 | #Constraints: 24567
1961.67/1966.81 c #Conflicts: 710000 | #Constraints: 25567
1961.67/1966.81 c #Conflicts: 711000 | #Constraints: 26567
1961.67/1966.81 c #Conflicts: 712000 | #Constraints: 27567
1961.67/1966.81 c #Conflicts: 713000 | #Constraints: 28567
1961.67/1966.81 c #Conflicts: 714000 | #Constraints: 29567
1961.67/1966.81 c #Conflicts: 715000 | #Constraints: 30567
1961.67/1966.81 c #Conflicts: 716000 | #Constraints: 31567
1961.67/1966.81 c #Conflicts: 717000 | #Constraints: 32567
1961.67/1966.81 c #Conflicts: 718000 | #Constraints: 33567
1961.67/1966.81 c #Conflicts: 719000 | #Constraints: 34567
1961.67/1966.81 c #Conflicts: 720000 | #Constraints: 35567
1961.67/1966.81 c #Conflicts: 721000 | #Constraints: 36567
1961.67/1966.81 c #Conflicts: 722000 | #Constraints: 37567
1961.67/1966.81 c INPROCESSING
1961.67/1966.81 c GARBAGE COLLECT
1961.67/1966.81 c #Conflicts: 723000 | #Constraints: 21764
1961.67/1966.81 c #Conflicts: 724000 | #Constraints: 22764
1961.67/1966.81 c #Conflicts: 725000 | #Constraints: 23764
1961.67/1966.81 c #Conflicts: 726000 | #Constraints: 24764
1961.67/1966.81 c #Conflicts: 727000 | #Constraints: 25764
1961.67/1966.81 c #Conflicts: 728000 | #Constraints: 26764
1961.67/1966.81 c #Conflicts: 729000 | #Constraints: 27764
1961.67/1966.81 c #Conflicts: 730000 | #Constraints: 28764
1961.67/1966.81 c #Conflicts: 731000 | #Constraints: 29764
1961.67/1966.81 c #Conflicts: 732000 | #Constraints: 30764
1961.67/1966.81 c #Conflicts: 733000 | #Constraints: 31764
1961.67/1966.81 c #Conflicts: 734000 | #Constraints: 32764
1961.67/1966.81 c #Conflicts: 735000 | #Constraints: 33764
1961.67/1966.81 c #Conflicts: 736000 | #Constraints: 34764
1961.67/1966.81 c #Conflicts: 737000 | #Constraints: 35764
1961.67/1966.81 c #Conflicts: 738000 | #Constraints: 36764
1961.67/1966.81 c #Conflicts: 739000 | #Constraints: 37764
1961.67/1966.81 c INPROCESSING
1961.67/1966.81 c GARBAGE COLLECT
1961.67/1966.81 c #Conflicts: 740000 | #Constraints: 21767
1961.67/1966.81 c #Conflicts: 741000 | #Constraints: 22767
1961.67/1966.81 c #Conflicts: 742000 | #Constraints: 23767
1961.67/1966.81 c #Conflicts: 743000 | #Constraints: 24767
1961.67/1966.81 c #Conflicts: 744000 | #Constraints: 25767
1961.67/1966.81 c #Conflicts: 745000 | #Constraints: 26767
2224.71/2230.58 c #Conflicts: 746000 | #Constraints: 27767
2224.71/2230.58 c #Conflicts: 747000 | #Constraints: 28767
2224.71/2230.58 c #Conflicts: 748000 | #Constraints: 29767
2224.71/2230.58 c #Conflicts: 749000 | #Constraints: 30767
2224.71/2230.58 c #Conflicts: 750000 | #Constraints: 31767
2224.71/2230.58 c #Conflicts: 751000 | #Constraints: 32767
2224.71/2230.58 c #Conflicts: 752000 | #Constraints: 33767
2224.71/2230.58 c #Conflicts: 753000 | #Constraints: 34767
2224.71/2230.58 c #Conflicts: 754000 | #Constraints: 35767
2224.71/2230.58 c #Conflicts: 755000 | #Constraints: 36767
2224.71/2230.58 c #Conflicts: 756000 | #Constraints: 37767
2224.71/2230.58 c INPROCESSING
2224.71/2230.58 c GARBAGE COLLECT
2224.71/2230.58 c #Conflicts: 757000 | #Constraints: 21565
2224.71/2230.58 c #Conflicts: 758000 | #Constraints: 22565
2224.71/2230.58 c #Conflicts: 759000 | #Constraints: 23565
2224.71/2230.58 c #Conflicts: 760000 | #Constraints: 24565
2224.71/2230.58 c #Conflicts: 761000 | #Constraints: 25565
2224.71/2230.58 c #Conflicts: 762000 | #Constraints: 26565
2224.71/2230.58 c #Conflicts: 763000 | #Constraints: 27565
2224.71/2230.58 c #Conflicts: 764000 | #Constraints: 28565
2224.71/2230.58 c #Conflicts: 765000 | #Constraints: 29565
2224.71/2230.58 c #Conflicts: 766000 | #Constraints: 30565
2224.71/2230.58 c #Conflicts: 767000 | #Constraints: 31565
2224.71/2230.58 c #Conflicts: 768000 | #Constraints: 32565
2224.71/2230.58 c #Conflicts: 769000 | #Constraints: 33565
2224.71/2230.58 c #Conflicts: 770000 | #Constraints: 34565
2224.71/2230.58 c #Conflicts: 771000 | #Constraints: 35565
2224.71/2230.58 c #Conflicts: 772000 | #Constraints: 36565
2224.71/2230.58 c #Conflicts: 773000 | #Constraints: 37565
2224.71/2230.58 c #Conflicts: 774000 | #Constraints: 38565
2224.71/2230.58 c INPROCESSING
2224.71/2230.58 c GARBAGE COLLECT
2224.71/2230.58 c #Conflicts: 775000 | #Constraints: 22165
2224.71/2230.58 c #Conflicts: 776000 | #Constraints: 23165
2224.71/2230.58 c #Conflicts: 777000 | #Constraints: 24165
2224.71/2230.58 c #Conflicts: 778000 | #Constraints: 25165
2224.71/2230.58 c #Conflicts: 779000 | #Constraints: 26165
2224.71/2230.58 c #Conflicts: 780000 | #Constraints: 27165
2224.71/2230.58 c #Conflicts: 781000 | #Constraints: 28165
2224.71/2230.58 c #Conflicts: 782000 | #Constraints: 29165
2224.71/2230.58 c #Conflicts: 783000 | #Constraints: 30165
2224.71/2230.58 c #Conflicts: 784000 | #Constraints: 31165
2224.71/2230.58 c #Conflicts: 785000 | #Constraints: 32165
2224.71/2230.58 c #Conflicts: 786000 | #Constraints: 33165
2224.71/2230.58 c #Conflicts: 787000 | #Constraints: 34165
2224.71/2230.58 c #Conflicts: 788000 | #Constraints: 35165
2224.71/2230.58 c #Conflicts: 789000 | #Constraints: 36165
2224.71/2230.58 c #Conflicts: 790000 | #Constraints: 37165
2224.71/2230.58 c #Conflicts: 791000 | #Constraints: 38165
2224.71/2230.58 c #Conflicts: 792000 | #Constraints: 39165
2224.71/2230.58 c INPROCESSING
2224.71/2230.58 c GARBAGE COLLECT
2224.71/2230.58 c #Conflicts: 793000 | #Constraints: 22575
2224.71/2230.58 c #Conflicts: 794000 | #Constraints: 23575
2224.71/2230.58 c #Conflicts: 795000 | #Constraints: 24575
2224.71/2230.58 c #Conflicts: 796000 | #Constraints: 25575
2224.71/2230.58 c #Conflicts: 797000 | #Constraints: 26575
2224.71/2230.58 c #Conflicts: 798000 | #Constraints: 27575
2224.71/2230.58 c #Conflicts: 799000 | #Constraints: 28575
2224.71/2230.58 c #Conflicts: 800000 | #Constraints: 29575
2224.71/2230.58 c #Conflicts: 801000 | #Constraints: 30575
2224.71/2230.58 c #Conflicts: 802000 | #Constraints: 31575
2224.71/2230.58 c #Conflicts: 803000 | #Constraints: 32575
2224.71/2230.58 c #Conflicts: 804000 | #Constraints: 33575
2224.71/2230.58 c #Conflicts: 805000 | #Constraints: 34575
2224.71/2230.58 c #Conflicts: 806000 | #Constraints: 35575
2224.71/2230.58 c #Conflicts: 807000 | #Constraints: 36575
2224.71/2230.58 c #Conflicts: 808000 | #Constraints: 37575
2224.71/2230.58 c #Conflicts: 809000 | #Constraints: 38575
2224.71/2230.58 c #Conflicts: 810000 | #Constraints: 39575
2224.71/2230.58 c INPROCESSING
2224.71/2230.58 c GARBAGE COLLECT
2224.71/2230.58 c #Conflicts: 811000 | #Constraints: 22771
2224.71/2230.58 c #Conflicts: 812000 | #Constraints: 23771
2224.71/2230.58 c #Conflicts: 813000 | #Constraints: 24771
2224.71/2230.58 c #Conflicts: 814000 | #Constraints: 25771
2224.71/2230.58 c #Conflicts: 815000 | #Constraints: 26771
2224.71/2230.58 c #Conflicts: 816000 | #Constraints: 27771
2224.71/2230.58 c #Conflicts: 817000 | #Constraints: 28771
2224.71/2230.58 c #Conflicts: 818000 | #Constraints: 29771
2224.71/2230.58 c #Conflicts: 819000 | #Constraints: 30771
2224.71/2230.58 c #Conflicts: 820000 | #Constraints: 31771
2224.71/2230.58 c #Conflicts: 821000 | #Constraints: 32771
2469.41/2475.81 c #Conflicts: 822000 | #Constraints: 33771
2469.41/2475.81 c #Conflicts: 823000 | #Constraints: 34771
2469.41/2475.81 c #Conflicts: 824000 | #Constraints: 35771
2469.41/2475.81 c #Conflicts: 825000 | #Constraints: 36771
2469.41/2475.81 c #Conflicts: 826000 | #Constraints: 37771
2469.41/2475.81 c #Conflicts: 827000 | #Constraints: 38771
2469.41/2475.81 c #Conflicts: 828000 | #Constraints: 39771
2469.41/2475.81 c INPROCESSING
2469.41/2475.81 c GARBAGE COLLECT
2469.41/2475.81 c #Conflicts: 829000 | #Constraints: 22763
2469.41/2475.81 c #Conflicts: 830000 | #Constraints: 23763
2469.41/2475.81 c #Conflicts: 831000 | #Constraints: 24763
2469.41/2475.81 c #Conflicts: 832000 | #Constraints: 25763
2469.41/2475.81 c #Conflicts: 833000 | #Constraints: 26763
2469.41/2475.81 c #Conflicts: 834000 | #Constraints: 27763
2469.41/2475.81 c #Conflicts: 835000 | #Constraints: 28763
2469.41/2475.81 c #Conflicts: 836000 | #Constraints: 29763
2469.41/2475.81 c #Conflicts: 837000 | #Constraints: 30763
2469.41/2475.81 c #Conflicts: 838000 | #Constraints: 31763
2469.41/2475.81 c #Conflicts: 839000 | #Constraints: 32763
2469.41/2475.81 c #Conflicts: 840000 | #Constraints: 33763
2469.41/2475.81 c #Conflicts: 841000 | #Constraints: 34763
2469.41/2475.81 c #Conflicts: 842000 | #Constraints: 35763
2469.41/2475.81 c #Conflicts: 843000 | #Constraints: 36763
2469.41/2475.81 c #Conflicts: 844000 | #Constraints: 37763
2469.41/2475.81 c #Conflicts: 845000 | #Constraints: 38763
2469.41/2475.81 c #Conflicts: 846000 | #Constraints: 39763
2469.41/2475.81 c INPROCESSING
2469.41/2475.81 c GARBAGE COLLECT
2469.41/2475.81 c #Conflicts: 847000 | #Constraints: 22566
2469.41/2475.81 c #Conflicts: 848000 | #Constraints: 23566
2469.41/2475.81 c #Conflicts: 849000 | #Constraints: 24566
2469.41/2475.81 c #Conflicts: 850000 | #Constraints: 25566
2469.41/2475.81 c #Conflicts: 851000 | #Constraints: 26566
2469.41/2475.81 c #Conflicts: 852000 | #Constraints: 27566
2469.41/2475.81 c #Conflicts: 853000 | #Constraints: 28566
2469.41/2475.81 c #Conflicts: 854000 | #Constraints: 29566
2469.41/2475.81 c #Conflicts: 855000 | #Constraints: 30566
2469.41/2475.81 c #Conflicts: 856000 | #Constraints: 31566
2469.41/2475.81 c #Conflicts: 857000 | #Constraints: 32566
2469.41/2475.81 c #Conflicts: 858000 | #Constraints: 33566
2469.41/2475.81 c #Conflicts: 859000 | #Constraints: 34566
2469.41/2475.81 c #Conflicts: 860000 | #Constraints: 35566
2469.41/2475.81 c #Conflicts: 861000 | #Constraints: 36566
2469.41/2475.81 c #Conflicts: 862000 | #Constraints: 37566
2469.41/2475.81 c #Conflicts: 863000 | #Constraints: 38566
2469.41/2475.81 c #Conflicts: 864000 | #Constraints: 39566
2469.41/2475.81 c #Conflicts: 865000 | #Constraints: 40566
2469.41/2475.81 c INPROCESSING
2469.41/2475.81 c GARBAGE COLLECT
2469.41/2475.81 c #Conflicts: 866000 | #Constraints: 23169
2469.41/2475.81 c #Conflicts: 867000 | #Constraints: 24169
2469.41/2475.81 c #Conflicts: 868000 | #Constraints: 25169
2469.41/2475.81 c #Conflicts: 869000 | #Constraints: 26169
2469.41/2475.81 c #Conflicts: 870000 | #Constraints: 27169
2469.41/2475.81 c #Conflicts: 871000 | #Constraints: 28169
2469.41/2475.81 c #Conflicts: 872000 | #Constraints: 29169
2469.41/2475.81 c #Conflicts: 873000 | #Constraints: 30169
2469.41/2475.81 c #Conflicts: 874000 | #Constraints: 31169
2469.41/2475.81 c #Conflicts: 875000 | #Constraints: 32169
2469.41/2475.81 c #Conflicts: 876000 | #Constraints: 33169
2469.41/2475.81 c #Conflicts: 877000 | #Constraints: 34169
2469.41/2475.81 c #Conflicts: 878000 | #Constraints: 35169
2469.41/2475.81 c #Conflicts: 879000 | #Constraints: 36169
2469.41/2475.81 c #Conflicts: 880000 | #Constraints: 37169
2469.41/2475.81 c #Conflicts: 881000 | #Constraints: 38169
2469.41/2475.81 c #Conflicts: 882000 | #Constraints: 39169
2469.41/2475.81 c #Conflicts: 883000 | #Constraints: 40169
2469.41/2475.81 c #Conflicts: 884000 | #Constraints: 41169
2469.41/2475.81 c INPROCESSING
2469.41/2475.81 c GARBAGE COLLECT
2469.41/2475.81 c #Conflicts: 885000 | #Constraints: 23576
2469.41/2475.81 c #Conflicts: 886000 | #Constraints: 24576
2469.41/2475.81 c #Conflicts: 887000 | #Constraints: 25576
2469.41/2475.81 c #Conflicts: 888000 | #Constraints: 26576
2469.41/2475.81 c #Conflicts: 889000 | #Constraints: 27576
2469.41/2475.81 c #Conflicts: 890000 | #Constraints: 28576
2469.41/2475.81 c #Conflicts: 891000 | #Constraints: 29576
2469.41/2475.81 c #Conflicts: 892000 | #Constraints: 30576
2469.41/2475.81 c #Conflicts: 893000 | #Constraints: 31576
2469.41/2475.81 c #Conflicts: 894000 | #Constraints: 32576
2469.41/2475.81 c #Conflicts: 895000 | #Constraints: 33576
2469.41/2475.81 c #Conflicts: 896000 | #Constraints: 34576
2469.41/2475.81 c #Conflicts: 897000 | #Constraints: 35576
2469.41/2475.81 c #Conflicts: 898000 | #Constraints: 36576
2713.91/2720.90 c #Conflicts: 899000 | #Constraints: 37576
2713.91/2720.90 c #Conflicts: 900000 | #Constraints: 38576
2713.91/2720.90 c #Conflicts: 901000 | #Constraints: 39576
2713.91/2720.90 c #Conflicts: 902000 | #Constraints: 40576
2713.91/2720.90 c #Conflicts: 903000 | #Constraints: 41576
2713.91/2720.90 c INPROCESSING
2713.91/2720.90 c GARBAGE COLLECT
2713.91/2720.90 c #Conflicts: 904000 | #Constraints: 23770
2713.91/2720.90 c #Conflicts: 905000 | #Constraints: 24770
2713.91/2720.90 c #Conflicts: 906000 | #Constraints: 25770
2713.91/2720.90 c #Conflicts: 907000 | #Constraints: 26770
2713.91/2720.90 c #Conflicts: 908000 | #Constraints: 27770
2713.91/2720.90 c #Conflicts: 909000 | #Constraints: 28770
2713.91/2720.90 c #Conflicts: 910000 | #Constraints: 29770
2713.91/2720.90 c #Conflicts: 911000 | #Constraints: 30770
2713.91/2720.90 c #Conflicts: 912000 | #Constraints: 31770
2713.91/2720.90 c #Conflicts: 913000 | #Constraints: 32770
2713.91/2720.90 c #Conflicts: 914000 | #Constraints: 33770
2713.91/2720.90 c #Conflicts: 915000 | #Constraints: 34770
2713.91/2720.90 c #Conflicts: 916000 | #Constraints: 35770
2713.91/2720.90 c #Conflicts: 917000 | #Constraints: 36770
2713.91/2720.90 c #Conflicts: 918000 | #Constraints: 37770
2713.91/2720.90 c #Conflicts: 919000 | #Constraints: 38770
2713.91/2720.90 c #Conflicts: 920000 | #Constraints: 39770
2713.91/2720.90 c #Conflicts: 921000 | #Constraints: 40770
2713.91/2720.90 c #Conflicts: 922000 | #Constraints: 41770
2713.91/2720.90 c INPROCESSING
2713.91/2720.90 c GARBAGE COLLECT
2713.91/2720.90 c #Conflicts: 923000 | #Constraints: 23764
2713.91/2720.90 c #Conflicts: 924000 | #Constraints: 24764
2713.91/2720.90 c #Conflicts: 925000 | #Constraints: 25764
2713.91/2720.90 c #Conflicts: 926000 | #Constraints: 26764
2713.91/2720.90 c #Conflicts: 927000 | #Constraints: 27764
2713.91/2720.90 c #Conflicts: 928000 | #Constraints: 28764
2713.91/2720.90 c #Conflicts: 929000 | #Constraints: 29764
2713.91/2720.90 c #Conflicts: 930000 | #Constraints: 30764
2713.91/2720.90 c #Conflicts: 931000 | #Constraints: 31764
2713.91/2720.90 c #Conflicts: 932000 | #Constraints: 32764
2713.91/2720.90 c #Conflicts: 933000 | #Constraints: 33764
2713.91/2720.90 c #Conflicts: 934000 | #Constraints: 34764
2713.91/2720.90 c #Conflicts: 935000 | #Constraints: 35764
2713.91/2720.90 c #Conflicts: 936000 | #Constraints: 36764
2713.91/2720.90 c #Conflicts: 937000 | #Constraints: 37764
2713.91/2720.90 c #Conflicts: 938000 | #Constraints: 38764
2713.91/2720.90 c #Conflicts: 939000 | #Constraints: 39764
2713.91/2720.90 c #Conflicts: 940000 | #Constraints: 40764
2713.91/2720.90 c #Conflicts: 941000 | #Constraints: 41764
2713.91/2720.90 c INPROCESSING
2713.91/2720.90 c GARBAGE COLLECT
2713.91/2720.90 c #Conflicts: 942000 | #Constraints: 23572
2713.91/2720.90 c #Conflicts: 943000 | #Constraints: 24572
2713.91/2720.90 c #Conflicts: 944000 | #Constraints: 25572
2713.91/2720.90 c #Conflicts: 945000 | #Constraints: 26572
2713.91/2720.90 c #Conflicts: 946000 | #Constraints: 27572
2713.91/2720.90 c #Conflicts: 947000 | #Constraints: 28572
2713.91/2720.90 c #Conflicts: 948000 | #Constraints: 29572
2713.91/2720.90 c #Conflicts: 949000 | #Constraints: 30572
2713.91/2720.90 c #Conflicts: 950000 | #Constraints: 31572
2713.91/2720.90 c #Conflicts: 951000 | #Constraints: 32572
2713.91/2720.90 c #Conflicts: 952000 | #Constraints: 33572
2713.91/2720.90 c #Conflicts: 953000 | #Constraints: 34572
2713.91/2720.90 c #Conflicts: 954000 | #Constraints: 35572
2713.91/2720.90 c #Conflicts: 955000 | #Constraints: 36572
2713.91/2720.90 c #Conflicts: 956000 | #Constraints: 37572
2713.91/2720.90 c #Conflicts: 957000 | #Constraints: 38572
2713.91/2720.90 c #Conflicts: 958000 | #Constraints: 39572
2713.91/2720.90 c #Conflicts: 959000 | #Constraints: 40572
2713.91/2720.90 c #Conflicts: 960000 | #Constraints: 41572
2713.91/2720.90 c #Conflicts: 961000 | #Constraints: 42572
2713.91/2720.90 c INPROCESSING
2713.91/2720.90 c GARBAGE COLLECT
2713.91/2720.90 c #Conflicts: 962000 | #Constraints: 24176
2713.91/2720.90 c #Conflicts: 963000 | #Constraints: 25176
2713.91/2720.90 c #Conflicts: 964000 | #Constraints: 26176
2713.91/2720.90 c #Conflicts: 965000 | #Constraints: 27176
2713.91/2720.90 c #Conflicts: 966000 | #Constraints: 28176
2713.91/2720.90 c #Conflicts: 967000 | #Constraints: 29176
2713.91/2720.90 c #Conflicts: 968000 | #Constraints: 30176
2713.91/2720.90 c #Conflicts: 969000 | #Constraints: 31176
2713.91/2720.90 c #Conflicts: 970000 | #Constraints: 32176
2713.91/2720.90 c #Conflicts: 971000 | #Constraints: 33176
2713.91/2720.90 c #Conflicts: 972000 | #Constraints: 34176
2713.91/2720.90 c #Conflicts: 973000 | #Constraints: 35176
2713.91/2720.90 c #Conflicts: 974000 | #Constraints: 36176
2990.03/2997.72 c #Conflicts: 975000 | #Constraints: 37176
2990.03/2997.72 c #Conflicts: 976000 | #Constraints: 38176
2990.03/2997.72 c #Conflicts: 977000 | #Constraints: 39176
2990.03/2997.72 c #Conflicts: 978000 | #Constraints: 40176
2990.03/2997.72 c #Conflicts: 979000 | #Constraints: 41176
2990.03/2997.72 c #Conflicts: 980000 | #Constraints: 42176
2990.03/2997.72 c #Conflicts: 981000 | #Constraints: 43176
2990.03/2997.72 c INPROCESSING
2990.03/2997.72 c GARBAGE COLLECT
2990.03/2997.72 c #Conflicts: 982000 | #Constraints: 24567
2990.03/2997.72 c #Conflicts: 983000 | #Constraints: 25567
2990.03/2997.72 c #Conflicts: 984000 | #Constraints: 26567
2990.03/2997.72 c #Conflicts: 985000 | #Constraints: 27567
2990.03/2997.72 c #Conflicts: 986000 | #Constraints: 28567
2990.03/2997.72 c #Conflicts: 987000 | #Constraints: 29567
2990.03/2997.72 c #Conflicts: 988000 | #Constraints: 30567
2990.03/2997.72 c #Conflicts: 989000 | #Constraints: 31567
2990.03/2997.72 c #Conflicts: 990000 | #Constraints: 32567
2990.03/2997.72 c #Conflicts: 991000 | #Constraints: 33567
2990.03/2997.72 c #Conflicts: 992000 | #Constraints: 34567
2990.03/2997.72 c #Conflicts: 993000 | #Constraints: 35567
2990.03/2997.73 c #Conflicts: 994000 | #Constraints: 36567
2990.03/2997.73 c #Conflicts: 995000 | #Constraints: 37567
2990.03/2997.73 c #Conflicts: 996000 | #Constraints: 38567
2990.03/2997.73 c #Conflicts: 997000 | #Constraints: 39567
2990.03/2997.73 c #Conflicts: 998000 | #Constraints: 40567
2990.03/2997.73 c #Conflicts: 999000 | #Constraints: 41567
2990.03/2997.73 c #Conflicts: 1000000 | #Constraints: 42567
2990.03/2997.73 c #Conflicts: 1001000 | #Constraints: 43567
2990.03/2997.73 c INPROCESSING
2990.03/2997.73 c GARBAGE COLLECT
2990.03/2997.73 c #Conflicts: 1002000 | #Constraints: 24767
2990.03/2997.73 c #Conflicts: 1003000 | #Constraints: 25767
2990.03/2997.73 c #Conflicts: 1004000 | #Constraints: 26767
2990.03/2997.73 c #Conflicts: 1005000 | #Constraints: 27767
2990.03/2997.73 c #Conflicts: 1006000 | #Constraints: 28767
2990.03/2997.73 c #Conflicts: 1007000 | #Constraints: 29767
2990.03/2997.73 c #Conflicts: 1008000 | #Constraints: 30767
2990.03/2997.73 c #Conflicts: 1009000 | #Constraints: 31767
2990.03/2997.73 c #Conflicts: 1010000 | #Constraints: 32767
2990.03/2997.73 c #Conflicts: 1011000 | #Constraints: 33767
2990.03/2997.73 c #Conflicts: 1012000 | #Constraints: 34767
2990.03/2997.73 c #Conflicts: 1013000 | #Constraints: 35767
2990.03/2997.73 c #Conflicts: 1014000 | #Constraints: 36767
2990.03/2997.73 c #Conflicts: 1015000 | #Constraints: 37767
2990.03/2997.73 c #Conflicts: 1016000 | #Constraints: 38767
2990.03/2997.73 c #Conflicts: 1017000 | #Constraints: 39767
2990.03/2997.73 c #Conflicts: 1018000 | #Constraints: 40767
2990.03/2997.73 c #Conflicts: 1019000 | #Constraints: 41767
2990.03/2997.73 c #Conflicts: 1020000 | #Constraints: 42767
2990.03/2997.73 c #Conflicts: 1021000 | #Constraints: 43767
2990.03/2997.73 c INPROCESSING
2990.03/2997.73 c GARBAGE COLLECT
2990.03/2997.73 c #Conflicts: 1022000 | #Constraints: 24770
2990.03/2997.73 c #Conflicts: 1023000 | #Constraints: 25770
2990.03/2997.73 c #Conflicts: 1024000 | #Constraints: 26770
2990.03/2997.73 c #Conflicts: 1025000 | #Constraints: 27770
2990.03/2997.73 c #Conflicts: 1026000 | #Constraints: 28770
2990.03/2997.73 c #Conflicts: 1027000 | #Constraints: 29770
2990.03/2997.73 c #Conflicts: 1028000 | #Constraints: 30770
2990.03/2997.73 c #Conflicts: 1029000 | #Constraints: 31770
2990.03/2997.73 c #Conflicts: 1030000 | #Constraints: 32770
2990.03/2997.73 c #Conflicts: 1031000 | #Constraints: 33770
2990.03/2997.73 c #Conflicts: 1032000 | #Constraints: 34770
2990.03/2997.73 c #Conflicts: 1033000 | #Constraints: 35770
2990.03/2997.73 c #Conflicts: 1034000 | #Constraints: 36770
2990.03/2997.73 c #Conflicts: 1035000 | #Constraints: 37770
2990.03/2997.73 c #Conflicts: 1036000 | #Constraints: 38770
2990.03/2997.73 c #Conflicts: 1037000 | #Constraints: 39770
2990.03/2997.73 c #Conflicts: 1038000 | #Constraints: 40770
2990.03/2997.73 c #Conflicts: 1039000 | #Constraints: 41770
2990.03/2997.73 c #Conflicts: 1040000 | #Constraints: 42770
2990.03/2997.73 c #Conflicts: 1041000 | #Constraints: 43770
2990.03/2997.73 c INPROCESSING
2990.03/2997.73 c GARBAGE COLLECT
2990.03/2997.73 c #Conflicts: 1042000 | #Constraints: 24568
2990.03/2997.73 c #Conflicts: 1043000 | #Constraints: 25568
2990.03/2997.73 c #Conflicts: 1044000 | #Constraints: 26568
2990.03/2997.73 c #Conflicts: 1045000 | #Constraints: 27568
2990.03/2997.73 c #Conflicts: 1046000 | #Constraints: 28568
2990.03/2997.73 c #Conflicts: 1047000 | #Constraints: 29568
2990.03/2997.73 c #Conflicts: 1048000 | #Constraints: 30568
2990.03/2997.73 c #Conflicts: 1049000 | #Constraints: 31568
2990.03/2997.73 c #Conflicts: 1050000 | #Constraints: 32568
3261.36/3269.73 c #Conflicts: 1051000 | #Constraints: 33568
3261.36/3269.73 c #Conflicts: 1052000 | #Constraints: 34568
3261.36/3269.73 c #Conflicts: 1053000 | #Constraints: 35568
3261.36/3269.73 c #Conflicts: 1054000 | #Constraints: 36568
3261.36/3269.73 c #Conflicts: 1055000 | #Constraints: 37568
3261.36/3269.73 c #Conflicts: 1056000 | #Constraints: 38568
3261.36/3269.73 c #Conflicts: 1057000 | #Constraints: 39568
3261.36/3269.73 c #Conflicts: 1058000 | #Constraints: 40568
3261.36/3269.73 c #Conflicts: 1059000 | #Constraints: 41568
3261.36/3269.73 c #Conflicts: 1060000 | #Constraints: 42568
3261.36/3269.73 c #Conflicts: 1061000 | #Constraints: 43568
3261.36/3269.73 c #Conflicts: 1062000 | #Constraints: 44568
3261.36/3269.73 c INPROCESSING
3261.36/3269.73 c GARBAGE COLLECT
3261.36/3269.73 c #Conflicts: 1063000 | #Constraints: 25170
3261.36/3269.73 c #Conflicts: 1064000 | #Constraints: 26170
3261.36/3269.73 c #Conflicts: 1065000 | #Constraints: 27170
3261.36/3269.73 c #Conflicts: 1066000 | #Constraints: 28170
3261.36/3269.73 c #Conflicts: 1067000 | #Constraints: 29170
3261.36/3269.73 c #Conflicts: 1068000 | #Constraints: 30170
3261.36/3269.73 c #Conflicts: 1069000 | #Constraints: 31170
3261.36/3269.73 c #Conflicts: 1070000 | #Constraints: 32170
3261.36/3269.73 c #Conflicts: 1071000 | #Constraints: 33170
3261.36/3269.73 c #Conflicts: 1072000 | #Constraints: 34170
3261.36/3269.73 c #Conflicts: 1073000 | #Constraints: 35170
3261.36/3269.73 c #Conflicts: 1074000 | #Constraints: 36170
3261.36/3269.73 c #Conflicts: 1075000 | #Constraints: 37170
3261.36/3269.73 c #Conflicts: 1076000 | #Constraints: 38170
3261.36/3269.73 c #Conflicts: 1077000 | #Constraints: 39170
3261.36/3269.73 c #Conflicts: 1078000 | #Constraints: 40170
3261.36/3269.73 c #Conflicts: 1079000 | #Constraints: 41170
3261.36/3269.73 c #Conflicts: 1080000 | #Constraints: 42170
3261.36/3269.73 c #Conflicts: 1081000 | #Constraints: 43170
3261.36/3269.73 c #Conflicts: 1082000 | #Constraints: 44170
3261.36/3269.73 c #Conflicts: 1083000 | #Constraints: 45170
3261.36/3269.73 c INPROCESSING
3261.36/3269.73 c GARBAGE COLLECT
3261.36/3269.73 c #Conflicts: 1084000 | #Constraints: 25572
3261.36/3269.73 c #Conflicts: 1085000 | #Constraints: 26572
3261.36/3269.73 c #Conflicts: 1086000 | #Constraints: 27572
3261.36/3269.73 c #Conflicts: 1087000 | #Constraints: 28572
3261.36/3269.73 c #Conflicts: 1088000 | #Constraints: 29572
3261.36/3269.73 c #Conflicts: 1089000 | #Constraints: 30572
3261.36/3269.73 c #Conflicts: 1090000 | #Constraints: 31572
3261.36/3269.73 c #Conflicts: 1091000 | #Constraints: 32572
3261.36/3269.73 c #Conflicts: 1092000 | #Constraints: 33572
3261.36/3269.73 c #Conflicts: 1093000 | #Constraints: 34572
3261.36/3269.73 c #Conflicts: 1094000 | #Constraints: 35572
3261.36/3269.73 c #Conflicts: 1095000 | #Constraints: 36572
3261.36/3269.73 c #Conflicts: 1096000 | #Constraints: 37572
3261.36/3269.73 c #Conflicts: 1097000 | #Constraints: 38572
3261.36/3269.73 c #Conflicts: 1098000 | #Constraints: 39572
3261.36/3269.73 c #Conflicts: 1099000 | #Constraints: 40572
3261.36/3269.73 c #Conflicts: 1100000 | #Constraints: 41572
3261.36/3269.73 c #Conflicts: 1101000 | #Constraints: 42572
3261.36/3269.73 c #Conflicts: 1102000 | #Constraints: 43572
3261.36/3269.73 c #Conflicts: 1103000 | #Constraints: 44572
3261.36/3269.73 c #Conflicts: 1104000 | #Constraints: 45572
3261.36/3269.73 c INPROCESSING
3261.36/3269.73 c GARBAGE COLLECT
3261.36/3269.73 c #Conflicts: 1105000 | #Constraints: 25776
3261.36/3269.73 c #Conflicts: 1106000 | #Constraints: 26776
3261.36/3269.73 c #Conflicts: 1107000 | #Constraints: 27776
3261.36/3269.73 c #Conflicts: 1108000 | #Constraints: 28776
3261.36/3269.73 c #Conflicts: 1109000 | #Constraints: 29776
3261.36/3269.73 c #Conflicts: 1110000 | #Constraints: 30776
3261.36/3269.73 c #Conflicts: 1111000 | #Constraints: 31776
3261.36/3269.73 c #Conflicts: 1112000 | #Constraints: 32776
3261.36/3269.73 c #Conflicts: 1113000 | #Constraints: 33776
3261.36/3269.73 c #Conflicts: 1114000 | #Constraints: 34776
3261.36/3269.73 c #Conflicts: 1115000 | #Constraints: 35776
3261.36/3269.73 c #Conflicts: 1116000 | #Constraints: 36776
3261.36/3269.73 c #Conflicts: 1117000 | #Constraints: 37776
3261.36/3269.73 c #Conflicts: 1118000 | #Constraints: 38776
3261.36/3269.73 c #Conflicts: 1119000 | #Constraints: 39776
3261.36/3269.73 c #Conflicts: 1120000 | #Constraints: 40776
3261.36/3269.73 c #Conflicts: 1121000 | #Constraints: 41776
3261.36/3269.73 c #Conflicts: 1122000 | #Constraints: 42776
3261.36/3269.73 c #Conflicts: 1123000 | #Constraints: 43776
3261.36/3269.73 c #Conflicts: 1124000 | #Constraints: 44776
3261.36/3269.73 c #Conflicts: 1125000 | #Constraints: 45776
3261.36/3269.73 c INPROCESSING
3261.36/3269.73 c GARBAGE COLLECT
3261.36/3269.73 c #Conflicts: 1126000 | #Constraints: 25781
3553.21/3562.49 c #Conflicts: 1127000 | #Constraints: 26781
3553.21/3562.49 c #Conflicts: 1128000 | #Constraints: 27781
3553.21/3562.49 c #Conflicts: 1129000 | #Constraints: 28781
3553.21/3562.49 c #Conflicts: 1130000 | #Constraints: 29781
3553.21/3562.49 c #Conflicts: 1131000 | #Constraints: 30781
3553.21/3562.49 c #Conflicts: 1132000 | #Constraints: 31781
3553.21/3562.49 c #Conflicts: 1133000 | #Constraints: 32781
3553.21/3562.49 c #Conflicts: 1134000 | #Constraints: 33781
3553.21/3562.49 c #Conflicts: 1135000 | #Constraints: 34781
3553.21/3562.49 c #Conflicts: 1136000 | #Constraints: 35781
3553.21/3562.49 c #Conflicts: 1137000 | #Constraints: 36781
3553.21/3562.49 c #Conflicts: 1138000 | #Constraints: 37781
3553.21/3562.49 c #Conflicts: 1139000 | #Constraints: 38781
3553.21/3562.49 c #Conflicts: 1140000 | #Constraints: 39781
3553.21/3562.49 c #Conflicts: 1141000 | #Constraints: 40781
3553.21/3562.49 c #Conflicts: 1142000 | #Constraints: 41781
3553.21/3562.49 c #Conflicts: 1143000 | #Constraints: 42781
3553.21/3562.49 c #Conflicts: 1144000 | #Constraints: 43781
3553.21/3562.49 c #Conflicts: 1145000 | #Constraints: 44781
3553.21/3562.49 c #Conflicts: 1146000 | #Constraints: 45781
3553.21/3562.49 c INPROCESSING
3553.21/3562.49 c GARBAGE COLLECT
3553.21/3562.49 c #Conflicts: 1147000 | #Constraints: 25568
3553.21/3562.49 c #Conflicts: 1148000 | #Constraints: 26568
3553.21/3562.49 c #Conflicts: 1149000 | #Constraints: 27568
3553.21/3562.49 c #Conflicts: 1150000 | #Constraints: 28568
3553.21/3562.49 c #Conflicts: 1151000 | #Constraints: 29568
3553.21/3562.49 c #Conflicts: 1152000 | #Constraints: 30568
3553.21/3562.49 c #Conflicts: 1153000 | #Constraints: 31568
3553.21/3562.49 c #Conflicts: 1154000 | #Constraints: 32568
3553.21/3562.49 c #Conflicts: 1155000 | #Constraints: 33568
3553.21/3562.49 c #Conflicts: 1156000 | #Constraints: 34568
3553.21/3562.49 c #Conflicts: 1157000 | #Constraints: 35568
3553.21/3562.49 c #Conflicts: 1158000 | #Constraints: 36568
3553.21/3562.49 c #Conflicts: 1159000 | #Constraints: 37568
3553.21/3562.49 c #Conflicts: 1160000 | #Constraints: 38568
3553.21/3562.49 c #Conflicts: 1161000 | #Constraints: 39568
3553.21/3562.49 c #Conflicts: 1162000 | #Constraints: 40568
3553.21/3562.49 c #Conflicts: 1163000 | #Constraints: 41568
3553.21/3562.49 c #Conflicts: 1164000 | #Constraints: 42568
3553.21/3562.49 c #Conflicts: 1165000 | #Constraints: 43568
3553.21/3562.49 c #Conflicts: 1166000 | #Constraints: 44568
3553.21/3562.49 c #Conflicts: 1167000 | #Constraints: 45568
3553.21/3562.49 c #Conflicts: 1168000 | #Constraints: 46568
3553.21/3562.49 c INPROCESSING
3553.21/3562.49 c GARBAGE COLLECT
3553.21/3562.49 c #Conflicts: 1169000 | #Constraints: 26167
3553.21/3562.49 c #Conflicts: 1170000 | #Constraints: 27167
3553.21/3562.49 c #Conflicts: 1171000 | #Constraints: 28167
3553.21/3562.49 c #Conflicts: 1172000 | #Constraints: 29167
3553.21/3562.49 c #Conflicts: 1173000 | #Constraints: 30167
3553.21/3562.49 c #Conflicts: 1174000 | #Constraints: 31167
3553.21/3562.49 c #Conflicts: 1175000 | #Constraints: 32167
3553.21/3562.49 c #Conflicts: 1176000 | #Constraints: 33167
3553.21/3562.49 c #Conflicts: 1177000 | #Constraints: 34167
3553.21/3562.49 c #Conflicts: 1178000 | #Constraints: 35167
3553.21/3562.49 c #Conflicts: 1179000 | #Constraints: 36167
3553.21/3562.49 c #Conflicts: 1180000 | #Constraints: 37167
3553.21/3562.49 c #Conflicts: 1181000 | #Constraints: 38167
3553.21/3562.49 c #Conflicts: 1182000 | #Constraints: 39167
3553.21/3562.49 c #Conflicts: 1183000 | #Constraints: 40167
3553.21/3562.49 c #Conflicts: 1184000 | #Constraints: 41167
3553.21/3562.49 c #Conflicts: 1185000 | #Constraints: 42167
3553.21/3562.49 c #Conflicts: 1186000 | #Constraints: 43167
3553.21/3562.49 c #Conflicts: 1187000 | #Constraints: 44167
3553.21/3562.49 c #Conflicts: 1188000 | #Constraints: 45167
3553.21/3562.49 c #Conflicts: 1189000 | #Constraints: 46167
3553.21/3562.49 c #Conflicts: 1190000 | #Constraints: 47167
3553.21/3562.49 c INPROCESSING
3553.21/3562.49 c GARBAGE COLLECT
3553.21/3562.49 c #Conflicts: 1191000 | #Constraints: 26572
3553.21/3562.49 c #Conflicts: 1192000 | #Constraints: 27572
3553.21/3562.49 c #Conflicts: 1193000 | #Constraints: 28572
3553.21/3562.49 c #Conflicts: 1194000 | #Constraints: 29572
3553.21/3562.49 c #Conflicts: 1195000 | #Constraints: 30572
3553.21/3562.49 c #Conflicts: 1196000 | #Constraints: 31572
3553.21/3562.49 c #Conflicts: 1197000 | #Constraints: 32572
3553.21/3562.49 c #Conflicts: 1198000 | #Constraints: 33572
3553.21/3562.49 c #Conflicts: 1199000 | #Constraints: 34572
3553.21/3562.49 c #Conflicts: 1200000 | #Constraints: 35572
3553.21/3562.49 c #Conflicts: 1201000 | #Constraints: 36572
3553.21/3562.49 c #Conflicts: 1202000 | #Constraints: 37572
3553.21/3562.49 c #Conflicts: 1203000 | #Constraints: 38572
3600.08/3609.40 c #Conflicts: 1204000 | #Constraints: 39572
3600.08/3609.40 c #Conflicts: 1205000 | #Constraints: 40572
3600.08/3609.40 c #Conflicts: 1206000 | #Constraints: 41572
3600.08/3609.40 c #Conflicts: 1207000 | #Constraints: 42572
3600.08/3609.40 c #Conflicts: 1208000 | #Constraints: 43572
3600.08/3609.40 c #Conflicts: 1209000 | #Constraints: 44572
3600.08/3609.40 c #Conflicts: 1210000 | #Constraints: 45572
3600.08/3609.40 c #Conflicts: 1211000 | #Constraints: 46572
3600.08/3609.40 c Program interrupted by user.
3600.08/3609.40 c cpu time 3590.99 s
3600.08/3609.40 c deterministic time 587895903049 5.88e+11
3600.08/3609.40 c optimization time 86.8298 s
3600.08/3609.40 c total solve time 3204.93 s
3600.08/3609.40 c core-guided solve time 3204.93 s
3600.08/3609.40 c propagation time 2679.96 s
3600.08/3609.40 c conflict analysis time 488.115 s
3600.08/3609.40 c propagations 173133776
3600.08/3609.40 c resolve steps 13610233
3600.08/3609.40 c decisions 5476668
3600.08/3609.40 c conflicts 1211519
3600.08/3609.40 c restarts 2299
3600.08/3609.40 c inprocessing phases 100
3600.08/3609.40 c input clauses 3865
3600.08/3609.40 c input cardinalities 137
3600.08/3609.40 c input general constraints 0
3600.08/3609.40 c input average constraint length 57.83
3600.08/3609.40 c input average constraint degree 26.15
3600.08/3609.40 c learned clauses 514626
3600.08/3609.40 c learned cardinalities 61406
3600.08/3609.40 c learned general constraints 635625
3600.08/3609.40 c learned average constraint length 779.24
3600.08/3609.40 c learned average constraint degree 40039.17
3600.08/3609.40 c watched constraints 347368
3600.08/3609.40 c counting constraints 288257
3600.08/3609.40 c gcd simplifications 23803
3600.08/3609.40 c detected cardinalities 172
3600.08/3609.40 c weakened non-implied lits 208380537
3600.08/3609.40 c weakened non-implying lits 55388
3600.08/3609.40 c original variables 1968
3600.08/3609.40 c clausal propagations 84772316
3600.08/3609.40 c cardinality propagations 17080781
3600.08/3609.40 c watched propagations 10540318
3600.08/3609.40 c counting propagations 53242982
3600.08/3609.40 c watch lookups 41585006531
3600.08/3609.40 c watch backjump lookups 31732165640
3600.08/3609.40 c watch checks 466594883923
3600.08/3609.40 c propagation checks 44659332343
3600.08/3609.40 c constraint additions 2966083441
3600.08/3609.40 c trail pops 179820726
3600.08/3609.40 c formula constraints 3199
3600.08/3609.40 c learned constraints 1211657
3600.08/3609.40 c bound constraints 137
3600.08/3609.40 c core-guided constraints 666
3600.08/3609.40 c encountered formula constraints 9387032
3600.08/3609.40 c encountered learned constraints 3509922
3600.08/3609.40 c encountered bound constraints 2
3600.08/3609.40 c encountered core-guided constraints 1924796
3600.08/3609.40 c LP total time 0 s
3600.08/3609.40 c LP solve time 0 s
3600.08/3609.40 c LP constraints added 0
3600.08/3609.40 c LP constraints removed 0
3600.08/3609.40 c LP pivots internal 0
3600.08/3609.40 c LP pivots root 0
3600.08/3609.40 c LP calls 0
3600.08/3609.40 c LP optimalities 0
3600.08/3609.40 c LP no pivot count 0
3600.08/3609.40 c LP infeasibilities 0
3600.08/3609.40 c LP valid Farkas constraints 0
3600.08/3609.40 c LP learned Farkas constraints 0
3600.08/3609.40 c LP basis resets 0
3600.08/3609.40 c LP cycling count 0
3600.08/3609.40 c LP singular count 0
3600.08/3609.40 c LP no primal count 0
3600.08/3609.40 c LP no farkas count 0
3600.08/3609.40 c LP other issue count 0
3600.08/3609.40 c LP Gomory cuts 0
3600.08/3609.40 c LP learned cuts 0
3600.08/3609.40 c LP deleted cuts 0
3600.08/3609.40 c LP encountered Gomory constraints 0
3600.08/3609.40 c LP encountered Farkas constraints 0
3600.08/3609.40 c LP encountered learned Farkas constraints 0
3600.08/3609.40 c CG auxiliary variables introduced 666
3600.08/3609.40 c CG solutions found 0
3600.08/3609.40 c CG cores constructed 136
3600.08/3609.40 c CG core cardinality constraints returned 0
3600.08/3609.40 c CG unit cores 0
3600.08/3609.40 c CG single cores 136
3600.08/3609.40 c CG blocks removed during cardinality reduction 0
3600.08/3609.40 c CG first core best 0
3600.08/3609.40 c CG decision core best 0
3600.08/3609.40 c CG core reduction tie 0
3600.08/3609.40 c CG core degree average 1.00
3600.08/3609.40 c CG core slack average 3.12
3600.08/3609.40 c CG exhausted 0
3600.08/3609.40 c CG exhaust time 0 s
3600.08/3609.40 c CG trimmed 2
3600.08/3609.40 c CG trim time 0.000765 s
3600.08/3609.40 c CG minimized 0
3600.08/3609.40 c CG minimize time 0 s
3600.08/3609.40 c CG am1 prop time 0.001567 s
3600.08/3609.40 c CG # am1s reformulated 666
3600.08/3609.40 c CG lower bound derived from am1s 667
3600.08/3609.40 c CG # clausal cores 136
3600.08/3609.40 c CG # cardinality cores 0
3600.08/3609.40 c CG # pb cores 0
3600.08/3609.40 c CG # pb reforms 0
3600.08/3609.40 c CG # cores discarded because of pb reform 0
3600.08/3609.40 d LOWERBOUND 803
3600.08/3609.40 d NCORES 136
3600.08/3609.40 d NPBCORES 0
3600.08/3609.40 d NPBREFORM 0
3600.08/3609.40 d NTRIMMED 2
3600.08/3609.40 d NEXHAUSTED 0
3600.08/3609.40 d NAM1S 666
3600.08/3609.40 d AM1LB 667
3600.08/3609.40 c [Papilo Statistics]
3600.08/3609.40 c prepro time 0.0138025s
3600.08/3609.40 c # tsx applied 165
3600.08/3609.40 c # tsx conflicts 7
3600.08/3609.40 c # bound changes 164
3600.08/3609.40 c # side changes 0
3600.08/3609.40 c # coef changes 0
3600.08/3609.40 c # rounds 2
3600.08/3609.40 c # deted vars 340
3600.08/3609.40 c # deted constrs 801
3600.08/3609.40 c # consecutive rounds of only bound changes 0
3600.08/3609.40 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62864 MiB free)
memory of node 1: 64465 MiB (59109 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528929-1752256448/watcher-4528929-1752256448 -o /tmp/evaluation-result-4528929-1752256448/solver-4528929-1752256448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752256448-122972 --watchdog 3760 mixed-bag HOME/instance-4528929-1752256448.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=123018, runsolver pid=123012
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 0.90 1.23 2.20 5/252 123031
/proc/meminfo: memFree=124864856/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=102312 memory=29964 CPUtime=0.09 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 4207 0 5 0 7 2 0 0 20 0 1 0 141323987 104767488 7491 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 25578 7491 3936 2834 0 7783 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 102312 KiB
Current children cumulated memory: 29964 KiB
[startup+0.21405 s]*
/proc/loadavg: 0.90 1.23 2.20 5/252 123031
/proc/meminfo: memFree=124859564/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=111576 memory=37484 CPUtime=0.19 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 6182 0 5 0 17 2 0 0 20 0 1 0 141323987 114253824 9371 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 27894 9371 4096 2834 0 10099 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 111576 KiB
Current children cumulated memory: 37484 KiB
[startup+0.313819 s]*
/proc/loadavg: 0.90 1.23 2.20 5/252 123031
/proc/meminfo: memFree=124855028/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=114920 memory=41196 CPUtime=0.3 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 7021 0 5 0 27 3 0 0 20 0 1 0 141323987 117678080 10299 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 28730 10299 4224 2834 0 10935 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114920 KiB
Current children cumulated memory: 41196 KiB
[startup+0.70027 s]
/proc/loadavg: 0.90 1.23 2.20 5/252 123031
/proc/meminfo: memFree=124855028/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=118728 memory=44780 CPUtime=0.67 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 7896 0 5 0 64 3 0 0 20 0 1 0 141323987 121577472 11195 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 29682 11195 4224 2834 0 11887 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 118728 KiB
Current children cumulated memory: 44780 KiB
[startup+1.50027 s]
/proc/loadavg: 0.90 1.23 2.20 5/252 123031
/proc/meminfo: memFree=124849392/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=119816 memory=45548 CPUtime=1.46 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 8112 0 5 0 143 3 0 0 20 0 1 0 141323987 122691584 11387 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 29954 11387 4224 2834 0 12159 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 119816 KiB
Current children cumulated memory: 45548 KiB
[startup+3.11291 s]
/proc/loadavg: 1.23 1.30 2.21 5/252 123031
/proc/meminfo: memFree=124435696/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=141280 memory=65644 CPUtime=3.08 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 13147 0 5 0 303 5 0 0 20 0 1 0 141323987 144670720 16411 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 35320 16411 4224 2834 0 17525 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 141280 KiB
Current children cumulated memory: 65644 KiB
[startup+6.30023 s]
/proc/loadavg: 1.23 1.30 2.21 5/252 123031
/proc/meminfo: memFree=124387640/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=176976 memory=100588 CPUtime=6.25 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 21865 0 5 0 619 6 0 0 20 0 1 0 141323987 181223424 25147 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 44244 25147 4224 2834 0 26449 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 176976 KiB
Current children cumulated memory: 100588 KiB
[startup+12.7003 s]
/proc/loadavg: 1.45 1.34 2.22 5/252 123031
/proc/meminfo: memFree=124323160/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=236844 memory=155472 CPUtime=12.64 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 36664 0 5 0 1255 9 0 0 20 0 1 0 141323987 242528256 38868 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 59211 38868 4256 2834 0 41416 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 236844 KiB
Current children cumulated memory: 155472 KiB
[startup+25.5003 s]
/proc/loadavg: 2.02 1.47 2.25 5/252 123031
/proc/meminfo: memFree=124189992/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=236844 memory=156112 CPUtime=25.41 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 36833 0 5 0 2532 9 0 0 20 0 1 0 141323987 242528256 39028 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 59211 39028 4256 2834 0 41416 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 236844 KiB
Current children cumulated memory: 156112 KiB
[startup+51.1128 s]
/proc/loadavg: 2.77 1.69 2.31 5/252 123032
/proc/meminfo: memFree=124109012/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=298452 memory=212932 CPUtime=50.95 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 51838 0 5 0 5084 11 0 0 20 0 1 0 141323987 305614848 53233 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 74613 53233 4256 2834 0 56818 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 298452 KiB
Current children cumulated memory: 212932 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 2.07 2.40 5/252 123034
/proc/meminfo: memFree=123883000/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=303272 memory=218348 CPUtime=102.02 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 54345 0 5 0 10190 12 0 0 20 0 1 0 141323987 310550528 54587 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 75818 54587 4256 2834 0 58023 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 303272 KiB
Current children cumulated memory: 218348 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 2.42 2.51 5/252 123036
/proc/meminfo: memFree=123814548/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=312960 memory=234220 CPUtime=161.84 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 56140 0 5 0 16172 12 0 0 20 0 1 0 141323987 320471040 58555 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 78240 58555 4256 2834 0 60445 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 312960 KiB
Current children cumulated memory: 234220 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 2.76 2.62 5/252 123038
/proc/meminfo: memFree=123793812/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=326732 memory=248564 CPUtime=221.68 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 59504 0 5 0 22155 13 0 0 20 0 1 0 141323987 334573568 62141 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 81683 62141 4256 2834 0 63888 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 326732 KiB
Current children cumulated memory: 248564 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.00 2.71 5/252 123040
/proc/meminfo: memFree=123759844/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=325360 memory=256540 CPUtime=281.54 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 60700 0 5 0 28141 13 0 0 20 0 1 0 141323987 333168640 64135 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 81340 64135 4256 2834 0 63545 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 325360 KiB
Current children cumulated memory: 256540 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.20 2.80 5/251 123042
/proc/meminfo: memFree=123980800/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=213060 memory=148984 CPUtime=341.38 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 63538 0 5 0 34084 54 0 0 20 0 1 0 141323987 218173440 37246 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 53265 37246 4448 2834 0 35470 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 213060 KiB
Current children cumulated memory: 148984 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.36 2.88 5/251 123047
/proc/meminfo: memFree=123921672/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=249768 memory=165880 CPUtime=401.21 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 65236 0 5 0 40032 89 0 0 20 0 1 0 141323987 255762432 41470 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 62442 41470 4448 2834 0 44647 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 249768 KiB
Current children cumulated memory: 165880 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.50 2.96 5/250 123060
/proc/meminfo: memFree=123904092/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=256940 memory=179284 CPUtime=461.05 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 66544 0 5 0 45985 120 0 0 20 0 1 0 141323987 263106560 44821 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 64235 44821 4448 2834 0 46440 0
Current children cumulated CPU time: 461.05 s
################
# More data... #
################
Current children cumulated memory: 403384 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/250 123173
/proc/meminfo: memFree=123545608/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=502564 memory=403384 CPUtime=2854.96 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 87423 0 5 0 284728 768 0 0 20 0 1 0 141323987 514625536 100846 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 125641 100846 4448 2834 0 107846 0
Current children cumulated CPU time: 2854.96 s
Current children cumulated vsize: 502564 KiB
Current children cumulated memory: 403384 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/251 123180
/proc/meminfo: memFree=123545056/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=503420 memory=405688 CPUtime=2914.82 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 87601 0 5 0 290706 776 0 0 20 0 1 0 141323987 515502080 101422 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 125855 101422 4448 2834 0 108060 0
Current children cumulated CPU time: 2914.82 s
Current children cumulated vsize: 503420 KiB
Current children cumulated memory: 405688 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.04 5/250 123182
/proc/meminfo: memFree=123531348/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=503420 memory=419640 CPUtime=2974.67 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 87607 0 5 0 296681 786 0 0 20 0 1 0 141323987 515502080 104910 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 125855 104910 4448 2834 0 108060 0
Current children cumulated CPU time: 2974.67 s
Current children cumulated vsize: 503420 KiB
Current children cumulated memory: 419640 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.04 5/251 123185
/proc/meminfo: memFree=123530956/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=503420 memory=419640 CPUtime=3034.53 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 87607 0 5 0 302654 799 0 0 20 0 1 0 141323987 515502080 104910 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 125855 104910 4448 2834 0 108060 0
Current children cumulated CPU time: 3034.53 s
Current children cumulated vsize: 503420 KiB
Current children cumulated memory: 419640 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.04 5/251 123187
/proc/meminfo: memFree=123530572/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=503420 memory=419640 CPUtime=3094.39 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 87607 0 5 0 308628 811 0 0 20 0 1 0 141323987 515502080 104910 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 125855 104910 4448 2834 0 108060 0
Current children cumulated CPU time: 3094.39 s
Current children cumulated vsize: 503420 KiB
Current children cumulated memory: 419640 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.05 5/251 123188
/proc/meminfo: memFree=123526832/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=503420 memory=419640 CPUtime=3154.26 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 87607 0 5 0 314601 825 0 0 20 0 1 0 141323987 515502080 104910 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 125855 104910 4448 2834 0 108060 0
Current children cumulated CPU time: 3154.26 s
Current children cumulated vsize: 503420 KiB
Current children cumulated memory: 419640 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.07 4.04 5/250 123190
/proc/meminfo: memFree=123524704/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=503772 memory=420024 CPUtime=3214.1 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 87691 0 5 0 320575 835 0 0 20 0 1 0 141323987 515862528 105006 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 125943 105006 4448 2834 0 108148 0
Current children cumulated CPU time: 3214.1 s
Current children cumulated vsize: 503772 KiB
Current children cumulated memory: 420024 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.05 5/250 123192
/proc/meminfo: memFree=123525736/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=504284 memory=420408 CPUtime=3273.92 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 87794 0 5 0 326545 847 0 0 20 0 1 0 141323987 516386816 105102 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 126071 105102 4448 2834 0 108276 0
Current children cumulated CPU time: 3273.92 s
Current children cumulated vsize: 504284 KiB
Current children cumulated memory: 420408 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/250 123194
/proc/meminfo: memFree=123525916/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=504468 memory=420408 CPUtime=3333.75 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 87809 0 5 0 332518 857 0 0 20 0 1 0 141323987 516575232 105102 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 126117 105102 4448 2834 0 108322 0
Current children cumulated CPU time: 3333.75 s
Current children cumulated vsize: 504468 KiB
Current children cumulated memory: 420408 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.05 5/251 123200
/proc/meminfo: memFree=123525488/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=504956 memory=420920 CPUtime=3393.57 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 87931 0 5 0 338488 869 0 0 20 0 1 0 141323987 517074944 105230 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 126239 105230 4448 2834 0 108444 0
Current children cumulated CPU time: 3393.57 s
Current children cumulated vsize: 504956 KiB
Current children cumulated memory: 420920 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.08 4.05 5/251 123202
/proc/meminfo: memFree=123521696/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=504956 memory=420920 CPUtime=3453.4 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 87931 0 5 0 344456 884 0 0 20 0 1 0 141323987 517074944 105230 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 126239 105230 4448 2834 0 108444 0
Current children cumulated CPU time: 3453.4 s
Current children cumulated vsize: 504956 KiB
Current children cumulated memory: 420920 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.05 5/251 123208
/proc/meminfo: memFree=123516852/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=504956 memory=420920 CPUtime=3513.23 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 87931 0 5 0 350431 892 0 0 20 0 1 0 141323987 517074944 105230 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 126239 105230 4448 2834 0 108444 0
Current children cumulated CPU time: 3513.23 s
Current children cumulated vsize: 504956 KiB
Current children cumulated memory: 420920 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.05 5/251 123210
/proc/meminfo: memFree=123522388/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=504956 memory=420920 CPUtime=3573.05 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 87931 0 5 0 356400 905 0 0 20 0 1 0 141323987 517074944 105230 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 126239 105230 4448 2834 0 108444 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 504956 KiB
Current children cumulated memory: 420920 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.09 4.09 4.05 5/251 123212
/proc/meminfo: memFree=123522320/131382112 swapFree=33000116/33010684
[pid=123018] ppid=123012 vsize=504956 memory=420920 CPUtime=3600.08 cores=4,6
/proc/123018/stat : 123018 (mixed-bag) R 123012 123018 122961 0 -1 4194304 87931 0 5 0 359099 909 0 0 20 0 1 0 141323987 517074944 105230 18446744073709551615 4235264 15840557 140731673151792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38940672 140731673155994 140731673156071 140731673156071 140731673161675 0
/proc/123018/statm: 126239 105230 4448 2834 0 108444 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 504956 KiB
Current children cumulated memory: 420920 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 123018 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591 s, system=9.09448 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.41
CPU time (s): 3600.09
CPU user time (s): 3591
CPU system time (s): 9.09448
CPU usage (%): 99.7419
Max. virtual memory (cumulated for all children) (KiB): 504956
Max. memory (cumulated for all children) (KiB): 420920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591
system time used= 9.09448
maximum resident set size= 421432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87961
page faults= 5
swaps= 0
block input operations= 536
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 224
involuntary context switches= 2783
# summary of solver processes directly reported to runsolver:
# pid: 123018
# total CPU time (s): 3600.09
# total CPU user time (s): 3591
# total CPU system time (s): 9.09448
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7611 second user time and 36.0351 second system time
The end
Begin job on nodeC007 at 2025-07-11 19:54:08
IDJOB=4528929
IDBENCH=147535
IDSOLVER=3386
FILE ID=nodeC007/4528929-1752256448
RUNJOBID= nodeC007-1752256448-122972
SLURM_JOB_ID= 9682599
Free space on /tmp= 431084 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528929-1752256448/watcher-4528929-1752256448 -o /tmp/evaluation-result-4528929-1752256448/solver-4528929-1752256448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752256448-122972 --watchdog 3760 mixed-bag HOME/instance-4528929-1752256448.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4613bd71ebda28f991e46514414d76dd
RANDOM SEED=856085768
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.338
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.208
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.198
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.413
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.204
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.203
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 124901220 kB
MemAvailable: 129784960 kB
Buffers: 16 kB
Cached: 5549532 kB
SwapCached: 2804 kB
Active: 337548 kB
Inactive: 5279176 kB
Active(anon): 44104 kB
Inactive(anon): 35084 kB
Active(file): 293444 kB
Inactive(file): 5244092 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33000116 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 61236 kB
Writeback: 0 kB
AnonPages: 67440 kB
Mapped: 98888 kB
Shmem: 12012 kB
KReclaimable: 371664 kB
Slab: 465100 kB
SReclaimable: 371664 kB
SUnreclaim: 93436 kB
KernelStack: 3816 kB
PageTables: 2728 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 341628 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149272 kB
VmallocChunk: 0 kB
Percpu: 3776 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431024 MiB
End job on nodeC007 at 2025-07-11 20:54:18