0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.02 c [STEP] preprocessing with Papilo
0.00/0.03 c [STEP] solving with SCIP
299.44/300.32 c [STEP] preprocessing done, loading into solver
299.44/300.33 c [STEP] solving
299.44/300.33 c #variables 1676 #constraints 3305
299.44/300.33 c SMALL=int, LARGE=long long
299.44/300.33 d SCIPUB 899
299.44/300.33 c bounds - >= 0 @ 299.352
299.44/300.33 c stratification level: 0
301.33/302.22 c bounds - >= 692 @ 299.358
301.33/302.22 c bounds - >= 693 @ 299.36
301.33/302.22 c bounds - >= 694 @ 299.36
301.33/302.22 c bounds - >= 695 @ 299.36
301.33/302.22 c bounds - >= 696 @ 299.361
301.33/302.22 c bounds - >= 697 @ 299.361
301.33/302.22 c bounds - >= 698 @ 299.361
301.33/302.22 c bounds - >= 699 @ 299.361
301.33/302.22 c bounds - >= 700 @ 299.361
301.33/302.22 c bounds - >= 701 @ 299.361
301.33/302.22 c bounds - >= 702 @ 299.361
301.33/302.22 c bounds - >= 703 @ 299.361
301.33/302.22 c bounds - >= 704 @ 299.361
301.33/302.22 c bounds - >= 705 @ 299.361
301.33/302.22 c bounds - >= 706 @ 299.361
301.33/302.22 c bounds - >= 707 @ 299.361
301.33/302.22 c bounds - >= 708 @ 299.361
301.33/302.22 c bounds - >= 709 @ 299.361
301.33/302.22 c bounds - >= 710 @ 299.362
301.33/302.22 c bounds - >= 711 @ 299.362
301.33/302.22 c bounds - >= 712 @ 299.362
301.33/302.22 c bounds - >= 713 @ 299.362
301.33/302.22 c bounds - >= 714 @ 299.362
301.33/302.22 c bounds - >= 715 @ 299.363
301.33/302.22 c bounds - >= 716 @ 299.363
301.33/302.22 c bounds - >= 717 @ 299.363
301.33/302.22 c bounds - >= 718 @ 299.363
301.33/302.22 c bounds - >= 719 @ 299.363
301.33/302.22 c bounds - >= 720 @ 299.363
301.33/302.22 c bounds - >= 721 @ 299.363
301.33/302.22 c bounds - >= 722 @ 299.363
301.33/302.22 c bounds - >= 723 @ 299.363
301.33/302.22 c bounds - >= 724 @ 299.364
301.33/302.22 c bounds - >= 725 @ 299.364
301.33/302.22 c bounds - >= 726 @ 299.364
301.33/302.22 c bounds - >= 727 @ 299.364
301.33/302.22 c bounds - >= 728 @ 299.365
301.33/302.22 c bounds - >= 729 @ 299.365
301.33/302.22 c bounds - >= 730 @ 299.365
301.33/302.22 c bounds - >= 731 @ 299.365
301.33/302.22 c bounds - >= 732 @ 299.365
301.33/302.22 c bounds - >= 733 @ 299.365
301.33/302.22 c bounds - >= 734 @ 299.365
301.33/302.22 c bounds - >= 735 @ 299.365
301.33/302.22 c bounds - >= 736 @ 299.365
301.33/302.22 c bounds - >= 737 @ 299.365
301.33/302.22 c bounds - >= 738 @ 299.365
301.33/302.22 c bounds - >= 739 @ 299.365
301.33/302.22 c bounds - >= 740 @ 299.365
301.33/302.22 c bounds - >= 741 @ 299.365
301.33/302.22 c bounds - >= 742 @ 299.365
301.33/302.22 c bounds - >= 743 @ 299.365
301.33/302.22 c bounds - >= 744 @ 299.366
301.33/302.22 c bounds - >= 745 @ 299.366
301.33/302.22 c bounds - >= 746 @ 299.366
301.33/302.22 c bounds - >= 747 @ 299.366
301.33/302.22 c bounds - >= 748 @ 299.367
301.33/302.22 c bounds - >= 749 @ 299.367
301.33/302.22 c bounds - >= 750 @ 299.367
301.33/302.22 c bounds - >= 751 @ 299.367
301.33/302.22 c bounds - >= 752 @ 299.368
301.33/302.22 c bounds - >= 753 @ 299.368
301.33/302.22 c bounds - >= 754 @ 299.368
301.33/302.22 c bounds - >= 755 @ 299.369
301.33/302.22 c bounds - >= 756 @ 299.369
301.33/302.22 c bounds - >= 757 @ 299.369
301.33/302.22 c bounds - >= 758 @ 299.369
301.33/302.22 c bounds - >= 759 @ 299.37
301.33/302.22 c bounds - >= 760 @ 299.37
301.33/302.22 c bounds - >= 761 @ 299.37
301.33/302.22 c bounds - >= 762 @ 299.37
301.33/302.22 c bounds - >= 763 @ 299.371
301.33/302.22 c bounds - >= 764 @ 299.371
301.33/302.22 c bounds - >= 765 @ 299.371
301.33/302.22 c bounds - >= 766 @ 299.371
301.33/302.22 c bounds - >= 767 @ 299.371
301.33/302.22 c bounds - >= 768 @ 299.371
301.33/302.22 c bounds - >= 769 @ 299.371
301.33/302.22 c bounds - >= 770 @ 299.371
301.33/302.22 c bounds - >= 771 @ 299.371
301.33/302.22 c bounds - >= 772 @ 299.371
301.33/302.22 c bounds - >= 773 @ 299.372
301.33/302.22 c bounds - >= 774 @ 299.372
301.33/302.22 c bounds - >= 775 @ 299.372
301.33/302.22 c bounds - >= 776 @ 299.372
301.33/302.22 c bounds - >= 777 @ 299.372
301.33/302.22 c bounds - >= 778 @ 299.372
301.33/302.22 c bounds - >= 779 @ 299.372
301.33/302.22 c bounds - >= 780 @ 299.373
301.33/302.22 c bounds - >= 781 @ 299.373
301.33/302.22 c bounds - >= 782 @ 299.373
301.33/302.22 c bounds - >= 783 @ 299.374
301.33/302.22 c bounds - >= 784 @ 299.374
301.33/302.22 c bounds - >= 785 @ 299.374
301.33/302.22 c bounds - >= 786 @ 299.375
301.33/302.22 c bounds - >= 787 @ 299.375
301.33/302.22 c bounds - >= 788 @ 299.375
301.33/302.22 c bounds - >= 789 @ 299.376
301.33/302.22 c bounds - >= 790 @ 299.376
301.33/302.22 c bounds - >= 791 @ 299.376
301.33/302.22 c bounds - >= 792 @ 299.376
301.33/302.22 c bounds - >= 793 @ 299.376
301.33/302.22 c bounds - >= 794 @ 299.376
301.33/302.22 c bounds - >= 795 @ 299.376
301.33/302.22 c bounds - >= 796 @ 299.377
301.33/302.22 c bounds - >= 797 @ 299.377
301.33/302.22 c bounds - >= 798 @ 299.377
301.33/302.22 c bounds - >= 799 @ 299.377
301.33/302.22 c bounds - >= 800 @ 299.377
301.33/302.22 c bounds - >= 801 @ 299.377
301.33/302.22 c bounds - >= 802 @ 299.378
301.33/302.22 c bounds - >= 803 @ 299.378
301.33/302.22 c bounds - >= 804 @ 299.378
301.33/302.22 c bounds - >= 805 @ 299.379
301.33/302.22 c bounds - >= 806 @ 299.379
301.33/302.22 c bounds - >= 807 @ 299.379
301.33/302.22 c bounds - >= 808 @ 299.38
301.33/302.22 c bounds - >= 809 @ 299.38
301.33/302.22 c bounds - >= 810 @ 299.38
301.33/302.22 c bounds - >= 811 @ 299.38
301.33/302.22 c bounds - >= 812 @ 299.38
301.33/302.22 c bounds - >= 813 @ 299.381
301.33/302.22 c bounds - >= 814 @ 299.381
301.33/302.22 c bounds - >= 815 @ 299.382
301.33/302.22 c bounds - >= 816 @ 299.382
301.33/302.22 c bounds - >= 817 @ 299.382
301.33/302.22 c bounds - >= 818 @ 299.382
301.33/302.22 c bounds - >= 819 @ 299.382
301.33/302.22 c bounds - >= 820 @ 299.382
301.33/302.22 c bounds - >= 821 @ 299.382
301.33/302.22 c bounds - >= 822 @ 299.383
301.33/302.22 c bounds - >= 823 @ 299.383
301.33/302.22 c bounds - >= 824 @ 299.383
301.33/302.22 c bounds - >= 825 @ 299.383
301.33/302.22 c bounds - >= 826 @ 299.383
301.33/302.22 c bounds - >= 827 @ 299.383
301.33/302.22 c #Conflicts: 1000 | #Constraints: 5262
301.33/302.22 c #Conflicts: 2000 | #Constraints: 6262
301.33/302.22 c INPROCESSING
301.33/302.22 c GARBAGE COLLECT
301.33/302.22 c #Conflicts: 3000 | #Constraints: 6122
301.33/302.22 c #Conflicts: 4000 | #Constraints: 7122
301.33/302.22 c INPROCESSING
301.33/302.22 c GARBAGE COLLECT
301.33/302.22 c #Conflicts: 5000 | #Constraints: 6493
381.31/382.48 c #Conflicts: 6000 | #Constraints: 7493
381.31/382.48 c INPROCESSING
381.31/382.48 c GARBAGE COLLECT
381.31/382.48 c #Conflicts: 7000 | #Constraints: 6482
381.31/382.48 c #Conflicts: 8000 | #Constraints: 7482
381.31/382.48 c #Conflicts: 9000 | #Constraints: 8482
381.31/382.48 c INPROCESSING
381.31/382.48 c GARBAGE COLLECT
381.31/382.48 c #Conflicts: 10000 | #Constraints: 7177
381.31/382.48 c #Conflicts: 11000 | #Constraints: 8177
381.31/382.48 c #Conflicts: 12000 | #Constraints: 9177
381.31/382.48 c INPROCESSING
381.31/382.48 c GARBAGE COLLECT
381.31/382.48 c #Conflicts: 13000 | #Constraints: 7618
381.31/382.48 c #Conflicts: 14000 | #Constraints: 8618
381.31/382.48 c #Conflicts: 15000 | #Constraints: 9618
381.31/382.48 c INPROCESSING
381.31/382.48 c GARBAGE COLLECT
381.31/382.48 c #Conflicts: 16000 | #Constraints: 7839
381.31/382.48 c #Conflicts: 17000 | #Constraints: 8839
381.31/382.48 c #Conflicts: 18000 | #Constraints: 9839
381.31/382.48 c INPROCESSING
381.31/382.48 c GARBAGE COLLECT
381.31/382.48 c #Conflicts: 19000 | #Constraints: 7851
381.31/382.48 c #Conflicts: 20000 | #Constraints: 8851
381.31/382.48 c #Conflicts: 21000 | #Constraints: 9851
381.31/382.48 c INPROCESSING
381.31/382.48 c GARBAGE COLLECT
381.31/382.48 c #Conflicts: 22000 | #Constraints: 7651
381.31/382.48 c #Conflicts: 23000 | #Constraints: 8651
381.31/382.48 c #Conflicts: 24000 | #Constraints: 9651
381.31/382.48 c #Conflicts: 25000 | #Constraints: 10651
381.31/382.48 c INPROCESSING
381.31/382.48 c GARBAGE COLLECT
381.31/382.48 c #Conflicts: 26000 | #Constraints: 8249
381.31/382.48 c #Conflicts: 27000 | #Constraints: 9249
381.31/382.48 c #Conflicts: 28000 | #Constraints: 10249
381.31/382.48 c #Conflicts: 29000 | #Constraints: 11249
381.31/382.48 c INPROCESSING
381.31/382.48 c GARBAGE COLLECT
381.31/382.48 c #Conflicts: 30000 | #Constraints: 8651
381.31/382.48 c #Conflicts: 31000 | #Constraints: 9651
381.31/382.48 c #Conflicts: 32000 | #Constraints: 10651
381.31/382.48 c #Conflicts: 33000 | #Constraints: 11651
381.31/382.48 c INPROCESSING
381.31/382.48 c GARBAGE COLLECT
381.31/382.48 c #Conflicts: 34000 | #Constraints: 8853
381.31/382.48 c #Conflicts: 35000 | #Constraints: 9853
381.31/382.48 c #Conflicts: 36000 | #Constraints: 10853
381.31/382.48 c #Conflicts: 37000 | #Constraints: 11853
381.31/382.48 c INPROCESSING
381.31/382.48 c GARBAGE COLLECT
381.31/382.48 c #Conflicts: 38000 | #Constraints: 8861
381.31/382.48 c #Conflicts: 39000 | #Constraints: 9861
381.31/382.48 c #Conflicts: 40000 | #Constraints: 10861
381.31/382.48 c #Conflicts: 41000 | #Constraints: 11861
381.31/382.48 c INPROCESSING
381.31/382.48 c GARBAGE COLLECT
381.31/382.48 c #Conflicts: 42000 | #Constraints: 8657
381.31/382.48 c #Conflicts: 43000 | #Constraints: 9657
381.31/382.48 c #Conflicts: 44000 | #Constraints: 10657
381.31/382.48 c #Conflicts: 45000 | #Constraints: 11657
381.31/382.48 c #Conflicts: 46000 | #Constraints: 12657
381.31/382.48 c INPROCESSING
381.31/382.48 c GARBAGE COLLECT
381.31/382.48 c #Conflicts: 47000 | #Constraints: 9261
381.31/382.48 c #Conflicts: 48000 | #Constraints: 10261
381.31/382.48 c #Conflicts: 49000 | #Constraints: 11261
381.31/382.48 c #Conflicts: 50000 | #Constraints: 12261
381.31/382.48 c #Conflicts: 51000 | #Constraints: 13261
381.31/382.48 c INPROCESSING
381.31/382.48 c GARBAGE COLLECT
381.31/382.48 c #Conflicts: 52000 | #Constraints: 9665
381.31/382.48 c #Conflicts: 53000 | #Constraints: 10665
381.31/382.48 c #Conflicts: 54000 | #Constraints: 11665
381.31/382.48 c #Conflicts: 55000 | #Constraints: 12665
381.31/382.48 c #Conflicts: 56000 | #Constraints: 13665
381.31/382.48 c INPROCESSING
381.31/382.48 c GARBAGE COLLECT
381.31/382.48 c #Conflicts: 57000 | #Constraints: 9869
381.31/382.48 c #Conflicts: 58000 | #Constraints: 10869
381.31/382.48 c #Conflicts: 59000 | #Constraints: 11869
381.31/382.48 c #Conflicts: 60000 | #Constraints: 12869
381.31/382.48 c #Conflicts: 61000 | #Constraints: 13869
381.31/382.48 c INPROCESSING
381.31/382.48 c GARBAGE COLLECT
381.31/382.48 c #Conflicts: 62000 | #Constraints: 9869
381.31/382.48 c #Conflicts: 63000 | #Constraints: 10869
381.31/382.48 c #Conflicts: 64000 | #Constraints: 11869
381.31/382.48 c #Conflicts: 65000 | #Constraints: 12869
381.31/382.48 c #Conflicts: 66000 | #Constraints: 13869
381.31/382.48 c INPROCESSING
381.31/382.48 c GARBAGE COLLECT
381.31/382.48 c #Conflicts: 67000 | #Constraints: 9663
381.31/382.48 c #Conflicts: 68000 | #Constraints: 10663
381.31/382.48 c #Conflicts: 69000 | #Constraints: 11663
381.31/382.48 c #Conflicts: 70000 | #Constraints: 12663
381.31/382.48 c #Conflicts: 71000 | #Constraints: 13663
381.31/382.48 c #Conflicts: 72000 | #Constraints: 14663
381.31/382.48 c INPROCESSING
381.31/382.48 c GARBAGE COLLECT
381.31/382.48 c #Conflicts: 73000 | #Constraints: 10268
504.80/506.29 c #Conflicts: 74000 | #Constraints: 11268
504.80/506.29 c #Conflicts: 75000 | #Constraints: 12268
504.80/506.29 c #Conflicts: 76000 | #Constraints: 13268
504.80/506.29 c #Conflicts: 77000 | #Constraints: 14268
504.80/506.29 c #Conflicts: 78000 | #Constraints: 15268
504.80/506.29 c INPROCESSING
504.80/506.29 c GARBAGE COLLECT
504.80/506.29 c #Conflicts: 79000 | #Constraints: 10673
504.80/506.29 c #Conflicts: 80000 | #Constraints: 11673
504.80/506.29 c #Conflicts: 81000 | #Constraints: 12673
504.80/506.29 c #Conflicts: 82000 | #Constraints: 13673
504.80/506.29 c #Conflicts: 83000 | #Constraints: 14673
504.80/506.29 c #Conflicts: 84000 | #Constraints: 15673
504.80/506.29 c INPROCESSING
504.80/506.29 c GARBAGE COLLECT
504.80/506.29 c #Conflicts: 85000 | #Constraints: 10871
504.80/506.29 c #Conflicts: 86000 | #Constraints: 11871
504.80/506.29 c #Conflicts: 87000 | #Constraints: 12871
504.80/506.29 c #Conflicts: 88000 | #Constraints: 13871
504.80/506.29 c #Conflicts: 89000 | #Constraints: 14871
504.80/506.29 c #Conflicts: 90000 | #Constraints: 15871
504.80/506.29 c INPROCESSING
504.80/506.29 c GARBAGE COLLECT
504.80/506.29 c #Conflicts: 91000 | #Constraints: 10872
504.80/506.29 c #Conflicts: 92000 | #Constraints: 11872
504.80/506.29 c #Conflicts: 93000 | #Constraints: 12872
504.80/506.29 c #Conflicts: 94000 | #Constraints: 13872
504.80/506.29 c #Conflicts: 95000 | #Constraints: 14872
504.80/506.29 c #Conflicts: 96000 | #Constraints: 15872
504.80/506.29 c INPROCESSING
504.80/506.29 c GARBAGE COLLECT
504.80/506.29 c #Conflicts: 97000 | #Constraints: 10666
504.80/506.29 c #Conflicts: 98000 | #Constraints: 11666
504.80/506.29 c #Conflicts: 99000 | #Constraints: 12666
504.80/506.29 c #Conflicts: 100000 | #Constraints: 13666
504.80/506.29 c #Conflicts: 101000 | #Constraints: 14666
504.80/506.29 c #Conflicts: 102000 | #Constraints: 15666
504.80/506.29 c #Conflicts: 103000 | #Constraints: 16666
504.80/506.29 c INPROCESSING
504.80/506.29 c GARBAGE COLLECT
504.80/506.29 c #Conflicts: 104000 | #Constraints: 11259
504.80/506.29 c #Conflicts: 105000 | #Constraints: 12259
504.80/506.29 c #Conflicts: 106000 | #Constraints: 13259
504.80/506.29 c #Conflicts: 107000 | #Constraints: 14259
504.80/506.29 c #Conflicts: 108000 | #Constraints: 15259
504.80/506.29 c #Conflicts: 109000 | #Constraints: 16259
504.80/506.29 c #Conflicts: 110000 | #Constraints: 17259
504.80/506.29 c INPROCESSING
504.80/506.29 c GARBAGE COLLECT
504.80/506.29 c #Conflicts: 111000 | #Constraints: 11665
504.80/506.29 c #Conflicts: 112000 | #Constraints: 12665
504.80/506.29 c #Conflicts: 113000 | #Constraints: 13665
504.80/506.29 c #Conflicts: 114000 | #Constraints: 14665
504.80/506.29 c #Conflicts: 115000 | #Constraints: 15665
504.80/506.29 c #Conflicts: 116000 | #Constraints: 16665
504.80/506.29 c #Conflicts: 117000 | #Constraints: 17665
504.80/506.29 c INPROCESSING
504.80/506.29 c GARBAGE COLLECT
504.80/506.29 c #Conflicts: 118000 | #Constraints: 11859
504.80/506.29 c #Conflicts: 119000 | #Constraints: 12859
504.80/506.29 c #Conflicts: 120000 | #Constraints: 13859
504.80/506.29 c #Conflicts: 121000 | #Constraints: 14859
504.80/506.29 c #Conflicts: 122000 | #Constraints: 15859
504.80/506.29 c #Conflicts: 123000 | #Constraints: 16859
504.80/506.29 c #Conflicts: 124000 | #Constraints: 17859
504.80/506.29 c INPROCESSING
504.80/506.29 c GARBAGE COLLECT
504.80/506.29 c #Conflicts: 125000 | #Constraints: 11870
504.80/506.29 c #Conflicts: 126000 | #Constraints: 12870
504.80/506.29 c #Conflicts: 127000 | #Constraints: 13870
504.80/506.29 c #Conflicts: 128000 | #Constraints: 14870
504.80/506.29 c #Conflicts: 129000 | #Constraints: 15870
504.80/506.29 c #Conflicts: 130000 | #Constraints: 16870
504.80/506.29 c #Conflicts: 131000 | #Constraints: 17870
504.80/506.29 c INPROCESSING
504.80/506.29 c GARBAGE COLLECT
504.80/506.29 c #Conflicts: 132000 | #Constraints: 11665
504.80/506.29 c #Conflicts: 133000 | #Constraints: 12665
504.80/506.29 c #Conflicts: 134000 | #Constraints: 13665
504.80/506.29 c #Conflicts: 135000 | #Constraints: 14665
504.80/506.29 c #Conflicts: 136000 | #Constraints: 15665
504.80/506.29 c #Conflicts: 137000 | #Constraints: 16665
504.80/506.29 c #Conflicts: 138000 | #Constraints: 17665
504.80/506.29 c #Conflicts: 139000 | #Constraints: 18665
504.80/506.29 c INPROCESSING
504.80/506.29 c GARBAGE COLLECT
504.80/506.29 c #Conflicts: 140000 | #Constraints: 12264
504.80/506.29 c #Conflicts: 141000 | #Constraints: 13264
504.80/506.29 c #Conflicts: 142000 | #Constraints: 14264
504.80/506.29 c #Conflicts: 143000 | #Constraints: 15264
504.80/506.29 c #Conflicts: 144000 | #Constraints: 16264
504.80/506.29 c #Conflicts: 145000 | #Constraints: 17264
653.01/654.81 c #Conflicts: 146000 | #Constraints: 18264
653.01/654.81 c #Conflicts: 147000 | #Constraints: 19264
653.01/654.81 c INPROCESSING
653.01/654.81 c GARBAGE COLLECT
653.01/654.81 c #Conflicts: 148000 | #Constraints: 12661
653.01/654.81 c #Conflicts: 149000 | #Constraints: 13661
653.01/654.81 c #Conflicts: 150000 | #Constraints: 14661
653.01/654.81 c #Conflicts: 151000 | #Constraints: 15661
653.01/654.81 c #Conflicts: 152000 | #Constraints: 16661
653.01/654.81 c #Conflicts: 153000 | #Constraints: 17661
653.01/654.81 c #Conflicts: 154000 | #Constraints: 18661
653.01/654.81 c #Conflicts: 155000 | #Constraints: 19661
653.01/654.81 c INPROCESSING
653.01/654.81 c GARBAGE COLLECT
653.01/654.81 c #Conflicts: 156000 | #Constraints: 12864
653.01/654.81 c #Conflicts: 157000 | #Constraints: 13864
653.01/654.81 c #Conflicts: 158000 | #Constraints: 14864
653.01/654.81 c #Conflicts: 159000 | #Constraints: 15864
653.01/654.81 c #Conflicts: 160000 | #Constraints: 16864
653.01/654.81 c #Conflicts: 161000 | #Constraints: 17864
653.01/654.81 c #Conflicts: 162000 | #Constraints: 18864
653.01/654.81 c #Conflicts: 163000 | #Constraints: 19864
653.01/654.81 c INPROCESSING
653.01/654.81 c GARBAGE COLLECT
653.01/654.81 c #Conflicts: 164000 | #Constraints: 12862
653.01/654.81 c #Conflicts: 165000 | #Constraints: 13862
653.01/654.81 c #Conflicts: 166000 | #Constraints: 14862
653.01/654.81 c #Conflicts: 167000 | #Constraints: 15862
653.01/654.81 c #Conflicts: 168000 | #Constraints: 16862
653.01/654.81 c #Conflicts: 169000 | #Constraints: 17862
653.01/654.81 c #Conflicts: 170000 | #Constraints: 18862
653.01/654.81 c #Conflicts: 171000 | #Constraints: 19862
653.01/654.81 c INPROCESSING
653.01/654.81 c GARBAGE COLLECT
653.01/654.81 c #Conflicts: 172000 | #Constraints: 12661
653.01/654.81 c #Conflicts: 173000 | #Constraints: 13661
653.01/654.81 c #Conflicts: 174000 | #Constraints: 14661
653.01/654.81 c #Conflicts: 175000 | #Constraints: 15661
653.01/654.81 c #Conflicts: 176000 | #Constraints: 16661
653.01/654.81 c #Conflicts: 177000 | #Constraints: 17661
653.01/654.81 c #Conflicts: 178000 | #Constraints: 18661
653.01/654.81 c #Conflicts: 179000 | #Constraints: 19661
653.01/654.81 c #Conflicts: 180000 | #Constraints: 20661
653.01/654.81 c INPROCESSING
653.01/654.81 c GARBAGE COLLECT
653.01/654.81 c #Conflicts: 181000 | #Constraints: 13261
653.01/654.81 c #Conflicts: 182000 | #Constraints: 14261
653.01/654.81 c #Conflicts: 183000 | #Constraints: 15261
653.01/654.81 c #Conflicts: 184000 | #Constraints: 16261
653.01/654.81 c #Conflicts: 185000 | #Constraints: 17261
653.01/654.81 c #Conflicts: 186000 | #Constraints: 18261
653.01/654.81 c #Conflicts: 187000 | #Constraints: 19261
653.01/654.81 c #Conflicts: 188000 | #Constraints: 20261
653.01/654.81 c #Conflicts: 189000 | #Constraints: 21261
653.01/654.81 c INPROCESSING
653.01/654.81 c GARBAGE COLLECT
653.01/654.81 c #Conflicts: 190000 | #Constraints: 13664
653.01/654.81 c #Conflicts: 191000 | #Constraints: 14664
653.01/654.81 c #Conflicts: 192000 | #Constraints: 15664
653.01/654.81 c #Conflicts: 193000 | #Constraints: 16664
653.01/654.81 c #Conflicts: 194000 | #Constraints: 17664
653.01/654.81 c #Conflicts: 195000 | #Constraints: 18664
653.01/654.81 c #Conflicts: 196000 | #Constraints: 19664
653.01/654.81 c #Conflicts: 197000 | #Constraints: 20664
653.01/654.81 c #Conflicts: 198000 | #Constraints: 21664
653.01/654.81 c INPROCESSING
653.01/654.81 c GARBAGE COLLECT
653.01/654.81 c #Conflicts: 199000 | #Constraints: 13867
653.01/654.81 c #Conflicts: 200000 | #Constraints: 14867
653.01/654.81 c #Conflicts: 201000 | #Constraints: 15867
653.01/654.81 c #Conflicts: 202000 | #Constraints: 16867
653.01/654.81 c #Conflicts: 203000 | #Constraints: 17867
653.01/654.81 c #Conflicts: 204000 | #Constraints: 18867
653.01/654.81 c #Conflicts: 205000 | #Constraints: 19867
653.01/654.81 c #Conflicts: 206000 | #Constraints: 20867
653.01/654.81 c #Conflicts: 207000 | #Constraints: 21867
653.01/654.81 c INPROCESSING
653.01/654.81 c GARBAGE COLLECT
653.01/654.81 c #Conflicts: 208000 | #Constraints: 13860
653.01/654.81 c #Conflicts: 209000 | #Constraints: 14860
653.01/654.81 c #Conflicts: 210000 | #Constraints: 15860
653.01/654.81 c #Conflicts: 211000 | #Constraints: 16860
653.01/654.81 c #Conflicts: 212000 | #Constraints: 17860
653.01/654.81 c #Conflicts: 213000 | #Constraints: 18860
653.01/654.81 c #Conflicts: 214000 | #Constraints: 19860
653.01/654.81 c #Conflicts: 215000 | #Constraints: 20860
653.01/654.81 c #Conflicts: 216000 | #Constraints: 21860
653.01/654.81 c INPROCESSING
653.01/654.81 c GARBAGE COLLECT
653.01/654.81 c #Conflicts: 217000 | #Constraints: 13668
653.01/654.81 c #Conflicts: 218000 | #Constraints: 14668
859.16/861.55 c #Conflicts: 219000 | #Constraints: 15668
859.16/861.55 c #Conflicts: 220000 | #Constraints: 16668
859.16/861.55 c #Conflicts: 221000 | #Constraints: 17668
859.16/861.55 c #Conflicts: 222000 | #Constraints: 18668
859.16/861.55 c #Conflicts: 223000 | #Constraints: 19668
859.16/861.55 c #Conflicts: 224000 | #Constraints: 20668
859.16/861.55 c #Conflicts: 225000 | #Constraints: 21668
859.16/861.55 c #Conflicts: 226000 | #Constraints: 22668
859.16/861.55 c INPROCESSING
859.16/861.55 c GARBAGE COLLECT
859.16/861.55 c #Conflicts: 227000 | #Constraints: 14276
859.16/861.55 c #Conflicts: 228000 | #Constraints: 15276
859.16/861.55 c #Conflicts: 229000 | #Constraints: 16276
859.16/861.55 c #Conflicts: 230000 | #Constraints: 17276
859.16/861.55 c #Conflicts: 231000 | #Constraints: 18276
859.16/861.55 c #Conflicts: 232000 | #Constraints: 19276
859.16/861.55 c #Conflicts: 233000 | #Constraints: 20276
859.16/861.55 c #Conflicts: 234000 | #Constraints: 21276
859.16/861.55 c #Conflicts: 235000 | #Constraints: 22276
859.16/861.55 c #Conflicts: 236000 | #Constraints: 23276
859.16/861.55 c INPROCESSING
859.16/861.55 c GARBAGE COLLECT
859.16/861.55 c #Conflicts: 237000 | #Constraints: 14668
859.16/861.55 c #Conflicts: 238000 | #Constraints: 15668
859.16/861.55 c #Conflicts: 239000 | #Constraints: 16668
859.16/861.55 c #Conflicts: 240000 | #Constraints: 17668
859.16/861.55 c #Conflicts: 241000 | #Constraints: 18668
859.16/861.55 c #Conflicts: 242000 | #Constraints: 19668
859.16/861.55 c #Conflicts: 243000 | #Constraints: 20668
859.16/861.55 c #Conflicts: 244000 | #Constraints: 21668
859.16/861.55 c #Conflicts: 245000 | #Constraints: 22668
859.16/861.55 c #Conflicts: 246000 | #Constraints: 23668
859.16/861.55 c INPROCESSING
859.16/861.55 c GARBAGE COLLECT
859.16/861.55 c #Conflicts: 247000 | #Constraints: 14862
859.16/861.55 c #Conflicts: 248000 | #Constraints: 15862
859.16/861.55 c #Conflicts: 249000 | #Constraints: 16862
859.16/861.55 c #Conflicts: 250000 | #Constraints: 17862
859.16/861.55 c #Conflicts: 251000 | #Constraints: 18862
859.16/861.55 c #Conflicts: 252000 | #Constraints: 19862
859.16/861.55 c #Conflicts: 253000 | #Constraints: 20862
859.16/861.55 c #Conflicts: 254000 | #Constraints: 21862
859.16/861.55 c #Conflicts: 255000 | #Constraints: 22862
859.16/861.55 c #Conflicts: 256000 | #Constraints: 23862
859.16/861.55 c INPROCESSING
859.16/861.55 c GARBAGE COLLECT
859.16/861.55 c #Conflicts: 257000 | #Constraints: 14865
859.16/861.55 c #Conflicts: 258000 | #Constraints: 15865
859.16/861.55 c #Conflicts: 259000 | #Constraints: 16865
859.16/861.55 c #Conflicts: 260000 | #Constraints: 17865
859.16/861.55 c #Conflicts: 261000 | #Constraints: 18865
859.16/861.55 c #Conflicts: 262000 | #Constraints: 19865
859.16/861.55 c #Conflicts: 263000 | #Constraints: 20865
859.16/861.55 c #Conflicts: 264000 | #Constraints: 21865
859.16/861.55 c #Conflicts: 265000 | #Constraints: 22865
859.16/861.55 c #Conflicts: 266000 | #Constraints: 23865
859.16/861.55 c INPROCESSING
859.16/861.55 c GARBAGE COLLECT
859.16/861.55 c #Conflicts: 267000 | #Constraints: 14665
859.16/861.55 c #Conflicts: 268000 | #Constraints: 15665
859.16/861.55 c #Conflicts: 269000 | #Constraints: 16665
859.16/861.55 c #Conflicts: 270000 | #Constraints: 17665
859.16/861.55 c #Conflicts: 271000 | #Constraints: 18665
859.16/861.55 c #Conflicts: 272000 | #Constraints: 19665
859.16/861.55 c #Conflicts: 273000 | #Constraints: 20665
859.16/861.55 c #Conflicts: 274000 | #Constraints: 21665
859.16/861.55 c #Conflicts: 275000 | #Constraints: 22665
859.16/861.55 c #Conflicts: 276000 | #Constraints: 23665
859.16/861.55 c #Conflicts: 277000 | #Constraints: 24665
859.16/861.55 c INPROCESSING
859.16/861.55 c GARBAGE COLLECT
859.16/861.55 c #Conflicts: 278000 | #Constraints: 15263
859.16/861.55 c #Conflicts: 279000 | #Constraints: 16263
859.16/861.55 c #Conflicts: 280000 | #Constraints: 17263
859.16/861.55 c #Conflicts: 281000 | #Constraints: 18263
859.16/861.55 c #Conflicts: 282000 | #Constraints: 19263
859.16/861.55 c #Conflicts: 283000 | #Constraints: 20263
859.16/861.55 c #Conflicts: 284000 | #Constraints: 21263
859.16/861.55 c #Conflicts: 285000 | #Constraints: 22263
859.16/861.55 c #Conflicts: 286000 | #Constraints: 23263
859.16/861.55 c #Conflicts: 287000 | #Constraints: 24263
859.16/861.55 c #Conflicts: 288000 | #Constraints: 25263
859.16/861.55 c INPROCESSING
859.16/861.55 c GARBAGE COLLECT
859.16/861.55 c #Conflicts: 289000 | #Constraints: 15663
859.16/861.55 c #Conflicts: 290000 | #Constraints: 16663
859.16/861.55 c #Conflicts: 291000 | #Constraints: 17663
859.16/861.55 c #Conflicts: 292000 | #Constraints: 18663
859.16/861.55 c #Conflicts: 293000 | #Constraints: 19663
1132.52/1135.61 c #Conflicts: 294000 | #Constraints: 20663
1132.52/1135.61 c #Conflicts: 295000 | #Constraints: 21663
1132.52/1135.61 c #Conflicts: 296000 | #Constraints: 22663
1132.52/1135.61 c #Conflicts: 297000 | #Constraints: 23663
1132.52/1135.61 c #Conflicts: 298000 | #Constraints: 24663
1132.52/1135.61 c #Conflicts: 299000 | #Constraints: 25663
1132.52/1135.61 c INPROCESSING
1132.52/1135.61 c GARBAGE COLLECT
1132.52/1135.61 c #Conflicts: 300000 | #Constraints: 15870
1132.52/1135.61 c #Conflicts: 301000 | #Constraints: 16870
1132.52/1135.61 c #Conflicts: 302000 | #Constraints: 17870
1132.52/1135.61 c #Conflicts: 303000 | #Constraints: 18870
1132.52/1135.61 c #Conflicts: 304000 | #Constraints: 19870
1132.52/1135.61 c #Conflicts: 305000 | #Constraints: 20870
1132.52/1135.61 c #Conflicts: 306000 | #Constraints: 21870
1132.52/1135.61 c #Conflicts: 307000 | #Constraints: 22870
1132.52/1135.61 c #Conflicts: 308000 | #Constraints: 23870
1132.52/1135.61 c #Conflicts: 309000 | #Constraints: 24870
1132.52/1135.61 c #Conflicts: 310000 | #Constraints: 25870
1132.52/1135.61 c INPROCESSING
1132.52/1135.61 c GARBAGE COLLECT
1132.52/1135.61 c #Conflicts: 311000 | #Constraints: 15870
1132.52/1135.61 c #Conflicts: 312000 | #Constraints: 16870
1132.52/1135.61 c #Conflicts: 313000 | #Constraints: 17870
1132.52/1135.61 c #Conflicts: 314000 | #Constraints: 18870
1132.52/1135.61 c #Conflicts: 315000 | #Constraints: 19870
1132.52/1135.61 c #Conflicts: 316000 | #Constraints: 20870
1132.52/1135.61 c #Conflicts: 317000 | #Constraints: 21870
1132.52/1135.61 c #Conflicts: 318000 | #Constraints: 22870
1132.52/1135.61 c #Conflicts: 319000 | #Constraints: 23870
1132.52/1135.61 c #Conflicts: 320000 | #Constraints: 24870
1132.52/1135.61 c #Conflicts: 321000 | #Constraints: 25870
1132.52/1135.61 c INPROCESSING
1132.52/1135.61 c GARBAGE COLLECT
1132.52/1135.61 c #Conflicts: 322000 | #Constraints: 15670
1132.52/1135.61 c #Conflicts: 323000 | #Constraints: 16670
1132.52/1135.61 c #Conflicts: 324000 | #Constraints: 17670
1132.52/1135.61 c #Conflicts: 325000 | #Constraints: 18670
1132.52/1135.61 c #Conflicts: 326000 | #Constraints: 19670
1132.52/1135.61 c #Conflicts: 327000 | #Constraints: 20670
1132.52/1135.61 c #Conflicts: 328000 | #Constraints: 21670
1132.52/1135.61 c #Conflicts: 329000 | #Constraints: 22670
1132.52/1135.61 c #Conflicts: 330000 | #Constraints: 23670
1132.52/1135.61 c #Conflicts: 331000 | #Constraints: 24670
1132.52/1135.61 c #Conflicts: 332000 | #Constraints: 25670
1132.52/1135.61 c #Conflicts: 333000 | #Constraints: 26670
1132.52/1135.61 c INPROCESSING
1132.52/1135.61 c GARBAGE COLLECT
1132.52/1135.61 c #Conflicts: 334000 | #Constraints: 16280
1132.52/1135.61 c #Conflicts: 335000 | #Constraints: 17280
1132.52/1135.61 c #Conflicts: 336000 | #Constraints: 18280
1132.52/1135.61 c #Conflicts: 337000 | #Constraints: 19280
1132.52/1135.61 c #Conflicts: 338000 | #Constraints: 20280
1132.52/1135.61 c #Conflicts: 339000 | #Constraints: 21280
1132.52/1135.61 c #Conflicts: 340000 | #Constraints: 22280
1132.52/1135.61 c #Conflicts: 341000 | #Constraints: 23280
1132.52/1135.61 c #Conflicts: 342000 | #Constraints: 24280
1132.52/1135.61 c #Conflicts: 343000 | #Constraints: 25280
1132.52/1135.61 c #Conflicts: 344000 | #Constraints: 26280
1132.52/1135.61 c #Conflicts: 345000 | #Constraints: 27280
1132.52/1135.61 c INPROCESSING
1132.52/1135.61 c GARBAGE COLLECT
1132.52/1135.61 c #Conflicts: 346000 | #Constraints: 16679
1132.52/1135.61 c #Conflicts: 347000 | #Constraints: 17679
1132.52/1135.61 c #Conflicts: 348000 | #Constraints: 18679
1132.52/1135.61 c #Conflicts: 349000 | #Constraints: 19679
1132.52/1135.61 c #Conflicts: 350000 | #Constraints: 20679
1132.52/1135.61 c #Conflicts: 351000 | #Constraints: 21679
1132.52/1135.61 c #Conflicts: 352000 | #Constraints: 22679
1132.52/1135.61 c #Conflicts: 353000 | #Constraints: 23679
1132.52/1135.61 c #Conflicts: 354000 | #Constraints: 24679
1132.52/1135.61 c #Conflicts: 355000 | #Constraints: 25679
1132.52/1135.61 c #Conflicts: 356000 | #Constraints: 26679
1132.52/1135.61 c #Conflicts: 357000 | #Constraints: 27679
1132.52/1135.61 c INPROCESSING
1132.52/1135.61 c GARBAGE COLLECT
1132.52/1135.61 c #Conflicts: 358000 | #Constraints: 16871
1132.52/1135.61 c #Conflicts: 359000 | #Constraints: 17871
1132.52/1135.61 c #Conflicts: 360000 | #Constraints: 18871
1132.52/1135.61 c #Conflicts: 361000 | #Constraints: 19871
1132.52/1135.61 c #Conflicts: 362000 | #Constraints: 20871
1132.52/1135.61 c #Conflicts: 363000 | #Constraints: 21871
1132.52/1135.61 c #Conflicts: 364000 | #Constraints: 22871
1132.52/1135.61 c #Conflicts: 365000 | #Constraints: 23871
1132.52/1135.61 c #Conflicts: 366000 | #Constraints: 24871
1132.52/1135.61 c #Conflicts: 367000 | #Constraints: 25871
1132.52/1135.61 c #Conflicts: 368000 | #Constraints: 26871
1426.33/1430.29 c #Conflicts: 369000 | #Constraints: 27871
1426.33/1430.29 c INPROCESSING
1426.33/1430.29 c GARBAGE COLLECT
1426.33/1430.29 c #Conflicts: 370000 | #Constraints: 16866
1426.33/1430.29 c #Conflicts: 371000 | #Constraints: 17866
1426.33/1430.29 c #Conflicts: 372000 | #Constraints: 18866
1426.33/1430.29 c #Conflicts: 373000 | #Constraints: 19866
1426.33/1430.29 c #Conflicts: 374000 | #Constraints: 20866
1426.33/1430.29 c #Conflicts: 375000 | #Constraints: 21866
1426.33/1430.29 c #Conflicts: 376000 | #Constraints: 22866
1426.33/1430.29 c #Conflicts: 377000 | #Constraints: 23866
1426.33/1430.29 c #Conflicts: 378000 | #Constraints: 24866
1426.33/1430.29 c #Conflicts: 379000 | #Constraints: 25866
1426.33/1430.29 c #Conflicts: 380000 | #Constraints: 26866
1426.33/1430.29 c #Conflicts: 381000 | #Constraints: 27866
1426.33/1430.29 c INPROCESSING
1426.33/1430.29 c GARBAGE COLLECT
1426.33/1430.29 c #Conflicts: 382000 | #Constraints: 16663
1426.33/1430.29 c #Conflicts: 383000 | #Constraints: 17663
1426.33/1430.29 c #Conflicts: 384000 | #Constraints: 18663
1426.33/1430.29 c #Conflicts: 385000 | #Constraints: 19663
1426.33/1430.29 c #Conflicts: 386000 | #Constraints: 20663
1426.33/1430.29 c #Conflicts: 387000 | #Constraints: 21663
1426.33/1430.29 c #Conflicts: 388000 | #Constraints: 22663
1426.33/1430.29 c #Conflicts: 389000 | #Constraints: 23663
1426.33/1430.29 c #Conflicts: 390000 | #Constraints: 24663
1426.33/1430.29 c #Conflicts: 391000 | #Constraints: 25663
1426.33/1430.29 c #Conflicts: 392000 | #Constraints: 26663
1426.33/1430.29 c #Conflicts: 393000 | #Constraints: 27663
1426.33/1430.29 c #Conflicts: 394000 | #Constraints: 28663
1426.33/1430.29 c INPROCESSING
1426.33/1430.29 c GARBAGE COLLECT
1426.33/1430.29 c #Conflicts: 395000 | #Constraints: 17264
1426.33/1430.29 c #Conflicts: 396000 | #Constraints: 18264
1426.33/1430.29 c #Conflicts: 397000 | #Constraints: 19264
1426.33/1430.29 c #Conflicts: 398000 | #Constraints: 20264
1426.33/1430.29 c #Conflicts: 399000 | #Constraints: 21264
1426.33/1430.29 c #Conflicts: 400000 | #Constraints: 22264
1426.33/1430.29 c #Conflicts: 401000 | #Constraints: 23264
1426.33/1430.29 c #Conflicts: 402000 | #Constraints: 24264
1426.33/1430.29 c #Conflicts: 403000 | #Constraints: 25264
1426.33/1430.29 c #Conflicts: 404000 | #Constraints: 26264
1426.33/1430.29 c #Conflicts: 405000 | #Constraints: 27264
1426.33/1430.29 c #Conflicts: 406000 | #Constraints: 28264
1426.33/1430.29 c #Conflicts: 407000 | #Constraints: 29264
1426.33/1430.29 c INPROCESSING
1426.33/1430.29 c GARBAGE COLLECT
1426.33/1430.29 c #Conflicts: 408000 | #Constraints: 17662
1426.33/1430.29 c #Conflicts: 409000 | #Constraints: 18662
1426.33/1430.29 c #Conflicts: 410000 | #Constraints: 19662
1426.33/1430.29 c #Conflicts: 411000 | #Constraints: 20662
1426.33/1430.29 c #Conflicts: 412000 | #Constraints: 21662
1426.33/1430.29 c #Conflicts: 413000 | #Constraints: 22662
1426.33/1430.29 c #Conflicts: 414000 | #Constraints: 23662
1426.33/1430.29 c #Conflicts: 415000 | #Constraints: 24662
1426.33/1430.29 c #Conflicts: 416000 | #Constraints: 25662
1426.33/1430.29 c #Conflicts: 417000 | #Constraints: 26662
1426.33/1430.29 c #Conflicts: 418000 | #Constraints: 27662
1426.33/1430.29 c #Conflicts: 419000 | #Constraints: 28662
1426.33/1430.29 c #Conflicts: 420000 | #Constraints: 29662
1426.33/1430.29 c INPROCESSING
1426.33/1430.29 c GARBAGE COLLECT
1426.33/1430.29 c #Conflicts: 421000 | #Constraints: 17868
1426.33/1430.29 c #Conflicts: 422000 | #Constraints: 18868
1426.33/1430.29 c #Conflicts: 423000 | #Constraints: 19868
1426.33/1430.29 c #Conflicts: 424000 | #Constraints: 20868
1426.33/1430.29 c #Conflicts: 425000 | #Constraints: 21868
1426.33/1430.29 c #Conflicts: 426000 | #Constraints: 22868
1426.33/1430.29 c #Conflicts: 427000 | #Constraints: 23868
1426.33/1430.29 c #Conflicts: 428000 | #Constraints: 24868
1426.33/1430.29 c #Conflicts: 429000 | #Constraints: 25868
1426.33/1430.29 c #Conflicts: 430000 | #Constraints: 26868
1426.33/1430.29 c #Conflicts: 431000 | #Constraints: 27868
1426.33/1430.29 c #Conflicts: 432000 | #Constraints: 28868
1426.33/1430.29 c #Conflicts: 433000 | #Constraints: 29868
1426.33/1430.29 c INPROCESSING
1426.33/1430.29 c GARBAGE COLLECT
1426.33/1430.29 c #Conflicts: 434000 | #Constraints: 17873
1426.33/1430.29 c #Conflicts: 435000 | #Constraints: 18873
1426.33/1430.29 c #Conflicts: 436000 | #Constraints: 19873
1426.33/1430.29 c #Conflicts: 437000 | #Constraints: 20873
1426.33/1430.29 c #Conflicts: 438000 | #Constraints: 21873
1426.33/1430.29 c #Conflicts: 439000 | #Constraints: 22873
1426.33/1430.29 c #Conflicts: 440000 | #Constraints: 23873
1426.33/1430.29 c #Conflicts: 441000 | #Constraints: 24873
1426.33/1430.29 c #Conflicts: 442000 | #Constraints: 25873
1426.33/1430.29 c #Conflicts: 443000 | #Constraints: 26873
1720.93/1725.67 c #Conflicts: 444000 | #Constraints: 27873
1720.93/1725.67 c #Conflicts: 445000 | #Constraints: 28873
1720.93/1725.67 c #Conflicts: 446000 | #Constraints: 29873
1720.93/1725.67 c INPROCESSING
1720.93/1725.67 c GARBAGE COLLECT
1720.93/1725.67 c #Conflicts: 447000 | #Constraints: 17678
1720.93/1725.67 c #Conflicts: 448000 | #Constraints: 18678
1720.93/1725.67 c #Conflicts: 449000 | #Constraints: 19678
1720.93/1725.67 c #Conflicts: 450000 | #Constraints: 20678
1720.93/1725.67 c #Conflicts: 451000 | #Constraints: 21678
1720.93/1725.67 c #Conflicts: 452000 | #Constraints: 22678
1720.93/1725.67 c #Conflicts: 453000 | #Constraints: 23678
1720.93/1725.67 c #Conflicts: 454000 | #Constraints: 24678
1720.93/1725.67 c #Conflicts: 455000 | #Constraints: 25678
1720.93/1725.67 c #Conflicts: 456000 | #Constraints: 26678
1720.93/1725.67 c #Conflicts: 457000 | #Constraints: 27678
1720.93/1725.67 c #Conflicts: 458000 | #Constraints: 28678
1720.93/1725.67 c #Conflicts: 459000 | #Constraints: 29678
1720.93/1725.67 c #Conflicts: 460000 | #Constraints: 30678
1720.93/1725.67 c INPROCESSING
1720.93/1725.67 c GARBAGE COLLECT
1720.93/1725.67 c #Conflicts: 461000 | #Constraints: 18276
1720.93/1725.67 c #Conflicts: 462000 | #Constraints: 19276
1720.93/1725.67 c #Conflicts: 463000 | #Constraints: 20276
1720.93/1725.67 c #Conflicts: 464000 | #Constraints: 21276
1720.93/1725.67 c #Conflicts: 465000 | #Constraints: 22276
1720.93/1725.67 c #Conflicts: 466000 | #Constraints: 23276
1720.93/1725.67 c #Conflicts: 467000 | #Constraints: 24276
1720.93/1725.67 c #Conflicts: 468000 | #Constraints: 25276
1720.93/1725.67 c #Conflicts: 469000 | #Constraints: 26276
1720.93/1725.67 c #Conflicts: 470000 | #Constraints: 27276
1720.93/1725.67 c #Conflicts: 471000 | #Constraints: 28276
1720.93/1725.67 c #Conflicts: 472000 | #Constraints: 29276
1720.93/1725.67 c #Conflicts: 473000 | #Constraints: 30276
1720.93/1725.67 c #Conflicts: 474000 | #Constraints: 31276
1720.93/1725.67 c INPROCESSING
1720.93/1725.67 c GARBAGE COLLECT
1720.93/1725.67 c #Conflicts: 475000 | #Constraints: 18680
1720.93/1725.67 c #Conflicts: 476000 | #Constraints: 19680
1720.93/1725.67 c #Conflicts: 477000 | #Constraints: 20680
1720.93/1725.67 c #Conflicts: 478000 | #Constraints: 21680
1720.93/1725.67 c #Conflicts: 479000 | #Constraints: 22680
1720.93/1725.67 c #Conflicts: 480000 | #Constraints: 23680
1720.93/1725.67 c #Conflicts: 481000 | #Constraints: 24680
1720.93/1725.67 c #Conflicts: 482000 | #Constraints: 25680
1720.93/1725.67 c #Conflicts: 483000 | #Constraints: 26680
1720.93/1725.67 c #Conflicts: 484000 | #Constraints: 27680
1720.93/1725.67 c #Conflicts: 485000 | #Constraints: 28680
1720.93/1725.67 c #Conflicts: 486000 | #Constraints: 29680
1720.93/1725.67 c #Conflicts: 487000 | #Constraints: 30680
1720.93/1725.67 c #Conflicts: 488000 | #Constraints: 31680
1720.93/1725.67 c INPROCESSING
1720.93/1725.67 c GARBAGE COLLECT
1720.93/1725.67 c #Conflicts: 489000 | #Constraints: 18878
1720.93/1725.67 c #Conflicts: 490000 | #Constraints: 19878
1720.93/1725.67 c #Conflicts: 491000 | #Constraints: 20878
1720.93/1725.67 c #Conflicts: 492000 | #Constraints: 21878
1720.93/1725.67 c #Conflicts: 493000 | #Constraints: 22878
1720.93/1725.67 c #Conflicts: 494000 | #Constraints: 23878
1720.93/1725.67 c #Conflicts: 495000 | #Constraints: 24878
1720.93/1725.67 c #Conflicts: 496000 | #Constraints: 25878
1720.93/1725.67 c #Conflicts: 497000 | #Constraints: 26878
1720.93/1725.67 c #Conflicts: 498000 | #Constraints: 27878
1720.93/1725.67 c #Conflicts: 499000 | #Constraints: 28878
1720.93/1725.67 c #Conflicts: 500000 | #Constraints: 29878
1720.93/1725.67 c #Conflicts: 501000 | #Constraints: 30878
1720.93/1725.67 c #Conflicts: 502000 | #Constraints: 31878
1720.93/1725.67 c INPROCESSING
1720.93/1725.67 c GARBAGE COLLECT
1720.93/1725.67 c #Conflicts: 503000 | #Constraints: 18883
1720.93/1725.67 c #Conflicts: 504000 | #Constraints: 19883
1720.93/1725.67 c #Conflicts: 505000 | #Constraints: 20883
1720.93/1725.67 c #Conflicts: 506000 | #Constraints: 21883
1720.93/1725.67 c #Conflicts: 507000 | #Constraints: 22883
1720.93/1725.67 c #Conflicts: 508000 | #Constraints: 23883
1720.93/1725.67 c #Conflicts: 509000 | #Constraints: 24883
1720.93/1725.67 c #Conflicts: 510000 | #Constraints: 25883
1720.93/1725.67 c #Conflicts: 511000 | #Constraints: 26883
1720.93/1725.67 c #Conflicts: 512000 | #Constraints: 27883
1720.93/1725.67 c #Conflicts: 513000 | #Constraints: 28883
1720.93/1725.67 c #Conflicts: 514000 | #Constraints: 29883
1720.93/1725.67 c #Conflicts: 515000 | #Constraints: 30883
1720.93/1725.67 c #Conflicts: 516000 | #Constraints: 31883
1720.93/1725.67 c INPROCESSING
1720.93/1725.67 c GARBAGE COLLECT
1720.93/1725.67 c #Conflicts: 517000 | #Constraints: 18685
1720.93/1725.67 c #Conflicts: 518000 | #Constraints: 19685
2020.62/2026.15 c #Conflicts: 519000 | #Constraints: 20685
2020.62/2026.15 c #Conflicts: 520000 | #Constraints: 21685
2020.62/2026.15 c #Conflicts: 521000 | #Constraints: 22685
2020.62/2026.15 c #Conflicts: 522000 | #Constraints: 23685
2020.62/2026.15 c #Conflicts: 523000 | #Constraints: 24685
2020.62/2026.15 c #Conflicts: 524000 | #Constraints: 25685
2020.62/2026.15 c #Conflicts: 525000 | #Constraints: 26685
2020.62/2026.15 c #Conflicts: 526000 | #Constraints: 27685
2020.62/2026.15 c #Conflicts: 527000 | #Constraints: 28685
2020.62/2026.15 c #Conflicts: 528000 | #Constraints: 29685
2020.62/2026.15 c #Conflicts: 529000 | #Constraints: 30685
2020.62/2026.15 c #Conflicts: 530000 | #Constraints: 31685
2020.62/2026.15 c #Conflicts: 531000 | #Constraints: 32685
2020.62/2026.15 c INPROCESSING
2020.62/2026.15 c GARBAGE COLLECT
2020.62/2026.15 c #Conflicts: 532000 | #Constraints: 19283
2020.62/2026.15 c #Conflicts: 533000 | #Constraints: 20283
2020.62/2026.15 c #Conflicts: 534000 | #Constraints: 21283
2020.62/2026.15 c #Conflicts: 535000 | #Constraints: 22283
2020.62/2026.15 c #Conflicts: 536000 | #Constraints: 23283
2020.62/2026.15 c #Conflicts: 537000 | #Constraints: 24283
2020.62/2026.15 c #Conflicts: 538000 | #Constraints: 25283
2020.62/2026.15 c #Conflicts: 539000 | #Constraints: 26283
2020.62/2026.15 c #Conflicts: 540000 | #Constraints: 27283
2020.62/2026.15 c #Conflicts: 541000 | #Constraints: 28283
2020.62/2026.15 c #Conflicts: 542000 | #Constraints: 29283
2020.62/2026.15 c #Conflicts: 543000 | #Constraints: 30283
2020.62/2026.15 c #Conflicts: 544000 | #Constraints: 31283
2020.62/2026.15 c #Conflicts: 545000 | #Constraints: 32283
2020.62/2026.15 c #Conflicts: 546000 | #Constraints: 33283
2020.62/2026.15 c INPROCESSING
2020.62/2026.15 c GARBAGE COLLECT
2020.62/2026.15 c #Conflicts: 547000 | #Constraints: 19680
2020.62/2026.15 c #Conflicts: 548000 | #Constraints: 20680
2020.62/2026.15 c #Conflicts: 549000 | #Constraints: 21680
2020.62/2026.15 c #Conflicts: 550000 | #Constraints: 22680
2020.62/2026.15 c #Conflicts: 551000 | #Constraints: 23680
2020.62/2026.15 c #Conflicts: 552000 | #Constraints: 24680
2020.62/2026.15 c #Conflicts: 553000 | #Constraints: 25680
2020.62/2026.15 c #Conflicts: 554000 | #Constraints: 26680
2020.62/2026.15 c #Conflicts: 555000 | #Constraints: 27680
2020.62/2026.15 c #Conflicts: 556000 | #Constraints: 28680
2020.62/2026.15 c #Conflicts: 557000 | #Constraints: 29680
2020.62/2026.15 c #Conflicts: 558000 | #Constraints: 30680
2020.62/2026.15 c #Conflicts: 559000 | #Constraints: 31680
2020.62/2026.15 c #Conflicts: 560000 | #Constraints: 32680
2020.62/2026.15 c #Conflicts: 561000 | #Constraints: 33680
2020.62/2026.15 c INPROCESSING
2020.62/2026.15 c GARBAGE COLLECT
2020.62/2026.15 c #Conflicts: 562000 | #Constraints: 19881
2020.62/2026.15 c #Conflicts: 563000 | #Constraints: 20881
2020.62/2026.15 c #Conflicts: 564000 | #Constraints: 21881
2020.62/2026.15 c #Conflicts: 565000 | #Constraints: 22881
2020.62/2026.15 c #Conflicts: 566000 | #Constraints: 23881
2020.62/2026.15 c #Conflicts: 567000 | #Constraints: 24881
2020.62/2026.15 c #Conflicts: 568000 | #Constraints: 25881
2020.62/2026.15 c #Conflicts: 569000 | #Constraints: 26881
2020.62/2026.15 c #Conflicts: 570000 | #Constraints: 27881
2020.62/2026.15 c #Conflicts: 571000 | #Constraints: 28881
2020.62/2026.15 c #Conflicts: 572000 | #Constraints: 29881
2020.62/2026.15 c #Conflicts: 573000 | #Constraints: 30881
2020.62/2026.15 c #Conflicts: 574000 | #Constraints: 31881
2020.62/2026.15 c #Conflicts: 575000 | #Constraints: 32881
2020.62/2026.15 c #Conflicts: 576000 | #Constraints: 33881
2020.62/2026.15 c INPROCESSING
2020.62/2026.15 c GARBAGE COLLECT
2020.62/2026.15 c #Conflicts: 577000 | #Constraints: 19874
2020.62/2026.15 c #Conflicts: 578000 | #Constraints: 20874
2020.62/2026.15 c #Conflicts: 579000 | #Constraints: 21874
2020.62/2026.15 c #Conflicts: 580000 | #Constraints: 22874
2020.62/2026.15 c #Conflicts: 581000 | #Constraints: 23874
2020.62/2026.15 c #Conflicts: 582000 | #Constraints: 24874
2020.62/2026.15 c #Conflicts: 583000 | #Constraints: 25874
2020.62/2026.15 c #Conflicts: 584000 | #Constraints: 26874
2020.62/2026.15 c #Conflicts: 585000 | #Constraints: 27874
2020.62/2026.15 c #Conflicts: 586000 | #Constraints: 28874
2020.62/2026.15 c #Conflicts: 587000 | #Constraints: 29874
2020.62/2026.15 c #Conflicts: 588000 | #Constraints: 30874
2020.62/2026.15 c #Conflicts: 589000 | #Constraints: 31874
2020.62/2026.15 c #Conflicts: 590000 | #Constraints: 32874
2020.62/2026.15 c #Conflicts: 591000 | #Constraints: 33874
2020.62/2026.15 c INPROCESSING
2020.62/2026.15 c GARBAGE COLLECT
2020.62/2026.15 c #Conflicts: 592000 | #Constraints: 19675
2020.62/2026.15 c #Conflicts: 593000 | #Constraints: 20675
2386.42/2392.97 c #Conflicts: 594000 | #Constraints: 21675
2386.42/2392.97 c #Conflicts: 595000 | #Constraints: 22675
2386.42/2392.97 c #Conflicts: 596000 | #Constraints: 23675
2386.42/2392.97 c #Conflicts: 597000 | #Constraints: 24675
2386.42/2392.97 c #Conflicts: 598000 | #Constraints: 25675
2386.42/2392.97 c #Conflicts: 599000 | #Constraints: 26675
2386.42/2392.97 c #Conflicts: 600000 | #Constraints: 27675
2386.42/2392.97 c #Conflicts: 601000 | #Constraints: 28675
2386.42/2392.97 c #Conflicts: 602000 | #Constraints: 29675
2386.42/2392.97 c #Conflicts: 603000 | #Constraints: 30675
2386.42/2392.97 c #Conflicts: 604000 | #Constraints: 31675
2386.42/2392.97 c #Conflicts: 605000 | #Constraints: 32675
2386.42/2392.97 c #Conflicts: 606000 | #Constraints: 33675
2386.42/2392.97 c #Conflicts: 607000 | #Constraints: 34675
2386.42/2392.97 c INPROCESSING
2386.42/2392.97 c GARBAGE COLLECT
2386.42/2392.97 c #Conflicts: 608000 | #Constraints: 20268
2386.42/2392.97 c #Conflicts: 609000 | #Constraints: 21268
2386.42/2392.97 c #Conflicts: 610000 | #Constraints: 22268
2386.42/2392.97 c #Conflicts: 611000 | #Constraints: 23268
2386.42/2392.97 c #Conflicts: 612000 | #Constraints: 24268
2386.42/2392.97 c #Conflicts: 613000 | #Constraints: 25268
2386.42/2392.97 c #Conflicts: 614000 | #Constraints: 26268
2386.42/2392.97 c #Conflicts: 615000 | #Constraints: 27268
2386.42/2392.97 c #Conflicts: 616000 | #Constraints: 28268
2386.42/2392.97 c #Conflicts: 617000 | #Constraints: 29268
2386.42/2392.97 c #Conflicts: 618000 | #Constraints: 30268
2386.42/2392.97 c #Conflicts: 619000 | #Constraints: 31268
2386.42/2392.97 c #Conflicts: 620000 | #Constraints: 32268
2386.42/2392.97 c #Conflicts: 621000 | #Constraints: 33268
2386.42/2392.97 c #Conflicts: 622000 | #Constraints: 34268
2386.42/2392.97 c #Conflicts: 623000 | #Constraints: 35268
2386.42/2392.97 c INPROCESSING
2386.42/2392.97 c GARBAGE COLLECT
2386.42/2392.97 c #Conflicts: 624000 | #Constraints: 20676
2386.42/2392.97 c #Conflicts: 625000 | #Constraints: 21676
2386.42/2392.97 c #Conflicts: 626000 | #Constraints: 22676
2386.42/2392.97 c #Conflicts: 627000 | #Constraints: 23676
2386.42/2392.97 c #Conflicts: 628000 | #Constraints: 24676
2386.42/2392.97 c #Conflicts: 629000 | #Constraints: 25676
2386.42/2392.97 c #Conflicts: 630000 | #Constraints: 26676
2386.42/2392.97 c #Conflicts: 631000 | #Constraints: 27676
2386.42/2392.97 c #Conflicts: 632000 | #Constraints: 28676
2386.42/2392.97 c #Conflicts: 633000 | #Constraints: 29676
2386.42/2392.97 c #Conflicts: 634000 | #Constraints: 30676
2386.42/2392.97 c #Conflicts: 635000 | #Constraints: 31676
2386.42/2392.97 c #Conflicts: 636000 | #Constraints: 32676
2386.42/2392.97 c #Conflicts: 637000 | #Constraints: 33676
2386.42/2392.97 c #Conflicts: 638000 | #Constraints: 34676
2386.42/2392.97 c #Conflicts: 639000 | #Constraints: 35676
2386.42/2392.97 c INPROCESSING
2386.42/2392.97 c GARBAGE COLLECT
2386.42/2392.97 c #Conflicts: 640000 | #Constraints: 20872
2386.42/2392.97 c #Conflicts: 641000 | #Constraints: 21872
2386.42/2392.97 c #Conflicts: 642000 | #Constraints: 22872
2386.42/2392.97 c #Conflicts: 643000 | #Constraints: 23872
2386.42/2392.97 c #Conflicts: 644000 | #Constraints: 24872
2386.42/2392.97 c #Conflicts: 645000 | #Constraints: 25872
2386.42/2392.97 c #Conflicts: 646000 | #Constraints: 26872
2386.42/2392.97 c #Conflicts: 647000 | #Constraints: 27872
2386.42/2392.97 c #Conflicts: 648000 | #Constraints: 28872
2386.42/2392.97 c #Conflicts: 649000 | #Constraints: 29872
2386.42/2392.97 c #Conflicts: 650000 | #Constraints: 30872
2386.42/2392.97 c #Conflicts: 651000 | #Constraints: 31872
2386.42/2392.97 c #Conflicts: 652000 | #Constraints: 32872
2386.42/2392.97 c #Conflicts: 653000 | #Constraints: 33872
2386.42/2392.97 c #Conflicts: 654000 | #Constraints: 34872
2386.42/2392.97 c #Conflicts: 655000 | #Constraints: 35872
2386.42/2392.97 c INPROCESSING
2386.42/2392.97 c GARBAGE COLLECT
2386.42/2392.97 c #Conflicts: 656000 | #Constraints: 20871
2386.42/2392.97 c #Conflicts: 657000 | #Constraints: 21871
2386.42/2392.97 c #Conflicts: 658000 | #Constraints: 22871
2386.42/2392.97 c #Conflicts: 659000 | #Constraints: 23871
2386.42/2392.97 c #Conflicts: 660000 | #Constraints: 24871
2386.42/2392.97 c #Conflicts: 661000 | #Constraints: 25871
2386.42/2392.97 c #Conflicts: 662000 | #Constraints: 26871
2386.42/2392.97 c #Conflicts: 663000 | #Constraints: 27871
2386.42/2392.97 c #Conflicts: 664000 | #Constraints: 28871
2386.42/2392.97 c #Conflicts: 665000 | #Constraints: 29871
2386.42/2392.97 c #Conflicts: 666000 | #Constraints: 30871
2386.42/2392.97 c #Conflicts: 667000 | #Constraints: 31871
2386.42/2392.97 c #Conflicts: 668000 | #Constraints: 32871
2386.42/2392.97 c #Conflicts: 669000 | #Constraints: 33871
2727.69/2735.14 c #Conflicts: 670000 | #Constraints: 34871
2727.69/2735.14 c #Conflicts: 671000 | #Constraints: 35871
2727.69/2735.14 c INPROCESSING
2727.69/2735.14 c GARBAGE COLLECT
2727.69/2735.14 c #Conflicts: 672000 | #Constraints: 20668
2727.69/2735.14 c #Conflicts: 673000 | #Constraints: 21668
2727.69/2735.14 c #Conflicts: 674000 | #Constraints: 22668
2727.69/2735.14 c #Conflicts: 675000 | #Constraints: 23668
2727.69/2735.14 c #Conflicts: 676000 | #Constraints: 24668
2727.69/2735.14 c #Conflicts: 677000 | #Constraints: 25668
2727.69/2735.14 c #Conflicts: 678000 | #Constraints: 26668
2727.69/2735.14 c #Conflicts: 679000 | #Constraints: 27668
2727.69/2735.14 c #Conflicts: 680000 | #Constraints: 28668
2727.69/2735.14 c #Conflicts: 681000 | #Constraints: 29668
2727.69/2735.14 c #Conflicts: 682000 | #Constraints: 30668
2727.69/2735.14 c #Conflicts: 683000 | #Constraints: 31668
2727.69/2735.14 c #Conflicts: 684000 | #Constraints: 32668
2727.69/2735.14 c #Conflicts: 685000 | #Constraints: 33668
2727.69/2735.14 c #Conflicts: 686000 | #Constraints: 34668
2727.69/2735.14 c #Conflicts: 687000 | #Constraints: 35668
2727.69/2735.14 c #Conflicts: 688000 | #Constraints: 36668
2727.69/2735.14 c INPROCESSING
2727.69/2735.14 c GARBAGE COLLECT
2727.69/2735.14 c #Conflicts: 689000 | #Constraints: 21266
2727.69/2735.14 c #Conflicts: 690000 | #Constraints: 22266
2727.69/2735.14 c #Conflicts: 691000 | #Constraints: 23266
2727.69/2735.14 c #Conflicts: 692000 | #Constraints: 24266
2727.69/2735.14 c #Conflicts: 693000 | #Constraints: 25266
2727.69/2735.14 c #Conflicts: 694000 | #Constraints: 26266
2727.69/2735.14 c #Conflicts: 695000 | #Constraints: 27266
2727.69/2735.14 c #Conflicts: 696000 | #Constraints: 28266
2727.69/2735.14 c #Conflicts: 697000 | #Constraints: 29266
2727.69/2735.14 c #Conflicts: 698000 | #Constraints: 30266
2727.69/2735.14 c #Conflicts: 699000 | #Constraints: 31266
2727.69/2735.14 c #Conflicts: 700000 | #Constraints: 32266
2727.69/2735.14 c #Conflicts: 701000 | #Constraints: 33266
2727.69/2735.14 c #Conflicts: 702000 | #Constraints: 34266
2727.69/2735.14 c #Conflicts: 703000 | #Constraints: 35266
2727.69/2735.14 c #Conflicts: 704000 | #Constraints: 36266
2727.69/2735.14 c #Conflicts: 705000 | #Constraints: 37266
2727.69/2735.14 c INPROCESSING
2727.69/2735.14 c GARBAGE COLLECT
2727.69/2735.14 c #Conflicts: 706000 | #Constraints: 21670
2727.69/2735.14 c #Conflicts: 707000 | #Constraints: 22670
2727.69/2735.14 c #Conflicts: 708000 | #Constraints: 23670
2727.69/2735.14 c #Conflicts: 709000 | #Constraints: 24670
2727.69/2735.14 c #Conflicts: 710000 | #Constraints: 25670
2727.69/2735.14 c #Conflicts: 711000 | #Constraints: 26670
2727.69/2735.14 c #Conflicts: 712000 | #Constraints: 27670
2727.69/2735.14 c #Conflicts: 713000 | #Constraints: 28670
2727.69/2735.14 c #Conflicts: 714000 | #Constraints: 29670
2727.69/2735.14 c #Conflicts: 715000 | #Constraints: 30670
2727.69/2735.14 c #Conflicts: 716000 | #Constraints: 31670
2727.69/2735.14 c #Conflicts: 717000 | #Constraints: 32670
2727.69/2735.14 c #Conflicts: 718000 | #Constraints: 33670
2727.69/2735.14 c #Conflicts: 719000 | #Constraints: 34670
2727.69/2735.14 c #Conflicts: 720000 | #Constraints: 35670
2727.69/2735.14 c #Conflicts: 721000 | #Constraints: 36670
2727.69/2735.14 c #Conflicts: 722000 | #Constraints: 37670
2727.69/2735.14 c INPROCESSING
2727.69/2735.14 c GARBAGE COLLECT
2727.69/2735.14 c #Conflicts: 723000 | #Constraints: 21868
2727.69/2735.14 c #Conflicts: 724000 | #Constraints: 22868
2727.69/2735.14 c #Conflicts: 725000 | #Constraints: 23868
2727.69/2735.14 c #Conflicts: 726000 | #Constraints: 24868
2727.69/2735.14 c #Conflicts: 727000 | #Constraints: 25868
2727.69/2735.14 c #Conflicts: 728000 | #Constraints: 26868
2727.69/2735.14 c #Conflicts: 729000 | #Constraints: 27868
2727.69/2735.14 c #Conflicts: 730000 | #Constraints: 28868
2727.69/2735.14 c #Conflicts: 731000 | #Constraints: 29868
2727.69/2735.14 c #Conflicts: 732000 | #Constraints: 30868
2727.69/2735.14 c #Conflicts: 733000 | #Constraints: 31868
2727.69/2735.14 c #Conflicts: 734000 | #Constraints: 32868
2727.69/2735.14 c #Conflicts: 735000 | #Constraints: 33868
2727.69/2735.14 c #Conflicts: 736000 | #Constraints: 34868
2727.69/2735.14 c #Conflicts: 737000 | #Constraints: 35868
2727.69/2735.14 c #Conflicts: 738000 | #Constraints: 36868
2727.69/2735.14 c #Conflicts: 739000 | #Constraints: 37868
2727.69/2735.14 c INPROCESSING
2727.69/2735.14 c GARBAGE COLLECT
2727.69/2735.14 c #Conflicts: 740000 | #Constraints: 21874
2727.69/2735.14 c #Conflicts: 741000 | #Constraints: 22874
2727.69/2735.14 c #Conflicts: 742000 | #Constraints: 23874
2727.69/2735.14 c #Conflicts: 743000 | #Constraints: 24874
2727.69/2735.14 c #Conflicts: 744000 | #Constraints: 25874
2727.69/2735.14 c #Conflicts: 745000 | #Constraints: 26874
3142.41/3150.96 c #Conflicts: 746000 | #Constraints: 27874
3142.41/3150.96 c #Conflicts: 747000 | #Constraints: 28874
3142.41/3150.96 c #Conflicts: 748000 | #Constraints: 29874
3142.41/3150.96 c #Conflicts: 749000 | #Constraints: 30874
3142.41/3150.96 c #Conflicts: 750000 | #Constraints: 31874
3142.41/3150.96 c #Conflicts: 751000 | #Constraints: 32874
3142.41/3150.96 c #Conflicts: 752000 | #Constraints: 33874
3142.41/3150.96 c #Conflicts: 753000 | #Constraints: 34874
3142.41/3150.96 c #Conflicts: 754000 | #Constraints: 35874
3142.41/3150.96 c #Conflicts: 755000 | #Constraints: 36874
3142.41/3150.96 c #Conflicts: 756000 | #Constraints: 37874
3142.41/3150.96 c INPROCESSING
3142.41/3150.96 c GARBAGE COLLECT
3142.41/3150.96 c #Conflicts: 757000 | #Constraints: 21674
3142.41/3150.96 c #Conflicts: 758000 | #Constraints: 22674
3142.41/3150.96 c #Conflicts: 759000 | #Constraints: 23674
3142.41/3150.96 c #Conflicts: 760000 | #Constraints: 24674
3142.41/3150.96 c #Conflicts: 761000 | #Constraints: 25674
3142.41/3150.96 c #Conflicts: 762000 | #Constraints: 26674
3142.41/3150.96 c #Conflicts: 763000 | #Constraints: 27674
3142.41/3150.96 c #Conflicts: 764000 | #Constraints: 28674
3142.41/3150.96 c #Conflicts: 765000 | #Constraints: 29674
3142.41/3150.96 c #Conflicts: 766000 | #Constraints: 30674
3142.41/3150.96 c #Conflicts: 767000 | #Constraints: 31674
3142.41/3150.96 c #Conflicts: 768000 | #Constraints: 32674
3142.41/3150.96 c #Conflicts: 769000 | #Constraints: 33674
3142.41/3150.96 c #Conflicts: 770000 | #Constraints: 34674
3142.41/3150.96 c #Conflicts: 771000 | #Constraints: 35674
3142.41/3150.96 c #Conflicts: 772000 | #Constraints: 36674
3142.41/3150.96 c #Conflicts: 773000 | #Constraints: 37674
3142.41/3150.96 c #Conflicts: 774000 | #Constraints: 38674
3142.41/3150.96 c INPROCESSING
3142.41/3150.96 c GARBAGE COLLECT
3142.41/3150.96 c #Conflicts: 775000 | #Constraints: 22273
3142.41/3150.96 c #Conflicts: 776000 | #Constraints: 23273
3142.41/3150.96 c #Conflicts: 777000 | #Constraints: 24273
3142.41/3150.96 c #Conflicts: 778000 | #Constraints: 25273
3142.41/3150.96 c #Conflicts: 779000 | #Constraints: 26273
3142.41/3150.96 c #Conflicts: 780000 | #Constraints: 27273
3142.41/3150.96 c #Conflicts: 781000 | #Constraints: 28273
3142.41/3150.96 c #Conflicts: 782000 | #Constraints: 29273
3142.41/3150.96 c #Conflicts: 783000 | #Constraints: 30273
3142.41/3150.96 c #Conflicts: 784000 | #Constraints: 31273
3142.41/3150.96 c #Conflicts: 785000 | #Constraints: 32273
3142.41/3150.96 c #Conflicts: 786000 | #Constraints: 33273
3142.41/3150.96 c #Conflicts: 787000 | #Constraints: 34273
3142.41/3150.96 c #Conflicts: 788000 | #Constraints: 35273
3142.41/3150.96 c #Conflicts: 789000 | #Constraints: 36273
3142.41/3150.96 c #Conflicts: 790000 | #Constraints: 37273
3142.41/3150.96 c #Conflicts: 791000 | #Constraints: 38273
3142.41/3150.96 c #Conflicts: 792000 | #Constraints: 39273
3142.41/3150.96 c INPROCESSING
3142.41/3150.96 c GARBAGE COLLECT
3142.41/3150.96 c #Conflicts: 793000 | #Constraints: 22676
3142.41/3150.96 c #Conflicts: 794000 | #Constraints: 23676
3142.41/3150.96 c #Conflicts: 795000 | #Constraints: 24676
3142.41/3150.96 c #Conflicts: 796000 | #Constraints: 25676
3142.41/3150.96 c #Conflicts: 797000 | #Constraints: 26676
3142.41/3150.96 c #Conflicts: 798000 | #Constraints: 27676
3142.41/3150.96 c #Conflicts: 799000 | #Constraints: 28676
3142.41/3150.96 c #Conflicts: 800000 | #Constraints: 29676
3142.41/3150.96 c #Conflicts: 801000 | #Constraints: 30676
3142.41/3150.96 c #Conflicts: 802000 | #Constraints: 31676
3142.41/3150.96 c #Conflicts: 803000 | #Constraints: 32676
3142.41/3150.96 c #Conflicts: 804000 | #Constraints: 33676
3142.41/3150.96 c #Conflicts: 805000 | #Constraints: 34676
3142.41/3150.96 c #Conflicts: 806000 | #Constraints: 35676
3142.41/3150.96 c #Conflicts: 807000 | #Constraints: 36676
3142.41/3150.96 c #Conflicts: 808000 | #Constraints: 37676
3142.41/3150.96 c #Conflicts: 809000 | #Constraints: 38676
3142.41/3150.96 c #Conflicts: 810000 | #Constraints: 39676
3142.41/3150.96 c INPROCESSING
3142.41/3150.96 c GARBAGE COLLECT
3142.41/3150.96 c #Conflicts: 811000 | #Constraints: 22879
3142.41/3150.96 c #Conflicts: 812000 | #Constraints: 23879
3142.41/3150.96 c #Conflicts: 813000 | #Constraints: 24879
3142.41/3150.96 c #Conflicts: 814000 | #Constraints: 25879
3142.41/3150.96 c #Conflicts: 815000 | #Constraints: 26879
3142.41/3150.96 c #Conflicts: 816000 | #Constraints: 27879
3142.41/3150.96 c #Conflicts: 817000 | #Constraints: 28879
3142.41/3150.96 c #Conflicts: 818000 | #Constraints: 29879
3142.41/3150.96 c #Conflicts: 819000 | #Constraints: 30879
3142.41/3150.96 c #Conflicts: 820000 | #Constraints: 31879
3142.41/3150.96 c #Conflicts: 821000 | #Constraints: 32879
3516.88/3526.46 c #Conflicts: 822000 | #Constraints: 33879
3516.88/3526.46 c #Conflicts: 823000 | #Constraints: 34879
3516.88/3526.46 c #Conflicts: 824000 | #Constraints: 35879
3516.88/3526.46 c #Conflicts: 825000 | #Constraints: 36879
3516.88/3526.46 c #Conflicts: 826000 | #Constraints: 37879
3516.88/3526.46 c #Conflicts: 827000 | #Constraints: 38879
3516.88/3526.46 c #Conflicts: 828000 | #Constraints: 39879
3516.88/3526.46 c INPROCESSING
3516.88/3526.46 c GARBAGE COLLECT
3516.88/3526.46 c #Conflicts: 829000 | #Constraints: 22879
3516.88/3526.46 c #Conflicts: 830000 | #Constraints: 23879
3516.88/3526.46 c #Conflicts: 831000 | #Constraints: 24879
3516.88/3526.46 c #Conflicts: 832000 | #Constraints: 25879
3516.88/3526.46 c #Conflicts: 833000 | #Constraints: 26879
3516.88/3526.46 c #Conflicts: 834000 | #Constraints: 27879
3516.88/3526.46 c #Conflicts: 835000 | #Constraints: 28879
3516.88/3526.46 c #Conflicts: 836000 | #Constraints: 29879
3516.88/3526.46 c #Conflicts: 837000 | #Constraints: 30879
3516.88/3526.46 c #Conflicts: 838000 | #Constraints: 31879
3516.88/3526.46 c #Conflicts: 839000 | #Constraints: 32879
3516.88/3526.46 c #Conflicts: 840000 | #Constraints: 33879
3516.88/3526.46 c #Conflicts: 841000 | #Constraints: 34879
3516.88/3526.46 c #Conflicts: 842000 | #Constraints: 35879
3516.88/3526.46 c #Conflicts: 843000 | #Constraints: 36879
3516.88/3526.46 c #Conflicts: 844000 | #Constraints: 37879
3516.88/3526.46 c #Conflicts: 845000 | #Constraints: 38879
3516.88/3526.46 c #Conflicts: 846000 | #Constraints: 39879
3516.88/3526.46 c INPROCESSING
3516.88/3526.46 c GARBAGE COLLECT
3516.88/3526.46 c #Conflicts: 847000 | #Constraints: 22676
3516.88/3526.46 c #Conflicts: 848000 | #Constraints: 23676
3516.88/3526.46 c #Conflicts: 849000 | #Constraints: 24676
3516.88/3526.46 c #Conflicts: 850000 | #Constraints: 25676
3516.88/3526.46 c #Conflicts: 851000 | #Constraints: 26676
3516.88/3526.46 c #Conflicts: 852000 | #Constraints: 27676
3516.88/3526.46 c #Conflicts: 853000 | #Constraints: 28676
3516.88/3526.46 c #Conflicts: 854000 | #Constraints: 29676
3516.88/3526.46 c #Conflicts: 855000 | #Constraints: 30676
3516.88/3526.46 c #Conflicts: 856000 | #Constraints: 31676
3516.88/3526.46 c #Conflicts: 857000 | #Constraints: 32676
3516.88/3526.46 c #Conflicts: 858000 | #Constraints: 33676
3516.88/3526.46 c #Conflicts: 859000 | #Constraints: 34676
3516.88/3526.46 c #Conflicts: 860000 | #Constraints: 35676
3516.88/3526.46 c #Conflicts: 861000 | #Constraints: 36676
3516.88/3526.46 c #Conflicts: 862000 | #Constraints: 37676
3516.88/3526.46 c #Conflicts: 863000 | #Constraints: 38676
3516.88/3526.46 c #Conflicts: 864000 | #Constraints: 39676
3516.88/3526.46 c #Conflicts: 865000 | #Constraints: 40676
3516.88/3526.46 c INPROCESSING
3516.88/3526.46 c GARBAGE COLLECT
3516.88/3526.46 c #Conflicts: 866000 | #Constraints: 23281
3516.88/3526.46 c #Conflicts: 867000 | #Constraints: 24281
3516.88/3526.46 c #Conflicts: 868000 | #Constraints: 25281
3516.88/3526.46 c #Conflicts: 869000 | #Constraints: 26281
3516.88/3526.46 c #Conflicts: 870000 | #Constraints: 27281
3516.88/3526.46 c #Conflicts: 871000 | #Constraints: 28281
3516.88/3526.46 c #Conflicts: 872000 | #Constraints: 29281
3516.88/3526.46 c #Conflicts: 873000 | #Constraints: 30281
3516.88/3526.46 c #Conflicts: 874000 | #Constraints: 31281
3516.88/3526.46 c #Conflicts: 875000 | #Constraints: 32281
3516.88/3526.46 c #Conflicts: 876000 | #Constraints: 33281
3516.88/3526.46 c #Conflicts: 877000 | #Constraints: 34281
3516.88/3526.46 c #Conflicts: 878000 | #Constraints: 35281
3516.88/3526.46 c #Conflicts: 879000 | #Constraints: 36281
3516.88/3526.46 c #Conflicts: 880000 | #Constraints: 37281
3516.88/3526.46 c #Conflicts: 881000 | #Constraints: 38281
3516.88/3526.46 c #Conflicts: 882000 | #Constraints: 39281
3516.88/3526.46 c #Conflicts: 883000 | #Constraints: 40281
3516.88/3526.46 c #Conflicts: 884000 | #Constraints: 41281
3516.88/3526.46 c INPROCESSING
3516.88/3526.46 c GARBAGE COLLECT
3516.88/3526.46 c #Conflicts: 885000 | #Constraints: 23677
3516.88/3526.46 c #Conflicts: 886000 | #Constraints: 24677
3516.88/3526.46 c #Conflicts: 887000 | #Constraints: 25677
3516.88/3526.46 c #Conflicts: 888000 | #Constraints: 26677
3516.88/3526.46 c #Conflicts: 889000 | #Constraints: 27677
3516.88/3526.46 c #Conflicts: 890000 | #Constraints: 28677
3516.88/3526.46 c #Conflicts: 891000 | #Constraints: 29677
3516.88/3526.46 c #Conflicts: 892000 | #Constraints: 30677
3516.88/3526.46 c #Conflicts: 893000 | #Constraints: 31677
3516.88/3526.46 c #Conflicts: 894000 | #Constraints: 32677
3516.88/3526.46 c #Conflicts: 895000 | #Constraints: 33677
3516.88/3526.46 c #Conflicts: 896000 | #Constraints: 34677
3516.88/3526.46 c #Conflicts: 897000 | #Constraints: 35677
3516.88/3526.46 c #Conflicts: 898000 | #Constraints: 36677
3600.09/3609.90 c #Conflicts: 899000 | #Constraints: 37677
3600.09/3609.90 c #Conflicts: 900000 | #Constraints: 38677
3600.09/3609.90 c #Conflicts: 901000 | #Constraints: 39677
3600.09/3609.90 c #Conflicts: 902000 | #Constraints: 40677
3600.09/3609.90 c #Conflicts: 903000 | #Constraints: 41677
3600.09/3609.90 c INPROCESSING
3600.09/3609.90 c GARBAGE COLLECT
3600.09/3609.90 c #Conflicts: 904000 | #Constraints: 23875
3600.09/3609.90 c #Conflicts: 905000 | #Constraints: 24875
3600.09/3609.90 c #Conflicts: 906000 | #Constraints: 25875
3600.09/3609.90 c #Conflicts: 907000 | #Constraints: 26875
3600.09/3609.90 c #Conflicts: 908000 | #Constraints: 27875
3600.09/3609.90 c #Conflicts: 909000 | #Constraints: 28875
3600.09/3609.90 c #Conflicts: 910000 | #Constraints: 29875
3600.09/3609.90 c #Conflicts: 911000 | #Constraints: 30875
3600.09/3609.90 c #Conflicts: 912000 | #Constraints: 31875
3600.09/3609.90 c #Conflicts: 913000 | #Constraints: 32875
3600.09/3609.90 c #Conflicts: 914000 | #Constraints: 33875
3600.09/3609.90 c #Conflicts: 915000 | #Constraints: 34875
3600.09/3609.90 c Program interrupted by user.
3600.09/3609.90 c cpu time 3591.59 s
3600.09/3609.90 c deterministic time 539518367340 5.40e+11
3600.09/3609.90 c optimization time 50.72 s
3600.09/3609.90 c total solve time 3241.52 s
3600.09/3609.90 c core-guided solve time 3241.52 s
3600.09/3609.90 c propagation time 2554.2 s
3600.09/3609.90 c conflict analysis time 546.46 s
3600.09/3609.90 c propagations 106681697
3600.09/3609.90 c resolve steps 7605045
3600.09/3609.90 c decisions 4376944
3600.09/3609.90 c conflicts 915776
3600.09/3609.90 c restarts 2008
3600.09/3609.90 c inprocessing phases 86
3600.09/3609.90 c input clauses 3992
3600.09/3609.90 c input cardinalities 137
3600.09/3609.90 c input general constraints 0
3600.09/3609.90 c input average constraint length 57.68
3600.09/3609.90 c input average constraint degree 26.17
3600.09/3609.90 c learned clauses 301807
3600.09/3609.90 c learned cardinalities 45451
3600.09/3609.90 c learned general constraints 568651
3600.09/3609.90 c learned average constraint length 885.79
3600.09/3609.90 c learned average constraint degree 45387.90
3600.09/3609.90 c watched constraints 306592
3600.09/3609.90 c counting constraints 262059
3600.09/3609.90 c gcd simplifications 26074
3600.09/3609.90 c detected cardinalities 200
3600.09/3609.90 c weakened non-implied lits 138246802
3600.09/3609.90 c weakened non-implying lits 46986
3600.09/3609.90 c original variables 1969
3600.09/3609.90 c clausal propagations 47873045
3600.09/3609.90 c cardinality propagations 4065060
3600.09/3609.90 c watched propagations 6984967
3600.09/3609.90 c counting propagations 42820076
3600.09/3609.90 c watch lookups 47836768245
3600.09/3609.90 c watch backjump lookups 44169949972
3600.09/3609.90 c watch checks 399284271237
3600.09/3609.90 c propagation checks 45684431388
3600.09/3609.90 c constraint additions 2319914888
3600.09/3609.90 c trail pops 111972968
3600.09/3609.90 c formula constraints 3305
3600.09/3609.90 c learned constraints 915909
3600.09/3609.90 c bound constraints 137
3600.09/3609.90 c core-guided constraints 687
3600.09/3609.90 c encountered formula constraints 5316063
3600.09/3609.90 c encountered learned constraints 2398360
3600.09/3609.90 c encountered bound constraints 2
3600.09/3609.90 c encountered core-guided constraints 806396
3600.09/3609.90 c LP total time 0 s
3600.09/3609.90 c LP solve time 0 s
3600.09/3609.90 c LP constraints added 0
3600.09/3609.90 c LP constraints removed 0
3600.09/3609.90 c LP pivots internal 0
3600.09/3609.90 c LP pivots root 0
3600.09/3609.90 c LP calls 0
3600.09/3609.90 c LP optimalities 0
3600.09/3609.90 c LP no pivot count 0
3600.09/3609.90 c LP infeasibilities 0
3600.09/3609.90 c LP valid Farkas constraints 0
3600.09/3609.90 c LP learned Farkas constraints 0
3600.09/3609.90 c LP basis resets 0
3600.09/3609.90 c LP cycling count 0
3600.09/3609.90 c LP singular count 0
3600.09/3609.90 c LP no primal count 0
3600.09/3609.90 c LP no farkas count 0
3600.09/3609.90 c LP other issue count 0
3600.09/3609.90 c LP Gomory cuts 0
3600.09/3609.90 c LP learned cuts 0
3600.09/3609.90 c LP deleted cuts 0
3600.09/3609.90 c LP encountered Gomory constraints 0
3600.09/3609.90 c LP encountered Farkas constraints 0
3600.09/3609.90 c LP encountered learned Farkas constraints 0
3600.09/3609.90 c CG auxiliary variables introduced 687
3600.09/3609.90 c CG solutions found 0
3600.09/3609.90 c CG cores constructed 136
3600.09/3609.90 c CG core cardinality constraints returned 0
3600.09/3609.90 c CG unit cores 0
3600.09/3609.90 c CG single cores 136
3600.09/3609.90 c CG blocks removed during cardinality reduction 0
3600.09/3609.90 c CG first core best 0
3600.09/3609.90 c CG decision core best 0
3600.09/3609.90 c CG core reduction tie 0
3600.09/3609.90 c CG core degree average 1.00
3600.09/3609.90 c CG core slack average 3.12
3600.09/3609.90 c CG exhausted 0
3600.09/3609.90 c CG exhaust time 0 s
3600.09/3609.90 c CG trimmed 5
3600.09/3609.90 c CG trim time 0.000672 s
3600.09/3609.90 c CG minimized 0
3600.09/3609.90 c CG minimize time 0 s
3600.09/3609.90 c CG am1 prop time 0.002125 s
3600.09/3609.90 c CG # am1s reformulated 687
3600.09/3609.90 c CG lower bound derived from am1s 691
3600.09/3609.90 c CG # clausal cores 136
3600.09/3609.90 c CG # cardinality cores 0
3600.09/3609.90 c CG # pb cores 0
3600.09/3609.90 c CG # pb reforms 0
3600.09/3609.90 c CG # cores discarded because of pb reform 0
3600.09/3609.90 d LOWERBOUND 827
3600.09/3609.90 d NCORES 136
3600.09/3609.90 d NPBCORES 0
3600.09/3609.90 d NPBREFORM 0
3600.09/3609.90 d NTRIMMED 5
3600.09/3609.90 d NEXHAUSTED 0
3600.09/3609.90 d NAM1S 687
3600.09/3609.90 d AM1LB 691
3600.09/3609.90 c [Papilo Statistics]
3600.09/3609.90 c prepro time 0.00568365s
3600.09/3609.90 c # tsx applied 149
3600.09/3609.90 c # tsx conflicts 3
3600.09/3609.90 c # bound changes 145
3600.09/3609.90 c # side changes 0
3600.09/3609.90 c # coef changes 0
3600.09/3609.90 c # rounds 3
3600.09/3609.90 c # deted vars 294
3600.09/3609.90 c # deted constrs 695
3600.09/3609.90 c # consecutive rounds of only bound changes 0
3600.09/3609.90 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: 63708 MiB (62488 MiB free)
memory of node 1: 64465 MiB (63903 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488623-1751326560/watcher-4488623-1751326560 -o /tmp/evaluation-result-4488623-1751326560/solver-4488623-1751326560 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45657 --watchdog 3760 mixed-bag HOME/instance-4488623-1751326560.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=47253, runsolver pid=47250
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.09 5.16 6.72 5/266 47254
/proc/meminfo: memFree=129404976/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=116108 memory=40496 CPUtime=0.08 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 6829 0 0 0 7 1 0 0 20 0 1 0 48333490 118894592 10124 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 29027 10124 4256 2842 0 10721 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 116108 KiB
Current children cumulated memory: 40496 KiB
[startup+0.205573 s]*
/proc/loadavg: 4.09 5.16 6.72 5/266 47254
/proc/meminfo: memFree=129402960/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=117976 memory=42544 CPUtime=0.19 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 7297 0 0 0 18 1 0 0 20 0 1 0 48333490 120807424 10636 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 29494 10636 4320 2842 0 11188 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 117976 KiB
Current children cumulated memory: 42544 KiB
[startup+0.305421 s]*
/proc/loadavg: 4.09 5.16 6.72 5/266 47254
/proc/meminfo: memFree=129398928/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=121320 memory=45488 CPUtime=0.29 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 8043 0 0 0 28 1 0 0 20 0 1 0 48333490 124231680 11372 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 30330 11372 4320 2842 0 12024 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 121320 KiB
Current children cumulated memory: 45488 KiB
[startup+0.700144 s]
/proc/loadavg: 4.09 5.16 6.72 5/266 47254
/proc/meminfo: memFree=129398928/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=123208 memory=47024 CPUtime=0.68 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 8425 0 0 0 67 1 0 0 20 0 1 0 48333490 126164992 11756 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 30802 11756 4320 2842 0 12496 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 123208 KiB
Current children cumulated memory: 47024 KiB
[startup+1.50011 s]
/proc/loadavg: 4.09 5.16 6.72 5/266 47254
/proc/meminfo: memFree=129399196/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=126236 memory=49712 CPUtime=1.47 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 9093 0 0 0 146 1 0 0 20 0 1 0 48333490 129265664 12428 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 31559 12428 4320 2842 0 13253 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 126236 KiB
Current children cumulated memory: 49712 KiB
[startup+3.1053 s]
/proc/loadavg: 4.08 5.14 6.71 5/266 47254
/proc/meminfo: memFree=129375068/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=158748 memory=81072 CPUtime=3.07 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 16939 0 0 0 305 2 0 0 20 0 1 0 48333490 162557952 20268 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 39687 20268 4320 2842 0 21381 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 158748 KiB
Current children cumulated memory: 81072 KiB
[startup+6.30014 s]
/proc/loadavg: 4.08 5.14 6.71 5/266 47254
/proc/meminfo: memFree=129334748/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=199956 memory=120880 CPUtime=6.26 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 26887 0 0 0 623 3 0 0 20 0 1 0 48333490 204754944 30220 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 49989 30220 4320 2842 0 31683 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 199956 KiB
Current children cumulated memory: 120880 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 5.10 6.68 5/266 47254
/proc/meminfo: memFree=129266724/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=232464 memory=151304 CPUtime=12.65 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 35820 0 0 0 1260 5 0 0 20 0 1 0 48333490 238043136 37826 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 58116 37826 4320 2842 0 39810 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 232464 KiB
Current children cumulated memory: 151304 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 5.08 6.66 5/266 47255
/proc/meminfo: memFree=129227564/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=233304 memory=151816 CPUtime=25.41 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 35965 0 0 0 2536 5 0 0 20 0 1 0 48333490 238903296 37954 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 58326 37954 4320 2842 0 40020 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 233304 KiB
Current children cumulated memory: 151816 KiB
[startup+51.1053 s]
/proc/loadavg: 4.09 4.99 6.58 5/265 47255
/proc/meminfo: memFree=129149148/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=291448 memory=206732 CPUtime=50.95 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 51285 0 0 0 5088 7 0 0 20 0 1 0 48333490 298442752 51683 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 72862 51683 4320 2842 0 54556 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 291448 KiB
Current children cumulated memory: 206732 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.84 6.44 5/267 47263
/proc/meminfo: memFree=129112732/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=297488 memory=209080 CPUtime=102.01 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 54967 0 0 0 10193 8 0 0 20 0 1 0 48333490 304627712 52270 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 74372 52270 4320 2842 0 56066 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 297488 KiB
Current children cumulated memory: 209080 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.70 6.29 5/266 47265
/proc/meminfo: memFree=128679460/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=321864 memory=232720 CPUtime=161.85 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 62427 0 0 0 16176 9 0 0 20 0 1 0 48333490 329588736 58180 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 80466 58180 4320 2842 0 62160 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 321864 KiB
Current children cumulated memory: 232720 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.58 6.15 5/266 47268
/proc/meminfo: memFree=128315740/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=355528 memory=260240 CPUtime=221.68 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 69526 0 0 0 22157 11 0 0 20 0 1 0 48333490 364060672 65060 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 88882 65060 4320 2842 0 70576 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 355528 KiB
Current children cumulated memory: 260240 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.51 6.02 5/266 47270
/proc/meminfo: memFree=128353480/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=360824 memory=261496 CPUtime=281.5 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 70249 0 0 0 28139 11 0 0 20 0 1 0 48333490 369483776 65374 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 90206 65374 4320 2842 0 71900 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 360824 KiB
Current children cumulated memory: 261496 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.41 5.89 5/267 47273
/proc/meminfo: memFree=128376328/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=239800 memory=144984 CPUtime=341.32 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 74679 0 0 0 34082 50 0 0 20 0 1 0 48333490 245555200 36246 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 59950 36246 4480 2842 0 41644 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 239800 KiB
Current children cumulated memory: 144984 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.37 5.78 5/265 47275
/proc/meminfo: memFree=128178624/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=270132 memory=184112 CPUtime=401.16 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 79328 0 0 0 40035 81 0 0 20 0 1 0 48333490 276615168 46028 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 67533 46028 4480 2842 0 49227 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 270132 KiB
Current children cumulated memory: 184112 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.31 5.67 5/265 47277
/proc/meminfo: memFree=127860768/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=337024 memory=215596 CPUtime=461.01 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 83691 0 0 0 45995 106 0 0 20 0 1 0 48333490 345112576 53899 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 84256 53899 4480 2842 0 65950 0
Current children cumulated CPU time: 461.01 s
################
# More data... #
################
Current children cumulated memory: 467012 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.20 5/264 47416
/proc/meminfo: memFree=125226460/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=690704 memory=468804 CPUtime=2914.4 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 116169 0 0 0 290704 736 0 0 20 0 1 0 48333490 707280896 117201 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 172676 117201 4480 2842 0 154370 0
Current children cumulated CPU time: 2914.4 s
Current children cumulated vsize: 690704 KiB
Current children cumulated memory: 468804 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.19 5/265 47419
/proc/meminfo: memFree=125183276/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=690704 memory=468932 CPUtime=2974.25 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 116185 0 0 0 296681 744 0 0 20 0 1 0 48333490 707280896 117233 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 172676 117233 4480 2842 0 154370 0
Current children cumulated CPU time: 2974.25 s
Current children cumulated vsize: 690704 KiB
Current children cumulated memory: 468932 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.18 5/265 47423
/proc/meminfo: memFree=125091584/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=691472 memory=472900 CPUtime=3034.09 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 116360 0 0 0 302652 757 0 0 20 0 1 0 48333490 708067328 118225 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 172868 118225 4480 2842 0 154562 0
Current children cumulated CPU time: 3034.09 s
Current children cumulated vsize: 691472 KiB
Current children cumulated memory: 472900 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.18 5/265 47431
/proc/meminfo: memFree=125070960/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=691656 memory=498372 CPUtime=3093.94 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 116401 0 0 0 308628 766 0 0 20 0 1 0 48333490 708255744 124593 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 172914 124593 4480 2842 0 154608 0
Current children cumulated CPU time: 3093.94 s
Current children cumulated vsize: 691656 KiB
Current children cumulated memory: 498372 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.18 5/265 47433
/proc/meminfo: memFree=125079272/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=691984 memory=500036 CPUtime=3153.78 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 116523 0 0 0 314597 781 0 0 20 0 1 0 48333490 708591616 125009 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 172996 125009 4480 2842 0 154690 0
Current children cumulated CPU time: 3153.78 s
Current children cumulated vsize: 691984 KiB
Current children cumulated memory: 500036 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.17 5/265 47435
/proc/meminfo: memFree=125082892/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=692496 memory=500548 CPUtime=3213.62 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 116647 0 0 0 320572 790 0 0 20 0 1 0 48333490 709115904 125137 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 173124 125137 4480 2842 0 154818 0
Current children cumulated CPU time: 3213.62 s
Current children cumulated vsize: 692496 KiB
Current children cumulated memory: 500548 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.16 5/265 47437
/proc/meminfo: memFree=125084048/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=692496 memory=500548 CPUtime=3273.46 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 116647 0 0 0 326546 800 0 0 20 0 1 0 48333490 709115904 125137 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 173124 125137 4480 2842 0 154818 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 692496 KiB
Current children cumulated memory: 500548 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.16 5/265 47439
/proc/meminfo: memFree=125071672/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=693192 memory=500804 CPUtime=3333.32 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 116733 0 0 0 332520 812 0 0 20 0 1 0 48333490 709828608 125201 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 173298 125201 4480 2842 0 154992 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 693192 KiB
Current children cumulated memory: 500804 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.09 4.15 5/264 47441
/proc/meminfo: memFree=125083728/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=693520 memory=501188 CPUtime=3393.16 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 116815 0 0 0 338495 821 0 0 20 0 1 0 48333490 710164480 125297 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 173380 125297 4480 2842 0 155074 0
Current children cumulated CPU time: 3393.16 s
Current children cumulated vsize: 693520 KiB
Current children cumulated memory: 501188 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.15 5/264 47488
/proc/meminfo: memFree=128364884/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=694032 memory=501572 CPUtime=3453 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 116913 0 0 0 344471 829 0 0 20 0 1 0 48333490 710688768 125393 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 173508 125393 4480 2842 0 155202 0
Current children cumulated CPU time: 3453 s
Current children cumulated vsize: 694032 KiB
Current children cumulated memory: 501572 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.15 5/264 47534
/proc/meminfo: memFree=128516536/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=694032 memory=501572 CPUtime=3512.8 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 117040 0 0 0 350443 837 0 0 20 0 1 0 48333490 710688768 125393 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 173508 125393 4480 2842 0 155202 0
Current children cumulated CPU time: 3512.8 s
Current children cumulated vsize: 694032 KiB
Current children cumulated memory: 501572 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.14 5/264 47535
/proc/meminfo: memFree=128486000/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=694032 memory=501572 CPUtime=3572.59 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 117040 0 0 0 356412 847 0 0 20 0 1 0 48333490 710688768 125393 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 173508 125393 4480 2842 0 155202 0
Current children cumulated CPU time: 3572.59 s
Current children cumulated vsize: 694032 KiB
Current children cumulated memory: 501572 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.05 4.08 4.14 5/265 47583
/proc/meminfo: memFree=128930372/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=694032 memory=501572 CPUtime=3600.09 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 117040 0 0 0 359158 851 0 0 20 0 1 0 48333490 710688768 125393 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 173508 125393 4480 2842 0 155202 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 694032 KiB
Current children cumulated memory: 501572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 47253 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.59 s, system=8.52141 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.05 4.08 4.14 5/265 47583
/proc/meminfo: memFree=128930372/131249996 swapFree=33010416/33010684
[pid=47253] ppid=47250 vsize=694032 memory=501572 CPUtime=3600.09 cores=1,3
/proc/47253/stat : 47253 (mixed-bag) R 47250 47253 45645 0 -1 4194304 117040 0 0 0 359158 851 0 0 20 0 1 0 48333490 710688768 125393 18446744073709551615 4235264 15874749 140729918016800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 52535296 140729918019996 140729918020073 140729918020073 140729918025675 0
/proc/47253/statm: 173508 125393 4480 2842 0 155202 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 694032 KiB
Current children cumulated memory: 501572 KiB
Child status: 0
Real time (s): 3609.9
CPU time (s): 3600.11
CPU user time (s): 3591.59
CPU system time (s): 8.52141
CPU usage (%): 99.7287
Max. virtual memory (cumulated for all children) (KiB): 694032
Max. memory (cumulated for all children) (KiB): 501572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.59
system time used= 8.52141
maximum resident set size= 502084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117070
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= 250
involuntary context switches= 6026
# summary of solver processes directly reported to runsolver:
# pid: 47253
# total CPU time (s): 3600.11
# total CPU user time (s): 3591.59
# total CPU system time (s): 8.52141
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75165 second user time and 15.6777 second system time
The end
Begin job on nodeC015 at 2025-07-01 01:36:00
IDJOB=4488623
IDBENCH=147525
IDSOLVER=3340
FILE ID=nodeC015/4488623-1751326560
RUNJOBID= nodeC015-1751326375-45657
SLURM_JOB_ID= 9594361
Free space on /tmp= 432972 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488623-1751326560/watcher-4488623-1751326560 -o /tmp/evaluation-result-4488623-1751326560/solver-4488623-1751326560 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45657 --watchdog 3760 mixed-bag HOME/instance-4488623-1751326560.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 865c9eee5cef9cdfeb385b5316eb6b14
RANDOM SEED=278179446
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.081
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.428
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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.171
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3589.202
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.078
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.055
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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.921
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3599.882
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129425028 kB
MemAvailable: 129147572 kB
Buffers: 2128 kB
Cached: 511352 kB
SwapCached: 24 kB
Active: 919404 kB
Inactive: 206948 kB
Active(anon): 610840 kB
Inactive(anon): 20084 kB
Active(file): 308564 kB
Inactive(file): 186864 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15708 kB
Writeback: 0 kB
AnonPages: 615952 kB
Mapped: 136876 kB
Shmem: 18052 kB
KReclaimable: 132708 kB
Slab: 221812 kB
SReclaimable: 132708 kB
SUnreclaim: 89104 kB
KernelStack: 4288 kB
PageTables: 4520 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1031364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 225280 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432956 MiB
End job on nodeC015 at 2025-07-01 02:36:10