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.42/300.26 c [STEP] preprocessing done, loading into solver
299.42/300.27 c [STEP] solving
299.42/300.27 c #variables 1638 #constraints 3207
299.42/300.27 c SMALL=int, LARGE=long long
299.42/300.27 c bounds - >= 0 @ 299.394
299.42/300.27 c stratification level: 0
299.51/300.32 c bounds - >= 658 @ 299.397
299.51/300.32 c bounds - >= 659 @ 299.399
299.51/300.32 c bounds - >= 660 @ 299.4
299.51/300.32 c bounds - >= 661 @ 299.4
299.51/300.32 c bounds - >= 662 @ 299.4
299.51/300.32 c bounds - >= 663 @ 299.4
299.51/300.32 c bounds - >= 664 @ 299.4
299.51/300.32 c bounds - >= 665 @ 299.401
299.51/300.32 c bounds - >= 666 @ 299.401
299.51/300.32 c bounds - >= 667 @ 299.401
299.51/300.32 c bounds - >= 668 @ 299.401
299.51/300.32 c bounds - >= 669 @ 299.401
299.51/300.32 c bounds - >= 670 @ 299.402
299.51/300.32 c bounds - >= 671 @ 299.402
299.51/300.32 c bounds - >= 672 @ 299.402
299.51/300.32 c bounds - >= 673 @ 299.402
299.51/300.32 c bounds - >= 674 @ 299.402
299.51/300.32 c bounds - >= 675 @ 299.402
299.51/300.32 c bounds - >= 676 @ 299.402
299.51/300.32 c bounds - >= 677 @ 299.402
299.51/300.32 c bounds - >= 678 @ 299.402
299.51/300.32 c bounds - >= 679 @ 299.403
299.51/300.32 c bounds - >= 680 @ 299.403
299.51/300.32 c bounds - >= 681 @ 299.403
299.51/300.32 c bounds - >= 682 @ 299.403
299.51/300.32 c bounds - >= 683 @ 299.403
299.51/300.32 c bounds - >= 684 @ 299.403
299.51/300.32 c bounds - >= 685 @ 299.403
299.51/300.32 c bounds - >= 686 @ 299.403
299.51/300.32 c bounds - >= 687 @ 299.403
299.51/300.32 c bounds - >= 688 @ 299.403
299.51/300.32 c bounds - >= 689 @ 299.403
299.51/300.32 c bounds - >= 690 @ 299.403
299.51/300.32 c bounds - >= 691 @ 299.403
299.51/300.32 c bounds - >= 692 @ 299.403
299.51/300.32 c bounds - >= 693 @ 299.403
299.51/300.32 c bounds - >= 694 @ 299.403
299.51/300.32 c bounds - >= 695 @ 299.403
299.51/300.32 c bounds - >= 696 @ 299.403
299.51/300.32 c bounds - >= 697 @ 299.403
299.51/300.32 c bounds - >= 698 @ 299.403
299.51/300.32 c bounds - >= 699 @ 299.403
299.51/300.32 c bounds - >= 700 @ 299.403
299.51/300.32 c bounds - >= 701 @ 299.403
299.51/300.32 c bounds - >= 702 @ 299.403
299.51/300.32 c bounds - >= 703 @ 299.403
299.51/300.32 c bounds - >= 704 @ 299.403
299.51/300.32 c bounds - >= 705 @ 299.403
299.51/300.32 c bounds - >= 706 @ 299.403
299.51/300.32 c bounds - >= 707 @ 299.404
299.51/300.32 c bounds - >= 708 @ 299.404
299.51/300.32 c bounds - >= 709 @ 299.404
299.51/300.32 c bounds - >= 710 @ 299.405
299.51/300.32 c bounds - >= 711 @ 299.405
299.51/300.32 c bounds - >= 712 @ 299.405
299.51/300.32 c bounds - >= 713 @ 299.405
299.51/300.32 c bounds - >= 714 @ 299.405
299.51/300.32 c bounds - >= 715 @ 299.405
299.51/300.32 c bounds - >= 716 @ 299.405
299.51/300.32 c bounds - >= 717 @ 299.405
299.51/300.32 c bounds - >= 718 @ 299.405
299.51/300.32 c bounds - >= 719 @ 299.405
299.51/300.32 c bounds - >= 720 @ 299.405
299.51/300.32 c bounds - >= 721 @ 299.406
299.51/300.32 c bounds - >= 722 @ 299.406
299.51/300.32 c bounds - >= 723 @ 299.406
299.51/300.32 c bounds - >= 724 @ 299.406
299.51/300.32 c bounds - >= 725 @ 299.406
299.51/300.32 c bounds - >= 726 @ 299.406
299.51/300.32 c bounds - >= 727 @ 299.406
299.51/300.32 c bounds - >= 728 @ 299.407
299.51/300.32 c bounds - >= 729 @ 299.407
299.51/300.32 c bounds - >= 730 @ 299.407
299.51/300.32 c bounds - >= 731 @ 299.407
299.51/300.32 c bounds - >= 732 @ 299.407
299.51/300.32 c bounds - >= 733 @ 299.407
299.51/300.32 c bounds - >= 734 @ 299.407
299.51/300.32 c bounds - >= 735 @ 299.408
299.51/300.32 c bounds - >= 736 @ 299.408
299.51/300.32 c bounds - >= 737 @ 299.408
299.51/300.32 c bounds - >= 738 @ 299.408
299.51/300.32 c bounds - >= 739 @ 299.409
299.51/300.32 c bounds - >= 740 @ 299.409
299.51/300.32 c bounds - >= 741 @ 299.409
299.51/300.32 c bounds - >= 742 @ 299.409
299.51/300.32 c bounds - >= 743 @ 299.409
299.51/300.32 c bounds - >= 744 @ 299.409
299.51/300.32 c bounds - >= 745 @ 299.41
299.51/300.32 c bounds - >= 746 @ 299.41
299.51/300.32 c bounds - >= 747 @ 299.41
299.51/300.32 c bounds - >= 748 @ 299.41
299.51/300.32 c bounds - >= 749 @ 299.411
299.51/300.32 c bounds - >= 750 @ 299.411
299.51/300.32 c bounds - >= 751 @ 299.411
299.51/300.32 c bounds - >= 752 @ 299.411
299.51/300.32 c bounds - >= 753 @ 299.411
299.51/300.32 c bounds - >= 754 @ 299.411
299.51/300.32 c bounds - >= 755 @ 299.411
299.51/300.32 c bounds - >= 756 @ 299.411
299.51/300.32 c bounds - >= 757 @ 299.411
299.51/300.32 c bounds - >= 758 @ 299.412
299.51/300.32 c bounds - >= 759 @ 299.412
299.51/300.32 c bounds - >= 760 @ 299.412
299.51/300.32 c bounds - >= 761 @ 299.413
299.51/300.32 c bounds - >= 762 @ 299.413
299.51/300.32 c bounds - >= 763 @ 299.413
299.51/300.32 c bounds - >= 764 @ 299.414
299.51/300.32 c bounds - >= 765 @ 299.414
299.51/300.32 c bounds - >= 766 @ 299.414
299.51/300.32 c bounds - >= 767 @ 299.414
299.51/300.32 c bounds - >= 768 @ 299.414
299.51/300.32 c bounds - >= 769 @ 299.414
299.51/300.32 c bounds - >= 770 @ 299.414
299.51/300.32 c bounds - >= 771 @ 299.414
299.51/300.32 c bounds - >= 772 @ 299.414
299.51/300.32 c bounds - >= 773 @ 299.414
299.51/300.32 c bounds - >= 774 @ 299.414
299.51/300.32 c bounds - >= 775 @ 299.414
299.51/300.32 c bounds - >= 776 @ 299.414
299.51/300.32 c bounds - >= 777 @ 299.414
299.51/300.32 c bounds - >= 778 @ 299.414
299.51/300.32 c bounds - >= 779 @ 299.415
299.51/300.32 c bounds - >= 780 @ 299.415
299.51/300.32 c bounds - >= 781 @ 299.416
299.51/300.32 c bounds - >= 782 @ 299.416
299.51/300.32 c bounds - >= 783 @ 299.416
299.51/300.32 c bounds - >= 784 @ 299.416
299.51/300.32 c bounds - >= 785 @ 299.416
299.51/300.32 c bounds - >= 786 @ 299.417
299.51/300.32 c bounds - >= 787 @ 299.417
299.51/300.32 c bounds - >= 788 @ 299.417
299.51/300.32 c bounds - >= 789 @ 299.417
299.51/300.32 c bounds - >= 790 @ 299.417
299.51/300.32 c bounds - >= 791 @ 299.417
299.51/300.32 c bounds - >= 792 @ 299.418
299.51/300.32 c bounds - >= 793 @ 299.418
299.51/300.32 c bounds - >= 794 @ 299.419
299.51/300.32 c bounds - >= 795 @ 299.419
299.51/300.32 c bounds - >= 796 @ 299.419
299.51/300.32 c bounds - >= 797 @ 299.42
299.51/300.32 c bounds - >= 798 @ 299.42
299.51/300.32 c bounds - >= 799 @ 299.421
299.51/300.32 c bounds - >= 800 @ 299.421
299.51/300.32 c bounds - >= 801 @ 299.421
299.51/300.32 c bounds - >= 802 @ 299.421
299.51/300.32 c bounds - >= 803 @ 299.421
299.51/300.32 c bounds - >= 804 @ 299.422
355.94/356.95 c bounds - >= 805 @ 299.422
355.94/356.95 c bounds - >= 806 @ 299.423
355.94/356.95 c #Conflicts: 1000 | #Constraints: 5157
355.94/356.95 c #Conflicts: 2000 | #Constraints: 6157
355.94/356.95 c INPROCESSING
355.94/356.95 c GARBAGE COLLECT
355.94/356.95 c #Conflicts: 3000 | #Constraints: 6000
355.94/356.95 c #Conflicts: 4000 | #Constraints: 7000
355.94/356.95 c INPROCESSING
355.94/356.95 c GARBAGE COLLECT
355.94/356.95 c #Conflicts: 5000 | #Constraints: 6393
355.94/356.95 c #Conflicts: 6000 | #Constraints: 7393
355.94/356.95 c INPROCESSING
355.94/356.95 c GARBAGE COLLECT
355.94/356.95 c #Conflicts: 7000 | #Constraints: 6390
355.94/356.95 c #Conflicts: 8000 | #Constraints: 7390
355.94/356.95 c #Conflicts: 9000 | #Constraints: 8390
355.94/356.95 c INPROCESSING
355.94/356.95 c GARBAGE COLLECT
355.94/356.95 c #Conflicts: 10000 | #Constraints: 7082
355.94/356.95 c #Conflicts: 11000 | #Constraints: 8082
355.94/356.95 c #Conflicts: 12000 | #Constraints: 9082
355.94/356.95 c INPROCESSING
355.94/356.95 c GARBAGE COLLECT
355.94/356.95 c #Conflicts: 13000 | #Constraints: 7528
355.94/356.95 c #Conflicts: 14000 | #Constraints: 8528
355.94/356.95 c #Conflicts: 15000 | #Constraints: 9528
355.94/356.95 c INPROCESSING
355.94/356.95 c GARBAGE COLLECT
355.94/356.95 c #Conflicts: 16000 | #Constraints: 7740
355.94/356.95 c #Conflicts: 17000 | #Constraints: 8740
355.94/356.95 c #Conflicts: 18000 | #Constraints: 9740
355.94/356.95 c INPROCESSING
355.94/356.95 c GARBAGE COLLECT
355.94/356.95 c #Conflicts: 19000 | #Constraints: 7765
355.94/356.95 c #Conflicts: 20000 | #Constraints: 8765
355.94/356.95 c #Conflicts: 21000 | #Constraints: 9765
355.94/356.95 c INPROCESSING
355.94/356.95 c GARBAGE COLLECT
355.94/356.95 c #Conflicts: 22000 | #Constraints: 7570
355.94/356.95 c #Conflicts: 23000 | #Constraints: 8570
355.94/356.95 c #Conflicts: 24000 | #Constraints: 9570
355.94/356.95 c #Conflicts: 25000 | #Constraints: 10570
355.94/356.95 c INPROCESSING
355.94/356.95 c GARBAGE COLLECT
355.94/356.95 c #Conflicts: 26000 | #Constraints: 8167
355.94/356.95 c #Conflicts: 27000 | #Constraints: 9167
355.94/356.95 c #Conflicts: 28000 | #Constraints: 10167
355.94/356.95 c #Conflicts: 29000 | #Constraints: 11167
355.94/356.95 c INPROCESSING
355.94/356.95 c GARBAGE COLLECT
355.94/356.95 c #Conflicts: 30000 | #Constraints: 8569
355.94/356.95 c #Conflicts: 31000 | #Constraints: 9569
355.94/356.95 c #Conflicts: 32000 | #Constraints: 10569
355.94/356.95 c #Conflicts: 33000 | #Constraints: 11569
355.94/356.95 c INPROCESSING
355.94/356.95 c GARBAGE COLLECT
355.94/356.95 c #Conflicts: 34000 | #Constraints: 8770
355.94/356.95 c #Conflicts: 35000 | #Constraints: 9770
355.94/356.95 c #Conflicts: 36000 | #Constraints: 10770
355.94/356.95 c #Conflicts: 37000 | #Constraints: 11770
355.94/356.95 c INPROCESSING
355.94/356.95 c GARBAGE COLLECT
355.94/356.95 c #Conflicts: 38000 | #Constraints: 8769
355.94/356.95 c #Conflicts: 39000 | #Constraints: 9769
355.94/356.95 c #Conflicts: 40000 | #Constraints: 10769
355.94/356.95 c #Conflicts: 41000 | #Constraints: 11769
355.94/356.95 c INPROCESSING
355.94/356.95 c GARBAGE COLLECT
355.94/356.95 c #Conflicts: 42000 | #Constraints: 8579
355.94/356.95 c #Conflicts: 43000 | #Constraints: 9579
355.94/356.95 c #Conflicts: 44000 | #Constraints: 10579
355.94/356.95 c #Conflicts: 45000 | #Constraints: 11579
355.94/356.95 c #Conflicts: 46000 | #Constraints: 12579
355.94/356.95 c INPROCESSING
355.94/356.95 c GARBAGE COLLECT
355.94/356.95 c #Conflicts: 47000 | #Constraints: 9177
355.94/356.95 c #Conflicts: 48000 | #Constraints: 10177
355.94/356.95 c #Conflicts: 49000 | #Constraints: 11177
355.94/356.95 c #Conflicts: 50000 | #Constraints: 12177
355.94/356.95 c #Conflicts: 51000 | #Constraints: 13177
355.94/356.95 c INPROCESSING
355.94/356.95 c GARBAGE COLLECT
355.94/356.95 c #Conflicts: 52000 | #Constraints: 9576
355.94/356.95 c #Conflicts: 53000 | #Constraints: 10576
355.94/356.95 c #Conflicts: 54000 | #Constraints: 11576
355.94/356.95 c #Conflicts: 55000 | #Constraints: 12576
355.94/356.95 c #Conflicts: 56000 | #Constraints: 13576
355.94/356.95 c INPROCESSING
355.94/356.95 c GARBAGE COLLECT
355.94/356.95 c #Conflicts: 57000 | #Constraints: 9776
355.94/356.95 c #Conflicts: 58000 | #Constraints: 10776
355.94/356.95 c #Conflicts: 59000 | #Constraints: 11776
355.94/356.95 c #Conflicts: 60000 | #Constraints: 12776
355.94/356.95 c #Conflicts: 61000 | #Constraints: 13776
355.94/356.95 c INPROCESSING
355.94/356.95 c GARBAGE COLLECT
355.94/356.95 c #Conflicts: 62000 | #Constraints: 9775
355.94/356.95 c #Conflicts: 63000 | #Constraints: 10775
355.94/356.95 c #Conflicts: 64000 | #Constraints: 11775
355.94/356.95 c #Conflicts: 65000 | #Constraints: 12775
355.94/356.95 c #Conflicts: 66000 | #Constraints: 13775
355.94/356.95 c INPROCESSING
355.94/356.95 c GARBAGE COLLECT
355.94/356.95 c #Conflicts: 67000 | #Constraints: 9573
429.71/431.01 c #Conflicts: 68000 | #Constraints: 10573
429.71/431.01 c #Conflicts: 69000 | #Constraints: 11573
429.71/431.01 c #Conflicts: 70000 | #Constraints: 12573
429.71/431.01 c #Conflicts: 71000 | #Constraints: 13573
429.71/431.01 c #Conflicts: 72000 | #Constraints: 14573
429.71/431.01 c INPROCESSING
429.71/431.01 c GARBAGE COLLECT
429.71/431.01 c #Conflicts: 73000 | #Constraints: 10173
429.71/431.01 c #Conflicts: 74000 | #Constraints: 11173
429.71/431.01 c #Conflicts: 75000 | #Constraints: 12173
429.71/431.01 c #Conflicts: 76000 | #Constraints: 13173
429.71/431.01 c #Conflicts: 77000 | #Constraints: 14173
429.71/431.01 c #Conflicts: 78000 | #Constraints: 15173
429.71/431.01 c INPROCESSING
429.71/431.01 c GARBAGE COLLECT
429.71/431.01 c #Conflicts: 79000 | #Constraints: 10592
429.71/431.01 c #Conflicts: 80000 | #Constraints: 11592
429.71/431.01 c bounds - >= 807 @ 373.532
429.71/431.01 c #Conflicts: 81000 | #Constraints: 12593
429.71/431.01 c #Conflicts: 82000 | #Constraints: 13593
429.71/431.01 c #Conflicts: 83000 | #Constraints: 14593
429.71/431.01 c #Conflicts: 84000 | #Constraints: 15593
429.71/431.01 c INPROCESSING
429.71/431.01 c GARBAGE COLLECT
429.71/431.01 c #Conflicts: 85000 | #Constraints: 10797
429.71/431.01 c #Conflicts: 86000 | #Constraints: 11797
429.71/431.01 c #Conflicts: 87000 | #Constraints: 12797
429.71/431.01 c #Conflicts: 88000 | #Constraints: 13797
429.71/431.01 c #Conflicts: 89000 | #Constraints: 14797
429.71/431.01 c #Conflicts: 90000 | #Constraints: 15797
429.71/431.01 c INPROCESSING
429.71/431.01 c GARBAGE COLLECT
429.71/431.01 c #Conflicts: 91000 | #Constraints: 10798
429.71/431.01 c #Conflicts: 92000 | #Constraints: 11798
429.71/431.01 c #Conflicts: 93000 | #Constraints: 12798
429.71/431.01 c #Conflicts: 94000 | #Constraints: 13798
429.71/431.01 c #Conflicts: 95000 | #Constraints: 14798
429.71/431.01 c #Conflicts: 96000 | #Constraints: 15798
429.71/431.01 c INPROCESSING
429.71/431.01 c GARBAGE COLLECT
429.71/431.01 c #Conflicts: 97000 | #Constraints: 10593
429.71/431.01 c #Conflicts: 98000 | #Constraints: 11593
429.71/431.01 c #Conflicts: 99000 | #Constraints: 12593
429.71/431.01 c #Conflicts: 100000 | #Constraints: 13593
429.71/431.01 c #Conflicts: 101000 | #Constraints: 14593
429.71/431.01 c #Conflicts: 102000 | #Constraints: 15593
429.71/431.01 c #Conflicts: 103000 | #Constraints: 16593
429.71/431.01 c INPROCESSING
429.71/431.01 c GARBAGE COLLECT
429.71/431.01 c #Conflicts: 104000 | #Constraints: 11180
429.71/431.01 c #Conflicts: 105000 | #Constraints: 12180
429.71/431.01 c #Conflicts: 106000 | #Constraints: 13180
429.71/431.01 c #Conflicts: 107000 | #Constraints: 14180
429.71/431.01 c #Conflicts: 108000 | #Constraints: 15180
429.71/431.01 c #Conflicts: 109000 | #Constraints: 16180
429.71/431.01 c #Conflicts: 110000 | #Constraints: 17180
429.71/431.01 c INPROCESSING
429.71/431.01 c GARBAGE COLLECT
429.71/431.01 c #Conflicts: 111000 | #Constraints: 11578
429.71/431.01 c #Conflicts: 112000 | #Constraints: 12578
429.71/431.01 c #Conflicts: 113000 | #Constraints: 13578
429.71/431.01 c #Conflicts: 114000 | #Constraints: 14578
429.71/431.01 c #Conflicts: 115000 | #Constraints: 15578
429.71/431.01 c #Conflicts: 116000 | #Constraints: 16578
429.71/431.01 c #Conflicts: 117000 | #Constraints: 17578
429.71/431.01 c INPROCESSING
429.71/431.01 c GARBAGE COLLECT
429.71/431.01 c #Conflicts: 118000 | #Constraints: 11782
429.71/431.01 c #Conflicts: 119000 | #Constraints: 12782
429.71/431.01 c #Conflicts: 120000 | #Constraints: 13782
429.71/431.01 c #Conflicts: 121000 | #Constraints: 14782
429.71/431.01 c #Conflicts: 122000 | #Constraints: 15782
429.71/431.01 c #Conflicts: 123000 | #Constraints: 16782
429.71/431.01 c #Conflicts: 124000 | #Constraints: 17782
429.71/431.01 c INPROCESSING
429.71/431.01 c GARBAGE COLLECT
429.71/431.01 c #Conflicts: 125000 | #Constraints: 11774
429.71/431.01 c #Conflicts: 126000 | #Constraints: 12774
429.71/431.01 c #Conflicts: 127000 | #Constraints: 13774
429.71/431.01 c #Conflicts: 128000 | #Constraints: 14774
429.71/431.01 c #Conflicts: 129000 | #Constraints: 15774
429.71/431.01 c #Conflicts: 130000 | #Constraints: 16774
429.71/431.01 c #Conflicts: 131000 | #Constraints: 17774
429.71/431.01 c INPROCESSING
429.71/431.01 c GARBAGE COLLECT
429.71/431.01 c #Conflicts: 132000 | #Constraints: 11561
429.71/431.01 c #Conflicts: 133000 | #Constraints: 12561
429.71/431.01 c #Conflicts: 134000 | #Constraints: 13561
429.71/431.01 c #Conflicts: 135000 | #Constraints: 14561
429.71/431.01 c #Conflicts: 136000 | #Constraints: 15561
429.71/431.01 c #Conflicts: 137000 | #Constraints: 16561
429.71/431.01 c #Conflicts: 138000 | #Constraints: 17561
429.71/431.01 c #Conflicts: 139000 | #Constraints: 18561
534.32/535.84 c INPROCESSING
534.32/535.84 c GARBAGE COLLECT
534.32/535.84 c #Conflicts: 140000 | #Constraints: 12158
534.32/535.84 c #Conflicts: 141000 | #Constraints: 13158
534.32/535.84 c #Conflicts: 142000 | #Constraints: 14158
534.32/535.84 c #Conflicts: 143000 | #Constraints: 15158
534.32/535.84 c #Conflicts: 144000 | #Constraints: 16158
534.32/535.84 c #Conflicts: 145000 | #Constraints: 17158
534.32/535.84 c #Conflicts: 146000 | #Constraints: 18158
534.32/535.84 c #Conflicts: 147000 | #Constraints: 19158
534.32/535.84 c INPROCESSING
534.32/535.84 c GARBAGE COLLECT
534.32/535.84 c #Conflicts: 148000 | #Constraints: 12558
534.32/535.84 c #Conflicts: 149000 | #Constraints: 13558
534.32/535.84 c #Conflicts: 150000 | #Constraints: 14558
534.32/535.84 c #Conflicts: 151000 | #Constraints: 15558
534.32/535.84 c #Conflicts: 152000 | #Constraints: 16558
534.32/535.84 c #Conflicts: 153000 | #Constraints: 17558
534.32/535.84 c #Conflicts: 154000 | #Constraints: 18558
534.32/535.84 c #Conflicts: 155000 | #Constraints: 19558
534.32/535.84 c INPROCESSING
534.32/535.84 c GARBAGE COLLECT
534.32/535.84 c #Conflicts: 156000 | #Constraints: 12753
534.32/535.84 c #Conflicts: 157000 | #Constraints: 13753
534.32/535.84 c #Conflicts: 158000 | #Constraints: 14753
534.32/535.84 c #Conflicts: 159000 | #Constraints: 15753
534.32/535.84 c #Conflicts: 160000 | #Constraints: 16753
534.32/535.84 c #Conflicts: 161000 | #Constraints: 17753
534.32/535.84 c #Conflicts: 162000 | #Constraints: 18753
534.32/535.84 c #Conflicts: 163000 | #Constraints: 19753
534.32/535.84 c INPROCESSING
534.32/535.84 c GARBAGE COLLECT
534.32/535.84 c #Conflicts: 164000 | #Constraints: 12750
534.32/535.84 c #Conflicts: 165000 | #Constraints: 13750
534.32/535.84 c #Conflicts: 166000 | #Constraints: 14750
534.32/535.84 c #Conflicts: 167000 | #Constraints: 15750
534.32/535.84 c #Conflicts: 168000 | #Constraints: 16750
534.32/535.84 c #Conflicts: 169000 | #Constraints: 17750
534.32/535.84 c #Conflicts: 170000 | #Constraints: 18750
534.32/535.84 c #Conflicts: 171000 | #Constraints: 19750
534.32/535.84 c INPROCESSING
534.32/535.84 c GARBAGE COLLECT
534.32/535.84 c #Conflicts: 172000 | #Constraints: 12543
534.32/535.84 c #Conflicts: 173000 | #Constraints: 13543
534.32/535.84 c #Conflicts: 174000 | #Constraints: 14543
534.32/535.84 c #Conflicts: 175000 | #Constraints: 15543
534.32/535.84 c #Conflicts: 176000 | #Constraints: 16543
534.32/535.84 c #Conflicts: 177000 | #Constraints: 17543
534.32/535.84 c #Conflicts: 178000 | #Constraints: 18543
534.32/535.84 c #Conflicts: 179000 | #Constraints: 19543
534.32/535.84 c #Conflicts: 180000 | #Constraints: 20543
534.32/535.84 c INPROCESSING
534.32/535.84 c GARBAGE COLLECT
534.32/535.84 c #Conflicts: 181000 | #Constraints: 13150
534.32/535.84 c #Conflicts: 182000 | #Constraints: 14150
534.32/535.84 c #Conflicts: 183000 | #Constraints: 15150
534.32/535.84 c #Conflicts: 184000 | #Constraints: 16150
534.32/535.84 c #Conflicts: 185000 | #Constraints: 17150
534.32/535.84 c #Conflicts: 186000 | #Constraints: 18150
534.32/535.84 c #Conflicts: 187000 | #Constraints: 19150
534.32/535.84 c #Conflicts: 188000 | #Constraints: 20150
534.32/535.84 c #Conflicts: 189000 | #Constraints: 21150
534.32/535.84 c INPROCESSING
534.32/535.84 c GARBAGE COLLECT
534.32/535.84 c #Conflicts: 190000 | #Constraints: 13558
534.32/535.84 c #Conflicts: 191000 | #Constraints: 14558
534.32/535.84 c #Conflicts: 192000 | #Constraints: 15558
534.32/535.84 c #Conflicts: 193000 | #Constraints: 16558
534.32/535.84 c #Conflicts: 194000 | #Constraints: 17558
534.32/535.84 c #Conflicts: 195000 | #Constraints: 18558
534.32/535.84 c #Conflicts: 196000 | #Constraints: 19558
534.32/535.84 c #Conflicts: 197000 | #Constraints: 20558
534.32/535.84 c #Conflicts: 198000 | #Constraints: 21558
534.32/535.84 c INPROCESSING
534.32/535.84 c GARBAGE COLLECT
534.32/535.84 c #Conflicts: 199000 | #Constraints: 13765
534.32/535.84 c #Conflicts: 200000 | #Constraints: 14765
534.32/535.84 c #Conflicts: 201000 | #Constraints: 15765
534.32/535.84 c #Conflicts: 202000 | #Constraints: 16765
534.32/535.84 c #Conflicts: 203000 | #Constraints: 17765
534.32/535.84 c #Conflicts: 204000 | #Constraints: 18765
534.32/535.84 c #Conflicts: 205000 | #Constraints: 19765
534.32/535.84 c #Conflicts: 206000 | #Constraints: 20765
534.32/535.84 c #Conflicts: 207000 | #Constraints: 21765
534.32/535.84 c INPROCESSING
534.32/535.84 c GARBAGE COLLECT
534.32/535.84 c #Conflicts: 208000 | #Constraints: 13758
534.32/535.84 c #Conflicts: 209000 | #Constraints: 14758
534.32/535.84 c #Conflicts: 210000 | #Constraints: 15758
534.32/535.84 c #Conflicts: 211000 | #Constraints: 16758
534.32/535.84 c #Conflicts: 212000 | #Constraints: 17758
653.94/655.78 c #Conflicts: 213000 | #Constraints: 18758
653.94/655.78 c #Conflicts: 214000 | #Constraints: 19758
653.94/655.78 c #Conflicts: 215000 | #Constraints: 20758
653.94/655.78 c #Conflicts: 216000 | #Constraints: 21758
653.94/655.78 c INPROCESSING
653.94/655.78 c GARBAGE COLLECT
653.94/655.78 c #Conflicts: 217000 | #Constraints: 13561
653.94/655.78 c #Conflicts: 218000 | #Constraints: 14561
653.94/655.78 c #Conflicts: 219000 | #Constraints: 15561
653.94/655.78 c #Conflicts: 220000 | #Constraints: 16561
653.94/655.78 c #Conflicts: 221000 | #Constraints: 17561
653.94/655.78 c #Conflicts: 222000 | #Constraints: 18561
653.94/655.78 c #Conflicts: 223000 | #Constraints: 19561
653.94/655.78 c #Conflicts: 224000 | #Constraints: 20561
653.94/655.78 c #Conflicts: 225000 | #Constraints: 21561
653.94/655.78 c #Conflicts: 226000 | #Constraints: 22561
653.94/655.78 c INPROCESSING
653.94/655.78 c GARBAGE COLLECT
653.94/655.78 c #Conflicts: 227000 | #Constraints: 14170
653.94/655.78 c #Conflicts: 228000 | #Constraints: 15170
653.94/655.78 c #Conflicts: 229000 | #Constraints: 16170
653.94/655.78 c #Conflicts: 230000 | #Constraints: 17170
653.94/655.78 c #Conflicts: 231000 | #Constraints: 18170
653.94/655.78 c #Conflicts: 232000 | #Constraints: 19170
653.94/655.78 c #Conflicts: 233000 | #Constraints: 20170
653.94/655.78 c #Conflicts: 234000 | #Constraints: 21170
653.94/655.78 c #Conflicts: 235000 | #Constraints: 22170
653.94/655.78 c #Conflicts: 236000 | #Constraints: 23170
653.94/655.78 c INPROCESSING
653.94/655.78 c GARBAGE COLLECT
653.94/655.78 c #Conflicts: 237000 | #Constraints: 14569
653.94/655.78 c #Conflicts: 238000 | #Constraints: 15569
653.94/655.78 c #Conflicts: 239000 | #Constraints: 16569
653.94/655.78 c #Conflicts: 240000 | #Constraints: 17569
653.94/655.78 c #Conflicts: 241000 | #Constraints: 18569
653.94/655.78 c #Conflicts: 242000 | #Constraints: 19569
653.94/655.78 c #Conflicts: 243000 | #Constraints: 20569
653.94/655.78 c #Conflicts: 244000 | #Constraints: 21569
653.94/655.78 c #Conflicts: 245000 | #Constraints: 22569
653.94/655.78 c #Conflicts: 246000 | #Constraints: 23569
653.94/655.78 c INPROCESSING
653.94/655.78 c GARBAGE COLLECT
653.94/655.78 c #Conflicts: 247000 | #Constraints: 14763
653.94/655.78 c #Conflicts: 248000 | #Constraints: 15763
653.94/655.78 c #Conflicts: 249000 | #Constraints: 16763
653.94/655.78 c #Conflicts: 250000 | #Constraints: 17763
653.94/655.78 c #Conflicts: 251000 | #Constraints: 18763
653.94/655.78 c #Conflicts: 252000 | #Constraints: 19763
653.94/655.78 c #Conflicts: 253000 | #Constraints: 20763
653.94/655.78 c #Conflicts: 254000 | #Constraints: 21763
653.94/655.78 c #Conflicts: 255000 | #Constraints: 22763
653.94/655.78 c #Conflicts: 256000 | #Constraints: 23763
653.94/655.78 c INPROCESSING
653.94/655.78 c GARBAGE COLLECT
653.94/655.78 c #Conflicts: 257000 | #Constraints: 14752
653.94/655.78 c #Conflicts: 258000 | #Constraints: 15752
653.94/655.78 c #Conflicts: 259000 | #Constraints: 16752
653.94/655.78 c #Conflicts: 260000 | #Constraints: 17752
653.94/655.78 c #Conflicts: 261000 | #Constraints: 18752
653.94/655.78 c #Conflicts: 262000 | #Constraints: 19752
653.94/655.78 c #Conflicts: 263000 | #Constraints: 20752
653.94/655.78 c #Conflicts: 264000 | #Constraints: 21752
653.94/655.78 c #Conflicts: 265000 | #Constraints: 22752
653.94/655.78 c #Conflicts: 266000 | #Constraints: 23752
653.94/655.78 c INPROCESSING
653.94/655.78 c GARBAGE COLLECT
653.94/655.78 c #Conflicts: 267000 | #Constraints: 14568
653.94/655.78 c #Conflicts: 268000 | #Constraints: 15568
653.94/655.78 c #Conflicts: 269000 | #Constraints: 16568
653.94/655.78 c #Conflicts: 270000 | #Constraints: 17568
653.94/655.78 c #Conflicts: 271000 | #Constraints: 18568
653.94/655.78 c #Conflicts: 272000 | #Constraints: 19568
653.94/655.78 c #Conflicts: 273000 | #Constraints: 20568
653.94/655.78 c #Conflicts: 274000 | #Constraints: 21568
653.94/655.78 c #Conflicts: 275000 | #Constraints: 22568
653.94/655.78 c #Conflicts: 276000 | #Constraints: 23568
653.94/655.78 c #Conflicts: 277000 | #Constraints: 24568
653.94/655.78 c INPROCESSING
653.94/655.78 c GARBAGE COLLECT
653.94/655.78 c #Conflicts: 278000 | #Constraints: 15166
653.94/655.78 c #Conflicts: 279000 | #Constraints: 16166
653.94/655.78 c #Conflicts: 280000 | #Constraints: 17166
653.94/655.78 c #Conflicts: 281000 | #Constraints: 18166
653.94/655.78 c #Conflicts: 282000 | #Constraints: 19166
653.94/655.78 c #Conflicts: 283000 | #Constraints: 20166
653.94/655.78 c #Conflicts: 284000 | #Constraints: 21166
653.94/655.78 c #Conflicts: 285000 | #Constraints: 22166
653.94/655.78 c #Conflicts: 286000 | #Constraints: 23166
732.26/734.21 c #Conflicts: 287000 | #Constraints: 24166
732.26/734.21 c #Conflicts: 288000 | #Constraints: 25166
732.26/734.21 c INPROCESSING
732.26/734.21 c GARBAGE COLLECT
732.26/734.21 c #Conflicts: 289000 | #Constraints: 15556
732.26/734.21 c #Conflicts: 290000 | #Constraints: 16556
732.26/734.21 c #Conflicts: 291000 | #Constraints: 17556
732.26/734.21 c #Conflicts: 292000 | #Constraints: 18556
732.26/734.21 c #Conflicts: 293000 | #Constraints: 19556
732.26/734.21 c #Conflicts: 294000 | #Constraints: 20556
732.26/734.21 c #Conflicts: 295000 | #Constraints: 21556
732.26/734.21 c #Conflicts: 296000 | #Constraints: 22556
732.26/734.21 c #Conflicts: 297000 | #Constraints: 23556
732.26/734.21 c #Conflicts: 298000 | #Constraints: 24556
732.26/734.21 c #Conflicts: 299000 | #Constraints: 25556
732.26/734.21 c INPROCESSING
732.26/734.21 c GARBAGE COLLECT
732.26/734.21 c #Conflicts: 300000 | #Constraints: 15749
732.26/734.21 c #Conflicts: 301000 | #Constraints: 16749
732.26/734.21 c #Conflicts: 302000 | #Constraints: 17749
732.26/734.21 c #Conflicts: 303000 | #Constraints: 18749
732.26/734.21 c #Conflicts: 304000 | #Constraints: 19749
732.26/734.21 c #Conflicts: 305000 | #Constraints: 20749
732.26/734.21 c #Conflicts: 306000 | #Constraints: 21749
732.26/734.21 c #Conflicts: 307000 | #Constraints: 22749
732.26/734.21 c #Conflicts: 308000 | #Constraints: 23749
732.26/734.21 c #Conflicts: 309000 | #Constraints: 24749
732.26/734.21 c #Conflicts: 310000 | #Constraints: 25749
732.26/734.21 c INPROCESSING
732.26/734.21 c GARBAGE COLLECT
732.26/734.21 c #Conflicts: 311000 | #Constraints: 15741
732.26/734.21 c #Conflicts: 312000 | #Constraints: 16741
732.26/734.21 c #Conflicts: 313000 | #Constraints: 17741
732.26/734.21 c #Conflicts: 314000 | #Constraints: 18741
732.26/734.21 c #Conflicts: 315000 | #Constraints: 19741
732.26/734.21 c #Conflicts: 316000 | #Constraints: 20741
732.26/734.21 c #Conflicts: 317000 | #Constraints: 21741
732.26/734.21 c #Conflicts: 318000 | #Constraints: 22741
732.26/734.21 c #Conflicts: 319000 | #Constraints: 23741
732.26/734.21 c #Conflicts: 320000 | #Constraints: 24741
732.26/734.21 c #Conflicts: 321000 | #Constraints: 25741
732.26/734.21 c INPROCESSING
732.26/734.21 c GARBAGE COLLECT
732.26/734.21 c #Conflicts: 322000 | #Constraints: 15543
732.26/734.21 c #Conflicts: 323000 | #Constraints: 16543
732.26/734.21 c #Conflicts: 324000 | #Constraints: 17543
732.26/734.21 c #Conflicts: 325000 | #Constraints: 18543
732.26/734.21 c #Conflicts: 326000 | #Constraints: 19543
732.26/734.21 c #Conflicts: 327000 | #Constraints: 20543
732.26/734.21 c #Conflicts: 328000 | #Constraints: 21543
732.26/734.21 c #Conflicts: 329000 | #Constraints: 22543
732.26/734.21 c #Conflicts: 330000 | #Constraints: 23543
732.26/734.21 c #Conflicts: 331000 | #Constraints: 24543
732.26/734.21 c #Conflicts: 332000 | #Constraints: 25543
732.26/734.21 c #Conflicts: 333000 | #Constraints: 26543
732.26/734.21 c INPROCESSING
732.26/734.21 c GARBAGE COLLECT
732.26/734.21 c #Conflicts: 334000 | #Constraints: 16147
732.26/734.21 c #Conflicts: 335000 | #Constraints: 17147
732.26/734.21 c #Conflicts: 336000 | #Constraints: 18147
732.26/734.21 c #Conflicts: 337000 | #Constraints: 19147
732.26/734.21 c #Conflicts: 338000 | #Constraints: 20147
732.26/734.21 c #Conflicts: 339000 | #Constraints: 21147
732.26/734.21 c #Conflicts: 340000 | #Constraints: 22147
732.26/734.21 c #Conflicts: 341000 | #Constraints: 23147
732.26/734.21 c #Conflicts: 342000 | #Constraints: 24147
732.26/734.21 c #Conflicts: 343000 | #Constraints: 25147
732.26/734.21 c #Conflicts: 344000 | #Constraints: 26147
732.26/734.21 c #Conflicts: 345000 | #Constraints: 27147
732.26/734.21 c INPROCESSING
732.26/734.21 c GARBAGE COLLECT
732.26/734.21 c #Conflicts: 346000 | #Constraints: 16595
732.26/734.21 c #Conflicts: 347000 | #Constraints: 17595
732.26/734.21 c #Conflicts: 348000 | #Constraints: 18595
732.26/734.21 c #Conflicts: 349000 | #Constraints: 19595
732.26/734.21 c #Conflicts: 350000 | #Constraints: 20595
732.26/734.21 c #Conflicts: 351000 | #Constraints: 21595
732.26/734.21 c #Conflicts: 352000 | #Constraints: 22595
732.26/734.21 c #Conflicts: 353000 | #Constraints: 23595
732.26/734.21 c #Conflicts: 354000 | #Constraints: 24595
732.26/734.21 c #Conflicts: 355000 | #Constraints: 25595
732.26/734.21 c #Conflicts: 356000 | #Constraints: 26595
732.26/734.21 c #Conflicts: 357000 | #Constraints: 27595
732.26/734.21 c INPROCESSING
732.26/734.21 c GARBAGE COLLECT
732.26/734.21 c #Conflicts: 358000 | #Constraints: 16763
732.26/734.21 c #Conflicts: 359000 | #Constraints: 17763
732.26/734.21 c #Conflicts: 360000 | #Constraints: 18763
824.54/826.78 c #Conflicts: 361000 | #Constraints: 19763
824.54/826.78 c #Conflicts: 362000 | #Constraints: 20763
824.54/826.78 c #Conflicts: 363000 | #Constraints: 21763
824.54/826.78 c #Conflicts: 364000 | #Constraints: 22763
824.54/826.78 c #Conflicts: 365000 | #Constraints: 23763
824.54/826.78 c #Conflicts: 366000 | #Constraints: 24763
824.54/826.78 c #Conflicts: 367000 | #Constraints: 25763
824.54/826.78 c #Conflicts: 368000 | #Constraints: 26763
824.54/826.78 c #Conflicts: 369000 | #Constraints: 27763
824.54/826.78 c INPROCESSING
824.54/826.78 c GARBAGE COLLECT
824.54/826.78 c #Conflicts: 370000 | #Constraints: 16752
824.54/826.78 c #Conflicts: 371000 | #Constraints: 17752
824.54/826.78 c #Conflicts: 372000 | #Constraints: 18752
824.54/826.78 c #Conflicts: 373000 | #Constraints: 19752
824.54/826.78 c #Conflicts: 374000 | #Constraints: 20752
824.54/826.78 c #Conflicts: 375000 | #Constraints: 21752
824.54/826.78 c #Conflicts: 376000 | #Constraints: 22752
824.54/826.78 c #Conflicts: 377000 | #Constraints: 23752
824.54/826.78 c #Conflicts: 378000 | #Constraints: 24752
824.54/826.78 c #Conflicts: 379000 | #Constraints: 25752
824.54/826.78 c #Conflicts: 380000 | #Constraints: 26752
824.54/826.78 c #Conflicts: 381000 | #Constraints: 27752
824.54/826.78 c INPROCESSING
824.54/826.78 c GARBAGE COLLECT
824.54/826.78 c #Conflicts: 382000 | #Constraints: 16537
824.54/826.78 c #Conflicts: 383000 | #Constraints: 17537
824.54/826.78 c #Conflicts: 384000 | #Constraints: 18537
824.54/826.78 c #Conflicts: 385000 | #Constraints: 19537
824.54/826.78 c #Conflicts: 386000 | #Constraints: 20537
824.54/826.78 c #Conflicts: 387000 | #Constraints: 21537
824.54/826.78 c #Conflicts: 388000 | #Constraints: 22537
824.54/826.78 c #Conflicts: 389000 | #Constraints: 23537
824.54/826.78 c #Conflicts: 390000 | #Constraints: 24537
824.54/826.78 c #Conflicts: 391000 | #Constraints: 25537
824.54/826.78 c #Conflicts: 392000 | #Constraints: 26537
824.54/826.78 c #Conflicts: 393000 | #Constraints: 27537
824.54/826.78 c #Conflicts: 394000 | #Constraints: 28537
824.54/826.78 c INPROCESSING
824.54/826.78 c GARBAGE COLLECT
824.54/826.78 c #Conflicts: 395000 | #Constraints: 17148
824.54/826.78 c #Conflicts: 396000 | #Constraints: 18148
824.54/826.78 c #Conflicts: 397000 | #Constraints: 19148
824.54/826.78 c #Conflicts: 398000 | #Constraints: 20148
824.54/826.78 c #Conflicts: 399000 | #Constraints: 21148
824.54/826.78 c #Conflicts: 400000 | #Constraints: 22148
824.54/826.78 c #Conflicts: 401000 | #Constraints: 23148
824.54/826.78 c #Conflicts: 402000 | #Constraints: 24148
824.54/826.78 c #Conflicts: 403000 | #Constraints: 25148
824.54/826.78 c #Conflicts: 404000 | #Constraints: 26148
824.54/826.78 c #Conflicts: 405000 | #Constraints: 27148
824.54/826.78 c #Conflicts: 406000 | #Constraints: 28148
824.54/826.78 c #Conflicts: 407000 | #Constraints: 29148
824.54/826.78 c INPROCESSING
824.54/826.78 c GARBAGE COLLECT
824.54/826.78 c #Conflicts: 408000 | #Constraints: 17551
824.54/826.78 c #Conflicts: 409000 | #Constraints: 18551
824.54/826.78 c #Conflicts: 410000 | #Constraints: 19551
824.54/826.78 c #Conflicts: 411000 | #Constraints: 20551
824.54/826.78 c #Conflicts: 412000 | #Constraints: 21551
824.54/826.78 c #Conflicts: 413000 | #Constraints: 22551
824.54/826.78 c #Conflicts: 414000 | #Constraints: 23551
824.54/826.78 c #Conflicts: 415000 | #Constraints: 24551
824.54/826.78 c #Conflicts: 416000 | #Constraints: 25551
824.54/826.78 c #Conflicts: 417000 | #Constraints: 26551
824.54/826.78 c #Conflicts: 418000 | #Constraints: 27551
824.54/826.78 c #Conflicts: 419000 | #Constraints: 28551
824.54/826.78 c #Conflicts: 420000 | #Constraints: 29551
824.54/826.78 c INPROCESSING
824.54/826.78 c GARBAGE COLLECT
824.54/826.78 c #Conflicts: 421000 | #Constraints: 17752
824.54/826.78 c #Conflicts: 422000 | #Constraints: 18752
824.54/826.78 c #Conflicts: 423000 | #Constraints: 19752
824.54/826.78 c #Conflicts: 424000 | #Constraints: 20752
824.54/826.78 c #Conflicts: 425000 | #Constraints: 21752
824.54/826.78 c #Conflicts: 426000 | #Constraints: 22752
824.54/826.78 c #Conflicts: 427000 | #Constraints: 23752
824.54/826.78 c #Conflicts: 428000 | #Constraints: 24752
824.54/826.78 c #Conflicts: 429000 | #Constraints: 25752
824.54/826.78 c #Conflicts: 430000 | #Constraints: 26752
824.54/826.78 c #Conflicts: 431000 | #Constraints: 27752
824.54/826.78 c #Conflicts: 432000 | #Constraints: 28752
824.54/826.78 c #Conflicts: 433000 | #Constraints: 29752
824.54/826.78 c INPROCESSING
824.54/826.78 c GARBAGE COLLECT
824.54/826.78 c #Conflicts: 434000 | #Constraints: 17749
824.54/826.78 c #Conflicts: 435000 | #Constraints: 18749
976.07/978.66 c #Conflicts: 436000 | #Constraints: 19749
976.07/978.66 c #Conflicts: 437000 | #Constraints: 20749
976.07/978.66 c #Conflicts: 438000 | #Constraints: 21749
976.07/978.66 c #Conflicts: 439000 | #Constraints: 22749
976.07/978.66 c #Conflicts: 440000 | #Constraints: 23749
976.07/978.66 c #Conflicts: 441000 | #Constraints: 24749
976.07/978.66 c #Conflicts: 442000 | #Constraints: 25749
976.07/978.66 c #Conflicts: 443000 | #Constraints: 26749
976.07/978.66 c #Conflicts: 444000 | #Constraints: 27749
976.07/978.66 c #Conflicts: 445000 | #Constraints: 28749
976.07/978.66 c #Conflicts: 446000 | #Constraints: 29749
976.07/978.66 c INPROCESSING
976.07/978.66 c GARBAGE COLLECT
976.07/978.66 c #Conflicts: 447000 | #Constraints: 17547
976.07/978.66 c #Conflicts: 448000 | #Constraints: 18547
976.07/978.66 c #Conflicts: 449000 | #Constraints: 19547
976.07/978.66 c #Conflicts: 450000 | #Constraints: 20547
976.07/978.66 c #Conflicts: 451000 | #Constraints: 21547
976.07/978.66 c #Conflicts: 452000 | #Constraints: 22547
976.07/978.66 c #Conflicts: 453000 | #Constraints: 23547
976.07/978.66 c #Conflicts: 454000 | #Constraints: 24547
976.07/978.66 c #Conflicts: 455000 | #Constraints: 25547
976.07/978.66 c #Conflicts: 456000 | #Constraints: 26547
976.07/978.66 c #Conflicts: 457000 | #Constraints: 27547
976.07/978.66 c #Conflicts: 458000 | #Constraints: 28547
976.07/978.66 c #Conflicts: 459000 | #Constraints: 29547
976.07/978.66 c #Conflicts: 460000 | #Constraints: 30547
976.07/978.66 c INPROCESSING
976.07/978.66 c GARBAGE COLLECT
976.07/978.66 c #Conflicts: 461000 | #Constraints: 18151
976.07/978.66 c #Conflicts: 462000 | #Constraints: 19151
976.07/978.66 c #Conflicts: 463000 | #Constraints: 20151
976.07/978.66 c #Conflicts: 464000 | #Constraints: 21151
976.07/978.66 c #Conflicts: 465000 | #Constraints: 22151
976.07/978.66 c #Conflicts: 466000 | #Constraints: 23151
976.07/978.66 c #Conflicts: 467000 | #Constraints: 24151
976.07/978.66 c #Conflicts: 468000 | #Constraints: 25151
976.07/978.66 c #Conflicts: 469000 | #Constraints: 26151
976.07/978.66 c #Conflicts: 470000 | #Constraints: 27151
976.07/978.66 c #Conflicts: 471000 | #Constraints: 28151
976.07/978.66 c #Conflicts: 472000 | #Constraints: 29151
976.07/978.66 c #Conflicts: 473000 | #Constraints: 30151
976.07/978.66 c #Conflicts: 474000 | #Constraints: 31151
976.07/978.66 c INPROCESSING
976.07/978.66 c GARBAGE COLLECT
976.07/978.66 c #Conflicts: 475000 | #Constraints: 18562
976.07/978.66 c #Conflicts: 476000 | #Constraints: 19562
976.07/978.66 c #Conflicts: 477000 | #Constraints: 20562
976.07/978.66 c #Conflicts: 478000 | #Constraints: 21562
976.07/978.66 c #Conflicts: 479000 | #Constraints: 22562
976.07/978.66 c #Conflicts: 480000 | #Constraints: 23562
976.07/978.66 c #Conflicts: 481000 | #Constraints: 24562
976.07/978.66 c #Conflicts: 482000 | #Constraints: 25562
976.07/978.66 c #Conflicts: 483000 | #Constraints: 26562
976.07/978.66 c #Conflicts: 484000 | #Constraints: 27562
976.07/978.66 c #Conflicts: 485000 | #Constraints: 28562
976.07/978.66 c #Conflicts: 486000 | #Constraints: 29562
976.07/978.66 c #Conflicts: 487000 | #Constraints: 30562
976.07/978.66 c #Conflicts: 488000 | #Constraints: 31562
976.07/978.66 c INPROCESSING
976.07/978.66 c GARBAGE COLLECT
976.07/978.66 c #Conflicts: 489000 | #Constraints: 18749
976.07/978.66 c #Conflicts: 490000 | #Constraints: 19749
976.07/978.66 c #Conflicts: 491000 | #Constraints: 20749
976.07/978.66 c #Conflicts: 492000 | #Constraints: 21749
976.07/978.66 c #Conflicts: 493000 | #Constraints: 22749
976.07/978.66 c #Conflicts: 494000 | #Constraints: 23749
976.07/978.66 c #Conflicts: 495000 | #Constraints: 24749
976.07/978.66 c #Conflicts: 496000 | #Constraints: 25749
976.07/978.66 c #Conflicts: 497000 | #Constraints: 26749
976.07/978.66 c #Conflicts: 498000 | #Constraints: 27749
976.07/978.66 c #Conflicts: 499000 | #Constraints: 28749
976.07/978.66 c #Conflicts: 500000 | #Constraints: 29749
976.07/978.66 c #Conflicts: 501000 | #Constraints: 30749
976.07/978.66 c #Conflicts: 502000 | #Constraints: 31749
976.07/978.66 c INPROCESSING
976.07/978.66 c GARBAGE COLLECT
976.07/978.66 c #Conflicts: 503000 | #Constraints: 18753
976.07/978.66 c #Conflicts: 504000 | #Constraints: 19753
976.07/978.66 c #Conflicts: 505000 | #Constraints: 20753
976.07/978.66 c #Conflicts: 506000 | #Constraints: 21753
976.07/978.66 c #Conflicts: 507000 | #Constraints: 22753
976.07/978.66 c #Conflicts: 508000 | #Constraints: 23753
976.07/978.66 c #Conflicts: 509000 | #Constraints: 24753
976.07/978.66 c #Conflicts: 510000 | #Constraints: 25753
976.07/978.66 c #Conflicts: 511000 | #Constraints: 26753
1114.84/1117.71 c #Conflicts: 512000 | #Constraints: 27753
1114.84/1117.71 c #Conflicts: 513000 | #Constraints: 28753
1114.84/1117.71 c #Conflicts: 514000 | #Constraints: 29753
1114.84/1117.71 c #Conflicts: 515000 | #Constraints: 30753
1114.84/1117.71 c #Conflicts: 516000 | #Constraints: 31753
1114.84/1117.71 c INPROCESSING
1114.84/1117.71 c GARBAGE COLLECT
1114.84/1117.71 c #Conflicts: 517000 | #Constraints: 18552
1114.84/1117.71 c #Conflicts: 518000 | #Constraints: 19552
1114.84/1117.71 c #Conflicts: 519000 | #Constraints: 20552
1114.84/1117.71 c #Conflicts: 520000 | #Constraints: 21552
1114.84/1117.71 c #Conflicts: 521000 | #Constraints: 22552
1114.84/1117.71 c #Conflicts: 522000 | #Constraints: 23552
1114.84/1117.71 c #Conflicts: 523000 | #Constraints: 24552
1114.84/1117.71 c #Conflicts: 524000 | #Constraints: 25552
1114.84/1117.71 c #Conflicts: 525000 | #Constraints: 26552
1114.84/1117.71 c #Conflicts: 526000 | #Constraints: 27552
1114.84/1117.71 c #Conflicts: 527000 | #Constraints: 28552
1114.84/1117.71 c #Conflicts: 528000 | #Constraints: 29552
1114.84/1117.71 c #Conflicts: 529000 | #Constraints: 30552
1114.84/1117.71 c #Conflicts: 530000 | #Constraints: 31552
1114.84/1117.71 c #Conflicts: 531000 | #Constraints: 32552
1114.84/1117.71 c INPROCESSING
1114.84/1117.71 c GARBAGE COLLECT
1114.84/1117.71 c #Conflicts: 532000 | #Constraints: 19151
1114.84/1117.71 c #Conflicts: 533000 | #Constraints: 20151
1114.84/1117.71 c #Conflicts: 534000 | #Constraints: 21151
1114.84/1117.71 c #Conflicts: 535000 | #Constraints: 22151
1114.84/1117.71 c #Conflicts: 536000 | #Constraints: 23151
1114.84/1117.71 c #Conflicts: 537000 | #Constraints: 24151
1114.84/1117.71 c #Conflicts: 538000 | #Constraints: 25151
1114.84/1117.71 c #Conflicts: 539000 | #Constraints: 26151
1114.84/1117.71 c #Conflicts: 540000 | #Constraints: 27151
1114.84/1117.71 c #Conflicts: 541000 | #Constraints: 28151
1114.84/1117.71 c #Conflicts: 542000 | #Constraints: 29151
1114.84/1117.71 c #Conflicts: 543000 | #Constraints: 30151
1114.84/1117.71 c #Conflicts: 544000 | #Constraints: 31151
1114.84/1117.71 c #Conflicts: 545000 | #Constraints: 32151
1114.84/1117.71 c #Conflicts: 546000 | #Constraints: 33151
1114.84/1117.71 c INPROCESSING
1114.84/1117.71 c GARBAGE COLLECT
1114.84/1117.71 c #Conflicts: 547000 | #Constraints: 19560
1114.84/1117.71 c #Conflicts: 548000 | #Constraints: 20560
1114.84/1117.71 c #Conflicts: 549000 | #Constraints: 21560
1114.84/1117.71 c #Conflicts: 550000 | #Constraints: 22560
1114.84/1117.71 c #Conflicts: 551000 | #Constraints: 23560
1114.84/1117.71 c #Conflicts: 552000 | #Constraints: 24560
1114.84/1117.71 c #Conflicts: 553000 | #Constraints: 25560
1114.84/1117.71 c #Conflicts: 554000 | #Constraints: 26560
1114.84/1117.71 c #Conflicts: 555000 | #Constraints: 27560
1114.84/1117.71 c #Conflicts: 556000 | #Constraints: 28560
1114.84/1117.71 c #Conflicts: 557000 | #Constraints: 29560
1114.84/1117.71 c #Conflicts: 558000 | #Constraints: 30560
1114.84/1117.71 c #Conflicts: 559000 | #Constraints: 31560
1114.84/1117.71 c #Conflicts: 560000 | #Constraints: 32560
1114.84/1117.71 c #Conflicts: 561000 | #Constraints: 33560
1114.84/1117.71 c INPROCESSING
1114.84/1117.71 c GARBAGE COLLECT
1114.84/1117.71 c #Conflicts: 562000 | #Constraints: 19753
1114.84/1117.71 c #Conflicts: 563000 | #Constraints: 20753
1114.84/1117.71 c #Conflicts: 564000 | #Constraints: 21753
1114.84/1117.71 c #Conflicts: 565000 | #Constraints: 22753
1114.84/1117.71 c #Conflicts: 566000 | #Constraints: 23753
1114.84/1117.71 c #Conflicts: 567000 | #Constraints: 24753
1114.84/1117.71 c #Conflicts: 568000 | #Constraints: 25753
1114.84/1117.71 c #Conflicts: 569000 | #Constraints: 26753
1114.84/1117.71 c #Conflicts: 570000 | #Constraints: 27753
1114.84/1117.71 c #Conflicts: 571000 | #Constraints: 28753
1114.84/1117.71 c #Conflicts: 572000 | #Constraints: 29753
1114.84/1117.71 c #Conflicts: 573000 | #Constraints: 30753
1114.84/1117.71 c #Conflicts: 574000 | #Constraints: 31753
1114.84/1117.71 c #Conflicts: 575000 | #Constraints: 32753
1114.84/1117.71 c #Conflicts: 576000 | #Constraints: 33753
1114.84/1117.71 c INPROCESSING
1114.84/1117.71 c GARBAGE COLLECT
1114.84/1117.71 c #Conflicts: 577000 | #Constraints: 19754
1114.84/1117.71 c #Conflicts: 578000 | #Constraints: 20754
1114.84/1117.71 c #Conflicts: 579000 | #Constraints: 21754
1114.84/1117.71 c #Conflicts: 580000 | #Constraints: 22754
1114.84/1117.71 c #Conflicts: 581000 | #Constraints: 23754
1114.84/1117.71 c #Conflicts: 582000 | #Constraints: 24754
1114.84/1117.71 c #Conflicts: 583000 | #Constraints: 25754
1114.84/1117.71 c #Conflicts: 584000 | #Constraints: 26754
1114.84/1117.71 c #Conflicts: 585000 | #Constraints: 27754
1114.84/1117.71 c #Conflicts: 586000 | #Constraints: 28754
1288.23/1291.54 c #Conflicts: 587000 | #Constraints: 29754
1288.23/1291.54 c #Conflicts: 588000 | #Constraints: 30754
1288.23/1291.54 c #Conflicts: 589000 | #Constraints: 31754
1288.23/1291.54 c #Conflicts: 590000 | #Constraints: 32754
1288.23/1291.54 c #Conflicts: 591000 | #Constraints: 33754
1288.23/1291.54 c INPROCESSING
1288.23/1291.54 c GARBAGE COLLECT
1288.23/1291.54 c #Conflicts: 592000 | #Constraints: 19537
1288.23/1291.54 c #Conflicts: 593000 | #Constraints: 20537
1288.23/1291.54 c #Conflicts: 594000 | #Constraints: 21537
1288.23/1291.54 c #Conflicts: 595000 | #Constraints: 22537
1288.23/1291.54 c #Conflicts: 596000 | #Constraints: 23537
1288.23/1291.54 c #Conflicts: 597000 | #Constraints: 24537
1288.23/1291.54 c #Conflicts: 598000 | #Constraints: 25537
1288.23/1291.54 c #Conflicts: 599000 | #Constraints: 26537
1288.23/1291.54 c #Conflicts: 600000 | #Constraints: 27537
1288.23/1291.54 c #Conflicts: 601000 | #Constraints: 28537
1288.23/1291.54 c #Conflicts: 602000 | #Constraints: 29537
1288.23/1291.54 c #Conflicts: 603000 | #Constraints: 30537
1288.23/1291.54 c #Conflicts: 604000 | #Constraints: 31537
1288.23/1291.54 c #Conflicts: 605000 | #Constraints: 32537
1288.23/1291.54 c #Conflicts: 606000 | #Constraints: 33537
1288.23/1291.54 c #Conflicts: 607000 | #Constraints: 34537
1288.23/1291.54 c INPROCESSING
1288.23/1291.54 c GARBAGE COLLECT
1288.23/1291.54 c #Conflicts: 608000 | #Constraints: 20151
1288.23/1291.54 c #Conflicts: 609000 | #Constraints: 21151
1288.23/1291.54 c #Conflicts: 610000 | #Constraints: 22151
1288.23/1291.54 c #Conflicts: 611000 | #Constraints: 23151
1288.23/1291.54 c #Conflicts: 612000 | #Constraints: 24151
1288.23/1291.54 c #Conflicts: 613000 | #Constraints: 25151
1288.23/1291.54 c #Conflicts: 614000 | #Constraints: 26151
1288.23/1291.54 c #Conflicts: 615000 | #Constraints: 27151
1288.23/1291.54 c #Conflicts: 616000 | #Constraints: 28151
1288.23/1291.54 c #Conflicts: 617000 | #Constraints: 29151
1288.23/1291.54 c #Conflicts: 618000 | #Constraints: 30151
1288.23/1291.54 c #Conflicts: 619000 | #Constraints: 31151
1288.23/1291.54 c #Conflicts: 620000 | #Constraints: 32151
1288.23/1291.54 c #Conflicts: 621000 | #Constraints: 33151
1288.23/1291.54 c #Conflicts: 622000 | #Constraints: 34151
1288.23/1291.54 c #Conflicts: 623000 | #Constraints: 35151
1288.23/1291.54 c INPROCESSING
1288.23/1291.54 c GARBAGE COLLECT
1288.23/1291.54 c #Conflicts: 624000 | #Constraints: 20529
1288.23/1291.54 c #Conflicts: 625000 | #Constraints: 21529
1288.23/1291.54 c #Conflicts: 626000 | #Constraints: 22529
1288.23/1291.54 c #Conflicts: 627000 | #Constraints: 23529
1288.23/1291.54 c #Conflicts: 628000 | #Constraints: 24529
1288.23/1291.54 c #Conflicts: 629000 | #Constraints: 25529
1288.23/1291.54 c #Conflicts: 630000 | #Constraints: 26529
1288.23/1291.54 c #Conflicts: 631000 | #Constraints: 27529
1288.23/1291.54 c #Conflicts: 632000 | #Constraints: 28529
1288.23/1291.54 c #Conflicts: 633000 | #Constraints: 29529
1288.23/1291.54 c #Conflicts: 634000 | #Constraints: 30529
1288.23/1291.54 c #Conflicts: 635000 | #Constraints: 31529
1288.23/1291.54 c #Conflicts: 636000 | #Constraints: 32529
1288.23/1291.54 c #Conflicts: 637000 | #Constraints: 33529
1288.23/1291.54 c #Conflicts: 638000 | #Constraints: 34529
1288.23/1291.54 c #Conflicts: 639000 | #Constraints: 35529
1288.23/1291.54 c INPROCESSING
1288.23/1291.54 c GARBAGE COLLECT
1288.23/1291.54 c #Conflicts: 640000 | #Constraints: 20730
1288.23/1291.54 c #Conflicts: 641000 | #Constraints: 21730
1288.23/1291.54 c #Conflicts: 642000 | #Constraints: 22730
1288.23/1291.54 c #Conflicts: 643000 | #Constraints: 23730
1288.23/1291.54 c #Conflicts: 644000 | #Constraints: 24730
1288.23/1291.54 c #Conflicts: 645000 | #Constraints: 25730
1288.23/1291.54 c #Conflicts: 646000 | #Constraints: 26730
1288.23/1291.54 c #Conflicts: 647000 | #Constraints: 27730
1288.23/1291.54 c #Conflicts: 648000 | #Constraints: 28730
1288.23/1291.54 c #Conflicts: 649000 | #Constraints: 29730
1288.23/1291.54 c #Conflicts: 650000 | #Constraints: 30730
1288.23/1291.54 c #Conflicts: 651000 | #Constraints: 31730
1288.23/1291.54 c #Conflicts: 652000 | #Constraints: 32730
1288.23/1291.54 c #Conflicts: 653000 | #Constraints: 33730
1288.23/1291.54 c #Conflicts: 654000 | #Constraints: 34730
1288.23/1291.54 c #Conflicts: 655000 | #Constraints: 35730
1288.23/1291.54 c INPROCESSING
1288.23/1291.54 c GARBAGE COLLECT
1288.23/1291.54 c #Conflicts: 656000 | #Constraints: 20734
1288.23/1291.54 c #Conflicts: 657000 | #Constraints: 21734
1288.23/1291.54 c #Conflicts: 658000 | #Constraints: 22734
1288.23/1291.54 c #Conflicts: 659000 | #Constraints: 23734
1288.23/1291.54 c #Conflicts: 660000 | #Constraints: 24734
1288.23/1291.54 c #Conflicts: 661000 | #Constraints: 25734
1288.23/1291.54 c #Conflicts: 662000 | #Constraints: 26734
1531.74/1535.62 c #Conflicts: 663000 | #Constraints: 27734
1531.74/1535.62 c #Conflicts: 664000 | #Constraints: 28734
1531.74/1535.62 c #Conflicts: 665000 | #Constraints: 29734
1531.74/1535.62 c #Conflicts: 666000 | #Constraints: 30734
1531.74/1535.62 c #Conflicts: 667000 | #Constraints: 31734
1531.74/1535.62 c #Conflicts: 668000 | #Constraints: 32734
1531.74/1535.62 c #Conflicts: 669000 | #Constraints: 33734
1531.74/1535.62 c #Conflicts: 670000 | #Constraints: 34734
1531.74/1535.62 c #Conflicts: 671000 | #Constraints: 35734
1531.74/1535.62 c INPROCESSING
1531.74/1535.62 c GARBAGE COLLECT
1531.74/1535.62 c #Conflicts: 672000 | #Constraints: 20531
1531.74/1535.62 c #Conflicts: 673000 | #Constraints: 21531
1531.74/1535.62 c #Conflicts: 674000 | #Constraints: 22531
1531.74/1535.62 c #Conflicts: 675000 | #Constraints: 23531
1531.74/1535.62 c #Conflicts: 676000 | #Constraints: 24531
1531.74/1535.62 c #Conflicts: 677000 | #Constraints: 25531
1531.74/1535.62 c #Conflicts: 678000 | #Constraints: 26531
1531.74/1535.62 c #Conflicts: 679000 | #Constraints: 27531
1531.74/1535.62 c #Conflicts: 680000 | #Constraints: 28531
1531.74/1535.62 c #Conflicts: 681000 | #Constraints: 29531
1531.74/1535.62 c #Conflicts: 682000 | #Constraints: 30531
1531.74/1535.62 c #Conflicts: 683000 | #Constraints: 31531
1531.74/1535.62 c #Conflicts: 684000 | #Constraints: 32531
1531.74/1535.62 c #Conflicts: 685000 | #Constraints: 33531
1531.74/1535.62 c #Conflicts: 686000 | #Constraints: 34531
1531.74/1535.62 c #Conflicts: 687000 | #Constraints: 35531
1531.74/1535.62 c #Conflicts: 688000 | #Constraints: 36531
1531.74/1535.62 c INPROCESSING
1531.74/1535.62 c GARBAGE COLLECT
1531.74/1535.62 c #Conflicts: 689000 | #Constraints: 21136
1531.74/1535.62 c #Conflicts: 690000 | #Constraints: 22136
1531.74/1535.62 c #Conflicts: 691000 | #Constraints: 23136
1531.74/1535.62 c #Conflicts: 692000 | #Constraints: 24136
1531.74/1535.62 c #Conflicts: 693000 | #Constraints: 25136
1531.74/1535.62 c #Conflicts: 694000 | #Constraints: 26136
1531.74/1535.62 c #Conflicts: 695000 | #Constraints: 27136
1531.74/1535.62 c #Conflicts: 696000 | #Constraints: 28136
1531.74/1535.62 c #Conflicts: 697000 | #Constraints: 29136
1531.74/1535.62 c #Conflicts: 698000 | #Constraints: 30136
1531.74/1535.62 c #Conflicts: 699000 | #Constraints: 31136
1531.74/1535.62 c #Conflicts: 700000 | #Constraints: 32136
1531.74/1535.62 c #Conflicts: 701000 | #Constraints: 33136
1531.74/1535.62 c #Conflicts: 702000 | #Constraints: 34136
1531.74/1535.62 c #Conflicts: 703000 | #Constraints: 35136
1531.74/1535.62 c #Conflicts: 704000 | #Constraints: 36136
1531.74/1535.62 c #Conflicts: 705000 | #Constraints: 37136
1531.74/1535.62 c INPROCESSING
1531.74/1535.62 c GARBAGE COLLECT
1531.74/1535.62 c #Conflicts: 706000 | #Constraints: 21546
1531.74/1535.62 c #Conflicts: 707000 | #Constraints: 22546
1531.74/1535.62 c #Conflicts: 708000 | #Constraints: 23546
1531.74/1535.62 c #Conflicts: 709000 | #Constraints: 24546
1531.74/1535.62 c #Conflicts: 710000 | #Constraints: 25546
1531.74/1535.62 c #Conflicts: 711000 | #Constraints: 26546
1531.74/1535.62 c #Conflicts: 712000 | #Constraints: 27546
1531.74/1535.62 c #Conflicts: 713000 | #Constraints: 28546
1531.74/1535.62 c #Conflicts: 714000 | #Constraints: 29546
1531.74/1535.62 c #Conflicts: 715000 | #Constraints: 30546
1531.74/1535.62 c #Conflicts: 716000 | #Constraints: 31546
1531.74/1535.62 c #Conflicts: 717000 | #Constraints: 32546
1531.74/1535.62 c #Conflicts: 718000 | #Constraints: 33546
1531.74/1535.62 c #Conflicts: 719000 | #Constraints: 34546
1531.74/1535.62 c #Conflicts: 720000 | #Constraints: 35546
1531.74/1535.62 c #Conflicts: 721000 | #Constraints: 36546
1531.74/1535.62 c #Conflicts: 722000 | #Constraints: 37546
1531.74/1535.62 c INPROCESSING
1531.74/1535.62 c GARBAGE COLLECT
1531.74/1535.62 c #Conflicts: 723000 | #Constraints: 21745
1531.74/1535.62 c #Conflicts: 724000 | #Constraints: 22745
1531.74/1535.62 c #Conflicts: 725000 | #Constraints: 23745
1531.74/1535.62 c #Conflicts: 726000 | #Constraints: 24745
1531.74/1535.62 c #Conflicts: 727000 | #Constraints: 25745
1531.74/1535.62 c #Conflicts: 728000 | #Constraints: 26745
1531.74/1535.62 c #Conflicts: 729000 | #Constraints: 27745
1531.74/1535.62 c #Conflicts: 730000 | #Constraints: 28745
1531.74/1535.62 c #Conflicts: 731000 | #Constraints: 29745
1531.74/1535.62 c #Conflicts: 732000 | #Constraints: 30745
1531.74/1535.62 c #Conflicts: 733000 | #Constraints: 31745
1531.74/1535.62 c #Conflicts: 734000 | #Constraints: 32745
1531.74/1535.62 c #Conflicts: 735000 | #Constraints: 33745
1531.74/1535.62 c #Conflicts: 736000 | #Constraints: 34745
1531.74/1535.62 c #Conflicts: 737000 | #Constraints: 35745
1531.74/1535.62 c #Conflicts: 738000 | #Constraints: 36745
1747.92/1752.31 c #Conflicts: 739000 | #Constraints: 37745
1747.92/1752.31 c INPROCESSING
1747.92/1752.31 c GARBAGE COLLECT
1747.92/1752.31 c #Conflicts: 740000 | #Constraints: 21742
1747.92/1752.31 c #Conflicts: 741000 | #Constraints: 22742
1747.92/1752.31 c #Conflicts: 742000 | #Constraints: 23742
1747.92/1752.31 c #Conflicts: 743000 | #Constraints: 24742
1747.92/1752.31 c #Conflicts: 744000 | #Constraints: 25742
1747.92/1752.31 c #Conflicts: 745000 | #Constraints: 26742
1747.92/1752.31 c #Conflicts: 746000 | #Constraints: 27742
1747.92/1752.31 c #Conflicts: 747000 | #Constraints: 28742
1747.92/1752.31 c #Conflicts: 748000 | #Constraints: 29742
1747.92/1752.31 c #Conflicts: 749000 | #Constraints: 30742
1747.92/1752.31 c #Conflicts: 750000 | #Constraints: 31742
1747.92/1752.31 c #Conflicts: 751000 | #Constraints: 32742
1747.92/1752.31 c #Conflicts: 752000 | #Constraints: 33742
1747.92/1752.31 c #Conflicts: 753000 | #Constraints: 34742
1747.92/1752.31 c #Conflicts: 754000 | #Constraints: 35742
1747.92/1752.31 c #Conflicts: 755000 | #Constraints: 36742
1747.92/1752.31 c #Conflicts: 756000 | #Constraints: 37742
1747.92/1752.31 c INPROCESSING
1747.92/1752.31 c GARBAGE COLLECT
1747.92/1752.31 c #Conflicts: 757000 | #Constraints: 21546
1747.92/1752.31 c #Conflicts: 758000 | #Constraints: 22546
1747.92/1752.31 c #Conflicts: 759000 | #Constraints: 23546
1747.92/1752.31 c #Conflicts: 760000 | #Constraints: 24546
1747.92/1752.31 c #Conflicts: 761000 | #Constraints: 25546
1747.92/1752.31 c #Conflicts: 762000 | #Constraints: 26546
1747.92/1752.31 c #Conflicts: 763000 | #Constraints: 27546
1747.92/1752.31 c #Conflicts: 764000 | #Constraints: 28546
1747.92/1752.31 c #Conflicts: 765000 | #Constraints: 29546
1747.92/1752.31 c #Conflicts: 766000 | #Constraints: 30546
1747.92/1752.31 c #Conflicts: 767000 | #Constraints: 31546
1747.92/1752.31 c #Conflicts: 768000 | #Constraints: 32546
1747.92/1752.31 c #Conflicts: 769000 | #Constraints: 33546
1747.92/1752.31 c #Conflicts: 770000 | #Constraints: 34546
1747.92/1752.31 c #Conflicts: 771000 | #Constraints: 35546
1747.92/1752.31 c #Conflicts: 772000 | #Constraints: 36546
1747.92/1752.31 c #Conflicts: 773000 | #Constraints: 37546
1747.92/1752.31 c #Conflicts: 774000 | #Constraints: 38546
1747.92/1752.31 c INPROCESSING
1747.92/1752.31 c GARBAGE COLLECT
1747.92/1752.31 c #Conflicts: 775000 | #Constraints: 22134
1747.92/1752.31 c #Conflicts: 776000 | #Constraints: 23134
1747.92/1752.31 c #Conflicts: 777000 | #Constraints: 24134
1747.92/1752.31 c #Conflicts: 778000 | #Constraints: 25134
1747.92/1752.31 c #Conflicts: 779000 | #Constraints: 26134
1747.92/1752.31 c #Conflicts: 780000 | #Constraints: 27134
1747.92/1752.31 c #Conflicts: 781000 | #Constraints: 28134
1747.92/1752.31 c #Conflicts: 782000 | #Constraints: 29134
1747.92/1752.31 c #Conflicts: 783000 | #Constraints: 30134
1747.92/1752.31 c #Conflicts: 784000 | #Constraints: 31134
1747.92/1752.31 c #Conflicts: 785000 | #Constraints: 32134
1747.92/1752.31 c #Conflicts: 786000 | #Constraints: 33134
1747.92/1752.31 c #Conflicts: 787000 | #Constraints: 34134
1747.92/1752.31 c #Conflicts: 788000 | #Constraints: 35134
1747.92/1752.31 c #Conflicts: 789000 | #Constraints: 36134
1747.92/1752.31 c #Conflicts: 790000 | #Constraints: 37134
1747.92/1752.31 c #Conflicts: 791000 | #Constraints: 38134
1747.92/1752.31 c #Conflicts: 792000 | #Constraints: 39134
1747.92/1752.31 c INPROCESSING
1747.92/1752.31 c GARBAGE COLLECT
1747.92/1752.31 c #Conflicts: 793000 | #Constraints: 22536
1747.92/1752.31 c #Conflicts: 794000 | #Constraints: 23536
1747.92/1752.31 c #Conflicts: 795000 | #Constraints: 24536
1747.92/1752.31 c #Conflicts: 796000 | #Constraints: 25536
1747.92/1752.31 c #Conflicts: 797000 | #Constraints: 26536
1747.92/1752.31 c #Conflicts: 798000 | #Constraints: 27536
1747.92/1752.31 c #Conflicts: 799000 | #Constraints: 28536
1747.92/1752.31 c #Conflicts: 800000 | #Constraints: 29536
1747.92/1752.31 c #Conflicts: 801000 | #Constraints: 30536
1747.92/1752.31 c #Conflicts: 802000 | #Constraints: 31536
1747.92/1752.31 c #Conflicts: 803000 | #Constraints: 32536
1747.92/1752.31 c #Conflicts: 804000 | #Constraints: 33536
1747.92/1752.31 c #Conflicts: 805000 | #Constraints: 34536
1747.92/1752.31 c #Conflicts: 806000 | #Constraints: 35536
1747.92/1752.31 c #Conflicts: 807000 | #Constraints: 36536
1747.92/1752.31 c #Conflicts: 808000 | #Constraints: 37536
1747.92/1752.31 c #Conflicts: 809000 | #Constraints: 38536
1747.92/1752.31 c #Conflicts: 810000 | #Constraints: 39536
1747.92/1752.31 c INPROCESSING
1747.92/1752.31 c GARBAGE COLLECT
1747.92/1752.31 c #Conflicts: 811000 | #Constraints: 22730
1747.92/1752.31 c #Conflicts: 812000 | #Constraints: 23730
1747.92/1752.31 c #Conflicts: 813000 | #Constraints: 24730
1747.92/1752.31 c #Conflicts: 814000 | #Constraints: 25730
2011.10/2016.20 c #Conflicts: 815000 | #Constraints: 26730
2011.10/2016.20 c #Conflicts: 816000 | #Constraints: 27730
2011.10/2016.20 c #Conflicts: 817000 | #Constraints: 28730
2011.10/2016.20 c #Conflicts: 818000 | #Constraints: 29730
2011.10/2016.20 c #Conflicts: 819000 | #Constraints: 30730
2011.10/2016.20 c #Conflicts: 820000 | #Constraints: 31730
2011.10/2016.20 c #Conflicts: 821000 | #Constraints: 32730
2011.10/2016.20 c #Conflicts: 822000 | #Constraints: 33730
2011.10/2016.20 c #Conflicts: 823000 | #Constraints: 34730
2011.10/2016.20 c #Conflicts: 824000 | #Constraints: 35730
2011.10/2016.20 c #Conflicts: 825000 | #Constraints: 36730
2011.10/2016.20 c #Conflicts: 826000 | #Constraints: 37730
2011.10/2016.20 c #Conflicts: 827000 | #Constraints: 38730
2011.10/2016.20 c #Conflicts: 828000 | #Constraints: 39730
2011.10/2016.20 c INPROCESSING
2011.10/2016.20 c GARBAGE COLLECT
2011.10/2016.20 c #Conflicts: 829000 | #Constraints: 22746
2011.10/2016.20 c #Conflicts: 830000 | #Constraints: 23746
2011.10/2016.20 c #Conflicts: 831000 | #Constraints: 24746
2011.10/2016.20 c #Conflicts: 832000 | #Constraints: 25746
2011.10/2016.20 c #Conflicts: 833000 | #Constraints: 26746
2011.10/2016.20 c #Conflicts: 834000 | #Constraints: 27746
2011.10/2016.20 c #Conflicts: 835000 | #Constraints: 28746
2011.10/2016.20 c #Conflicts: 836000 | #Constraints: 29746
2011.10/2016.20 c #Conflicts: 837000 | #Constraints: 30746
2011.10/2016.20 c #Conflicts: 838000 | #Constraints: 31746
2011.10/2016.20 c #Conflicts: 839000 | #Constraints: 32746
2011.10/2016.20 c #Conflicts: 840000 | #Constraints: 33746
2011.10/2016.20 c #Conflicts: 841000 | #Constraints: 34746
2011.10/2016.20 c #Conflicts: 842000 | #Constraints: 35746
2011.10/2016.20 c #Conflicts: 843000 | #Constraints: 36746
2011.10/2016.20 c #Conflicts: 844000 | #Constraints: 37746
2011.10/2016.20 c #Conflicts: 845000 | #Constraints: 38746
2011.10/2016.20 c #Conflicts: 846000 | #Constraints: 39746
2011.10/2016.20 c INPROCESSING
2011.10/2016.20 c GARBAGE COLLECT
2011.10/2016.20 c #Conflicts: 847000 | #Constraints: 22551
2011.10/2016.20 c #Conflicts: 848000 | #Constraints: 23551
2011.10/2016.20 c #Conflicts: 849000 | #Constraints: 24551
2011.10/2016.20 c #Conflicts: 850000 | #Constraints: 25551
2011.10/2016.20 c #Conflicts: 851000 | #Constraints: 26551
2011.10/2016.20 c #Conflicts: 852000 | #Constraints: 27551
2011.10/2016.20 c #Conflicts: 853000 | #Constraints: 28551
2011.10/2016.20 c #Conflicts: 854000 | #Constraints: 29551
2011.10/2016.20 c #Conflicts: 855000 | #Constraints: 30551
2011.10/2016.20 c #Conflicts: 856000 | #Constraints: 31551
2011.10/2016.20 c #Conflicts: 857000 | #Constraints: 32551
2011.10/2016.20 c #Conflicts: 858000 | #Constraints: 33551
2011.10/2016.20 c #Conflicts: 859000 | #Constraints: 34551
2011.10/2016.20 c #Conflicts: 860000 | #Constraints: 35551
2011.10/2016.20 c #Conflicts: 861000 | #Constraints: 36551
2011.10/2016.20 c #Conflicts: 862000 | #Constraints: 37551
2011.10/2016.20 c #Conflicts: 863000 | #Constraints: 38551
2011.10/2016.20 c #Conflicts: 864000 | #Constraints: 39551
2011.10/2016.20 c #Conflicts: 865000 | #Constraints: 40551
2011.10/2016.20 c INPROCESSING
2011.10/2016.20 c GARBAGE COLLECT
2011.10/2016.20 c #Conflicts: 866000 | #Constraints: 23157
2011.10/2016.20 c #Conflicts: 867000 | #Constraints: 24157
2011.10/2016.20 c #Conflicts: 868000 | #Constraints: 25157
2011.10/2016.20 c #Conflicts: 869000 | #Constraints: 26157
2011.10/2016.20 c #Conflicts: 870000 | #Constraints: 27157
2011.10/2016.20 c #Conflicts: 871000 | #Constraints: 28157
2011.10/2016.20 c #Conflicts: 872000 | #Constraints: 29157
2011.10/2016.20 c #Conflicts: 873000 | #Constraints: 30157
2011.10/2016.20 c #Conflicts: 874000 | #Constraints: 31157
2011.10/2016.20 c #Conflicts: 875000 | #Constraints: 32157
2011.10/2016.20 c #Conflicts: 876000 | #Constraints: 33157
2011.10/2016.20 c #Conflicts: 877000 | #Constraints: 34157
2011.10/2016.20 c #Conflicts: 878000 | #Constraints: 35157
2011.10/2016.20 c #Conflicts: 879000 | #Constraints: 36157
2011.10/2016.20 c #Conflicts: 880000 | #Constraints: 37157
2011.10/2016.20 c #Conflicts: 881000 | #Constraints: 38157
2011.10/2016.20 c #Conflicts: 882000 | #Constraints: 39157
2011.10/2016.20 c #Conflicts: 883000 | #Constraints: 40157
2011.10/2016.20 c #Conflicts: 884000 | #Constraints: 41157
2011.10/2016.20 c INPROCESSING
2011.10/2016.20 c GARBAGE COLLECT
2011.10/2016.20 c #Conflicts: 885000 | #Constraints: 23552
2011.10/2016.20 c #Conflicts: 886000 | #Constraints: 24552
2011.10/2016.20 c #Conflicts: 887000 | #Constraints: 25552
2011.10/2016.20 c #Conflicts: 888000 | #Constraints: 26552
2011.10/2016.20 c #Conflicts: 889000 | #Constraints: 27552
2011.10/2016.20 c #Conflicts: 890000 | #Constraints: 28552
2309.47/2315.39 c #Conflicts: 891000 | #Constraints: 29552
2309.47/2315.39 c #Conflicts: 892000 | #Constraints: 30552
2309.47/2315.39 c #Conflicts: 893000 | #Constraints: 31552
2309.47/2315.39 c #Conflicts: 894000 | #Constraints: 32552
2309.47/2315.39 c #Conflicts: 895000 | #Constraints: 33552
2309.47/2315.39 c #Conflicts: 896000 | #Constraints: 34552
2309.47/2315.39 c #Conflicts: 897000 | #Constraints: 35552
2309.47/2315.39 c #Conflicts: 898000 | #Constraints: 36552
2309.47/2315.39 c #Conflicts: 899000 | #Constraints: 37552
2309.47/2315.39 c #Conflicts: 900000 | #Constraints: 38552
2309.47/2315.39 c #Conflicts: 901000 | #Constraints: 39552
2309.47/2315.39 c #Conflicts: 902000 | #Constraints: 40552
2309.47/2315.39 c #Conflicts: 903000 | #Constraints: 41552
2309.47/2315.39 c INPROCESSING
2309.47/2315.39 c GARBAGE COLLECT
2309.47/2315.39 c #Conflicts: 904000 | #Constraints: 23746
2309.47/2315.39 c #Conflicts: 905000 | #Constraints: 24746
2309.47/2315.39 c #Conflicts: 906000 | #Constraints: 25746
2309.47/2315.39 c #Conflicts: 907000 | #Constraints: 26746
2309.47/2315.39 c #Conflicts: 908000 | #Constraints: 27746
2309.47/2315.39 c #Conflicts: 909000 | #Constraints: 28746
2309.47/2315.39 c #Conflicts: 910000 | #Constraints: 29746
2309.47/2315.39 c #Conflicts: 911000 | #Constraints: 30746
2309.47/2315.39 c #Conflicts: 912000 | #Constraints: 31746
2309.47/2315.39 c #Conflicts: 913000 | #Constraints: 32746
2309.47/2315.39 c #Conflicts: 914000 | #Constraints: 33746
2309.47/2315.39 c #Conflicts: 915000 | #Constraints: 34746
2309.47/2315.39 c #Conflicts: 916000 | #Constraints: 35746
2309.47/2315.39 c #Conflicts: 917000 | #Constraints: 36746
2309.47/2315.39 c #Conflicts: 918000 | #Constraints: 37746
2309.47/2315.39 c #Conflicts: 919000 | #Constraints: 38746
2309.47/2315.39 c #Conflicts: 920000 | #Constraints: 39746
2309.47/2315.39 c #Conflicts: 921000 | #Constraints: 40746
2309.47/2315.39 c #Conflicts: 922000 | #Constraints: 41746
2309.47/2315.39 c INPROCESSING
2309.47/2315.39 c GARBAGE COLLECT
2309.47/2315.39 c #Conflicts: 923000 | #Constraints: 23737
2309.47/2315.39 c #Conflicts: 924000 | #Constraints: 24737
2309.47/2315.39 c #Conflicts: 925000 | #Constraints: 25737
2309.47/2315.39 c #Conflicts: 926000 | #Constraints: 26737
2309.47/2315.39 c #Conflicts: 927000 | #Constraints: 27737
2309.47/2315.39 c #Conflicts: 928000 | #Constraints: 28737
2309.47/2315.39 c #Conflicts: 929000 | #Constraints: 29737
2309.47/2315.39 c #Conflicts: 930000 | #Constraints: 30737
2309.47/2315.39 c #Conflicts: 931000 | #Constraints: 31737
2309.47/2315.39 c #Conflicts: 932000 | #Constraints: 32737
2309.47/2315.39 c #Conflicts: 933000 | #Constraints: 33737
2309.47/2315.39 c #Conflicts: 934000 | #Constraints: 34737
2309.47/2315.39 c #Conflicts: 935000 | #Constraints: 35737
2309.47/2315.39 c #Conflicts: 936000 | #Constraints: 36737
2309.47/2315.39 c #Conflicts: 937000 | #Constraints: 37737
2309.47/2315.39 c #Conflicts: 938000 | #Constraints: 38737
2309.47/2315.39 c #Conflicts: 939000 | #Constraints: 39737
2309.47/2315.39 c #Conflicts: 940000 | #Constraints: 40737
2309.47/2315.39 c #Conflicts: 941000 | #Constraints: 41737
2309.47/2315.39 c INPROCESSING
2309.47/2315.39 c GARBAGE COLLECT
2309.47/2315.39 c #Conflicts: 942000 | #Constraints: 23539
2309.47/2315.39 c #Conflicts: 943000 | #Constraints: 24539
2309.47/2315.39 c #Conflicts: 944000 | #Constraints: 25539
2309.47/2315.39 c #Conflicts: 945000 | #Constraints: 26539
2309.47/2315.39 c #Conflicts: 946000 | #Constraints: 27539
2309.47/2315.39 c #Conflicts: 947000 | #Constraints: 28539
2309.47/2315.39 c #Conflicts: 948000 | #Constraints: 29539
2309.47/2315.39 c #Conflicts: 949000 | #Constraints: 30539
2309.47/2315.39 c #Conflicts: 950000 | #Constraints: 31539
2309.47/2315.39 c #Conflicts: 951000 | #Constraints: 32539
2309.47/2315.39 c #Conflicts: 952000 | #Constraints: 33539
2309.47/2315.39 c #Conflicts: 953000 | #Constraints: 34539
2309.47/2315.39 c #Conflicts: 954000 | #Constraints: 35539
2309.47/2315.39 c #Conflicts: 955000 | #Constraints: 36539
2309.47/2315.39 c #Conflicts: 956000 | #Constraints: 37539
2309.47/2315.39 c #Conflicts: 957000 | #Constraints: 38539
2309.47/2315.39 c #Conflicts: 958000 | #Constraints: 39539
2309.47/2315.39 c #Conflicts: 959000 | #Constraints: 40539
2309.47/2315.39 c #Conflicts: 960000 | #Constraints: 41539
2309.47/2315.39 c #Conflicts: 961000 | #Constraints: 42539
2309.47/2315.39 c INPROCESSING
2309.47/2315.39 c GARBAGE COLLECT
2309.47/2315.39 c #Conflicts: 962000 | #Constraints: 24135
2309.47/2315.39 c #Conflicts: 963000 | #Constraints: 25135
2309.47/2315.39 c #Conflicts: 964000 | #Constraints: 26135
2309.47/2315.39 c #Conflicts: 965000 | #Constraints: 27135
2309.47/2315.39 c #Conflicts: 966000 | #Constraints: 28135
2745.79/2752.70 c #Conflicts: 967000 | #Constraints: 29135
2745.79/2752.70 c #Conflicts: 968000 | #Constraints: 30135
2745.79/2752.70 c #Conflicts: 969000 | #Constraints: 31135
2745.79/2752.70 c #Conflicts: 970000 | #Constraints: 32135
2745.79/2752.70 c #Conflicts: 971000 | #Constraints: 33135
2745.79/2752.70 c #Conflicts: 972000 | #Constraints: 34135
2745.79/2752.70 c #Conflicts: 973000 | #Constraints: 35135
2745.79/2752.70 c #Conflicts: 974000 | #Constraints: 36135
2745.79/2752.70 c #Conflicts: 975000 | #Constraints: 37135
2745.79/2752.70 c #Conflicts: 976000 | #Constraints: 38135
2745.79/2752.70 c #Conflicts: 977000 | #Constraints: 39135
2745.79/2752.70 c #Conflicts: 978000 | #Constraints: 40135
2745.79/2752.70 c #Conflicts: 979000 | #Constraints: 41135
2745.79/2752.70 c #Conflicts: 980000 | #Constraints: 42135
2745.79/2752.70 c #Conflicts: 981000 | #Constraints: 43135
2745.79/2752.70 c INPROCESSING
2745.79/2752.70 c GARBAGE COLLECT
2745.79/2752.70 c #Conflicts: 982000 | #Constraints: 24544
2745.79/2752.70 c #Conflicts: 983000 | #Constraints: 25544
2745.79/2752.70 c #Conflicts: 984000 | #Constraints: 26544
2745.79/2752.70 c #Conflicts: 985000 | #Constraints: 27544
2745.79/2752.70 c #Conflicts: 986000 | #Constraints: 28544
2745.79/2752.70 c #Conflicts: 987000 | #Constraints: 29544
2745.79/2752.70 c #Conflicts: 988000 | #Constraints: 30544
2745.79/2752.70 c #Conflicts: 989000 | #Constraints: 31544
2745.79/2752.70 c #Conflicts: 990000 | #Constraints: 32544
2745.79/2752.70 c #Conflicts: 991000 | #Constraints: 33544
2745.79/2752.70 c #Conflicts: 992000 | #Constraints: 34544
2745.79/2752.70 c #Conflicts: 993000 | #Constraints: 35544
2745.79/2752.70 c #Conflicts: 994000 | #Constraints: 36544
2745.79/2752.70 c #Conflicts: 995000 | #Constraints: 37544
2745.79/2752.70 c #Conflicts: 996000 | #Constraints: 38544
2745.79/2752.70 c #Conflicts: 997000 | #Constraints: 39544
2745.79/2752.70 c #Conflicts: 998000 | #Constraints: 40544
2745.79/2752.70 c #Conflicts: 999000 | #Constraints: 41544
2745.79/2752.70 c #Conflicts: 1000000 | #Constraints: 42544
2745.79/2752.70 c #Conflicts: 1001000 | #Constraints: 43544
2745.79/2752.70 c INPROCESSING
2745.79/2752.70 c GARBAGE COLLECT
2745.79/2752.70 c #Conflicts: 1002000 | #Constraints: 24741
2745.79/2752.70 c #Conflicts: 1003000 | #Constraints: 25741
2745.79/2752.70 c #Conflicts: 1004000 | #Constraints: 26741
2745.79/2752.70 c #Conflicts: 1005000 | #Constraints: 27741
2745.79/2752.70 c #Conflicts: 1006000 | #Constraints: 28741
2745.79/2752.70 c #Conflicts: 1007000 | #Constraints: 29741
2745.79/2752.70 c #Conflicts: 1008000 | #Constraints: 30741
2745.79/2752.70 c #Conflicts: 1009000 | #Constraints: 31741
2745.79/2752.70 c #Conflicts: 1010000 | #Constraints: 32741
2745.79/2752.70 c #Conflicts: 1011000 | #Constraints: 33741
2745.79/2752.70 c #Conflicts: 1012000 | #Constraints: 34741
2745.79/2752.70 c #Conflicts: 1013000 | #Constraints: 35741
2745.79/2752.70 c #Conflicts: 1014000 | #Constraints: 36741
2745.79/2752.70 c #Conflicts: 1015000 | #Constraints: 37741
2745.79/2752.70 c #Conflicts: 1016000 | #Constraints: 38741
2745.79/2752.70 c #Conflicts: 1017000 | #Constraints: 39741
2745.79/2752.70 c #Conflicts: 1018000 | #Constraints: 40741
2745.79/2752.70 c #Conflicts: 1019000 | #Constraints: 41741
2745.79/2752.70 c #Conflicts: 1020000 | #Constraints: 42741
2745.79/2752.70 c #Conflicts: 1021000 | #Constraints: 43741
2745.79/2752.70 c INPROCESSING
2745.79/2752.70 c GARBAGE COLLECT
2745.79/2752.70 c #Conflicts: 1022000 | #Constraints: 24736
2745.79/2752.70 c #Conflicts: 1023000 | #Constraints: 25736
2745.79/2752.70 c #Conflicts: 1024000 | #Constraints: 26736
2745.79/2752.70 c #Conflicts: 1025000 | #Constraints: 27736
2745.79/2752.70 c #Conflicts: 1026000 | #Constraints: 28736
2745.79/2752.70 c #Conflicts: 1027000 | #Constraints: 29736
2745.79/2752.70 c #Conflicts: 1028000 | #Constraints: 30736
2745.79/2752.70 c #Conflicts: 1029000 | #Constraints: 31736
2745.79/2752.70 c #Conflicts: 1030000 | #Constraints: 32736
2745.79/2752.70 c #Conflicts: 1031000 | #Constraints: 33736
2745.79/2752.70 c #Conflicts: 1032000 | #Constraints: 34736
2745.79/2752.70 c #Conflicts: 1033000 | #Constraints: 35736
2745.79/2752.70 c #Conflicts: 1034000 | #Constraints: 36736
2745.79/2752.70 c #Conflicts: 1035000 | #Constraints: 37736
2745.79/2752.70 c #Conflicts: 1036000 | #Constraints: 38736
2745.79/2752.70 c #Conflicts: 1037000 | #Constraints: 39736
2745.79/2752.70 c #Conflicts: 1038000 | #Constraints: 40736
2745.79/2752.70 c #Conflicts: 1039000 | #Constraints: 41736
2745.79/2752.70 c #Conflicts: 1040000 | #Constraints: 42736
2745.79/2752.70 c #Conflicts: 1041000 | #Constraints: 43736
2745.79/2752.70 c INPROCESSING
2745.79/2752.70 c GARBAGE COLLECT
2745.79/2752.70 c #Conflicts: 1042000 | #Constraints: 24540
2745.79/2752.70 c #Conflicts: 1043000 | #Constraints: 25540
3172.62/3180.60 c #Conflicts: 1044000 | #Constraints: 26540
3172.62/3180.60 c #Conflicts: 1045000 | #Constraints: 27540
3172.62/3180.60 c #Conflicts: 1046000 | #Constraints: 28540
3172.62/3180.60 c #Conflicts: 1047000 | #Constraints: 29540
3172.62/3180.60 c #Conflicts: 1048000 | #Constraints: 30540
3172.62/3180.60 c #Conflicts: 1049000 | #Constraints: 31540
3172.62/3180.60 c #Conflicts: 1050000 | #Constraints: 32540
3172.62/3180.60 c #Conflicts: 1051000 | #Constraints: 33540
3172.62/3180.60 c #Conflicts: 1052000 | #Constraints: 34540
3172.62/3180.60 c #Conflicts: 1053000 | #Constraints: 35540
3172.62/3180.60 c #Conflicts: 1054000 | #Constraints: 36540
3172.62/3180.60 c #Conflicts: 1055000 | #Constraints: 37540
3172.62/3180.60 c #Conflicts: 1056000 | #Constraints: 38540
3172.62/3180.60 c #Conflicts: 1057000 | #Constraints: 39540
3172.62/3180.60 c #Conflicts: 1058000 | #Constraints: 40540
3172.62/3180.60 c #Conflicts: 1059000 | #Constraints: 41540
3172.62/3180.60 c #Conflicts: 1060000 | #Constraints: 42540
3172.62/3180.60 c #Conflicts: 1061000 | #Constraints: 43540
3172.62/3180.60 c #Conflicts: 1062000 | #Constraints: 44540
3172.62/3180.60 c INPROCESSING
3172.62/3180.60 c GARBAGE COLLECT
3172.62/3180.60 c #Conflicts: 1063000 | #Constraints: 25153
3172.62/3180.60 c #Conflicts: 1064000 | #Constraints: 26153
3172.62/3180.60 c #Conflicts: 1065000 | #Constraints: 27153
3172.62/3180.60 c #Conflicts: 1066000 | #Constraints: 28153
3172.62/3180.60 c #Conflicts: 1067000 | #Constraints: 29153
3172.62/3180.60 c #Conflicts: 1068000 | #Constraints: 30153
3172.62/3180.60 c #Conflicts: 1069000 | #Constraints: 31153
3172.62/3180.60 c #Conflicts: 1070000 | #Constraints: 32153
3172.62/3180.60 c #Conflicts: 1071000 | #Constraints: 33153
3172.62/3180.60 c #Conflicts: 1072000 | #Constraints: 34153
3172.62/3180.60 c #Conflicts: 1073000 | #Constraints: 35153
3172.62/3180.60 c #Conflicts: 1074000 | #Constraints: 36153
3172.62/3180.60 c #Conflicts: 1075000 | #Constraints: 37153
3172.62/3180.60 c #Conflicts: 1076000 | #Constraints: 38153
3172.62/3180.60 c #Conflicts: 1077000 | #Constraints: 39153
3172.62/3180.60 c #Conflicts: 1078000 | #Constraints: 40153
3172.62/3180.60 c #Conflicts: 1079000 | #Constraints: 41153
3172.62/3180.60 c #Conflicts: 1080000 | #Constraints: 42153
3172.62/3180.60 c #Conflicts: 1081000 | #Constraints: 43153
3172.62/3180.60 c #Conflicts: 1082000 | #Constraints: 44153
3172.62/3180.60 c #Conflicts: 1083000 | #Constraints: 45153
3172.62/3180.60 c INPROCESSING
3172.62/3180.60 c GARBAGE COLLECT
3172.62/3180.60 c #Conflicts: 1084000 | #Constraints: 25554
3172.62/3180.60 c #Conflicts: 1085000 | #Constraints: 26554
3172.62/3180.60 c #Conflicts: 1086000 | #Constraints: 27554
3172.62/3180.60 c #Conflicts: 1087000 | #Constraints: 28554
3172.62/3180.60 c #Conflicts: 1088000 | #Constraints: 29554
3172.62/3180.60 c #Conflicts: 1089000 | #Constraints: 30554
3172.62/3180.60 c #Conflicts: 1090000 | #Constraints: 31554
3172.62/3180.60 c #Conflicts: 1091000 | #Constraints: 32554
3172.62/3180.60 c #Conflicts: 1092000 | #Constraints: 33554
3172.62/3180.60 c #Conflicts: 1093000 | #Constraints: 34554
3172.62/3180.60 c #Conflicts: 1094000 | #Constraints: 35554
3172.62/3180.60 c #Conflicts: 1095000 | #Constraints: 36554
3172.62/3180.60 c #Conflicts: 1096000 | #Constraints: 37554
3172.62/3180.60 c #Conflicts: 1097000 | #Constraints: 38554
3172.62/3180.60 c #Conflicts: 1098000 | #Constraints: 39554
3172.62/3180.60 c #Conflicts: 1099000 | #Constraints: 40554
3172.62/3180.60 c #Conflicts: 1100000 | #Constraints: 41554
3172.62/3180.60 c #Conflicts: 1101000 | #Constraints: 42554
3172.62/3180.60 c #Conflicts: 1102000 | #Constraints: 43554
3172.62/3180.60 c #Conflicts: 1103000 | #Constraints: 44554
3172.62/3180.60 c #Conflicts: 1104000 | #Constraints: 45554
3172.62/3180.60 c INPROCESSING
3172.62/3180.60 c GARBAGE COLLECT
3172.62/3180.60 c #Conflicts: 1105000 | #Constraints: 25741
3172.62/3180.60 c #Conflicts: 1106000 | #Constraints: 26741
3172.62/3180.60 c #Conflicts: 1107000 | #Constraints: 27741
3172.62/3180.60 c #Conflicts: 1108000 | #Constraints: 28741
3172.62/3180.60 c #Conflicts: 1109000 | #Constraints: 29741
3172.62/3180.60 c #Conflicts: 1110000 | #Constraints: 30741
3172.62/3180.60 c #Conflicts: 1111000 | #Constraints: 31741
3172.62/3180.60 c #Conflicts: 1112000 | #Constraints: 32741
3172.62/3180.60 c #Conflicts: 1113000 | #Constraints: 33741
3172.62/3180.60 c #Conflicts: 1114000 | #Constraints: 34741
3172.62/3180.60 c #Conflicts: 1115000 | #Constraints: 35741
3172.62/3180.60 c #Conflicts: 1116000 | #Constraints: 36741
3172.62/3180.60 c #Conflicts: 1117000 | #Constraints: 37741
3172.62/3180.60 c #Conflicts: 1118000 | #Constraints: 38741
3172.62/3180.60 c #Conflicts: 1119000 | #Constraints: 39741
3458.34/3467.06 c #Conflicts: 1120000 | #Constraints: 40741
3458.34/3467.06 c #Conflicts: 1121000 | #Constraints: 41741
3458.34/3467.06 c #Conflicts: 1122000 | #Constraints: 42741
3458.34/3467.06 c #Conflicts: 1123000 | #Constraints: 43741
3458.34/3467.06 c #Conflicts: 1124000 | #Constraints: 44741
3458.34/3467.06 c #Conflicts: 1125000 | #Constraints: 45741
3458.34/3467.06 c INPROCESSING
3458.34/3467.06 c GARBAGE COLLECT
3458.34/3467.06 c #Conflicts: 1126000 | #Constraints: 25737
3458.34/3467.06 c #Conflicts: 1127000 | #Constraints: 26737
3458.34/3467.06 c #Conflicts: 1128000 | #Constraints: 27737
3458.34/3467.06 c #Conflicts: 1129000 | #Constraints: 28737
3458.34/3467.06 c #Conflicts: 1130000 | #Constraints: 29737
3458.34/3467.06 c #Conflicts: 1131000 | #Constraints: 30737
3458.34/3467.06 c #Conflicts: 1132000 | #Constraints: 31737
3458.34/3467.06 c #Conflicts: 1133000 | #Constraints: 32737
3458.34/3467.06 c #Conflicts: 1134000 | #Constraints: 33737
3458.34/3467.06 c #Conflicts: 1135000 | #Constraints: 34737
3458.34/3467.06 c #Conflicts: 1136000 | #Constraints: 35737
3458.34/3467.06 c #Conflicts: 1137000 | #Constraints: 36737
3458.34/3467.06 c #Conflicts: 1138000 | #Constraints: 37737
3458.34/3467.06 c #Conflicts: 1139000 | #Constraints: 38737
3458.34/3467.06 c #Conflicts: 1140000 | #Constraints: 39737
3458.34/3467.06 c #Conflicts: 1141000 | #Constraints: 40737
3458.34/3467.06 c #Conflicts: 1142000 | #Constraints: 41737
3458.34/3467.06 c #Conflicts: 1143000 | #Constraints: 42737
3458.34/3467.06 c #Conflicts: 1144000 | #Constraints: 43737
3458.34/3467.06 c #Conflicts: 1145000 | #Constraints: 44737
3458.34/3467.06 c #Conflicts: 1146000 | #Constraints: 45737
3458.34/3467.06 c INPROCESSING
3458.34/3467.06 c GARBAGE COLLECT
3458.34/3467.06 c #Conflicts: 1147000 | #Constraints: 25524
3458.34/3467.06 c #Conflicts: 1148000 | #Constraints: 26524
3458.34/3467.06 c #Conflicts: 1149000 | #Constraints: 27524
3458.34/3467.06 c #Conflicts: 1150000 | #Constraints: 28524
3458.34/3467.06 c #Conflicts: 1151000 | #Constraints: 29524
3458.34/3467.06 c #Conflicts: 1152000 | #Constraints: 30524
3458.34/3467.06 c #Conflicts: 1153000 | #Constraints: 31524
3458.34/3467.06 c #Conflicts: 1154000 | #Constraints: 32524
3458.34/3467.06 c #Conflicts: 1155000 | #Constraints: 33524
3458.34/3467.06 c #Conflicts: 1156000 | #Constraints: 34524
3458.34/3467.06 c #Conflicts: 1157000 | #Constraints: 35524
3458.34/3467.06 c #Conflicts: 1158000 | #Constraints: 36524
3458.34/3467.06 c #Conflicts: 1159000 | #Constraints: 37524
3458.34/3467.06 c #Conflicts: 1160000 | #Constraints: 38524
3458.34/3467.06 c #Conflicts: 1161000 | #Constraints: 39524
3458.34/3467.06 c #Conflicts: 1162000 | #Constraints: 40524
3458.34/3467.06 c #Conflicts: 1163000 | #Constraints: 41524
3458.34/3467.06 c #Conflicts: 1164000 | #Constraints: 42524
3458.34/3467.06 c #Conflicts: 1165000 | #Constraints: 43524
3458.34/3467.06 c #Conflicts: 1166000 | #Constraints: 44524
3458.34/3467.06 c #Conflicts: 1167000 | #Constraints: 45524
3458.34/3467.06 c #Conflicts: 1168000 | #Constraints: 46524
3458.34/3467.06 c INPROCESSING
3458.34/3467.06 c GARBAGE COLLECT
3458.34/3467.06 c #Conflicts: 1169000 | #Constraints: 26124
3458.34/3467.06 c #Conflicts: 1170000 | #Constraints: 27124
3458.34/3467.06 c #Conflicts: 1171000 | #Constraints: 28124
3458.34/3467.06 c #Conflicts: 1172000 | #Constraints: 29124
3458.34/3467.06 c #Conflicts: 1173000 | #Constraints: 30124
3458.34/3467.06 c #Conflicts: 1174000 | #Constraints: 31124
3458.34/3467.06 c #Conflicts: 1175000 | #Constraints: 32124
3458.34/3467.06 c #Conflicts: 1176000 | #Constraints: 33124
3458.34/3467.06 c #Conflicts: 1177000 | #Constraints: 34124
3458.34/3467.06 c #Conflicts: 1178000 | #Constraints: 35124
3458.34/3467.06 c #Conflicts: 1179000 | #Constraints: 36124
3458.34/3467.06 c #Conflicts: 1180000 | #Constraints: 37124
3458.34/3467.06 c #Conflicts: 1181000 | #Constraints: 38124
3458.34/3467.06 c #Conflicts: 1182000 | #Constraints: 39124
3458.34/3467.06 c #Conflicts: 1183000 | #Constraints: 40124
3458.34/3467.06 c #Conflicts: 1184000 | #Constraints: 41124
3458.34/3467.06 c #Conflicts: 1185000 | #Constraints: 42124
3458.34/3467.06 c #Conflicts: 1186000 | #Constraints: 43124
3458.34/3467.06 c #Conflicts: 1187000 | #Constraints: 44124
3458.34/3467.06 c #Conflicts: 1188000 | #Constraints: 45124
3458.34/3467.06 c #Conflicts: 1189000 | #Constraints: 46124
3458.34/3467.06 c #Conflicts: 1190000 | #Constraints: 47124
3458.34/3467.06 c INPROCESSING
3458.34/3467.06 c GARBAGE COLLECT
3458.34/3467.06 c #Conflicts: 1191000 | #Constraints: 26510
3458.34/3467.06 c #Conflicts: 1192000 | #Constraints: 27510
3458.34/3467.06 c #Conflicts: 1193000 | #Constraints: 28510
3458.34/3467.06 c #Conflicts: 1194000 | #Constraints: 29510
3458.34/3467.06 c #Conflicts: 1195000 | #Constraints: 30510
3458.34/3467.06 c #Conflicts: 1196000 | #Constraints: 31510
3600.00/3609.01 c #Conflicts: 1197000 | #Constraints: 32510
3600.00/3609.01 c #Conflicts: 1198000 | #Constraints: 33510
3600.00/3609.01 c #Conflicts: 1199000 | #Constraints: 34510
3600.00/3609.01 c #Conflicts: 1200000 | #Constraints: 35510
3600.00/3609.01 c #Conflicts: 1201000 | #Constraints: 36510
3600.00/3609.01 c #Conflicts: 1202000 | #Constraints: 37510
3600.00/3609.01 c #Conflicts: 1203000 | #Constraints: 38510
3600.00/3609.01 c #Conflicts: 1204000 | #Constraints: 39510
3600.00/3609.01 c #Conflicts: 1205000 | #Constraints: 40510
3600.00/3609.01 c #Conflicts: 1206000 | #Constraints: 41510
3600.00/3609.01 c #Conflicts: 1207000 | #Constraints: 42510
3600.00/3609.01 c #Conflicts: 1208000 | #Constraints: 43510
3600.00/3609.01 c #Conflicts: 1209000 | #Constraints: 44510
3600.00/3609.01 c #Conflicts: 1210000 | #Constraints: 45510
3600.00/3609.01 c #Conflicts: 1211000 | #Constraints: 46510
3600.00/3609.01 c #Conflicts: 1212000 | #Constraints: 47510
3600.00/3609.01 c INPROCESSING
3600.00/3609.01 c GARBAGE COLLECT
3600.00/3609.01 c #Conflicts: 1213000 | #Constraints: 26722
3600.00/3609.01 c #Conflicts: 1214000 | #Constraints: 27722
3600.00/3609.01 c #Conflicts: 1215000 | #Constraints: 28722
3600.00/3609.01 c #Conflicts: 1216000 | #Constraints: 29722
3600.00/3609.01 c #Conflicts: 1217000 | #Constraints: 30722
3600.00/3609.01 c #Conflicts: 1218000 | #Constraints: 31722
3600.00/3609.01 c #Conflicts: 1219000 | #Constraints: 32722
3600.00/3609.01 c #Conflicts: 1220000 | #Constraints: 33722
3600.00/3609.01 c #Conflicts: 1221000 | #Constraints: 34722
3600.00/3609.01 c #Conflicts: 1222000 | #Constraints: 35722
3600.00/3609.01 c #Conflicts: 1223000 | #Constraints: 36722
3600.00/3609.01 c #Conflicts: 1224000 | #Constraints: 37722
3600.00/3609.01 c #Conflicts: 1225000 | #Constraints: 38722
3600.00/3609.01 c Program interrupted by user.
3600.00/3609.01 c cpu time 3590.92 s
3600.00/3609.01 c deterministic time 777206073416 7.77e+11
3600.00/3609.01 c optimization time 63.0333 s
3600.00/3609.01 c total solve time 3228.5 s
3600.00/3609.01 c core-guided solve time 3228.5 s
3600.00/3609.01 c propagation time 2767.58 s
3600.00/3609.01 c conflict analysis time 395.37 s
3600.00/3609.01 c propagations 98643455
3600.00/3609.01 c resolve steps 7674908
3600.00/3609.01 c decisions 4839685
3600.00/3609.01 c conflicts 1225113
3600.00/3609.01 c restarts 2301
3600.00/3609.01 c inprocessing phases 101
3600.00/3609.01 c input clauses 3861
3600.00/3609.01 c input cardinalities 151
3600.00/3609.01 c input general constraints 0
3600.00/3609.01 c input average constraint length 63.70
3600.00/3609.01 c input average constraint degree 28.54
3600.00/3609.01 c learned clauses 363488
3600.00/3609.01 c learned cardinalities 245627
3600.00/3609.01 c learned general constraints 616145
3600.00/3609.01 c learned average constraint length 942.83
3600.00/3609.01 c learned average constraint degree 371722.27
3600.00/3609.01 c watched constraints 400049
3600.00/3609.01 c counting constraints 216096
3600.00/3609.01 c gcd simplifications 37571
3600.00/3609.01 c detected cardinalities 8497
3600.00/3609.01 c weakened non-implied lits 167384087
3600.00/3609.01 c weakened non-implying lits 27069
3600.00/3609.01 c original variables 1968
3600.00/3609.01 c clausal propagations 33918338
3600.00/3609.01 c cardinality propagations 12058189
3600.00/3609.01 c watched propagations 15880083
3600.00/3609.01 c counting propagations 24747879
3600.00/3609.01 c watch lookups 35447090811
3600.00/3609.01 c watch backjump lookups 29600873137
3600.00/3609.01 c watch checks 637052199665
3600.00/3609.01 c propagation checks 71839991598
3600.00/3609.01 c constraint additions 3057727494
3600.00/3609.01 c trail pops 104707570
3600.00/3609.01 c formula constraints 3207
3600.00/3609.01 c learned constraints 1225260
3600.00/3609.01 c bound constraints 151
3600.00/3609.01 c core-guided constraints 654
3600.00/3609.01 c encountered formula constraints 5776789
3600.00/3609.01 c encountered learned constraints 2983205
3600.00/3609.01 c encountered bound constraints 2
3600.00/3609.01 c encountered core-guided constraints 140025
3600.00/3609.01 c LP total time 0 s
3600.00/3609.01 c LP solve time 0 s
3600.00/3609.01 c LP constraints added 0
3600.00/3609.01 c LP constraints removed 0
3600.00/3609.01 c LP pivots internal 0
3600.00/3609.01 c LP pivots root 0
3600.00/3609.01 c LP calls 0
3600.00/3609.01 c LP optimalities 0
3600.00/3609.01 c LP no pivot count 0
3600.00/3609.01 c LP infeasibilities 0
3600.00/3609.01 c LP valid Farkas constraints 0
3600.00/3609.01 c LP learned Farkas constraints 0
3600.00/3609.01 c LP basis resets 0
3600.00/3609.01 c LP cycling count 0
3600.00/3609.01 c LP singular count 0
3600.00/3609.01 c LP no primal count 0
3600.00/3609.01 c LP no farkas count 0
3600.00/3609.01 c LP other issue count 0
3600.00/3609.01 c LP Gomory cuts 0
3600.00/3609.01 c LP learned cuts 0
3600.00/3609.01 c LP deleted cuts 0
3600.00/3609.01 c LP encountered Gomory constraints 0
3600.00/3609.01 c LP encountered Farkas constraints 0
3600.00/3609.01 c LP encountered learned Farkas constraints 0
3600.00/3609.01 c CG auxiliary variables introduced 654
3600.00/3609.01 c CG solutions found 0
3600.00/3609.01 c CG cores constructed 150
3600.00/3609.01 c CG core cardinality constraints returned 0
3600.00/3609.01 c CG unit cores 0
3600.00/3609.01 c CG single cores 150
3600.00/3609.01 c CG blocks removed during cardinality reduction 0
3600.00/3609.01 c CG first core best 0
3600.00/3609.01 c CG decision core best 0
3600.00/3609.01 c CG core reduction tie 0
3600.00/3609.01 c CG core degree average 1.00
3600.00/3609.01 c CG core slack average 4.90
3600.00/3609.01 c CG exhausted 0
3600.00/3609.01 c CG exhaust time 0 s
3600.00/3609.01 c CG trimmed 0
3600.00/3609.01 c CG trim time 0.039671 s
3600.00/3609.01 c CG minimized 0
3600.00/3609.01 c CG minimize time 0 s
3600.00/3609.01 c CG am1 prop time 0.001872 s
3600.00/3609.01 c CG # am1s reformulated 654
3600.00/3609.01 c CG lower bound derived from am1s 657
3600.00/3609.01 c CG # clausal cores 150
3600.00/3609.01 c CG # cardinality cores 0
3600.00/3609.01 c CG # pb cores 0
3600.00/3609.01 c CG # pb reforms 0
3600.00/3609.01 c CG # cores discarded because of pb reform 0
3600.00/3609.01 d LOWERBOUND 807
3600.00/3609.01 d NCORES 150
3600.00/3609.01 d NPBCORES 0
3600.00/3609.01 d NPBREFORM 0
3600.00/3609.01 d NTRIMMED 0
3600.00/3609.01 d NEXHAUSTED 0
3600.00/3609.01 d NAM1S 654
3600.00/3609.01 d AM1LB 657
3600.00/3609.01 c [Papilo Statistics]
3600.00/3609.01 c prepro time 0.00452774s
3600.00/3609.01 c # tsx applied 163
3600.00/3609.01 c # tsx conflicts 9
3600.00/3609.01 c # bound changes 161
3600.00/3609.01 c # side changes 0
3600.00/3609.01 c # coef changes 0
3600.00/3609.01 c # rounds 2
3600.00/3609.01 c # deted vars 331
3600.00/3609.01 c # deted constrs 793
3600.00/3609.01 c # consecutive rounds of only bound changes 0
3600.00/3609.01 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: 64059 MiB (61588 MiB free)
memory of node 1: 64510 MiB (63461 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435460-1721079315/watcher-4435460-1721079315 -o /tmp/evaluation-result-4435460-1721079315/solver-4435460-1721079315 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721072075-807107 --watchdog 3760 mixed-bag HOME/instance-4435460-1721079315.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
Current StackSize limit: 8192 KiB
solver pid=811617, runsolver pid=811614
[startup+0.100098 s]*
/proc/loadavg: 4.59 4.37 4.25 6/247 811618
/proc/meminfo: memFree=128025708/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=109156 memory=40400 CPUtime=0.1 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 7100 0 0 0 10 0 0 0 20 0 1 0 160091148 111775744 10100 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 27289 10100 4011 3002 0 11040 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 109156 KiB
Current children cumulated memory: 40400 KiB
[startup+0.213482 s]*
/proc/loadavg: 4.59 4.37 4.25 5/247 811618
/proc/meminfo: memFree=128024868/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=109620 memory=40920 CPUtime=0.21 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 7203 0 0 0 21 0 0 0 20 0 1 0 160091148 112250880 10230 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 27405 10230 4011 3002 0 11156 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 109620 KiB
Current children cumulated memory: 40920 KiB
[startup+0.312744 s]*
/proc/loadavg: 4.59 4.37 4.25 5/247 811618
/proc/meminfo: memFree=128015292/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=113764 memory=44908 CPUtime=0.31 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 8212 0 0 0 31 0 0 0 20 0 1 0 160091148 116494336 11227 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 28441 11227 4027 3002 0 12192 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 113764 KiB
Current children cumulated memory: 44908 KiB
[startup+0.700266 s]
/proc/loadavg: 4.59 4.37 4.25 5/247 811618
/proc/meminfo: memFree=128014480/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=114936 memory=45700 CPUtime=0.68 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 8397 0 0 0 68 0 0 0 20 0 1 0 160091148 117694464 11425 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 28734 11425 4027 3002 0 12485 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 114936 KiB
Current children cumulated memory: 45700 KiB
[startup+1.50029 s]
/proc/loadavg: 4.59 4.37 4.25 5/247 811618
/proc/meminfo: memFree=128006404/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=116884 memory=47284 CPUtime=1.48 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 8785 0 0 0 148 0 0 0 20 0 1 0 160091148 119689216 11821 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 29221 11821 4027 3002 0 12972 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 116884 KiB
Current children cumulated memory: 47284 KiB
[startup+3.11299 s]
/proc/loadavg: 4.59 4.37 4.25 5/247 811618
/proc/meminfo: memFree=127965212/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=145348 memory=74476 CPUtime=3.09 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 15628 0 0 0 308 1 0 0 20 0 1 0 160091148 148836352 18619 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 36337 18619 4027 3002 0 20088 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 145348 KiB
Current children cumulated memory: 74476 KiB
[startup+6.30026 s]
/proc/loadavg: 4.55 4.36 4.25 5/247 811618
/proc/meminfo: memFree=127906600/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=186200 memory=114340 CPUtime=6.27 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 25584 0 0 0 625 2 0 0 20 0 1 0 160091148 190668800 28585 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 46550 28585 4027 3002 0 30301 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 186200 KiB
Current children cumulated memory: 114340 KiB
[startup+12.7003 s]
/proc/loadavg: 4.50 4.35 4.24 5/243 811620
/proc/meminfo: memFree=127839096/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=203136 memory=128188 CPUtime=12.65 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 30136 0 0 0 1262 3 0 0 20 0 1 0 160091148 208011264 32047 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 50784 32047 4027 3002 0 34535 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 203136 KiB
Current children cumulated memory: 128188 KiB
[startup+25.5003 s]
/proc/loadavg: 4.39 4.33 4.24 5/243 811623
/proc/meminfo: memFree=127789388/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=209020 memory=133992 CPUtime=25.42 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 31608 0 0 0 2539 3 0 0 20 0 1 0 160091148 214036480 33498 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 52255 33498 4027 3002 0 36006 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 209020 KiB
Current children cumulated memory: 133992 KiB
[startup+51.1133 s]
/proc/loadavg: 4.26 4.31 4.23 5/243 811628
/proc/meminfo: memFree=127640184/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=276388 memory=196140 CPUtime=50.97 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 48002 0 0 0 5091 6 0 0 20 0 1 0 160091148 283021312 49035 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 69097 49035 4042 3002 0 52848 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 276388 KiB
Current children cumulated memory: 196140 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.27 4.22 5/242 811636
/proc/meminfo: memFree=127596624/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=279888 memory=199516 CPUtime=102.04 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 51960 0 0 0 10197 7 0 0 20 0 1 0 160091148 286605312 49879 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 69972 49879 4042 3002 0 53723 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 279888 KiB
Current children cumulated memory: 199516 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.25 4.22 5/241 811646
/proc/meminfo: memFree=127529964/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=303116 memory=218608 CPUtime=161.89 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 56968 0 0 0 16181 8 0 0 20 0 1 0 160091148 310390784 54652 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 75779 54652 4042 3002 0 59530 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 303116 KiB
Current children cumulated memory: 218608 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.22 4.21 5/241 811657
/proc/meminfo: memFree=127480152/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=310900 memory=221740 CPUtime=221.74 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 59196 0 0 0 22166 8 0 0 20 0 1 0 160091148 318361600 55435 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 77725 55435 4042 3002 0 61476 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 310900 KiB
Current children cumulated memory: 221740 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.21 4.20 5/242 811668
/proc/meminfo: memFree=127471660/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=336568 memory=244556 CPUtime=281.57 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 64936 0 0 0 28148 9 0 0 20 0 1 0 160091148 344645632 61139 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 84142 61139 4042 3002 0 67893 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 336568 KiB
Current children cumulated memory: 244556 KiB
[startup+342.3 s]
/proc/loadavg: 4.86 4.40 4.27 5/245 811683
/proc/meminfo: memFree=127491328/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=217392 memory=145772 CPUtime=341.39 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 68982 0 0 0 34085 54 0 0 20 0 1 0 160091148 222609408 36443 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 54348 36443 4201 3002 0 38099 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 217392 KiB
Current children cumulated memory: 145772 KiB
[startup+402.3 s]
/proc/loadavg: 4.39 4.36 4.26 5/245 811693
/proc/meminfo: memFree=127401600/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=260556 memory=183932 CPUtime=401.21 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 72407 0 0 0 40031 90 0 0 20 0 1 0 160091148 266809344 45983 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 65139 45983 4201 3002 0 48890 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 260556 KiB
Current children cumulated memory: 183932 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.30 4.25 5/245 811704
/proc/meminfo: memFree=127337716/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=324832 memory=214644 CPUtime=461.02 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 76011 0 0 0 45965 137 0 0 20 0 1 0 160091148 332627968 53661 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 81208 53661 4201 3002 0 64959 0
################
# More data... #
################
Current children cumulated memory: 595448 KiB
[startup+2862.3 s]
/proc/loadavg: 4.20 4.22 4.23 5/244 813234
/proc/meminfo: memFree=126300124/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=756392 memory=595452 CPUtime=2855.12 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 122303 0 0 0 284738 774 0 0 20 0 1 0 160091148 774545408 148863 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 189098 148863 4201 3002 0 172849 0
Current children cumulated CPU time: 2855.12 s
Current children cumulated vsize: 756392 KiB
Current children cumulated memory: 595452 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.19 4.22 5/244 813245
/proc/meminfo: memFree=126298860/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=757416 memory=596168 CPUtime=2914.97 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 122715 0 0 0 290712 785 0 0 20 0 1 0 160091148 775593984 149042 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 189354 149042 4201 3002 0 173105 0
Current children cumulated CPU time: 2914.97 s
Current children cumulated vsize: 757416 KiB
Current children cumulated memory: 596168 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.17 4.20 5/244 813255
/proc/meminfo: memFree=126297144/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=757416 memory=596168 CPUtime=2974.82 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 122969 0 0 0 296690 792 0 0 20 0 1 0 160091148 775593984 149042 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 189354 149042 4201 3002 0 173105 0
Current children cumulated CPU time: 2974.82 s
Current children cumulated vsize: 757416 KiB
Current children cumulated memory: 596168 KiB
[startup+3042.3 s]
/proc/loadavg: 4.25 4.20 4.21 5/244 813651
/proc/meminfo: memFree=126295632/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=757416 memory=596168 CPUtime=3034.67 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 123217 0 0 0 302664 803 0 0 20 0 1 0 160091148 775593984 149042 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 189354 149042 4201 3002 0 173105 0
Current children cumulated CPU time: 3034.67 s
Current children cumulated vsize: 757416 KiB
Current children cumulated memory: 596168 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.17 4.20 5/244 813661
/proc/meminfo: memFree=126271244/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=759136 memory=605260 CPUtime=3094.52 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 123759 0 0 0 308641 811 0 0 20 0 1 0 160091148 777355264 151315 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 189784 151315 4201 3002 0 173535 0
Current children cumulated CPU time: 3094.52 s
Current children cumulated vsize: 759136 KiB
Current children cumulated memory: 605260 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.17 4.19 5/244 813671
/proc/meminfo: memFree=126264636/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=759720 memory=610016 CPUtime=3154.37 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 124135 0 0 0 314616 821 0 0 20 0 1 0 160091148 777953280 152504 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 189930 152504 4201 3002 0 173681 0
Current children cumulated CPU time: 3154.37 s
Current children cumulated vsize: 759720 KiB
Current children cumulated memory: 610016 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.15 4.18 5/244 813850
/proc/meminfo: memFree=126250488/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=759976 memory=610272 CPUtime=3214.22 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 124475 0 0 0 320593 829 0 0 20 0 1 0 160091148 778215424 152568 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 189994 152568 4201 3002 0 173745 0
Current children cumulated CPU time: 3214.22 s
Current children cumulated vsize: 759976 KiB
Current children cumulated memory: 610272 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.16 4.18 5/244 813860
/proc/meminfo: memFree=126248392/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=762208 memory=611344 CPUtime=3274.08 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 125019 0 0 0 326565 843 0 0 20 0 1 0 160091148 780500992 152836 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 190552 152836 4201 3002 0 174303 0
Current children cumulated CPU time: 3274.08 s
Current children cumulated vsize: 762208 KiB
Current children cumulated memory: 611344 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.17 4.18 5/244 813928
/proc/meminfo: memFree=126242096/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=764840 memory=613396 CPUtime=3333.92 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 125755 0 0 0 332537 855 0 0 20 0 1 0 160091148 783196160 153349 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 191210 153349 4201 3002 0 174961 0
Current children cumulated CPU time: 3333.92 s
Current children cumulated vsize: 764840 KiB
Current children cumulated memory: 613396 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.18 5/244 813938
/proc/meminfo: memFree=126220036/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=767144 memory=615128 CPUtime=3393.78 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 126423 0 0 0 338512 866 0 0 20 0 1 0 160091148 785555456 153782 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 191786 153782 4201 3002 0 175537 0
Current children cumulated CPU time: 3393.78 s
Current children cumulated vsize: 767144 KiB
Current children cumulated memory: 615128 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.17 5/245 813950
/proc/meminfo: memFree=126212600/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=771240 memory=617852 CPUtime=3453.64 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 127349 0 0 0 344482 882 0 0 20 0 1 0 160091148 789749760 154463 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 192810 154463 4201 3002 0 176561 0
Current children cumulated CPU time: 3453.64 s
Current children cumulated vsize: 771240 KiB
Current children cumulated memory: 617852 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.12 4.16 5/245 813961
/proc/meminfo: memFree=126179352/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=771936 memory=618060 CPUtime=3513.49 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 127667 0 0 0 350452 897 0 0 20 0 1 0 160091148 790462464 154515 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 192984 154515 4201 3002 0 176735 0
Current children cumulated CPU time: 3513.49 s
Current children cumulated vsize: 771936 KiB
Current children cumulated memory: 618060 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.11 4.16 4/238 814002
/proc/meminfo: memFree=126914944/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=773032 memory=619064 CPUtime=3573.35 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 128131 0 0 0 356430 905 0 0 20 0 1 0 160091148 791584768 154766 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 193258 154766 4201 3002 0 177009 0
Current children cumulated CPU time: 3573.35 s
Current children cumulated vsize: 773032 KiB
Current children cumulated memory: 619064 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 3.08 3.88 4.08 2/224 814067
/proc/meminfo: memFree=127934112/131655788 swapFree=131071996/131071996
[pid=811617] ppid=811614 vsize=773032 memory=619064 CPUtime=3600 cores=1,3
/proc/811617/stat : 811617 (mixed-bag) R 811614 811617 807095 0 -1 4194304 128224 0 0 0 359092 908 0 0 20 0 1 0 160091148 791584768 154766 134679101440 4194304 16487941 140726518426272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 46202880 140726518428695 140726518428772 140726518428772 140726518435787 0
/proc/811617/statm: 193258 154766 4201 3002 0 177009 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 773032 KiB
Current children cumulated memory: 619064 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.02 s]
# the end of solver process 811617 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.93 s, system=9.09083 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.02
CPU time (s): 3600.02
CPU user time (s): 3590.93
CPU system time (s): 9.09083
CPU usage (%): 99.7505
Max. virtual memory (cumulated for all children) (KiB): 773032
Max. memory (cumulated for all children) (KiB): 619064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.93
system time used= 9.09083
maximum resident set size= 619064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128247
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= 170
involuntary context switches= 2529
# summary of solver processes directly reported to runsolver:
# pid: 811617
# total CPU time (s): 3600.02
# total CPU user time (s): 3590.93
# total CPU system time (s): 9.09083
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3185 second user time and 34.8578 second system time
The end
Begin job on nodeC009 at 2024-07-15 23:35:27
IDJOB=4435460
IDBENCH=147524
IDSOLVER=3066
FILE ID=nodeC009/4435460-1721079315
RUNJOBID= nodeC009-1721072075-807107
SLURM_JOB_ID= 7505538
Free space on /tmp= 723716 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435460-1721079315/watcher-4435460-1721079315 -o /tmp/evaluation-result-4435460-1721079315/solver-4435460-1721079315 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721072075-807107 --watchdog 3760 mixed-bag HOME/instance-4435460-1721079315.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3986604c534c992b7a4e3e5a4bb881f1
RANDOM SEED=1382669940
nodeC009.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 : 0xb00001f
cpu MHz : 3673.251
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3607.204
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.461
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.318
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3666.717
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3666.300
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.343
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.444
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128051584 kB
MemAvailable: 129531648 kB
Buffers: 379420 kB
Cached: 1928828 kB
SwapCached: 0 kB
Active: 630620 kB
Inactive: 2420100 kB
Active(anon): 1452 kB
Inactive(anon): 778712 kB
Active(file): 629168 kB
Inactive(file): 1641388 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 72440 kB
Writeback: 12 kB
AnonPages: 742864 kB
Mapped: 128244 kB
Shmem: 37700 kB
KReclaimable: 99080 kB
Slab: 196216 kB
SReclaimable: 99080 kB
SUnreclaim: 97136 kB
KernelStack: 3920 kB
PageTables: 11092 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1102184 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51552 kB
HardwareCorrupted: 0 kB
AnonHugePages: 243712 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: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723752 MiB
End job on nodeC009 at 2024-07-16 00:35:37