0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
299.54/300.35 c [STEP] preprocessing done, loading into solver
299.54/300.35 c [STEP] solving
299.54/300.35 c #variables 1670 #constraints 3286
299.54/300.35 c SMALL=int, LARGE=long long
299.54/300.35 c bounds - >= 0 @ 299.47
299.54/300.35 c stratification level: 0
299.84/300.65 c bounds - >= 679 @ 299.475
299.84/300.65 c bounds - >= 680 @ 299.476
299.84/300.65 c bounds - >= 681 @ 299.476
299.84/300.65 c bounds - >= 682 @ 299.477
299.84/300.65 c bounds - >= 683 @ 299.477
299.84/300.65 c bounds - >= 684 @ 299.477
299.84/300.65 c bounds - >= 685 @ 299.477
299.84/300.65 c bounds - >= 686 @ 299.477
299.84/300.65 c bounds - >= 687 @ 299.478
299.84/300.65 c bounds - >= 688 @ 299.478
299.84/300.65 c bounds - >= 689 @ 299.478
299.84/300.65 c bounds - >= 690 @ 299.478
299.84/300.65 c bounds - >= 691 @ 299.478
299.84/300.65 c bounds - >= 692 @ 299.479
299.84/300.65 c bounds - >= 693 @ 299.479
299.84/300.65 c bounds - >= 694 @ 299.479
299.84/300.65 c bounds - >= 695 @ 299.479
299.84/300.65 c bounds - >= 696 @ 299.479
299.84/300.65 c bounds - >= 697 @ 299.48
299.84/300.65 c bounds - >= 698 @ 299.48
299.84/300.65 c bounds - >= 699 @ 299.48
299.84/300.65 c bounds - >= 700 @ 299.48
299.84/300.65 c bounds - >= 701 @ 299.48
299.84/300.65 c bounds - >= 702 @ 299.48
299.84/300.65 c bounds - >= 703 @ 299.48
299.84/300.65 c bounds - >= 704 @ 299.48
299.84/300.65 c bounds - >= 705 @ 299.48
299.84/300.65 c bounds - >= 706 @ 299.481
299.84/300.65 c bounds - >= 707 @ 299.481
299.84/300.65 c bounds - >= 708 @ 299.481
299.84/300.65 c bounds - >= 709 @ 299.481
299.84/300.65 c bounds - >= 710 @ 299.481
299.84/300.65 c bounds - >= 711 @ 299.481
299.84/300.65 c bounds - >= 712 @ 299.481
299.84/300.65 c bounds - >= 713 @ 299.481
299.84/300.65 c bounds - >= 714 @ 299.481
299.84/300.65 c bounds - >= 715 @ 299.482
299.84/300.65 c bounds - >= 716 @ 299.482
299.84/300.65 c bounds - >= 717 @ 299.482
299.84/300.65 c bounds - >= 718 @ 299.482
299.84/300.65 c bounds - >= 719 @ 299.483
299.84/300.65 c bounds - >= 720 @ 299.483
299.84/300.65 c bounds - >= 721 @ 299.483
299.84/300.65 c bounds - >= 722 @ 299.483
299.84/300.65 c bounds - >= 723 @ 299.484
299.84/300.65 c bounds - >= 724 @ 299.484
299.84/300.65 c bounds - >= 725 @ 299.484
299.84/300.65 c bounds - >= 726 @ 299.484
299.84/300.65 c bounds - >= 727 @ 299.485
299.84/300.65 c bounds - >= 728 @ 299.485
299.84/300.65 c bounds - >= 729 @ 299.485
299.84/300.65 c bounds - >= 730 @ 299.485
299.84/300.65 c bounds - >= 731 @ 299.486
299.84/300.65 c bounds - >= 732 @ 299.486
299.84/300.65 c bounds - >= 733 @ 299.486
299.84/300.65 c bounds - >= 734 @ 299.486
299.84/300.65 c bounds - >= 735 @ 299.487
299.84/300.65 c bounds - >= 736 @ 299.487
299.84/300.65 c bounds - >= 737 @ 299.487
299.84/300.65 c bounds - >= 738 @ 299.487
299.84/300.65 c bounds - >= 739 @ 299.487
299.84/300.65 c bounds - >= 740 @ 299.487
299.84/300.65 c bounds - >= 741 @ 299.487
299.84/300.65 c bounds - >= 742 @ 299.487
299.84/300.65 c bounds - >= 743 @ 299.487
299.84/300.65 c bounds - >= 744 @ 299.487
299.84/300.65 c bounds - >= 745 @ 299.488
299.84/300.65 c bounds - >= 746 @ 299.488
299.84/300.65 c bounds - >= 747 @ 299.488
299.84/300.65 c bounds - >= 748 @ 299.488
299.84/300.65 c bounds - >= 749 @ 299.489
299.84/300.65 c bounds - >= 750 @ 299.489
299.84/300.65 c bounds - >= 751 @ 299.489
299.84/300.65 c bounds - >= 752 @ 299.489
299.84/300.65 c bounds - >= 753 @ 299.489
299.84/300.65 c bounds - >= 754 @ 299.489
299.84/300.65 c bounds - >= 755 @ 299.489
299.84/300.65 c bounds - >= 756 @ 299.489
299.84/300.65 c bounds - >= 757 @ 299.489
299.84/300.65 c bounds - >= 758 @ 299.489
299.84/300.65 c bounds - >= 759 @ 299.489
299.84/300.65 c bounds - >= 760 @ 299.49
299.84/300.65 c bounds - >= 761 @ 299.49
299.84/300.65 c bounds - >= 762 @ 299.49
299.84/300.65 c bounds - >= 763 @ 299.49
299.84/300.65 c bounds - >= 764 @ 299.49
299.84/300.65 c bounds - >= 765 @ 299.49
299.84/300.65 c bounds - >= 766 @ 299.49
299.84/300.65 c bounds - >= 767 @ 299.491
299.84/300.65 c bounds - >= 768 @ 299.491
299.84/300.65 c bounds - >= 769 @ 299.491
299.84/300.65 c bounds - >= 770 @ 299.491
299.84/300.65 c bounds - >= 771 @ 299.491
299.84/300.65 c bounds - >= 772 @ 299.491
299.84/300.65 c bounds - >= 773 @ 299.492
299.84/300.65 c bounds - >= 774 @ 299.492
299.84/300.65 c bounds - >= 775 @ 299.492
299.84/300.65 c bounds - >= 776 @ 299.492
299.84/300.65 c bounds - >= 777 @ 299.492
299.84/300.65 c bounds - >= 778 @ 299.492
299.84/300.65 c bounds - >= 779 @ 299.492
299.84/300.65 c bounds - >= 780 @ 299.492
299.84/300.65 c bounds - >= 781 @ 299.492
299.84/300.65 c bounds - >= 782 @ 299.492
299.84/300.65 c bounds - >= 783 @ 299.492
299.84/300.65 c bounds - >= 784 @ 299.492
299.84/300.65 c bounds - >= 785 @ 299.492
299.84/300.65 c bounds - >= 786 @ 299.492
299.84/300.65 c bounds - >= 787 @ 299.492
299.84/300.65 c bounds - >= 788 @ 299.492
299.84/300.65 c bounds - >= 789 @ 299.493
299.84/300.65 c bounds - >= 790 @ 299.493
299.84/300.65 c bounds - >= 791 @ 299.493
299.84/300.65 c bounds - >= 792 @ 299.493
299.84/300.65 c bounds - >= 793 @ 299.493
299.84/300.65 c bounds - >= 794 @ 299.493
299.84/300.65 c bounds - >= 795 @ 299.494
299.84/300.65 c bounds - >= 796 @ 299.494
299.84/300.65 c bounds - >= 797 @ 299.495
299.84/300.65 c bounds - >= 798 @ 299.495
299.84/300.65 c bounds - >= 799 @ 299.495
299.84/300.65 c bounds - >= 800 @ 299.496
299.84/300.65 c bounds - >= 801 @ 299.496
299.84/300.65 c bounds - >= 802 @ 299.496
299.84/300.65 c bounds - >= 803 @ 299.496
299.84/300.65 c bounds - >= 804 @ 299.496
299.84/300.65 c bounds - >= 805 @ 299.497
299.84/300.65 c bounds - >= 806 @ 299.497
299.84/300.65 c bounds - >= 807 @ 299.497
299.84/300.65 c bounds - >= 808 @ 299.498
299.84/300.65 c bounds - >= 809 @ 299.498
299.84/300.65 c bounds - >= 810 @ 299.498
299.84/300.65 c bounds - >= 811 @ 299.498
299.84/300.65 c bounds - >= 812 @ 299.499
299.84/300.65 c bounds - >= 813 @ 299.499
299.84/300.65 c bounds - >= 814 @ 299.499
299.84/300.65 c bounds - >= 815 @ 299.5
299.84/300.65 c bounds - >= 816 @ 299.5
299.84/300.65 c bounds - >= 817 @ 299.5
299.84/300.65 c bounds - >= 818 @ 299.5
299.84/300.65 c bounds - >= 819 @ 299.5
299.84/300.65 c bounds - >= 820 @ 299.5
299.84/300.65 c bounds - >= 821 @ 299.5
299.84/300.65 c bounds - >= 822 @ 299.5
299.84/300.65 c bounds - >= 823 @ 299.501
299.84/300.65 c bounds - >= 824 @ 299.501
299.84/300.65 c #Conflicts: 1000 | #Constraints: 5254
348.71/349.65 c #Conflicts: 2000 | #Constraints: 6254
348.71/349.65 c INPROCESSING
348.71/349.65 c GARBAGE COLLECT
348.71/349.65 c #Conflicts: 3000 | #Constraints: 6102
348.71/349.65 c #Conflicts: 4000 | #Constraints: 7102
348.71/349.65 c INPROCESSING
348.71/349.65 c GARBAGE COLLECT
348.71/349.65 c #Conflicts: 5000 | #Constraints: 6495
348.71/349.65 c #Conflicts: 6000 | #Constraints: 7495
348.71/349.65 c INPROCESSING
348.71/349.65 c GARBAGE COLLECT
348.71/349.65 c #Conflicts: 7000 | #Constraints: 6486
348.71/349.65 c #Conflicts: 8000 | #Constraints: 7486
348.71/349.65 c #Conflicts: 9000 | #Constraints: 8486
348.71/349.65 c INPROCESSING
348.71/349.65 c GARBAGE COLLECT
348.71/349.65 c #Conflicts: 10000 | #Constraints: 7177
348.71/349.65 c #Conflicts: 11000 | #Constraints: 8177
348.71/349.65 c #Conflicts: 12000 | #Constraints: 9177
348.71/349.65 c INPROCESSING
348.71/349.65 c GARBAGE COLLECT
348.71/349.65 c #Conflicts: 13000 | #Constraints: 7626
348.71/349.65 c #Conflicts: 14000 | #Constraints: 8626
348.71/349.65 c #Conflicts: 15000 | #Constraints: 9626
348.71/349.65 c INPROCESSING
348.71/349.65 c GARBAGE COLLECT
348.71/349.65 c #Conflicts: 16000 | #Constraints: 7855
348.71/349.65 c #Conflicts: 17000 | #Constraints: 8855
348.71/349.65 c #Conflicts: 18000 | #Constraints: 9855
348.71/349.65 c INPROCESSING
348.71/349.65 c GARBAGE COLLECT
348.71/349.65 c #Conflicts: 19000 | #Constraints: 7861
348.71/349.65 c #Conflicts: 20000 | #Constraints: 8861
348.71/349.65 c #Conflicts: 21000 | #Constraints: 9861
348.71/349.65 c INPROCESSING
348.71/349.65 c GARBAGE COLLECT
348.71/349.65 c #Conflicts: 22000 | #Constraints: 7657
348.71/349.65 c #Conflicts: 23000 | #Constraints: 8657
348.71/349.65 c #Conflicts: 24000 | #Constraints: 9657
348.71/349.65 c #Conflicts: 25000 | #Constraints: 10657
348.71/349.65 c INPROCESSING
348.71/349.65 c GARBAGE COLLECT
348.71/349.65 c #Conflicts: 26000 | #Constraints: 8255
348.71/349.65 c #Conflicts: 27000 | #Constraints: 9255
348.71/349.65 c #Conflicts: 28000 | #Constraints: 10255
348.71/349.65 c #Conflicts: 29000 | #Constraints: 11255
348.71/349.65 c INPROCESSING
348.71/349.65 c GARBAGE COLLECT
348.71/349.65 c #Conflicts: 30000 | #Constraints: 8655
348.71/349.65 c #Conflicts: 31000 | #Constraints: 9655
348.71/349.65 c #Conflicts: 32000 | #Constraints: 10655
348.71/349.65 c #Conflicts: 33000 | #Constraints: 11655
348.71/349.65 c INPROCESSING
348.71/349.65 c GARBAGE COLLECT
348.71/349.65 c #Conflicts: 34000 | #Constraints: 8851
348.71/349.65 c #Conflicts: 35000 | #Constraints: 9851
348.71/349.65 c #Conflicts: 36000 | #Constraints: 10851
348.71/349.65 c #Conflicts: 37000 | #Constraints: 11851
348.71/349.65 c INPROCESSING
348.71/349.65 c GARBAGE COLLECT
348.71/349.65 c #Conflicts: 38000 | #Constraints: 8846
348.71/349.65 c #Conflicts: 39000 | #Constraints: 9846
348.71/349.65 c #Conflicts: 40000 | #Constraints: 10846
348.71/349.65 c #Conflicts: 41000 | #Constraints: 11846
348.71/349.65 c INPROCESSING
348.71/349.65 c GARBAGE COLLECT
348.71/349.65 c #Conflicts: 42000 | #Constraints: 8660
348.71/349.65 c #Conflicts: 43000 | #Constraints: 9660
348.71/349.65 c #Conflicts: 44000 | #Constraints: 10660
348.71/349.65 c #Conflicts: 45000 | #Constraints: 11660
348.71/349.65 c #Conflicts: 46000 | #Constraints: 12660
348.71/349.65 c INPROCESSING
348.71/349.65 c GARBAGE COLLECT
348.71/349.65 c #Conflicts: 47000 | #Constraints: 9268
348.71/349.65 c #Conflicts: 48000 | #Constraints: 10268
348.71/349.65 c #Conflicts: 49000 | #Constraints: 11268
348.71/349.65 c #Conflicts: 50000 | #Constraints: 12268
348.71/349.65 c #Conflicts: 51000 | #Constraints: 13268
348.71/349.65 c INPROCESSING
348.71/349.65 c GARBAGE COLLECT
348.71/349.65 c #Conflicts: 52000 | #Constraints: 9665
348.71/349.65 c #Conflicts: 53000 | #Constraints: 10665
348.71/349.65 c #Conflicts: 54000 | #Constraints: 11665
348.71/349.65 c #Conflicts: 55000 | #Constraints: 12665
348.71/349.65 c #Conflicts: 56000 | #Constraints: 13665
348.71/349.65 c INPROCESSING
348.71/349.65 c GARBAGE COLLECT
348.71/349.65 c #Conflicts: 57000 | #Constraints: 9861
348.71/349.65 c #Conflicts: 58000 | #Constraints: 10861
348.71/349.65 c #Conflicts: 59000 | #Constraints: 11861
348.71/349.65 c #Conflicts: 60000 | #Constraints: 12861
348.71/349.65 c #Conflicts: 61000 | #Constraints: 13861
348.71/349.65 c INPROCESSING
348.71/349.65 c GARBAGE COLLECT
348.71/349.65 c #Conflicts: 62000 | #Constraints: 9865
348.71/349.65 c #Conflicts: 63000 | #Constraints: 10865
348.71/349.65 c #Conflicts: 64000 | #Constraints: 11865
348.71/349.65 c #Conflicts: 65000 | #Constraints: 12865
348.71/349.65 c #Conflicts: 66000 | #Constraints: 13865
348.71/349.65 c INPROCESSING
348.71/349.65 c GARBAGE COLLECT
348.71/349.65 c #Conflicts: 67000 | #Constraints: 9661
348.71/349.65 c #Conflicts: 68000 | #Constraints: 10661
348.71/349.65 c #Conflicts: 69000 | #Constraints: 11661
424.00/425.19 c #Conflicts: 70000 | #Constraints: 12661
424.00/425.19 c #Conflicts: 71000 | #Constraints: 13661
424.00/425.19 c #Conflicts: 72000 | #Constraints: 14661
424.00/425.19 c INPROCESSING
424.00/425.19 c GARBAGE COLLECT
424.00/425.19 c #Conflicts: 73000 | #Constraints: 10271
424.00/425.19 c #Conflicts: 74000 | #Constraints: 11271
424.00/425.19 c #Conflicts: 75000 | #Constraints: 12271
424.00/425.19 c #Conflicts: 76000 | #Constraints: 13271
424.00/425.19 c #Conflicts: 77000 | #Constraints: 14271
424.00/425.19 c #Conflicts: 78000 | #Constraints: 15271
424.00/425.19 c INPROCESSING
424.00/425.19 c GARBAGE COLLECT
424.00/425.19 c #Conflicts: 79000 | #Constraints: 10669
424.00/425.19 c #Conflicts: 80000 | #Constraints: 11669
424.00/425.19 c #Conflicts: 81000 | #Constraints: 12669
424.00/425.19 c #Conflicts: 82000 | #Constraints: 13669
424.00/425.19 c #Conflicts: 83000 | #Constraints: 14669
424.00/425.19 c #Conflicts: 84000 | #Constraints: 15669
424.00/425.19 c INPROCESSING
424.00/425.19 c GARBAGE COLLECT
424.00/425.19 c #Conflicts: 85000 | #Constraints: 10866
424.00/425.19 c #Conflicts: 86000 | #Constraints: 11866
424.00/425.19 c #Conflicts: 87000 | #Constraints: 12866
424.00/425.19 c #Conflicts: 88000 | #Constraints: 13866
424.00/425.19 c #Conflicts: 89000 | #Constraints: 14866
424.00/425.19 c #Conflicts: 90000 | #Constraints: 15866
424.00/425.19 c INPROCESSING
424.00/425.19 c GARBAGE COLLECT
424.00/425.19 c #Conflicts: 91000 | #Constraints: 10869
424.00/425.19 c #Conflicts: 92000 | #Constraints: 11869
424.00/425.19 c #Conflicts: 93000 | #Constraints: 12869
424.00/425.19 c #Conflicts: 94000 | #Constraints: 13869
424.00/425.19 c #Conflicts: 95000 | #Constraints: 14869
424.00/425.19 c #Conflicts: 96000 | #Constraints: 15869
424.00/425.19 c INPROCESSING
424.00/425.19 c GARBAGE COLLECT
424.00/425.19 c #Conflicts: 97000 | #Constraints: 10669
424.00/425.19 c #Conflicts: 98000 | #Constraints: 11669
424.00/425.19 c #Conflicts: 99000 | #Constraints: 12669
424.00/425.19 c #Conflicts: 100000 | #Constraints: 13669
424.00/425.19 c #Conflicts: 101000 | #Constraints: 14669
424.00/425.19 c #Conflicts: 102000 | #Constraints: 15669
424.00/425.19 c #Conflicts: 103000 | #Constraints: 16669
424.00/425.19 c INPROCESSING
424.00/425.19 c GARBAGE COLLECT
424.00/425.19 c #Conflicts: 104000 | #Constraints: 11268
424.00/425.19 c #Conflicts: 105000 | #Constraints: 12268
424.00/425.19 c #Conflicts: 106000 | #Constraints: 13268
424.00/425.19 c #Conflicts: 107000 | #Constraints: 14268
424.00/425.19 c #Conflicts: 108000 | #Constraints: 15268
424.00/425.19 c #Conflicts: 109000 | #Constraints: 16268
424.00/425.19 c #Conflicts: 110000 | #Constraints: 17268
424.00/425.19 c INPROCESSING
424.00/425.19 c GARBAGE COLLECT
424.00/425.19 c #Conflicts: 111000 | #Constraints: 11662
424.00/425.19 c #Conflicts: 112000 | #Constraints: 12662
424.00/425.19 c #Conflicts: 113000 | #Constraints: 13662
424.00/425.19 c #Conflicts: 114000 | #Constraints: 14662
424.00/425.19 c #Conflicts: 115000 | #Constraints: 15662
424.00/425.19 c #Conflicts: 116000 | #Constraints: 16662
424.00/425.19 c #Conflicts: 117000 | #Constraints: 17662
424.00/425.19 c INPROCESSING
424.00/425.19 c GARBAGE COLLECT
424.00/425.19 c #Conflicts: 118000 | #Constraints: 11856
424.00/425.19 c #Conflicts: 119000 | #Constraints: 12856
424.00/425.19 c #Conflicts: 120000 | #Constraints: 13856
424.00/425.19 c #Conflicts: 121000 | #Constraints: 14856
424.00/425.19 c #Conflicts: 122000 | #Constraints: 15856
424.00/425.19 c #Conflicts: 123000 | #Constraints: 16856
424.00/425.19 c #Conflicts: 124000 | #Constraints: 17856
424.00/425.19 c INPROCESSING
424.00/425.19 c GARBAGE COLLECT
424.00/425.19 c #Conflicts: 125000 | #Constraints: 11857
424.00/425.19 c #Conflicts: 126000 | #Constraints: 12857
424.00/425.19 c #Conflicts: 127000 | #Constraints: 13857
424.00/425.19 c #Conflicts: 128000 | #Constraints: 14857
424.00/425.19 c #Conflicts: 129000 | #Constraints: 15857
424.00/425.19 c #Conflicts: 130000 | #Constraints: 16857
424.00/425.19 c #Conflicts: 131000 | #Constraints: 17857
424.00/425.19 c INPROCESSING
424.00/425.19 c GARBAGE COLLECT
424.00/425.19 c #Conflicts: 132000 | #Constraints: 11659
424.00/425.19 c #Conflicts: 133000 | #Constraints: 12659
424.00/425.19 c #Conflicts: 134000 | #Constraints: 13659
424.00/425.19 c #Conflicts: 135000 | #Constraints: 14659
424.00/425.19 c #Conflicts: 136000 | #Constraints: 15659
424.00/425.19 c #Conflicts: 137000 | #Constraints: 16659
424.00/425.19 c #Conflicts: 138000 | #Constraints: 17659
424.00/425.19 c #Conflicts: 139000 | #Constraints: 18659
424.00/425.19 c INPROCESSING
424.00/425.19 c GARBAGE COLLECT
424.00/425.19 c #Conflicts: 140000 | #Constraints: 12258
523.70/525.11 c #Conflicts: 141000 | #Constraints: 13258
523.70/525.11 c #Conflicts: 142000 | #Constraints: 14258
523.70/525.11 c #Conflicts: 143000 | #Constraints: 15258
523.70/525.11 c #Conflicts: 144000 | #Constraints: 16258
523.70/525.11 c #Conflicts: 145000 | #Constraints: 17258
523.70/525.11 c #Conflicts: 146000 | #Constraints: 18258
523.70/525.11 c #Conflicts: 147000 | #Constraints: 19258
523.70/525.11 c INPROCESSING
523.70/525.11 c GARBAGE COLLECT
523.70/525.11 c #Conflicts: 148000 | #Constraints: 12668
523.70/525.11 c #Conflicts: 149000 | #Constraints: 13668
523.70/525.11 c #Conflicts: 150000 | #Constraints: 14668
523.70/525.11 c #Conflicts: 151000 | #Constraints: 15668
523.70/525.11 c #Conflicts: 152000 | #Constraints: 16668
523.70/525.11 c #Conflicts: 153000 | #Constraints: 17668
523.70/525.11 c #Conflicts: 154000 | #Constraints: 18668
523.70/525.11 c #Conflicts: 155000 | #Constraints: 19668
523.70/525.11 c INPROCESSING
523.70/525.11 c GARBAGE COLLECT
523.70/525.11 c #Conflicts: 156000 | #Constraints: 12861
523.70/525.11 c #Conflicts: 157000 | #Constraints: 13861
523.70/525.11 c #Conflicts: 158000 | #Constraints: 14861
523.70/525.11 c #Conflicts: 159000 | #Constraints: 15861
523.70/525.12 c #Conflicts: 160000 | #Constraints: 16861
523.70/525.12 c #Conflicts: 161000 | #Constraints: 17861
523.70/525.12 c #Conflicts: 162000 | #Constraints: 18861
523.70/525.12 c #Conflicts: 163000 | #Constraints: 19861
523.70/525.12 c INPROCESSING
523.70/525.12 c GARBAGE COLLECT
523.70/525.12 c #Conflicts: 164000 | #Constraints: 12867
523.70/525.12 c #Conflicts: 165000 | #Constraints: 13867
523.70/525.12 c #Conflicts: 166000 | #Constraints: 14867
523.70/525.12 c #Conflicts: 167000 | #Constraints: 15867
523.70/525.12 c #Conflicts: 168000 | #Constraints: 16867
523.70/525.12 c #Conflicts: 169000 | #Constraints: 17867
523.70/525.12 c #Conflicts: 170000 | #Constraints: 18867
523.70/525.12 c #Conflicts: 171000 | #Constraints: 19867
523.70/525.12 c INPROCESSING
523.70/525.12 c GARBAGE COLLECT
523.70/525.12 c #Conflicts: 172000 | #Constraints: 12657
523.70/525.12 c #Conflicts: 173000 | #Constraints: 13657
523.70/525.12 c #Conflicts: 174000 | #Constraints: 14657
523.70/525.12 c #Conflicts: 175000 | #Constraints: 15657
523.70/525.12 c #Conflicts: 176000 | #Constraints: 16657
523.70/525.12 c #Conflicts: 177000 | #Constraints: 17657
523.70/525.12 c #Conflicts: 178000 | #Constraints: 18657
523.70/525.12 c #Conflicts: 179000 | #Constraints: 19657
523.70/525.12 c #Conflicts: 180000 | #Constraints: 20657
523.70/525.12 c INPROCESSING
523.70/525.12 c GARBAGE COLLECT
523.70/525.12 c #Conflicts: 181000 | #Constraints: 13248
523.70/525.12 c #Conflicts: 182000 | #Constraints: 14248
523.70/525.12 c #Conflicts: 183000 | #Constraints: 15248
523.70/525.12 c #Conflicts: 184000 | #Constraints: 16248
523.70/525.12 c #Conflicts: 185000 | #Constraints: 17248
523.70/525.12 c #Conflicts: 186000 | #Constraints: 18248
523.70/525.12 c #Conflicts: 187000 | #Constraints: 19248
523.70/525.12 c #Conflicts: 188000 | #Constraints: 20248
523.70/525.12 c #Conflicts: 189000 | #Constraints: 21248
523.70/525.12 c INPROCESSING
523.70/525.12 c GARBAGE COLLECT
523.70/525.12 c #Conflicts: 190000 | #Constraints: 13651
523.70/525.12 c #Conflicts: 191000 | #Constraints: 14651
523.70/525.12 c #Conflicts: 192000 | #Constraints: 15651
523.70/525.12 c #Conflicts: 193000 | #Constraints: 16651
523.70/525.12 c #Conflicts: 194000 | #Constraints: 17651
523.70/525.12 c #Conflicts: 195000 | #Constraints: 18651
523.70/525.12 c #Conflicts: 196000 | #Constraints: 19651
523.70/525.12 c #Conflicts: 197000 | #Constraints: 20651
523.70/525.12 c #Conflicts: 198000 | #Constraints: 21651
523.70/525.12 c INPROCESSING
523.70/525.12 c GARBAGE COLLECT
523.70/525.12 c #Conflicts: 199000 | #Constraints: 13859
523.70/525.12 c #Conflicts: 200000 | #Constraints: 14859
523.70/525.12 c #Conflicts: 201000 | #Constraints: 15859
523.70/525.12 c #Conflicts: 202000 | #Constraints: 16859
523.70/525.12 c #Conflicts: 203000 | #Constraints: 17859
523.70/525.12 c #Conflicts: 204000 | #Constraints: 18859
523.70/525.12 c #Conflicts: 205000 | #Constraints: 19859
523.70/525.12 c #Conflicts: 206000 | #Constraints: 20859
523.70/525.12 c #Conflicts: 207000 | #Constraints: 21859
523.70/525.12 c INPROCESSING
523.70/525.12 c GARBAGE COLLECT
523.70/525.12 c #Conflicts: 208000 | #Constraints: 13861
523.70/525.12 c #Conflicts: 209000 | #Constraints: 14861
523.70/525.12 c #Conflicts: 210000 | #Constraints: 15861
523.70/525.12 c #Conflicts: 211000 | #Constraints: 16861
523.70/525.12 c #Conflicts: 212000 | #Constraints: 17861
523.70/525.12 c #Conflicts: 213000 | #Constraints: 18861
523.70/525.12 c #Conflicts: 214000 | #Constraints: 19861
654.97/656.81 c #Conflicts: 215000 | #Constraints: 20861
654.97/656.81 c #Conflicts: 216000 | #Constraints: 21861
654.97/656.81 c INPROCESSING
654.97/656.81 c GARBAGE COLLECT
654.97/656.81 c #Conflicts: 217000 | #Constraints: 13657
654.97/656.81 c #Conflicts: 218000 | #Constraints: 14657
654.97/656.81 c #Conflicts: 219000 | #Constraints: 15657
654.97/656.81 c #Conflicts: 220000 | #Constraints: 16657
654.97/656.81 c #Conflicts: 221000 | #Constraints: 17657
654.97/656.81 c #Conflicts: 222000 | #Constraints: 18657
654.97/656.81 c #Conflicts: 223000 | #Constraints: 19657
654.97/656.81 c #Conflicts: 224000 | #Constraints: 20657
654.97/656.81 c #Conflicts: 225000 | #Constraints: 21657
654.97/656.81 c #Conflicts: 226000 | #Constraints: 22657
654.97/656.81 c INPROCESSING
654.97/656.81 c GARBAGE COLLECT
654.97/656.81 c #Conflicts: 227000 | #Constraints: 14258
654.97/656.81 c #Conflicts: 228000 | #Constraints: 15258
654.97/656.81 c #Conflicts: 229000 | #Constraints: 16258
654.97/656.81 c #Conflicts: 230000 | #Constraints: 17258
654.97/656.81 c #Conflicts: 231000 | #Constraints: 18258
654.97/656.81 c #Conflicts: 232000 | #Constraints: 19258
654.97/656.81 c #Conflicts: 233000 | #Constraints: 20258
654.97/656.81 c #Conflicts: 234000 | #Constraints: 21258
654.97/656.81 c #Conflicts: 235000 | #Constraints: 22258
654.97/656.81 c #Conflicts: 236000 | #Constraints: 23258
654.97/656.81 c INPROCESSING
654.97/656.81 c GARBAGE COLLECT
654.97/656.81 c #Conflicts: 237000 | #Constraints: 14651
654.97/656.81 c #Conflicts: 238000 | #Constraints: 15651
654.97/656.81 c #Conflicts: 239000 | #Constraints: 16651
654.97/656.81 c #Conflicts: 240000 | #Constraints: 17651
654.97/656.81 c #Conflicts: 241000 | #Constraints: 18651
654.97/656.81 c #Conflicts: 242000 | #Constraints: 19651
654.97/656.81 c #Conflicts: 243000 | #Constraints: 20651
654.97/656.81 c #Conflicts: 244000 | #Constraints: 21651
654.97/656.81 c #Conflicts: 245000 | #Constraints: 22651
654.97/656.81 c #Conflicts: 246000 | #Constraints: 23651
654.97/656.81 c INPROCESSING
654.97/656.81 c GARBAGE COLLECT
654.97/656.81 c #Conflicts: 247000 | #Constraints: 14852
654.97/656.81 c #Conflicts: 248000 | #Constraints: 15852
654.97/656.81 c #Conflicts: 249000 | #Constraints: 16852
654.97/656.81 c #Conflicts: 250000 | #Constraints: 17852
654.97/656.81 c #Conflicts: 251000 | #Constraints: 18852
654.97/656.81 c #Conflicts: 252000 | #Constraints: 19852
654.97/656.81 c #Conflicts: 253000 | #Constraints: 20852
654.97/656.81 c #Conflicts: 254000 | #Constraints: 21852
654.97/656.81 c #Conflicts: 255000 | #Constraints: 22852
654.97/656.81 c #Conflicts: 256000 | #Constraints: 23852
654.97/656.81 c INPROCESSING
654.97/656.81 c GARBAGE COLLECT
654.97/656.81 c #Conflicts: 257000 | #Constraints: 14850
654.97/656.81 c #Conflicts: 258000 | #Constraints: 15850
654.97/656.81 c #Conflicts: 259000 | #Constraints: 16850
654.97/656.81 c #Conflicts: 260000 | #Constraints: 17850
654.97/656.81 c #Conflicts: 261000 | #Constraints: 18850
654.97/656.81 c #Conflicts: 262000 | #Constraints: 19850
654.97/656.81 c #Conflicts: 263000 | #Constraints: 20850
654.97/656.81 c #Conflicts: 264000 | #Constraints: 21850
654.97/656.81 c #Conflicts: 265000 | #Constraints: 22850
654.97/656.81 c #Conflicts: 266000 | #Constraints: 23850
654.97/656.81 c INPROCESSING
654.97/656.81 c GARBAGE COLLECT
654.97/656.81 c #Conflicts: 267000 | #Constraints: 14656
654.97/656.81 c #Conflicts: 268000 | #Constraints: 15656
654.97/656.81 c #Conflicts: 269000 | #Constraints: 16656
654.97/656.81 c #Conflicts: 270000 | #Constraints: 17656
654.97/656.81 c #Conflicts: 271000 | #Constraints: 18656
654.97/656.81 c #Conflicts: 272000 | #Constraints: 19656
654.97/656.81 c #Conflicts: 273000 | #Constraints: 20656
654.97/656.81 c #Conflicts: 274000 | #Constraints: 21656
654.97/656.81 c #Conflicts: 275000 | #Constraints: 22656
654.97/656.81 c #Conflicts: 276000 | #Constraints: 23656
654.97/656.81 c #Conflicts: 277000 | #Constraints: 24656
654.97/656.81 c INPROCESSING
654.97/656.81 c GARBAGE COLLECT
654.97/656.81 c #Conflicts: 278000 | #Constraints: 15247
654.97/656.81 c #Conflicts: 279000 | #Constraints: 16247
654.97/656.81 c #Conflicts: 280000 | #Constraints: 17247
654.97/656.81 c #Conflicts: 281000 | #Constraints: 18247
654.97/656.81 c #Conflicts: 282000 | #Constraints: 19247
654.97/656.81 c #Conflicts: 283000 | #Constraints: 20247
654.97/656.81 c #Conflicts: 284000 | #Constraints: 21247
654.97/656.81 c #Conflicts: 285000 | #Constraints: 22247
654.97/656.81 c #Conflicts: 286000 | #Constraints: 23247
654.97/656.81 c #Conflicts: 287000 | #Constraints: 24247
654.97/656.81 c #Conflicts: 288000 | #Constraints: 25247
822.31/824.79 c INPROCESSING
822.31/824.79 c GARBAGE COLLECT
822.31/824.79 c #Conflicts: 289000 | #Constraints: 15645
822.31/824.79 c #Conflicts: 290000 | #Constraints: 16645
822.31/824.79 c #Conflicts: 291000 | #Constraints: 17645
822.31/824.79 c #Conflicts: 292000 | #Constraints: 18645
822.31/824.79 c #Conflicts: 293000 | #Constraints: 19645
822.31/824.79 c #Conflicts: 294000 | #Constraints: 20645
822.31/824.79 c #Conflicts: 295000 | #Constraints: 21645
822.31/824.79 c #Conflicts: 296000 | #Constraints: 22645
822.31/824.79 c #Conflicts: 297000 | #Constraints: 23645
822.31/824.79 c #Conflicts: 298000 | #Constraints: 24645
822.31/824.79 c #Conflicts: 299000 | #Constraints: 25645
822.31/824.79 c INPROCESSING
822.31/824.79 c GARBAGE COLLECT
822.31/824.79 c #Conflicts: 300000 | #Constraints: 15843
822.31/824.79 c #Conflicts: 301000 | #Constraints: 16843
822.31/824.79 c #Conflicts: 302000 | #Constraints: 17843
822.31/824.79 c #Conflicts: 303000 | #Constraints: 18843
822.31/824.79 c #Conflicts: 304000 | #Constraints: 19843
822.31/824.79 c #Conflicts: 305000 | #Constraints: 20843
822.31/824.79 c #Conflicts: 306000 | #Constraints: 21843
822.31/824.79 c #Conflicts: 307000 | #Constraints: 22843
822.31/824.79 c #Conflicts: 308000 | #Constraints: 23843
822.31/824.79 c #Conflicts: 309000 | #Constraints: 24843
822.31/824.79 c #Conflicts: 310000 | #Constraints: 25843
822.31/824.79 c INPROCESSING
822.31/824.79 c GARBAGE COLLECT
822.31/824.79 c #Conflicts: 311000 | #Constraints: 15850
822.31/824.79 c #Conflicts: 312000 | #Constraints: 16850
822.31/824.79 c #Conflicts: 313000 | #Constraints: 17850
822.31/824.79 c #Conflicts: 314000 | #Constraints: 18850
822.31/824.79 c #Conflicts: 315000 | #Constraints: 19850
822.31/824.79 c #Conflicts: 316000 | #Constraints: 20850
822.31/824.79 c #Conflicts: 317000 | #Constraints: 21850
822.31/824.79 c #Conflicts: 318000 | #Constraints: 22850
822.31/824.79 c #Conflicts: 319000 | #Constraints: 23850
822.31/824.79 c #Conflicts: 320000 | #Constraints: 24850
822.31/824.79 c #Conflicts: 321000 | #Constraints: 25850
822.31/824.79 c INPROCESSING
822.31/824.79 c GARBAGE COLLECT
822.31/824.79 c #Conflicts: 322000 | #Constraints: 15652
822.31/824.79 c #Conflicts: 323000 | #Constraints: 16652
822.31/824.79 c #Conflicts: 324000 | #Constraints: 17652
822.31/824.79 c #Conflicts: 325000 | #Constraints: 18652
822.31/824.79 c #Conflicts: 326000 | #Constraints: 19652
822.31/824.79 c #Conflicts: 327000 | #Constraints: 20652
822.31/824.79 c #Conflicts: 328000 | #Constraints: 21652
822.31/824.79 c #Conflicts: 329000 | #Constraints: 22652
822.31/824.79 c #Conflicts: 330000 | #Constraints: 23652
822.31/824.79 c #Conflicts: 331000 | #Constraints: 24652
822.31/824.79 c #Conflicts: 332000 | #Constraints: 25652
822.31/824.79 c #Conflicts: 333000 | #Constraints: 26652
822.31/824.79 c INPROCESSING
822.31/824.79 c GARBAGE COLLECT
822.31/824.79 c #Conflicts: 334000 | #Constraints: 16255
822.31/824.79 c #Conflicts: 335000 | #Constraints: 17255
822.31/824.79 c #Conflicts: 336000 | #Constraints: 18255
822.31/824.79 c #Conflicts: 337000 | #Constraints: 19255
822.31/824.79 c #Conflicts: 338000 | #Constraints: 20255
822.31/824.79 c #Conflicts: 339000 | #Constraints: 21255
822.31/824.79 c #Conflicts: 340000 | #Constraints: 22255
822.31/824.79 c #Conflicts: 341000 | #Constraints: 23255
822.31/824.79 c #Conflicts: 342000 | #Constraints: 24255
822.31/824.79 c #Conflicts: 343000 | #Constraints: 25255
822.31/824.79 c #Conflicts: 344000 | #Constraints: 26255
822.31/824.79 c #Conflicts: 345000 | #Constraints: 27255
822.31/824.79 c INPROCESSING
822.31/824.79 c GARBAGE COLLECT
822.31/824.79 c #Conflicts: 346000 | #Constraints: 16650
822.31/824.79 c #Conflicts: 347000 | #Constraints: 17650
822.31/824.79 c #Conflicts: 348000 | #Constraints: 18650
822.31/824.79 c #Conflicts: 349000 | #Constraints: 19650
822.31/824.79 c #Conflicts: 350000 | #Constraints: 20650
822.31/824.79 c #Conflicts: 351000 | #Constraints: 21650
822.31/824.79 c #Conflicts: 352000 | #Constraints: 22650
822.31/824.79 c #Conflicts: 353000 | #Constraints: 23650
822.31/824.79 c #Conflicts: 354000 | #Constraints: 24650
822.31/824.79 c #Conflicts: 355000 | #Constraints: 25650
822.31/824.79 c #Conflicts: 356000 | #Constraints: 26650
822.31/824.79 c #Conflicts: 357000 | #Constraints: 27650
822.31/824.79 c INPROCESSING
822.31/824.79 c GARBAGE COLLECT
822.31/824.79 c #Conflicts: 358000 | #Constraints: 16855
822.31/824.79 c #Conflicts: 359000 | #Constraints: 17855
822.31/824.79 c #Conflicts: 360000 | #Constraints: 18855
822.31/824.79 c #Conflicts: 361000 | #Constraints: 19855
822.31/824.79 c #Conflicts: 362000 | #Constraints: 20855
822.31/824.79 c #Conflicts: 363000 | #Constraints: 21855
977.78/980.76 c #Conflicts: 364000 | #Constraints: 22855
977.78/980.76 c #Conflicts: 365000 | #Constraints: 23855
977.78/980.76 c #Conflicts: 366000 | #Constraints: 24855
977.78/980.76 c #Conflicts: 367000 | #Constraints: 25855
977.78/980.76 c #Conflicts: 368000 | #Constraints: 26855
977.78/980.76 c #Conflicts: 369000 | #Constraints: 27855
977.78/980.76 c INPROCESSING
977.78/980.76 c GARBAGE COLLECT
977.78/980.76 c #Conflicts: 370000 | #Constraints: 16849
977.78/980.76 c #Conflicts: 371000 | #Constraints: 17849
977.78/980.76 c #Conflicts: 372000 | #Constraints: 18849
977.78/980.76 c #Conflicts: 373000 | #Constraints: 19849
977.78/980.76 c #Conflicts: 374000 | #Constraints: 20849
977.78/980.76 c #Conflicts: 375000 | #Constraints: 21849
977.78/980.76 c #Conflicts: 376000 | #Constraints: 22849
977.78/980.76 c #Conflicts: 377000 | #Constraints: 23849
977.78/980.76 c #Conflicts: 378000 | #Constraints: 24849
977.78/980.76 c #Conflicts: 379000 | #Constraints: 25849
977.78/980.76 c #Conflicts: 380000 | #Constraints: 26849
977.78/980.76 c #Conflicts: 381000 | #Constraints: 27849
977.78/980.76 c INPROCESSING
977.78/980.76 c GARBAGE COLLECT
977.78/980.76 c #Conflicts: 382000 | #Constraints: 16649
977.78/980.76 c #Conflicts: 383000 | #Constraints: 17649
977.78/980.76 c #Conflicts: 384000 | #Constraints: 18649
977.78/980.76 c #Conflicts: 385000 | #Constraints: 19649
977.78/980.76 c #Conflicts: 386000 | #Constraints: 20649
977.78/980.76 c #Conflicts: 387000 | #Constraints: 21649
977.78/980.76 c #Conflicts: 388000 | #Constraints: 22649
977.78/980.76 c #Conflicts: 389000 | #Constraints: 23649
977.78/980.76 c #Conflicts: 390000 | #Constraints: 24649
977.78/980.76 c #Conflicts: 391000 | #Constraints: 25649
977.78/980.76 c #Conflicts: 392000 | #Constraints: 26649
977.78/980.76 c #Conflicts: 393000 | #Constraints: 27649
977.78/980.76 c #Conflicts: 394000 | #Constraints: 28649
977.78/980.76 c INPROCESSING
977.78/980.76 c GARBAGE COLLECT
977.78/980.76 c #Conflicts: 395000 | #Constraints: 17252
977.78/980.76 c #Conflicts: 396000 | #Constraints: 18252
977.78/980.76 c #Conflicts: 397000 | #Constraints: 19252
977.78/980.76 c #Conflicts: 398000 | #Constraints: 20252
977.78/980.76 c #Conflicts: 399000 | #Constraints: 21252
977.78/980.76 c #Conflicts: 400000 | #Constraints: 22252
977.78/980.76 c #Conflicts: 401000 | #Constraints: 23252
977.78/980.76 c #Conflicts: 402000 | #Constraints: 24252
977.78/980.76 c #Conflicts: 403000 | #Constraints: 25252
977.78/980.76 c #Conflicts: 404000 | #Constraints: 26252
977.78/980.76 c #Conflicts: 405000 | #Constraints: 27252
977.78/980.76 c #Conflicts: 406000 | #Constraints: 28252
977.78/980.76 c #Conflicts: 407000 | #Constraints: 29252
977.78/980.76 c INPROCESSING
977.78/980.76 c GARBAGE COLLECT
977.78/980.76 c #Conflicts: 408000 | #Constraints: 17645
977.78/980.76 c #Conflicts: 409000 | #Constraints: 18645
977.78/980.76 c #Conflicts: 410000 | #Constraints: 19645
977.78/980.76 c #Conflicts: 411000 | #Constraints: 20645
977.78/980.76 c #Conflicts: 412000 | #Constraints: 21645
977.78/980.76 c #Conflicts: 413000 | #Constraints: 22645
977.78/980.76 c #Conflicts: 414000 | #Constraints: 23645
977.78/980.76 c #Conflicts: 415000 | #Constraints: 24645
977.78/980.76 c #Conflicts: 416000 | #Constraints: 25645
977.78/980.76 c #Conflicts: 417000 | #Constraints: 26645
977.78/980.76 c #Conflicts: 418000 | #Constraints: 27645
977.78/980.76 c #Conflicts: 419000 | #Constraints: 28645
977.78/980.76 c #Conflicts: 420000 | #Constraints: 29645
977.78/980.76 c INPROCESSING
977.78/980.76 c GARBAGE COLLECT
977.78/980.76 c #Conflicts: 421000 | #Constraints: 17850
977.78/980.76 c #Conflicts: 422000 | #Constraints: 18850
977.78/980.76 c #Conflicts: 423000 | #Constraints: 19850
977.78/980.76 c #Conflicts: 424000 | #Constraints: 20850
977.78/980.76 c #Conflicts: 425000 | #Constraints: 21850
977.78/980.76 c #Conflicts: 426000 | #Constraints: 22850
977.78/980.76 c #Conflicts: 427000 | #Constraints: 23850
977.78/980.76 c #Conflicts: 428000 | #Constraints: 24850
977.78/980.76 c #Conflicts: 429000 | #Constraints: 25850
977.78/980.76 c #Conflicts: 430000 | #Constraints: 26850
977.78/980.76 c #Conflicts: 431000 | #Constraints: 27850
977.78/980.76 c #Conflicts: 432000 | #Constraints: 28850
977.78/980.76 c #Conflicts: 433000 | #Constraints: 29850
977.78/980.76 c INPROCESSING
977.78/980.76 c GARBAGE COLLECT
977.78/980.76 c #Conflicts: 434000 | #Constraints: 17855
977.78/980.76 c #Conflicts: 435000 | #Constraints: 18855
977.78/980.76 c #Conflicts: 436000 | #Constraints: 19855
977.78/980.76 c #Conflicts: 437000 | #Constraints: 20855
977.78/980.76 c #Conflicts: 438000 | #Constraints: 21855
1166.46/1170.07 c #Conflicts: 439000 | #Constraints: 22855
1166.46/1170.07 c #Conflicts: 440000 | #Constraints: 23855
1166.46/1170.07 c #Conflicts: 441000 | #Constraints: 24855
1166.46/1170.07 c #Conflicts: 442000 | #Constraints: 25855
1166.46/1170.07 c #Conflicts: 443000 | #Constraints: 26855
1166.46/1170.07 c #Conflicts: 444000 | #Constraints: 27855
1166.46/1170.07 c #Conflicts: 445000 | #Constraints: 28855
1166.46/1170.07 c #Conflicts: 446000 | #Constraints: 29855
1166.46/1170.07 c INPROCESSING
1166.46/1170.07 c GARBAGE COLLECT
1166.46/1170.07 c #Conflicts: 447000 | #Constraints: 17658
1166.46/1170.07 c #Conflicts: 448000 | #Constraints: 18658
1166.46/1170.07 c #Conflicts: 449000 | #Constraints: 19658
1166.46/1170.07 c #Conflicts: 450000 | #Constraints: 20658
1166.46/1170.07 c #Conflicts: 451000 | #Constraints: 21658
1166.46/1170.07 c #Conflicts: 452000 | #Constraints: 22658
1166.46/1170.07 c #Conflicts: 453000 | #Constraints: 23658
1166.46/1170.07 c #Conflicts: 454000 | #Constraints: 24658
1166.46/1170.07 c #Conflicts: 455000 | #Constraints: 25658
1166.46/1170.07 c #Conflicts: 456000 | #Constraints: 26658
1166.46/1170.07 c #Conflicts: 457000 | #Constraints: 27658
1166.46/1170.07 c #Conflicts: 458000 | #Constraints: 28658
1166.46/1170.07 c #Conflicts: 459000 | #Constraints: 29658
1166.46/1170.07 c #Conflicts: 460000 | #Constraints: 30658
1166.46/1170.07 c INPROCESSING
1166.46/1170.07 c GARBAGE COLLECT
1166.46/1170.07 c #Conflicts: 461000 | #Constraints: 18259
1166.46/1170.07 c #Conflicts: 462000 | #Constraints: 19259
1166.46/1170.07 c #Conflicts: 463000 | #Constraints: 20259
1166.46/1170.07 c #Conflicts: 464000 | #Constraints: 21259
1166.46/1170.07 c #Conflicts: 465000 | #Constraints: 22259
1166.46/1170.07 c #Conflicts: 466000 | #Constraints: 23259
1166.46/1170.07 c #Conflicts: 467000 | #Constraints: 24259
1166.46/1170.07 c #Conflicts: 468000 | #Constraints: 25259
1166.46/1170.07 c #Conflicts: 469000 | #Constraints: 26259
1166.46/1170.07 c #Conflicts: 470000 | #Constraints: 27259
1166.46/1170.07 c #Conflicts: 471000 | #Constraints: 28259
1166.46/1170.07 c #Conflicts: 472000 | #Constraints: 29259
1166.46/1170.07 c #Conflicts: 473000 | #Constraints: 30259
1166.46/1170.07 c #Conflicts: 474000 | #Constraints: 31259
1166.46/1170.07 c INPROCESSING
1166.46/1170.07 c GARBAGE COLLECT
1166.46/1170.07 c #Conflicts: 475000 | #Constraints: 18663
1166.46/1170.07 c #Conflicts: 476000 | #Constraints: 19663
1166.46/1170.07 c #Conflicts: 477000 | #Constraints: 20663
1166.46/1170.07 c #Conflicts: 478000 | #Constraints: 21663
1166.46/1170.07 c #Conflicts: 479000 | #Constraints: 22663
1166.46/1170.07 c #Conflicts: 480000 | #Constraints: 23663
1166.46/1170.07 c #Conflicts: 481000 | #Constraints: 24663
1166.46/1170.07 c #Conflicts: 482000 | #Constraints: 25663
1166.46/1170.07 c #Conflicts: 483000 | #Constraints: 26663
1166.46/1170.07 c #Conflicts: 484000 | #Constraints: 27663
1166.46/1170.07 c #Conflicts: 485000 | #Constraints: 28663
1166.46/1170.07 c #Conflicts: 486000 | #Constraints: 29663
1166.46/1170.07 c #Conflicts: 487000 | #Constraints: 30663
1166.46/1170.07 c #Conflicts: 488000 | #Constraints: 31663
1166.46/1170.07 c INPROCESSING
1166.46/1170.07 c GARBAGE COLLECT
1166.46/1170.07 c #Conflicts: 489000 | #Constraints: 18864
1166.46/1170.07 c #Conflicts: 490000 | #Constraints: 19864
1166.46/1170.07 c #Conflicts: 491000 | #Constraints: 20864
1166.46/1170.07 c #Conflicts: 492000 | #Constraints: 21864
1166.46/1170.07 c #Conflicts: 493000 | #Constraints: 22864
1166.46/1170.07 c #Conflicts: 494000 | #Constraints: 23864
1166.46/1170.07 c #Conflicts: 495000 | #Constraints: 24864
1166.46/1170.07 c #Conflicts: 496000 | #Constraints: 25864
1166.46/1170.07 c #Conflicts: 497000 | #Constraints: 26864
1166.46/1170.07 c #Conflicts: 498000 | #Constraints: 27864
1166.46/1170.07 c #Conflicts: 499000 | #Constraints: 28864
1166.46/1170.07 c #Conflicts: 500000 | #Constraints: 29864
1166.46/1170.07 c #Conflicts: 501000 | #Constraints: 30864
1166.46/1170.07 c #Conflicts: 502000 | #Constraints: 31864
1166.46/1170.07 c INPROCESSING
1166.46/1170.07 c GARBAGE COLLECT
1166.46/1170.07 c #Conflicts: 503000 | #Constraints: 18861
1166.46/1170.07 c #Conflicts: 504000 | #Constraints: 19861
1166.46/1170.07 c #Conflicts: 505000 | #Constraints: 20861
1166.46/1170.07 c #Conflicts: 506000 | #Constraints: 21861
1166.46/1170.07 c #Conflicts: 507000 | #Constraints: 22861
1166.46/1170.07 c #Conflicts: 508000 | #Constraints: 23861
1166.46/1170.07 c #Conflicts: 509000 | #Constraints: 24861
1166.46/1170.07 c #Conflicts: 510000 | #Constraints: 25861
1166.46/1170.07 c #Conflicts: 511000 | #Constraints: 26861
1166.46/1170.07 c #Conflicts: 512000 | #Constraints: 27861
1166.46/1170.07 c #Conflicts: 513000 | #Constraints: 28861
1351.13/1355.33 c #Conflicts: 514000 | #Constraints: 29861
1351.13/1355.33 c #Conflicts: 515000 | #Constraints: 30861
1351.13/1355.33 c #Conflicts: 516000 | #Constraints: 31861
1351.13/1355.33 c INPROCESSING
1351.13/1355.33 c GARBAGE COLLECT
1351.13/1355.33 c #Conflicts: 517000 | #Constraints: 18649
1351.13/1355.33 c #Conflicts: 518000 | #Constraints: 19649
1351.13/1355.33 c #Conflicts: 519000 | #Constraints: 20649
1351.13/1355.33 c #Conflicts: 520000 | #Constraints: 21649
1351.13/1355.33 c #Conflicts: 521000 | #Constraints: 22649
1351.13/1355.33 c #Conflicts: 522000 | #Constraints: 23649
1351.13/1355.33 c #Conflicts: 523000 | #Constraints: 24649
1351.13/1355.33 c #Conflicts: 524000 | #Constraints: 25649
1351.13/1355.33 c #Conflicts: 525000 | #Constraints: 26649
1351.13/1355.33 c #Conflicts: 526000 | #Constraints: 27649
1351.13/1355.33 c #Conflicts: 527000 | #Constraints: 28649
1351.13/1355.33 c #Conflicts: 528000 | #Constraints: 29649
1351.13/1355.33 c #Conflicts: 529000 | #Constraints: 30649
1351.13/1355.33 c #Conflicts: 530000 | #Constraints: 31649
1351.13/1355.33 c #Conflicts: 531000 | #Constraints: 32649
1351.13/1355.33 c INPROCESSING
1351.13/1355.33 c GARBAGE COLLECT
1351.13/1355.33 c #Conflicts: 532000 | #Constraints: 19255
1351.13/1355.33 c #Conflicts: 533000 | #Constraints: 20255
1351.13/1355.33 c #Conflicts: 534000 | #Constraints: 21255
1351.13/1355.33 c #Conflicts: 535000 | #Constraints: 22255
1351.13/1355.33 c #Conflicts: 536000 | #Constraints: 23255
1351.13/1355.33 c #Conflicts: 537000 | #Constraints: 24255
1351.13/1355.33 c #Conflicts: 538000 | #Constraints: 25255
1351.13/1355.33 c #Conflicts: 539000 | #Constraints: 26255
1351.13/1355.33 c #Conflicts: 540000 | #Constraints: 27255
1351.13/1355.33 c #Conflicts: 541000 | #Constraints: 28255
1351.13/1355.33 c #Conflicts: 542000 | #Constraints: 29255
1351.13/1355.33 c #Conflicts: 543000 | #Constraints: 30255
1351.13/1355.33 c #Conflicts: 544000 | #Constraints: 31255
1351.13/1355.33 c #Conflicts: 545000 | #Constraints: 32255
1351.13/1355.33 c #Conflicts: 546000 | #Constraints: 33255
1351.13/1355.33 c INPROCESSING
1351.13/1355.33 c GARBAGE COLLECT
1351.13/1355.33 c #Conflicts: 547000 | #Constraints: 19653
1351.13/1355.33 c #Conflicts: 548000 | #Constraints: 20653
1351.13/1355.33 c #Conflicts: 549000 | #Constraints: 21653
1351.13/1355.33 c #Conflicts: 550000 | #Constraints: 22653
1351.13/1355.33 c #Conflicts: 551000 | #Constraints: 23653
1351.13/1355.33 c #Conflicts: 552000 | #Constraints: 24653
1351.13/1355.33 c #Conflicts: 553000 | #Constraints: 25653
1351.13/1355.33 c #Conflicts: 554000 | #Constraints: 26653
1351.13/1355.33 c #Conflicts: 555000 | #Constraints: 27653
1351.13/1355.33 c #Conflicts: 556000 | #Constraints: 28653
1351.13/1355.33 c #Conflicts: 557000 | #Constraints: 29653
1351.13/1355.33 c #Conflicts: 558000 | #Constraints: 30653
1351.13/1355.33 c #Conflicts: 559000 | #Constraints: 31653
1351.13/1355.33 c #Conflicts: 560000 | #Constraints: 32653
1351.13/1355.33 c #Conflicts: 561000 | #Constraints: 33653
1351.13/1355.33 c INPROCESSING
1351.13/1355.33 c GARBAGE COLLECT
1351.13/1355.33 c #Conflicts: 562000 | #Constraints: 19851
1351.13/1355.33 c #Conflicts: 563000 | #Constraints: 20851
1351.13/1355.33 c #Conflicts: 564000 | #Constraints: 21851
1351.13/1355.33 c #Conflicts: 565000 | #Constraints: 22851
1351.13/1355.33 c #Conflicts: 566000 | #Constraints: 23851
1351.13/1355.33 c #Conflicts: 567000 | #Constraints: 24851
1351.13/1355.33 c #Conflicts: 568000 | #Constraints: 25851
1351.13/1355.33 c #Conflicts: 569000 | #Constraints: 26851
1351.13/1355.33 c #Conflicts: 570000 | #Constraints: 27851
1351.13/1355.33 c #Conflicts: 571000 | #Constraints: 28851
1351.13/1355.33 c #Conflicts: 572000 | #Constraints: 29851
1351.13/1355.33 c #Conflicts: 573000 | #Constraints: 30851
1351.13/1355.33 c #Conflicts: 574000 | #Constraints: 31851
1351.13/1355.33 c #Conflicts: 575000 | #Constraints: 32851
1351.13/1355.33 c #Conflicts: 576000 | #Constraints: 33851
1351.13/1355.33 c INPROCESSING
1351.13/1355.33 c GARBAGE COLLECT
1351.13/1355.33 c #Conflicts: 577000 | #Constraints: 19852
1351.13/1355.33 c #Conflicts: 578000 | #Constraints: 20852
1351.13/1355.33 c #Conflicts: 579000 | #Constraints: 21852
1351.13/1355.33 c #Conflicts: 580000 | #Constraints: 22852
1351.13/1355.33 c #Conflicts: 581000 | #Constraints: 23852
1351.13/1355.33 c #Conflicts: 582000 | #Constraints: 24852
1351.13/1355.33 c #Conflicts: 583000 | #Constraints: 25852
1351.13/1355.33 c #Conflicts: 584000 | #Constraints: 26852
1351.13/1355.33 c #Conflicts: 585000 | #Constraints: 27852
1351.13/1355.33 c #Conflicts: 586000 | #Constraints: 28852
1351.13/1355.33 c #Conflicts: 587000 | #Constraints: 29852
1351.13/1355.33 c #Conflicts: 588000 | #Constraints: 30852
1351.13/1355.33 c #Conflicts: 589000 | #Constraints: 31852
1568.68/1573.53 c #Conflicts: 590000 | #Constraints: 32852
1568.68/1573.53 c #Conflicts: 591000 | #Constraints: 33852
1568.68/1573.53 c INPROCESSING
1568.68/1573.53 c GARBAGE COLLECT
1568.68/1573.53 c #Conflicts: 592000 | #Constraints: 19651
1568.68/1573.53 c #Conflicts: 593000 | #Constraints: 20651
1568.68/1573.53 c #Conflicts: 594000 | #Constraints: 21651
1568.68/1573.53 c #Conflicts: 595000 | #Constraints: 22651
1568.68/1573.53 c #Conflicts: 596000 | #Constraints: 23651
1568.68/1573.53 c #Conflicts: 597000 | #Constraints: 24651
1568.68/1573.53 c #Conflicts: 598000 | #Constraints: 25651
1568.68/1573.53 c #Conflicts: 599000 | #Constraints: 26651
1568.68/1573.53 c #Conflicts: 600000 | #Constraints: 27651
1568.68/1573.53 c #Conflicts: 601000 | #Constraints: 28651
1568.68/1573.53 c #Conflicts: 602000 | #Constraints: 29651
1568.68/1573.53 c #Conflicts: 603000 | #Constraints: 30651
1568.68/1573.53 c #Conflicts: 604000 | #Constraints: 31651
1568.68/1573.53 c #Conflicts: 605000 | #Constraints: 32651
1568.68/1573.53 c #Conflicts: 606000 | #Constraints: 33651
1568.68/1573.53 c #Conflicts: 607000 | #Constraints: 34651
1568.68/1573.53 c INPROCESSING
1568.68/1573.53 c GARBAGE COLLECT
1568.68/1573.53 c #Conflicts: 608000 | #Constraints: 20257
1568.68/1573.53 c #Conflicts: 609000 | #Constraints: 21257
1568.68/1573.53 c #Conflicts: 610000 | #Constraints: 22257
1568.68/1573.53 c #Conflicts: 611000 | #Constraints: 23257
1568.68/1573.53 c #Conflicts: 612000 | #Constraints: 24257
1568.68/1573.53 c #Conflicts: 613000 | #Constraints: 25257
1568.68/1573.53 c #Conflicts: 614000 | #Constraints: 26257
1568.68/1573.53 c #Conflicts: 615000 | #Constraints: 27257
1568.68/1573.53 c #Conflicts: 616000 | #Constraints: 28257
1568.68/1573.53 c #Conflicts: 617000 | #Constraints: 29257
1568.68/1573.53 c #Conflicts: 618000 | #Constraints: 30257
1568.68/1573.53 c #Conflicts: 619000 | #Constraints: 31257
1568.68/1573.53 c #Conflicts: 620000 | #Constraints: 32257
1568.68/1573.53 c #Conflicts: 621000 | #Constraints: 33257
1568.68/1573.53 c #Conflicts: 622000 | #Constraints: 34257
1568.68/1573.53 c #Conflicts: 623000 | #Constraints: 35257
1568.68/1573.53 c INPROCESSING
1568.68/1573.53 c GARBAGE COLLECT
1568.68/1573.53 c #Conflicts: 624000 | #Constraints: 20654
1568.68/1573.53 c #Conflicts: 625000 | #Constraints: 21654
1568.68/1573.53 c #Conflicts: 626000 | #Constraints: 22654
1568.68/1573.53 c #Conflicts: 627000 | #Constraints: 23654
1568.68/1573.53 c #Conflicts: 628000 | #Constraints: 24654
1568.68/1573.53 c #Conflicts: 629000 | #Constraints: 25654
1568.68/1573.53 c #Conflicts: 630000 | #Constraints: 26654
1568.68/1573.53 c #Conflicts: 631000 | #Constraints: 27654
1568.68/1573.53 c #Conflicts: 632000 | #Constraints: 28654
1568.68/1573.53 c #Conflicts: 633000 | #Constraints: 29654
1568.68/1573.53 c #Conflicts: 634000 | #Constraints: 30654
1568.68/1573.53 c #Conflicts: 635000 | #Constraints: 31654
1568.68/1573.53 c #Conflicts: 636000 | #Constraints: 32654
1568.68/1573.53 c #Conflicts: 637000 | #Constraints: 33654
1568.68/1573.53 c #Conflicts: 638000 | #Constraints: 34654
1568.68/1573.53 c #Conflicts: 639000 | #Constraints: 35654
1568.68/1573.53 c INPROCESSING
1568.68/1573.53 c GARBAGE COLLECT
1568.68/1573.53 c #Conflicts: 640000 | #Constraints: 20846
1568.68/1573.53 c #Conflicts: 641000 | #Constraints: 21846
1568.68/1573.53 c #Conflicts: 642000 | #Constraints: 22846
1568.68/1573.53 c #Conflicts: 643000 | #Constraints: 23846
1568.68/1573.53 c #Conflicts: 644000 | #Constraints: 24846
1568.68/1573.53 c #Conflicts: 645000 | #Constraints: 25846
1568.68/1573.53 c #Conflicts: 646000 | #Constraints: 26846
1568.68/1573.53 c #Conflicts: 647000 | #Constraints: 27846
1568.68/1573.53 c #Conflicts: 648000 | #Constraints: 28846
1568.68/1573.53 c #Conflicts: 649000 | #Constraints: 29846
1568.68/1573.53 c #Conflicts: 650000 | #Constraints: 30846
1568.68/1573.53 c #Conflicts: 651000 | #Constraints: 31846
1568.68/1573.53 c #Conflicts: 652000 | #Constraints: 32846
1568.68/1573.53 c #Conflicts: 653000 | #Constraints: 33846
1568.68/1573.53 c #Conflicts: 654000 | #Constraints: 34846
1568.68/1573.53 c #Conflicts: 655000 | #Constraints: 35846
1568.68/1573.53 c INPROCESSING
1568.68/1573.53 c GARBAGE COLLECT
1568.68/1573.53 c #Conflicts: 656000 | #Constraints: 20842
1568.68/1573.53 c #Conflicts: 657000 | #Constraints: 21842
1568.68/1573.53 c #Conflicts: 658000 | #Constraints: 22842
1568.68/1573.53 c #Conflicts: 659000 | #Constraints: 23842
1568.68/1573.53 c #Conflicts: 660000 | #Constraints: 24842
1568.68/1573.53 c #Conflicts: 661000 | #Constraints: 25842
1568.68/1573.53 c #Conflicts: 662000 | #Constraints: 26842
1568.68/1573.53 c #Conflicts: 663000 | #Constraints: 27842
1568.68/1573.53 c #Conflicts: 664000 | #Constraints: 28842
1756.42/1761.79 c #Conflicts: 665000 | #Constraints: 29842
1756.42/1761.79 c #Conflicts: 666000 | #Constraints: 30842
1756.42/1761.79 c #Conflicts: 667000 | #Constraints: 31842
1756.42/1761.79 c #Conflicts: 668000 | #Constraints: 32842
1756.42/1761.79 c #Conflicts: 669000 | #Constraints: 33842
1756.42/1761.79 c #Conflicts: 670000 | #Constraints: 34842
1756.42/1761.79 c #Conflicts: 671000 | #Constraints: 35842
1756.42/1761.79 c INPROCESSING
1756.42/1761.79 c GARBAGE COLLECT
1756.42/1761.79 c #Conflicts: 672000 | #Constraints: 20648
1756.42/1761.79 c #Conflicts: 673000 | #Constraints: 21648
1756.42/1761.79 c #Conflicts: 674000 | #Constraints: 22648
1756.42/1761.79 c #Conflicts: 675000 | #Constraints: 23648
1756.42/1761.79 c #Conflicts: 676000 | #Constraints: 24648
1756.42/1761.79 c #Conflicts: 677000 | #Constraints: 25648
1756.42/1761.79 c #Conflicts: 678000 | #Constraints: 26648
1756.42/1761.79 c #Conflicts: 679000 | #Constraints: 27648
1756.42/1761.79 c #Conflicts: 680000 | #Constraints: 28648
1756.42/1761.79 c #Conflicts: 681000 | #Constraints: 29648
1756.42/1761.79 c #Conflicts: 682000 | #Constraints: 30648
1756.42/1761.79 c #Conflicts: 683000 | #Constraints: 31648
1756.42/1761.79 c #Conflicts: 684000 | #Constraints: 32648
1756.52/1761.80 c #Conflicts: 685000 | #Constraints: 33648
1756.52/1761.80 c #Conflicts: 686000 | #Constraints: 34648
1756.52/1761.80 c #Conflicts: 687000 | #Constraints: 35648
1756.52/1761.80 c #Conflicts: 688000 | #Constraints: 36648
1756.52/1761.80 c INPROCESSING
1756.52/1761.80 c GARBAGE COLLECT
1756.52/1761.80 c #Conflicts: 689000 | #Constraints: 21248
1756.52/1761.80 c #Conflicts: 690000 | #Constraints: 22248
1756.52/1761.80 c #Conflicts: 691000 | #Constraints: 23248
1756.52/1761.80 c #Conflicts: 692000 | #Constraints: 24248
1756.52/1761.80 c #Conflicts: 693000 | #Constraints: 25248
1756.52/1761.80 c #Conflicts: 694000 | #Constraints: 26248
1756.52/1761.80 c #Conflicts: 695000 | #Constraints: 27248
1756.52/1761.80 c #Conflicts: 696000 | #Constraints: 28248
1756.52/1761.80 c #Conflicts: 697000 | #Constraints: 29248
1756.52/1761.80 c #Conflicts: 698000 | #Constraints: 30248
1756.52/1761.80 c #Conflicts: 699000 | #Constraints: 31248
1756.52/1761.80 c #Conflicts: 700000 | #Constraints: 32248
1756.52/1761.80 c #Conflicts: 701000 | #Constraints: 33248
1756.52/1761.80 c #Conflicts: 702000 | #Constraints: 34248
1756.52/1761.80 c #Conflicts: 703000 | #Constraints: 35248
1756.52/1761.80 c #Conflicts: 704000 | #Constraints: 36248
1756.52/1761.80 c #Conflicts: 705000 | #Constraints: 37248
1756.52/1761.80 c INPROCESSING
1756.52/1761.80 c GARBAGE COLLECT
1756.52/1761.80 c #Conflicts: 706000 | #Constraints: 21651
1756.52/1761.80 c #Conflicts: 707000 | #Constraints: 22651
1756.52/1761.80 c #Conflicts: 708000 | #Constraints: 23651
1756.52/1761.80 c #Conflicts: 709000 | #Constraints: 24651
1756.52/1761.80 c #Conflicts: 710000 | #Constraints: 25651
1756.52/1761.80 c #Conflicts: 711000 | #Constraints: 26651
1756.52/1761.80 c #Conflicts: 712000 | #Constraints: 27651
1756.52/1761.80 c #Conflicts: 713000 | #Constraints: 28651
1756.52/1761.80 c #Conflicts: 714000 | #Constraints: 29651
1756.52/1761.80 c #Conflicts: 715000 | #Constraints: 30651
1756.52/1761.80 c #Conflicts: 716000 | #Constraints: 31651
1756.52/1761.80 c #Conflicts: 717000 | #Constraints: 32651
1756.52/1761.80 c #Conflicts: 718000 | #Constraints: 33651
1756.52/1761.80 c #Conflicts: 719000 | #Constraints: 34651
1756.52/1761.80 c #Conflicts: 720000 | #Constraints: 35651
1756.52/1761.80 c #Conflicts: 721000 | #Constraints: 36651
1756.52/1761.80 c #Conflicts: 722000 | #Constraints: 37651
1756.52/1761.80 c INPROCESSING
1756.52/1761.80 c GARBAGE COLLECT
1756.52/1761.80 c #Conflicts: 723000 | #Constraints: 21852
1756.52/1761.80 c #Conflicts: 724000 | #Constraints: 22852
1756.52/1761.80 c #Conflicts: 725000 | #Constraints: 23852
1756.52/1761.80 c #Conflicts: 726000 | #Constraints: 24852
1756.52/1761.80 c #Conflicts: 727000 | #Constraints: 25852
1756.52/1761.80 c #Conflicts: 728000 | #Constraints: 26852
1756.52/1761.80 c #Conflicts: 729000 | #Constraints: 27852
1756.52/1761.80 c #Conflicts: 730000 | #Constraints: 28852
1756.52/1761.80 c #Conflicts: 731000 | #Constraints: 29852
1756.52/1761.80 c #Conflicts: 732000 | #Constraints: 30852
1756.52/1761.80 c #Conflicts: 733000 | #Constraints: 31852
1756.52/1761.80 c #Conflicts: 734000 | #Constraints: 32852
1756.52/1761.80 c #Conflicts: 735000 | #Constraints: 33852
1756.52/1761.80 c #Conflicts: 736000 | #Constraints: 34852
1756.52/1761.80 c #Conflicts: 737000 | #Constraints: 35852
1756.52/1761.80 c #Conflicts: 738000 | #Constraints: 36852
1756.52/1761.80 c #Conflicts: 739000 | #Constraints: 37852
1756.52/1761.80 c INPROCESSING
1756.52/1761.80 c GARBAGE COLLECT
1756.52/1761.80 c #Conflicts: 740000 | #Constraints: 21859
1998.44/2004.31 c #Conflicts: 741000 | #Constraints: 22859
1998.44/2004.31 c #Conflicts: 742000 | #Constraints: 23859
1998.44/2004.31 c #Conflicts: 743000 | #Constraints: 24859
1998.44/2004.31 c #Conflicts: 744000 | #Constraints: 25859
1998.44/2004.31 c #Conflicts: 745000 | #Constraints: 26859
1998.44/2004.31 c #Conflicts: 746000 | #Constraints: 27859
1998.44/2004.31 c #Conflicts: 747000 | #Constraints: 28859
1998.44/2004.31 c #Conflicts: 748000 | #Constraints: 29859
1998.44/2004.31 c #Conflicts: 749000 | #Constraints: 30859
1998.44/2004.31 c #Conflicts: 750000 | #Constraints: 31859
1998.44/2004.31 c #Conflicts: 751000 | #Constraints: 32859
1998.44/2004.31 c #Conflicts: 752000 | #Constraints: 33859
1998.44/2004.31 c #Conflicts: 753000 | #Constraints: 34859
1998.44/2004.31 c #Conflicts: 754000 | #Constraints: 35859
1998.44/2004.31 c #Conflicts: 755000 | #Constraints: 36859
1998.44/2004.31 c #Conflicts: 756000 | #Constraints: 37859
1998.44/2004.31 c INPROCESSING
1998.44/2004.31 c GARBAGE COLLECT
1998.44/2004.31 c #Conflicts: 757000 | #Constraints: 21652
1998.44/2004.31 c #Conflicts: 758000 | #Constraints: 22652
1998.44/2004.31 c #Conflicts: 759000 | #Constraints: 23652
1998.44/2004.31 c #Conflicts: 760000 | #Constraints: 24652
1998.44/2004.31 c #Conflicts: 761000 | #Constraints: 25652
1998.44/2004.31 c #Conflicts: 762000 | #Constraints: 26652
1998.44/2004.31 c #Conflicts: 763000 | #Constraints: 27652
1998.44/2004.31 c #Conflicts: 764000 | #Constraints: 28652
1998.44/2004.31 c #Conflicts: 765000 | #Constraints: 29652
1998.44/2004.31 c #Conflicts: 766000 | #Constraints: 30652
1998.44/2004.31 c #Conflicts: 767000 | #Constraints: 31652
1998.44/2004.31 c #Conflicts: 768000 | #Constraints: 32652
1998.44/2004.31 c #Conflicts: 769000 | #Constraints: 33652
1998.44/2004.31 c #Conflicts: 770000 | #Constraints: 34652
1998.44/2004.31 c #Conflicts: 771000 | #Constraints: 35652
1998.44/2004.31 c #Conflicts: 772000 | #Constraints: 36652
1998.44/2004.31 c #Conflicts: 773000 | #Constraints: 37652
1998.44/2004.31 c #Conflicts: 774000 | #Constraints: 38652
1998.44/2004.31 c INPROCESSING
1998.44/2004.31 c GARBAGE COLLECT
1998.44/2004.31 c #Conflicts: 775000 | #Constraints: 22252
1998.44/2004.31 c #Conflicts: 776000 | #Constraints: 23252
1998.44/2004.31 c #Conflicts: 777000 | #Constraints: 24252
1998.44/2004.31 c #Conflicts: 778000 | #Constraints: 25252
1998.44/2004.31 c #Conflicts: 779000 | #Constraints: 26252
1998.44/2004.31 c #Conflicts: 780000 | #Constraints: 27252
1998.44/2004.31 c #Conflicts: 781000 | #Constraints: 28252
1998.44/2004.31 c #Conflicts: 782000 | #Constraints: 29252
1998.44/2004.31 c #Conflicts: 783000 | #Constraints: 30252
1998.44/2004.31 c #Conflicts: 784000 | #Constraints: 31252
1998.44/2004.31 c #Conflicts: 785000 | #Constraints: 32252
1998.44/2004.31 c #Conflicts: 786000 | #Constraints: 33252
1998.44/2004.31 c #Conflicts: 787000 | #Constraints: 34252
1998.44/2004.31 c #Conflicts: 788000 | #Constraints: 35252
1998.44/2004.31 c #Conflicts: 789000 | #Constraints: 36252
1998.44/2004.31 c #Conflicts: 790000 | #Constraints: 37252
1998.44/2004.31 c #Conflicts: 791000 | #Constraints: 38252
1998.44/2004.31 c #Conflicts: 792000 | #Constraints: 39252
1998.44/2004.31 c INPROCESSING
1998.44/2004.31 c GARBAGE COLLECT
1998.44/2004.31 c #Conflicts: 793000 | #Constraints: 22651
1998.44/2004.31 c #Conflicts: 794000 | #Constraints: 23651
1998.44/2004.31 c #Conflicts: 795000 | #Constraints: 24651
1998.44/2004.31 c #Conflicts: 796000 | #Constraints: 25651
1998.44/2004.31 c #Conflicts: 797000 | #Constraints: 26651
1998.44/2004.31 c #Conflicts: 798000 | #Constraints: 27651
1998.44/2004.31 c #Conflicts: 799000 | #Constraints: 28651
1998.44/2004.31 c #Conflicts: 800000 | #Constraints: 29651
1998.44/2004.31 c #Conflicts: 801000 | #Constraints: 30651
1998.44/2004.31 c #Conflicts: 802000 | #Constraints: 31651
1998.44/2004.31 c #Conflicts: 803000 | #Constraints: 32651
1998.44/2004.31 c #Conflicts: 804000 | #Constraints: 33651
1998.44/2004.31 c #Conflicts: 805000 | #Constraints: 34651
1998.44/2004.31 c #Conflicts: 806000 | #Constraints: 35651
1998.44/2004.31 c #Conflicts: 807000 | #Constraints: 36651
1998.44/2004.31 c #Conflicts: 808000 | #Constraints: 37651
1998.44/2004.31 c #Conflicts: 809000 | #Constraints: 38651
1998.44/2004.31 c #Conflicts: 810000 | #Constraints: 39651
1998.44/2004.31 c INPROCESSING
1998.44/2004.31 c GARBAGE COLLECT
1998.44/2004.31 c #Conflicts: 811000 | #Constraints: 22851
1998.44/2004.31 c #Conflicts: 812000 | #Constraints: 23851
1998.44/2004.31 c #Conflicts: 813000 | #Constraints: 24851
1998.44/2004.31 c #Conflicts: 814000 | #Constraints: 25851
1998.44/2004.31 c #Conflicts: 815000 | #Constraints: 26851
1998.44/2004.31 c #Conflicts: 816000 | #Constraints: 27851
2155.47/2161.74 c #Conflicts: 817000 | #Constraints: 28851
2155.47/2161.74 c #Conflicts: 818000 | #Constraints: 29851
2155.47/2161.74 c #Conflicts: 819000 | #Constraints: 30851
2155.47/2161.74 c #Conflicts: 820000 | #Constraints: 31851
2155.47/2161.74 c #Conflicts: 821000 | #Constraints: 32851
2155.47/2161.74 c #Conflicts: 822000 | #Constraints: 33851
2155.47/2161.74 c #Conflicts: 823000 | #Constraints: 34851
2155.47/2161.74 c #Conflicts: 824000 | #Constraints: 35851
2155.47/2161.74 c #Conflicts: 825000 | #Constraints: 36851
2155.47/2161.74 c #Conflicts: 826000 | #Constraints: 37851
2155.47/2161.74 c #Conflicts: 827000 | #Constraints: 38851
2155.47/2161.74 c #Conflicts: 828000 | #Constraints: 39851
2155.47/2161.74 c INPROCESSING
2155.47/2161.74 c GARBAGE COLLECT
2155.47/2161.74 c #Conflicts: 829000 | #Constraints: 22853
2155.47/2161.74 c #Conflicts: 830000 | #Constraints: 23853
2155.47/2161.74 c #Conflicts: 831000 | #Constraints: 24853
2155.47/2161.74 c #Conflicts: 832000 | #Constraints: 25853
2155.47/2161.74 c #Conflicts: 833000 | #Constraints: 26853
2155.47/2161.74 c #Conflicts: 834000 | #Constraints: 27853
2155.47/2161.74 c #Conflicts: 835000 | #Constraints: 28853
2155.47/2161.74 c #Conflicts: 836000 | #Constraints: 29853
2155.47/2161.74 c #Conflicts: 837000 | #Constraints: 30853
2155.47/2161.74 c #Conflicts: 838000 | #Constraints: 31853
2155.47/2161.74 c #Conflicts: 839000 | #Constraints: 32853
2155.47/2161.74 c #Conflicts: 840000 | #Constraints: 33853
2155.47/2161.74 c #Conflicts: 841000 | #Constraints: 34853
2155.47/2161.74 c #Conflicts: 842000 | #Constraints: 35853
2155.47/2161.74 c #Conflicts: 843000 | #Constraints: 36853
2155.47/2161.74 c #Conflicts: 844000 | #Constraints: 37853
2155.47/2161.74 c #Conflicts: 845000 | #Constraints: 38853
2155.47/2161.74 c #Conflicts: 846000 | #Constraints: 39853
2155.47/2161.74 c INPROCESSING
2155.47/2161.74 c GARBAGE COLLECT
2155.47/2161.74 c #Conflicts: 847000 | #Constraints: 22662
2155.47/2161.74 c #Conflicts: 848000 | #Constraints: 23662
2155.47/2161.74 c #Conflicts: 849000 | #Constraints: 24662
2155.47/2161.74 c #Conflicts: 850000 | #Constraints: 25662
2155.47/2161.74 c #Conflicts: 851000 | #Constraints: 26662
2155.47/2161.74 c #Conflicts: 852000 | #Constraints: 27662
2155.47/2161.74 c #Conflicts: 853000 | #Constraints: 28662
2155.47/2161.74 c #Conflicts: 854000 | #Constraints: 29662
2155.47/2161.74 c #Conflicts: 855000 | #Constraints: 30662
2155.47/2161.74 c #Conflicts: 856000 | #Constraints: 31662
2155.47/2161.74 c #Conflicts: 857000 | #Constraints: 32662
2155.47/2161.74 c #Conflicts: 858000 | #Constraints: 33662
2155.47/2161.74 c #Conflicts: 859000 | #Constraints: 34662
2155.47/2161.74 c #Conflicts: 860000 | #Constraints: 35662
2155.47/2161.74 c #Conflicts: 861000 | #Constraints: 36662
2155.47/2161.74 c #Conflicts: 862000 | #Constraints: 37662
2155.47/2161.74 c #Conflicts: 863000 | #Constraints: 38662
2155.47/2161.74 c #Conflicts: 864000 | #Constraints: 39662
2155.47/2161.74 c #Conflicts: 865000 | #Constraints: 40662
2155.47/2161.74 c INPROCESSING
2155.47/2161.74 c GARBAGE COLLECT
2155.47/2161.74 c #Conflicts: 866000 | #Constraints: 23263
2155.47/2161.74 c #Conflicts: 867000 | #Constraints: 24263
2155.47/2161.74 c #Conflicts: 868000 | #Constraints: 25263
2155.47/2161.74 c #Conflicts: 869000 | #Constraints: 26263
2155.47/2161.74 c #Conflicts: 870000 | #Constraints: 27263
2155.47/2161.74 c #Conflicts: 871000 | #Constraints: 28263
2155.47/2161.74 c #Conflicts: 872000 | #Constraints: 29263
2155.47/2161.74 c #Conflicts: 873000 | #Constraints: 30263
2155.47/2161.74 c #Conflicts: 874000 | #Constraints: 31263
2155.47/2161.74 c #Conflicts: 875000 | #Constraints: 32263
2155.47/2161.74 c #Conflicts: 876000 | #Constraints: 33263
2155.47/2161.74 c #Conflicts: 877000 | #Constraints: 34263
2155.47/2161.74 c #Conflicts: 878000 | #Constraints: 35263
2155.47/2161.74 c #Conflicts: 879000 | #Constraints: 36263
2155.47/2161.74 c #Conflicts: 880000 | #Constraints: 37263
2155.47/2161.74 c #Conflicts: 881000 | #Constraints: 38263
2155.47/2161.74 c #Conflicts: 882000 | #Constraints: 39263
2155.47/2161.74 c #Conflicts: 883000 | #Constraints: 40263
2155.47/2161.74 c #Conflicts: 884000 | #Constraints: 41263
2155.47/2161.74 c INPROCESSING
2155.47/2161.74 c GARBAGE COLLECT
2155.47/2161.74 c #Conflicts: 885000 | #Constraints: 23652
2155.47/2161.74 c #Conflicts: 886000 | #Constraints: 24652
2155.47/2161.74 c #Conflicts: 887000 | #Constraints: 25652
2155.47/2161.74 c #Conflicts: 888000 | #Constraints: 26652
2155.47/2161.74 c #Conflicts: 889000 | #Constraints: 27652
2155.47/2161.74 c #Conflicts: 890000 | #Constraints: 28652
2155.47/2161.74 c #Conflicts: 891000 | #Constraints: 29652
2155.47/2161.74 c #Conflicts: 892000 | #Constraints: 30652
2155.47/2161.74 c #Conflicts: 893000 | #Constraints: 31652
2415.84/2422.79 c #Conflicts: 894000 | #Constraints: 32652
2415.84/2422.79 c #Conflicts: 895000 | #Constraints: 33652
2415.84/2422.79 c #Conflicts: 896000 | #Constraints: 34652
2415.84/2422.79 c #Conflicts: 897000 | #Constraints: 35652
2415.84/2422.79 c #Conflicts: 898000 | #Constraints: 36652
2415.84/2422.79 c #Conflicts: 899000 | #Constraints: 37652
2415.84/2422.79 c #Conflicts: 900000 | #Constraints: 38652
2415.84/2422.79 c #Conflicts: 901000 | #Constraints: 39652
2415.84/2422.79 c #Conflicts: 902000 | #Constraints: 40652
2415.84/2422.79 c #Conflicts: 903000 | #Constraints: 41652
2415.84/2422.79 c INPROCESSING
2415.84/2422.79 c GARBAGE COLLECT
2415.84/2422.79 c #Conflicts: 904000 | #Constraints: 23856
2415.84/2422.79 c #Conflicts: 905000 | #Constraints: 24856
2415.84/2422.79 c #Conflicts: 906000 | #Constraints: 25856
2415.84/2422.79 c #Conflicts: 907000 | #Constraints: 26856
2415.84/2422.79 c #Conflicts: 908000 | #Constraints: 27856
2415.84/2422.79 c #Conflicts: 909000 | #Constraints: 28856
2415.84/2422.79 c #Conflicts: 910000 | #Constraints: 29856
2415.84/2422.79 c #Conflicts: 911000 | #Constraints: 30856
2415.84/2422.79 c #Conflicts: 912000 | #Constraints: 31856
2415.84/2422.79 c #Conflicts: 913000 | #Constraints: 32856
2415.84/2422.79 c #Conflicts: 914000 | #Constraints: 33856
2415.84/2422.79 c #Conflicts: 915000 | #Constraints: 34856
2415.84/2422.79 c #Conflicts: 916000 | #Constraints: 35856
2415.84/2422.79 c #Conflicts: 917000 | #Constraints: 36856
2415.84/2422.79 c #Conflicts: 918000 | #Constraints: 37856
2415.84/2422.79 c #Conflicts: 919000 | #Constraints: 38856
2415.84/2422.79 c #Conflicts: 920000 | #Constraints: 39856
2415.84/2422.79 c #Conflicts: 921000 | #Constraints: 40856
2415.84/2422.79 c #Conflicts: 922000 | #Constraints: 41856
2415.84/2422.79 c INPROCESSING
2415.84/2422.79 c GARBAGE COLLECT
2415.84/2422.79 c #Conflicts: 923000 | #Constraints: 23858
2415.84/2422.79 c #Conflicts: 924000 | #Constraints: 24858
2415.84/2422.79 c #Conflicts: 925000 | #Constraints: 25858
2415.84/2422.79 c #Conflicts: 926000 | #Constraints: 26858
2415.84/2422.79 c #Conflicts: 927000 | #Constraints: 27858
2415.84/2422.79 c #Conflicts: 928000 | #Constraints: 28858
2415.84/2422.79 c #Conflicts: 929000 | #Constraints: 29858
2415.84/2422.79 c #Conflicts: 930000 | #Constraints: 30858
2415.84/2422.79 c #Conflicts: 931000 | #Constraints: 31858
2415.84/2422.79 c #Conflicts: 932000 | #Constraints: 32858
2415.84/2422.79 c #Conflicts: 933000 | #Constraints: 33858
2415.84/2422.79 c #Conflicts: 934000 | #Constraints: 34858
2415.84/2422.79 c #Conflicts: 935000 | #Constraints: 35858
2415.84/2422.79 c #Conflicts: 936000 | #Constraints: 36858
2415.84/2422.79 c #Conflicts: 937000 | #Constraints: 37858
2415.84/2422.79 c #Conflicts: 938000 | #Constraints: 38858
2415.84/2422.79 c #Conflicts: 939000 | #Constraints: 39858
2415.84/2422.79 c #Conflicts: 940000 | #Constraints: 40858
2415.84/2422.79 c #Conflicts: 941000 | #Constraints: 41858
2415.84/2422.79 c INPROCESSING
2415.84/2422.79 c GARBAGE COLLECT
2415.84/2422.79 c #Conflicts: 942000 | #Constraints: 23663
2415.84/2422.79 c #Conflicts: 943000 | #Constraints: 24663
2415.84/2422.79 c #Conflicts: 944000 | #Constraints: 25663
2415.84/2422.79 c #Conflicts: 945000 | #Constraints: 26663
2415.84/2422.79 c #Conflicts: 946000 | #Constraints: 27663
2415.84/2422.79 c #Conflicts: 947000 | #Constraints: 28663
2415.84/2422.79 c #Conflicts: 948000 | #Constraints: 29663
2415.84/2422.79 c #Conflicts: 949000 | #Constraints: 30663
2415.84/2422.79 c #Conflicts: 950000 | #Constraints: 31663
2415.84/2422.79 c #Conflicts: 951000 | #Constraints: 32663
2415.84/2422.79 c #Conflicts: 952000 | #Constraints: 33663
2415.84/2422.79 c #Conflicts: 953000 | #Constraints: 34663
2415.84/2422.79 c #Conflicts: 954000 | #Constraints: 35663
2415.84/2422.79 c #Conflicts: 955000 | #Constraints: 36663
2415.84/2422.79 c #Conflicts: 956000 | #Constraints: 37663
2415.84/2422.79 c #Conflicts: 957000 | #Constraints: 38663
2415.84/2422.79 c #Conflicts: 958000 | #Constraints: 39663
2415.84/2422.79 c #Conflicts: 959000 | #Constraints: 40663
2415.84/2422.79 c #Conflicts: 960000 | #Constraints: 41663
2415.84/2422.79 c #Conflicts: 961000 | #Constraints: 42663
2415.84/2422.79 c INPROCESSING
2415.84/2422.79 c GARBAGE COLLECT
2415.84/2422.79 c #Conflicts: 962000 | #Constraints: 24275
2415.84/2422.79 c #Conflicts: 963000 | #Constraints: 25275
2415.84/2422.79 c #Conflicts: 964000 | #Constraints: 26275
2415.84/2422.79 c #Conflicts: 965000 | #Constraints: 27275
2415.84/2422.79 c #Conflicts: 966000 | #Constraints: 28275
2415.84/2422.79 c #Conflicts: 967000 | #Constraints: 29275
2415.84/2422.79 c #Conflicts: 968000 | #Constraints: 30275
2415.84/2422.79 c #Conflicts: 969000 | #Constraints: 31275
2632.09/2639.56 c #Conflicts: 970000 | #Constraints: 32275
2632.09/2639.56 c #Conflicts: 971000 | #Constraints: 33275
2632.09/2639.56 c #Conflicts: 972000 | #Constraints: 34275
2632.09/2639.56 c #Conflicts: 973000 | #Constraints: 35275
2632.09/2639.56 c #Conflicts: 974000 | #Constraints: 36275
2632.09/2639.56 c #Conflicts: 975000 | #Constraints: 37275
2632.09/2639.56 c #Conflicts: 976000 | #Constraints: 38275
2632.09/2639.56 c #Conflicts: 977000 | #Constraints: 39275
2632.09/2639.56 c #Conflicts: 978000 | #Constraints: 40275
2632.09/2639.56 c #Conflicts: 979000 | #Constraints: 41275
2632.09/2639.56 c #Conflicts: 980000 | #Constraints: 42275
2632.09/2639.56 c #Conflicts: 981000 | #Constraints: 43275
2632.09/2639.56 c INPROCESSING
2632.09/2639.56 c GARBAGE COLLECT
2632.09/2639.56 c #Conflicts: 982000 | #Constraints: 24676
2632.09/2639.56 c #Conflicts: 983000 | #Constraints: 25676
2632.09/2639.56 c #Conflicts: 984000 | #Constraints: 26676
2632.09/2639.56 c #Conflicts: 985000 | #Constraints: 27676
2632.09/2639.56 c #Conflicts: 986000 | #Constraints: 28676
2632.09/2639.56 c #Conflicts: 987000 | #Constraints: 29676
2632.09/2639.56 c #Conflicts: 988000 | #Constraints: 30676
2632.09/2639.56 c #Conflicts: 989000 | #Constraints: 31676
2632.09/2639.56 c #Conflicts: 990000 | #Constraints: 32676
2632.09/2639.56 c #Conflicts: 991000 | #Constraints: 33676
2632.09/2639.56 c #Conflicts: 992000 | #Constraints: 34676
2632.09/2639.56 c #Conflicts: 993000 | #Constraints: 35676
2632.09/2639.56 c #Conflicts: 994000 | #Constraints: 36676
2632.09/2639.56 c #Conflicts: 995000 | #Constraints: 37676
2632.09/2639.56 c #Conflicts: 996000 | #Constraints: 38676
2632.09/2639.56 c #Conflicts: 997000 | #Constraints: 39676
2632.09/2639.56 c #Conflicts: 998000 | #Constraints: 40676
2632.09/2639.56 c #Conflicts: 999000 | #Constraints: 41676
2632.09/2639.56 c #Conflicts: 1000000 | #Constraints: 42676
2632.09/2639.56 c #Conflicts: 1001000 | #Constraints: 43676
2632.09/2639.56 c INPROCESSING
2632.09/2639.56 c GARBAGE COLLECT
2632.09/2639.56 c #Conflicts: 1002000 | #Constraints: 24874
2632.09/2639.56 c #Conflicts: 1003000 | #Constraints: 25874
2632.09/2639.56 c #Conflicts: 1004000 | #Constraints: 26874
2632.09/2639.56 c #Conflicts: 1005000 | #Constraints: 27874
2632.09/2639.56 c #Conflicts: 1006000 | #Constraints: 28874
2632.09/2639.56 c #Conflicts: 1007000 | #Constraints: 29874
2632.09/2639.56 c #Conflicts: 1008000 | #Constraints: 30874
2632.09/2639.56 c #Conflicts: 1009000 | #Constraints: 31874
2632.09/2639.56 c #Conflicts: 1010000 | #Constraints: 32874
2632.09/2639.56 c #Conflicts: 1011000 | #Constraints: 33874
2632.09/2639.56 c #Conflicts: 1012000 | #Constraints: 34874
2632.09/2639.56 c #Conflicts: 1013000 | #Constraints: 35874
2632.09/2639.56 c #Conflicts: 1014000 | #Constraints: 36874
2632.09/2639.56 c #Conflicts: 1015000 | #Constraints: 37874
2632.09/2639.56 c #Conflicts: 1016000 | #Constraints: 38874
2632.09/2639.56 c #Conflicts: 1017000 | #Constraints: 39874
2632.09/2639.56 c #Conflicts: 1018000 | #Constraints: 40874
2632.09/2639.56 c #Conflicts: 1019000 | #Constraints: 41874
2632.09/2639.56 c #Conflicts: 1020000 | #Constraints: 42874
2632.09/2639.56 c #Conflicts: 1021000 | #Constraints: 43874
2632.09/2639.56 c INPROCESSING
2632.09/2639.56 c GARBAGE COLLECT
2632.09/2639.56 c #Conflicts: 1022000 | #Constraints: 24879
2632.09/2639.56 c #Conflicts: 1023000 | #Constraints: 25879
2632.09/2639.56 c #Conflicts: 1024000 | #Constraints: 26879
2632.09/2639.56 c #Conflicts: 1025000 | #Constraints: 27879
2632.09/2639.56 c #Conflicts: 1026000 | #Constraints: 28879
2632.09/2639.56 c #Conflicts: 1027000 | #Constraints: 29879
2632.09/2639.56 c #Conflicts: 1028000 | #Constraints: 30879
2632.09/2639.56 c #Conflicts: 1029000 | #Constraints: 31879
2632.09/2639.56 c #Conflicts: 1030000 | #Constraints: 32879
2632.09/2639.56 c #Conflicts: 1031000 | #Constraints: 33879
2632.09/2639.56 c #Conflicts: 1032000 | #Constraints: 34879
2632.09/2639.56 c #Conflicts: 1033000 | #Constraints: 35879
2632.09/2639.56 c #Conflicts: 1034000 | #Constraints: 36879
2632.09/2639.56 c #Conflicts: 1035000 | #Constraints: 37879
2632.09/2639.56 c #Conflicts: 1036000 | #Constraints: 38879
2632.09/2639.56 c #Conflicts: 1037000 | #Constraints: 39879
2632.09/2639.56 c #Conflicts: 1038000 | #Constraints: 40879
2632.09/2639.56 c #Conflicts: 1039000 | #Constraints: 41879
2632.09/2639.56 c #Conflicts: 1040000 | #Constraints: 42879
2632.09/2639.56 c #Conflicts: 1041000 | #Constraints: 43879
2632.09/2639.56 c INPROCESSING
2632.09/2639.56 c GARBAGE COLLECT
2632.09/2639.56 c #Conflicts: 1042000 | #Constraints: 24675
2632.09/2639.56 c #Conflicts: 1043000 | #Constraints: 25675
2632.09/2639.56 c #Conflicts: 1044000 | #Constraints: 26675
2632.09/2639.56 c #Conflicts: 1045000 | #Constraints: 27675
2875.46/2883.53 c #Conflicts: 1046000 | #Constraints: 28675
2875.46/2883.53 c #Conflicts: 1047000 | #Constraints: 29675
2875.46/2883.53 c #Conflicts: 1048000 | #Constraints: 30675
2875.46/2883.53 c #Conflicts: 1049000 | #Constraints: 31675
2875.46/2883.53 c #Conflicts: 1050000 | #Constraints: 32675
2875.46/2883.53 c #Conflicts: 1051000 | #Constraints: 33675
2875.46/2883.53 c #Conflicts: 1052000 | #Constraints: 34675
2875.46/2883.53 c #Conflicts: 1053000 | #Constraints: 35675
2875.46/2883.53 c #Conflicts: 1054000 | #Constraints: 36675
2875.46/2883.53 c #Conflicts: 1055000 | #Constraints: 37675
2875.46/2883.53 c #Conflicts: 1056000 | #Constraints: 38675
2875.46/2883.53 c #Conflicts: 1057000 | #Constraints: 39675
2875.46/2883.53 c #Conflicts: 1058000 | #Constraints: 40675
2875.46/2883.53 c #Conflicts: 1059000 | #Constraints: 41675
2875.46/2883.53 c #Conflicts: 1060000 | #Constraints: 42675
2875.46/2883.53 c #Conflicts: 1061000 | #Constraints: 43675
2875.46/2883.53 c #Conflicts: 1062000 | #Constraints: 44675
2875.46/2883.53 c INPROCESSING
2875.46/2883.53 c GARBAGE COLLECT
2875.46/2883.53 c #Conflicts: 1063000 | #Constraints: 25272
2875.46/2883.53 c #Conflicts: 1064000 | #Constraints: 26272
2875.46/2883.53 c #Conflicts: 1065000 | #Constraints: 27272
2875.46/2883.53 c #Conflicts: 1066000 | #Constraints: 28272
2875.46/2883.53 c #Conflicts: 1067000 | #Constraints: 29272
2875.46/2883.53 c #Conflicts: 1068000 | #Constraints: 30272
2875.46/2883.53 c #Conflicts: 1069000 | #Constraints: 31272
2875.46/2883.53 c #Conflicts: 1070000 | #Constraints: 32272
2875.46/2883.53 c #Conflicts: 1071000 | #Constraints: 33272
2875.46/2883.53 c #Conflicts: 1072000 | #Constraints: 34272
2875.46/2883.53 c #Conflicts: 1073000 | #Constraints: 35272
2875.46/2883.53 c #Conflicts: 1074000 | #Constraints: 36272
2875.46/2883.53 c #Conflicts: 1075000 | #Constraints: 37272
2875.46/2883.53 c #Conflicts: 1076000 | #Constraints: 38272
2875.46/2883.53 c #Conflicts: 1077000 | #Constraints: 39272
2875.46/2883.53 c #Conflicts: 1078000 | #Constraints: 40272
2875.46/2883.53 c #Conflicts: 1079000 | #Constraints: 41272
2875.46/2883.53 c #Conflicts: 1080000 | #Constraints: 42272
2875.46/2883.53 c #Conflicts: 1081000 | #Constraints: 43272
2875.46/2883.53 c #Conflicts: 1082000 | #Constraints: 44272
2875.46/2883.53 c #Conflicts: 1083000 | #Constraints: 45272
2875.46/2883.53 c INPROCESSING
2875.46/2883.53 c GARBAGE COLLECT
2875.46/2883.53 c #Conflicts: 1084000 | #Constraints: 25671
2875.46/2883.53 c #Conflicts: 1085000 | #Constraints: 26671
2875.46/2883.53 c #Conflicts: 1086000 | #Constraints: 27671
2875.46/2883.53 c #Conflicts: 1087000 | #Constraints: 28671
2875.46/2883.53 c #Conflicts: 1088000 | #Constraints: 29671
2875.46/2883.53 c #Conflicts: 1089000 | #Constraints: 30671
2875.46/2883.53 c #Conflicts: 1090000 | #Constraints: 31671
2875.46/2883.53 c #Conflicts: 1091000 | #Constraints: 32671
2875.46/2883.53 c #Conflicts: 1092000 | #Constraints: 33671
2875.46/2883.53 c #Conflicts: 1093000 | #Constraints: 34671
2875.46/2883.53 c #Conflicts: 1094000 | #Constraints: 35671
2875.46/2883.53 c #Conflicts: 1095000 | #Constraints: 36671
2875.46/2883.53 c #Conflicts: 1096000 | #Constraints: 37671
2875.46/2883.53 c #Conflicts: 1097000 | #Constraints: 38671
2875.46/2883.53 c #Conflicts: 1098000 | #Constraints: 39671
2875.46/2883.53 c #Conflicts: 1099000 | #Constraints: 40671
2875.46/2883.53 c #Conflicts: 1100000 | #Constraints: 41671
2875.46/2883.53 c #Conflicts: 1101000 | #Constraints: 42671
2875.46/2883.53 c #Conflicts: 1102000 | #Constraints: 43671
2875.46/2883.53 c #Conflicts: 1103000 | #Constraints: 44671
2875.46/2883.53 c #Conflicts: 1104000 | #Constraints: 45671
2875.46/2883.53 c INPROCESSING
2875.46/2883.53 c GARBAGE COLLECT
2875.46/2883.53 c #Conflicts: 1105000 | #Constraints: 25871
2875.46/2883.53 c #Conflicts: 1106000 | #Constraints: 26871
2875.46/2883.53 c #Conflicts: 1107000 | #Constraints: 27871
2875.46/2883.53 c #Conflicts: 1108000 | #Constraints: 28871
2875.46/2883.53 c #Conflicts: 1109000 | #Constraints: 29871
2875.46/2883.53 c #Conflicts: 1110000 | #Constraints: 30871
2875.46/2883.53 c #Conflicts: 1111000 | #Constraints: 31871
2875.46/2883.53 c #Conflicts: 1112000 | #Constraints: 32871
2875.46/2883.53 c #Conflicts: 1113000 | #Constraints: 33871
2875.46/2883.53 c #Conflicts: 1114000 | #Constraints: 34871
2875.46/2883.53 c #Conflicts: 1115000 | #Constraints: 35871
2875.46/2883.53 c #Conflicts: 1116000 | #Constraints: 36871
2875.46/2883.53 c #Conflicts: 1117000 | #Constraints: 37871
2875.46/2883.53 c #Conflicts: 1118000 | #Constraints: 38871
2875.46/2883.53 c #Conflicts: 1119000 | #Constraints: 39871
2875.46/2883.53 c #Conflicts: 1120000 | #Constraints: 40871
2875.46/2883.53 c #Conflicts: 1121000 | #Constraints: 41871
2875.46/2883.53 c #Conflicts: 1122000 | #Constraints: 42871
3170.49/3179.35 c #Conflicts: 1123000 | #Constraints: 43871
3170.49/3179.35 c #Conflicts: 1124000 | #Constraints: 44871
3170.49/3179.35 c #Conflicts: 1125000 | #Constraints: 45871
3170.49/3179.35 c INPROCESSING
3170.49/3179.35 c GARBAGE COLLECT
3170.49/3179.35 c #Conflicts: 1126000 | #Constraints: 25881
3170.49/3179.35 c #Conflicts: 1127000 | #Constraints: 26881
3170.49/3179.35 c #Conflicts: 1128000 | #Constraints: 27881
3170.49/3179.35 c #Conflicts: 1129000 | #Constraints: 28881
3170.49/3179.35 c #Conflicts: 1130000 | #Constraints: 29881
3170.49/3179.35 c #Conflicts: 1131000 | #Constraints: 30881
3170.49/3179.35 c #Conflicts: 1132000 | #Constraints: 31881
3170.49/3179.35 c #Conflicts: 1133000 | #Constraints: 32881
3170.49/3179.35 c #Conflicts: 1134000 | #Constraints: 33881
3170.49/3179.35 c #Conflicts: 1135000 | #Constraints: 34881
3170.49/3179.35 c #Conflicts: 1136000 | #Constraints: 35881
3170.49/3179.35 c #Conflicts: 1137000 | #Constraints: 36881
3170.49/3179.35 c #Conflicts: 1138000 | #Constraints: 37881
3170.49/3179.35 c #Conflicts: 1139000 | #Constraints: 38881
3170.49/3179.35 c #Conflicts: 1140000 | #Constraints: 39881
3170.49/3179.35 c #Conflicts: 1141000 | #Constraints: 40881
3170.49/3179.35 c #Conflicts: 1142000 | #Constraints: 41881
3170.49/3179.35 c #Conflicts: 1143000 | #Constraints: 42881
3170.49/3179.35 c #Conflicts: 1144000 | #Constraints: 43881
3170.49/3179.35 c #Conflicts: 1145000 | #Constraints: 44881
3170.49/3179.35 c #Conflicts: 1146000 | #Constraints: 45881
3170.49/3179.35 c INPROCESSING
3170.49/3179.35 c GARBAGE COLLECT
3170.49/3179.35 c #Conflicts: 1147000 | #Constraints: 25670
3170.49/3179.35 c #Conflicts: 1148000 | #Constraints: 26670
3170.49/3179.35 c #Conflicts: 1149000 | #Constraints: 27670
3170.49/3179.35 c #Conflicts: 1150000 | #Constraints: 28670
3170.49/3179.35 c #Conflicts: 1151000 | #Constraints: 29670
3170.49/3179.35 c #Conflicts: 1152000 | #Constraints: 30670
3170.49/3179.35 c #Conflicts: 1153000 | #Constraints: 31670
3170.49/3179.35 c #Conflicts: 1154000 | #Constraints: 32670
3170.49/3179.35 c #Conflicts: 1155000 | #Constraints: 33670
3170.49/3179.35 c #Conflicts: 1156000 | #Constraints: 34670
3170.49/3179.35 c #Conflicts: 1157000 | #Constraints: 35670
3170.49/3179.35 c #Conflicts: 1158000 | #Constraints: 36670
3170.49/3179.35 c #Conflicts: 1159000 | #Constraints: 37670
3170.49/3179.35 c #Conflicts: 1160000 | #Constraints: 38670
3170.49/3179.35 c #Conflicts: 1161000 | #Constraints: 39670
3170.49/3179.35 c #Conflicts: 1162000 | #Constraints: 40670
3170.49/3179.35 c #Conflicts: 1163000 | #Constraints: 41670
3170.49/3179.35 c #Conflicts: 1164000 | #Constraints: 42670
3170.49/3179.35 c #Conflicts: 1165000 | #Constraints: 43670
3170.49/3179.35 c #Conflicts: 1166000 | #Constraints: 44670
3170.49/3179.35 c #Conflicts: 1167000 | #Constraints: 45670
3170.49/3179.35 c #Conflicts: 1168000 | #Constraints: 46670
3170.49/3179.35 c INPROCESSING
3170.49/3179.35 c GARBAGE COLLECT
3170.49/3179.35 c #Conflicts: 1169000 | #Constraints: 26266
3170.49/3179.35 c #Conflicts: 1170000 | #Constraints: 27266
3170.49/3179.35 c #Conflicts: 1171000 | #Constraints: 28266
3170.49/3179.35 c #Conflicts: 1172000 | #Constraints: 29266
3170.49/3179.35 c #Conflicts: 1173000 | #Constraints: 30266
3170.49/3179.35 c #Conflicts: 1174000 | #Constraints: 31266
3170.49/3179.35 c #Conflicts: 1175000 | #Constraints: 32266
3170.49/3179.35 c #Conflicts: 1176000 | #Constraints: 33266
3170.49/3179.35 c #Conflicts: 1177000 | #Constraints: 34266
3170.49/3179.35 c #Conflicts: 1178000 | #Constraints: 35266
3170.49/3179.35 c #Conflicts: 1179000 | #Constraints: 36266
3170.49/3179.35 c #Conflicts: 1180000 | #Constraints: 37266
3170.49/3179.35 c #Conflicts: 1181000 | #Constraints: 38266
3170.49/3179.35 c #Conflicts: 1182000 | #Constraints: 39266
3170.49/3179.35 c #Conflicts: 1183000 | #Constraints: 40266
3170.49/3179.35 c #Conflicts: 1184000 | #Constraints: 41266
3170.49/3179.35 c #Conflicts: 1185000 | #Constraints: 42266
3170.49/3179.35 c #Conflicts: 1186000 | #Constraints: 43266
3170.49/3179.35 c #Conflicts: 1187000 | #Constraints: 44266
3170.49/3179.35 c #Conflicts: 1188000 | #Constraints: 45266
3170.49/3179.35 c #Conflicts: 1189000 | #Constraints: 46266
3170.49/3179.35 c #Conflicts: 1190000 | #Constraints: 47266
3170.49/3179.35 c INPROCESSING
3170.49/3179.35 c GARBAGE COLLECT
3170.49/3179.35 c #Conflicts: 1191000 | #Constraints: 26656
3170.49/3179.35 c #Conflicts: 1192000 | #Constraints: 27656
3170.49/3179.35 c #Conflicts: 1193000 | #Constraints: 28656
3170.49/3179.35 c #Conflicts: 1194000 | #Constraints: 29656
3170.49/3179.35 c #Conflicts: 1195000 | #Constraints: 30656
3170.49/3179.35 c #Conflicts: 1196000 | #Constraints: 31656
3170.49/3179.35 c #Conflicts: 1197000 | #Constraints: 32656
3170.49/3179.35 c #Conflicts: 1198000 | #Constraints: 33656
3496.92/3506.76 c #Conflicts: 1199000 | #Constraints: 34656
3496.92/3506.76 c #Conflicts: 1200000 | #Constraints: 35656
3496.92/3506.76 c #Conflicts: 1201000 | #Constraints: 36656
3496.92/3506.76 c #Conflicts: 1202000 | #Constraints: 37656
3496.92/3506.76 c #Conflicts: 1203000 | #Constraints: 38656
3496.92/3506.76 c #Conflicts: 1204000 | #Constraints: 39656
3496.92/3506.76 c #Conflicts: 1205000 | #Constraints: 40656
3496.92/3506.76 c #Conflicts: 1206000 | #Constraints: 41656
3496.92/3506.76 c #Conflicts: 1207000 | #Constraints: 42656
3496.92/3506.76 c #Conflicts: 1208000 | #Constraints: 43656
3496.92/3506.76 c #Conflicts: 1209000 | #Constraints: 44656
3496.92/3506.76 c #Conflicts: 1210000 | #Constraints: 45656
3496.92/3506.76 c #Conflicts: 1211000 | #Constraints: 46656
3496.92/3506.76 c #Conflicts: 1212000 | #Constraints: 47656
3496.92/3506.76 c INPROCESSING
3496.92/3506.76 c GARBAGE COLLECT
3496.92/3506.76 c #Conflicts: 1213000 | #Constraints: 26851
3496.92/3506.76 c #Conflicts: 1214000 | #Constraints: 27851
3496.92/3506.76 c #Conflicts: 1215000 | #Constraints: 28851
3496.92/3506.76 c #Conflicts: 1216000 | #Constraints: 29851
3496.92/3506.76 c #Conflicts: 1217000 | #Constraints: 30851
3496.92/3506.76 c #Conflicts: 1218000 | #Constraints: 31851
3496.92/3506.76 c #Conflicts: 1219000 | #Constraints: 32851
3496.92/3506.76 c #Conflicts: 1220000 | #Constraints: 33851
3496.92/3506.76 c #Conflicts: 1221000 | #Constraints: 34851
3496.92/3506.76 c #Conflicts: 1222000 | #Constraints: 35851
3496.92/3506.76 c #Conflicts: 1223000 | #Constraints: 36851
3496.92/3506.76 c #Conflicts: 1224000 | #Constraints: 37851
3496.92/3506.76 c #Conflicts: 1225000 | #Constraints: 38851
3496.92/3506.76 c #Conflicts: 1226000 | #Constraints: 39851
3496.92/3506.76 c #Conflicts: 1227000 | #Constraints: 40851
3496.92/3506.76 c #Conflicts: 1228000 | #Constraints: 41851
3496.92/3506.76 c #Conflicts: 1229000 | #Constraints: 42851
3496.92/3506.76 c #Conflicts: 1230000 | #Constraints: 43851
3496.92/3506.76 c #Conflicts: 1231000 | #Constraints: 44851
3496.92/3506.76 c #Conflicts: 1232000 | #Constraints: 45851
3496.92/3506.76 c #Conflicts: 1233000 | #Constraints: 46851
3496.92/3506.76 c #Conflicts: 1234000 | #Constraints: 47851
3496.92/3506.76 c INPROCESSING
3496.92/3506.76 c GARBAGE COLLECT
3496.92/3506.76 c #Conflicts: 1235000 | #Constraints: 26860
3496.92/3506.76 c #Conflicts: 1236000 | #Constraints: 27860
3496.92/3506.76 c #Conflicts: 1237000 | #Constraints: 28860
3496.92/3506.76 c #Conflicts: 1238000 | #Constraints: 29860
3496.92/3506.76 c #Conflicts: 1239000 | #Constraints: 30860
3496.92/3506.76 c #Conflicts: 1240000 | #Constraints: 31860
3496.92/3506.76 c #Conflicts: 1241000 | #Constraints: 32860
3496.92/3506.76 c #Conflicts: 1242000 | #Constraints: 33860
3496.92/3506.76 c #Conflicts: 1243000 | #Constraints: 34860
3496.92/3506.76 c #Conflicts: 1244000 | #Constraints: 35860
3496.92/3506.76 c #Conflicts: 1245000 | #Constraints: 36860
3496.92/3506.76 c #Conflicts: 1246000 | #Constraints: 37860
3496.92/3506.76 c #Conflicts: 1247000 | #Constraints: 38860
3496.92/3506.76 c #Conflicts: 1248000 | #Constraints: 39860
3496.92/3506.76 c #Conflicts: 1249000 | #Constraints: 40860
3496.92/3506.76 c #Conflicts: 1250000 | #Constraints: 41860
3496.92/3506.76 c #Conflicts: 1251000 | #Constraints: 42860
3496.92/3506.76 c #Conflicts: 1252000 | #Constraints: 43860
3496.92/3506.76 c #Conflicts: 1253000 | #Constraints: 44860
3496.92/3506.76 c #Conflicts: 1254000 | #Constraints: 45860
3496.92/3506.76 c #Conflicts: 1255000 | #Constraints: 46860
3496.92/3506.76 c #Conflicts: 1256000 | #Constraints: 47860
3496.92/3506.76 c INPROCESSING
3496.92/3506.76 c GARBAGE COLLECT
3496.92/3506.76 c #Conflicts: 1257000 | #Constraints: 26657
3496.92/3506.76 c #Conflicts: 1258000 | #Constraints: 27657
3496.92/3506.76 c #Conflicts: 1259000 | #Constraints: 28657
3496.92/3506.76 c #Conflicts: 1260000 | #Constraints: 29657
3496.92/3506.76 c #Conflicts: 1261000 | #Constraints: 30657
3496.92/3506.76 c #Conflicts: 1262000 | #Constraints: 31657
3496.92/3506.76 c #Conflicts: 1263000 | #Constraints: 32657
3496.92/3506.76 c #Conflicts: 1264000 | #Constraints: 33657
3496.92/3506.76 c #Conflicts: 1265000 | #Constraints: 34657
3496.92/3506.76 c #Conflicts: 1266000 | #Constraints: 35657
3496.92/3506.76 c #Conflicts: 1267000 | #Constraints: 36657
3496.92/3506.76 c #Conflicts: 1268000 | #Constraints: 37657
3496.92/3506.76 c #Conflicts: 1269000 | #Constraints: 38657
3496.92/3506.76 c #Conflicts: 1270000 | #Constraints: 39657
3496.92/3506.76 c #Conflicts: 1271000 | #Constraints: 40657
3496.92/3506.76 c #Conflicts: 1272000 | #Constraints: 41657
3496.92/3506.76 c #Conflicts: 1273000 | #Constraints: 42657
3496.92/3506.76 c #Conflicts: 1274000 | #Constraints: 43657
3496.92/3506.76 c #Conflicts: 1275000 | #Constraints: 44657
3600.03/3610.10 c #Conflicts: 1276000 | #Constraints: 45657
3600.03/3610.10 c #Conflicts: 1277000 | #Constraints: 46657
3600.03/3610.10 c #Conflicts: 1278000 | #Constraints: 47657
3600.03/3610.10 c #Conflicts: 1279000 | #Constraints: 48657
3600.03/3610.10 c INPROCESSING
3600.03/3610.10 c GARBAGE COLLECT
3600.03/3610.10 c #Conflicts: 1280000 | #Constraints: 27256
3600.03/3610.10 c #Conflicts: 1281000 | #Constraints: 28256
3600.03/3610.10 c #Conflicts: 1282000 | #Constraints: 29256
3600.03/3610.10 c #Conflicts: 1283000 | #Constraints: 30256
3600.03/3610.10 c #Conflicts: 1284000 | #Constraints: 31256
3600.03/3610.10 c #Conflicts: 1285000 | #Constraints: 32256
3600.03/3610.10 c #Conflicts: 1286000 | #Constraints: 33256
3600.03/3610.10 c #Conflicts: 1287000 | #Constraints: 34256
3600.03/3610.10 c #Conflicts: 1288000 | #Constraints: 35256
3600.03/3610.10 c #Conflicts: 1289000 | #Constraints: 36256
3600.03/3610.10 c #Conflicts: 1290000 | #Constraints: 37256
3600.03/3610.10 c #Conflicts: 1291000 | #Constraints: 38256
3600.03/3610.10 c #Conflicts: 1292000 | #Constraints: 39256
3600.03/3610.10 c #Conflicts: 1293000 | #Constraints: 40256
3600.03/3610.10 c #Conflicts: 1294000 | #Constraints: 41256
3600.03/3610.10 c #Conflicts: 1295000 | #Constraints: 42256
3600.03/3610.10 c #Conflicts: 1296000 | #Constraints: 43256
3600.03/3610.10 c #Conflicts: 1297000 | #Constraints: 44256
3600.03/3610.10 c #Conflicts: 1298000 | #Constraints: 45256
3600.03/3610.10 c #Conflicts: 1299000 | #Constraints: 46256
3600.03/3610.10 c Program interrupted by user.
3600.03/3610.10 c cpu time 3591.02 s
3600.03/3610.10 c deterministic time 562590053176 5.63e+11
3600.03/3610.10 c optimization time 74.8378 s
3600.03/3610.10 c total solve time 3216.71 s
3600.03/3610.10 c core-guided solve time 3216.71 s
3600.03/3610.10 c propagation time 2679.41 s
3600.03/3610.10 c conflict analysis time 468.504 s
3600.03/3610.10 c propagations 125955068
3600.03/3610.10 c resolve steps 10148173
3600.03/3610.10 c decisions 4727614
3600.03/3610.10 c conflicts 1299202
3600.03/3610.10 c restarts 2512
3600.03/3610.10 c inprocessing phases 104
3600.03/3610.10 c input clauses 3963
3600.03/3610.10 c input cardinalities 147
3600.03/3610.10 c input general constraints 0
3600.03/3610.10 c input average constraint length 61.79
3600.03/3610.10 c input average constraint degree 27.85
3600.03/3610.10 c learned clauses 442413
3600.03/3610.10 c learned cardinalities 172956
3600.03/3610.10 c learned general constraints 683978
3600.03/3610.10 c learned average constraint length 801.18
3600.03/3610.10 c learned average constraint degree 24963.17
3600.03/3610.10 c watched constraints 346354
3600.03/3610.10 c counting constraints 337624
3600.03/3610.10 c gcd simplifications 27934
3600.03/3610.10 c detected cardinalities 2161
3600.03/3610.10 c weakened non-implied lits 181953630
3600.03/3610.10 c weakened non-implying lits 44376
3600.03/3610.10 c original variables 1968
3600.03/3610.10 c clausal propagations 59621750
3600.03/3610.10 c cardinality propagations 12306864
3600.03/3610.10 c watched propagations 7451762
3600.03/3610.10 c counting propagations 36872222
3600.03/3610.10 c watch lookups 45555682352
3600.03/3610.10 c watch backjump lookups 36650845636
3600.03/3610.10 c watch checks 437388880542
3600.03/3610.10 c propagation checks 39904456476
3600.03/3610.10 c constraint additions 2827523877
3600.03/3610.10 c trail pops 131981610
3600.03/3610.10 c formula constraints 3286
3600.03/3610.10 c learned constraints 1299347
3600.03/3610.10 c bound constraints 147
3600.03/3610.10 c core-guided constraints 677
3600.03/3610.10 c encountered formula constraints 7213612
3600.03/3610.10 c encountered learned constraints 3250200
3600.03/3610.10 c encountered bound constraints 1
3600.03/3610.10 c encountered core-guided constraints 983562
3600.03/3610.10 c LP total time 0 s
3600.03/3610.10 c LP solve time 0 s
3600.03/3610.10 c LP constraints added 0
3600.03/3610.10 c LP constraints removed 0
3600.03/3610.10 c LP pivots internal 0
3600.03/3610.10 c LP pivots root 0
3600.03/3610.10 c LP calls 0
3600.03/3610.10 c LP optimalities 0
3600.03/3610.10 c LP no pivot count 0
3600.03/3610.10 c LP infeasibilities 0
3600.03/3610.10 c LP valid Farkas constraints 0
3600.03/3610.10 c LP learned Farkas constraints 0
3600.03/3610.10 c LP basis resets 0
3600.03/3610.10 c LP cycling count 0
3600.03/3610.10 c LP singular count 0
3600.03/3610.10 c LP no primal count 0
3600.03/3610.10 c LP no farkas count 0
3600.03/3610.10 c LP other issue count 0
3600.03/3610.10 c LP Gomory cuts 0
3600.03/3610.10 c LP learned cuts 0
3600.03/3610.10 c LP deleted cuts 0
3600.03/3610.10 c LP encountered Gomory constraints 0
3600.03/3610.10 c LP encountered Farkas constraints 0
3600.03/3610.10 c LP encountered learned Farkas constraints 0
3600.03/3610.10 c CG auxiliary variables introduced 677
3600.03/3610.10 c CG solutions found 0
3600.03/3610.10 c CG cores constructed 146
3600.03/3610.10 c CG core cardinality constraints returned 0
3600.03/3610.10 c CG unit cores 0
3600.03/3610.10 c CG single cores 146
3600.03/3610.10 c CG blocks removed during cardinality reduction 0
3600.03/3610.10 c CG first core best 0
3600.03/3610.10 c CG decision core best 0
3600.03/3610.10 c CG core reduction tie 0
3600.03/3610.10 c CG core degree average 1.00
3600.03/3610.10 c CG core slack average 3.25
3600.03/3610.10 c CG exhausted 0
3600.03/3610.10 c CG exhaust time 0 s
3600.03/3610.10 c CG trimmed 0
3600.03/3610.10 c CG trim time 0.000746 s
3600.03/3610.10 c CG minimized 0
3600.03/3610.10 c CG minimize time 0 s
3600.03/3610.10 c CG am1 prop time 0.001612 s
3600.03/3610.10 c CG # am1s reformulated 677
3600.03/3610.10 c CG lower bound derived from am1s 678
3600.03/3610.10 c CG # clausal cores 146
3600.03/3610.10 c CG # cardinality cores 0
3600.03/3610.10 c CG # pb cores 0
3600.03/3610.10 c CG # pb reforms 0
3600.03/3610.10 c CG # cores discarded because of pb reform 0
3600.03/3610.10 d LOWERBOUND 824
3600.03/3610.10 d NCORES 146
3600.03/3610.10 d NPBCORES 0
3600.03/3610.10 d NPBREFORM 0
3600.03/3610.10 d NTRIMMED 0
3600.03/3610.10 d NEXHAUSTED 0
3600.03/3610.10 d NAM1S 677
3600.03/3610.10 d AM1LB 678
3600.03/3610.10 c [Papilo Statistics]
3600.03/3610.10 c prepro time 0.00474907s
3600.03/3610.10 c # tsx applied 148
3600.03/3610.10 c # tsx conflicts 5
3600.03/3610.10 c # bound changes 146
3600.03/3610.10 c # side changes 0
3600.03/3610.10 c # coef changes 0
3600.03/3610.10 c # rounds 2
3600.03/3610.10 c # deted vars 299
3600.03/3610.10 c # deted constrs 714
3600.03/3610.10 c # consecutive rounds of only bound changes 0
3600.03/3610.10 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: 63968 MiB (62610 MiB free)
memory of node 1: 64473 MiB (62035 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435464-1721081515/watcher-4435464-1721081515 -o /tmp/evaluation-result-4435464-1721081515/solver-4435464-1721081515 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721074233-821794 --watchdog 3760 mixed-bag HOME/instance-4435464-1721081515.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=827930, runsolver pid=827927
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.09 4.12 4.13 5/261 827931
/proc/meminfo: memFree=127611084/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=109984 memory=41084 CPUtime=0.1 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 7324 0 0 0 9 1 0 0 20 0 1 0 160317642 112623616 10271 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 27496 10271 3996 3002 0 11247 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 109984 KiB
Current children cumulated memory: 41084 KiB
[startup+0.205743 s]*
/proc/loadavg: 4.09 4.12 4.13 5/261 827931
/proc/meminfo: memFree=127609732/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=110788 memory=41932 CPUtime=0.2 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 7527 0 0 0 19 1 0 0 20 0 1 0 160317642 113446912 10483 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 27697 10483 4012 3002 0 11448 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 110788 KiB
Current children cumulated memory: 41932 KiB
[startup+0.305638 s]*
/proc/loadavg: 4.09 4.12 4.13 5/261 827931
/proc/meminfo: memFree=127606372/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=114908 memory=45916 CPUtime=0.3 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 8483 0 0 0 29 1 0 0 20 0 1 0 160317642 117665792 11479 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 28727 11479 4028 3002 0 12478 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114908 KiB
Current children cumulated memory: 45916 KiB
[startup+0.700255 s]
/proc/loadavg: 4.09 4.12 4.13 5/261 827931
/proc/meminfo: memFree=127604880/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=116848 memory=47500 CPUtime=0.69 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 8891 0 0 0 68 1 0 0 20 0 1 0 160317642 119652352 11875 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 29212 11875 4028 3002 0 12963 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 116848 KiB
Current children cumulated memory: 47500 KiB
[startup+1.50023 s]
/proc/loadavg: 4.09 4.12 4.13 5/261 827931
/proc/meminfo: memFree=127598832/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=118844 memory=49084 CPUtime=1.49 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 9282 0 0 0 148 1 0 0 20 0 1 0 160317642 121696256 12271 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 29711 12271 4028 3002 0 13462 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 118844 KiB
Current children cumulated memory: 49084 KiB
[startup+3.10557 s]
/proc/loadavg: 4.09 4.12 4.13 6/261 827931
/proc/meminfo: memFree=127562500/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=142248 memory=71260 CPUtime=3.08 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 14820 0 0 0 307 1 0 0 20 0 1 0 160317642 145661952 17815 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 35562 17815 4028 3002 0 19313 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 142248 KiB
Current children cumulated memory: 71260 KiB
[startup+6.3002 s]
/proc/loadavg: 4.08 4.12 4.13 5/259 827931
/proc/meminfo: memFree=127514216/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=192932 memory=120892 CPUtime=6.27 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 27250 0 0 0 624 3 0 0 20 0 1 0 160317642 197562368 30223 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 48233 30223 4028 3002 0 31984 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 192932 KiB
Current children cumulated memory: 120892 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.13 6/259 827933
/proc/meminfo: memFree=127450896/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=243580 memory=166120 CPUtime=12.66 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 38794 0 0 0 1261 5 0 0 20 0 1 0 160317642 249425920 41530 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 60895 41530 4028 3002 0 44646 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 243580 KiB
Current children cumulated memory: 166120 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.13 4.13 5/259 827980
/proc/meminfo: memFree=128350380/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=243580 memory=167416 CPUtime=25.43 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 39414 0 0 0 2538 5 0 0 20 0 1 0 160317642 249425920 41854 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 60895 41854 4028 3002 0 44646 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 243580 KiB
Current children cumulated memory: 167416 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.11 4.13 5/259 827985
/proc/meminfo: memFree=128209272/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=299984 memory=221504 CPUtime=50.97 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 55574 0 0 0 5089 8 0 0 20 0 1 0 160317642 307183616 55376 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 74996 55376 4058 3002 0 58747 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 299984 KiB
Current children cumulated memory: 221504 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/257 827995
/proc/meminfo: memFree=128076664/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=291828 memory=213636 CPUtime=102.04 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 56954 0 0 0 10195 9 0 0 20 0 1 0 160317642 298831872 53409 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 72957 53409 4058 3002 0 56708 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 291828 KiB
Current children cumulated memory: 213636 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/257 828006
/proc/meminfo: memFree=127970448/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=307264 memory=227700 CPUtime=161.89 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 60771 0 0 0 16179 10 0 0 20 0 1 0 160317642 314638336 56925 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 76816 56925 4058 3002 0 60567 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 307264 KiB
Current children cumulated memory: 227700 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/255 828016
/proc/meminfo: memFree=127918048/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=316932 memory=234844 CPUtime=221.74 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 63110 0 0 0 22163 11 0 0 20 0 1 0 160317642 324538368 58711 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 79233 58711 4058 3002 0 62984 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 316932 KiB
Current children cumulated memory: 234844 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.11 4.11 5/254 828026
/proc/meminfo: memFree=127942708/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=341312 memory=254880 CPUtime=281.59 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 69566 0 0 0 28147 12 0 0 20 0 1 0 160317642 349503488 63720 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 85328 63720 4058 3002 0 69079 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 341312 KiB
Current children cumulated memory: 254880 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.08 4.10 5/254 828037
/proc/meminfo: memFree=128094076/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=239460 memory=171460 CPUtime=341.43 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 73867 0 0 0 34086 57 0 0 20 0 1 0 160317642 245207040 42865 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 59865 42865 4201 3002 0 43616 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 239460 KiB
Current children cumulated memory: 171460 KiB
[startup+402.3 s]
/proc/loadavg: 4.32 4.17 4.13 6/254 828047
/proc/meminfo: memFree=128005336/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=270280 memory=192724 CPUtime=401.27 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 75207 0 0 0 40030 97 0 0 20 0 1 0 160317642 276766720 48181 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 67570 48181 4201 3002 0 51321 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 270280 KiB
Current children cumulated memory: 192724 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.17 4.13 5/254 828057
/proc/meminfo: memFree=127958296/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=271944 memory=208748 CPUtime=461.09 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 75777 0 0 0 45978 131 0 0 20 0 1 0 160317642 278470656 52187 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 67986 52187 4201 3002 0 51737 0
################
# More data... #
################
Current children cumulated memory: 419812 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/256 829668
/proc/meminfo: memFree=126996172/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=529212 memory=427656 CPUtime=2914.15 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 103446 0 0 0 290628 787 0 0 20 0 1 0 160317642 541913088 106914 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 132303 106914 4201 3002 0 116054 0
Current children cumulated CPU time: 2914.15 s
Current children cumulated vsize: 529212 KiB
Current children cumulated memory: 427656 KiB
[startup+2982.3 s]
/proc/loadavg: 4.04 4.09 4.11 5/256 829691
/proc/meminfo: memFree=126983576/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=530932 memory=435200 CPUtime=2973.99 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 103911 0 0 0 296603 796 0 0 20 0 1 0 160317642 543674368 108800 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 132733 108800 4201 3002 0 116484 0
Current children cumulated CPU time: 2973.99 s
Current children cumulated vsize: 530932 KiB
Current children cumulated memory: 435200 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.11 5/257 829702
/proc/meminfo: memFree=126979808/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=534516 memory=437616 CPUtime=3033.83 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 104706 0 0 0 302576 807 0 0 20 0 1 0 160317642 547344384 109404 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 133629 109404 4201 3002 0 117380 0
Current children cumulated CPU time: 3033.83 s
Current children cumulated vsize: 534516 KiB
Current children cumulated memory: 437616 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/256 829713
/proc/meminfo: memFree=126956980/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=538176 memory=446972 CPUtime=3093.69 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 105641 0 0 0 308551 818 0 0 20 0 1 0 160317642 551092224 111743 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 134544 111743 4201 3002 0 118295 0
Current children cumulated CPU time: 3093.69 s
Current children cumulated vsize: 538176 KiB
Current children cumulated memory: 446972 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/256 829724
/proc/meminfo: memFree=126940676/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=542016 memory=451496 CPUtime=3153.53 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 106555 0 0 0 314522 831 0 0 20 0 1 0 160317642 555024384 112874 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 135504 112874 4201 3002 0 119255 0
Current children cumulated CPU time: 3153.53 s
Current children cumulated vsize: 542016 KiB
Current children cumulated memory: 451496 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/255 829734
/proc/meminfo: memFree=126939536/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=542456 memory=451804 CPUtime=3213.37 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 106804 0 0 0 320496 841 0 0 20 0 1 0 160317642 555474944 112951 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 135614 112951 4201 3002 0 119365 0
Current children cumulated CPU time: 3213.37 s
Current children cumulated vsize: 542456 KiB
Current children cumulated memory: 451804 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/255 829744
/proc/meminfo: memFree=126934116/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=543552 memory=452748 CPUtime=3273.2 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 107197 0 0 0 326468 852 0 0 20 0 1 0 160317642 556597248 113187 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 135888 113187 4201 3002 0 119639 0
Current children cumulated CPU time: 3273.2 s
Current children cumulated vsize: 543552 KiB
Current children cumulated memory: 452748 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/254 829755
/proc/meminfo: memFree=126879656/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=546112 memory=468672 CPUtime=3333.02 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 107799 0 0 0 332438 864 0 0 20 0 1 0 160317642 559218688 117168 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 136528 117168 4201 3002 0 120279 0
Current children cumulated CPU time: 3333.02 s
Current children cumulated vsize: 546112 KiB
Current children cumulated memory: 468672 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 829766
/proc/meminfo: memFree=126862156/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=546112 memory=468680 CPUtime=3392.84 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 108024 0 0 0 338413 871 0 0 20 0 1 0 160317642 559218688 117170 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 136528 117170 4201 3002 0 120279 0
Current children cumulated CPU time: 3392.84 s
Current children cumulated vsize: 546112 KiB
Current children cumulated memory: 468680 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/255 829777
/proc/meminfo: memFree=126851996/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=547648 memory=469672 CPUtime=3452.65 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 108455 0 0 0 344386 879 0 0 20 0 1 0 160317642 560791552 117418 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 136912 117418 4201 3002 0 120663 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 547648 KiB
Current children cumulated memory: 469672 KiB
[startup+3522.3 s]
/proc/loadavg: 4.36 4.17 4.12 6/257 829792
/proc/meminfo: memFree=126840896/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=548344 memory=469888 CPUtime=3512.48 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 108786 0 0 0 350360 888 0 0 20 0 1 0 160317642 561504256 117472 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 137086 117472 4201 3002 0 120837 0
Current children cumulated CPU time: 3512.48 s
Current children cumulated vsize: 548344 KiB
Current children cumulated memory: 469888 KiB
[startup+3582.3 s]
/proc/loadavg: 3.61 4.01 4.06 3/243 829863
/proc/meminfo: memFree=127885196/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=549696 memory=475116 CPUtime=3572.3 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 109230 0 0 0 356332 898 0 0 20 0 1 0 160317642 562888704 118779 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 137424 118779 4201 3002 0 121175 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 549696 KiB
Current children cumulated memory: 475116 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 2.97 3.82 4.00 3/243 829868
/proc/meminfo: memFree=127885028/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=549696 memory=475132 CPUtime=3600.03 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 109365 0 0 0 359101 902 0 0 20 0 1 0 160317642 562888704 118783 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 137424 118783 4201 3002 0 121175 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 549696 KiB
Current children cumulated memory: 475132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 827930 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.02 s, system=9.0315 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 2.97 3.82 4.00 3/243 829868
/proc/meminfo: memFree=127885028/131524600 swapFree=131071996/131071996
[pid=827930] ppid=827927 vsize=549696 memory=475132 CPUtime=3600.03 cores=1,3
/proc/827930/stat : 827930 (mixed-bag) R 827927 827930 821782 0 -1 4194304 109365 0 0 0 359101 902 0 0 20 0 1 0 160317642 562888704 118783 134679101440 4194304 16487941 140735991282800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26738688 140735991284759 140735991284836 140735991284836 140735991291851 0
/proc/827930/statm: 137424 118783 4201 3002 0 121175 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 549696 KiB
Current children cumulated memory: 475132 KiB
Child status: 0
Real time (s): 3610.11
CPU time (s): 3600.05
CPU user time (s): 3591.02
CPU system time (s): 9.0315
CPU usage (%): 99.7214
Max. virtual memory (cumulated for all children) (KiB): 549696
Max. memory (cumulated for all children) (KiB): 475132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.02
system time used= 9.0315
maximum resident set size= 475132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109386
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126
involuntary context switches= 2370
# summary of solver processes directly reported to runsolver:
# pid: 827930
# total CPU time (s): 3600.05
# total CPU user time (s): 3591.02
# total CPU system time (s): 9.0315
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42379 second user time and 16.3705 second system time
The end
Begin job on nodeC026 at 2024-07-16 00:12:07
IDJOB=4435464
IDBENCH=147528
IDSOLVER=3066
FILE ID=nodeC026/4435464-1721081515
RUNJOBID= nodeC026-1721074233-821794
SLURM_JOB_ID= 7505548
Free space on /tmp= 890012 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435464-1721081515/watcher-4435464-1721081515 -o /tmp/evaluation-result-4435464-1721081515/solver-4435464-1721081515 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721074233-821794 --watchdog 3760 mixed-bag HOME/instance-4435464-1721081515.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 814b6c4383076cbdda85b96364bc781d
RANDOM SEED=1566032826
nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.475
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.519
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.155
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.973
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.469
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.065
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.923
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.112
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127637312 kB
MemAvailable: 128487984 kB
Buffers: 383660 kB
Cached: 1301952 kB
SwapCached: 0 kB
Active: 693236 kB
Inactive: 2596628 kB
Active(anon): 1572 kB
Inactive(anon): 1640396 kB
Active(file): 691664 kB
Inactive(file): 956232 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16464 kB
Writeback: 0 kB
AnonPages: 1601280 kB
Mapped: 128500 kB
Shmem: 37720 kB
KReclaimable: 85196 kB
Slab: 189660 kB
SReclaimable: 85196 kB
SUnreclaim: 104464 kB
KernelStack: 4176 kB
PageTables: 12788 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2104432 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61600 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1132544 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 232148 kB
DirectMap2M: 20512768 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890052 MiB
End job on nodeC026 at 2024-07-16 01:12:18