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.39/300.19 c [STEP] preprocessing done, loading into solver
299.48/300.20 c [STEP] solving
299.48/300.20 c #variables 1664 #constraints 3290
299.48/300.20 c SMALL=int, LARGE=long long
299.48/300.20 d SCIPUB 898
299.48/300.20 c bounds - >= 0 @ 299.314
299.48/300.20 c stratification level: 0
299.48/300.25 c bounds - >= 678 @ 299.321
299.48/300.25 c bounds - >= 679 @ 299.322
299.48/300.25 c bounds - >= 680 @ 299.322
299.48/300.25 c bounds - >= 681 @ 299.322
299.48/300.25 c bounds - >= 682 @ 299.323
299.48/300.25 c bounds - >= 683 @ 299.323
299.48/300.25 c bounds - >= 684 @ 299.323
299.48/300.25 c bounds - >= 685 @ 299.323
299.48/300.25 c bounds - >= 686 @ 299.323
299.48/300.25 c bounds - >= 687 @ 299.324
299.48/300.25 c bounds - >= 688 @ 299.324
299.48/300.25 c bounds - >= 689 @ 299.324
299.48/300.25 c bounds - >= 690 @ 299.324
299.48/300.25 c bounds - >= 691 @ 299.324
299.48/300.25 c bounds - >= 692 @ 299.324
299.48/300.25 c bounds - >= 693 @ 299.324
299.48/300.25 c bounds - >= 694 @ 299.324
299.48/300.25 c bounds - >= 695 @ 299.325
299.48/300.25 c bounds - >= 696 @ 299.325
299.48/300.25 c bounds - >= 697 @ 299.325
299.48/300.25 c bounds - >= 698 @ 299.325
299.48/300.25 c bounds - >= 699 @ 299.325
299.48/300.25 c bounds - >= 700 @ 299.326
299.48/300.25 c bounds - >= 701 @ 299.326
299.48/300.25 c bounds - >= 702 @ 299.326
299.48/300.25 c bounds - >= 703 @ 299.326
299.48/300.25 c bounds - >= 704 @ 299.326
299.48/300.25 c bounds - >= 705 @ 299.326
299.48/300.25 c bounds - >= 706 @ 299.326
299.48/300.25 c bounds - >= 707 @ 299.326
299.48/300.25 c bounds - >= 708 @ 299.326
299.48/300.25 c bounds - >= 709 @ 299.327
299.48/300.25 c bounds - >= 710 @ 299.327
299.48/300.25 c bounds - >= 711 @ 299.327
299.48/300.25 c bounds - >= 712 @ 299.327
299.48/300.25 c bounds - >= 713 @ 299.328
299.48/300.25 c bounds - >= 714 @ 299.328
299.48/300.25 c bounds - >= 715 @ 299.328
299.48/300.25 c bounds - >= 716 @ 299.328
299.48/300.25 c bounds - >= 717 @ 299.329
299.48/300.25 c bounds - >= 718 @ 299.329
299.48/300.25 c bounds - >= 719 @ 299.329
299.48/300.25 c bounds - >= 720 @ 299.329
299.48/300.25 c bounds - >= 721 @ 299.329
299.48/300.25 c bounds - >= 722 @ 299.33
299.48/300.25 c bounds - >= 723 @ 299.33
299.48/300.25 c bounds - >= 724 @ 299.33
299.48/300.25 c bounds - >= 725 @ 299.33
299.48/300.25 c bounds - >= 726 @ 299.331
299.48/300.25 c bounds - >= 727 @ 299.331
299.48/300.25 c bounds - >= 728 @ 299.331
299.48/300.25 c bounds - >= 729 @ 299.331
299.48/300.25 c bounds - >= 730 @ 299.332
299.48/300.25 c bounds - >= 731 @ 299.332
299.48/300.25 c bounds - >= 732 @ 299.332
299.48/300.25 c bounds - >= 733 @ 299.332
299.48/300.25 c bounds - >= 734 @ 299.333
299.48/300.25 c bounds - >= 735 @ 299.333
299.48/300.25 c bounds - >= 736 @ 299.333
299.48/300.25 c bounds - >= 737 @ 299.333
299.48/300.25 c bounds - >= 738 @ 299.334
299.48/300.25 c bounds - >= 739 @ 299.334
299.48/300.25 c bounds - >= 740 @ 299.334
299.48/300.25 c bounds - >= 741 @ 299.334
299.48/300.25 c bounds - >= 742 @ 299.334
299.48/300.25 c bounds - >= 743 @ 299.334
299.48/300.25 c bounds - >= 744 @ 299.334
299.48/300.25 c bounds - >= 745 @ 299.334
299.48/300.25 c bounds - >= 746 @ 299.334
299.48/300.25 c bounds - >= 747 @ 299.334
299.48/300.25 c bounds - >= 748 @ 299.334
299.48/300.25 c bounds - >= 749 @ 299.334
299.48/300.25 c bounds - >= 750 @ 299.334
299.48/300.25 c bounds - >= 751 @ 299.334
299.48/300.25 c bounds - >= 752 @ 299.334
299.48/300.25 c bounds - >= 753 @ 299.334
299.48/300.25 c bounds - >= 754 @ 299.335
299.48/300.25 c bounds - >= 755 @ 299.335
299.48/300.25 c bounds - >= 756 @ 299.335
299.48/300.25 c bounds - >= 757 @ 299.336
299.48/300.25 c bounds - >= 758 @ 299.336
299.48/300.25 c bounds - >= 759 @ 299.336
299.48/300.25 c bounds - >= 760 @ 299.336
299.48/300.25 c bounds - >= 761 @ 299.336
299.48/300.25 c bounds - >= 762 @ 299.336
299.48/300.25 c bounds - >= 763 @ 299.336
299.48/300.25 c bounds - >= 764 @ 299.336
299.48/300.25 c bounds - >= 765 @ 299.336
299.48/300.25 c bounds - >= 766 @ 299.336
299.48/300.25 c bounds - >= 767 @ 299.336
299.48/300.25 c bounds - >= 768 @ 299.337
299.48/300.25 c bounds - >= 769 @ 299.337
299.48/300.25 c bounds - >= 770 @ 299.337
299.48/300.25 c bounds - >= 771 @ 299.337
299.48/300.25 c bounds - >= 772 @ 299.338
299.48/300.25 c bounds - >= 773 @ 299.338
299.48/300.25 c bounds - >= 774 @ 299.338
299.48/300.25 c bounds - >= 775 @ 299.338
299.48/300.25 c bounds - >= 776 @ 299.338
299.48/300.25 c bounds - >= 777 @ 299.338
299.48/300.25 c bounds - >= 778 @ 299.338
299.48/300.25 c bounds - >= 779 @ 299.339
299.48/300.25 c bounds - >= 780 @ 299.339
299.48/300.25 c bounds - >= 781 @ 299.339
299.48/300.25 c bounds - >= 782 @ 299.34
299.48/300.25 c bounds - >= 783 @ 299.34
299.48/300.25 c bounds - >= 784 @ 299.34
299.48/300.25 c bounds - >= 785 @ 299.34
299.48/300.25 c bounds - >= 786 @ 299.34
299.48/300.25 c bounds - >= 787 @ 299.34
299.48/300.25 c bounds - >= 788 @ 299.34
299.48/300.25 c bounds - >= 789 @ 299.341
299.48/300.25 c bounds - >= 790 @ 299.341
299.48/300.25 c bounds - >= 791 @ 299.341
299.48/300.25 c bounds - >= 792 @ 299.342
299.48/300.25 c bounds - >= 793 @ 299.342
299.48/300.25 c bounds - >= 794 @ 299.342
299.48/300.25 c bounds - >= 795 @ 299.343
299.48/300.25 c bounds - >= 796 @ 299.343
299.48/300.25 c bounds - >= 797 @ 299.343
299.48/300.25 c bounds - >= 798 @ 299.344
299.48/300.25 c bounds - >= 799 @ 299.344
299.48/300.25 c bounds - >= 800 @ 299.344
299.48/300.25 c bounds - >= 801 @ 299.345
299.48/300.25 c bounds - >= 802 @ 299.345
299.48/300.25 c bounds - >= 803 @ 299.345
299.48/300.25 c bounds - >= 804 @ 299.345
299.48/300.25 c bounds - >= 805 @ 299.345
299.48/300.25 c bounds - >= 806 @ 299.346
299.48/300.25 c bounds - >= 807 @ 299.346
299.48/300.25 c bounds - >= 808 @ 299.346
299.48/300.25 c bounds - >= 809 @ 299.346
299.48/300.25 c bounds - >= 810 @ 299.346
299.48/300.25 c bounds - >= 811 @ 299.347
299.48/300.25 c bounds - >= 812 @ 299.347
299.48/300.25 c bounds - >= 813 @ 299.347
299.48/300.25 c bounds - >= 814 @ 299.347
299.48/300.25 c bounds - >= 815 @ 299.347
299.48/300.25 c bounds - >= 816 @ 299.347
299.48/300.25 c bounds - >= 817 @ 299.348
299.48/300.25 c bounds - >= 818 @ 299.348
299.48/300.25 c bounds - >= 819 @ 299.349
299.48/300.25 c bounds - >= 820 @ 299.349
299.48/300.25 c bounds - >= 821 @ 299.349
299.48/300.25 c bounds - >= 822 @ 299.349
299.48/300.25 c bounds - >= 823 @ 299.349
299.48/300.25 c bounds - >= 824 @ 299.349
354.85/355.70 c bounds - >= 825 @ 299.349
354.85/355.70 c #Conflicts: 1000 | #Constraints: 5262
354.85/355.70 c #Conflicts: 2000 | #Constraints: 6262
354.85/355.70 c INPROCESSING
354.85/355.70 c GARBAGE COLLECT
354.85/355.70 c #Conflicts: 3000 | #Constraints: 6112
354.85/355.70 c #Conflicts: 4000 | #Constraints: 7112
354.85/355.70 c INPROCESSING
354.85/355.70 c GARBAGE COLLECT
354.85/355.70 c #Conflicts: 5000 | #Constraints: 6478
354.85/355.70 c #Conflicts: 6000 | #Constraints: 7478
354.85/355.70 c INPROCESSING
354.85/355.70 c GARBAGE COLLECT
354.85/355.70 c #Conflicts: 7000 | #Constraints: 6467
354.85/355.70 c #Conflicts: 8000 | #Constraints: 7467
354.85/355.70 c #Conflicts: 9000 | #Constraints: 8467
354.85/355.70 c INPROCESSING
354.85/355.70 c GARBAGE COLLECT
354.85/355.70 c #Conflicts: 10000 | #Constraints: 7149
354.85/355.70 c #Conflicts: 11000 | #Constraints: 8149
354.85/355.70 c #Conflicts: 12000 | #Constraints: 9149
354.85/355.70 c INPROCESSING
354.85/355.70 c GARBAGE COLLECT
354.85/355.70 c #Conflicts: 13000 | #Constraints: 7593
354.85/355.70 c #Conflicts: 14000 | #Constraints: 8593
354.85/355.70 c #Conflicts: 15000 | #Constraints: 9593
354.85/355.70 c INPROCESSING
354.85/355.70 c GARBAGE COLLECT
354.85/355.70 c #Conflicts: 16000 | #Constraints: 7818
354.85/355.70 c #Conflicts: 17000 | #Constraints: 8818
354.85/355.70 c #Conflicts: 18000 | #Constraints: 9818
354.85/355.70 c INPROCESSING
354.85/355.70 c GARBAGE COLLECT
354.85/355.70 c #Conflicts: 19000 | #Constraints: 7832
354.85/355.70 c #Conflicts: 20000 | #Constraints: 8832
354.85/355.70 c #Conflicts: 21000 | #Constraints: 9832
354.85/355.70 c INPROCESSING
354.85/355.70 c GARBAGE COLLECT
354.85/355.70 c #Conflicts: 22000 | #Constraints: 7633
354.85/355.70 c #Conflicts: 23000 | #Constraints: 8633
354.85/355.70 c #Conflicts: 24000 | #Constraints: 9633
354.85/355.70 c #Conflicts: 25000 | #Constraints: 10633
354.85/355.70 c INPROCESSING
354.85/355.70 c GARBAGE COLLECT
354.85/355.70 c #Conflicts: 26000 | #Constraints: 8233
354.85/355.70 c #Conflicts: 27000 | #Constraints: 9233
354.85/355.70 c #Conflicts: 28000 | #Constraints: 10233
354.85/355.70 c #Conflicts: 29000 | #Constraints: 11233
354.85/355.70 c INPROCESSING
354.85/355.70 c GARBAGE COLLECT
354.85/355.70 c #Conflicts: 30000 | #Constraints: 8667
354.85/355.70 c #Conflicts: 31000 | #Constraints: 9667
354.85/355.70 c #Conflicts: 32000 | #Constraints: 10667
354.85/355.70 c #Conflicts: 33000 | #Constraints: 11667
354.85/355.70 c INPROCESSING
354.85/355.70 c GARBAGE COLLECT
354.85/355.70 c #Conflicts: 34000 | #Constraints: 8858
354.85/355.70 c #Conflicts: 35000 | #Constraints: 9858
354.85/355.70 c #Conflicts: 36000 | #Constraints: 10858
354.85/355.70 c #Conflicts: 37000 | #Constraints: 11858
354.85/355.70 c INPROCESSING
354.85/355.70 c GARBAGE COLLECT
354.85/355.70 c #Conflicts: 38000 | #Constraints: 8859
354.85/355.70 c #Conflicts: 39000 | #Constraints: 9859
354.85/355.70 c #Conflicts: 40000 | #Constraints: 10859
354.85/355.70 c #Conflicts: 41000 | #Constraints: 11859
354.85/355.70 c INPROCESSING
354.85/355.70 c GARBAGE COLLECT
354.85/355.70 c #Conflicts: 42000 | #Constraints: 8659
354.85/355.70 c #Conflicts: 43000 | #Constraints: 9659
354.85/355.70 c #Conflicts: 44000 | #Constraints: 10659
354.85/355.70 c #Conflicts: 45000 | #Constraints: 11659
354.85/355.70 c #Conflicts: 46000 | #Constraints: 12659
354.85/355.70 c INPROCESSING
354.85/355.70 c GARBAGE COLLECT
354.85/355.70 c #Conflicts: 47000 | #Constraints: 9246
354.85/355.70 c #Conflicts: 48000 | #Constraints: 10246
354.85/355.70 c #Conflicts: 49000 | #Constraints: 11246
354.85/355.70 c #Conflicts: 50000 | #Constraints: 12246
354.85/355.70 c #Conflicts: 51000 | #Constraints: 13246
354.85/355.70 c INPROCESSING
354.85/355.70 c GARBAGE COLLECT
354.85/355.70 c #Conflicts: 52000 | #Constraints: 9648
354.85/355.70 c #Conflicts: 53000 | #Constraints: 10648
354.85/355.70 c #Conflicts: 54000 | #Constraints: 11648
354.85/355.70 c #Conflicts: 55000 | #Constraints: 12648
354.85/355.70 c #Conflicts: 56000 | #Constraints: 13648
354.85/355.70 c INPROCESSING
354.85/355.70 c GARBAGE COLLECT
354.85/355.70 c #Conflicts: 57000 | #Constraints: 9844
354.85/355.70 c #Conflicts: 58000 | #Constraints: 10844
354.85/355.70 c #Conflicts: 59000 | #Constraints: 11844
354.85/355.70 c #Conflicts: 60000 | #Constraints: 12844
354.85/355.70 c #Conflicts: 61000 | #Constraints: 13844
354.85/355.70 c INPROCESSING
354.85/355.70 c GARBAGE COLLECT
354.85/355.70 c #Conflicts: 62000 | #Constraints: 9839
354.85/355.70 c #Conflicts: 63000 | #Constraints: 10839
354.85/355.70 c #Conflicts: 64000 | #Constraints: 11839
354.85/355.70 c #Conflicts: 65000 | #Constraints: 12839
354.85/355.70 c #Conflicts: 66000 | #Constraints: 13839
354.85/355.70 c INPROCESSING
354.85/355.70 c GARBAGE COLLECT
354.85/355.70 c #Conflicts: 67000 | #Constraints: 9632
467.54/468.73 c #Conflicts: 68000 | #Constraints: 10632
467.54/468.73 c #Conflicts: 69000 | #Constraints: 11632
467.54/468.73 c #Conflicts: 70000 | #Constraints: 12632
467.54/468.73 c #Conflicts: 71000 | #Constraints: 13632
467.54/468.73 c #Conflicts: 72000 | #Constraints: 14632
467.54/468.73 c INPROCESSING
467.54/468.73 c GARBAGE COLLECT
467.54/468.73 c #Conflicts: 73000 | #Constraints: 10233
467.54/468.73 c #Conflicts: 74000 | #Constraints: 11233
467.54/468.73 c #Conflicts: 75000 | #Constraints: 12233
467.54/468.73 c #Conflicts: 76000 | #Constraints: 13233
467.54/468.73 c #Conflicts: 77000 | #Constraints: 14233
467.54/468.73 c #Conflicts: 78000 | #Constraints: 15233
467.54/468.73 c INPROCESSING
467.54/468.73 c GARBAGE COLLECT
467.54/468.73 c #Conflicts: 79000 | #Constraints: 10635
467.54/468.73 c #Conflicts: 80000 | #Constraints: 11635
467.54/468.73 c #Conflicts: 81000 | #Constraints: 12635
467.54/468.73 c #Conflicts: 82000 | #Constraints: 13635
467.54/468.73 c #Conflicts: 83000 | #Constraints: 14635
467.54/468.73 c #Conflicts: 84000 | #Constraints: 15635
467.54/468.73 c INPROCESSING
467.54/468.73 c GARBAGE COLLECT
467.54/468.73 c #Conflicts: 85000 | #Constraints: 10842
467.54/468.73 c #Conflicts: 86000 | #Constraints: 11842
467.54/468.73 c #Conflicts: 87000 | #Constraints: 12842
467.54/468.73 c #Conflicts: 88000 | #Constraints: 13842
467.54/468.73 c #Conflicts: 89000 | #Constraints: 14842
467.54/468.73 c #Conflicts: 90000 | #Constraints: 15842
467.54/468.73 c INPROCESSING
467.54/468.73 c GARBAGE COLLECT
467.54/468.73 c #Conflicts: 91000 | #Constraints: 10838
467.54/468.73 c #Conflicts: 92000 | #Constraints: 11838
467.54/468.73 c #Conflicts: 93000 | #Constraints: 12838
467.54/468.73 c #Conflicts: 94000 | #Constraints: 13838
467.54/468.73 c #Conflicts: 95000 | #Constraints: 14838
467.54/468.73 c #Conflicts: 96000 | #Constraints: 15838
467.54/468.73 c INPROCESSING
467.54/468.73 c GARBAGE COLLECT
467.54/468.73 c #Conflicts: 97000 | #Constraints: 10639
467.54/468.73 c #Conflicts: 98000 | #Constraints: 11639
467.54/468.73 c #Conflicts: 99000 | #Constraints: 12639
467.54/468.73 c #Conflicts: 100000 | #Constraints: 13639
467.54/468.73 c #Conflicts: 101000 | #Constraints: 14639
467.54/468.73 c #Conflicts: 102000 | #Constraints: 15639
467.54/468.73 c #Conflicts: 103000 | #Constraints: 16639
467.54/468.73 c INPROCESSING
467.54/468.73 c GARBAGE COLLECT
467.54/468.73 c #Conflicts: 104000 | #Constraints: 11239
467.54/468.73 c #Conflicts: 105000 | #Constraints: 12239
467.54/468.73 c #Conflicts: 106000 | #Constraints: 13239
467.54/468.73 c #Conflicts: 107000 | #Constraints: 14239
467.54/468.73 c #Conflicts: 108000 | #Constraints: 15239
467.54/468.73 c #Conflicts: 109000 | #Constraints: 16239
467.54/468.73 c #Conflicts: 110000 | #Constraints: 17239
467.54/468.73 c INPROCESSING
467.54/468.73 c GARBAGE COLLECT
467.54/468.73 c #Conflicts: 111000 | #Constraints: 11636
467.54/468.73 c #Conflicts: 112000 | #Constraints: 12636
467.54/468.73 c #Conflicts: 113000 | #Constraints: 13636
467.54/468.73 c #Conflicts: 114000 | #Constraints: 14636
467.54/468.73 c #Conflicts: 115000 | #Constraints: 15636
467.54/468.73 c #Conflicts: 116000 | #Constraints: 16636
467.54/468.73 c #Conflicts: 117000 | #Constraints: 17636
467.54/468.73 c INPROCESSING
467.54/468.73 c GARBAGE COLLECT
467.54/468.73 c #Conflicts: 118000 | #Constraints: 11836
467.54/468.73 c #Conflicts: 119000 | #Constraints: 12836
467.54/468.73 c #Conflicts: 120000 | #Constraints: 13836
467.54/468.73 c #Conflicts: 121000 | #Constraints: 14836
467.54/468.73 c #Conflicts: 122000 | #Constraints: 15836
467.54/468.73 c #Conflicts: 123000 | #Constraints: 16836
467.54/468.73 c #Conflicts: 124000 | #Constraints: 17836
467.54/468.73 c INPROCESSING
467.54/468.73 c GARBAGE COLLECT
467.54/468.73 c #Conflicts: 125000 | #Constraints: 11839
467.54/468.73 c #Conflicts: 126000 | #Constraints: 12839
467.54/468.73 c #Conflicts: 127000 | #Constraints: 13839
467.54/468.73 c #Conflicts: 128000 | #Constraints: 14839
467.54/468.73 c #Conflicts: 129000 | #Constraints: 15839
467.54/468.73 c #Conflicts: 130000 | #Constraints: 16839
467.54/468.73 c #Conflicts: 131000 | #Constraints: 17839
467.54/468.73 c INPROCESSING
467.54/468.73 c GARBAGE COLLECT
467.54/468.73 c #Conflicts: 132000 | #Constraints: 11637
467.54/468.73 c #Conflicts: 133000 | #Constraints: 12637
467.54/468.73 c #Conflicts: 134000 | #Constraints: 13637
467.54/468.73 c #Conflicts: 135000 | #Constraints: 14637
467.54/468.73 c #Conflicts: 136000 | #Constraints: 15637
467.54/468.73 c #Conflicts: 137000 | #Constraints: 16637
467.54/468.73 c #Conflicts: 138000 | #Constraints: 17637
467.54/468.73 c #Conflicts: 139000 | #Constraints: 18637
467.54/468.73 c INPROCESSING
571.76/573.21 c GARBAGE COLLECT
571.76/573.21 c #Conflicts: 140000 | #Constraints: 12246
571.76/573.21 c #Conflicts: 141000 | #Constraints: 13246
571.76/573.21 c #Conflicts: 142000 | #Constraints: 14246
571.76/573.21 c #Conflicts: 143000 | #Constraints: 15246
571.76/573.21 c #Conflicts: 144000 | #Constraints: 16246
571.76/573.21 c #Conflicts: 145000 | #Constraints: 17246
571.76/573.21 c #Conflicts: 146000 | #Constraints: 18246
571.76/573.21 c #Conflicts: 147000 | #Constraints: 19246
571.76/573.21 c INPROCESSING
571.76/573.21 c GARBAGE COLLECT
571.76/573.21 c #Conflicts: 148000 | #Constraints: 12650
571.76/573.21 c #Conflicts: 149000 | #Constraints: 13650
571.76/573.21 c #Conflicts: 150000 | #Constraints: 14650
571.76/573.21 c #Conflicts: 151000 | #Constraints: 15650
571.76/573.21 c #Conflicts: 152000 | #Constraints: 16650
571.76/573.21 c #Conflicts: 153000 | #Constraints: 17650
571.76/573.21 c #Conflicts: 154000 | #Constraints: 18650
571.76/573.21 c #Conflicts: 155000 | #Constraints: 19650
571.76/573.21 c INPROCESSING
571.76/573.21 c GARBAGE COLLECT
571.76/573.21 c #Conflicts: 156000 | #Constraints: 12841
571.76/573.21 c #Conflicts: 157000 | #Constraints: 13841
571.76/573.21 c #Conflicts: 158000 | #Constraints: 14841
571.76/573.21 c #Conflicts: 159000 | #Constraints: 15841
571.76/573.21 c #Conflicts: 160000 | #Constraints: 16841
571.76/573.21 c #Conflicts: 161000 | #Constraints: 17841
571.76/573.21 c #Conflicts: 162000 | #Constraints: 18841
571.76/573.21 c #Conflicts: 163000 | #Constraints: 19841
571.76/573.21 c INPROCESSING
571.76/573.21 c GARBAGE COLLECT
571.76/573.21 c #Conflicts: 164000 | #Constraints: 12851
571.76/573.21 c #Conflicts: 165000 | #Constraints: 13851
571.76/573.21 c #Conflicts: 166000 | #Constraints: 14851
571.76/573.21 c #Conflicts: 167000 | #Constraints: 15851
571.76/573.21 c #Conflicts: 168000 | #Constraints: 16851
571.76/573.21 c #Conflicts: 169000 | #Constraints: 17851
571.76/573.21 c #Conflicts: 170000 | #Constraints: 18851
571.76/573.21 c #Conflicts: 171000 | #Constraints: 19851
571.76/573.21 c INPROCESSING
571.76/573.21 c GARBAGE COLLECT
571.76/573.21 c #Conflicts: 172000 | #Constraints: 12650
571.76/573.21 c #Conflicts: 173000 | #Constraints: 13650
571.76/573.21 c #Conflicts: 174000 | #Constraints: 14650
571.76/573.21 c #Conflicts: 175000 | #Constraints: 15650
571.76/573.21 c #Conflicts: 176000 | #Constraints: 16650
571.76/573.21 c #Conflicts: 177000 | #Constraints: 17650
571.76/573.21 c #Conflicts: 178000 | #Constraints: 18650
571.76/573.21 c #Conflicts: 179000 | #Constraints: 19650
571.76/573.21 c #Conflicts: 180000 | #Constraints: 20650
571.76/573.21 c INPROCESSING
571.76/573.21 c GARBAGE COLLECT
571.76/573.21 c #Conflicts: 181000 | #Constraints: 13251
571.76/573.21 c #Conflicts: 182000 | #Constraints: 14251
571.76/573.21 c #Conflicts: 183000 | #Constraints: 15251
571.76/573.21 c #Conflicts: 184000 | #Constraints: 16251
571.76/573.21 c #Conflicts: 185000 | #Constraints: 17251
571.76/573.21 c #Conflicts: 186000 | #Constraints: 18251
571.76/573.21 c #Conflicts: 187000 | #Constraints: 19251
571.76/573.21 c #Conflicts: 188000 | #Constraints: 20251
571.76/573.21 c #Conflicts: 189000 | #Constraints: 21251
571.76/573.21 c INPROCESSING
571.76/573.21 c GARBAGE COLLECT
571.76/573.21 c #Conflicts: 190000 | #Constraints: 13651
571.76/573.21 c #Conflicts: 191000 | #Constraints: 14651
571.76/573.21 c #Conflicts: 192000 | #Constraints: 15651
571.76/573.21 c #Conflicts: 193000 | #Constraints: 16651
571.76/573.21 c #Conflicts: 194000 | #Constraints: 17651
571.76/573.21 c #Conflicts: 195000 | #Constraints: 18651
571.76/573.21 c #Conflicts: 196000 | #Constraints: 19651
571.76/573.21 c #Conflicts: 197000 | #Constraints: 20651
571.76/573.21 c #Conflicts: 198000 | #Constraints: 21651
571.76/573.21 c INPROCESSING
571.76/573.21 c GARBAGE COLLECT
571.76/573.21 c #Conflicts: 199000 | #Constraints: 13854
571.76/573.21 c #Conflicts: 200000 | #Constraints: 14854
571.76/573.21 c #Conflicts: 201000 | #Constraints: 15854
571.76/573.21 c #Conflicts: 202000 | #Constraints: 16854
571.76/573.21 c #Conflicts: 203000 | #Constraints: 17854
571.76/573.21 c #Conflicts: 204000 | #Constraints: 18854
571.76/573.21 c #Conflicts: 205000 | #Constraints: 19854
571.76/573.21 c #Conflicts: 206000 | #Constraints: 20854
571.76/573.21 c #Conflicts: 207000 | #Constraints: 21854
571.76/573.21 c INPROCESSING
571.76/573.21 c GARBAGE COLLECT
571.76/573.21 c #Conflicts: 208000 | #Constraints: 13857
571.76/573.21 c #Conflicts: 209000 | #Constraints: 14857
571.76/573.21 c #Conflicts: 210000 | #Constraints: 15857
571.76/573.21 c #Conflicts: 211000 | #Constraints: 16857
571.76/573.21 c #Conflicts: 212000 | #Constraints: 17857
571.76/573.21 c #Conflicts: 213000 | #Constraints: 18857
737.04/739.00 c #Conflicts: 214000 | #Constraints: 19857
737.04/739.00 c #Conflicts: 215000 | #Constraints: 20857
737.04/739.00 c #Conflicts: 216000 | #Constraints: 21857
737.04/739.00 c INPROCESSING
737.04/739.00 c GARBAGE COLLECT
737.04/739.00 c #Conflicts: 217000 | #Constraints: 13669
737.04/739.00 c #Conflicts: 218000 | #Constraints: 14669
737.04/739.00 c #Conflicts: 219000 | #Constraints: 15669
737.04/739.00 c #Conflicts: 220000 | #Constraints: 16669
737.04/739.00 c #Conflicts: 221000 | #Constraints: 17669
737.04/739.00 c #Conflicts: 222000 | #Constraints: 18669
737.04/739.00 c #Conflicts: 223000 | #Constraints: 19669
737.04/739.00 c #Conflicts: 224000 | #Constraints: 20669
737.04/739.00 c #Conflicts: 225000 | #Constraints: 21669
737.04/739.00 c #Conflicts: 226000 | #Constraints: 22669
737.04/739.00 c INPROCESSING
737.04/739.00 c GARBAGE COLLECT
737.04/739.00 c #Conflicts: 227000 | #Constraints: 14278
737.04/739.00 c #Conflicts: 228000 | #Constraints: 15278
737.04/739.00 c #Conflicts: 229000 | #Constraints: 16278
737.04/739.00 c #Conflicts: 230000 | #Constraints: 17278
737.04/739.00 c #Conflicts: 231000 | #Constraints: 18278
737.04/739.00 c #Conflicts: 232000 | #Constraints: 19278
737.04/739.00 c #Conflicts: 233000 | #Constraints: 20278
737.04/739.00 c #Conflicts: 234000 | #Constraints: 21278
737.04/739.00 c #Conflicts: 235000 | #Constraints: 22278
737.04/739.00 c #Conflicts: 236000 | #Constraints: 23278
737.04/739.00 c INPROCESSING
737.04/739.00 c GARBAGE COLLECT
737.04/739.00 c #Conflicts: 237000 | #Constraints: 14669
737.04/739.00 c #Conflicts: 238000 | #Constraints: 15669
737.04/739.00 c #Conflicts: 239000 | #Constraints: 16669
737.04/739.00 c #Conflicts: 240000 | #Constraints: 17669
737.04/739.00 c #Conflicts: 241000 | #Constraints: 18669
737.04/739.00 c #Conflicts: 242000 | #Constraints: 19669
737.04/739.00 c #Conflicts: 243000 | #Constraints: 20669
737.04/739.00 c #Conflicts: 244000 | #Constraints: 21669
737.04/739.00 c #Conflicts: 245000 | #Constraints: 22669
737.04/739.00 c #Conflicts: 246000 | #Constraints: 23669
737.04/739.00 c INPROCESSING
737.04/739.00 c GARBAGE COLLECT
737.04/739.00 c #Conflicts: 247000 | #Constraints: 14867
737.04/739.00 c #Conflicts: 248000 | #Constraints: 15867
737.04/739.00 c #Conflicts: 249000 | #Constraints: 16867
737.04/739.00 c #Conflicts: 250000 | #Constraints: 17867
737.04/739.00 c #Conflicts: 251000 | #Constraints: 18867
737.04/739.00 c #Conflicts: 252000 | #Constraints: 19867
737.04/739.00 c #Conflicts: 253000 | #Constraints: 20867
737.04/739.00 c #Conflicts: 254000 | #Constraints: 21867
737.04/739.00 c #Conflicts: 255000 | #Constraints: 22867
737.04/739.00 c #Conflicts: 256000 | #Constraints: 23867
737.04/739.00 c INPROCESSING
737.04/739.00 c GARBAGE COLLECT
737.04/739.00 c #Conflicts: 257000 | #Constraints: 14855
737.04/739.00 c #Conflicts: 258000 | #Constraints: 15855
737.04/739.00 c #Conflicts: 259000 | #Constraints: 16855
737.04/739.00 c #Conflicts: 260000 | #Constraints: 17855
737.04/739.00 c #Conflicts: 261000 | #Constraints: 18855
737.04/739.00 c #Conflicts: 262000 | #Constraints: 19855
737.04/739.00 c #Conflicts: 263000 | #Constraints: 20855
737.04/739.00 c #Conflicts: 264000 | #Constraints: 21855
737.04/739.00 c #Conflicts: 265000 | #Constraints: 22855
737.04/739.00 c #Conflicts: 266000 | #Constraints: 23855
737.04/739.00 c INPROCESSING
737.04/739.00 c GARBAGE COLLECT
737.04/739.00 c #Conflicts: 267000 | #Constraints: 14647
737.04/739.00 c #Conflicts: 268000 | #Constraints: 15647
737.04/739.00 c #Conflicts: 269000 | #Constraints: 16647
737.04/739.00 c #Conflicts: 270000 | #Constraints: 17647
737.04/739.00 c #Conflicts: 271000 | #Constraints: 18647
737.04/739.00 c #Conflicts: 272000 | #Constraints: 19647
737.04/739.00 c #Conflicts: 273000 | #Constraints: 20647
737.04/739.00 c #Conflicts: 274000 | #Constraints: 21647
737.04/739.00 c #Conflicts: 275000 | #Constraints: 22647
737.04/739.00 c #Conflicts: 276000 | #Constraints: 23647
737.04/739.00 c #Conflicts: 277000 | #Constraints: 24647
737.04/739.00 c INPROCESSING
737.04/739.00 c GARBAGE COLLECT
737.04/739.00 c #Conflicts: 278000 | #Constraints: 15250
737.04/739.00 c #Conflicts: 279000 | #Constraints: 16250
737.04/739.00 c #Conflicts: 280000 | #Constraints: 17250
737.04/739.00 c #Conflicts: 281000 | #Constraints: 18250
737.04/739.00 c #Conflicts: 282000 | #Constraints: 19250
737.04/739.00 c #Conflicts: 283000 | #Constraints: 20250
737.04/739.00 c #Conflicts: 284000 | #Constraints: 21250
737.04/739.00 c #Conflicts: 285000 | #Constraints: 22250
737.04/739.00 c #Conflicts: 286000 | #Constraints: 23250
737.04/739.00 c #Conflicts: 287000 | #Constraints: 24250
962.26/964.78 c #Conflicts: 288000 | #Constraints: 25250
962.26/964.78 c INPROCESSING
962.26/964.78 c GARBAGE COLLECT
962.26/964.78 c #Conflicts: 289000 | #Constraints: 15653
962.26/964.78 c #Conflicts: 290000 | #Constraints: 16653
962.26/964.78 c #Conflicts: 291000 | #Constraints: 17653
962.26/964.78 c #Conflicts: 292000 | #Constraints: 18653
962.26/964.78 c #Conflicts: 293000 | #Constraints: 19653
962.26/964.78 c #Conflicts: 294000 | #Constraints: 20653
962.26/964.78 c #Conflicts: 295000 | #Constraints: 21653
962.26/964.78 c #Conflicts: 296000 | #Constraints: 22653
962.26/964.78 c #Conflicts: 297000 | #Constraints: 23653
962.26/964.78 c #Conflicts: 298000 | #Constraints: 24653
962.26/964.78 c #Conflicts: 299000 | #Constraints: 25653
962.26/964.78 c INPROCESSING
962.26/964.78 c GARBAGE COLLECT
962.26/964.78 c #Conflicts: 300000 | #Constraints: 15848
962.26/964.78 c #Conflicts: 301000 | #Constraints: 16848
962.26/964.78 c #Conflicts: 302000 | #Constraints: 17848
962.26/964.78 c #Conflicts: 303000 | #Constraints: 18848
962.26/964.78 c #Conflicts: 304000 | #Constraints: 19848
962.26/964.78 c #Conflicts: 305000 | #Constraints: 20848
962.26/964.78 c #Conflicts: 306000 | #Constraints: 21848
962.26/964.78 c #Conflicts: 307000 | #Constraints: 22848
962.26/964.78 c #Conflicts: 308000 | #Constraints: 23848
962.26/964.78 c #Conflicts: 309000 | #Constraints: 24848
962.26/964.78 c #Conflicts: 310000 | #Constraints: 25848
962.26/964.78 c INPROCESSING
962.26/964.78 c GARBAGE COLLECT
962.26/964.78 c #Conflicts: 311000 | #Constraints: 15851
962.26/964.78 c #Conflicts: 312000 | #Constraints: 16851
962.26/964.78 c #Conflicts: 313000 | #Constraints: 17851
962.26/964.78 c #Conflicts: 314000 | #Constraints: 18851
962.26/964.78 c #Conflicts: 315000 | #Constraints: 19851
962.26/964.78 c #Conflicts: 316000 | #Constraints: 20851
962.26/964.78 c #Conflicts: 317000 | #Constraints: 21851
962.26/964.78 c #Conflicts: 318000 | #Constraints: 22851
962.26/964.78 c #Conflicts: 319000 | #Constraints: 23851
962.26/964.78 c #Conflicts: 320000 | #Constraints: 24851
962.26/964.78 c #Conflicts: 321000 | #Constraints: 25851
962.26/964.78 c INPROCESSING
962.26/964.78 c GARBAGE COLLECT
962.26/964.78 c #Conflicts: 322000 | #Constraints: 15669
962.26/964.78 c #Conflicts: 323000 | #Constraints: 16669
962.26/964.78 c #Conflicts: 324000 | #Constraints: 17669
962.26/964.78 c #Conflicts: 325000 | #Constraints: 18669
962.26/964.78 c #Conflicts: 326000 | #Constraints: 19669
962.26/964.78 c #Conflicts: 327000 | #Constraints: 20669
962.26/964.78 c #Conflicts: 328000 | #Constraints: 21669
962.26/964.78 c #Conflicts: 329000 | #Constraints: 22669
962.26/964.78 c #Conflicts: 330000 | #Constraints: 23669
962.26/964.78 c #Conflicts: 331000 | #Constraints: 24669
962.26/964.78 c #Conflicts: 332000 | #Constraints: 25669
962.26/964.78 c #Conflicts: 333000 | #Constraints: 26669
962.26/964.78 c INPROCESSING
962.26/964.78 c GARBAGE COLLECT
962.26/964.78 c #Conflicts: 334000 | #Constraints: 16262
962.26/964.78 c #Conflicts: 335000 | #Constraints: 17262
962.26/964.78 c #Conflicts: 336000 | #Constraints: 18262
962.26/964.78 c #Conflicts: 337000 | #Constraints: 19262
962.26/964.78 c #Conflicts: 338000 | #Constraints: 20262
962.26/964.78 c #Conflicts: 339000 | #Constraints: 21262
962.26/964.78 c #Conflicts: 340000 | #Constraints: 22262
962.26/964.78 c #Conflicts: 341000 | #Constraints: 23262
962.26/964.78 c #Conflicts: 342000 | #Constraints: 24262
962.26/964.78 c #Conflicts: 343000 | #Constraints: 25262
962.26/964.78 c #Conflicts: 344000 | #Constraints: 26262
962.26/964.78 c #Conflicts: 345000 | #Constraints: 27262
962.26/964.78 c INPROCESSING
962.26/964.78 c GARBAGE COLLECT
962.26/964.78 c #Conflicts: 346000 | #Constraints: 16651
962.26/964.78 c #Conflicts: 347000 | #Constraints: 17651
962.26/964.78 c #Conflicts: 348000 | #Constraints: 18651
962.26/964.78 c #Conflicts: 349000 | #Constraints: 19651
962.26/964.78 c #Conflicts: 350000 | #Constraints: 20651
962.26/964.78 c #Conflicts: 351000 | #Constraints: 21651
962.26/964.78 c #Conflicts: 352000 | #Constraints: 22651
962.26/964.78 c #Conflicts: 353000 | #Constraints: 23651
962.26/964.78 c #Conflicts: 354000 | #Constraints: 24651
962.26/964.78 c #Conflicts: 355000 | #Constraints: 25651
962.26/964.78 c #Conflicts: 356000 | #Constraints: 26651
962.26/964.78 c #Conflicts: 357000 | #Constraints: 27651
962.26/964.78 c INPROCESSING
962.26/964.78 c GARBAGE COLLECT
962.26/964.78 c #Conflicts: 358000 | #Constraints: 16849
962.26/964.78 c #Conflicts: 359000 | #Constraints: 17849
962.26/964.78 c #Conflicts: 360000 | #Constraints: 18849
962.26/964.78 c #Conflicts: 361000 | #Constraints: 19849
1242.53/1245.75 c #Conflicts: 362000 | #Constraints: 20849
1242.53/1245.75 c #Conflicts: 363000 | #Constraints: 21849
1242.53/1245.75 c #Conflicts: 364000 | #Constraints: 22849
1242.53/1245.75 c #Conflicts: 365000 | #Constraints: 23849
1242.53/1245.75 c #Conflicts: 366000 | #Constraints: 24849
1242.53/1245.75 c #Conflicts: 367000 | #Constraints: 25849
1242.53/1245.75 c #Conflicts: 368000 | #Constraints: 26849
1242.53/1245.75 c #Conflicts: 369000 | #Constraints: 27849
1242.53/1245.75 c INPROCESSING
1242.53/1245.75 c GARBAGE COLLECT
1242.53/1245.75 c #Conflicts: 370000 | #Constraints: 16853
1242.53/1245.75 c #Conflicts: 371000 | #Constraints: 17853
1242.53/1245.75 c #Conflicts: 372000 | #Constraints: 18853
1242.53/1245.75 c #Conflicts: 373000 | #Constraints: 19853
1242.53/1245.75 c #Conflicts: 374000 | #Constraints: 20853
1242.53/1245.75 c #Conflicts: 375000 | #Constraints: 21853
1242.53/1245.75 c #Conflicts: 376000 | #Constraints: 22853
1242.53/1245.75 c #Conflicts: 377000 | #Constraints: 23853
1242.53/1245.75 c #Conflicts: 378000 | #Constraints: 24853
1242.53/1245.75 c #Conflicts: 379000 | #Constraints: 25853
1242.53/1245.75 c #Conflicts: 380000 | #Constraints: 26853
1242.53/1245.75 c #Conflicts: 381000 | #Constraints: 27853
1242.53/1245.75 c INPROCESSING
1242.53/1245.75 c GARBAGE COLLECT
1242.53/1245.75 c #Conflicts: 382000 | #Constraints: 16652
1242.53/1245.75 c #Conflicts: 383000 | #Constraints: 17652
1242.53/1245.75 c #Conflicts: 384000 | #Constraints: 18652
1242.53/1245.75 c #Conflicts: 385000 | #Constraints: 19652
1242.53/1245.75 c #Conflicts: 386000 | #Constraints: 20652
1242.53/1245.75 c #Conflicts: 387000 | #Constraints: 21652
1242.53/1245.75 c #Conflicts: 388000 | #Constraints: 22652
1242.53/1245.75 c #Conflicts: 389000 | #Constraints: 23652
1242.53/1245.75 c #Conflicts: 390000 | #Constraints: 24652
1242.53/1245.75 c #Conflicts: 391000 | #Constraints: 25652
1242.53/1245.75 c #Conflicts: 392000 | #Constraints: 26652
1242.53/1245.75 c #Conflicts: 393000 | #Constraints: 27652
1242.53/1245.75 c #Conflicts: 394000 | #Constraints: 28652
1242.53/1245.75 c INPROCESSING
1242.53/1245.75 c GARBAGE COLLECT
1242.53/1245.75 c #Conflicts: 395000 | #Constraints: 17245
1242.53/1245.75 c #Conflicts: 396000 | #Constraints: 18245
1242.53/1245.75 c #Conflicts: 397000 | #Constraints: 19245
1242.53/1245.75 c #Conflicts: 398000 | #Constraints: 20245
1242.53/1245.75 c #Conflicts: 399000 | #Constraints: 21245
1242.53/1245.75 c #Conflicts: 400000 | #Constraints: 22245
1242.53/1245.75 c #Conflicts: 401000 | #Constraints: 23245
1242.53/1245.75 c #Conflicts: 402000 | #Constraints: 24245
1242.53/1245.75 c #Conflicts: 403000 | #Constraints: 25245
1242.53/1245.75 c #Conflicts: 404000 | #Constraints: 26245
1242.53/1245.75 c #Conflicts: 405000 | #Constraints: 27245
1242.53/1245.75 c #Conflicts: 406000 | #Constraints: 28245
1242.53/1245.75 c #Conflicts: 407000 | #Constraints: 29245
1242.53/1245.75 c INPROCESSING
1242.53/1245.75 c GARBAGE COLLECT
1242.53/1245.75 c #Conflicts: 408000 | #Constraints: 17644
1242.53/1245.75 c #Conflicts: 409000 | #Constraints: 18644
1242.53/1245.75 c #Conflicts: 410000 | #Constraints: 19644
1242.53/1245.75 c #Conflicts: 411000 | #Constraints: 20644
1242.53/1245.75 c #Conflicts: 412000 | #Constraints: 21644
1242.53/1245.75 c #Conflicts: 413000 | #Constraints: 22644
1242.53/1245.75 c #Conflicts: 414000 | #Constraints: 23644
1242.53/1245.75 c #Conflicts: 415000 | #Constraints: 24644
1242.53/1245.75 c #Conflicts: 416000 | #Constraints: 25644
1242.53/1245.75 c #Conflicts: 417000 | #Constraints: 26644
1242.53/1245.75 c #Conflicts: 418000 | #Constraints: 27644
1242.53/1245.75 c #Conflicts: 419000 | #Constraints: 28644
1242.53/1245.75 c #Conflicts: 420000 | #Constraints: 29644
1242.53/1245.75 c INPROCESSING
1242.53/1245.75 c GARBAGE COLLECT
1242.53/1245.75 c #Conflicts: 421000 | #Constraints: 17850
1242.53/1245.75 c #Conflicts: 422000 | #Constraints: 18850
1242.53/1245.75 c #Conflicts: 423000 | #Constraints: 19850
1242.53/1245.75 c #Conflicts: 424000 | #Constraints: 20850
1242.53/1245.75 c #Conflicts: 425000 | #Constraints: 21850
1242.53/1245.75 c #Conflicts: 426000 | #Constraints: 22850
1242.53/1245.75 c #Conflicts: 427000 | #Constraints: 23850
1242.53/1245.75 c #Conflicts: 428000 | #Constraints: 24850
1242.53/1245.75 c #Conflicts: 429000 | #Constraints: 25850
1242.53/1245.75 c #Conflicts: 430000 | #Constraints: 26850
1242.53/1245.75 c #Conflicts: 431000 | #Constraints: 27850
1242.53/1245.75 c #Conflicts: 432000 | #Constraints: 28850
1242.53/1245.75 c #Conflicts: 433000 | #Constraints: 29850
1242.53/1245.75 c INPROCESSING
1242.53/1245.75 c GARBAGE COLLECT
1242.53/1245.75 c #Conflicts: 434000 | #Constraints: 17851
1242.53/1245.75 c #Conflicts: 435000 | #Constraints: 18851
1242.53/1245.75 c #Conflicts: 436000 | #Constraints: 19851
1518.71/1522.66 c #Conflicts: 437000 | #Constraints: 20851
1518.71/1522.66 c #Conflicts: 438000 | #Constraints: 21851
1518.71/1522.66 c #Conflicts: 439000 | #Constraints: 22851
1518.71/1522.66 c #Conflicts: 440000 | #Constraints: 23851
1518.71/1522.66 c #Conflicts: 441000 | #Constraints: 24851
1518.71/1522.66 c #Conflicts: 442000 | #Constraints: 25851
1518.71/1522.66 c #Conflicts: 443000 | #Constraints: 26851
1518.71/1522.66 c #Conflicts: 444000 | #Constraints: 27851
1518.71/1522.66 c #Conflicts: 445000 | #Constraints: 28851
1518.71/1522.66 c #Conflicts: 446000 | #Constraints: 29851
1518.71/1522.66 c INPROCESSING
1518.71/1522.66 c GARBAGE COLLECT
1518.71/1522.66 c #Conflicts: 447000 | #Constraints: 17661
1518.71/1522.66 c #Conflicts: 448000 | #Constraints: 18661
1518.71/1522.66 c #Conflicts: 449000 | #Constraints: 19661
1518.71/1522.66 c #Conflicts: 450000 | #Constraints: 20661
1518.71/1522.66 c #Conflicts: 451000 | #Constraints: 21661
1518.71/1522.66 c #Conflicts: 452000 | #Constraints: 22661
1518.71/1522.66 c #Conflicts: 453000 | #Constraints: 23661
1518.71/1522.66 c #Conflicts: 454000 | #Constraints: 24661
1518.71/1522.66 c #Conflicts: 455000 | #Constraints: 25661
1518.71/1522.66 c #Conflicts: 456000 | #Constraints: 26661
1518.71/1522.66 c #Conflicts: 457000 | #Constraints: 27661
1518.71/1522.66 c #Conflicts: 458000 | #Constraints: 28661
1518.71/1522.66 c #Conflicts: 459000 | #Constraints: 29661
1518.71/1522.66 c #Conflicts: 460000 | #Constraints: 30661
1518.71/1522.66 c INPROCESSING
1518.71/1522.66 c GARBAGE COLLECT
1518.71/1522.66 c #Conflicts: 461000 | #Constraints: 18258
1518.71/1522.66 c #Conflicts: 462000 | #Constraints: 19258
1518.71/1522.66 c #Conflicts: 463000 | #Constraints: 20258
1518.71/1522.66 c #Conflicts: 464000 | #Constraints: 21258
1518.71/1522.66 c #Conflicts: 465000 | #Constraints: 22258
1518.71/1522.66 c #Conflicts: 466000 | #Constraints: 23258
1518.71/1522.66 c #Conflicts: 467000 | #Constraints: 24258
1518.71/1522.66 c #Conflicts: 468000 | #Constraints: 25258
1518.71/1522.66 c #Conflicts: 469000 | #Constraints: 26258
1518.71/1522.66 c #Conflicts: 470000 | #Constraints: 27258
1518.71/1522.66 c #Conflicts: 471000 | #Constraints: 28258
1518.71/1522.66 c #Conflicts: 472000 | #Constraints: 29258
1518.71/1522.66 c #Conflicts: 473000 | #Constraints: 30258
1518.71/1522.66 c #Conflicts: 474000 | #Constraints: 31258
1518.71/1522.66 c INPROCESSING
1518.71/1522.66 c GARBAGE COLLECT
1518.71/1522.66 c #Conflicts: 475000 | #Constraints: 18658
1518.71/1522.66 c #Conflicts: 476000 | #Constraints: 19658
1518.71/1522.66 c #Conflicts: 477000 | #Constraints: 20658
1518.71/1522.66 c #Conflicts: 478000 | #Constraints: 21658
1518.71/1522.66 c #Conflicts: 479000 | #Constraints: 22658
1518.71/1522.66 c #Conflicts: 480000 | #Constraints: 23658
1518.71/1522.66 c #Conflicts: 481000 | #Constraints: 24658
1518.71/1522.66 c #Conflicts: 482000 | #Constraints: 25658
1518.71/1522.66 c #Conflicts: 483000 | #Constraints: 26658
1518.71/1522.66 c #Conflicts: 484000 | #Constraints: 27658
1518.71/1522.66 c #Conflicts: 485000 | #Constraints: 28658
1518.71/1522.66 c #Conflicts: 486000 | #Constraints: 29658
1518.71/1522.66 c #Conflicts: 487000 | #Constraints: 30658
1518.71/1522.66 c #Conflicts: 488000 | #Constraints: 31658
1518.71/1522.66 c INPROCESSING
1518.71/1522.66 c GARBAGE COLLECT
1518.71/1522.66 c #Conflicts: 489000 | #Constraints: 18863
1518.71/1522.66 c #Conflicts: 490000 | #Constraints: 19863
1518.71/1522.66 c #Conflicts: 491000 | #Constraints: 20863
1518.71/1522.66 c #Conflicts: 492000 | #Constraints: 21863
1518.71/1522.66 c #Conflicts: 493000 | #Constraints: 22863
1518.71/1522.66 c #Conflicts: 494000 | #Constraints: 23863
1518.71/1522.66 c #Conflicts: 495000 | #Constraints: 24863
1518.71/1522.66 c #Conflicts: 496000 | #Constraints: 25863
1518.71/1522.66 c #Conflicts: 497000 | #Constraints: 26863
1518.71/1522.66 c #Conflicts: 498000 | #Constraints: 27863
1518.71/1522.66 c #Conflicts: 499000 | #Constraints: 28863
1518.71/1522.66 c #Conflicts: 500000 | #Constraints: 29863
1518.71/1522.66 c #Conflicts: 501000 | #Constraints: 30863
1518.71/1522.66 c #Conflicts: 502000 | #Constraints: 31863
1518.71/1522.66 c INPROCESSING
1518.71/1522.66 c GARBAGE COLLECT
1518.71/1522.66 c #Conflicts: 503000 | #Constraints: 18867
1518.71/1522.66 c #Conflicts: 504000 | #Constraints: 19867
1518.71/1522.66 c #Conflicts: 505000 | #Constraints: 20867
1518.71/1522.66 c #Conflicts: 506000 | #Constraints: 21867
1518.71/1522.66 c #Conflicts: 507000 | #Constraints: 22867
1518.71/1522.66 c #Conflicts: 508000 | #Constraints: 23867
1518.71/1522.66 c #Conflicts: 509000 | #Constraints: 24867
1518.71/1522.66 c #Conflicts: 510000 | #Constraints: 25867
1518.71/1522.66 c #Conflicts: 511000 | #Constraints: 26867
1518.71/1522.66 c #Conflicts: 512000 | #Constraints: 27867
1840.37/1845.10 c #Conflicts: 513000 | #Constraints: 28867
1840.37/1845.10 c #Conflicts: 514000 | #Constraints: 29867
1840.37/1845.10 c #Conflicts: 515000 | #Constraints: 30867
1840.37/1845.10 c #Conflicts: 516000 | #Constraints: 31867
1840.37/1845.10 c INPROCESSING
1840.37/1845.10 c GARBAGE COLLECT
1840.37/1845.10 c #Conflicts: 517000 | #Constraints: 18656
1840.37/1845.10 c #Conflicts: 518000 | #Constraints: 19656
1840.37/1845.10 c #Conflicts: 519000 | #Constraints: 20656
1840.37/1845.10 c #Conflicts: 520000 | #Constraints: 21656
1840.37/1845.10 c #Conflicts: 521000 | #Constraints: 22656
1840.37/1845.10 c #Conflicts: 522000 | #Constraints: 23656
1840.37/1845.10 c #Conflicts: 523000 | #Constraints: 24656
1840.37/1845.10 c #Conflicts: 524000 | #Constraints: 25656
1840.37/1845.10 c #Conflicts: 525000 | #Constraints: 26656
1840.37/1845.10 c #Conflicts: 526000 | #Constraints: 27656
1840.37/1845.10 c #Conflicts: 527000 | #Constraints: 28656
1840.37/1845.10 c #Conflicts: 528000 | #Constraints: 29656
1840.37/1845.10 c #Conflicts: 529000 | #Constraints: 30656
1840.37/1845.10 c #Conflicts: 530000 | #Constraints: 31656
1840.37/1845.10 c #Conflicts: 531000 | #Constraints: 32656
1840.37/1845.10 c INPROCESSING
1840.37/1845.10 c GARBAGE COLLECT
1840.37/1845.10 c #Conflicts: 532000 | #Constraints: 19256
1840.37/1845.10 c #Conflicts: 533000 | #Constraints: 20256
1840.37/1845.10 c #Conflicts: 534000 | #Constraints: 21256
1840.37/1845.10 c #Conflicts: 535000 | #Constraints: 22256
1840.37/1845.10 c #Conflicts: 536000 | #Constraints: 23256
1840.37/1845.10 c #Conflicts: 537000 | #Constraints: 24256
1840.37/1845.10 c #Conflicts: 538000 | #Constraints: 25256
1840.37/1845.10 c #Conflicts: 539000 | #Constraints: 26256
1840.37/1845.10 c #Conflicts: 540000 | #Constraints: 27256
1840.37/1845.10 c #Conflicts: 541000 | #Constraints: 28256
1840.37/1845.10 c #Conflicts: 542000 | #Constraints: 29256
1840.37/1845.10 c #Conflicts: 543000 | #Constraints: 30256
1840.37/1845.10 c #Conflicts: 544000 | #Constraints: 31256
1840.37/1845.10 c #Conflicts: 545000 | #Constraints: 32256
1840.37/1845.10 c #Conflicts: 546000 | #Constraints: 33256
1840.37/1845.10 c INPROCESSING
1840.37/1845.10 c GARBAGE COLLECT
1840.37/1845.10 c #Conflicts: 547000 | #Constraints: 19649
1840.37/1845.10 c #Conflicts: 548000 | #Constraints: 20649
1840.37/1845.10 c #Conflicts: 549000 | #Constraints: 21649
1840.37/1845.10 c #Conflicts: 550000 | #Constraints: 22649
1840.37/1845.10 c #Conflicts: 551000 | #Constraints: 23649
1840.37/1845.10 c #Conflicts: 552000 | #Constraints: 24649
1840.37/1845.10 c #Conflicts: 553000 | #Constraints: 25649
1840.37/1845.10 c #Conflicts: 554000 | #Constraints: 26649
1840.37/1845.10 c #Conflicts: 555000 | #Constraints: 27649
1840.37/1845.10 c #Conflicts: 556000 | #Constraints: 28649
1840.37/1845.10 c #Conflicts: 557000 | #Constraints: 29649
1840.37/1845.10 c #Conflicts: 558000 | #Constraints: 30649
1840.37/1845.10 c #Conflicts: 559000 | #Constraints: 31649
1840.37/1845.10 c #Conflicts: 560000 | #Constraints: 32649
1840.37/1845.10 c #Conflicts: 561000 | #Constraints: 33649
1840.37/1845.10 c INPROCESSING
1840.37/1845.10 c GARBAGE COLLECT
1840.37/1845.10 c #Conflicts: 562000 | #Constraints: 19842
1840.37/1845.10 c #Conflicts: 563000 | #Constraints: 20842
1840.37/1845.10 c #Conflicts: 564000 | #Constraints: 21842
1840.37/1845.10 c #Conflicts: 565000 | #Constraints: 22842
1840.37/1845.10 c #Conflicts: 566000 | #Constraints: 23842
1840.37/1845.10 c #Conflicts: 567000 | #Constraints: 24842
1840.37/1845.10 c #Conflicts: 568000 | #Constraints: 25842
1840.37/1845.10 c #Conflicts: 569000 | #Constraints: 26842
1840.37/1845.10 c #Conflicts: 570000 | #Constraints: 27842
1840.37/1845.10 c #Conflicts: 571000 | #Constraints: 28842
1840.37/1845.10 c #Conflicts: 572000 | #Constraints: 29842
1840.37/1845.10 c #Conflicts: 573000 | #Constraints: 30842
1840.37/1845.10 c #Conflicts: 574000 | #Constraints: 31842
1840.37/1845.10 c #Conflicts: 575000 | #Constraints: 32842
1840.37/1845.10 c #Conflicts: 576000 | #Constraints: 33842
1840.37/1845.10 c INPROCESSING
1840.37/1845.10 c GARBAGE COLLECT
1840.37/1845.10 c #Conflicts: 577000 | #Constraints: 19851
1840.37/1845.10 c #Conflicts: 578000 | #Constraints: 20851
1840.37/1845.10 c #Conflicts: 579000 | #Constraints: 21851
1840.37/1845.10 c #Conflicts: 580000 | #Constraints: 22851
1840.37/1845.10 c #Conflicts: 581000 | #Constraints: 23851
1840.37/1845.10 c #Conflicts: 582000 | #Constraints: 24851
1840.37/1845.10 c #Conflicts: 583000 | #Constraints: 25851
1840.37/1845.10 c #Conflicts: 584000 | #Constraints: 26851
1840.37/1845.10 c #Conflicts: 585000 | #Constraints: 27851
1840.37/1845.10 c #Conflicts: 586000 | #Constraints: 28851
1840.37/1845.10 c #Conflicts: 587000 | #Constraints: 29851
2125.18/2130.64 c #Conflicts: 588000 | #Constraints: 30851
2125.18/2130.64 c #Conflicts: 589000 | #Constraints: 31851
2125.18/2130.64 c #Conflicts: 590000 | #Constraints: 32851
2125.18/2130.64 c #Conflicts: 591000 | #Constraints: 33851
2125.18/2130.64 c INPROCESSING
2125.18/2130.64 c GARBAGE COLLECT
2125.18/2130.64 c #Conflicts: 592000 | #Constraints: 19643
2125.18/2130.64 c #Conflicts: 593000 | #Constraints: 20643
2125.18/2130.64 c #Conflicts: 594000 | #Constraints: 21643
2125.18/2130.64 c #Conflicts: 595000 | #Constraints: 22643
2125.18/2130.64 c #Conflicts: 596000 | #Constraints: 23643
2125.18/2130.64 c #Conflicts: 597000 | #Constraints: 24643
2125.18/2130.64 c #Conflicts: 598000 | #Constraints: 25643
2125.18/2130.64 c #Conflicts: 599000 | #Constraints: 26643
2125.18/2130.64 c #Conflicts: 600000 | #Constraints: 27643
2125.18/2130.64 c #Conflicts: 601000 | #Constraints: 28643
2125.18/2130.64 c #Conflicts: 602000 | #Constraints: 29643
2125.18/2130.64 c #Conflicts: 603000 | #Constraints: 30643
2125.18/2130.64 c #Conflicts: 604000 | #Constraints: 31643
2125.18/2130.64 c #Conflicts: 605000 | #Constraints: 32643
2125.18/2130.64 c #Conflicts: 606000 | #Constraints: 33643
2125.18/2130.64 c #Conflicts: 607000 | #Constraints: 34643
2125.18/2130.64 c INPROCESSING
2125.18/2130.64 c GARBAGE COLLECT
2125.18/2130.64 c #Conflicts: 608000 | #Constraints: 20246
2125.18/2130.64 c #Conflicts: 609000 | #Constraints: 21246
2125.18/2130.64 c #Conflicts: 610000 | #Constraints: 22246
2125.18/2130.64 c #Conflicts: 611000 | #Constraints: 23246
2125.18/2130.64 c #Conflicts: 612000 | #Constraints: 24246
2125.18/2130.64 c #Conflicts: 613000 | #Constraints: 25246
2125.18/2130.64 c #Conflicts: 614000 | #Constraints: 26246
2125.18/2130.64 c #Conflicts: 615000 | #Constraints: 27246
2125.18/2130.64 c #Conflicts: 616000 | #Constraints: 28246
2125.18/2130.64 c #Conflicts: 617000 | #Constraints: 29246
2125.18/2130.64 c #Conflicts: 618000 | #Constraints: 30246
2125.18/2130.64 c #Conflicts: 619000 | #Constraints: 31246
2125.18/2130.64 c #Conflicts: 620000 | #Constraints: 32246
2125.18/2130.64 c #Conflicts: 621000 | #Constraints: 33246
2125.18/2130.64 c #Conflicts: 622000 | #Constraints: 34246
2125.18/2130.64 c #Conflicts: 623000 | #Constraints: 35246
2125.18/2130.64 c INPROCESSING
2125.18/2130.64 c GARBAGE COLLECT
2125.18/2130.64 c #Conflicts: 624000 | #Constraints: 20644
2125.18/2130.64 c #Conflicts: 625000 | #Constraints: 21644
2125.18/2130.64 c #Conflicts: 626000 | #Constraints: 22644
2125.18/2130.64 c #Conflicts: 627000 | #Constraints: 23644
2125.18/2130.64 c #Conflicts: 628000 | #Constraints: 24644
2125.18/2130.64 c #Conflicts: 629000 | #Constraints: 25644
2125.18/2130.64 c #Conflicts: 630000 | #Constraints: 26644
2125.18/2130.64 c #Conflicts: 631000 | #Constraints: 27644
2125.18/2130.64 c #Conflicts: 632000 | #Constraints: 28644
2125.18/2130.64 c #Conflicts: 633000 | #Constraints: 29644
2125.18/2130.64 c #Conflicts: 634000 | #Constraints: 30644
2125.18/2130.64 c #Conflicts: 635000 | #Constraints: 31644
2125.18/2130.64 c #Conflicts: 636000 | #Constraints: 32644
2125.18/2130.64 c #Conflicts: 637000 | #Constraints: 33644
2125.18/2130.64 c #Conflicts: 638000 | #Constraints: 34644
2125.18/2130.64 c #Conflicts: 639000 | #Constraints: 35644
2125.18/2130.64 c INPROCESSING
2125.18/2130.64 c GARBAGE COLLECT
2125.18/2130.64 c #Conflicts: 640000 | #Constraints: 20840
2125.18/2130.64 c #Conflicts: 641000 | #Constraints: 21840
2125.18/2130.64 c #Conflicts: 642000 | #Constraints: 22840
2125.18/2130.64 c #Conflicts: 643000 | #Constraints: 23840
2125.18/2130.64 c #Conflicts: 644000 | #Constraints: 24840
2125.18/2130.64 c #Conflicts: 645000 | #Constraints: 25840
2125.18/2130.64 c #Conflicts: 646000 | #Constraints: 26840
2125.18/2130.64 c #Conflicts: 647000 | #Constraints: 27840
2125.18/2130.64 c #Conflicts: 648000 | #Constraints: 28840
2125.18/2130.64 c #Conflicts: 649000 | #Constraints: 29840
2125.18/2130.64 c #Conflicts: 650000 | #Constraints: 30840
2125.18/2130.64 c #Conflicts: 651000 | #Constraints: 31840
2125.18/2130.64 c #Conflicts: 652000 | #Constraints: 32840
2125.18/2130.64 c #Conflicts: 653000 | #Constraints: 33840
2125.18/2130.64 c #Conflicts: 654000 | #Constraints: 34840
2125.18/2130.64 c #Conflicts: 655000 | #Constraints: 35840
2125.18/2130.64 c INPROCESSING
2125.18/2130.64 c GARBAGE COLLECT
2125.18/2130.64 c #Conflicts: 656000 | #Constraints: 20842
2125.18/2130.64 c #Conflicts: 657000 | #Constraints: 21842
2125.18/2130.64 c #Conflicts: 658000 | #Constraints: 22842
2125.18/2130.64 c #Conflicts: 659000 | #Constraints: 23842
2125.18/2130.64 c #Conflicts: 660000 | #Constraints: 24842
2125.18/2130.64 c #Conflicts: 661000 | #Constraints: 25842
2125.18/2130.64 c #Conflicts: 662000 | #Constraints: 26842
2125.18/2130.64 c #Conflicts: 663000 | #Constraints: 27842
2407.97/2414.14 c #Conflicts: 664000 | #Constraints: 28842
2407.97/2414.14 c #Conflicts: 665000 | #Constraints: 29842
2407.97/2414.14 c #Conflicts: 666000 | #Constraints: 30842
2407.97/2414.14 c #Conflicts: 667000 | #Constraints: 31842
2407.97/2414.14 c #Conflicts: 668000 | #Constraints: 32842
2407.97/2414.14 c #Conflicts: 669000 | #Constraints: 33842
2407.97/2414.14 c #Conflicts: 670000 | #Constraints: 34842
2407.97/2414.14 c #Conflicts: 671000 | #Constraints: 35842
2407.97/2414.14 c INPROCESSING
2407.97/2414.14 c GARBAGE COLLECT
2407.97/2414.14 c #Conflicts: 672000 | #Constraints: 20639
2407.97/2414.14 c #Conflicts: 673000 | #Constraints: 21639
2407.97/2414.14 c #Conflicts: 674000 | #Constraints: 22639
2407.97/2414.14 c #Conflicts: 675000 | #Constraints: 23639
2407.97/2414.14 c #Conflicts: 676000 | #Constraints: 24639
2407.97/2414.14 c #Conflicts: 677000 | #Constraints: 25639
2407.97/2414.14 c #Conflicts: 678000 | #Constraints: 26639
2407.97/2414.14 c #Conflicts: 679000 | #Constraints: 27639
2407.97/2414.14 c #Conflicts: 680000 | #Constraints: 28639
2407.97/2414.14 c #Conflicts: 681000 | #Constraints: 29639
2407.97/2414.14 c #Conflicts: 682000 | #Constraints: 30639
2407.97/2414.14 c #Conflicts: 683000 | #Constraints: 31639
2407.97/2414.14 c #Conflicts: 684000 | #Constraints: 32639
2407.97/2414.14 c #Conflicts: 685000 | #Constraints: 33639
2407.97/2414.14 c #Conflicts: 686000 | #Constraints: 34639
2407.97/2414.14 c #Conflicts: 687000 | #Constraints: 35639
2407.97/2414.14 c #Conflicts: 688000 | #Constraints: 36639
2407.97/2414.14 c INPROCESSING
2407.97/2414.14 c GARBAGE COLLECT
2407.97/2414.14 c #Conflicts: 689000 | #Constraints: 21229
2407.97/2414.14 c #Conflicts: 690000 | #Constraints: 22229
2407.97/2414.14 c #Conflicts: 691000 | #Constraints: 23229
2407.97/2414.14 c #Conflicts: 692000 | #Constraints: 24229
2407.97/2414.14 c #Conflicts: 693000 | #Constraints: 25229
2407.97/2414.14 c #Conflicts: 694000 | #Constraints: 26229
2407.97/2414.14 c #Conflicts: 695000 | #Constraints: 27229
2407.97/2414.14 c #Conflicts: 696000 | #Constraints: 28229
2407.97/2414.14 c #Conflicts: 697000 | #Constraints: 29229
2407.97/2414.14 c #Conflicts: 698000 | #Constraints: 30229
2407.97/2414.14 c #Conflicts: 699000 | #Constraints: 31229
2407.97/2414.14 c #Conflicts: 700000 | #Constraints: 32229
2407.97/2414.14 c #Conflicts: 701000 | #Constraints: 33229
2407.97/2414.14 c #Conflicts: 702000 | #Constraints: 34229
2407.97/2414.14 c #Conflicts: 703000 | #Constraints: 35229
2407.97/2414.14 c #Conflicts: 704000 | #Constraints: 36229
2407.97/2414.14 c #Conflicts: 705000 | #Constraints: 37229
2407.97/2414.14 c INPROCESSING
2407.97/2414.14 c GARBAGE COLLECT
2407.97/2414.14 c #Conflicts: 706000 | #Constraints: 21638
2407.97/2414.14 c #Conflicts: 707000 | #Constraints: 22638
2407.97/2414.14 c #Conflicts: 708000 | #Constraints: 23638
2407.97/2414.14 c #Conflicts: 709000 | #Constraints: 24638
2407.97/2414.14 c #Conflicts: 710000 | #Constraints: 25638
2407.97/2414.14 c #Conflicts: 711000 | #Constraints: 26638
2407.97/2414.14 c #Conflicts: 712000 | #Constraints: 27638
2407.97/2414.14 c #Conflicts: 713000 | #Constraints: 28638
2407.97/2414.14 c #Conflicts: 714000 | #Constraints: 29638
2407.97/2414.14 c #Conflicts: 715000 | #Constraints: 30638
2407.97/2414.14 c #Conflicts: 716000 | #Constraints: 31638
2407.97/2414.14 c #Conflicts: 717000 | #Constraints: 32638
2407.97/2414.14 c #Conflicts: 718000 | #Constraints: 33638
2407.97/2414.14 c #Conflicts: 719000 | #Constraints: 34638
2407.97/2414.14 c #Conflicts: 720000 | #Constraints: 35638
2407.97/2414.14 c #Conflicts: 721000 | #Constraints: 36638
2407.97/2414.14 c #Conflicts: 722000 | #Constraints: 37638
2407.97/2414.14 c INPROCESSING
2407.97/2414.14 c GARBAGE COLLECT
2407.97/2414.14 c #Conflicts: 723000 | #Constraints: 21842
2407.97/2414.14 c #Conflicts: 724000 | #Constraints: 22842
2407.97/2414.14 c #Conflicts: 725000 | #Constraints: 23842
2407.97/2414.14 c #Conflicts: 726000 | #Constraints: 24842
2407.97/2414.14 c #Conflicts: 727000 | #Constraints: 25842
2407.97/2414.14 c #Conflicts: 728000 | #Constraints: 26842
2407.97/2414.14 c #Conflicts: 729000 | #Constraints: 27842
2407.97/2414.14 c #Conflicts: 730000 | #Constraints: 28842
2407.97/2414.14 c #Conflicts: 731000 | #Constraints: 29842
2407.97/2414.14 c #Conflicts: 732000 | #Constraints: 30842
2407.97/2414.14 c #Conflicts: 733000 | #Constraints: 31842
2407.97/2414.14 c #Conflicts: 734000 | #Constraints: 32842
2407.97/2414.14 c #Conflicts: 735000 | #Constraints: 33842
2407.97/2414.14 c #Conflicts: 736000 | #Constraints: 34842
2407.97/2414.14 c #Conflicts: 737000 | #Constraints: 35842
2407.97/2414.14 c #Conflicts: 738000 | #Constraints: 36842
2407.97/2414.14 c #Conflicts: 739000 | #Constraints: 37842
2750.01/2757.05 c INPROCESSING
2750.01/2757.05 c GARBAGE COLLECT
2750.01/2757.05 c #Conflicts: 740000 | #Constraints: 21850
2750.01/2757.05 c #Conflicts: 741000 | #Constraints: 22850
2750.01/2757.05 c #Conflicts: 742000 | #Constraints: 23850
2750.01/2757.05 c #Conflicts: 743000 | #Constraints: 24850
2750.01/2757.05 c #Conflicts: 744000 | #Constraints: 25850
2750.01/2757.05 c #Conflicts: 745000 | #Constraints: 26850
2750.01/2757.05 c #Conflicts: 746000 | #Constraints: 27850
2750.01/2757.05 c #Conflicts: 747000 | #Constraints: 28850
2750.01/2757.05 c #Conflicts: 748000 | #Constraints: 29850
2750.01/2757.05 c #Conflicts: 749000 | #Constraints: 30850
2750.01/2757.05 c #Conflicts: 750000 | #Constraints: 31850
2750.01/2757.05 c #Conflicts: 751000 | #Constraints: 32850
2750.01/2757.05 c #Conflicts: 752000 | #Constraints: 33850
2750.01/2757.05 c #Conflicts: 753000 | #Constraints: 34850
2750.01/2757.05 c #Conflicts: 754000 | #Constraints: 35850
2750.01/2757.05 c #Conflicts: 755000 | #Constraints: 36850
2750.01/2757.05 c #Conflicts: 756000 | #Constraints: 37850
2750.01/2757.05 c INPROCESSING
2750.01/2757.05 c GARBAGE COLLECT
2750.01/2757.05 c #Conflicts: 757000 | #Constraints: 21643
2750.01/2757.05 c #Conflicts: 758000 | #Constraints: 22643
2750.01/2757.05 c #Conflicts: 759000 | #Constraints: 23643
2750.01/2757.05 c #Conflicts: 760000 | #Constraints: 24643
2750.01/2757.05 c #Conflicts: 761000 | #Constraints: 25643
2750.01/2757.05 c #Conflicts: 762000 | #Constraints: 26643
2750.01/2757.05 c #Conflicts: 763000 | #Constraints: 27643
2750.01/2757.05 c #Conflicts: 764000 | #Constraints: 28643
2750.01/2757.05 c #Conflicts: 765000 | #Constraints: 29643
2750.01/2757.05 c #Conflicts: 766000 | #Constraints: 30643
2750.01/2757.05 c #Conflicts: 767000 | #Constraints: 31643
2750.01/2757.05 c #Conflicts: 768000 | #Constraints: 32643
2750.01/2757.05 c #Conflicts: 769000 | #Constraints: 33643
2750.01/2757.05 c #Conflicts: 770000 | #Constraints: 34643
2750.01/2757.05 c #Conflicts: 771000 | #Constraints: 35643
2750.01/2757.05 c #Conflicts: 772000 | #Constraints: 36643
2750.01/2757.05 c #Conflicts: 773000 | #Constraints: 37643
2750.01/2757.05 c #Conflicts: 774000 | #Constraints: 38643
2750.01/2757.05 c INPROCESSING
2750.01/2757.05 c GARBAGE COLLECT
2750.01/2757.05 c #Conflicts: 775000 | #Constraints: 22240
2750.01/2757.05 c #Conflicts: 776000 | #Constraints: 23240
2750.01/2757.05 c #Conflicts: 777000 | #Constraints: 24240
2750.01/2757.05 c #Conflicts: 778000 | #Constraints: 25240
2750.01/2757.05 c #Conflicts: 779000 | #Constraints: 26240
2750.01/2757.05 c #Conflicts: 780000 | #Constraints: 27240
2750.01/2757.05 c #Conflicts: 781000 | #Constraints: 28240
2750.01/2757.05 c #Conflicts: 782000 | #Constraints: 29240
2750.01/2757.05 c #Conflicts: 783000 | #Constraints: 30240
2750.01/2757.05 c #Conflicts: 784000 | #Constraints: 31240
2750.01/2757.05 c #Conflicts: 785000 | #Constraints: 32240
2750.01/2757.05 c #Conflicts: 786000 | #Constraints: 33240
2750.01/2757.05 c #Conflicts: 787000 | #Constraints: 34240
2750.01/2757.05 c #Conflicts: 788000 | #Constraints: 35240
2750.01/2757.05 c #Conflicts: 789000 | #Constraints: 36240
2750.01/2757.05 c #Conflicts: 790000 | #Constraints: 37240
2750.01/2757.05 c #Conflicts: 791000 | #Constraints: 38240
2750.01/2757.05 c #Conflicts: 792000 | #Constraints: 39240
2750.01/2757.05 c INPROCESSING
2750.01/2757.05 c GARBAGE COLLECT
2750.01/2757.05 c #Conflicts: 793000 | #Constraints: 22637
2750.01/2757.05 c #Conflicts: 794000 | #Constraints: 23637
2750.01/2757.05 c #Conflicts: 795000 | #Constraints: 24637
2750.01/2757.05 c #Conflicts: 796000 | #Constraints: 25637
2750.01/2757.05 c #Conflicts: 797000 | #Constraints: 26637
2750.01/2757.05 c #Conflicts: 798000 | #Constraints: 27637
2750.01/2757.05 c #Conflicts: 799000 | #Constraints: 28637
2750.01/2757.05 c #Conflicts: 800000 | #Constraints: 29637
2750.01/2757.05 c #Conflicts: 801000 | #Constraints: 30637
2750.01/2757.05 c #Conflicts: 802000 | #Constraints: 31637
2750.01/2757.05 c #Conflicts: 803000 | #Constraints: 32637
2750.01/2757.05 c #Conflicts: 804000 | #Constraints: 33637
2750.01/2757.05 c #Conflicts: 805000 | #Constraints: 34637
2750.01/2757.05 c #Conflicts: 806000 | #Constraints: 35637
2750.01/2757.05 c #Conflicts: 807000 | #Constraints: 36637
2750.01/2757.05 c #Conflicts: 808000 | #Constraints: 37637
2750.01/2757.05 c #Conflicts: 809000 | #Constraints: 38637
2750.01/2757.05 c #Conflicts: 810000 | #Constraints: 39637
2750.01/2757.05 c INPROCESSING
2750.01/2757.05 c GARBAGE COLLECT
2750.01/2757.05 c #Conflicts: 811000 | #Constraints: 22834
2750.01/2757.05 c #Conflicts: 812000 | #Constraints: 23834
2750.01/2757.05 c #Conflicts: 813000 | #Constraints: 24834
2750.01/2757.05 c #Conflicts: 814000 | #Constraints: 25834
2750.01/2757.05 c #Conflicts: 815000 | #Constraints: 26834
3100.11/3108.09 c #Conflicts: 816000 | #Constraints: 27834
3100.11/3108.09 c #Conflicts: 817000 | #Constraints: 28834
3100.11/3108.09 c #Conflicts: 818000 | #Constraints: 29834
3100.11/3108.09 c #Conflicts: 819000 | #Constraints: 30834
3100.11/3108.09 c #Conflicts: 820000 | #Constraints: 31834
3100.11/3108.09 c #Conflicts: 821000 | #Constraints: 32834
3100.11/3108.09 c #Conflicts: 822000 | #Constraints: 33834
3100.11/3108.09 c #Conflicts: 823000 | #Constraints: 34834
3100.11/3108.09 c #Conflicts: 824000 | #Constraints: 35834
3100.11/3108.09 c #Conflicts: 825000 | #Constraints: 36834
3100.11/3108.09 c #Conflicts: 826000 | #Constraints: 37834
3100.11/3108.09 c #Conflicts: 827000 | #Constraints: 38834
3100.11/3108.09 c #Conflicts: 828000 | #Constraints: 39834
3100.11/3108.09 c INPROCESSING
3100.11/3108.09 c GARBAGE COLLECT
3100.11/3108.09 c #Conflicts: 829000 | #Constraints: 22837
3100.11/3108.09 c #Conflicts: 830000 | #Constraints: 23837
3100.11/3108.09 c #Conflicts: 831000 | #Constraints: 24837
3100.11/3108.09 c #Conflicts: 832000 | #Constraints: 25837
3100.11/3108.09 c #Conflicts: 833000 | #Constraints: 26837
3100.11/3108.09 c #Conflicts: 834000 | #Constraints: 27837
3100.11/3108.09 c #Conflicts: 835000 | #Constraints: 28837
3100.11/3108.09 c #Conflicts: 836000 | #Constraints: 29837
3100.11/3108.09 c #Conflicts: 837000 | #Constraints: 30837
3100.11/3108.09 c #Conflicts: 838000 | #Constraints: 31837
3100.11/3108.09 c #Conflicts: 839000 | #Constraints: 32837
3100.11/3108.09 c #Conflicts: 840000 | #Constraints: 33837
3100.11/3108.09 c #Conflicts: 841000 | #Constraints: 34837
3100.11/3108.09 c #Conflicts: 842000 | #Constraints: 35837
3100.11/3108.09 c #Conflicts: 843000 | #Constraints: 36837
3100.11/3108.09 c #Conflicts: 844000 | #Constraints: 37837
3100.11/3108.09 c #Conflicts: 845000 | #Constraints: 38837
3100.11/3108.09 c #Conflicts: 846000 | #Constraints: 39837
3100.11/3108.09 c INPROCESSING
3100.11/3108.09 c GARBAGE COLLECT
3100.11/3108.09 c #Conflicts: 847000 | #Constraints: 22636
3100.11/3108.09 c #Conflicts: 848000 | #Constraints: 23636
3100.11/3108.09 c #Conflicts: 849000 | #Constraints: 24636
3100.11/3108.09 c #Conflicts: 850000 | #Constraints: 25636
3100.11/3108.09 c #Conflicts: 851000 | #Constraints: 26636
3100.11/3108.09 c #Conflicts: 852000 | #Constraints: 27636
3100.11/3108.09 c #Conflicts: 853000 | #Constraints: 28636
3100.11/3108.09 c #Conflicts: 854000 | #Constraints: 29636
3100.11/3108.09 c #Conflicts: 855000 | #Constraints: 30636
3100.11/3108.09 c #Conflicts: 856000 | #Constraints: 31636
3100.11/3108.09 c #Conflicts: 857000 | #Constraints: 32636
3100.11/3108.09 c #Conflicts: 858000 | #Constraints: 33636
3100.11/3108.09 c #Conflicts: 859000 | #Constraints: 34636
3100.11/3108.09 c #Conflicts: 860000 | #Constraints: 35636
3100.11/3108.09 c #Conflicts: 861000 | #Constraints: 36636
3100.11/3108.09 c #Conflicts: 862000 | #Constraints: 37636
3100.11/3108.09 c #Conflicts: 863000 | #Constraints: 38636
3100.11/3108.09 c #Conflicts: 864000 | #Constraints: 39636
3100.11/3108.09 c #Conflicts: 865000 | #Constraints: 40636
3100.11/3108.09 c INPROCESSING
3100.11/3108.09 c GARBAGE COLLECT
3100.11/3108.09 c #Conflicts: 866000 | #Constraints: 23238
3100.11/3108.09 c #Conflicts: 867000 | #Constraints: 24238
3100.11/3108.09 c #Conflicts: 868000 | #Constraints: 25238
3100.11/3108.09 c #Conflicts: 869000 | #Constraints: 26238
3100.11/3108.09 c #Conflicts: 870000 | #Constraints: 27238
3100.11/3108.09 c #Conflicts: 871000 | #Constraints: 28238
3100.11/3108.09 c #Conflicts: 872000 | #Constraints: 29238
3100.11/3108.09 c #Conflicts: 873000 | #Constraints: 30238
3100.11/3108.09 c #Conflicts: 874000 | #Constraints: 31238
3100.11/3108.09 c #Conflicts: 875000 | #Constraints: 32238
3100.11/3108.09 c #Conflicts: 876000 | #Constraints: 33238
3100.11/3108.09 c #Conflicts: 877000 | #Constraints: 34238
3100.11/3108.09 c #Conflicts: 878000 | #Constraints: 35238
3100.11/3108.09 c #Conflicts: 879000 | #Constraints: 36238
3100.11/3108.09 c #Conflicts: 880000 | #Constraints: 37238
3100.11/3108.09 c #Conflicts: 881000 | #Constraints: 38238
3100.11/3108.09 c #Conflicts: 882000 | #Constraints: 39238
3100.11/3108.09 c #Conflicts: 883000 | #Constraints: 40238
3100.11/3108.09 c #Conflicts: 884000 | #Constraints: 41238
3100.11/3108.09 c INPROCESSING
3100.11/3108.09 c GARBAGE COLLECT
3100.11/3108.09 c #Conflicts: 885000 | #Constraints: 23640
3100.11/3108.09 c #Conflicts: 886000 | #Constraints: 24640
3100.11/3108.09 c #Conflicts: 887000 | #Constraints: 25640
3100.11/3108.09 c #Conflicts: 888000 | #Constraints: 26640
3100.11/3108.09 c #Conflicts: 889000 | #Constraints: 27640
3100.11/3108.09 c #Conflicts: 890000 | #Constraints: 28640
3100.11/3108.09 c #Conflicts: 891000 | #Constraints: 29640
3426.39/3435.19 c #Conflicts: 892000 | #Constraints: 30640
3426.39/3435.19 c #Conflicts: 893000 | #Constraints: 31640
3426.39/3435.19 c #Conflicts: 894000 | #Constraints: 32640
3426.39/3435.19 c #Conflicts: 895000 | #Constraints: 33640
3426.39/3435.19 c #Conflicts: 896000 | #Constraints: 34640
3426.39/3435.19 c #Conflicts: 897000 | #Constraints: 35640
3426.39/3435.19 c #Conflicts: 898000 | #Constraints: 36640
3426.39/3435.19 c #Conflicts: 899000 | #Constraints: 37640
3426.39/3435.19 c #Conflicts: 900000 | #Constraints: 38640
3426.39/3435.19 c #Conflicts: 901000 | #Constraints: 39640
3426.39/3435.19 c #Conflicts: 902000 | #Constraints: 40640
3426.39/3435.19 c #Conflicts: 903000 | #Constraints: 41640
3426.39/3435.19 c INPROCESSING
3426.39/3435.19 c GARBAGE COLLECT
3426.39/3435.19 c #Conflicts: 904000 | #Constraints: 23839
3426.39/3435.19 c #Conflicts: 905000 | #Constraints: 24839
3426.39/3435.19 c #Conflicts: 906000 | #Constraints: 25839
3426.39/3435.19 c #Conflicts: 907000 | #Constraints: 26839
3426.39/3435.19 c #Conflicts: 908000 | #Constraints: 27839
3426.39/3435.19 c #Conflicts: 909000 | #Constraints: 28839
3426.39/3435.19 c #Conflicts: 910000 | #Constraints: 29839
3426.39/3435.19 c #Conflicts: 911000 | #Constraints: 30839
3426.39/3435.19 c #Conflicts: 912000 | #Constraints: 31839
3426.39/3435.19 c #Conflicts: 913000 | #Constraints: 32839
3426.39/3435.19 c #Conflicts: 914000 | #Constraints: 33839
3426.39/3435.19 c #Conflicts: 915000 | #Constraints: 34839
3426.39/3435.19 c #Conflicts: 916000 | #Constraints: 35839
3426.39/3435.19 c #Conflicts: 917000 | #Constraints: 36839
3426.39/3435.19 c #Conflicts: 918000 | #Constraints: 37839
3426.39/3435.19 c #Conflicts: 919000 | #Constraints: 38839
3426.39/3435.19 c #Conflicts: 920000 | #Constraints: 39839
3426.39/3435.19 c #Conflicts: 921000 | #Constraints: 40839
3426.39/3435.19 c #Conflicts: 922000 | #Constraints: 41839
3426.39/3435.19 c INPROCESSING
3426.39/3435.19 c GARBAGE COLLECT
3426.39/3435.19 c #Conflicts: 923000 | #Constraints: 23841
3426.39/3435.19 c #Conflicts: 924000 | #Constraints: 24841
3426.39/3435.19 c #Conflicts: 925000 | #Constraints: 25841
3426.39/3435.19 c #Conflicts: 926000 | #Constraints: 26841
3426.39/3435.19 c #Conflicts: 927000 | #Constraints: 27841
3426.39/3435.19 c #Conflicts: 928000 | #Constraints: 28841
3426.39/3435.19 c #Conflicts: 929000 | #Constraints: 29841
3426.39/3435.19 c #Conflicts: 930000 | #Constraints: 30841
3426.39/3435.19 c #Conflicts: 931000 | #Constraints: 31841
3426.39/3435.19 c #Conflicts: 932000 | #Constraints: 32841
3426.39/3435.19 c #Conflicts: 933000 | #Constraints: 33841
3426.39/3435.19 c #Conflicts: 934000 | #Constraints: 34841
3426.39/3435.19 c #Conflicts: 935000 | #Constraints: 35841
3426.39/3435.19 c #Conflicts: 936000 | #Constraints: 36841
3426.39/3435.19 c #Conflicts: 937000 | #Constraints: 37841
3426.39/3435.19 c #Conflicts: 938000 | #Constraints: 38841
3426.39/3435.19 c #Conflicts: 939000 | #Constraints: 39841
3426.39/3435.19 c #Conflicts: 940000 | #Constraints: 40841
3426.39/3435.19 c #Conflicts: 941000 | #Constraints: 41841
3426.39/3435.19 c INPROCESSING
3426.39/3435.19 c GARBAGE COLLECT
3426.39/3435.19 c #Conflicts: 942000 | #Constraints: 23638
3426.39/3435.19 c #Conflicts: 943000 | #Constraints: 24638
3426.39/3435.19 c #Conflicts: 944000 | #Constraints: 25638
3426.39/3435.19 c #Conflicts: 945000 | #Constraints: 26638
3426.39/3435.19 c #Conflicts: 946000 | #Constraints: 27638
3426.39/3435.19 c #Conflicts: 947000 | #Constraints: 28638
3426.39/3435.19 c #Conflicts: 948000 | #Constraints: 29638
3426.39/3435.19 c #Conflicts: 949000 | #Constraints: 30638
3426.39/3435.19 c #Conflicts: 950000 | #Constraints: 31638
3426.39/3435.19 c #Conflicts: 951000 | #Constraints: 32638
3426.39/3435.19 c #Conflicts: 952000 | #Constraints: 33638
3426.39/3435.19 c #Conflicts: 953000 | #Constraints: 34638
3426.39/3435.19 c #Conflicts: 954000 | #Constraints: 35638
3426.39/3435.19 c #Conflicts: 955000 | #Constraints: 36638
3426.39/3435.19 c #Conflicts: 956000 | #Constraints: 37638
3426.39/3435.19 c #Conflicts: 957000 | #Constraints: 38638
3426.39/3435.19 c #Conflicts: 958000 | #Constraints: 39638
3426.39/3435.19 c #Conflicts: 959000 | #Constraints: 40638
3426.39/3435.19 c #Conflicts: 960000 | #Constraints: 41638
3426.39/3435.19 c #Conflicts: 961000 | #Constraints: 42638
3426.39/3435.19 c INPROCESSING
3426.39/3435.19 c GARBAGE COLLECT
3426.39/3435.19 c #Conflicts: 962000 | #Constraints: 24237
3426.39/3435.19 c #Conflicts: 963000 | #Constraints: 25237
3426.39/3435.19 c #Conflicts: 964000 | #Constraints: 26237
3426.39/3435.19 c #Conflicts: 965000 | #Constraints: 27237
3426.39/3435.19 c #Conflicts: 966000 | #Constraints: 28237
3426.39/3435.19 c #Conflicts: 967000 | #Constraints: 29237
3600.02/3609.20 c #Conflicts: 968000 | #Constraints: 30237
3600.02/3609.20 c #Conflicts: 969000 | #Constraints: 31237
3600.02/3609.20 c #Conflicts: 970000 | #Constraints: 32237
3600.02/3609.20 c #Conflicts: 971000 | #Constraints: 33237
3600.02/3609.20 c #Conflicts: 972000 | #Constraints: 34237
3600.02/3609.20 c #Conflicts: 973000 | #Constraints: 35237
3600.02/3609.20 c #Conflicts: 974000 | #Constraints: 36237
3600.02/3609.20 c #Conflicts: 975000 | #Constraints: 37237
3600.02/3609.20 c #Conflicts: 976000 | #Constraints: 38237
3600.02/3609.20 c #Conflicts: 977000 | #Constraints: 39237
3600.02/3609.20 c #Conflicts: 978000 | #Constraints: 40237
3600.02/3609.20 c #Conflicts: 979000 | #Constraints: 41237
3600.02/3609.20 c #Conflicts: 980000 | #Constraints: 42237
3600.02/3609.20 c #Conflicts: 981000 | #Constraints: 43237
3600.02/3609.20 c INPROCESSING
3600.02/3609.20 c GARBAGE COLLECT
3600.02/3609.20 c #Conflicts: 982000 | #Constraints: 24645
3600.02/3609.20 c #Conflicts: 983000 | #Constraints: 25645
3600.02/3609.20 c #Conflicts: 984000 | #Constraints: 26645
3600.02/3609.20 c #Conflicts: 985000 | #Constraints: 27645
3600.02/3609.20 c #Conflicts: 986000 | #Constraints: 28645
3600.02/3609.20 c #Conflicts: 987000 | #Constraints: 29645
3600.02/3609.20 c #Conflicts: 988000 | #Constraints: 30645
3600.02/3609.20 c #Conflicts: 989000 | #Constraints: 31645
3600.02/3609.20 c #Conflicts: 990000 | #Constraints: 32645
3600.02/3609.20 c #Conflicts: 991000 | #Constraints: 33645
3600.02/3609.20 c #Conflicts: 992000 | #Constraints: 34645
3600.02/3609.20 c #Conflicts: 993000 | #Constraints: 35645
3600.02/3609.20 c #Conflicts: 994000 | #Constraints: 36645
3600.02/3609.20 c Program interrupted by user.
3600.02/3609.20 c cpu time 3591.33 s
3600.02/3609.20 c deterministic time 675328275492 6.75e+11
3600.02/3609.20 c optimization time 66.2705 s
3600.02/3609.20 c total solve time 3225.75 s
3600.02/3609.20 c core-guided solve time 3225.75 s
3600.02/3609.20 c propagation time 2690.73 s
3600.02/3609.20 c conflict analysis time 462.415 s
3600.02/3609.20 c propagations 134946447
3600.02/3609.20 c resolve steps 7334331
3600.02/3609.20 c decisions 4730259
3600.02/3609.20 c conflicts 994121
3600.02/3609.20 c restarts 2045
3600.02/3609.20 c inprocessing phases 90
3600.02/3609.20 c input clauses 3965
3600.02/3609.20 c input cardinalities 149
3600.02/3609.20 c input general constraints 0
3600.02/3609.20 c input average constraint length 62.32
3600.02/3609.20 c input average constraint degree 28.18
3600.02/3609.20 c learned clauses 351142
3600.02/3609.20 c learned cardinalities 52631
3600.02/3609.20 c learned general constraints 590497
3600.02/3609.20 c learned average constraint length 834.23
3600.02/3609.20 c learned average constraint degree 38108.88
3600.02/3609.20 c watched constraints 384295
3600.02/3609.20 c counting constraints 206202
3600.02/3609.20 c gcd simplifications 42714
3600.02/3609.20 c detected cardinalities 1191
3600.02/3609.20 c weakened non-implied lits 149935965
3600.02/3609.20 c weakened non-implying lits 72892
3600.02/3609.20 c original variables 1957
3600.02/3609.20 c clausal propagations 55476886
3600.02/3609.20 c cardinality propagations 2702284
3600.02/3609.20 c watched propagations 17962754
3600.02/3609.20 c counting propagations 52679871
3600.02/3609.20 c watch lookups 42652852862
3600.02/3609.20 c watch backjump lookups 38154560589
3600.02/3609.20 c watch checks 552425338039
3600.02/3609.20 c propagation checks 39516095533
3600.02/3609.20 c constraint additions 2299082458
3600.02/3609.20 c trail pops 140669304
3600.02/3609.20 c formula constraints 3290
3600.02/3609.20 c learned constraints 994270
3600.02/3609.20 c bound constraints 149
3600.02/3609.20 c core-guided constraints 675
3600.02/3609.20 c encountered formula constraints 5166508
3600.02/3609.20 c encountered learned constraints 2447374
3600.02/3609.20 c encountered bound constraints 1
3600.02/3609.20 c encountered core-guided constraints 714569
3600.02/3609.20 c LP total time 0 s
3600.02/3609.20 c LP solve time 0 s
3600.02/3609.20 c LP constraints added 0
3600.02/3609.20 c LP constraints removed 0
3600.02/3609.20 c LP pivots internal 0
3600.02/3609.20 c LP pivots root 0
3600.02/3609.20 c LP calls 0
3600.02/3609.20 c LP optimalities 0
3600.02/3609.20 c LP no pivot count 0
3600.02/3609.20 c LP infeasibilities 0
3600.02/3609.20 c LP valid Farkas constraints 0
3600.02/3609.20 c LP learned Farkas constraints 0
3600.02/3609.20 c LP basis resets 0
3600.02/3609.20 c LP cycling count 0
3600.02/3609.20 c LP singular count 0
3600.02/3609.20 c LP no primal count 0
3600.02/3609.20 c LP no farkas count 0
3600.02/3609.20 c LP other issue count 0
3600.02/3609.20 c LP Gomory cuts 0
3600.02/3609.20 c LP learned cuts 0
3600.02/3609.20 c LP deleted cuts 0
3600.02/3609.20 c LP encountered Gomory constraints 0
3600.02/3609.20 c LP encountered Farkas constraints 0
3600.02/3609.20 c LP encountered learned Farkas constraints 0
3600.02/3609.20 c CG auxiliary variables introduced 675
3600.02/3609.20 c CG solutions found 0
3600.02/3609.20 c CG cores constructed 148
3600.02/3609.20 c CG core cardinality constraints returned 0
3600.02/3609.20 c CG unit cores 0
3600.02/3609.20 c CG single cores 148
3600.02/3609.20 c CG blocks removed during cardinality reduction 0
3600.02/3609.20 c CG first core best 0
3600.02/3609.20 c CG decision core best 0
3600.02/3609.20 c CG core reduction tie 0
3600.02/3609.20 c CG core degree average 1.00
3600.02/3609.20 c CG core slack average 3.03
3600.02/3609.20 c CG exhausted 0
3600.02/3609.20 c CG exhaust time 0 s
3600.02/3609.20 c CG trimmed 6
3600.02/3609.20 c CG trim time 0.000831 s
3600.02/3609.20 c CG minimized 0
3600.02/3609.20 c CG minimize time 0 s
3600.02/3609.20 c CG am1 prop time 0.002342 s
3600.02/3609.20 c CG # am1s reformulated 675
3600.02/3609.20 c CG lower bound derived from am1s 677
3600.02/3609.20 c CG # clausal cores 148
3600.02/3609.20 c CG # cardinality cores 0
3600.02/3609.20 c CG # pb cores 0
3600.02/3609.20 c CG # pb reforms 0
3600.02/3609.20 c CG # cores discarded because of pb reform 0
3600.02/3609.20 d LOWERBOUND 825
3600.02/3609.20 d NCORES 148
3600.02/3609.20 d NPBCORES 0
3600.02/3609.20 d NPBREFORM 0
3600.02/3609.20 d NTRIMMED 6
3600.02/3609.20 d NEXHAUSTED 0
3600.02/3609.20 d NAM1S 675
3600.02/3609.20 d AM1LB 677
3600.02/3609.20 c [Papilo Statistics]
3600.02/3609.20 c prepro time 0.00468267s
3600.02/3609.20 c # tsx applied 145
3600.02/3609.20 c # tsx conflicts 6
3600.02/3609.20 c # bound changes 143
3600.02/3609.20 c # side changes 0
3600.02/3609.20 c # coef changes 0
3600.02/3609.20 c # rounds 2
3600.02/3609.20 c # deted vars 294
3600.02/3609.20 c # deted constrs 710
3600.02/3609.20 c # consecutive rounds of only bound changes 0
3600.02/3609.20 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62381 MiB free)
memory of node 1: 64473 MiB (62089 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454723-1721467488/watcher-4454723-1721467488 -o /tmp/evaluation-result-4454723-1721467488/solver-4454723-1721467488 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721467498-1059652 --watchdog 3760 mixed-bag HOME/instance-4454723-1721467488.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1059989, runsolver pid=1059986
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 1.06 1.92 3.06 5/258 1059990
/proc/meminfo: memFree=127432292/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=110260 memory=41296 CPUtime=0.1 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 7505 0 0 0 9 1 0 0 20 0 1 0 198912592 112906240 10324 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 27565 10324 3983 3002 0 11314 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 110260 KiB
Current children cumulated memory: 41296 KiB
[startup+0.205587 s]*
/proc/loadavg: 1.06 1.92 3.06 5/258 1059990
/proc/meminfo: memFree=127430752/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=111032 memory=42144 CPUtime=0.2 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 7692 0 0 0 19 1 0 0 20 0 1 0 198912592 113696768 10536 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 27758 10536 3999 3002 0 11507 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 111032 KiB
Current children cumulated memory: 42144 KiB
[startup+0.30537 s]*
/proc/loadavg: 1.06 1.92 3.06 6/258 1059990
/proc/meminfo: memFree=127429632/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=112392 memory=43260 CPUtime=0.3 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 7963 0 0 0 29 1 0 0 20 0 1 0 198912592 115089408 10815 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 28098 10815 4015 3002 0 11847 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 112392 KiB
Current children cumulated memory: 43260 KiB
[startup+0.70021 s]
/proc/loadavg: 1.06 1.92 3.06 5/258 1059990
/proc/meminfo: memFree=127413700/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=117404 memory=47980 CPUtime=0.69 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 9130 0 0 0 68 1 0 0 20 0 1 0 198912592 120221696 11995 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 29351 11995 4015 3002 0 13100 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 117404 KiB
Current children cumulated memory: 47980 KiB
[startup+1.50022 s]
/proc/loadavg: 1.06 1.92 3.06 5/258 1059990
/proc/meminfo: memFree=127400964/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=120552 memory=50620 CPUtime=1.48 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 9820 0 0 0 147 1 0 0 20 0 1 0 198912592 123445248 12655 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 30138 12655 4015 3002 0 13887 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 120552 KiB
Current children cumulated memory: 50620 KiB
[startup+3.10535 s]
/proc/loadavg: 1.30 1.96 3.06 5/258 1059990
/proc/meminfo: memFree=127351284/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=127588 memory=57220 CPUtime=3.08 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 11434 0 0 0 307 1 0 0 20 0 1 0 198912592 130650112 14305 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 31897 14305 4015 3002 0 15646 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 127588 KiB
Current children cumulated memory: 57220 KiB
[startup+6.3002 s]
/proc/loadavg: 1.30 1.96 3.06 5/260 1060376
/proc/meminfo: memFree=127256480/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=187112 memory=115036 CPUtime=6.27 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 25920 0 0 0 624 3 0 0 20 0 1 0 198912592 191602688 28759 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 46778 28759 4015 3002 0 30527 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 187112 KiB
Current children cumulated memory: 115036 KiB
[startup+12.7001 s]
/proc/loadavg: 1.79 2.04 3.08 5/260 1060376
/proc/meminfo: memFree=127181424/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=223152 memory=151340 CPUtime=12.65 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 35445 0 0 0 1261 4 0 0 20 0 1 0 198912592 228507648 37835 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 55788 37835 4015 3002 0 39537 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 223152 KiB
Current children cumulated memory: 151340 KiB
[startup+25.5002 s]
/proc/loadavg: 2.13 2.10 3.09 5/260 1060379
/proc/meminfo: memFree=127144376/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=223152 memory=151340 CPUtime=25.42 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 35448 0 0 0 2538 4 0 0 20 0 1 0 198912592 228507648 37835 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 55788 37835 4015 3002 0 39537 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 223152 KiB
Current children cumulated memory: 151340 KiB
[startup+51.1054 s]
/proc/loadavg: 2.82 2.27 3.12 5/259 1060428
/proc/meminfo: memFree=126939516/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=285408 memory=210200 CPUtime=50.97 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 51818 0 0 0 5088 9 0 0 20 0 1 0 198912592 292257792 52550 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 71352 52550 4024 3002 0 55101 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 285408 KiB
Current children cumulated memory: 210200 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 2.60 3.18 5/259 1060436
/proc/meminfo: memFree=126764348/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=331108 memory=252104 CPUtime=102.04 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 64641 0 0 0 10192 12 0 0 20 0 1 0 198912592 339054592 63026 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 82777 63026 4024 3002 0 66526 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 331108 KiB
Current children cumulated memory: 252104 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.87 3.24 5/259 1060447
/proc/meminfo: memFree=126690064/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=350168 memory=265124 CPUtime=161.9 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 68328 0 0 0 16176 14 0 0 20 0 1 0 198912592 358572032 66281 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 87542 66281 4024 3002 0 71291 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 350168 KiB
Current children cumulated memory: 265124 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.10 3.30 5/261 1060627
/proc/meminfo: memFree=126645324/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=357360 memory=268548 CPUtime=221.77 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 69163 0 0 0 22161 16 0 0 20 0 1 0 198912592 365936640 67137 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 89340 67137 4024 3002 0 73089 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 357360 KiB
Current children cumulated memory: 268548 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.28 3.35 5/260 1060638
/proc/meminfo: memFree=126552212/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=363420 memory=269076 CPUtime=281.63 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 69318 0 0 0 28146 17 0 0 20 0 1 0 198912592 372142080 67269 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 90855 67269 4024 3002 0 74604 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 363420 KiB
Current children cumulated memory: 269076 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.43 3.40 5/257 1060704
/proc/meminfo: memFree=126689148/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=320144 memory=236284 CPUtime=341.48 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 75306 0 0 0 34086 62 0 0 20 0 1 0 198912592 327827456 59071 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 80036 59071 4183 3002 0 63785 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 320144 KiB
Current children cumulated memory: 236284 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.55 3.44 5/257 1060715
/proc/meminfo: memFree=126614052/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=350964 memory=255296 CPUtime=401.31 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 76037 0 0 0 40039 92 0 0 20 0 1 0 198912592 359387136 63824 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 87741 63824 4183 3002 0 71490 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 350964 KiB
Current children cumulated memory: 255296 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.65 3.49 5/257 1060726
/proc/meminfo: memFree=126521408/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=350964 memory=269864 CPUtime=461.16 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 76457 0 0 0 45991 125 0 0 20 0 1 0 198912592 359387136 67466 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 87741 67466 4183 3002 0 71490 0
################
# More data... #
################
Current children cumulated memory: 446868 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/258 1061741
/proc/meminfo: memFree=125364836/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=548952 memory=463880 CPUtime=2855.03 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 94986 0 0 0 284767 736 0 0 20 0 1 0 198912592 562126848 115970 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 137238 115970 4183 3002 0 120987 0
Current children cumulated CPU time: 2855.03 s
Current children cumulated vsize: 548952 KiB
Current children cumulated memory: 463880 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/258 1061752
/proc/meminfo: memFree=125362520/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=549208 memory=464116 CPUtime=2914.88 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 95281 0 0 0 290743 745 0 0 20 0 1 0 198912592 562388992 116029 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 137302 116029 4183 3002 0 121051 0
Current children cumulated CPU time: 2914.88 s
Current children cumulated vsize: 549208 KiB
Current children cumulated memory: 464116 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.09 4.05 5/258 1061764
/proc/meminfo: memFree=125348344/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=549388 memory=464216 CPUtime=2974.72 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 95519 0 0 0 296714 758 0 0 20 0 1 0 198912592 562573312 116054 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 137347 116054 4183 3002 0 121096 0
Current children cumulated CPU time: 2974.72 s
Current children cumulated vsize: 549388 KiB
Current children cumulated memory: 464216 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/255 1061774
/proc/meminfo: memFree=125341728/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=550156 memory=465116 CPUtime=3034.57 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 95885 0 0 0 302687 770 0 0 20 0 1 0 198912592 563359744 116279 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 137539 116279 4183 3002 0 121288 0
Current children cumulated CPU time: 3034.57 s
Current children cumulated vsize: 550156 KiB
Current children cumulated memory: 465116 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/254 1061785
/proc/meminfo: memFree=125339264/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=551768 memory=466040 CPUtime=3094.42 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 96373 0 0 0 308662 780 0 0 20 0 1 0 198912592 565010432 116510 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 137942 116510 4183 3002 0 121691 0
Current children cumulated CPU time: 3094.42 s
Current children cumulated vsize: 551768 KiB
Current children cumulated memory: 466040 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.06 5/254 1061797
/proc/meminfo: memFree=125336032/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=552716 memory=466880 CPUtime=3154.26 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 96753 0 0 0 314634 792 0 0 20 0 1 0 198912592 565981184 116720 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 138179 116720 4183 3002 0 121928 0
Current children cumulated CPU time: 3154.26 s
Current children cumulated vsize: 552716 KiB
Current children cumulated memory: 466880 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/254 1061807
/proc/meminfo: memFree=125332896/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=553048 memory=467404 CPUtime=3214.12 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 97021 0 0 0 320607 805 0 0 20 0 1 0 198912592 566321152 116851 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 138262 116851 4183 3002 0 122011 0
Current children cumulated CPU time: 3214.12 s
Current children cumulated vsize: 553048 KiB
Current children cumulated memory: 467404 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.06 5/254 1061817
/proc/meminfo: memFree=125326852/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=555096 memory=468760 CPUtime=3273.96 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 97619 0 0 0 326582 814 0 0 20 0 1 0 198912592 568418304 117190 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 138774 117190 4183 3002 0 122523 0
Current children cumulated CPU time: 3273.96 s
Current children cumulated vsize: 555096 KiB
Current children cumulated memory: 468760 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/257 1061832
/proc/meminfo: memFree=125307372/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=555280 memory=468972 CPUtime=3333.81 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 97827 0 0 0 332557 824 0 0 20 0 1 0 198912592 568606720 117243 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 138820 117243 4183 3002 0 122569 0
Current children cumulated CPU time: 3333.81 s
Current children cumulated vsize: 555280 KiB
Current children cumulated memory: 468972 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.06 5/258 1061844
/proc/meminfo: memFree=125300176/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=556376 memory=469836 CPUtime=3393.66 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 98212 0 0 0 338529 837 0 0 20 0 1 0 198912592 569729024 117459 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 139094 117459 4183 3002 0 122843 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 556376 KiB
Current children cumulated memory: 469836 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.06 5/258 1061855
/proc/meminfo: memFree=125278872/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=557144 memory=487204 CPUtime=3453.51 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 98552 0 0 0 344503 848 0 0 20 0 1 0 198912592 570515456 121801 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 139286 121801 4183 3002 0 123035 0
Current children cumulated CPU time: 3453.51 s
Current children cumulated vsize: 557144 KiB
Current children cumulated memory: 487204 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.06 5/258 1061866
/proc/meminfo: memFree=125236864/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=696244 memory=518132 CPUtime=3513.35 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 100128 0 0 0 350479 856 0 0 20 0 1 0 198912592 712953856 129533 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 174061 129533 4183 3002 0 157810 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 696244 KiB
Current children cumulated memory: 518132 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.06 5/258 1061878
/proc/meminfo: memFree=125207080/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=696828 memory=526848 CPUtime=3573.19 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 100415 0 0 0 356453 866 0 0 20 0 1 0 198912592 713551872 131712 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 174207 131712 4183 3002 0 157956 0
Current children cumulated CPU time: 3573.19 s
Current children cumulated vsize: 696828 KiB
Current children cumulated memory: 526848 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.09 4.09 4.06 5/259 1062265
/proc/meminfo: memFree=125200764/131524600 swapFree=131071996/131071996
[pid=1059989] ppid=1059986 vsize=696828 memory=526848 CPUtime=3600.02 cores=5,7
/proc/1059989/stat : 1059989 (mixed-bag) R 1059986 1059989 1059639 0 -1 4194304 100415 0 0 0 359132 870 0 0 20 0 1 0 198912592 713551872 131712 134679101440 4194304 16488053 140733188503392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39337984 140733188506645 140733188506722 140733188506722 140733188513739 0
/proc/1059989/statm: 174207 131712 4183 3002 0 157956 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 696828 KiB
Current children cumulated memory: 526848 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 1059989 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.33 s, system=8.70598 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.21
CPU time (s): 3600.04
CPU user time (s): 3591.33
CPU system time (s): 8.70598
CPU usage (%): 99.7459
Max. virtual memory (cumulated for all children) (KiB): 696828
Max. memory (cumulated for all children) (KiB): 526848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.33
system time used= 8.70598
maximum resident set size= 527464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100436
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= 107
involuntary context switches= 2388
# summary of solver processes directly reported to runsolver:
# pid: 1059989
# total CPU time (s): 3600.04
# total CPU user time (s): 3591.33
# total CPU system time (s): 8.70598
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68152 second user time and 16.4481 second system time
The end
Begin job on nodeC021 at 2024-07-20 11:25:00
IDJOB=4454723
IDBENCH=147523
IDSOLVER=3083
FILE ID=nodeC021/4454723-1721467488
RUNJOBID= nodeC021-1721467498-1059652
SLURM_JOB_ID= 7545721
Free space on /tmp= 890020 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454723-1721467488/watcher-4454723-1721467488 -o /tmp/evaluation-result-4454723-1721467488/solver-4454723-1721467488 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721467498-1059652 --watchdog 3760 mixed-bag HOME/instance-4454723-1721467488.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fd68547584ae9b6527d66061061fb773
RANDOM SEED=1436912148
nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.340
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.191
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.015
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.057
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.422
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.688
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.301
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.351
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127458956 kB
MemAvailable: 129558004 kB
Buffers: 563096 kB
Cached: 2362952 kB
SwapCached: 0 kB
Active: 1124504 kB
Inactive: 2287508 kB
Active(anon): 1552 kB
Inactive(anon): 530004 kB
Active(file): 1122952 kB
Inactive(file): 1757504 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 79192 kB
Writeback: 0 kB
AnonPages: 485460 kB
Mapped: 123244 kB
Shmem: 45912 kB
KReclaimable: 116832 kB
Slab: 232708 kB
SReclaimable: 116832 kB
SUnreclaim: 115876 kB
KernelStack: 4108 kB
PageTables: 10584 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 824524 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73248 kB
HardwareCorrupted: 0 kB
AnonHugePages: 245760 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: 260820 kB
DirectMap2M: 25726976 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 890012 MiB
End job on nodeC021 at 2024-07-20 12:25:09