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.33/300.24 c [STEP] preprocessing done, loading into solver
299.33/300.25 c [STEP] solving
299.33/300.25 c #variables 1654 #constraints 3241
299.33/300.25 c SMALL=int, LARGE=long long
299.33/300.25 d SCIPUB 892
299.33/300.25 c bounds - >= 0 @ 299.238
299.33/300.25 c stratification level: 0
299.63/300.55 c bounds - >= 670 @ 299.245
299.63/300.55 c bounds - >= 671 @ 299.246
299.63/300.55 c bounds - >= 672 @ 299.246
299.63/300.55 c bounds - >= 673 @ 299.246
299.63/300.55 c bounds - >= 674 @ 299.246
299.63/300.55 c bounds - >= 675 @ 299.246
299.63/300.55 c bounds - >= 676 @ 299.246
299.63/300.55 c bounds - >= 677 @ 299.246
299.63/300.55 c bounds - >= 678 @ 299.246
299.63/300.55 c bounds - >= 679 @ 299.246
299.63/300.55 c bounds - >= 680 @ 299.247
299.63/300.55 c bounds - >= 681 @ 299.247
299.63/300.55 c bounds - >= 682 @ 299.247
299.63/300.55 c bounds - >= 683 @ 299.247
299.63/300.55 c bounds - >= 684 @ 299.247
299.63/300.55 c bounds - >= 685 @ 299.248
299.63/300.55 c bounds - >= 686 @ 299.248
299.63/300.55 c bounds - >= 687 @ 299.248
299.63/300.55 c bounds - >= 688 @ 299.248
299.63/300.55 c bounds - >= 689 @ 299.248
299.63/300.55 c bounds - >= 690 @ 299.248
299.63/300.55 c bounds - >= 691 @ 299.248
299.63/300.55 c bounds - >= 692 @ 299.248
299.63/300.55 c bounds - >= 693 @ 299.248
299.63/300.55 c bounds - >= 694 @ 299.249
299.63/300.55 c bounds - >= 695 @ 299.249
299.63/300.55 c bounds - >= 696 @ 299.249
299.63/300.55 c bounds - >= 697 @ 299.249
299.63/300.55 c bounds - >= 698 @ 299.25
299.63/300.55 c bounds - >= 699 @ 299.25
299.63/300.55 c bounds - >= 700 @ 299.25
299.63/300.55 c bounds - >= 701 @ 299.25
299.63/300.55 c bounds - >= 702 @ 299.25
299.63/300.55 c bounds - >= 703 @ 299.251
299.63/300.55 c bounds - >= 704 @ 299.251
299.63/300.55 c bounds - >= 705 @ 299.251
299.63/300.55 c bounds - >= 706 @ 299.251
299.63/300.55 c bounds - >= 707 @ 299.252
299.63/300.55 c bounds - >= 708 @ 299.252
299.63/300.55 c bounds - >= 709 @ 299.252
299.63/300.55 c bounds - >= 710 @ 299.252
299.63/300.55 c bounds - >= 711 @ 299.253
299.63/300.55 c bounds - >= 712 @ 299.253
299.63/300.55 c bounds - >= 713 @ 299.253
299.63/300.55 c bounds - >= 714 @ 299.253
299.63/300.55 c bounds - >= 715 @ 299.253
299.63/300.55 c bounds - >= 716 @ 299.253
299.63/300.55 c bounds - >= 717 @ 299.253
299.63/300.55 c bounds - >= 718 @ 299.253
299.63/300.55 c bounds - >= 719 @ 299.253
299.63/300.55 c bounds - >= 720 @ 299.253
299.63/300.55 c bounds - >= 721 @ 299.253
299.63/300.55 c bounds - >= 722 @ 299.253
299.63/300.55 c bounds - >= 723 @ 299.253
299.63/300.55 c bounds - >= 724 @ 299.253
299.63/300.55 c bounds - >= 725 @ 299.253
299.63/300.55 c bounds - >= 726 @ 299.253
299.63/300.55 c bounds - >= 727 @ 299.254
299.63/300.55 c bounds - >= 728 @ 299.254
299.63/300.55 c bounds - >= 729 @ 299.254
299.63/300.55 c bounds - >= 730 @ 299.254
299.63/300.55 c bounds - >= 731 @ 299.255
299.63/300.55 c bounds - >= 732 @ 299.255
299.63/300.55 c bounds - >= 733 @ 299.255
299.63/300.55 c bounds - >= 734 @ 299.255
299.63/300.55 c bounds - >= 735 @ 299.256
299.63/300.55 c bounds - >= 736 @ 299.256
299.63/300.55 c bounds - >= 737 @ 299.256
299.63/300.55 c bounds - >= 738 @ 299.256
299.63/300.55 c bounds - >= 739 @ 299.257
299.63/300.55 c bounds - >= 740 @ 299.257
299.63/300.55 c bounds - >= 741 @ 299.257
299.63/300.55 c bounds - >= 742 @ 299.257
299.63/300.55 c bounds - >= 743 @ 299.258
299.63/300.55 c bounds - >= 744 @ 299.258
299.63/300.55 c bounds - >= 745 @ 299.258
299.63/300.55 c bounds - >= 746 @ 299.259
299.63/300.55 c bounds - >= 747 @ 299.259
299.63/300.55 c bounds - >= 748 @ 299.259
299.63/300.55 c bounds - >= 749 @ 299.259
299.63/300.55 c bounds - >= 750 @ 299.259
299.63/300.55 c bounds - >= 751 @ 299.259
299.63/300.55 c bounds - >= 752 @ 299.259
299.63/300.55 c bounds - >= 753 @ 299.259
299.63/300.55 c bounds - >= 754 @ 299.259
299.63/300.55 c bounds - >= 755 @ 299.259
299.63/300.55 c bounds - >= 756 @ 299.259
299.63/300.55 c bounds - >= 757 @ 299.259
299.63/300.55 c bounds - >= 758 @ 299.26
299.63/300.55 c bounds - >= 759 @ 299.26
299.63/300.55 c bounds - >= 760 @ 299.26
299.63/300.55 c bounds - >= 761 @ 299.26
299.63/300.55 c bounds - >= 762 @ 299.261
299.63/300.55 c bounds - >= 763 @ 299.261
299.63/300.55 c bounds - >= 764 @ 299.261
299.63/300.55 c bounds - >= 765 @ 299.261
299.63/300.55 c bounds - >= 766 @ 299.261
299.63/300.55 c bounds - >= 767 @ 299.261
299.63/300.55 c bounds - >= 768 @ 299.261
299.63/300.55 c bounds - >= 769 @ 299.262
299.63/300.55 c bounds - >= 770 @ 299.262
299.63/300.55 c bounds - >= 771 @ 299.262
299.63/300.55 c bounds - >= 772 @ 299.263
299.63/300.55 c bounds - >= 773 @ 299.263
299.63/300.55 c bounds - >= 774 @ 299.263
299.63/300.55 c bounds - >= 775 @ 299.263
299.63/300.55 c bounds - >= 776 @ 299.263
299.63/300.55 c bounds - >= 777 @ 299.263
299.63/300.55 c bounds - >= 778 @ 299.263
299.63/300.55 c bounds - >= 779 @ 299.263
299.63/300.55 c bounds - >= 780 @ 299.263
299.63/300.55 c bounds - >= 781 @ 299.263
299.63/300.55 c bounds - >= 782 @ 299.264
299.63/300.55 c bounds - >= 783 @ 299.264
299.63/300.55 c bounds - >= 784 @ 299.264
299.63/300.55 c bounds - >= 785 @ 299.264
299.63/300.55 c bounds - >= 786 @ 299.265
299.63/300.55 c bounds - >= 787 @ 299.265
299.63/300.55 c bounds - >= 788 @ 299.265
299.63/300.55 c bounds - >= 789 @ 299.265
299.63/300.55 c bounds - >= 790 @ 299.265
299.63/300.55 c bounds - >= 791 @ 299.265
299.63/300.55 c bounds - >= 792 @ 299.266
299.63/300.55 c bounds - >= 793 @ 299.266
299.63/300.55 c bounds - >= 794 @ 299.266
299.63/300.55 c bounds - >= 795 @ 299.266
299.63/300.55 c bounds - >= 796 @ 299.266
299.63/300.55 c bounds - >= 797 @ 299.266
299.63/300.55 c bounds - >= 798 @ 299.266
299.63/300.55 c bounds - >= 799 @ 299.266
299.63/300.55 c bounds - >= 800 @ 299.267
299.63/300.55 c bounds - >= 801 @ 299.267
299.63/300.55 c bounds - >= 802 @ 299.267
299.63/300.55 c bounds - >= 803 @ 299.267
299.63/300.55 c bounds - >= 804 @ 299.267
299.63/300.55 c bounds - >= 805 @ 299.268
299.63/300.55 c bounds - >= 806 @ 299.268
299.63/300.55 c bounds - >= 807 @ 299.268
299.63/300.55 c bounds - >= 808 @ 299.268
299.63/300.55 c bounds - >= 809 @ 299.269
299.63/300.55 c bounds - >= 810 @ 299.269
299.63/300.55 c bounds - >= 811 @ 299.269
299.63/300.55 c bounds - >= 812 @ 299.269
299.63/300.55 c bounds - >= 813 @ 299.27
299.63/300.55 c bounds - >= 814 @ 299.27
299.63/300.55 c #Conflicts: 1000 | #Constraints: 5199
366.63/367.73 c #Conflicts: 2000 | #Constraints: 6199
366.63/367.73 c INPROCESSING
366.63/367.73 c GARBAGE COLLECT
366.63/367.73 c #Conflicts: 3000 | #Constraints: 6036
366.63/367.73 c #Conflicts: 4000 | #Constraints: 7036
366.63/367.73 c INPROCESSING
366.63/367.73 c GARBAGE COLLECT
366.63/367.73 c #Conflicts: 5000 | #Constraints: 6411
366.63/367.73 c #Conflicts: 6000 | #Constraints: 7411
366.63/367.73 c INPROCESSING
366.63/367.73 c GARBAGE COLLECT
366.63/367.73 c #Conflicts: 7000 | #Constraints: 6400
366.63/367.73 c #Conflicts: 8000 | #Constraints: 7400
366.63/367.73 c #Conflicts: 9000 | #Constraints: 8400
366.63/367.73 c INPROCESSING
366.63/367.73 c GARBAGE COLLECT
366.63/367.73 c #Conflicts: 10000 | #Constraints: 7097
366.63/367.73 c #Conflicts: 11000 | #Constraints: 8097
366.63/367.73 c #Conflicts: 12000 | #Constraints: 9097
366.63/367.73 c INPROCESSING
366.63/367.73 c GARBAGE COLLECT
366.63/367.73 c #Conflicts: 13000 | #Constraints: 7540
366.63/367.73 c #Conflicts: 14000 | #Constraints: 8540
366.63/367.73 c #Conflicts: 15000 | #Constraints: 9540
366.63/367.73 c INPROCESSING
366.63/367.73 c GARBAGE COLLECT
366.63/367.73 c #Conflicts: 16000 | #Constraints: 7770
366.63/367.73 c #Conflicts: 17000 | #Constraints: 8770
366.63/367.73 c #Conflicts: 18000 | #Constraints: 9770
366.63/367.73 c INPROCESSING
366.63/367.73 c GARBAGE COLLECT
366.63/367.73 c #Conflicts: 19000 | #Constraints: 7780
366.63/367.73 c #Conflicts: 20000 | #Constraints: 8780
366.63/367.73 c #Conflicts: 21000 | #Constraints: 9780
366.63/367.73 c INPROCESSING
366.63/367.73 c GARBAGE COLLECT
366.63/367.73 c #Conflicts: 22000 | #Constraints: 7586
366.63/367.73 c #Conflicts: 23000 | #Constraints: 8586
366.63/367.73 c #Conflicts: 24000 | #Constraints: 9586
366.63/367.73 c #Conflicts: 25000 | #Constraints: 10586
366.63/367.73 c INPROCESSING
366.63/367.73 c GARBAGE COLLECT
366.63/367.73 c #Conflicts: 26000 | #Constraints: 8186
366.63/367.73 c #Conflicts: 27000 | #Constraints: 9186
366.63/367.73 c #Conflicts: 28000 | #Constraints: 10186
366.63/367.73 c #Conflicts: 29000 | #Constraints: 11186
366.63/367.73 c INPROCESSING
366.63/367.73 c GARBAGE COLLECT
366.63/367.73 c #Conflicts: 30000 | #Constraints: 8587
366.63/367.73 c #Conflicts: 31000 | #Constraints: 9587
366.63/367.73 c #Conflicts: 32000 | #Constraints: 10587
366.63/367.73 c #Conflicts: 33000 | #Constraints: 11587
366.63/367.73 c INPROCESSING
366.63/367.73 c GARBAGE COLLECT
366.63/367.73 c #Conflicts: 34000 | #Constraints: 8788
366.63/367.73 c #Conflicts: 35000 | #Constraints: 9788
366.63/367.73 c #Conflicts: 36000 | #Constraints: 10788
366.63/367.73 c #Conflicts: 37000 | #Constraints: 11788
366.63/367.73 c INPROCESSING
366.63/367.73 c GARBAGE COLLECT
366.63/367.73 c #Conflicts: 38000 | #Constraints: 8795
366.63/367.73 c #Conflicts: 39000 | #Constraints: 9795
366.63/367.73 c #Conflicts: 40000 | #Constraints: 10795
366.63/367.73 c #Conflicts: 41000 | #Constraints: 11795
366.63/367.73 c INPROCESSING
366.63/367.73 c GARBAGE COLLECT
366.63/367.73 c #Conflicts: 42000 | #Constraints: 8591
366.63/367.73 c #Conflicts: 43000 | #Constraints: 9591
366.63/367.73 c #Conflicts: 44000 | #Constraints: 10591
366.63/367.73 c #Conflicts: 45000 | #Constraints: 11591
366.63/367.73 c #Conflicts: 46000 | #Constraints: 12591
366.63/367.73 c INPROCESSING
366.63/367.73 c GARBAGE COLLECT
366.63/367.73 c #Conflicts: 47000 | #Constraints: 9188
366.63/367.73 c #Conflicts: 48000 | #Constraints: 10188
366.63/367.73 c #Conflicts: 49000 | #Constraints: 11188
366.63/367.73 c #Conflicts: 50000 | #Constraints: 12188
366.63/367.73 c #Conflicts: 51000 | #Constraints: 13188
366.63/367.73 c INPROCESSING
366.63/367.73 c GARBAGE COLLECT
366.63/367.73 c #Conflicts: 52000 | #Constraints: 9587
366.63/367.73 c #Conflicts: 53000 | #Constraints: 10587
366.63/367.73 c #Conflicts: 54000 | #Constraints: 11587
366.63/367.73 c #Conflicts: 55000 | #Constraints: 12587
366.63/367.73 c #Conflicts: 56000 | #Constraints: 13587
366.63/367.73 c INPROCESSING
366.63/367.73 c GARBAGE COLLECT
366.63/367.73 c #Conflicts: 57000 | #Constraints: 9783
366.63/367.73 c #Conflicts: 58000 | #Constraints: 10783
366.63/367.73 c #Conflicts: 59000 | #Constraints: 11783
366.63/367.73 c #Conflicts: 60000 | #Constraints: 12783
366.63/367.73 c #Conflicts: 61000 | #Constraints: 13783
366.63/367.73 c INPROCESSING
366.63/367.73 c GARBAGE COLLECT
366.63/367.73 c #Conflicts: 62000 | #Constraints: 9787
366.63/367.73 c #Conflicts: 63000 | #Constraints: 10787
366.63/367.73 c #Conflicts: 64000 | #Constraints: 11787
366.63/367.73 c #Conflicts: 65000 | #Constraints: 12787
366.63/367.73 c #Conflicts: 66000 | #Constraints: 13787
366.63/367.73 c INPROCESSING
366.63/367.73 c GARBAGE COLLECT
366.63/367.73 c #Conflicts: 67000 | #Constraints: 9587
366.63/367.73 c #Conflicts: 68000 | #Constraints: 10587
366.63/367.73 c #Conflicts: 69000 | #Constraints: 11587
458.04/459.45 c #Conflicts: 70000 | #Constraints: 12587
458.04/459.45 c #Conflicts: 71000 | #Constraints: 13587
458.04/459.45 c #Conflicts: 72000 | #Constraints: 14587
458.04/459.45 c INPROCESSING
458.04/459.45 c GARBAGE COLLECT
458.04/459.45 c #Conflicts: 73000 | #Constraints: 10190
458.04/459.45 c #Conflicts: 74000 | #Constraints: 11190
458.04/459.45 c #Conflicts: 75000 | #Constraints: 12190
458.04/459.45 c #Conflicts: 76000 | #Constraints: 13190
458.04/459.45 c #Conflicts: 77000 | #Constraints: 14190
458.04/459.45 c #Conflicts: 78000 | #Constraints: 15190
458.04/459.45 c INPROCESSING
458.04/459.45 c GARBAGE COLLECT
458.04/459.45 c #Conflicts: 79000 | #Constraints: 10584
458.04/459.45 c #Conflicts: 80000 | #Constraints: 11584
458.04/459.45 c #Conflicts: 81000 | #Constraints: 12584
458.04/459.45 c #Conflicts: 82000 | #Constraints: 13584
458.04/459.45 c #Conflicts: 83000 | #Constraints: 14584
458.04/459.45 c #Conflicts: 84000 | #Constraints: 15584
458.04/459.45 c INPROCESSING
458.04/459.45 c GARBAGE COLLECT
458.04/459.45 c #Conflicts: 85000 | #Constraints: 10784
458.04/459.45 c #Conflicts: 86000 | #Constraints: 11784
458.04/459.45 c #Conflicts: 87000 | #Constraints: 12784
458.04/459.45 c #Conflicts: 88000 | #Constraints: 13784
458.04/459.45 c #Conflicts: 89000 | #Constraints: 14784
458.04/459.45 c #Conflicts: 90000 | #Constraints: 15784
458.04/459.45 c INPROCESSING
458.04/459.45 c GARBAGE COLLECT
458.04/459.45 c #Conflicts: 91000 | #Constraints: 10790
458.04/459.45 c #Conflicts: 92000 | #Constraints: 11790
458.04/459.45 c #Conflicts: 93000 | #Constraints: 12790
458.04/459.45 c #Conflicts: 94000 | #Constraints: 13790
458.04/459.45 c #Conflicts: 95000 | #Constraints: 14790
458.04/459.45 c #Conflicts: 96000 | #Constraints: 15790
458.04/459.45 c INPROCESSING
458.04/459.45 c GARBAGE COLLECT
458.04/459.45 c #Conflicts: 97000 | #Constraints: 10600
458.04/459.45 c #Conflicts: 98000 | #Constraints: 11600
458.04/459.45 c #Conflicts: 99000 | #Constraints: 12600
458.04/459.45 c #Conflicts: 100000 | #Constraints: 13600
458.04/459.45 c #Conflicts: 101000 | #Constraints: 14600
458.04/459.45 c #Conflicts: 102000 | #Constraints: 15600
458.04/459.45 c #Conflicts: 103000 | #Constraints: 16600
458.04/459.45 c INPROCESSING
458.04/459.45 c GARBAGE COLLECT
458.04/459.45 c #Conflicts: 104000 | #Constraints: 11196
458.04/459.45 c #Conflicts: 105000 | #Constraints: 12196
458.04/459.45 c #Conflicts: 106000 | #Constraints: 13196
458.04/459.45 c #Conflicts: 107000 | #Constraints: 14196
458.04/459.45 c #Conflicts: 108000 | #Constraints: 15196
458.04/459.45 c #Conflicts: 109000 | #Constraints: 16196
458.04/459.45 c #Conflicts: 110000 | #Constraints: 17196
458.04/459.45 c INPROCESSING
458.04/459.45 c GARBAGE COLLECT
458.04/459.45 c #Conflicts: 111000 | #Constraints: 11592
458.04/459.45 c #Conflicts: 112000 | #Constraints: 12592
458.04/459.45 c #Conflicts: 113000 | #Constraints: 13592
458.04/459.45 c #Conflicts: 114000 | #Constraints: 14592
458.04/459.45 c #Conflicts: 115000 | #Constraints: 15592
458.04/459.45 c #Conflicts: 116000 | #Constraints: 16592
458.04/459.45 c #Conflicts: 117000 | #Constraints: 17592
458.04/459.45 c INPROCESSING
458.04/459.45 c GARBAGE COLLECT
458.04/459.45 c #Conflicts: 118000 | #Constraints: 11790
458.04/459.45 c #Conflicts: 119000 | #Constraints: 12790
458.04/459.45 c #Conflicts: 120000 | #Constraints: 13790
458.04/459.45 c #Conflicts: 121000 | #Constraints: 14790
458.04/459.45 c #Conflicts: 122000 | #Constraints: 15790
458.04/459.45 c #Conflicts: 123000 | #Constraints: 16790
458.04/459.45 c #Conflicts: 124000 | #Constraints: 17790
458.04/459.45 c INPROCESSING
458.04/459.45 c GARBAGE COLLECT
458.04/459.45 c #Conflicts: 125000 | #Constraints: 11791
458.04/459.45 c #Conflicts: 126000 | #Constraints: 12791
458.04/459.45 c #Conflicts: 127000 | #Constraints: 13791
458.04/459.45 c #Conflicts: 128000 | #Constraints: 14791
458.04/459.45 c #Conflicts: 129000 | #Constraints: 15791
458.04/459.45 c #Conflicts: 130000 | #Constraints: 16791
458.04/459.45 c #Conflicts: 131000 | #Constraints: 17791
458.04/459.45 c INPROCESSING
458.04/459.45 c GARBAGE COLLECT
458.04/459.45 c #Conflicts: 132000 | #Constraints: 11581
458.04/459.45 c #Conflicts: 133000 | #Constraints: 12581
458.04/459.45 c #Conflicts: 134000 | #Constraints: 13581
458.04/459.45 c #Conflicts: 135000 | #Constraints: 14581
458.04/459.45 c #Conflicts: 136000 | #Constraints: 15581
458.04/459.45 c #Conflicts: 137000 | #Constraints: 16581
458.04/459.45 c #Conflicts: 138000 | #Constraints: 17581
458.04/459.45 c #Conflicts: 139000 | #Constraints: 18581
458.04/459.45 c INPROCESSING
458.04/459.45 c GARBAGE COLLECT
458.04/459.45 c #Conflicts: 140000 | #Constraints: 12185
458.04/459.45 c #Conflicts: 141000 | #Constraints: 13185
596.11/598.00 c #Conflicts: 142000 | #Constraints: 14185
596.11/598.00 c #Conflicts: 143000 | #Constraints: 15185
596.11/598.00 c #Conflicts: 144000 | #Constraints: 16185
596.11/598.00 c #Conflicts: 145000 | #Constraints: 17185
596.11/598.00 c #Conflicts: 146000 | #Constraints: 18185
596.11/598.00 c #Conflicts: 147000 | #Constraints: 19185
596.11/598.00 c INPROCESSING
596.11/598.00 c GARBAGE COLLECT
596.11/598.00 c #Conflicts: 148000 | #Constraints: 12592
596.11/598.00 c #Conflicts: 149000 | #Constraints: 13592
596.11/598.00 c #Conflicts: 150000 | #Constraints: 14592
596.11/598.00 c #Conflicts: 151000 | #Constraints: 15592
596.11/598.00 c #Conflicts: 152000 | #Constraints: 16592
596.11/598.00 c #Conflicts: 153000 | #Constraints: 17592
596.11/598.00 c #Conflicts: 154000 | #Constraints: 18592
596.11/598.00 c #Conflicts: 155000 | #Constraints: 19592
596.11/598.00 c INPROCESSING
596.11/598.00 c GARBAGE COLLECT
596.11/598.00 c #Conflicts: 156000 | #Constraints: 12798
596.11/598.00 c #Conflicts: 157000 | #Constraints: 13798
596.11/598.00 c #Conflicts: 158000 | #Constraints: 14798
596.11/598.00 c #Conflicts: 159000 | #Constraints: 15798
596.11/598.00 c #Conflicts: 160000 | #Constraints: 16798
596.11/598.00 c #Conflicts: 161000 | #Constraints: 17798
596.11/598.00 c #Conflicts: 162000 | #Constraints: 18798
596.11/598.00 c #Conflicts: 163000 | #Constraints: 19798
596.11/598.00 c INPROCESSING
596.11/598.00 c GARBAGE COLLECT
596.11/598.00 c #Conflicts: 164000 | #Constraints: 12791
596.11/598.00 c #Conflicts: 165000 | #Constraints: 13791
596.11/598.00 c #Conflicts: 166000 | #Constraints: 14791
596.11/598.00 c #Conflicts: 167000 | #Constraints: 15791
596.11/598.00 c #Conflicts: 168000 | #Constraints: 16791
596.11/598.00 c #Conflicts: 169000 | #Constraints: 17791
596.11/598.00 c #Conflicts: 170000 | #Constraints: 18791
596.11/598.00 c #Conflicts: 171000 | #Constraints: 19791
596.11/598.00 c INPROCESSING
596.11/598.00 c GARBAGE COLLECT
596.11/598.00 c #Conflicts: 172000 | #Constraints: 12587
596.11/598.00 c #Conflicts: 173000 | #Constraints: 13587
596.11/598.00 c #Conflicts: 174000 | #Constraints: 14587
596.11/598.00 c #Conflicts: 175000 | #Constraints: 15587
596.11/598.00 c #Conflicts: 176000 | #Constraints: 16587
596.11/598.00 c #Conflicts: 177000 | #Constraints: 17587
596.11/598.00 c #Conflicts: 178000 | #Constraints: 18587
596.11/598.00 c #Conflicts: 179000 | #Constraints: 19587
596.11/598.00 c #Conflicts: 180000 | #Constraints: 20587
596.11/598.00 c INPROCESSING
596.11/598.00 c GARBAGE COLLECT
596.11/598.00 c #Conflicts: 181000 | #Constraints: 13186
596.11/598.00 c #Conflicts: 182000 | #Constraints: 14186
596.11/598.00 c #Conflicts: 183000 | #Constraints: 15186
596.11/598.00 c #Conflicts: 184000 | #Constraints: 16186
596.11/598.00 c #Conflicts: 185000 | #Constraints: 17186
596.11/598.00 c #Conflicts: 186000 | #Constraints: 18186
596.11/598.00 c #Conflicts: 187000 | #Constraints: 19186
596.11/598.00 c #Conflicts: 188000 | #Constraints: 20186
596.11/598.00 c #Conflicts: 189000 | #Constraints: 21186
596.11/598.00 c INPROCESSING
596.11/598.00 c GARBAGE COLLECT
596.11/598.00 c #Conflicts: 190000 | #Constraints: 13588
596.11/598.00 c #Conflicts: 191000 | #Constraints: 14588
596.11/598.00 c #Conflicts: 192000 | #Constraints: 15588
596.11/598.00 c #Conflicts: 193000 | #Constraints: 16588
596.11/598.00 c #Conflicts: 194000 | #Constraints: 17588
596.11/598.00 c #Conflicts: 195000 | #Constraints: 18588
596.11/598.00 c #Conflicts: 196000 | #Constraints: 19588
596.11/598.00 c #Conflicts: 197000 | #Constraints: 20588
596.11/598.00 c #Conflicts: 198000 | #Constraints: 21588
596.11/598.00 c INPROCESSING
596.11/598.00 c GARBAGE COLLECT
596.11/598.00 c #Conflicts: 199000 | #Constraints: 13794
596.11/598.00 c #Conflicts: 200000 | #Constraints: 14794
596.11/598.00 c #Conflicts: 201000 | #Constraints: 15794
596.11/598.00 c #Conflicts: 202000 | #Constraints: 16794
596.11/598.00 c #Conflicts: 203000 | #Constraints: 17794
596.11/598.00 c #Conflicts: 204000 | #Constraints: 18794
596.11/598.00 c #Conflicts: 205000 | #Constraints: 19794
596.11/598.00 c #Conflicts: 206000 | #Constraints: 20794
596.11/598.00 c #Conflicts: 207000 | #Constraints: 21794
596.11/598.00 c INPROCESSING
596.11/598.00 c GARBAGE COLLECT
596.11/598.00 c #Conflicts: 208000 | #Constraints: 13786
596.11/598.00 c #Conflicts: 209000 | #Constraints: 14786
596.11/598.00 c #Conflicts: 210000 | #Constraints: 15786
596.11/598.00 c #Conflicts: 211000 | #Constraints: 16786
596.11/598.00 c #Conflicts: 212000 | #Constraints: 17786
596.11/598.00 c #Conflicts: 213000 | #Constraints: 18786
596.11/598.00 c #Conflicts: 214000 | #Constraints: 19786
803.98/806.45 c #Conflicts: 215000 | #Constraints: 20786
803.98/806.45 c #Conflicts: 216000 | #Constraints: 21786
803.98/806.45 c INPROCESSING
803.98/806.45 c GARBAGE COLLECT
803.98/806.45 c #Conflicts: 217000 | #Constraints: 13594
803.98/806.45 c #Conflicts: 218000 | #Constraints: 14594
803.98/806.45 c #Conflicts: 219000 | #Constraints: 15594
803.98/806.45 c #Conflicts: 220000 | #Constraints: 16594
803.98/806.45 c #Conflicts: 221000 | #Constraints: 17594
803.98/806.45 c #Conflicts: 222000 | #Constraints: 18594
803.98/806.45 c #Conflicts: 223000 | #Constraints: 19594
803.98/806.45 c #Conflicts: 224000 | #Constraints: 20594
803.98/806.45 c #Conflicts: 225000 | #Constraints: 21594
803.98/806.45 c #Conflicts: 226000 | #Constraints: 22594
803.98/806.45 c INPROCESSING
803.98/806.45 c GARBAGE COLLECT
803.98/806.45 c #Conflicts: 227000 | #Constraints: 14199
803.98/806.45 c #Conflicts: 228000 | #Constraints: 15199
803.98/806.45 c #Conflicts: 229000 | #Constraints: 16199
803.98/806.45 c #Conflicts: 230000 | #Constraints: 17199
803.98/806.45 c #Conflicts: 231000 | #Constraints: 18199
803.98/806.45 c #Conflicts: 232000 | #Constraints: 19199
803.98/806.45 c #Conflicts: 233000 | #Constraints: 20199
803.98/806.45 c #Conflicts: 234000 | #Constraints: 21199
803.98/806.45 c #Conflicts: 235000 | #Constraints: 22199
803.98/806.45 c #Conflicts: 236000 | #Constraints: 23199
803.98/806.45 c INPROCESSING
803.98/806.45 c GARBAGE COLLECT
803.98/806.45 c #Conflicts: 237000 | #Constraints: 14586
803.98/806.45 c #Conflicts: 238000 | #Constraints: 15586
803.98/806.45 c #Conflicts: 239000 | #Constraints: 16586
803.98/806.45 c #Conflicts: 240000 | #Constraints: 17586
803.98/806.45 c #Conflicts: 241000 | #Constraints: 18586
803.98/806.45 c #Conflicts: 242000 | #Constraints: 19586
803.98/806.45 c #Conflicts: 243000 | #Constraints: 20586
803.98/806.45 c #Conflicts: 244000 | #Constraints: 21586
803.98/806.45 c #Conflicts: 245000 | #Constraints: 22586
803.98/806.45 c #Conflicts: 246000 | #Constraints: 23586
803.98/806.45 c INPROCESSING
803.98/806.45 c GARBAGE COLLECT
803.98/806.45 c #Conflicts: 247000 | #Constraints: 14783
803.98/806.45 c #Conflicts: 248000 | #Constraints: 15783
803.98/806.45 c #Conflicts: 249000 | #Constraints: 16783
803.98/806.45 c #Conflicts: 250000 | #Constraints: 17783
803.98/806.45 c #Conflicts: 251000 | #Constraints: 18783
803.98/806.45 c #Conflicts: 252000 | #Constraints: 19783
803.98/806.45 c #Conflicts: 253000 | #Constraints: 20783
803.98/806.45 c #Conflicts: 254000 | #Constraints: 21783
803.98/806.45 c #Conflicts: 255000 | #Constraints: 22783
803.98/806.45 c #Conflicts: 256000 | #Constraints: 23783
803.98/806.45 c INPROCESSING
803.98/806.45 c GARBAGE COLLECT
803.98/806.45 c #Conflicts: 257000 | #Constraints: 14785
803.98/806.45 c #Conflicts: 258000 | #Constraints: 15785
803.98/806.45 c #Conflicts: 259000 | #Constraints: 16785
803.98/806.45 c #Conflicts: 260000 | #Constraints: 17785
803.98/806.45 c #Conflicts: 261000 | #Constraints: 18785
803.98/806.45 c #Conflicts: 262000 | #Constraints: 19785
803.98/806.45 c #Conflicts: 263000 | #Constraints: 20785
803.98/806.45 c #Conflicts: 264000 | #Constraints: 21785
803.98/806.45 c #Conflicts: 265000 | #Constraints: 22785
803.98/806.45 c #Conflicts: 266000 | #Constraints: 23785
803.98/806.45 c INPROCESSING
803.98/806.45 c GARBAGE COLLECT
803.98/806.45 c #Conflicts: 267000 | #Constraints: 14584
803.98/806.45 c #Conflicts: 268000 | #Constraints: 15584
803.98/806.45 c #Conflicts: 269000 | #Constraints: 16584
803.98/806.45 c #Conflicts: 270000 | #Constraints: 17584
803.98/806.45 c #Conflicts: 271000 | #Constraints: 18584
803.98/806.45 c #Conflicts: 272000 | #Constraints: 19584
803.98/806.45 c #Conflicts: 273000 | #Constraints: 20584
803.98/806.45 c #Conflicts: 274000 | #Constraints: 21584
803.98/806.45 c #Conflicts: 275000 | #Constraints: 22584
803.98/806.45 c #Conflicts: 276000 | #Constraints: 23584
803.98/806.45 c #Conflicts: 277000 | #Constraints: 24584
803.98/806.45 c INPROCESSING
803.98/806.45 c GARBAGE COLLECT
803.98/806.45 c #Conflicts: 278000 | #Constraints: 15179
803.98/806.45 c #Conflicts: 279000 | #Constraints: 16179
803.98/806.45 c #Conflicts: 280000 | #Constraints: 17179
803.98/806.45 c #Conflicts: 281000 | #Constraints: 18179
803.98/806.45 c #Conflicts: 282000 | #Constraints: 19179
803.98/806.45 c #Conflicts: 283000 | #Constraints: 20179
803.98/806.45 c #Conflicts: 284000 | #Constraints: 21179
803.98/806.45 c #Conflicts: 285000 | #Constraints: 22179
803.98/806.45 c #Conflicts: 286000 | #Constraints: 23179
803.98/806.45 c #Conflicts: 287000 | #Constraints: 24179
803.98/806.45 c #Conflicts: 288000 | #Constraints: 25179
803.98/806.45 c INPROCESSING
1006.44/1009.54 c GARBAGE COLLECT
1006.44/1009.54 c #Conflicts: 289000 | #Constraints: 15584
1006.44/1009.54 c #Conflicts: 290000 | #Constraints: 16584
1006.44/1009.54 c #Conflicts: 291000 | #Constraints: 17584
1006.44/1009.54 c #Conflicts: 292000 | #Constraints: 18584
1006.44/1009.54 c #Conflicts: 293000 | #Constraints: 19584
1006.44/1009.54 c #Conflicts: 294000 | #Constraints: 20584
1006.44/1009.54 c #Conflicts: 295000 | #Constraints: 21584
1006.44/1009.54 c #Conflicts: 296000 | #Constraints: 22584
1006.44/1009.54 c #Conflicts: 297000 | #Constraints: 23584
1006.44/1009.54 c #Conflicts: 298000 | #Constraints: 24584
1006.44/1009.54 c #Conflicts: 299000 | #Constraints: 25584
1006.44/1009.54 c INPROCESSING
1006.44/1009.54 c GARBAGE COLLECT
1006.44/1009.54 c #Conflicts: 300000 | #Constraints: 15784
1006.44/1009.54 c #Conflicts: 301000 | #Constraints: 16784
1006.44/1009.54 c #Conflicts: 302000 | #Constraints: 17784
1006.44/1009.54 c #Conflicts: 303000 | #Constraints: 18784
1006.44/1009.54 c #Conflicts: 304000 | #Constraints: 19784
1006.44/1009.54 c #Conflicts: 305000 | #Constraints: 20784
1006.44/1009.54 c #Conflicts: 306000 | #Constraints: 21784
1006.44/1009.54 c #Conflicts: 307000 | #Constraints: 22784
1006.44/1009.54 c #Conflicts: 308000 | #Constraints: 23784
1006.44/1009.54 c #Conflicts: 309000 | #Constraints: 24784
1006.44/1009.54 c #Conflicts: 310000 | #Constraints: 25784
1006.44/1009.54 c INPROCESSING
1006.44/1009.54 c GARBAGE COLLECT
1006.44/1009.54 c #Conflicts: 311000 | #Constraints: 15779
1006.44/1009.54 c #Conflicts: 312000 | #Constraints: 16779
1006.44/1009.54 c #Conflicts: 313000 | #Constraints: 17779
1006.44/1009.54 c #Conflicts: 314000 | #Constraints: 18779
1006.44/1009.54 c #Conflicts: 315000 | #Constraints: 19779
1006.44/1009.54 c #Conflicts: 316000 | #Constraints: 20779
1006.44/1009.54 c #Conflicts: 317000 | #Constraints: 21779
1006.44/1009.54 c #Conflicts: 318000 | #Constraints: 22779
1006.44/1009.54 c #Conflicts: 319000 | #Constraints: 23779
1006.44/1009.54 c #Conflicts: 320000 | #Constraints: 24779
1006.44/1009.54 c #Conflicts: 321000 | #Constraints: 25779
1006.44/1009.54 c INPROCESSING
1006.44/1009.54 c GARBAGE COLLECT
1006.44/1009.54 c #Conflicts: 322000 | #Constraints: 15580
1006.44/1009.54 c #Conflicts: 323000 | #Constraints: 16580
1006.44/1009.54 c #Conflicts: 324000 | #Constraints: 17580
1006.44/1009.54 c #Conflicts: 325000 | #Constraints: 18580
1006.44/1009.54 c #Conflicts: 326000 | #Constraints: 19580
1006.44/1009.54 c #Conflicts: 327000 | #Constraints: 20580
1006.44/1009.54 c #Conflicts: 328000 | #Constraints: 21580
1006.44/1009.54 c #Conflicts: 329000 | #Constraints: 22580
1006.44/1009.54 c #Conflicts: 330000 | #Constraints: 23580
1006.44/1009.54 c #Conflicts: 331000 | #Constraints: 24580
1006.44/1009.54 c #Conflicts: 332000 | #Constraints: 25580
1006.44/1009.54 c #Conflicts: 333000 | #Constraints: 26580
1006.44/1009.54 c INPROCESSING
1006.44/1009.54 c GARBAGE COLLECT
1006.44/1009.54 c #Conflicts: 334000 | #Constraints: 16185
1006.44/1009.54 c #Conflicts: 335000 | #Constraints: 17185
1006.44/1009.54 c #Conflicts: 336000 | #Constraints: 18185
1006.44/1009.54 c #Conflicts: 337000 | #Constraints: 19185
1006.44/1009.54 c #Conflicts: 338000 | #Constraints: 20185
1006.44/1009.54 c #Conflicts: 339000 | #Constraints: 21185
1006.44/1009.54 c #Conflicts: 340000 | #Constraints: 22185
1006.44/1009.54 c #Conflicts: 341000 | #Constraints: 23185
1006.44/1009.54 c #Conflicts: 342000 | #Constraints: 24185
1006.44/1009.54 c #Conflicts: 343000 | #Constraints: 25185
1006.44/1009.54 c #Conflicts: 344000 | #Constraints: 26185
1006.44/1009.54 c #Conflicts: 345000 | #Constraints: 27185
1006.44/1009.54 c INPROCESSING
1006.44/1009.54 c GARBAGE COLLECT
1006.44/1009.54 c #Conflicts: 346000 | #Constraints: 16580
1006.44/1009.54 c #Conflicts: 347000 | #Constraints: 17580
1006.44/1009.54 c #Conflicts: 348000 | #Constraints: 18580
1006.44/1009.54 c #Conflicts: 349000 | #Constraints: 19580
1006.44/1009.54 c #Conflicts: 350000 | #Constraints: 20580
1006.44/1009.54 c #Conflicts: 351000 | #Constraints: 21580
1006.44/1009.54 c #Conflicts: 352000 | #Constraints: 22580
1006.44/1009.54 c #Conflicts: 353000 | #Constraints: 23580
1006.44/1009.54 c #Conflicts: 354000 | #Constraints: 24580
1006.44/1009.54 c #Conflicts: 355000 | #Constraints: 25580
1006.44/1009.54 c #Conflicts: 356000 | #Constraints: 26580
1006.44/1009.54 c #Conflicts: 357000 | #Constraints: 27580
1006.44/1009.54 c INPROCESSING
1006.44/1009.54 c GARBAGE COLLECT
1006.44/1009.54 c #Conflicts: 358000 | #Constraints: 16779
1006.44/1009.54 c #Conflicts: 359000 | #Constraints: 17779
1006.44/1009.54 c #Conflicts: 360000 | #Constraints: 18779
1006.44/1009.54 c #Conflicts: 361000 | #Constraints: 19779
1006.44/1009.54 c #Conflicts: 362000 | #Constraints: 20779
1006.44/1009.54 c #Conflicts: 363000 | #Constraints: 21779
1228.33/1232.01 c #Conflicts: 364000 | #Constraints: 22779
1228.33/1232.01 c #Conflicts: 365000 | #Constraints: 23779
1228.33/1232.01 c #Conflicts: 366000 | #Constraints: 24779
1228.33/1232.01 c #Conflicts: 367000 | #Constraints: 25779
1228.33/1232.01 c #Conflicts: 368000 | #Constraints: 26779
1228.33/1232.01 c #Conflicts: 369000 | #Constraints: 27779
1228.33/1232.01 c INPROCESSING
1228.33/1232.01 c GARBAGE COLLECT
1228.33/1232.01 c #Conflicts: 370000 | #Constraints: 16794
1228.33/1232.01 c #Conflicts: 371000 | #Constraints: 17794
1228.33/1232.01 c #Conflicts: 372000 | #Constraints: 18794
1228.33/1232.01 c #Conflicts: 373000 | #Constraints: 19794
1228.33/1232.01 c #Conflicts: 374000 | #Constraints: 20794
1228.33/1232.01 c #Conflicts: 375000 | #Constraints: 21794
1228.33/1232.01 c #Conflicts: 376000 | #Constraints: 22794
1228.33/1232.01 c #Conflicts: 377000 | #Constraints: 23794
1228.33/1232.01 c #Conflicts: 378000 | #Constraints: 24794
1228.33/1232.01 c #Conflicts: 379000 | #Constraints: 25794
1228.33/1232.01 c #Conflicts: 380000 | #Constraints: 26794
1228.33/1232.01 c #Conflicts: 381000 | #Constraints: 27794
1228.33/1232.01 c INPROCESSING
1228.33/1232.01 c GARBAGE COLLECT
1228.33/1232.01 c #Conflicts: 382000 | #Constraints: 16590
1228.33/1232.01 c #Conflicts: 383000 | #Constraints: 17590
1228.33/1232.01 c #Conflicts: 384000 | #Constraints: 18590
1228.33/1232.01 c #Conflicts: 385000 | #Constraints: 19590
1228.33/1232.01 c #Conflicts: 386000 | #Constraints: 20590
1228.33/1232.01 c #Conflicts: 387000 | #Constraints: 21590
1228.33/1232.01 c #Conflicts: 388000 | #Constraints: 22590
1228.33/1232.01 c #Conflicts: 389000 | #Constraints: 23590
1228.33/1232.01 c #Conflicts: 390000 | #Constraints: 24590
1228.33/1232.01 c #Conflicts: 391000 | #Constraints: 25590
1228.33/1232.01 c #Conflicts: 392000 | #Constraints: 26590
1228.33/1232.01 c #Conflicts: 393000 | #Constraints: 27590
1228.33/1232.01 c #Conflicts: 394000 | #Constraints: 28590
1228.33/1232.01 c INPROCESSING
1228.33/1232.01 c GARBAGE COLLECT
1228.33/1232.01 c #Conflicts: 395000 | #Constraints: 17190
1228.33/1232.01 c #Conflicts: 396000 | #Constraints: 18190
1228.33/1232.01 c #Conflicts: 397000 | #Constraints: 19190
1228.33/1232.01 c #Conflicts: 398000 | #Constraints: 20190
1228.33/1232.01 c #Conflicts: 399000 | #Constraints: 21190
1228.33/1232.01 c #Conflicts: 400000 | #Constraints: 22190
1228.33/1232.01 c #Conflicts: 401000 | #Constraints: 23190
1228.33/1232.01 c #Conflicts: 402000 | #Constraints: 24190
1228.33/1232.01 c #Conflicts: 403000 | #Constraints: 25190
1228.33/1232.01 c #Conflicts: 404000 | #Constraints: 26190
1228.33/1232.01 c #Conflicts: 405000 | #Constraints: 27190
1228.33/1232.01 c #Conflicts: 406000 | #Constraints: 28190
1228.33/1232.01 c #Conflicts: 407000 | #Constraints: 29190
1228.33/1232.01 c INPROCESSING
1228.33/1232.01 c GARBAGE COLLECT
1228.33/1232.01 c #Conflicts: 408000 | #Constraints: 17583
1228.33/1232.01 c #Conflicts: 409000 | #Constraints: 18583
1228.33/1232.01 c #Conflicts: 410000 | #Constraints: 19583
1228.33/1232.01 c #Conflicts: 411000 | #Constraints: 20583
1228.33/1232.01 c #Conflicts: 412000 | #Constraints: 21583
1228.33/1232.01 c #Conflicts: 413000 | #Constraints: 22583
1228.33/1232.01 c #Conflicts: 414000 | #Constraints: 23583
1228.33/1232.01 c #Conflicts: 415000 | #Constraints: 24583
1228.33/1232.01 c #Conflicts: 416000 | #Constraints: 25583
1228.33/1232.01 c #Conflicts: 417000 | #Constraints: 26583
1228.33/1232.01 c #Conflicts: 418000 | #Constraints: 27583
1228.33/1232.01 c #Conflicts: 419000 | #Constraints: 28583
1228.33/1232.01 c #Conflicts: 420000 | #Constraints: 29583
1228.33/1232.01 c INPROCESSING
1228.33/1232.01 c GARBAGE COLLECT
1228.33/1232.01 c #Conflicts: 421000 | #Constraints: 17791
1228.33/1232.01 c #Conflicts: 422000 | #Constraints: 18791
1228.33/1232.01 c #Conflicts: 423000 | #Constraints: 19791
1228.33/1232.01 c #Conflicts: 424000 | #Constraints: 20791
1228.33/1232.01 c #Conflicts: 425000 | #Constraints: 21791
1228.33/1232.01 c #Conflicts: 426000 | #Constraints: 22791
1228.33/1232.01 c #Conflicts: 427000 | #Constraints: 23791
1228.33/1232.01 c #Conflicts: 428000 | #Constraints: 24791
1228.33/1232.01 c #Conflicts: 429000 | #Constraints: 25791
1228.33/1232.01 c #Conflicts: 430000 | #Constraints: 26791
1228.33/1232.01 c #Conflicts: 431000 | #Constraints: 27791
1228.33/1232.01 c #Conflicts: 432000 | #Constraints: 28791
1228.33/1232.01 c #Conflicts: 433000 | #Constraints: 29791
1228.33/1232.01 c INPROCESSING
1228.33/1232.01 c GARBAGE COLLECT
1228.33/1232.01 c #Conflicts: 434000 | #Constraints: 17790
1228.33/1232.01 c #Conflicts: 435000 | #Constraints: 18790
1228.33/1232.01 c #Conflicts: 436000 | #Constraints: 19790
1228.33/1232.01 c #Conflicts: 437000 | #Constraints: 20790
1228.33/1232.01 c #Conflicts: 438000 | #Constraints: 21790
1463.27/1467.61 c #Conflicts: 439000 | #Constraints: 22790
1463.27/1467.61 c #Conflicts: 440000 | #Constraints: 23790
1463.27/1467.61 c #Conflicts: 441000 | #Constraints: 24790
1463.27/1467.61 c #Conflicts: 442000 | #Constraints: 25790
1463.27/1467.61 c #Conflicts: 443000 | #Constraints: 26790
1463.27/1467.61 c #Conflicts: 444000 | #Constraints: 27790
1463.27/1467.61 c #Conflicts: 445000 | #Constraints: 28790
1463.27/1467.61 c #Conflicts: 446000 | #Constraints: 29790
1463.27/1467.61 c INPROCESSING
1463.27/1467.61 c GARBAGE COLLECT
1463.27/1467.61 c #Conflicts: 447000 | #Constraints: 17599
1463.27/1467.61 c #Conflicts: 448000 | #Constraints: 18599
1463.27/1467.61 c #Conflicts: 449000 | #Constraints: 19599
1463.27/1467.61 c #Conflicts: 450000 | #Constraints: 20599
1463.27/1467.61 c #Conflicts: 451000 | #Constraints: 21599
1463.27/1467.61 c #Conflicts: 452000 | #Constraints: 22599
1463.27/1467.61 c #Conflicts: 453000 | #Constraints: 23599
1463.27/1467.61 c #Conflicts: 454000 | #Constraints: 24599
1463.27/1467.61 c #Conflicts: 455000 | #Constraints: 25599
1463.27/1467.61 c #Conflicts: 456000 | #Constraints: 26599
1463.27/1467.61 c #Conflicts: 457000 | #Constraints: 27599
1463.27/1467.61 c #Conflicts: 458000 | #Constraints: 28599
1463.27/1467.61 c #Conflicts: 459000 | #Constraints: 29599
1463.27/1467.61 c #Conflicts: 460000 | #Constraints: 30599
1463.27/1467.61 c INPROCESSING
1463.27/1467.61 c GARBAGE COLLECT
1463.27/1467.61 c #Conflicts: 461000 | #Constraints: 18190
1463.27/1467.61 c #Conflicts: 462000 | #Constraints: 19190
1463.27/1467.61 c #Conflicts: 463000 | #Constraints: 20190
1463.27/1467.61 c #Conflicts: 464000 | #Constraints: 21190
1463.27/1467.61 c #Conflicts: 465000 | #Constraints: 22190
1463.27/1467.61 c #Conflicts: 466000 | #Constraints: 23190
1463.27/1467.61 c #Conflicts: 467000 | #Constraints: 24190
1463.27/1467.61 c #Conflicts: 468000 | #Constraints: 25190
1463.27/1467.61 c #Conflicts: 469000 | #Constraints: 26190
1463.27/1467.61 c #Conflicts: 470000 | #Constraints: 27190
1463.27/1467.61 c #Conflicts: 471000 | #Constraints: 28190
1463.27/1467.61 c #Conflicts: 472000 | #Constraints: 29190
1463.27/1467.61 c #Conflicts: 473000 | #Constraints: 30190
1463.27/1467.61 c #Conflicts: 474000 | #Constraints: 31190
1463.27/1467.61 c INPROCESSING
1463.27/1467.61 c GARBAGE COLLECT
1463.27/1467.61 c #Conflicts: 475000 | #Constraints: 18580
1463.27/1467.61 c #Conflicts: 476000 | #Constraints: 19580
1463.27/1467.61 c #Conflicts: 477000 | #Constraints: 20580
1463.27/1467.61 c #Conflicts: 478000 | #Constraints: 21580
1463.27/1467.61 c #Conflicts: 479000 | #Constraints: 22580
1463.27/1467.61 c #Conflicts: 480000 | #Constraints: 23580
1463.27/1467.61 c #Conflicts: 481000 | #Constraints: 24580
1463.27/1467.61 c #Conflicts: 482000 | #Constraints: 25580
1463.27/1467.61 c #Conflicts: 483000 | #Constraints: 26580
1463.27/1467.61 c #Conflicts: 484000 | #Constraints: 27580
1463.27/1467.61 c #Conflicts: 485000 | #Constraints: 28580
1463.27/1467.61 c #Conflicts: 486000 | #Constraints: 29580
1463.27/1467.61 c #Conflicts: 487000 | #Constraints: 30580
1463.27/1467.61 c #Conflicts: 488000 | #Constraints: 31580
1463.27/1467.61 c INPROCESSING
1463.27/1467.61 c GARBAGE COLLECT
1463.27/1467.61 c #Conflicts: 489000 | #Constraints: 18790
1463.27/1467.61 c #Conflicts: 490000 | #Constraints: 19790
1463.27/1467.61 c #Conflicts: 491000 | #Constraints: 20790
1463.27/1467.61 c #Conflicts: 492000 | #Constraints: 21790
1463.27/1467.61 c #Conflicts: 493000 | #Constraints: 22790
1463.27/1467.61 c #Conflicts: 494000 | #Constraints: 23790
1463.27/1467.61 c #Conflicts: 495000 | #Constraints: 24790
1463.27/1467.61 c #Conflicts: 496000 | #Constraints: 25790
1463.27/1467.61 c #Conflicts: 497000 | #Constraints: 26790
1463.27/1467.61 c #Conflicts: 498000 | #Constraints: 27790
1463.27/1467.61 c #Conflicts: 499000 | #Constraints: 28790
1463.27/1467.61 c #Conflicts: 500000 | #Constraints: 29790
1463.27/1467.61 c #Conflicts: 501000 | #Constraints: 30790
1463.27/1467.61 c #Conflicts: 502000 | #Constraints: 31790
1463.27/1467.61 c INPROCESSING
1463.27/1467.61 c GARBAGE COLLECT
1463.27/1467.61 c #Conflicts: 503000 | #Constraints: 18794
1463.27/1467.61 c #Conflicts: 504000 | #Constraints: 19794
1463.27/1467.61 c #Conflicts: 505000 | #Constraints: 20794
1463.27/1467.61 c #Conflicts: 506000 | #Constraints: 21794
1463.27/1467.61 c #Conflicts: 507000 | #Constraints: 22794
1463.27/1467.61 c #Conflicts: 508000 | #Constraints: 23794
1463.27/1467.61 c #Conflicts: 509000 | #Constraints: 24794
1463.27/1467.61 c #Conflicts: 510000 | #Constraints: 25794
1463.27/1467.61 c #Conflicts: 511000 | #Constraints: 26794
1463.27/1467.61 c #Conflicts: 512000 | #Constraints: 27794
1463.27/1467.61 c #Conflicts: 513000 | #Constraints: 28794
1703.38/1708.47 c #Conflicts: 514000 | #Constraints: 29794
1703.38/1708.47 c #Conflicts: 515000 | #Constraints: 30794
1703.38/1708.47 c #Conflicts: 516000 | #Constraints: 31794
1703.38/1708.47 c INPROCESSING
1703.38/1708.47 c GARBAGE COLLECT
1703.38/1708.47 c #Conflicts: 517000 | #Constraints: 18593
1703.38/1708.47 c #Conflicts: 518000 | #Constraints: 19593
1703.38/1708.47 c #Conflicts: 519000 | #Constraints: 20593
1703.38/1708.47 c #Conflicts: 520000 | #Constraints: 21593
1703.38/1708.47 c #Conflicts: 521000 | #Constraints: 22593
1703.38/1708.47 c #Conflicts: 522000 | #Constraints: 23593
1703.38/1708.47 c #Conflicts: 523000 | #Constraints: 24593
1703.38/1708.47 c #Conflicts: 524000 | #Constraints: 25593
1703.38/1708.47 c #Conflicts: 525000 | #Constraints: 26593
1703.38/1708.47 c #Conflicts: 526000 | #Constraints: 27593
1703.38/1708.47 c #Conflicts: 527000 | #Constraints: 28593
1703.38/1708.47 c #Conflicts: 528000 | #Constraints: 29593
1703.38/1708.47 c #Conflicts: 529000 | #Constraints: 30593
1703.38/1708.47 c #Conflicts: 530000 | #Constraints: 31593
1703.38/1708.47 c #Conflicts: 531000 | #Constraints: 32593
1703.38/1708.47 c INPROCESSING
1703.38/1708.47 c GARBAGE COLLECT
1703.38/1708.47 c #Conflicts: 532000 | #Constraints: 19191
1703.38/1708.47 c #Conflicts: 533000 | #Constraints: 20191
1703.38/1708.47 c #Conflicts: 534000 | #Constraints: 21191
1703.38/1708.47 c #Conflicts: 535000 | #Constraints: 22191
1703.38/1708.47 c #Conflicts: 536000 | #Constraints: 23191
1703.38/1708.47 c #Conflicts: 537000 | #Constraints: 24191
1703.38/1708.47 c #Conflicts: 538000 | #Constraints: 25191
1703.38/1708.47 c #Conflicts: 539000 | #Constraints: 26191
1703.38/1708.47 c #Conflicts: 540000 | #Constraints: 27191
1703.38/1708.47 c #Conflicts: 541000 | #Constraints: 28191
1703.38/1708.47 c #Conflicts: 542000 | #Constraints: 29191
1703.38/1708.47 c #Conflicts: 543000 | #Constraints: 30191
1703.38/1708.47 c #Conflicts: 544000 | #Constraints: 31191
1703.38/1708.47 c #Conflicts: 545000 | #Constraints: 32191
1703.38/1708.47 c #Conflicts: 546000 | #Constraints: 33191
1703.38/1708.47 c INPROCESSING
1703.38/1708.47 c GARBAGE COLLECT
1703.38/1708.47 c #Conflicts: 547000 | #Constraints: 19594
1703.38/1708.47 c #Conflicts: 548000 | #Constraints: 20594
1703.38/1708.47 c #Conflicts: 549000 | #Constraints: 21594
1703.38/1708.47 c #Conflicts: 550000 | #Constraints: 22594
1703.38/1708.47 c #Conflicts: 551000 | #Constraints: 23594
1703.38/1708.47 c #Conflicts: 552000 | #Constraints: 24594
1703.38/1708.47 c #Conflicts: 553000 | #Constraints: 25594
1703.38/1708.47 c #Conflicts: 554000 | #Constraints: 26594
1703.38/1708.47 c #Conflicts: 555000 | #Constraints: 27594
1703.38/1708.47 c #Conflicts: 556000 | #Constraints: 28594
1703.38/1708.47 c #Conflicts: 557000 | #Constraints: 29594
1703.38/1708.47 c #Conflicts: 558000 | #Constraints: 30594
1703.38/1708.47 c #Conflicts: 559000 | #Constraints: 31594
1703.38/1708.47 c #Conflicts: 560000 | #Constraints: 32594
1703.38/1708.47 c #Conflicts: 561000 | #Constraints: 33594
1703.38/1708.47 c INPROCESSING
1703.38/1708.47 c GARBAGE COLLECT
1703.38/1708.47 c #Conflicts: 562000 | #Constraints: 19787
1703.38/1708.47 c #Conflicts: 563000 | #Constraints: 20787
1703.38/1708.47 c #Conflicts: 564000 | #Constraints: 21787
1703.38/1708.47 c #Conflicts: 565000 | #Constraints: 22787
1703.38/1708.47 c #Conflicts: 566000 | #Constraints: 23787
1703.38/1708.47 c #Conflicts: 567000 | #Constraints: 24787
1703.38/1708.47 c #Conflicts: 568000 | #Constraints: 25787
1703.38/1708.47 c #Conflicts: 569000 | #Constraints: 26787
1703.38/1708.47 c #Conflicts: 570000 | #Constraints: 27787
1703.38/1708.47 c #Conflicts: 571000 | #Constraints: 28787
1703.38/1708.47 c #Conflicts: 572000 | #Constraints: 29787
1703.38/1708.47 c #Conflicts: 573000 | #Constraints: 30787
1703.38/1708.47 c #Conflicts: 574000 | #Constraints: 31787
1703.38/1708.47 c #Conflicts: 575000 | #Constraints: 32787
1703.38/1708.47 c #Conflicts: 576000 | #Constraints: 33787
1703.38/1708.47 c INPROCESSING
1703.38/1708.47 c GARBAGE COLLECT
1703.38/1708.47 c #Conflicts: 577000 | #Constraints: 19787
1703.38/1708.47 c #Conflicts: 578000 | #Constraints: 20787
1703.38/1708.47 c #Conflicts: 579000 | #Constraints: 21787
1703.38/1708.47 c #Conflicts: 580000 | #Constraints: 22787
1703.38/1708.47 c #Conflicts: 581000 | #Constraints: 23787
1703.38/1708.47 c #Conflicts: 582000 | #Constraints: 24787
1703.38/1708.47 c #Conflicts: 583000 | #Constraints: 25787
1703.38/1708.47 c #Conflicts: 584000 | #Constraints: 26787
1703.38/1708.47 c #Conflicts: 585000 | #Constraints: 27787
1703.38/1708.47 c #Conflicts: 586000 | #Constraints: 28787
1703.38/1708.47 c #Conflicts: 587000 | #Constraints: 29787
1703.38/1708.47 c #Conflicts: 588000 | #Constraints: 30787
1703.38/1708.47 c #Conflicts: 589000 | #Constraints: 31787
1981.39/1987.30 c #Conflicts: 590000 | #Constraints: 32787
1981.39/1987.30 c #Conflicts: 591000 | #Constraints: 33787
1981.39/1987.30 c INPROCESSING
1981.39/1987.30 c GARBAGE COLLECT
1981.39/1987.30 c #Conflicts: 592000 | #Constraints: 19582
1981.39/1987.30 c #Conflicts: 593000 | #Constraints: 20582
1981.39/1987.30 c #Conflicts: 594000 | #Constraints: 21582
1981.39/1987.30 c #Conflicts: 595000 | #Constraints: 22582
1981.39/1987.30 c #Conflicts: 596000 | #Constraints: 23582
1981.39/1987.30 c #Conflicts: 597000 | #Constraints: 24582
1981.39/1987.30 c #Conflicts: 598000 | #Constraints: 25582
1981.39/1987.30 c #Conflicts: 599000 | #Constraints: 26582
1981.39/1987.30 c #Conflicts: 600000 | #Constraints: 27582
1981.39/1987.30 c #Conflicts: 601000 | #Constraints: 28582
1981.39/1987.30 c #Conflicts: 602000 | #Constraints: 29582
1981.39/1987.30 c #Conflicts: 603000 | #Constraints: 30582
1981.39/1987.30 c #Conflicts: 604000 | #Constraints: 31582
1981.39/1987.30 c #Conflicts: 605000 | #Constraints: 32582
1981.39/1987.30 c #Conflicts: 606000 | #Constraints: 33582
1981.39/1987.30 c #Conflicts: 607000 | #Constraints: 34582
1981.39/1987.30 c INPROCESSING
1981.39/1987.30 c GARBAGE COLLECT
1981.39/1987.30 c #Conflicts: 608000 | #Constraints: 20182
1981.39/1987.30 c #Conflicts: 609000 | #Constraints: 21182
1981.39/1987.30 c #Conflicts: 610000 | #Constraints: 22182
1981.39/1987.30 c #Conflicts: 611000 | #Constraints: 23182
1981.39/1987.30 c #Conflicts: 612000 | #Constraints: 24182
1981.39/1987.30 c #Conflicts: 613000 | #Constraints: 25182
1981.39/1987.30 c #Conflicts: 614000 | #Constraints: 26182
1981.39/1987.30 c #Conflicts: 615000 | #Constraints: 27182
1981.39/1987.30 c #Conflicts: 616000 | #Constraints: 28182
1981.39/1987.30 c #Conflicts: 617000 | #Constraints: 29182
1981.39/1987.30 c #Conflicts: 618000 | #Constraints: 30182
1981.39/1987.30 c #Conflicts: 619000 | #Constraints: 31182
1981.39/1987.30 c #Conflicts: 620000 | #Constraints: 32182
1981.39/1987.30 c #Conflicts: 621000 | #Constraints: 33182
1981.39/1987.30 c #Conflicts: 622000 | #Constraints: 34182
1981.39/1987.30 c #Conflicts: 623000 | #Constraints: 35182
1981.39/1987.30 c INPROCESSING
1981.39/1987.30 c GARBAGE COLLECT
1981.39/1987.30 c #Conflicts: 624000 | #Constraints: 20588
1981.39/1987.30 c #Conflicts: 625000 | #Constraints: 21588
1981.39/1987.30 c #Conflicts: 626000 | #Constraints: 22588
1981.39/1987.30 c #Conflicts: 627000 | #Constraints: 23588
1981.39/1987.30 c #Conflicts: 628000 | #Constraints: 24588
1981.39/1987.30 c #Conflicts: 629000 | #Constraints: 25588
1981.39/1987.30 c #Conflicts: 630000 | #Constraints: 26588
1981.39/1987.30 c #Conflicts: 631000 | #Constraints: 27588
1981.39/1987.30 c #Conflicts: 632000 | #Constraints: 28588
1981.39/1987.30 c #Conflicts: 633000 | #Constraints: 29588
1981.39/1987.30 c #Conflicts: 634000 | #Constraints: 30588
1981.39/1987.30 c #Conflicts: 635000 | #Constraints: 31588
1981.39/1987.30 c #Conflicts: 636000 | #Constraints: 32588
1981.39/1987.30 c #Conflicts: 637000 | #Constraints: 33588
1981.39/1987.30 c #Conflicts: 638000 | #Constraints: 34588
1981.39/1987.30 c #Conflicts: 639000 | #Constraints: 35588
1981.39/1987.30 c INPROCESSING
1981.39/1987.30 c GARBAGE COLLECT
1981.39/1987.30 c #Conflicts: 640000 | #Constraints: 20787
1981.39/1987.30 c #Conflicts: 641000 | #Constraints: 21787
1981.39/1987.30 c #Conflicts: 642000 | #Constraints: 22787
1981.39/1987.30 c #Conflicts: 643000 | #Constraints: 23787
1981.39/1987.30 c #Conflicts: 644000 | #Constraints: 24787
1981.39/1987.30 c #Conflicts: 645000 | #Constraints: 25787
1981.39/1987.30 c #Conflicts: 646000 | #Constraints: 26787
1981.39/1987.30 c #Conflicts: 647000 | #Constraints: 27787
1981.39/1987.30 c #Conflicts: 648000 | #Constraints: 28787
1981.39/1987.30 c #Conflicts: 649000 | #Constraints: 29787
1981.39/1987.30 c #Conflicts: 650000 | #Constraints: 30787
1981.39/1987.30 c #Conflicts: 651000 | #Constraints: 31787
1981.39/1987.30 c #Conflicts: 652000 | #Constraints: 32787
1981.39/1987.30 c #Conflicts: 653000 | #Constraints: 33787
1981.39/1987.30 c #Conflicts: 654000 | #Constraints: 34787
1981.39/1987.30 c #Conflicts: 655000 | #Constraints: 35787
1981.39/1987.30 c INPROCESSING
1981.39/1987.30 c GARBAGE COLLECT
1981.39/1987.30 c #Conflicts: 656000 | #Constraints: 20794
1981.39/1987.30 c #Conflicts: 657000 | #Constraints: 21794
1981.39/1987.30 c #Conflicts: 658000 | #Constraints: 22794
1981.39/1987.30 c #Conflicts: 659000 | #Constraints: 23794
1981.39/1987.30 c #Conflicts: 660000 | #Constraints: 24794
1981.39/1987.30 c #Conflicts: 661000 | #Constraints: 25794
1981.39/1987.30 c #Conflicts: 662000 | #Constraints: 26794
1981.39/1987.30 c #Conflicts: 663000 | #Constraints: 27794
1981.39/1987.30 c #Conflicts: 664000 | #Constraints: 28794
1981.39/1987.30 c #Conflicts: 665000 | #Constraints: 29794
2261.41/2268.14 c #Conflicts: 666000 | #Constraints: 30794
2261.41/2268.14 c #Conflicts: 667000 | #Constraints: 31794
2261.41/2268.14 c #Conflicts: 668000 | #Constraints: 32794
2261.41/2268.14 c #Conflicts: 669000 | #Constraints: 33794
2261.41/2268.14 c #Conflicts: 670000 | #Constraints: 34794
2261.41/2268.14 c #Conflicts: 671000 | #Constraints: 35794
2261.41/2268.14 c INPROCESSING
2261.41/2268.14 c GARBAGE COLLECT
2261.41/2268.14 c #Conflicts: 672000 | #Constraints: 20586
2261.41/2268.14 c #Conflicts: 673000 | #Constraints: 21586
2261.41/2268.14 c #Conflicts: 674000 | #Constraints: 22586
2261.41/2268.14 c #Conflicts: 675000 | #Constraints: 23586
2261.41/2268.14 c #Conflicts: 676000 | #Constraints: 24586
2261.41/2268.14 c #Conflicts: 677000 | #Constraints: 25586
2261.41/2268.14 c #Conflicts: 678000 | #Constraints: 26586
2261.41/2268.14 c #Conflicts: 679000 | #Constraints: 27586
2261.41/2268.14 c #Conflicts: 680000 | #Constraints: 28586
2261.41/2268.14 c #Conflicts: 681000 | #Constraints: 29586
2261.41/2268.14 c #Conflicts: 682000 | #Constraints: 30586
2261.41/2268.14 c #Conflicts: 683000 | #Constraints: 31586
2261.41/2268.14 c #Conflicts: 684000 | #Constraints: 32586
2261.41/2268.14 c #Conflicts: 685000 | #Constraints: 33586
2261.41/2268.14 c #Conflicts: 686000 | #Constraints: 34586
2261.41/2268.14 c #Conflicts: 687000 | #Constraints: 35586
2261.41/2268.14 c #Conflicts: 688000 | #Constraints: 36586
2261.41/2268.14 c INPROCESSING
2261.41/2268.14 c GARBAGE COLLECT
2261.41/2268.14 c #Conflicts: 689000 | #Constraints: 21189
2261.41/2268.14 c #Conflicts: 690000 | #Constraints: 22189
2261.41/2268.14 c #Conflicts: 691000 | #Constraints: 23189
2261.41/2268.14 c #Conflicts: 692000 | #Constraints: 24189
2261.41/2268.14 c #Conflicts: 693000 | #Constraints: 25189
2261.41/2268.14 c #Conflicts: 694000 | #Constraints: 26189
2261.41/2268.14 c #Conflicts: 695000 | #Constraints: 27189
2261.41/2268.14 c #Conflicts: 696000 | #Constraints: 28189
2261.41/2268.14 c #Conflicts: 697000 | #Constraints: 29189
2261.41/2268.14 c #Conflicts: 698000 | #Constraints: 30189
2261.41/2268.14 c #Conflicts: 699000 | #Constraints: 31189
2261.41/2268.14 c #Conflicts: 700000 | #Constraints: 32189
2261.41/2268.14 c #Conflicts: 701000 | #Constraints: 33189
2261.41/2268.14 c #Conflicts: 702000 | #Constraints: 34189
2261.41/2268.14 c #Conflicts: 703000 | #Constraints: 35189
2261.41/2268.14 c #Conflicts: 704000 | #Constraints: 36189
2261.41/2268.14 c #Conflicts: 705000 | #Constraints: 37189
2261.41/2268.14 c INPROCESSING
2261.41/2268.14 c GARBAGE COLLECT
2261.41/2268.14 c #Conflicts: 706000 | #Constraints: 21605
2261.41/2268.14 c #Conflicts: 707000 | #Constraints: 22605
2261.41/2268.14 c #Conflicts: 708000 | #Constraints: 23605
2261.41/2268.14 c #Conflicts: 709000 | #Constraints: 24605
2261.41/2268.14 c #Conflicts: 710000 | #Constraints: 25605
2261.41/2268.14 c #Conflicts: 711000 | #Constraints: 26605
2261.41/2268.14 c #Conflicts: 712000 | #Constraints: 27605
2261.41/2268.14 c #Conflicts: 713000 | #Constraints: 28605
2261.41/2268.14 c #Conflicts: 714000 | #Constraints: 29605
2261.41/2268.14 c #Conflicts: 715000 | #Constraints: 30605
2261.41/2268.14 c #Conflicts: 716000 | #Constraints: 31605
2261.41/2268.14 c #Conflicts: 717000 | #Constraints: 32605
2261.41/2268.14 c #Conflicts: 718000 | #Constraints: 33605
2261.41/2268.14 c #Conflicts: 719000 | #Constraints: 34605
2261.41/2268.14 c #Conflicts: 720000 | #Constraints: 35605
2261.41/2268.14 c #Conflicts: 721000 | #Constraints: 36605
2261.41/2268.14 c #Conflicts: 722000 | #Constraints: 37605
2261.41/2268.14 c INPROCESSING
2261.41/2268.14 c GARBAGE COLLECT
2261.41/2268.14 c #Conflicts: 723000 | #Constraints: 21821
2261.41/2268.14 c #Conflicts: 724000 | #Constraints: 22821
2261.41/2268.14 c #Conflicts: 725000 | #Constraints: 23821
2261.41/2268.14 c #Conflicts: 726000 | #Constraints: 24821
2261.41/2268.14 c #Conflicts: 727000 | #Constraints: 25821
2261.41/2268.14 c #Conflicts: 728000 | #Constraints: 26821
2261.41/2268.14 c #Conflicts: 729000 | #Constraints: 27821
2261.41/2268.14 c #Conflicts: 730000 | #Constraints: 28821
2261.41/2268.14 c #Conflicts: 731000 | #Constraints: 29821
2261.41/2268.14 c #Conflicts: 732000 | #Constraints: 30821
2261.41/2268.14 c #Conflicts: 733000 | #Constraints: 31821
2261.41/2268.14 c #Conflicts: 734000 | #Constraints: 32821
2261.41/2268.14 c #Conflicts: 735000 | #Constraints: 33821
2261.41/2268.14 c #Conflicts: 736000 | #Constraints: 34821
2261.41/2268.14 c #Conflicts: 737000 | #Constraints: 35821
2261.41/2268.14 c #Conflicts: 738000 | #Constraints: 36821
2261.41/2268.14 c #Conflicts: 739000 | #Constraints: 37821
2261.41/2268.14 c INPROCESSING
2261.41/2268.14 c GARBAGE COLLECT
2261.41/2268.14 c #Conflicts: 740000 | #Constraints: 21829
2573.97/2581.58 c #Conflicts: 741000 | #Constraints: 22829
2573.97/2581.58 c #Conflicts: 742000 | #Constraints: 23829
2573.97/2581.58 c #Conflicts: 743000 | #Constraints: 24829
2573.97/2581.58 c #Conflicts: 744000 | #Constraints: 25829
2573.97/2581.58 c #Conflicts: 745000 | #Constraints: 26829
2573.97/2581.58 c #Conflicts: 746000 | #Constraints: 27829
2573.97/2581.58 c #Conflicts: 747000 | #Constraints: 28829
2573.97/2581.58 c #Conflicts: 748000 | #Constraints: 29829
2573.97/2581.58 c #Conflicts: 749000 | #Constraints: 30829
2573.97/2581.58 c #Conflicts: 750000 | #Constraints: 31829
2573.97/2581.58 c #Conflicts: 751000 | #Constraints: 32829
2573.97/2581.58 c #Conflicts: 752000 | #Constraints: 33829
2573.97/2581.58 c #Conflicts: 753000 | #Constraints: 34829
2573.97/2581.58 c #Conflicts: 754000 | #Constraints: 35829
2573.97/2581.58 c #Conflicts: 755000 | #Constraints: 36829
2573.97/2581.58 c #Conflicts: 756000 | #Constraints: 37829
2573.97/2581.58 c INPROCESSING
2573.97/2581.58 c GARBAGE COLLECT
2573.97/2581.58 c #Conflicts: 757000 | #Constraints: 21615
2573.97/2581.58 c #Conflicts: 758000 | #Constraints: 22615
2573.97/2581.58 c #Conflicts: 759000 | #Constraints: 23615
2573.97/2581.58 c #Conflicts: 760000 | #Constraints: 24615
2573.97/2581.58 c #Conflicts: 761000 | #Constraints: 25615
2573.97/2581.58 c #Conflicts: 762000 | #Constraints: 26615
2573.97/2581.58 c #Conflicts: 763000 | #Constraints: 27615
2573.97/2581.58 c #Conflicts: 764000 | #Constraints: 28615
2573.97/2581.58 c #Conflicts: 765000 | #Constraints: 29615
2573.97/2581.58 c #Conflicts: 766000 | #Constraints: 30615
2573.97/2581.58 c #Conflicts: 767000 | #Constraints: 31615
2573.97/2581.58 c #Conflicts: 768000 | #Constraints: 32615
2573.97/2581.58 c #Conflicts: 769000 | #Constraints: 33615
2573.97/2581.58 c #Conflicts: 770000 | #Constraints: 34615
2573.97/2581.58 c #Conflicts: 771000 | #Constraints: 35615
2573.97/2581.58 c #Conflicts: 772000 | #Constraints: 36615
2573.97/2581.58 c #Conflicts: 773000 | #Constraints: 37615
2573.97/2581.58 c #Conflicts: 774000 | #Constraints: 38615
2573.97/2581.58 c INPROCESSING
2573.97/2581.58 c GARBAGE COLLECT
2573.97/2581.58 c #Conflicts: 775000 | #Constraints: 22212
2573.97/2581.58 c #Conflicts: 776000 | #Constraints: 23212
2573.97/2581.58 c #Conflicts: 777000 | #Constraints: 24212
2573.97/2581.58 c #Conflicts: 778000 | #Constraints: 25212
2573.97/2581.58 c #Conflicts: 779000 | #Constraints: 26212
2573.97/2581.58 c #Conflicts: 780000 | #Constraints: 27212
2573.97/2581.58 c #Conflicts: 781000 | #Constraints: 28212
2573.97/2581.58 c #Conflicts: 782000 | #Constraints: 29212
2573.97/2581.58 c #Conflicts: 783000 | #Constraints: 30212
2573.97/2581.58 c #Conflicts: 784000 | #Constraints: 31212
2573.97/2581.58 c #Conflicts: 785000 | #Constraints: 32212
2573.97/2581.58 c #Conflicts: 786000 | #Constraints: 33212
2573.97/2581.58 c #Conflicts: 787000 | #Constraints: 34212
2573.97/2581.58 c #Conflicts: 788000 | #Constraints: 35212
2573.97/2581.58 c #Conflicts: 789000 | #Constraints: 36212
2573.97/2581.58 c #Conflicts: 790000 | #Constraints: 37212
2573.97/2581.58 c #Conflicts: 791000 | #Constraints: 38212
2573.97/2581.58 c #Conflicts: 792000 | #Constraints: 39212
2573.97/2581.58 c INPROCESSING
2573.97/2581.58 c GARBAGE COLLECT
2573.97/2581.58 c #Conflicts: 793000 | #Constraints: 22604
2573.97/2581.58 c #Conflicts: 794000 | #Constraints: 23604
2573.97/2581.58 c #Conflicts: 795000 | #Constraints: 24604
2573.97/2581.58 c #Conflicts: 796000 | #Constraints: 25604
2573.97/2581.58 c #Conflicts: 797000 | #Constraints: 26604
2573.97/2581.58 c #Conflicts: 798000 | #Constraints: 27604
2573.97/2581.58 c #Conflicts: 799000 | #Constraints: 28604
2573.97/2581.58 c #Conflicts: 800000 | #Constraints: 29604
2573.97/2581.58 c #Conflicts: 801000 | #Constraints: 30604
2573.97/2581.58 c #Conflicts: 802000 | #Constraints: 31604
2573.97/2581.58 c #Conflicts: 803000 | #Constraints: 32604
2573.97/2581.58 c #Conflicts: 804000 | #Constraints: 33604
2573.97/2581.58 c #Conflicts: 805000 | #Constraints: 34604
2573.97/2581.58 c #Conflicts: 806000 | #Constraints: 35604
2573.97/2581.58 c #Conflicts: 807000 | #Constraints: 36604
2573.97/2581.58 c #Conflicts: 808000 | #Constraints: 37604
2573.97/2581.58 c #Conflicts: 809000 | #Constraints: 38604
2573.97/2581.58 c #Conflicts: 810000 | #Constraints: 39604
2573.97/2581.58 c INPROCESSING
2573.97/2581.58 c GARBAGE COLLECT
2573.97/2581.58 c #Conflicts: 811000 | #Constraints: 22809
2573.97/2581.58 c #Conflicts: 812000 | #Constraints: 23809
2573.97/2581.58 c #Conflicts: 813000 | #Constraints: 24809
2573.97/2581.58 c #Conflicts: 814000 | #Constraints: 25809
2573.97/2581.58 c #Conflicts: 815000 | #Constraints: 26809
2573.97/2581.58 c #Conflicts: 816000 | #Constraints: 27809
2873.76/2882.19 c #Conflicts: 817000 | #Constraints: 28809
2873.76/2882.19 c #Conflicts: 818000 | #Constraints: 29809
2873.76/2882.19 c #Conflicts: 819000 | #Constraints: 30809
2873.76/2882.19 c #Conflicts: 820000 | #Constraints: 31809
2873.76/2882.19 c #Conflicts: 821000 | #Constraints: 32809
2873.76/2882.19 c #Conflicts: 822000 | #Constraints: 33809
2873.76/2882.19 c #Conflicts: 823000 | #Constraints: 34809
2873.76/2882.19 c #Conflicts: 824000 | #Constraints: 35809
2873.76/2882.19 c #Conflicts: 825000 | #Constraints: 36809
2873.76/2882.19 c #Conflicts: 826000 | #Constraints: 37809
2873.76/2882.19 c #Conflicts: 827000 | #Constraints: 38809
2873.76/2882.19 c #Conflicts: 828000 | #Constraints: 39809
2873.76/2882.19 c INPROCESSING
2873.76/2882.19 c GARBAGE COLLECT
2873.76/2882.19 c #Conflicts: 829000 | #Constraints: 22813
2873.76/2882.19 c #Conflicts: 830000 | #Constraints: 23813
2873.76/2882.19 c #Conflicts: 831000 | #Constraints: 24813
2873.76/2882.19 c #Conflicts: 832000 | #Constraints: 25813
2873.76/2882.19 c #Conflicts: 833000 | #Constraints: 26813
2873.76/2882.19 c #Conflicts: 834000 | #Constraints: 27813
2873.76/2882.19 c #Conflicts: 835000 | #Constraints: 28813
2873.76/2882.19 c #Conflicts: 836000 | #Constraints: 29813
2873.76/2882.19 c #Conflicts: 837000 | #Constraints: 30813
2873.76/2882.19 c #Conflicts: 838000 | #Constraints: 31813
2873.76/2882.19 c #Conflicts: 839000 | #Constraints: 32813
2873.76/2882.19 c #Conflicts: 840000 | #Constraints: 33813
2873.76/2882.19 c #Conflicts: 841000 | #Constraints: 34813
2873.76/2882.19 c #Conflicts: 842000 | #Constraints: 35813
2873.76/2882.19 c #Conflicts: 843000 | #Constraints: 36813
2873.76/2882.19 c #Conflicts: 844000 | #Constraints: 37813
2873.76/2882.19 c #Conflicts: 845000 | #Constraints: 38813
2873.76/2882.19 c #Conflicts: 846000 | #Constraints: 39813
2873.76/2882.19 c INPROCESSING
2873.76/2882.19 c GARBAGE COLLECT
2873.76/2882.19 c #Conflicts: 847000 | #Constraints: 22608
2873.76/2882.19 c #Conflicts: 848000 | #Constraints: 23608
2873.76/2882.19 c #Conflicts: 849000 | #Constraints: 24608
2873.76/2882.19 c #Conflicts: 850000 | #Constraints: 25608
2873.76/2882.19 c #Conflicts: 851000 | #Constraints: 26608
2873.76/2882.19 c #Conflicts: 852000 | #Constraints: 27608
2873.76/2882.19 c #Conflicts: 853000 | #Constraints: 28608
2873.76/2882.19 c #Conflicts: 854000 | #Constraints: 29608
2873.76/2882.19 c #Conflicts: 855000 | #Constraints: 30608
2873.76/2882.19 c #Conflicts: 856000 | #Constraints: 31608
2873.76/2882.19 c #Conflicts: 857000 | #Constraints: 32608
2873.76/2882.19 c #Conflicts: 858000 | #Constraints: 33608
2873.76/2882.19 c #Conflicts: 859000 | #Constraints: 34608
2873.76/2882.19 c #Conflicts: 860000 | #Constraints: 35608
2873.76/2882.19 c #Conflicts: 861000 | #Constraints: 36608
2873.76/2882.19 c #Conflicts: 862000 | #Constraints: 37608
2873.76/2882.19 c #Conflicts: 863000 | #Constraints: 38608
2873.76/2882.19 c #Conflicts: 864000 | #Constraints: 39608
2873.76/2882.19 c #Conflicts: 865000 | #Constraints: 40608
2873.76/2882.19 c INPROCESSING
2873.76/2882.19 c GARBAGE COLLECT
2873.76/2882.19 c #Conflicts: 866000 | #Constraints: 23197
2873.76/2882.19 c #Conflicts: 867000 | #Constraints: 24197
2873.76/2882.19 c #Conflicts: 868000 | #Constraints: 25197
2873.76/2882.19 c #Conflicts: 869000 | #Constraints: 26197
2873.76/2882.19 c #Conflicts: 870000 | #Constraints: 27197
2873.76/2882.19 c #Conflicts: 871000 | #Constraints: 28197
2873.76/2882.19 c #Conflicts: 872000 | #Constraints: 29197
2873.76/2882.19 c #Conflicts: 873000 | #Constraints: 30197
2873.76/2882.19 c #Conflicts: 874000 | #Constraints: 31197
2873.76/2882.19 c #Conflicts: 875000 | #Constraints: 32197
2873.76/2882.19 c #Conflicts: 876000 | #Constraints: 33197
2873.76/2882.19 c #Conflicts: 877000 | #Constraints: 34197
2873.76/2882.19 c #Conflicts: 878000 | #Constraints: 35197
2873.76/2882.19 c #Conflicts: 879000 | #Constraints: 36197
2873.76/2882.19 c #Conflicts: 880000 | #Constraints: 37197
2873.76/2882.19 c #Conflicts: 881000 | #Constraints: 38197
2873.76/2882.19 c #Conflicts: 882000 | #Constraints: 39197
2873.76/2882.19 c #Conflicts: 883000 | #Constraints: 40197
2873.76/2882.19 c #Conflicts: 884000 | #Constraints: 41197
2873.76/2882.19 c INPROCESSING
2873.76/2882.19 c GARBAGE COLLECT
2873.76/2882.19 c #Conflicts: 885000 | #Constraints: 23590
2873.76/2882.19 c #Conflicts: 886000 | #Constraints: 24590
2873.76/2882.19 c #Conflicts: 887000 | #Constraints: 25590
2873.76/2882.19 c #Conflicts: 888000 | #Constraints: 26590
2873.76/2882.19 c #Conflicts: 889000 | #Constraints: 27590
2873.76/2882.19 c #Conflicts: 890000 | #Constraints: 28590
2873.76/2882.19 c #Conflicts: 891000 | #Constraints: 29590
2873.76/2882.19 c #Conflicts: 892000 | #Constraints: 30590
2873.76/2882.19 c #Conflicts: 893000 | #Constraints: 31590
3299.43/3309.06 c #Conflicts: 894000 | #Constraints: 32590
3299.43/3309.06 c #Conflicts: 895000 | #Constraints: 33590
3299.43/3309.06 c #Conflicts: 896000 | #Constraints: 34590
3299.43/3309.06 c #Conflicts: 897000 | #Constraints: 35590
3299.43/3309.06 c #Conflicts: 898000 | #Constraints: 36590
3299.43/3309.06 c #Conflicts: 899000 | #Constraints: 37590
3299.43/3309.06 c #Conflicts: 900000 | #Constraints: 38590
3299.43/3309.06 c #Conflicts: 901000 | #Constraints: 39590
3299.43/3309.06 c #Conflicts: 902000 | #Constraints: 40590
3299.43/3309.06 c #Conflicts: 903000 | #Constraints: 41590
3299.43/3309.06 c INPROCESSING
3299.43/3309.06 c GARBAGE COLLECT
3299.43/3309.06 c #Conflicts: 904000 | #Constraints: 23790
3299.43/3309.06 c #Conflicts: 905000 | #Constraints: 24790
3299.43/3309.06 c #Conflicts: 906000 | #Constraints: 25790
3299.43/3309.06 c #Conflicts: 907000 | #Constraints: 26790
3299.43/3309.06 c #Conflicts: 908000 | #Constraints: 27790
3299.43/3309.06 c #Conflicts: 909000 | #Constraints: 28790
3299.43/3309.06 c #Conflicts: 910000 | #Constraints: 29790
3299.43/3309.06 c #Conflicts: 911000 | #Constraints: 30790
3299.43/3309.06 c #Conflicts: 912000 | #Constraints: 31790
3299.43/3309.06 c #Conflicts: 913000 | #Constraints: 32790
3299.43/3309.06 c #Conflicts: 914000 | #Constraints: 33790
3299.43/3309.06 c #Conflicts: 915000 | #Constraints: 34790
3299.43/3309.06 c #Conflicts: 916000 | #Constraints: 35790
3299.43/3309.06 c #Conflicts: 917000 | #Constraints: 36790
3299.43/3309.06 c #Conflicts: 918000 | #Constraints: 37790
3299.43/3309.06 c #Conflicts: 919000 | #Constraints: 38790
3299.43/3309.06 c #Conflicts: 920000 | #Constraints: 39790
3299.43/3309.06 c #Conflicts: 921000 | #Constraints: 40790
3299.43/3309.06 c #Conflicts: 922000 | #Constraints: 41790
3299.43/3309.06 c INPROCESSING
3299.43/3309.06 c GARBAGE COLLECT
3299.43/3309.06 c #Conflicts: 923000 | #Constraints: 23786
3299.43/3309.06 c #Conflicts: 924000 | #Constraints: 24786
3299.43/3309.06 c #Conflicts: 925000 | #Constraints: 25786
3299.43/3309.06 c #Conflicts: 926000 | #Constraints: 26786
3299.43/3309.06 c #Conflicts: 927000 | #Constraints: 27786
3299.43/3309.06 c #Conflicts: 928000 | #Constraints: 28786
3299.43/3309.06 c #Conflicts: 929000 | #Constraints: 29786
3299.43/3309.06 c #Conflicts: 930000 | #Constraints: 30786
3299.43/3309.06 c #Conflicts: 931000 | #Constraints: 31786
3299.43/3309.06 c #Conflicts: 932000 | #Constraints: 32786
3299.43/3309.06 c #Conflicts: 933000 | #Constraints: 33786
3299.43/3309.06 c #Conflicts: 934000 | #Constraints: 34786
3299.43/3309.06 c #Conflicts: 935000 | #Constraints: 35786
3299.43/3309.06 c #Conflicts: 936000 | #Constraints: 36786
3299.43/3309.06 c #Conflicts: 937000 | #Constraints: 37786
3299.43/3309.06 c #Conflicts: 938000 | #Constraints: 38786
3299.43/3309.06 c #Conflicts: 939000 | #Constraints: 39786
3299.43/3309.06 c #Conflicts: 940000 | #Constraints: 40786
3299.43/3309.06 c #Conflicts: 941000 | #Constraints: 41786
3299.43/3309.06 c INPROCESSING
3299.43/3309.06 c GARBAGE COLLECT
3299.43/3309.06 c #Conflicts: 942000 | #Constraints: 23587
3299.43/3309.06 c #Conflicts: 943000 | #Constraints: 24587
3299.43/3309.06 c #Conflicts: 944000 | #Constraints: 25587
3299.43/3309.06 c #Conflicts: 945000 | #Constraints: 26587
3299.43/3309.06 c #Conflicts: 946000 | #Constraints: 27587
3299.43/3309.06 c #Conflicts: 947000 | #Constraints: 28587
3299.43/3309.06 c #Conflicts: 948000 | #Constraints: 29587
3299.43/3309.06 c #Conflicts: 949000 | #Constraints: 30587
3299.43/3309.06 c #Conflicts: 950000 | #Constraints: 31587
3299.43/3309.06 c #Conflicts: 951000 | #Constraints: 32587
3299.43/3309.06 c #Conflicts: 952000 | #Constraints: 33587
3299.43/3309.06 c #Conflicts: 953000 | #Constraints: 34587
3299.43/3309.06 c #Conflicts: 954000 | #Constraints: 35587
3299.43/3309.06 c #Conflicts: 955000 | #Constraints: 36587
3299.43/3309.06 c #Conflicts: 956000 | #Constraints: 37587
3299.43/3309.06 c #Conflicts: 957000 | #Constraints: 38587
3299.43/3309.06 c #Conflicts: 958000 | #Constraints: 39587
3299.43/3309.06 c #Conflicts: 959000 | #Constraints: 40587
3299.43/3309.06 c #Conflicts: 960000 | #Constraints: 41587
3299.43/3309.06 c #Conflicts: 961000 | #Constraints: 42587
3299.43/3309.06 c INPROCESSING
3299.43/3309.06 c GARBAGE COLLECT
3299.43/3309.06 c #Conflicts: 962000 | #Constraints: 24191
3299.43/3309.06 c #Conflicts: 963000 | #Constraints: 25191
3299.43/3309.06 c #Conflicts: 964000 | #Constraints: 26191
3299.43/3309.06 c #Conflicts: 965000 | #Constraints: 27191
3299.43/3309.06 c #Conflicts: 966000 | #Constraints: 28191
3299.43/3309.06 c #Conflicts: 967000 | #Constraints: 29191
3299.43/3309.06 c #Conflicts: 968000 | #Constraints: 30191
3299.43/3309.06 c #Conflicts: 969000 | #Constraints: 31191
3600.02/3610.50 c #Conflicts: 970000 | #Constraints: 32191
3600.02/3610.50 c #Conflicts: 971000 | #Constraints: 33191
3600.02/3610.50 c #Conflicts: 972000 | #Constraints: 34191
3600.02/3610.50 c #Conflicts: 973000 | #Constraints: 35191
3600.02/3610.50 c #Conflicts: 974000 | #Constraints: 36191
3600.02/3610.50 c #Conflicts: 975000 | #Constraints: 37191
3600.02/3610.50 c #Conflicts: 976000 | #Constraints: 38191
3600.02/3610.50 c #Conflicts: 977000 | #Constraints: 39191
3600.02/3610.50 c #Conflicts: 978000 | #Constraints: 40191
3600.02/3610.50 c #Conflicts: 979000 | #Constraints: 41191
3600.02/3610.50 c #Conflicts: 980000 | #Constraints: 42191
3600.02/3610.50 c #Conflicts: 981000 | #Constraints: 43191
3600.02/3610.50 c INPROCESSING
3600.02/3610.50 c GARBAGE COLLECT
3600.02/3610.50 c #Conflicts: 982000 | #Constraints: 24587
3600.02/3610.50 c #Conflicts: 983000 | #Constraints: 25587
3600.02/3610.50 c #Conflicts: 984000 | #Constraints: 26587
3600.02/3610.50 c #Conflicts: 985000 | #Constraints: 27587
3600.02/3610.50 c #Conflicts: 986000 | #Constraints: 28587
3600.02/3610.50 c #Conflicts: 987000 | #Constraints: 29587
3600.02/3610.50 c #Conflicts: 988000 | #Constraints: 30587
3600.02/3610.50 c #Conflicts: 989000 | #Constraints: 31587
3600.02/3610.50 c #Conflicts: 990000 | #Constraints: 32587
3600.02/3610.50 c #Conflicts: 991000 | #Constraints: 33587
3600.02/3610.50 c #Conflicts: 992000 | #Constraints: 34587
3600.02/3610.50 c #Conflicts: 993000 | #Constraints: 35587
3600.02/3610.50 c #Conflicts: 994000 | #Constraints: 36587
3600.02/3610.50 c #Conflicts: 995000 | #Constraints: 37587
3600.02/3610.50 c #Conflicts: 996000 | #Constraints: 38587
3600.02/3610.50 c #Conflicts: 997000 | #Constraints: 39587
3600.02/3610.50 c #Conflicts: 998000 | #Constraints: 40587
3600.02/3610.50 c #Conflicts: 999000 | #Constraints: 41587
3600.02/3610.50 c #Conflicts: 1000000 | #Constraints: 42587
3600.02/3610.50 c #Conflicts: 1001000 | #Constraints: 43587
3600.02/3610.50 c INPROCESSING
3600.02/3610.50 c GARBAGE COLLECT
3600.02/3610.50 c #Conflicts: 1002000 | #Constraints: 24796
3600.02/3610.50 c #Conflicts: 1003000 | #Constraints: 25796
3600.02/3610.50 c #Conflicts: 1004000 | #Constraints: 26796
3600.02/3610.50 c #Conflicts: 1005000 | #Constraints: 27796
3600.02/3610.50 c #Conflicts: 1006000 | #Constraints: 28796
3600.02/3610.50 c #Conflicts: 1007000 | #Constraints: 29796
3600.02/3610.50 c #Conflicts: 1008000 | #Constraints: 30796
3600.02/3610.50 c #Conflicts: 1009000 | #Constraints: 31796
3600.02/3610.50 c #Conflicts: 1010000 | #Constraints: 32796
3600.02/3610.50 c #Conflicts: 1011000 | #Constraints: 33796
3600.02/3610.50 c #Conflicts: 1012000 | #Constraints: 34796
3600.02/3610.50 c #Conflicts: 1013000 | #Constraints: 35796
3600.02/3610.50 c #Conflicts: 1014000 | #Constraints: 36796
3600.02/3610.50 c #Conflicts: 1015000 | #Constraints: 37796
3600.02/3610.50 c #Conflicts: 1016000 | #Constraints: 38796
3600.02/3610.50 c #Conflicts: 1017000 | #Constraints: 39796
3600.02/3610.50 c #Conflicts: 1018000 | #Constraints: 40796
3600.02/3610.50 c Program interrupted by user.
3600.02/3610.50 c cpu time 3592.15 s
3600.02/3610.50 c deterministic time 623272509811 6.23e+11
3600.02/3610.50 c optimization time 98.5445 s
3600.02/3610.50 c total solve time 3194.36 s
3600.02/3610.50 c core-guided solve time 3194.36 s
3600.02/3610.50 c propagation time 2615.79 s
3600.02/3610.50 c conflict analysis time 507.798 s
3600.02/3610.50 c propagations 132993009
3600.02/3610.50 c resolve steps 7856119
3600.02/3610.50 c decisions 4468318
3600.02/3610.50 c conflicts 1018122
3600.02/3610.50 c restarts 2045
3600.02/3610.50 c inprocessing phases 91
3600.02/3610.50 c input clauses 3909
3600.02/3610.50 c input cardinalities 146
3600.02/3610.50 c input general constraints 0
3600.02/3610.50 c input average constraint length 61.61
3600.02/3610.50 c input average constraint degree 27.68
3600.02/3610.50 c learned clauses 351837
3600.02/3610.50 c learned cardinalities 69435
3600.02/3610.50 c learned general constraints 596994
3600.02/3610.50 c learned average constraint length 868.63
3600.02/3610.50 c learned average constraint degree 91368.83
3600.02/3610.50 c watched constraints 360976
3600.02/3610.50 c counting constraints 236018
3600.02/3610.50 c gcd simplifications 35650
3600.02/3610.50 c detected cardinalities 974
3600.02/3610.50 c weakened non-implied lits 163759574
3600.02/3610.50 c weakened non-implying lits 72566
3600.02/3610.50 c original variables 1960
3600.02/3610.50 c clausal propagations 53013697
3600.02/3610.50 c cardinality propagations 4274931
3600.02/3610.50 c watched propagations 13520963
3600.02/3610.50 c counting propagations 54965236
3600.02/3610.50 c watch lookups 44110019684
3600.02/3610.50 c watch backjump lookups 39851317293
3600.02/3610.50 c watch checks 491107759267
3600.02/3610.50 c propagation checks 45504925146
3600.02/3610.50 c constraint additions 2422549327
3600.02/3610.50 c trail pops 138477766
3600.02/3610.50 c formula constraints 3241
3600.02/3610.50 c learned constraints 1018266
3600.02/3610.50 c bound constraints 146
3600.02/3610.50 c core-guided constraints 668
3600.02/3610.50 c encountered formula constraints 5558255
3600.02/3610.50 c encountered learned constraints 2463705
3600.02/3610.50 c encountered bound constraints 3
3600.02/3610.50 c encountered core-guided constraints 852278
3600.02/3610.50 c LP total time 0 s
3600.02/3610.50 c LP solve time 0 s
3600.02/3610.50 c LP constraints added 0
3600.02/3610.50 c LP constraints removed 0
3600.02/3610.50 c LP pivots internal 0
3600.02/3610.50 c LP pivots root 0
3600.02/3610.50 c LP calls 0
3600.02/3610.50 c LP optimalities 0
3600.02/3610.50 c LP no pivot count 0
3600.02/3610.50 c LP infeasibilities 0
3600.02/3610.50 c LP valid Farkas constraints 0
3600.02/3610.50 c LP learned Farkas constraints 0
3600.02/3610.50 c LP basis resets 0
3600.02/3610.50 c LP cycling count 0
3600.02/3610.50 c LP singular count 0
3600.02/3610.50 c LP no primal count 0
3600.02/3610.50 c LP no farkas count 0
3600.02/3610.50 c LP other issue count 0
3600.02/3610.50 c LP Gomory cuts 0
3600.02/3610.50 c LP learned cuts 0
3600.02/3610.50 c LP deleted cuts 0
3600.02/3610.50 c LP encountered Gomory constraints 0
3600.02/3610.50 c LP encountered Farkas constraints 0
3600.02/3610.50 c LP encountered learned Farkas constraints 0
3600.02/3610.50 c CG auxiliary variables introduced 668
3600.02/3610.50 c CG solutions found 0
3600.02/3610.50 c CG cores constructed 145
3600.02/3610.50 c CG core cardinality constraints returned 0
3600.02/3610.50 c CG unit cores 0
3600.02/3610.50 c CG single cores 145
3600.02/3610.50 c CG blocks removed during cardinality reduction 0
3600.02/3610.50 c CG first core best 0
3600.02/3610.50 c CG decision core best 0
3600.02/3610.50 c CG core reduction tie 0
3600.02/3610.50 c CG core degree average 1.00
3600.02/3610.50 c CG core slack average 2.99
3600.02/3610.50 c CG exhausted 0
3600.02/3610.50 c CG exhaust time 0 s
3600.02/3610.50 c CG trimmed 0
3600.02/3610.50 c CG trim time 0.000682 s
3600.02/3610.50 c CG minimized 0
3600.02/3610.50 c CG minimize time 0 s
3600.02/3610.50 c CG am1 prop time 0.002028 s
3600.02/3610.50 c CG # am1s reformulated 668
3600.02/3610.50 c CG lower bound derived from am1s 669
3600.02/3610.50 c CG # clausal cores 145
3600.02/3610.50 c CG # cardinality cores 0
3600.02/3610.50 c CG # pb cores 0
3600.02/3610.50 c CG # pb reforms 0
3600.02/3610.50 c CG # cores discarded because of pb reform 0
3600.02/3610.50 d LOWERBOUND 814
3600.02/3610.50 d NCORES 145
3600.02/3610.50 d NPBCORES 0
3600.02/3610.50 d NPBREFORM 0
3600.02/3610.50 d NTRIMMED 0
3600.02/3610.50 d NEXHAUSTED 0
3600.02/3610.50 d NAM1S 668
3600.02/3610.50 d AM1LB 669
3600.02/3610.50 c [Papilo Statistics]
3600.02/3610.50 c prepro time 0.0138672s
3600.02/3610.50 c # tsx applied 150
3600.02/3610.50 c # tsx conflicts 10
3600.02/3610.50 c # bound changes 148
3600.02/3610.50 c # side changes 0
3600.02/3610.50 c # coef changes 0
3600.02/3610.50 c # rounds 2
3600.02/3610.50 c # deted vars 307
3600.02/3610.50 c # deted constrs 759
3600.02/3610.50 c # consecutive rounds of only bound changes 0
3600.02/3610.50 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 (62507 MiB free)
memory of node 1: 64465 MiB (63540 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528926-1752256389/watcher-4528926-1752256389 -o /tmp/evaluation-result-4528926-1752256389/solver-4528926-1752256389 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752256388-119669 --watchdog 3760 mixed-bag HOME/instance-4528926-1752256389.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=119719, runsolver pid=119710
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 3.57 3.99 4.05 6/252 119728
/proc/meminfo: memFree=129031576/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=102420 memory=30220 CPUtime=0.08 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 4261 0 5 0 6 2 0 0 20 0 1 0 141318267 104878080 7555 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 25605 7555 3968 2834 0 7810 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 102420 KiB
Current children cumulated memory: 30220 KiB
[startup+0.213775 s]*
/proc/loadavg: 3.57 3.99 4.05 6/252 119728
/proc/meminfo: memFree=129005020/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=112004 memory=37972 CPUtime=0.2 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 6363 0 5 0 17 3 0 0 20 0 1 0 141318267 114692096 9493 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 28001 9493 4128 2834 0 10206 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112004 KiB
Current children cumulated memory: 37972 KiB
[startup+0.314362 s]*
/proc/loadavg: 3.57 3.99 4.05 6/252 119728
/proc/meminfo: memFree=128984360/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=115056 memory=41428 CPUtime=0.29 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 7111 0 5 0 26 3 0 0 20 0 1 0 141318267 117817344 10357 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 28764 10357 4256 2834 0 10969 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 115056 KiB
Current children cumulated memory: 41428 KiB
[startup+0.700255 s]
/proc/loadavg: 3.57 3.99 4.05 6/252 119728
/proc/meminfo: memFree=128980328/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=115684 memory=41940 CPUtime=0.66 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 7267 0 5 0 63 3 0 0 20 0 1 0 141318267 118460416 10485 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 28921 10485 4256 2834 0 11126 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 115684 KiB
Current children cumulated memory: 41940 KiB
[startup+1.50029 s]
/proc/loadavg: 3.57 3.99 4.05 6/252 119728
/proc/meminfo: memFree=128964200/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=121368 memory=47060 CPUtime=1.47 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 8536 0 5 0 143 4 0 0 20 0 1 0 141318267 124280832 11765 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 30342 11765 4256 2834 0 12547 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 121368 KiB
Current children cumulated memory: 47060 KiB
[startup+3.11262 s]
/proc/loadavg: 3.57 3.99 4.05 6/252 119728
/proc/meminfo: memFree=128908604/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=145900 memory=70612 CPUtime=3.07 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 14419 0 5 0 302 5 0 0 20 0 1 0 141318267 149401600 17653 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 36475 17653 4256 2834 0 18680 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 145900 KiB
Current children cumulated memory: 70612 KiB
[startup+6.30025 s]
/proc/loadavg: 3.61 3.99 4.05 6/252 119728
/proc/meminfo: memFree=128707068/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=197196 memory=120148 CPUtime=6.25 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 26820 0 5 0 618 7 0 0 20 0 1 0 141318267 201928704 30037 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 49299 30037 4256 2834 0 31504 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 197196 KiB
Current children cumulated memory: 120148 KiB
[startup+12.7003 s]
/proc/loadavg: 3.64 3.99 4.05 6/252 119728
/proc/meminfo: memFree=128561940/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=205172 memory=125932 CPUtime=12.63 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 29348 0 5 0 1256 7 0 0 20 0 1 0 141318267 210096128 31483 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 51293 31483 4256 2834 0 33498 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 205172 KiB
Current children cumulated memory: 125932 KiB
[startup+25.5003 s]
/proc/loadavg: 3.72 3.99 4.05 6/252 119728
/proc/meminfo: memFree=128562092/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=205172 memory=126700 CPUtime=25.4 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 29542 0 5 0 2532 8 0 0 20 0 1 0 141318267 210096128 31675 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 51293 31675 4256 2834 0 33498 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 205172 KiB
Current children cumulated memory: 126700 KiB
[startup+51.1125 s]
/proc/loadavg: 3.88 4.01 4.05 6/252 119729
/proc/meminfo: memFree=128345956/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=244368 memory=160764 CPUtime=50.94 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 39188 0 5 0 5085 9 0 0 20 0 1 0 141318267 250232832 40191 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 61092 40191 4256 2834 0 43297 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 244368 KiB
Current children cumulated memory: 160764 KiB
[startup+102.3 s]
/proc/loadavg: 4.31 4.08 4.07 6/253 119732
/proc/meminfo: memFree=128248684/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=298380 memory=212364 CPUtime=102 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 52405 0 5 0 10188 12 0 0 20 0 1 0 141318267 305541120 53091 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 74595 53091 4256 2834 0 56800 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 298380 KiB
Current children cumulated memory: 212364 KiB
[startup+162.3 s]
/proc/loadavg: 5.27 4.42 4.19 6/253 119734
/proc/meminfo: memFree=128121840/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=300940 memory=225276 CPUtime=161.81 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 54222 0 5 0 16169 12 0 0 20 0 1 0 141318267 308162560 56319 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 75235 56319 4256 2834 0 57440 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 300940 KiB
Current children cumulated memory: 225276 KiB
[startup+222.3 s]
/proc/loadavg: 4.94 4.45 4.21 6/252 119736
/proc/meminfo: memFree=128063508/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=313228 memory=236756 CPUtime=221.64 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 56905 0 5 0 22151 13 0 0 20 0 1 0 141318267 320745472 59189 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 78307 59189 4256 2834 0 60512 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 313228 KiB
Current children cumulated memory: 236756 KiB
[startup+282.3 s]
/proc/loadavg: 5.28 4.67 4.31 6/251 119740
/proc/meminfo: memFree=128041344/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=335524 memory=266560 CPUtime=281.48 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 63685 0 5 0 28134 14 0 0 20 0 1 0 141318267 343576576 66640 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 83881 66640 4256 2834 0 66086 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 335524 KiB
Current children cumulated memory: 266560 KiB
[startup+342.3 s]
/proc/loadavg: 4.63 4.59 4.30 6/250 119742
/proc/meminfo: memFree=128394300/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=280424 memory=216788 CPUtime=341.3 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 66724 0 5 0 34076 54 0 0 20 0 1 0 141318267 287154176 54197 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 70106 54197 4416 2834 0 52311 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 280424 KiB
Current children cumulated memory: 216788 KiB
[startup+402.3 s]
/proc/loadavg: 4.29 4.50 4.28 6/250 119749
/proc/meminfo: memFree=128311076/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=311244 memory=230100 CPUtime=401.12 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 67513 0 5 0 40016 96 0 0 20 0 1 0 141318267 318713856 57525 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 77811 57525 4416 2834 0 60016 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 311244 KiB
Current children cumulated memory: 230100 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.42 4.27 6/251 119751
/proc/meminfo: memFree=128208264/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=361332 memory=250204 CPUtime=460.93 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 68000 0 5 0 45963 130 0 0 20 0 1 0 141318267 370003968 62551 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 90333 62551 4416 2834 0 72538 0
################
# More data... #
################
Current children cumulated memory: 480360 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/250 119879
/proc/meminfo: memFree=127173228/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=575560 memory=480360 CPUtime=2913.83 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 91780 0 5 0 290699 684 0 0 20 0 1 0 141318267 589373440 120090 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 143890 120090 4416 2834 0 126095 0
Current children cumulated CPU time: 2913.83 s
Current children cumulated vsize: 575560 KiB
Current children cumulated memory: 480360 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/250 119881
/proc/meminfo: memFree=127168740/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=576328 memory=485100 CPUtime=2973.67 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 91924 0 5 0 296671 696 0 0 20 0 1 0 141318267 590159872 121275 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 144082 121275 4416 2834 0 126287 0
Current children cumulated CPU time: 2973.67 s
Current children cumulated vsize: 576328 KiB
Current children cumulated memory: 485100 KiB
[startup+3042.3 s]
/proc/loadavg: 4.04 4.07 4.08 6/250 119882
/proc/meminfo: memFree=127160852/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=578192 memory=486252 CPUtime=3033.5 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 92218 0 5 0 302645 705 0 0 20 0 1 0 141318267 592068608 121563 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 144548 121563 4416 2834 0 126753 0
Current children cumulated CPU time: 3033.5 s
Current children cumulated vsize: 578192 KiB
Current children cumulated memory: 486252 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.11 4.10 6/250 119884
/proc/meminfo: memFree=127144852/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=580680 memory=493876 CPUtime=3093.33 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 92576 0 5 0 308617 716 0 0 20 0 1 0 141318267 594616320 123469 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 145170 123469 4416 2834 0 127375 0
Current children cumulated CPU time: 3093.33 s
Current children cumulated vsize: 580680 KiB
Current children cumulated memory: 493876 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/250 119886
/proc/meminfo: memFree=127092264/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=715316 memory=520328 CPUtime=3153.15 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 93567 0 5 0 314589 726 0 0 20 0 1 0 141318267 732483584 130082 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 178829 130082 4416 2834 0 161034 0
Current children cumulated CPU time: 3153.15 s
Current children cumulated vsize: 715316 KiB
Current children cumulated memory: 520328 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/250 119888
/proc/meminfo: memFree=127101988/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=715316 memory=520328 CPUtime=3212.97 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 93567 0 5 0 320563 734 0 0 20 0 1 0 141318267 732483584 130082 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 178829 130082 4416 2834 0 161034 0
Current children cumulated CPU time: 3212.97 s
Current children cumulated vsize: 715316 KiB
Current children cumulated memory: 520328 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/250 119892
/proc/meminfo: memFree=127090404/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=715572 memory=520584 CPUtime=3272.79 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 93637 0 5 0 326539 740 0 0 20 0 1 0 141318267 732745728 130146 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 178893 130146 4416 2834 0 161098 0
Current children cumulated CPU time: 3272.79 s
Current children cumulated vsize: 715572 KiB
Current children cumulated memory: 520584 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/249 119894
/proc/meminfo: memFree=127090592/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=715572 memory=520584 CPUtime=3332.61 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 93637 0 5 0 332512 749 0 0 20 0 1 0 141318267 732745728 130146 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 178893 130146 4416 2834 0 161098 0
Current children cumulated CPU time: 3332.61 s
Current children cumulated vsize: 715572 KiB
Current children cumulated memory: 520584 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/250 119901
/proc/meminfo: memFree=127091428/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=715572 memory=520584 CPUtime=3392.45 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 93641 0 5 0 338488 757 0 0 20 0 1 0 141318267 732745728 130146 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 178893 130146 4416 2834 0 161098 0
Current children cumulated CPU time: 3392.45 s
Current children cumulated vsize: 715572 KiB
Current children cumulated memory: 520584 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/250 119903
/proc/meminfo: memFree=127074616/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=715572 memory=520584 CPUtime=3452.27 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 93641 0 5 0 344459 768 0 0 20 0 1 0 141318267 732745728 130146 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 178893 130146 4416 2834 0 161098 0
Current children cumulated CPU time: 3452.27 s
Current children cumulated vsize: 715572 KiB
Current children cumulated memory: 520584 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.11 4.09 6/250 119905
/proc/meminfo: memFree=127062572/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=715828 memory=520840 CPUtime=3512.09 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 93708 0 5 0 350432 777 0 0 20 0 1 0 141318267 733007872 130210 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 178957 130210 4416 2834 0 161162 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 715828 KiB
Current children cumulated memory: 520840 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/251 119908
/proc/meminfo: memFree=127042280/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=715828 memory=520840 CPUtime=3571.92 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 93745 0 5 0 356406 786 0 0 20 0 1 0 141318267 733007872 130210 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 178957 130210 4416 2834 0 161162 0
Current children cumulated CPU time: 3571.92 s
Current children cumulated vsize: 715828 KiB
Current children cumulated memory: 520840 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.14 4.11 4.09 6/251 119910
/proc/meminfo: memFree=127034700/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=716012 memory=529032 CPUtime=3600.02 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 93768 0 5 0 359214 788 0 0 20 0 1 0 141318267 733196288 132258 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 179003 132258 4416 2834 0 161208 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 716012 KiB
Current children cumulated memory: 529032 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.51 s]
# the end of solver process 119719 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.15 s, system=7.89234 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.14 4.11 4.09 6/251 119910
/proc/meminfo: memFree=127034700/131382112 swapFree=33002444/33010684
[pid=119719] ppid=119710 vsize=716012 memory=529032 CPUtime=3600.02 cores=0,2
/proc/119719/stat : 119719 (mixed-bag) R 119710 119719 119659 0 -1 4194304 93768 0 5 0 359214 788 0 0 20 0 1 0 141318267 733196288 132258 18446744073709551615 4235264 15840557 140733195503552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 39452672 140733195512218 140733195512295 140733195512295 140733195517899 0
/proc/119719/statm: 179003 132258 4416 2834 0 161208 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 716012 KiB
Current children cumulated memory: 529032 KiB
Child status: 0
Real time (s): 3610.51
CPU time (s): 3600.04
CPU user time (s): 3592.15
CPU system time (s): 7.89234
CPU usage (%): 99.7102
Max. virtual memory (cumulated for all children) (KiB): 716012
Max. memory (cumulated for all children) (KiB): 529032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.15
system time used= 7.89234
maximum resident set size= 529544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93799
page faults= 5
swaps= 0
block input operations= 224
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 265
involuntary context switches= 8838
# summary of solver processes directly reported to runsolver:
# pid: 119719
# total CPU time (s): 3600.04
# total CPU user time (s): 3592.15
# total CPU system time (s): 7.89234
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9818 second user time and 32.9006 second system time
The end
Begin job on nodeC005 at 2025-07-11 19:53:09
IDJOB=4528926
IDBENCH=147526
IDSOLVER=3386
FILE ID=nodeC005/4528926-1752256389
RUNJOBID= nodeC005-1752256388-119669
SLURM_JOB_ID= 9682598
Free space on /tmp= 428616 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528926-1752256389/watcher-4528926-1752256389 -o /tmp/evaluation-result-4528926-1752256389/solver-4528926-1752256389 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752256388-119669 --watchdog 3760 mixed-bag HOME/instance-4528926-1752256389.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 52f0a3c0093dc9bf421bafb6505effdf
RANDOM SEED=1616531476
nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.252
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.231
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.241
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.211
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.384
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.685
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.104
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129076532 kB
MemAvailable: 129949092 kB
Buffers: 12 kB
Cached: 1656964 kB
SwapCached: 244 kB
Active: 338752 kB
Inactive: 1383296 kB
Active(anon): 38256 kB
Inactive(anon): 39708 kB
Active(file): 300496 kB
Inactive(file): 1343588 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33002444 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 61236 kB
Writeback: 0 kB
AnonPages: 68188 kB
Mapped: 100840 kB
Shmem: 12892 kB
KReclaimable: 136208 kB
Slab: 225184 kB
SReclaimable: 136208 kB
SUnreclaim: 88976 kB
KernelStack: 3832 kB
PageTables: 2724 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 341460 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 428552 MiB
End job on nodeC005 at 2025-07-11 20:53:20