0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.00/0.04 c [STEP] preprocessing with Papilo
0.00/0.06 c [STEP] solving with SCIP
299.22/300.29 c [STEP] preprocessing done, loading into solver
299.32/300.30 c [STEP] solving
299.32/300.30 c #variables 1638 #constraints 3207
299.32/300.30 c SMALL=int, LARGE=long long
299.32/300.30 d SCIPUB 885
299.32/300.30 c bounds - >= 0 @ 299.179
299.32/300.30 c stratification level: 0
299.32/300.35 c bounds - >= 658 @ 299.185
299.32/300.35 c bounds - >= 659 @ 299.186
299.32/300.35 c bounds - >= 660 @ 299.187
299.32/300.35 c bounds - >= 661 @ 299.187
299.32/300.35 c bounds - >= 662 @ 299.187
299.32/300.35 c bounds - >= 663 @ 299.187
299.32/300.35 c bounds - >= 664 @ 299.188
299.32/300.35 c bounds - >= 665 @ 299.188
299.32/300.35 c bounds - >= 666 @ 299.188
299.32/300.35 c bounds - >= 667 @ 299.188
299.32/300.35 c bounds - >= 668 @ 299.188
299.32/300.35 c bounds - >= 669 @ 299.189
299.32/300.35 c bounds - >= 670 @ 299.189
299.32/300.35 c bounds - >= 671 @ 299.189
299.32/300.35 c bounds - >= 672 @ 299.189
299.32/300.35 c bounds - >= 673 @ 299.189
299.32/300.35 c bounds - >= 674 @ 299.189
299.32/300.35 c bounds - >= 675 @ 299.189
299.32/300.35 c bounds - >= 676 @ 299.189
299.32/300.35 c bounds - >= 677 @ 299.189
299.32/300.35 c bounds - >= 678 @ 299.19
299.32/300.35 c bounds - >= 679 @ 299.19
299.32/300.35 c bounds - >= 680 @ 299.19
299.32/300.35 c bounds - >= 681 @ 299.19
299.32/300.35 c bounds - >= 682 @ 299.191
299.32/300.35 c bounds - >= 683 @ 299.191
299.32/300.35 c bounds - >= 684 @ 299.191
299.32/300.35 c bounds - >= 685 @ 299.191
299.32/300.35 c bounds - >= 686 @ 299.191
299.32/300.35 c bounds - >= 687 @ 299.191
299.32/300.35 c bounds - >= 688 @ 299.191
299.32/300.35 c bounds - >= 689 @ 299.191
299.32/300.35 c bounds - >= 690 @ 299.191
299.32/300.35 c bounds - >= 691 @ 299.191
299.32/300.35 c bounds - >= 692 @ 299.191
299.32/300.35 c bounds - >= 693 @ 299.191
299.32/300.35 c bounds - >= 694 @ 299.191
299.32/300.35 c bounds - >= 695 @ 299.192
299.32/300.35 c bounds - >= 696 @ 299.192
299.32/300.35 c bounds - >= 697 @ 299.192
299.32/300.35 c bounds - >= 698 @ 299.192
299.32/300.35 c bounds - >= 699 @ 299.193
299.32/300.35 c bounds - >= 700 @ 299.193
299.32/300.35 c bounds - >= 701 @ 299.193
299.32/300.35 c bounds - >= 702 @ 299.193
299.32/300.35 c bounds - >= 703 @ 299.194
299.32/300.35 c bounds - >= 704 @ 299.194
299.32/300.35 c bounds - >= 705 @ 299.194
299.32/300.35 c bounds - >= 706 @ 299.194
299.32/300.35 c bounds - >= 707 @ 299.195
299.32/300.35 c bounds - >= 708 @ 299.195
299.32/300.35 c bounds - >= 709 @ 299.195
299.32/300.35 c bounds - >= 710 @ 299.195
299.32/300.35 c bounds - >= 711 @ 299.196
299.32/300.35 c bounds - >= 712 @ 299.196
299.32/300.35 c bounds - >= 713 @ 299.196
299.32/300.35 c bounds - >= 714 @ 299.196
299.32/300.35 c bounds - >= 715 @ 299.197
299.32/300.35 c bounds - >= 716 @ 299.197
299.32/300.35 c bounds - >= 717 @ 299.197
299.32/300.35 c bounds - >= 718 @ 299.197
299.32/300.35 c bounds - >= 719 @ 299.198
299.32/300.35 c bounds - >= 720 @ 299.198
299.32/300.35 c bounds - >= 721 @ 299.198
299.32/300.35 c bounds - >= 722 @ 299.198
299.32/300.35 c bounds - >= 723 @ 299.198
299.32/300.35 c bounds - >= 724 @ 299.198
299.32/300.35 c bounds - >= 725 @ 299.198
299.32/300.35 c bounds - >= 726 @ 299.199
299.32/300.35 c bounds - >= 727 @ 299.199
299.32/300.35 c bounds - >= 728 @ 299.199
299.32/300.35 c bounds - >= 729 @ 299.199
299.32/300.35 c bounds - >= 730 @ 299.2
299.32/300.35 c bounds - >= 731 @ 299.2
299.32/300.35 c bounds - >= 732 @ 299.2
299.32/300.35 c bounds - >= 733 @ 299.2
299.32/300.35 c bounds - >= 734 @ 299.201
299.32/300.35 c bounds - >= 735 @ 299.201
299.32/300.35 c bounds - >= 736 @ 299.201
299.32/300.35 c bounds - >= 737 @ 299.201
299.32/300.35 c bounds - >= 738 @ 299.201
299.32/300.35 c bounds - >= 739 @ 299.201
299.32/300.35 c bounds - >= 740 @ 299.201
299.32/300.35 c bounds - >= 741 @ 299.202
299.32/300.35 c bounds - >= 742 @ 299.202
299.32/300.35 c bounds - >= 743 @ 299.202
299.32/300.35 c bounds - >= 744 @ 299.202
299.32/300.35 c bounds - >= 745 @ 299.202
299.32/300.35 c bounds - >= 746 @ 299.202
299.32/300.35 c bounds - >= 747 @ 299.202
299.32/300.35 c bounds - >= 748 @ 299.203
299.32/300.35 c bounds - >= 749 @ 299.203
299.32/300.35 c bounds - >= 750 @ 299.203
299.32/300.35 c bounds - >= 751 @ 299.203
299.32/300.35 c bounds - >= 752 @ 299.204
299.32/300.35 c bounds - >= 753 @ 299.204
299.32/300.35 c bounds - >= 754 @ 299.204
299.32/300.35 c bounds - >= 755 @ 299.204
299.32/300.35 c bounds - >= 756 @ 299.204
299.32/300.35 c bounds - >= 757 @ 299.204
299.32/300.35 c bounds - >= 758 @ 299.204
299.32/300.35 c bounds - >= 759 @ 299.204
299.32/300.35 c bounds - >= 760 @ 299.204
299.32/300.35 c bounds - >= 761 @ 299.204
299.32/300.35 c bounds - >= 762 @ 299.205
299.32/300.35 c bounds - >= 763 @ 299.205
299.32/300.35 c bounds - >= 764 @ 299.205
299.32/300.35 c bounds - >= 765 @ 299.206
299.32/300.35 c bounds - >= 766 @ 299.206
299.32/300.35 c bounds - >= 767 @ 299.206
299.32/300.35 c bounds - >= 768 @ 299.207
299.32/300.35 c bounds - >= 769 @ 299.207
299.32/300.35 c bounds - >= 770 @ 299.207
299.32/300.35 c bounds - >= 771 @ 299.207
299.32/300.35 c bounds - >= 772 @ 299.207
299.32/300.35 c bounds - >= 773 @ 299.207
299.32/300.35 c bounds - >= 774 @ 299.207
299.32/300.35 c bounds - >= 775 @ 299.207
299.32/300.35 c bounds - >= 776 @ 299.207
299.32/300.35 c bounds - >= 777 @ 299.207
299.32/300.35 c bounds - >= 778 @ 299.207
299.32/300.35 c bounds - >= 779 @ 299.207
299.32/300.35 c bounds - >= 780 @ 299.207
299.32/300.35 c bounds - >= 781 @ 299.207
299.32/300.35 c bounds - >= 782 @ 299.207
299.32/300.35 c bounds - >= 783 @ 299.208
299.32/300.35 c bounds - >= 784 @ 299.208
299.32/300.35 c bounds - >= 785 @ 299.208
299.32/300.35 c bounds - >= 786 @ 299.209
299.32/300.35 c bounds - >= 787 @ 299.209
299.32/300.35 c bounds - >= 788 @ 299.209
299.32/300.35 c bounds - >= 789 @ 299.21
299.32/300.35 c bounds - >= 790 @ 299.21
299.32/300.35 c bounds - >= 791 @ 299.21
299.32/300.35 c bounds - >= 792 @ 299.21
299.32/300.35 c bounds - >= 793 @ 299.21
299.32/300.35 c bounds - >= 794 @ 299.21
299.32/300.35 c bounds - >= 795 @ 299.21
299.32/300.35 c bounds - >= 796 @ 299.21
299.32/300.35 c bounds - >= 797 @ 299.211
299.32/300.35 c bounds - >= 798 @ 299.211
299.32/300.35 c bounds - >= 799 @ 299.211
299.32/300.35 c bounds - >= 800 @ 299.212
299.32/300.35 c bounds - >= 801 @ 299.212
299.32/300.35 c bounds - >= 802 @ 299.212
299.32/300.35 c bounds - >= 803 @ 299.212
299.32/300.35 c bounds - >= 804 @ 299.212
355.42/356.60 c bounds - >= 805 @ 299.212
355.42/356.60 c bounds - >= 806 @ 299.212
355.42/356.60 c #Conflicts: 1000 | #Constraints: 5157
355.42/356.60 c #Conflicts: 2000 | #Constraints: 6157
355.42/356.60 c INPROCESSING
355.42/356.60 c GARBAGE COLLECT
355.42/356.60 c #Conflicts: 3000 | #Constraints: 6000
355.42/356.60 c #Conflicts: 4000 | #Constraints: 7000
355.42/356.60 c INPROCESSING
355.42/356.60 c GARBAGE COLLECT
355.42/356.60 c #Conflicts: 5000 | #Constraints: 6393
355.42/356.60 c #Conflicts: 6000 | #Constraints: 7393
355.42/356.60 c INPROCESSING
355.42/356.60 c GARBAGE COLLECT
355.42/356.60 c #Conflicts: 7000 | #Constraints: 6390
355.42/356.60 c #Conflicts: 8000 | #Constraints: 7390
355.42/356.60 c #Conflicts: 9000 | #Constraints: 8390
355.42/356.60 c INPROCESSING
355.42/356.60 c GARBAGE COLLECT
355.42/356.60 c #Conflicts: 10000 | #Constraints: 7082
355.42/356.60 c #Conflicts: 11000 | #Constraints: 8082
355.42/356.60 c #Conflicts: 12000 | #Constraints: 9082
355.42/356.60 c INPROCESSING
355.42/356.60 c GARBAGE COLLECT
355.42/356.60 c #Conflicts: 13000 | #Constraints: 7528
355.42/356.60 c #Conflicts: 14000 | #Constraints: 8528
355.42/356.60 c #Conflicts: 15000 | #Constraints: 9528
355.42/356.60 c INPROCESSING
355.42/356.60 c GARBAGE COLLECT
355.42/356.60 c #Conflicts: 16000 | #Constraints: 7740
355.42/356.60 c #Conflicts: 17000 | #Constraints: 8740
355.42/356.60 c #Conflicts: 18000 | #Constraints: 9740
355.42/356.60 c INPROCESSING
355.42/356.60 c GARBAGE COLLECT
355.42/356.60 c #Conflicts: 19000 | #Constraints: 7765
355.42/356.60 c #Conflicts: 20000 | #Constraints: 8765
355.42/356.60 c #Conflicts: 21000 | #Constraints: 9765
355.42/356.60 c INPROCESSING
355.42/356.60 c GARBAGE COLLECT
355.42/356.60 c #Conflicts: 22000 | #Constraints: 7570
355.42/356.60 c #Conflicts: 23000 | #Constraints: 8570
355.42/356.60 c #Conflicts: 24000 | #Constraints: 9570
355.42/356.60 c #Conflicts: 25000 | #Constraints: 10570
355.42/356.60 c INPROCESSING
355.42/356.60 c GARBAGE COLLECT
355.42/356.60 c #Conflicts: 26000 | #Constraints: 8167
355.42/356.60 c #Conflicts: 27000 | #Constraints: 9167
355.42/356.60 c #Conflicts: 28000 | #Constraints: 10167
355.42/356.60 c #Conflicts: 29000 | #Constraints: 11167
355.42/356.60 c INPROCESSING
355.42/356.60 c GARBAGE COLLECT
355.42/356.60 c #Conflicts: 30000 | #Constraints: 8569
355.42/356.60 c #Conflicts: 31000 | #Constraints: 9569
355.42/356.60 c #Conflicts: 32000 | #Constraints: 10569
355.42/356.60 c #Conflicts: 33000 | #Constraints: 11569
355.42/356.60 c INPROCESSING
355.42/356.60 c GARBAGE COLLECT
355.42/356.60 c #Conflicts: 34000 | #Constraints: 8770
355.42/356.60 c #Conflicts: 35000 | #Constraints: 9770
355.42/356.60 c #Conflicts: 36000 | #Constraints: 10770
355.42/356.60 c #Conflicts: 37000 | #Constraints: 11770
355.42/356.60 c INPROCESSING
355.42/356.60 c GARBAGE COLLECT
355.42/356.60 c #Conflicts: 38000 | #Constraints: 8769
355.42/356.60 c #Conflicts: 39000 | #Constraints: 9769
355.42/356.60 c #Conflicts: 40000 | #Constraints: 10769
355.42/356.60 c #Conflicts: 41000 | #Constraints: 11769
355.42/356.60 c INPROCESSING
355.42/356.60 c GARBAGE COLLECT
355.42/356.60 c #Conflicts: 42000 | #Constraints: 8579
355.42/356.60 c #Conflicts: 43000 | #Constraints: 9579
355.42/356.60 c #Conflicts: 44000 | #Constraints: 10579
355.42/356.60 c #Conflicts: 45000 | #Constraints: 11579
355.42/356.60 c #Conflicts: 46000 | #Constraints: 12579
355.42/356.60 c INPROCESSING
355.42/356.60 c GARBAGE COLLECT
355.42/356.60 c #Conflicts: 47000 | #Constraints: 9177
355.42/356.60 c #Conflicts: 48000 | #Constraints: 10177
355.42/356.60 c #Conflicts: 49000 | #Constraints: 11177
355.42/356.60 c #Conflicts: 50000 | #Constraints: 12177
355.42/356.60 c #Conflicts: 51000 | #Constraints: 13177
355.42/356.60 c INPROCESSING
355.42/356.60 c GARBAGE COLLECT
355.42/356.60 c #Conflicts: 52000 | #Constraints: 9576
355.42/356.60 c #Conflicts: 53000 | #Constraints: 10576
355.42/356.60 c #Conflicts: 54000 | #Constraints: 11576
355.42/356.60 c #Conflicts: 55000 | #Constraints: 12576
355.42/356.60 c #Conflicts: 56000 | #Constraints: 13576
355.42/356.60 c INPROCESSING
355.42/356.60 c GARBAGE COLLECT
355.42/356.60 c #Conflicts: 57000 | #Constraints: 9776
355.42/356.60 c #Conflicts: 58000 | #Constraints: 10776
355.42/356.60 c #Conflicts: 59000 | #Constraints: 11776
355.42/356.60 c #Conflicts: 60000 | #Constraints: 12776
355.42/356.60 c #Conflicts: 61000 | #Constraints: 13776
355.42/356.60 c INPROCESSING
355.42/356.60 c GARBAGE COLLECT
355.42/356.60 c #Conflicts: 62000 | #Constraints: 9775
355.42/356.60 c #Conflicts: 63000 | #Constraints: 10775
355.42/356.60 c #Conflicts: 64000 | #Constraints: 11775
355.42/356.60 c #Conflicts: 65000 | #Constraints: 12775
355.42/356.60 c #Conflicts: 66000 | #Constraints: 13775
355.42/356.60 c INPROCESSING
355.42/356.60 c GARBAGE COLLECT
355.42/356.60 c #Conflicts: 67000 | #Constraints: 9573
428.67/430.15 c #Conflicts: 68000 | #Constraints: 10573
428.67/430.15 c #Conflicts: 69000 | #Constraints: 11573
428.67/430.15 c #Conflicts: 70000 | #Constraints: 12573
428.67/430.15 c #Conflicts: 71000 | #Constraints: 13573
428.67/430.15 c #Conflicts: 72000 | #Constraints: 14573
428.67/430.15 c INPROCESSING
428.67/430.15 c GARBAGE COLLECT
428.67/430.15 c #Conflicts: 73000 | #Constraints: 10173
428.67/430.15 c #Conflicts: 74000 | #Constraints: 11173
428.67/430.15 c #Conflicts: 75000 | #Constraints: 12173
428.67/430.15 c #Conflicts: 76000 | #Constraints: 13173
428.67/430.15 c #Conflicts: 77000 | #Constraints: 14173
428.67/430.15 c #Conflicts: 78000 | #Constraints: 15173
428.67/430.15 c INPROCESSING
428.67/430.15 c GARBAGE COLLECT
428.67/430.15 c #Conflicts: 79000 | #Constraints: 10592
428.67/430.15 c #Conflicts: 80000 | #Constraints: 11592
428.67/430.15 c bounds - >= 807 @ 372.674
428.67/430.15 c #Conflicts: 81000 | #Constraints: 12593
428.67/430.15 c #Conflicts: 82000 | #Constraints: 13593
428.67/430.15 c #Conflicts: 83000 | #Constraints: 14593
428.67/430.15 c #Conflicts: 84000 | #Constraints: 15593
428.67/430.15 c INPROCESSING
428.67/430.15 c GARBAGE COLLECT
428.67/430.15 c #Conflicts: 85000 | #Constraints: 10797
428.67/430.15 c #Conflicts: 86000 | #Constraints: 11797
428.67/430.15 c #Conflicts: 87000 | #Constraints: 12797
428.67/430.15 c #Conflicts: 88000 | #Constraints: 13797
428.67/430.15 c #Conflicts: 89000 | #Constraints: 14797
428.67/430.15 c #Conflicts: 90000 | #Constraints: 15797
428.67/430.15 c INPROCESSING
428.67/430.15 c GARBAGE COLLECT
428.67/430.15 c #Conflicts: 91000 | #Constraints: 10798
428.67/430.15 c #Conflicts: 92000 | #Constraints: 11798
428.67/430.15 c #Conflicts: 93000 | #Constraints: 12798
428.67/430.15 c #Conflicts: 94000 | #Constraints: 13798
428.67/430.15 c #Conflicts: 95000 | #Constraints: 14798
428.67/430.15 c #Conflicts: 96000 | #Constraints: 15798
428.67/430.15 c INPROCESSING
428.67/430.15 c GARBAGE COLLECT
428.67/430.15 c #Conflicts: 97000 | #Constraints: 10593
428.67/430.15 c #Conflicts: 98000 | #Constraints: 11593
428.67/430.15 c #Conflicts: 99000 | #Constraints: 12593
428.67/430.15 c #Conflicts: 100000 | #Constraints: 13593
428.67/430.15 c #Conflicts: 101000 | #Constraints: 14593
428.67/430.15 c #Conflicts: 102000 | #Constraints: 15593
428.67/430.15 c #Conflicts: 103000 | #Constraints: 16593
428.67/430.15 c INPROCESSING
428.67/430.15 c GARBAGE COLLECT
428.67/430.15 c #Conflicts: 104000 | #Constraints: 11180
428.67/430.15 c #Conflicts: 105000 | #Constraints: 12180
428.67/430.15 c #Conflicts: 106000 | #Constraints: 13180
428.67/430.15 c #Conflicts: 107000 | #Constraints: 14180
428.67/430.15 c #Conflicts: 108000 | #Constraints: 15180
428.67/430.15 c #Conflicts: 109000 | #Constraints: 16180
428.67/430.15 c #Conflicts: 110000 | #Constraints: 17180
428.67/430.15 c INPROCESSING
428.67/430.15 c GARBAGE COLLECT
428.67/430.15 c #Conflicts: 111000 | #Constraints: 11578
428.67/430.15 c #Conflicts: 112000 | #Constraints: 12578
428.67/430.15 c #Conflicts: 113000 | #Constraints: 13578
428.67/430.15 c #Conflicts: 114000 | #Constraints: 14578
428.67/430.15 c #Conflicts: 115000 | #Constraints: 15578
428.67/430.15 c #Conflicts: 116000 | #Constraints: 16578
428.67/430.15 c #Conflicts: 117000 | #Constraints: 17578
428.67/430.15 c INPROCESSING
428.67/430.15 c GARBAGE COLLECT
428.67/430.15 c #Conflicts: 118000 | #Constraints: 11782
428.67/430.15 c #Conflicts: 119000 | #Constraints: 12782
428.67/430.15 c #Conflicts: 120000 | #Constraints: 13782
428.67/430.15 c #Conflicts: 121000 | #Constraints: 14782
428.67/430.15 c #Conflicts: 122000 | #Constraints: 15782
428.67/430.15 c #Conflicts: 123000 | #Constraints: 16782
428.67/430.15 c #Conflicts: 124000 | #Constraints: 17782
428.67/430.15 c INPROCESSING
428.67/430.15 c GARBAGE COLLECT
428.67/430.15 c #Conflicts: 125000 | #Constraints: 11774
428.67/430.15 c #Conflicts: 126000 | #Constraints: 12774
428.67/430.15 c #Conflicts: 127000 | #Constraints: 13774
428.67/430.15 c #Conflicts: 128000 | #Constraints: 14774
428.67/430.15 c #Conflicts: 129000 | #Constraints: 15774
428.67/430.15 c #Conflicts: 130000 | #Constraints: 16774
428.67/430.15 c #Conflicts: 131000 | #Constraints: 17774
428.67/430.15 c INPROCESSING
428.67/430.15 c GARBAGE COLLECT
428.67/430.15 c #Conflicts: 132000 | #Constraints: 11561
428.67/430.15 c #Conflicts: 133000 | #Constraints: 12561
428.67/430.15 c #Conflicts: 134000 | #Constraints: 13561
428.67/430.15 c #Conflicts: 135000 | #Constraints: 14561
428.67/430.15 c #Conflicts: 136000 | #Constraints: 15561
428.67/430.15 c #Conflicts: 137000 | #Constraints: 16561
428.67/430.15 c #Conflicts: 138000 | #Constraints: 17561
428.67/430.15 c #Conflicts: 139000 | #Constraints: 18561
531.42/533.25 c INPROCESSING
531.42/533.25 c GARBAGE COLLECT
531.42/533.25 c #Conflicts: 140000 | #Constraints: 12158
531.42/533.25 c #Conflicts: 141000 | #Constraints: 13158
531.42/533.25 c #Conflicts: 142000 | #Constraints: 14158
531.42/533.25 c #Conflicts: 143000 | #Constraints: 15158
531.42/533.25 c #Conflicts: 144000 | #Constraints: 16158
531.42/533.25 c #Conflicts: 145000 | #Constraints: 17158
531.42/533.25 c #Conflicts: 146000 | #Constraints: 18158
531.42/533.25 c #Conflicts: 147000 | #Constraints: 19158
531.42/533.25 c INPROCESSING
531.42/533.25 c GARBAGE COLLECT
531.42/533.25 c #Conflicts: 148000 | #Constraints: 12558
531.42/533.25 c #Conflicts: 149000 | #Constraints: 13558
531.42/533.25 c #Conflicts: 150000 | #Constraints: 14558
531.42/533.25 c #Conflicts: 151000 | #Constraints: 15558
531.42/533.25 c #Conflicts: 152000 | #Constraints: 16558
531.42/533.25 c #Conflicts: 153000 | #Constraints: 17558
531.42/533.25 c #Conflicts: 154000 | #Constraints: 18558
531.42/533.25 c #Conflicts: 155000 | #Constraints: 19558
531.42/533.25 c INPROCESSING
531.42/533.25 c GARBAGE COLLECT
531.42/533.25 c #Conflicts: 156000 | #Constraints: 12753
531.42/533.25 c #Conflicts: 157000 | #Constraints: 13753
531.42/533.25 c #Conflicts: 158000 | #Constraints: 14753
531.42/533.25 c #Conflicts: 159000 | #Constraints: 15753
531.42/533.25 c #Conflicts: 160000 | #Constraints: 16753
531.42/533.25 c #Conflicts: 161000 | #Constraints: 17753
531.42/533.25 c #Conflicts: 162000 | #Constraints: 18753
531.42/533.25 c #Conflicts: 163000 | #Constraints: 19753
531.42/533.25 c INPROCESSING
531.42/533.25 c GARBAGE COLLECT
531.42/533.25 c #Conflicts: 164000 | #Constraints: 12750
531.42/533.25 c #Conflicts: 165000 | #Constraints: 13750
531.42/533.25 c #Conflicts: 166000 | #Constraints: 14750
531.42/533.25 c #Conflicts: 167000 | #Constraints: 15750
531.42/533.25 c #Conflicts: 168000 | #Constraints: 16750
531.42/533.25 c #Conflicts: 169000 | #Constraints: 17750
531.42/533.25 c #Conflicts: 170000 | #Constraints: 18750
531.42/533.25 c #Conflicts: 171000 | #Constraints: 19750
531.42/533.25 c INPROCESSING
531.42/533.25 c GARBAGE COLLECT
531.42/533.25 c #Conflicts: 172000 | #Constraints: 12543
531.42/533.25 c #Conflicts: 173000 | #Constraints: 13543
531.42/533.25 c #Conflicts: 174000 | #Constraints: 14543
531.42/533.25 c #Conflicts: 175000 | #Constraints: 15543
531.42/533.25 c #Conflicts: 176000 | #Constraints: 16543
531.42/533.25 c #Conflicts: 177000 | #Constraints: 17543
531.42/533.25 c #Conflicts: 178000 | #Constraints: 18543
531.42/533.25 c #Conflicts: 179000 | #Constraints: 19543
531.42/533.25 c #Conflicts: 180000 | #Constraints: 20543
531.42/533.25 c INPROCESSING
531.42/533.25 c GARBAGE COLLECT
531.42/533.25 c #Conflicts: 181000 | #Constraints: 13150
531.42/533.25 c #Conflicts: 182000 | #Constraints: 14150
531.42/533.25 c #Conflicts: 183000 | #Constraints: 15150
531.42/533.25 c #Conflicts: 184000 | #Constraints: 16150
531.42/533.25 c #Conflicts: 185000 | #Constraints: 17150
531.42/533.25 c #Conflicts: 186000 | #Constraints: 18150
531.42/533.25 c #Conflicts: 187000 | #Constraints: 19150
531.42/533.25 c #Conflicts: 188000 | #Constraints: 20150
531.42/533.25 c #Conflicts: 189000 | #Constraints: 21150
531.42/533.25 c INPROCESSING
531.42/533.25 c GARBAGE COLLECT
531.42/533.25 c #Conflicts: 190000 | #Constraints: 13558
531.42/533.25 c #Conflicts: 191000 | #Constraints: 14558
531.42/533.25 c #Conflicts: 192000 | #Constraints: 15558
531.42/533.25 c #Conflicts: 193000 | #Constraints: 16558
531.42/533.25 c #Conflicts: 194000 | #Constraints: 17558
531.42/533.25 c #Conflicts: 195000 | #Constraints: 18558
531.42/533.25 c #Conflicts: 196000 | #Constraints: 19558
531.42/533.25 c #Conflicts: 197000 | #Constraints: 20558
531.42/533.25 c #Conflicts: 198000 | #Constraints: 21558
531.42/533.25 c INPROCESSING
531.42/533.25 c GARBAGE COLLECT
531.42/533.25 c #Conflicts: 199000 | #Constraints: 13765
531.42/533.25 c #Conflicts: 200000 | #Constraints: 14765
531.42/533.25 c #Conflicts: 201000 | #Constraints: 15765
531.42/533.25 c #Conflicts: 202000 | #Constraints: 16765
531.42/533.25 c #Conflicts: 203000 | #Constraints: 17765
531.42/533.25 c #Conflicts: 204000 | #Constraints: 18765
531.42/533.25 c #Conflicts: 205000 | #Constraints: 19765
531.42/533.25 c #Conflicts: 206000 | #Constraints: 20765
531.42/533.25 c #Conflicts: 207000 | #Constraints: 21765
531.42/533.25 c INPROCESSING
531.42/533.25 c GARBAGE COLLECT
531.42/533.25 c #Conflicts: 208000 | #Constraints: 13758
531.42/533.25 c #Conflicts: 209000 | #Constraints: 14758
531.42/533.25 c #Conflicts: 210000 | #Constraints: 15758
531.42/533.25 c #Conflicts: 211000 | #Constraints: 16758
531.42/533.25 c #Conflicts: 212000 | #Constraints: 17758
652.69/654.87 c #Conflicts: 213000 | #Constraints: 18758
652.69/654.87 c #Conflicts: 214000 | #Constraints: 19758
652.69/654.87 c #Conflicts: 215000 | #Constraints: 20758
652.69/654.87 c #Conflicts: 216000 | #Constraints: 21758
652.69/654.87 c INPROCESSING
652.69/654.87 c GARBAGE COLLECT
652.69/654.87 c #Conflicts: 217000 | #Constraints: 13561
652.69/654.87 c #Conflicts: 218000 | #Constraints: 14561
652.69/654.87 c #Conflicts: 219000 | #Constraints: 15561
652.69/654.87 c #Conflicts: 220000 | #Constraints: 16561
652.69/654.87 c #Conflicts: 221000 | #Constraints: 17561
652.69/654.87 c #Conflicts: 222000 | #Constraints: 18561
652.69/654.87 c #Conflicts: 223000 | #Constraints: 19561
652.69/654.87 c #Conflicts: 224000 | #Constraints: 20561
652.69/654.87 c #Conflicts: 225000 | #Constraints: 21561
652.69/654.87 c #Conflicts: 226000 | #Constraints: 22561
652.69/654.87 c INPROCESSING
652.69/654.87 c GARBAGE COLLECT
652.69/654.87 c #Conflicts: 227000 | #Constraints: 14170
652.69/654.87 c #Conflicts: 228000 | #Constraints: 15170
652.69/654.87 c #Conflicts: 229000 | #Constraints: 16170
652.69/654.87 c #Conflicts: 230000 | #Constraints: 17170
652.69/654.87 c #Conflicts: 231000 | #Constraints: 18170
652.69/654.87 c #Conflicts: 232000 | #Constraints: 19170
652.69/654.87 c #Conflicts: 233000 | #Constraints: 20170
652.69/654.87 c #Conflicts: 234000 | #Constraints: 21170
652.69/654.87 c #Conflicts: 235000 | #Constraints: 22170
652.69/654.87 c #Conflicts: 236000 | #Constraints: 23170
652.69/654.87 c INPROCESSING
652.69/654.87 c GARBAGE COLLECT
652.69/654.87 c #Conflicts: 237000 | #Constraints: 14569
652.69/654.87 c #Conflicts: 238000 | #Constraints: 15569
652.69/654.87 c #Conflicts: 239000 | #Constraints: 16569
652.69/654.87 c #Conflicts: 240000 | #Constraints: 17569
652.69/654.87 c #Conflicts: 241000 | #Constraints: 18569
652.69/654.87 c #Conflicts: 242000 | #Constraints: 19569
652.69/654.87 c #Conflicts: 243000 | #Constraints: 20569
652.69/654.87 c #Conflicts: 244000 | #Constraints: 21569
652.69/654.87 c #Conflicts: 245000 | #Constraints: 22569
652.69/654.87 c #Conflicts: 246000 | #Constraints: 23569
652.69/654.87 c INPROCESSING
652.69/654.87 c GARBAGE COLLECT
652.69/654.87 c #Conflicts: 247000 | #Constraints: 14763
652.69/654.87 c #Conflicts: 248000 | #Constraints: 15763
652.69/654.87 c #Conflicts: 249000 | #Constraints: 16763
652.69/654.87 c #Conflicts: 250000 | #Constraints: 17763
652.69/654.87 c #Conflicts: 251000 | #Constraints: 18763
652.69/654.87 c #Conflicts: 252000 | #Constraints: 19763
652.69/654.87 c #Conflicts: 253000 | #Constraints: 20763
652.69/654.87 c #Conflicts: 254000 | #Constraints: 21763
652.69/654.87 c #Conflicts: 255000 | #Constraints: 22763
652.69/654.87 c #Conflicts: 256000 | #Constraints: 23763
652.69/654.87 c INPROCESSING
652.69/654.87 c GARBAGE COLLECT
652.69/654.87 c #Conflicts: 257000 | #Constraints: 14752
652.69/654.87 c #Conflicts: 258000 | #Constraints: 15752
652.69/654.87 c #Conflicts: 259000 | #Constraints: 16752
652.69/654.87 c #Conflicts: 260000 | #Constraints: 17752
652.69/654.87 c #Conflicts: 261000 | #Constraints: 18752
652.69/654.87 c #Conflicts: 262000 | #Constraints: 19752
652.69/654.87 c #Conflicts: 263000 | #Constraints: 20752
652.69/654.87 c #Conflicts: 264000 | #Constraints: 21752
652.69/654.87 c #Conflicts: 265000 | #Constraints: 22752
652.69/654.87 c #Conflicts: 266000 | #Constraints: 23752
652.69/654.87 c INPROCESSING
652.69/654.87 c GARBAGE COLLECT
652.69/654.87 c #Conflicts: 267000 | #Constraints: 14568
652.69/654.87 c #Conflicts: 268000 | #Constraints: 15568
652.69/654.87 c #Conflicts: 269000 | #Constraints: 16568
652.69/654.87 c #Conflicts: 270000 | #Constraints: 17568
652.69/654.87 c #Conflicts: 271000 | #Constraints: 18568
652.69/654.87 c #Conflicts: 272000 | #Constraints: 19568
652.69/654.87 c #Conflicts: 273000 | #Constraints: 20568
652.69/654.87 c #Conflicts: 274000 | #Constraints: 21568
652.69/654.87 c #Conflicts: 275000 | #Constraints: 22568
652.69/654.87 c #Conflicts: 276000 | #Constraints: 23568
652.69/654.87 c #Conflicts: 277000 | #Constraints: 24568
652.69/654.87 c INPROCESSING
652.69/654.87 c GARBAGE COLLECT
652.69/654.87 c #Conflicts: 278000 | #Constraints: 15166
652.69/654.87 c #Conflicts: 279000 | #Constraints: 16166
652.69/654.87 c #Conflicts: 280000 | #Constraints: 17166
652.69/654.87 c #Conflicts: 281000 | #Constraints: 18166
652.69/654.87 c #Conflicts: 282000 | #Constraints: 19166
652.69/654.87 c #Conflicts: 283000 | #Constraints: 20166
652.69/654.87 c #Conflicts: 284000 | #Constraints: 21166
652.69/654.87 c #Conflicts: 285000 | #Constraints: 22166
652.69/654.87 c #Conflicts: 286000 | #Constraints: 23166
733.08/735.44 c #Conflicts: 287000 | #Constraints: 24166
733.08/735.44 c #Conflicts: 288000 | #Constraints: 25166
733.08/735.44 c INPROCESSING
733.08/735.44 c GARBAGE COLLECT
733.08/735.44 c #Conflicts: 289000 | #Constraints: 15556
733.08/735.44 c #Conflicts: 290000 | #Constraints: 16556
733.08/735.44 c #Conflicts: 291000 | #Constraints: 17556
733.08/735.44 c #Conflicts: 292000 | #Constraints: 18556
733.08/735.44 c #Conflicts: 293000 | #Constraints: 19556
733.08/735.44 c #Conflicts: 294000 | #Constraints: 20556
733.08/735.44 c #Conflicts: 295000 | #Constraints: 21556
733.08/735.44 c #Conflicts: 296000 | #Constraints: 22556
733.08/735.44 c #Conflicts: 297000 | #Constraints: 23556
733.08/735.44 c #Conflicts: 298000 | #Constraints: 24556
733.08/735.44 c #Conflicts: 299000 | #Constraints: 25556
733.08/735.44 c INPROCESSING
733.08/735.44 c GARBAGE COLLECT
733.08/735.44 c #Conflicts: 300000 | #Constraints: 15749
733.08/735.44 c #Conflicts: 301000 | #Constraints: 16749
733.08/735.44 c #Conflicts: 302000 | #Constraints: 17749
733.08/735.44 c #Conflicts: 303000 | #Constraints: 18749
733.08/735.44 c #Conflicts: 304000 | #Constraints: 19749
733.08/735.44 c #Conflicts: 305000 | #Constraints: 20749
733.08/735.44 c #Conflicts: 306000 | #Constraints: 21749
733.08/735.44 c #Conflicts: 307000 | #Constraints: 22749
733.08/735.44 c #Conflicts: 308000 | #Constraints: 23749
733.08/735.44 c #Conflicts: 309000 | #Constraints: 24749
733.08/735.44 c #Conflicts: 310000 | #Constraints: 25749
733.08/735.44 c INPROCESSING
733.08/735.44 c GARBAGE COLLECT
733.08/735.44 c #Conflicts: 311000 | #Constraints: 15741
733.08/735.44 c #Conflicts: 312000 | #Constraints: 16741
733.08/735.44 c #Conflicts: 313000 | #Constraints: 17741
733.08/735.44 c #Conflicts: 314000 | #Constraints: 18741
733.08/735.44 c #Conflicts: 315000 | #Constraints: 19741
733.08/735.44 c #Conflicts: 316000 | #Constraints: 20741
733.08/735.44 c #Conflicts: 317000 | #Constraints: 21741
733.08/735.44 c #Conflicts: 318000 | #Constraints: 22741
733.08/735.44 c #Conflicts: 319000 | #Constraints: 23741
733.08/735.44 c #Conflicts: 320000 | #Constraints: 24741
733.08/735.44 c #Conflicts: 321000 | #Constraints: 25741
733.08/735.44 c INPROCESSING
733.08/735.44 c GARBAGE COLLECT
733.08/735.44 c #Conflicts: 322000 | #Constraints: 15543
733.08/735.44 c #Conflicts: 323000 | #Constraints: 16543
733.08/735.44 c #Conflicts: 324000 | #Constraints: 17543
733.08/735.44 c #Conflicts: 325000 | #Constraints: 18543
733.08/735.44 c #Conflicts: 326000 | #Constraints: 19543
733.08/735.44 c #Conflicts: 327000 | #Constraints: 20543
733.08/735.44 c #Conflicts: 328000 | #Constraints: 21543
733.08/735.44 c #Conflicts: 329000 | #Constraints: 22543
733.08/735.44 c #Conflicts: 330000 | #Constraints: 23543
733.08/735.44 c #Conflicts: 331000 | #Constraints: 24543
733.08/735.44 c #Conflicts: 332000 | #Constraints: 25543
733.08/735.44 c #Conflicts: 333000 | #Constraints: 26543
733.08/735.44 c INPROCESSING
733.08/735.44 c GARBAGE COLLECT
733.08/735.44 c #Conflicts: 334000 | #Constraints: 16147
733.08/735.44 c #Conflicts: 335000 | #Constraints: 17147
733.08/735.44 c #Conflicts: 336000 | #Constraints: 18147
733.08/735.44 c #Conflicts: 337000 | #Constraints: 19147
733.08/735.44 c #Conflicts: 338000 | #Constraints: 20147
733.08/735.44 c #Conflicts: 339000 | #Constraints: 21147
733.08/735.44 c #Conflicts: 340000 | #Constraints: 22147
733.08/735.44 c #Conflicts: 341000 | #Constraints: 23147
733.08/735.44 c #Conflicts: 342000 | #Constraints: 24147
733.08/735.44 c #Conflicts: 343000 | #Constraints: 25147
733.08/735.44 c #Conflicts: 344000 | #Constraints: 26147
733.08/735.44 c #Conflicts: 345000 | #Constraints: 27147
733.08/735.44 c INPROCESSING
733.08/735.44 c GARBAGE COLLECT
733.08/735.44 c #Conflicts: 346000 | #Constraints: 16595
733.08/735.44 c #Conflicts: 347000 | #Constraints: 17595
733.08/735.44 c #Conflicts: 348000 | #Constraints: 18595
733.08/735.44 c #Conflicts: 349000 | #Constraints: 19595
733.08/735.44 c #Conflicts: 350000 | #Constraints: 20595
733.08/735.44 c #Conflicts: 351000 | #Constraints: 21595
733.08/735.44 c #Conflicts: 352000 | #Constraints: 22595
733.08/735.44 c #Conflicts: 353000 | #Constraints: 23595
733.08/735.44 c #Conflicts: 354000 | #Constraints: 24595
733.08/735.44 c #Conflicts: 355000 | #Constraints: 25595
733.08/735.44 c #Conflicts: 356000 | #Constraints: 26595
733.08/735.44 c #Conflicts: 357000 | #Constraints: 27595
733.08/735.44 c INPROCESSING
733.08/735.44 c GARBAGE COLLECT
733.08/735.44 c #Conflicts: 358000 | #Constraints: 16763
733.08/735.44 c #Conflicts: 359000 | #Constraints: 17763
733.08/735.44 c #Conflicts: 360000 | #Constraints: 18763
827.73/830.35 c #Conflicts: 361000 | #Constraints: 19763
827.73/830.35 c #Conflicts: 362000 | #Constraints: 20763
827.73/830.35 c #Conflicts: 363000 | #Constraints: 21763
827.73/830.35 c #Conflicts: 364000 | #Constraints: 22763
827.73/830.35 c #Conflicts: 365000 | #Constraints: 23763
827.73/830.35 c #Conflicts: 366000 | #Constraints: 24763
827.73/830.35 c #Conflicts: 367000 | #Constraints: 25763
827.73/830.35 c #Conflicts: 368000 | #Constraints: 26763
827.73/830.35 c #Conflicts: 369000 | #Constraints: 27763
827.73/830.35 c INPROCESSING
827.73/830.35 c GARBAGE COLLECT
827.73/830.35 c #Conflicts: 370000 | #Constraints: 16752
827.73/830.35 c #Conflicts: 371000 | #Constraints: 17752
827.73/830.35 c #Conflicts: 372000 | #Constraints: 18752
827.73/830.35 c #Conflicts: 373000 | #Constraints: 19752
827.73/830.35 c #Conflicts: 374000 | #Constraints: 20752
827.73/830.35 c #Conflicts: 375000 | #Constraints: 21752
827.73/830.35 c #Conflicts: 376000 | #Constraints: 22752
827.73/830.35 c #Conflicts: 377000 | #Constraints: 23752
827.73/830.35 c #Conflicts: 378000 | #Constraints: 24752
827.73/830.35 c #Conflicts: 379000 | #Constraints: 25752
827.73/830.35 c #Conflicts: 380000 | #Constraints: 26752
827.73/830.35 c #Conflicts: 381000 | #Constraints: 27752
827.73/830.35 c INPROCESSING
827.73/830.35 c GARBAGE COLLECT
827.73/830.35 c #Conflicts: 382000 | #Constraints: 16537
827.73/830.35 c #Conflicts: 383000 | #Constraints: 17537
827.73/830.35 c #Conflicts: 384000 | #Constraints: 18537
827.73/830.35 c #Conflicts: 385000 | #Constraints: 19537
827.73/830.35 c #Conflicts: 386000 | #Constraints: 20537
827.73/830.35 c #Conflicts: 387000 | #Constraints: 21537
827.73/830.35 c #Conflicts: 388000 | #Constraints: 22537
827.73/830.35 c #Conflicts: 389000 | #Constraints: 23537
827.73/830.35 c #Conflicts: 390000 | #Constraints: 24537
827.73/830.35 c #Conflicts: 391000 | #Constraints: 25537
827.73/830.35 c #Conflicts: 392000 | #Constraints: 26537
827.73/830.35 c #Conflicts: 393000 | #Constraints: 27537
827.73/830.35 c #Conflicts: 394000 | #Constraints: 28537
827.73/830.35 c INPROCESSING
827.73/830.35 c GARBAGE COLLECT
827.73/830.35 c #Conflicts: 395000 | #Constraints: 17148
827.73/830.35 c #Conflicts: 396000 | #Constraints: 18148
827.73/830.35 c #Conflicts: 397000 | #Constraints: 19148
827.73/830.35 c #Conflicts: 398000 | #Constraints: 20148
827.73/830.35 c #Conflicts: 399000 | #Constraints: 21148
827.73/830.35 c #Conflicts: 400000 | #Constraints: 22148
827.73/830.35 c #Conflicts: 401000 | #Constraints: 23148
827.73/830.35 c #Conflicts: 402000 | #Constraints: 24148
827.73/830.35 c #Conflicts: 403000 | #Constraints: 25148
827.73/830.35 c #Conflicts: 404000 | #Constraints: 26148
827.73/830.35 c #Conflicts: 405000 | #Constraints: 27148
827.73/830.35 c #Conflicts: 406000 | #Constraints: 28148
827.73/830.35 c #Conflicts: 407000 | #Constraints: 29148
827.73/830.35 c INPROCESSING
827.73/830.35 c GARBAGE COLLECT
827.73/830.35 c #Conflicts: 408000 | #Constraints: 17551
827.73/830.35 c #Conflicts: 409000 | #Constraints: 18551
827.73/830.35 c #Conflicts: 410000 | #Constraints: 19551
827.73/830.35 c #Conflicts: 411000 | #Constraints: 20551
827.73/830.35 c #Conflicts: 412000 | #Constraints: 21551
827.73/830.35 c #Conflicts: 413000 | #Constraints: 22551
827.73/830.35 c #Conflicts: 414000 | #Constraints: 23551
827.73/830.35 c #Conflicts: 415000 | #Constraints: 24551
827.73/830.35 c #Conflicts: 416000 | #Constraints: 25551
827.73/830.35 c #Conflicts: 417000 | #Constraints: 26551
827.73/830.35 c #Conflicts: 418000 | #Constraints: 27551
827.73/830.35 c #Conflicts: 419000 | #Constraints: 28551
827.73/830.35 c #Conflicts: 420000 | #Constraints: 29551
827.73/830.35 c INPROCESSING
827.73/830.35 c GARBAGE COLLECT
827.73/830.35 c #Conflicts: 421000 | #Constraints: 17752
827.73/830.35 c #Conflicts: 422000 | #Constraints: 18752
827.73/830.35 c #Conflicts: 423000 | #Constraints: 19752
827.73/830.35 c #Conflicts: 424000 | #Constraints: 20752
827.73/830.35 c #Conflicts: 425000 | #Constraints: 21752
827.73/830.35 c #Conflicts: 426000 | #Constraints: 22752
827.73/830.35 c #Conflicts: 427000 | #Constraints: 23752
827.73/830.35 c #Conflicts: 428000 | #Constraints: 24752
827.73/830.35 c #Conflicts: 429000 | #Constraints: 25752
827.73/830.35 c #Conflicts: 430000 | #Constraints: 26752
827.73/830.35 c #Conflicts: 431000 | #Constraints: 27752
827.73/830.35 c #Conflicts: 432000 | #Constraints: 28752
827.73/830.35 c #Conflicts: 433000 | #Constraints: 29752
827.73/830.35 c INPROCESSING
827.73/830.35 c GARBAGE COLLECT
827.73/830.35 c #Conflicts: 434000 | #Constraints: 17749
827.73/830.35 c #Conflicts: 435000 | #Constraints: 18749
982.03/985.03 c #Conflicts: 436000 | #Constraints: 19749
982.03/985.03 c #Conflicts: 437000 | #Constraints: 20749
982.03/985.03 c #Conflicts: 438000 | #Constraints: 21749
982.03/985.03 c #Conflicts: 439000 | #Constraints: 22749
982.03/985.03 c #Conflicts: 440000 | #Constraints: 23749
982.03/985.03 c #Conflicts: 441000 | #Constraints: 24749
982.03/985.03 c #Conflicts: 442000 | #Constraints: 25749
982.03/985.03 c #Conflicts: 443000 | #Constraints: 26749
982.03/985.03 c #Conflicts: 444000 | #Constraints: 27749
982.03/985.03 c #Conflicts: 445000 | #Constraints: 28749
982.03/985.03 c #Conflicts: 446000 | #Constraints: 29749
982.03/985.03 c INPROCESSING
982.03/985.03 c GARBAGE COLLECT
982.03/985.03 c #Conflicts: 447000 | #Constraints: 17547
982.03/985.03 c #Conflicts: 448000 | #Constraints: 18547
982.03/985.03 c #Conflicts: 449000 | #Constraints: 19547
982.03/985.03 c #Conflicts: 450000 | #Constraints: 20547
982.03/985.03 c #Conflicts: 451000 | #Constraints: 21547
982.03/985.03 c #Conflicts: 452000 | #Constraints: 22547
982.03/985.03 c #Conflicts: 453000 | #Constraints: 23547
982.03/985.03 c #Conflicts: 454000 | #Constraints: 24547
982.03/985.03 c #Conflicts: 455000 | #Constraints: 25547
982.03/985.03 c #Conflicts: 456000 | #Constraints: 26547
982.03/985.03 c #Conflicts: 457000 | #Constraints: 27547
982.03/985.03 c #Conflicts: 458000 | #Constraints: 28547
982.03/985.03 c #Conflicts: 459000 | #Constraints: 29547
982.03/985.03 c #Conflicts: 460000 | #Constraints: 30547
982.03/985.03 c INPROCESSING
982.03/985.03 c GARBAGE COLLECT
982.03/985.03 c #Conflicts: 461000 | #Constraints: 18151
982.03/985.03 c #Conflicts: 462000 | #Constraints: 19151
982.03/985.03 c #Conflicts: 463000 | #Constraints: 20151
982.03/985.03 c #Conflicts: 464000 | #Constraints: 21151
982.03/985.03 c #Conflicts: 465000 | #Constraints: 22151
982.03/985.03 c #Conflicts: 466000 | #Constraints: 23151
982.03/985.03 c #Conflicts: 467000 | #Constraints: 24151
982.03/985.03 c #Conflicts: 468000 | #Constraints: 25151
982.03/985.03 c #Conflicts: 469000 | #Constraints: 26151
982.03/985.03 c #Conflicts: 470000 | #Constraints: 27151
982.03/985.03 c #Conflicts: 471000 | #Constraints: 28151
982.03/985.03 c #Conflicts: 472000 | #Constraints: 29151
982.03/985.03 c #Conflicts: 473000 | #Constraints: 30151
982.03/985.03 c #Conflicts: 474000 | #Constraints: 31151
982.03/985.03 c INPROCESSING
982.03/985.03 c GARBAGE COLLECT
982.03/985.03 c #Conflicts: 475000 | #Constraints: 18562
982.03/985.03 c #Conflicts: 476000 | #Constraints: 19562
982.03/985.03 c #Conflicts: 477000 | #Constraints: 20562
982.03/985.03 c #Conflicts: 478000 | #Constraints: 21562
982.03/985.03 c #Conflicts: 479000 | #Constraints: 22562
982.03/985.03 c #Conflicts: 480000 | #Constraints: 23562
982.03/985.03 c #Conflicts: 481000 | #Constraints: 24562
982.03/985.03 c #Conflicts: 482000 | #Constraints: 25562
982.03/985.03 c #Conflicts: 483000 | #Constraints: 26562
982.03/985.03 c #Conflicts: 484000 | #Constraints: 27562
982.03/985.03 c #Conflicts: 485000 | #Constraints: 28562
982.03/985.03 c #Conflicts: 486000 | #Constraints: 29562
982.03/985.03 c #Conflicts: 487000 | #Constraints: 30562
982.03/985.03 c #Conflicts: 488000 | #Constraints: 31562
982.03/985.03 c INPROCESSING
982.03/985.03 c GARBAGE COLLECT
982.03/985.03 c #Conflicts: 489000 | #Constraints: 18749
982.03/985.03 c #Conflicts: 490000 | #Constraints: 19749
982.03/985.03 c #Conflicts: 491000 | #Constraints: 20749
982.03/985.03 c #Conflicts: 492000 | #Constraints: 21749
982.03/985.03 c #Conflicts: 493000 | #Constraints: 22749
982.03/985.03 c #Conflicts: 494000 | #Constraints: 23749
982.03/985.03 c #Conflicts: 495000 | #Constraints: 24749
982.03/985.03 c #Conflicts: 496000 | #Constraints: 25749
982.03/985.03 c #Conflicts: 497000 | #Constraints: 26749
982.03/985.03 c #Conflicts: 498000 | #Constraints: 27749
982.03/985.03 c #Conflicts: 499000 | #Constraints: 28749
982.03/985.03 c #Conflicts: 500000 | #Constraints: 29749
982.03/985.03 c #Conflicts: 501000 | #Constraints: 30749
982.03/985.03 c #Conflicts: 502000 | #Constraints: 31749
982.03/985.03 c INPROCESSING
982.03/985.03 c GARBAGE COLLECT
982.03/985.03 c #Conflicts: 503000 | #Constraints: 18753
982.03/985.03 c #Conflicts: 504000 | #Constraints: 19753
982.03/985.03 c #Conflicts: 505000 | #Constraints: 20753
982.03/985.03 c #Conflicts: 506000 | #Constraints: 21753
982.03/985.03 c #Conflicts: 507000 | #Constraints: 22753
982.03/985.03 c #Conflicts: 508000 | #Constraints: 23753
982.03/985.03 c #Conflicts: 509000 | #Constraints: 24753
982.03/985.03 c #Conflicts: 510000 | #Constraints: 25753
982.03/985.03 c #Conflicts: 511000 | #Constraints: 26753
1125.65/1129.04 c #Conflicts: 512000 | #Constraints: 27753
1125.65/1129.04 c #Conflicts: 513000 | #Constraints: 28753
1125.65/1129.04 c #Conflicts: 514000 | #Constraints: 29753
1125.65/1129.04 c #Conflicts: 515000 | #Constraints: 30753
1125.65/1129.04 c #Conflicts: 516000 | #Constraints: 31753
1125.65/1129.04 c INPROCESSING
1125.65/1129.04 c GARBAGE COLLECT
1125.65/1129.04 c #Conflicts: 517000 | #Constraints: 18552
1125.65/1129.04 c #Conflicts: 518000 | #Constraints: 19552
1125.65/1129.04 c #Conflicts: 519000 | #Constraints: 20552
1125.65/1129.04 c #Conflicts: 520000 | #Constraints: 21552
1125.65/1129.04 c #Conflicts: 521000 | #Constraints: 22552
1125.65/1129.04 c #Conflicts: 522000 | #Constraints: 23552
1125.65/1129.04 c #Conflicts: 523000 | #Constraints: 24552
1125.65/1129.04 c #Conflicts: 524000 | #Constraints: 25552
1125.65/1129.04 c #Conflicts: 525000 | #Constraints: 26552
1125.65/1129.04 c #Conflicts: 526000 | #Constraints: 27552
1125.65/1129.04 c #Conflicts: 527000 | #Constraints: 28552
1125.65/1129.04 c #Conflicts: 528000 | #Constraints: 29552
1125.65/1129.04 c #Conflicts: 529000 | #Constraints: 30552
1125.65/1129.04 c #Conflicts: 530000 | #Constraints: 31552
1125.65/1129.04 c #Conflicts: 531000 | #Constraints: 32552
1125.65/1129.04 c INPROCESSING
1125.65/1129.04 c GARBAGE COLLECT
1125.65/1129.04 c #Conflicts: 532000 | #Constraints: 19151
1125.65/1129.04 c #Conflicts: 533000 | #Constraints: 20151
1125.65/1129.04 c #Conflicts: 534000 | #Constraints: 21151
1125.65/1129.04 c #Conflicts: 535000 | #Constraints: 22151
1125.65/1129.04 c #Conflicts: 536000 | #Constraints: 23151
1125.65/1129.04 c #Conflicts: 537000 | #Constraints: 24151
1125.65/1129.04 c #Conflicts: 538000 | #Constraints: 25151
1125.65/1129.04 c #Conflicts: 539000 | #Constraints: 26151
1125.65/1129.04 c #Conflicts: 540000 | #Constraints: 27151
1125.65/1129.04 c #Conflicts: 541000 | #Constraints: 28151
1125.65/1129.04 c #Conflicts: 542000 | #Constraints: 29151
1125.65/1129.04 c #Conflicts: 543000 | #Constraints: 30151
1125.65/1129.04 c #Conflicts: 544000 | #Constraints: 31151
1125.65/1129.04 c #Conflicts: 545000 | #Constraints: 32151
1125.65/1129.04 c #Conflicts: 546000 | #Constraints: 33151
1125.65/1129.04 c INPROCESSING
1125.65/1129.04 c GARBAGE COLLECT
1125.65/1129.04 c #Conflicts: 547000 | #Constraints: 19560
1125.65/1129.04 c #Conflicts: 548000 | #Constraints: 20560
1125.65/1129.04 c #Conflicts: 549000 | #Constraints: 21560
1125.65/1129.04 c #Conflicts: 550000 | #Constraints: 22560
1125.65/1129.04 c #Conflicts: 551000 | #Constraints: 23560
1125.65/1129.04 c #Conflicts: 552000 | #Constraints: 24560
1125.65/1129.04 c #Conflicts: 553000 | #Constraints: 25560
1125.65/1129.04 c #Conflicts: 554000 | #Constraints: 26560
1125.65/1129.04 c #Conflicts: 555000 | #Constraints: 27560
1125.65/1129.04 c #Conflicts: 556000 | #Constraints: 28560
1125.65/1129.04 c #Conflicts: 557000 | #Constraints: 29560
1125.65/1129.04 c #Conflicts: 558000 | #Constraints: 30560
1125.65/1129.04 c #Conflicts: 559000 | #Constraints: 31560
1125.65/1129.04 c #Conflicts: 560000 | #Constraints: 32560
1125.65/1129.04 c #Conflicts: 561000 | #Constraints: 33560
1125.65/1129.04 c INPROCESSING
1125.65/1129.04 c GARBAGE COLLECT
1125.65/1129.04 c #Conflicts: 562000 | #Constraints: 19753
1125.65/1129.04 c #Conflicts: 563000 | #Constraints: 20753
1125.65/1129.04 c #Conflicts: 564000 | #Constraints: 21753
1125.65/1129.04 c #Conflicts: 565000 | #Constraints: 22753
1125.65/1129.04 c #Conflicts: 566000 | #Constraints: 23753
1125.65/1129.04 c #Conflicts: 567000 | #Constraints: 24753
1125.65/1129.04 c #Conflicts: 568000 | #Constraints: 25753
1125.65/1129.04 c #Conflicts: 569000 | #Constraints: 26753
1125.65/1129.04 c #Conflicts: 570000 | #Constraints: 27753
1125.65/1129.04 c #Conflicts: 571000 | #Constraints: 28753
1125.65/1129.04 c #Conflicts: 572000 | #Constraints: 29753
1125.65/1129.04 c #Conflicts: 573000 | #Constraints: 30753
1125.65/1129.04 c #Conflicts: 574000 | #Constraints: 31753
1125.65/1129.04 c #Conflicts: 575000 | #Constraints: 32753
1125.65/1129.04 c #Conflicts: 576000 | #Constraints: 33753
1125.65/1129.04 c INPROCESSING
1125.65/1129.04 c GARBAGE COLLECT
1125.65/1129.04 c #Conflicts: 577000 | #Constraints: 19754
1125.65/1129.04 c #Conflicts: 578000 | #Constraints: 20754
1125.65/1129.04 c #Conflicts: 579000 | #Constraints: 21754
1125.65/1129.04 c #Conflicts: 580000 | #Constraints: 22754
1125.65/1129.04 c #Conflicts: 581000 | #Constraints: 23754
1125.65/1129.04 c #Conflicts: 582000 | #Constraints: 24754
1125.65/1129.04 c #Conflicts: 583000 | #Constraints: 25754
1125.65/1129.04 c #Conflicts: 584000 | #Constraints: 26754
1125.65/1129.04 c #Conflicts: 585000 | #Constraints: 27754
1125.65/1129.04 c #Conflicts: 586000 | #Constraints: 28754
1125.65/1129.04 c #Conflicts: 587000 | #Constraints: 29754
1299.85/1303.72 c #Conflicts: 588000 | #Constraints: 30754
1299.85/1303.72 c #Conflicts: 589000 | #Constraints: 31754
1299.85/1303.72 c #Conflicts: 590000 | #Constraints: 32754
1299.85/1303.72 c #Conflicts: 591000 | #Constraints: 33754
1299.85/1303.72 c INPROCESSING
1299.85/1303.72 c GARBAGE COLLECT
1299.85/1303.72 c #Conflicts: 592000 | #Constraints: 19537
1299.85/1303.72 c #Conflicts: 593000 | #Constraints: 20537
1299.85/1303.72 c #Conflicts: 594000 | #Constraints: 21537
1299.85/1303.72 c #Conflicts: 595000 | #Constraints: 22537
1299.85/1303.72 c #Conflicts: 596000 | #Constraints: 23537
1299.85/1303.72 c #Conflicts: 597000 | #Constraints: 24537
1299.85/1303.72 c #Conflicts: 598000 | #Constraints: 25537
1299.85/1303.72 c #Conflicts: 599000 | #Constraints: 26537
1299.85/1303.72 c #Conflicts: 600000 | #Constraints: 27537
1299.85/1303.72 c #Conflicts: 601000 | #Constraints: 28537
1299.85/1303.72 c #Conflicts: 602000 | #Constraints: 29537
1299.85/1303.72 c #Conflicts: 603000 | #Constraints: 30537
1299.85/1303.72 c #Conflicts: 604000 | #Constraints: 31537
1299.85/1303.72 c #Conflicts: 605000 | #Constraints: 32537
1299.85/1303.72 c #Conflicts: 606000 | #Constraints: 33537
1299.85/1303.72 c #Conflicts: 607000 | #Constraints: 34537
1299.85/1303.72 c INPROCESSING
1299.85/1303.72 c GARBAGE COLLECT
1299.85/1303.72 c #Conflicts: 608000 | #Constraints: 20151
1299.85/1303.72 c #Conflicts: 609000 | #Constraints: 21151
1299.85/1303.72 c #Conflicts: 610000 | #Constraints: 22151
1299.85/1303.72 c #Conflicts: 611000 | #Constraints: 23151
1299.85/1303.72 c #Conflicts: 612000 | #Constraints: 24151
1299.85/1303.72 c #Conflicts: 613000 | #Constraints: 25151
1299.85/1303.72 c #Conflicts: 614000 | #Constraints: 26151
1299.85/1303.72 c #Conflicts: 615000 | #Constraints: 27151
1299.85/1303.72 c #Conflicts: 616000 | #Constraints: 28151
1299.85/1303.72 c #Conflicts: 617000 | #Constraints: 29151
1299.85/1303.72 c #Conflicts: 618000 | #Constraints: 30151
1299.85/1303.72 c #Conflicts: 619000 | #Constraints: 31151
1299.85/1303.72 c #Conflicts: 620000 | #Constraints: 32151
1299.85/1303.72 c #Conflicts: 621000 | #Constraints: 33151
1299.85/1303.72 c #Conflicts: 622000 | #Constraints: 34151
1299.85/1303.72 c #Conflicts: 623000 | #Constraints: 35151
1299.85/1303.72 c INPROCESSING
1299.85/1303.72 c GARBAGE COLLECT
1299.85/1303.72 c #Conflicts: 624000 | #Constraints: 20529
1299.85/1303.72 c #Conflicts: 625000 | #Constraints: 21529
1299.85/1303.72 c #Conflicts: 626000 | #Constraints: 22529
1299.85/1303.72 c #Conflicts: 627000 | #Constraints: 23529
1299.85/1303.72 c #Conflicts: 628000 | #Constraints: 24529
1299.85/1303.72 c #Conflicts: 629000 | #Constraints: 25529
1299.85/1303.72 c #Conflicts: 630000 | #Constraints: 26529
1299.85/1303.72 c #Conflicts: 631000 | #Constraints: 27529
1299.85/1303.72 c #Conflicts: 632000 | #Constraints: 28529
1299.85/1303.72 c #Conflicts: 633000 | #Constraints: 29529
1299.85/1303.72 c #Conflicts: 634000 | #Constraints: 30529
1299.85/1303.72 c #Conflicts: 635000 | #Constraints: 31529
1299.85/1303.72 c #Conflicts: 636000 | #Constraints: 32529
1299.85/1303.72 c #Conflicts: 637000 | #Constraints: 33529
1299.85/1303.72 c #Conflicts: 638000 | #Constraints: 34529
1299.85/1303.72 c #Conflicts: 639000 | #Constraints: 35529
1299.85/1303.72 c INPROCESSING
1299.85/1303.72 c GARBAGE COLLECT
1299.85/1303.72 c #Conflicts: 640000 | #Constraints: 20730
1299.85/1303.72 c #Conflicts: 641000 | #Constraints: 21730
1299.85/1303.72 c #Conflicts: 642000 | #Constraints: 22730
1299.85/1303.72 c #Conflicts: 643000 | #Constraints: 23730
1299.85/1303.72 c #Conflicts: 644000 | #Constraints: 24730
1299.85/1303.72 c #Conflicts: 645000 | #Constraints: 25730
1299.85/1303.72 c #Conflicts: 646000 | #Constraints: 26730
1299.85/1303.72 c #Conflicts: 647000 | #Constraints: 27730
1299.85/1303.72 c #Conflicts: 648000 | #Constraints: 28730
1299.85/1303.72 c #Conflicts: 649000 | #Constraints: 29730
1299.85/1303.72 c #Conflicts: 650000 | #Constraints: 30730
1299.85/1303.72 c #Conflicts: 651000 | #Constraints: 31730
1299.85/1303.72 c #Conflicts: 652000 | #Constraints: 32730
1299.85/1303.72 c #Conflicts: 653000 | #Constraints: 33730
1299.85/1303.72 c #Conflicts: 654000 | #Constraints: 34730
1299.85/1303.72 c #Conflicts: 655000 | #Constraints: 35730
1299.85/1303.72 c INPROCESSING
1299.85/1303.72 c GARBAGE COLLECT
1299.85/1303.72 c #Conflicts: 656000 | #Constraints: 20734
1299.85/1303.72 c #Conflicts: 657000 | #Constraints: 21734
1299.85/1303.72 c #Conflicts: 658000 | #Constraints: 22734
1299.85/1303.72 c #Conflicts: 659000 | #Constraints: 23734
1299.85/1303.72 c #Conflicts: 660000 | #Constraints: 24734
1299.85/1303.72 c #Conflicts: 661000 | #Constraints: 25734
1299.85/1303.72 c #Conflicts: 662000 | #Constraints: 26734
1546.47/1551.04 c #Conflicts: 663000 | #Constraints: 27734
1546.47/1551.04 c #Conflicts: 664000 | #Constraints: 28734
1546.47/1551.04 c #Conflicts: 665000 | #Constraints: 29734
1546.47/1551.04 c #Conflicts: 666000 | #Constraints: 30734
1546.47/1551.04 c #Conflicts: 667000 | #Constraints: 31734
1546.47/1551.04 c #Conflicts: 668000 | #Constraints: 32734
1546.47/1551.04 c #Conflicts: 669000 | #Constraints: 33734
1546.47/1551.04 c #Conflicts: 670000 | #Constraints: 34734
1546.47/1551.04 c #Conflicts: 671000 | #Constraints: 35734
1546.47/1551.04 c INPROCESSING
1546.47/1551.04 c GARBAGE COLLECT
1546.47/1551.04 c #Conflicts: 672000 | #Constraints: 20531
1546.47/1551.04 c #Conflicts: 673000 | #Constraints: 21531
1546.47/1551.04 c #Conflicts: 674000 | #Constraints: 22531
1546.47/1551.04 c #Conflicts: 675000 | #Constraints: 23531
1546.47/1551.04 c #Conflicts: 676000 | #Constraints: 24531
1546.47/1551.04 c #Conflicts: 677000 | #Constraints: 25531
1546.47/1551.04 c #Conflicts: 678000 | #Constraints: 26531
1546.47/1551.04 c #Conflicts: 679000 | #Constraints: 27531
1546.47/1551.04 c #Conflicts: 680000 | #Constraints: 28531
1546.47/1551.04 c #Conflicts: 681000 | #Constraints: 29531
1546.47/1551.04 c #Conflicts: 682000 | #Constraints: 30531
1546.47/1551.04 c #Conflicts: 683000 | #Constraints: 31531
1546.47/1551.04 c #Conflicts: 684000 | #Constraints: 32531
1546.47/1551.04 c #Conflicts: 685000 | #Constraints: 33531
1546.47/1551.04 c #Conflicts: 686000 | #Constraints: 34531
1546.47/1551.04 c #Conflicts: 687000 | #Constraints: 35531
1546.47/1551.04 c #Conflicts: 688000 | #Constraints: 36531
1546.47/1551.04 c INPROCESSING
1546.47/1551.04 c GARBAGE COLLECT
1546.47/1551.04 c #Conflicts: 689000 | #Constraints: 21136
1546.47/1551.04 c #Conflicts: 690000 | #Constraints: 22136
1546.47/1551.04 c #Conflicts: 691000 | #Constraints: 23136
1546.47/1551.04 c #Conflicts: 692000 | #Constraints: 24136
1546.47/1551.04 c #Conflicts: 693000 | #Constraints: 25136
1546.47/1551.04 c #Conflicts: 694000 | #Constraints: 26136
1546.47/1551.04 c #Conflicts: 695000 | #Constraints: 27136
1546.47/1551.04 c #Conflicts: 696000 | #Constraints: 28136
1546.47/1551.04 c #Conflicts: 697000 | #Constraints: 29136
1546.47/1551.04 c #Conflicts: 698000 | #Constraints: 30136
1546.47/1551.04 c #Conflicts: 699000 | #Constraints: 31136
1546.47/1551.04 c #Conflicts: 700000 | #Constraints: 32136
1546.47/1551.04 c #Conflicts: 701000 | #Constraints: 33136
1546.47/1551.04 c #Conflicts: 702000 | #Constraints: 34136
1546.47/1551.04 c #Conflicts: 703000 | #Constraints: 35136
1546.47/1551.04 c #Conflicts: 704000 | #Constraints: 36136
1546.47/1551.04 c #Conflicts: 705000 | #Constraints: 37136
1546.47/1551.04 c INPROCESSING
1546.47/1551.04 c GARBAGE COLLECT
1546.47/1551.04 c #Conflicts: 706000 | #Constraints: 21546
1546.47/1551.04 c #Conflicts: 707000 | #Constraints: 22546
1546.47/1551.04 c #Conflicts: 708000 | #Constraints: 23546
1546.47/1551.04 c #Conflicts: 709000 | #Constraints: 24546
1546.47/1551.04 c #Conflicts: 710000 | #Constraints: 25546
1546.47/1551.04 c #Conflicts: 711000 | #Constraints: 26546
1546.47/1551.04 c #Conflicts: 712000 | #Constraints: 27546
1546.47/1551.04 c #Conflicts: 713000 | #Constraints: 28546
1546.47/1551.04 c #Conflicts: 714000 | #Constraints: 29546
1546.47/1551.04 c #Conflicts: 715000 | #Constraints: 30546
1546.47/1551.04 c #Conflicts: 716000 | #Constraints: 31546
1546.47/1551.04 c #Conflicts: 717000 | #Constraints: 32546
1546.47/1551.04 c #Conflicts: 718000 | #Constraints: 33546
1546.47/1551.04 c #Conflicts: 719000 | #Constraints: 34546
1546.47/1551.04 c #Conflicts: 720000 | #Constraints: 35546
1546.47/1551.04 c #Conflicts: 721000 | #Constraints: 36546
1546.47/1551.04 c #Conflicts: 722000 | #Constraints: 37546
1546.47/1551.04 c INPROCESSING
1546.47/1551.04 c GARBAGE COLLECT
1546.47/1551.04 c #Conflicts: 723000 | #Constraints: 21745
1546.47/1551.04 c #Conflicts: 724000 | #Constraints: 22745
1546.47/1551.04 c #Conflicts: 725000 | #Constraints: 23745
1546.47/1551.04 c #Conflicts: 726000 | #Constraints: 24745
1546.47/1551.04 c #Conflicts: 727000 | #Constraints: 25745
1546.47/1551.04 c #Conflicts: 728000 | #Constraints: 26745
1546.47/1551.04 c #Conflicts: 729000 | #Constraints: 27745
1546.47/1551.04 c #Conflicts: 730000 | #Constraints: 28745
1546.47/1551.04 c #Conflicts: 731000 | #Constraints: 29745
1546.47/1551.04 c #Conflicts: 732000 | #Constraints: 30745
1546.47/1551.04 c #Conflicts: 733000 | #Constraints: 31745
1546.47/1551.04 c #Conflicts: 734000 | #Constraints: 32745
1546.47/1551.04 c #Conflicts: 735000 | #Constraints: 33745
1546.47/1551.04 c #Conflicts: 736000 | #Constraints: 34745
1546.47/1551.04 c #Conflicts: 737000 | #Constraints: 35745
1546.47/1551.04 c #Conflicts: 738000 | #Constraints: 36745
1765.98/1771.14 c #Conflicts: 739000 | #Constraints: 37745
1765.98/1771.14 c INPROCESSING
1765.98/1771.14 c GARBAGE COLLECT
1765.98/1771.14 c #Conflicts: 740000 | #Constraints: 21742
1765.98/1771.14 c #Conflicts: 741000 | #Constraints: 22742
1765.98/1771.14 c #Conflicts: 742000 | #Constraints: 23742
1765.98/1771.14 c #Conflicts: 743000 | #Constraints: 24742
1765.98/1771.14 c #Conflicts: 744000 | #Constraints: 25742
1765.98/1771.14 c #Conflicts: 745000 | #Constraints: 26742
1765.98/1771.14 c #Conflicts: 746000 | #Constraints: 27742
1765.98/1771.14 c #Conflicts: 747000 | #Constraints: 28742
1765.98/1771.14 c #Conflicts: 748000 | #Constraints: 29742
1765.98/1771.14 c #Conflicts: 749000 | #Constraints: 30742
1765.98/1771.14 c #Conflicts: 750000 | #Constraints: 31742
1765.98/1771.14 c #Conflicts: 751000 | #Constraints: 32742
1765.98/1771.14 c #Conflicts: 752000 | #Constraints: 33742
1765.98/1771.14 c #Conflicts: 753000 | #Constraints: 34742
1765.98/1771.14 c #Conflicts: 754000 | #Constraints: 35742
1765.98/1771.14 c #Conflicts: 755000 | #Constraints: 36742
1765.98/1771.14 c #Conflicts: 756000 | #Constraints: 37742
1765.98/1771.14 c INPROCESSING
1765.98/1771.14 c GARBAGE COLLECT
1765.98/1771.14 c #Conflicts: 757000 | #Constraints: 21546
1765.98/1771.14 c #Conflicts: 758000 | #Constraints: 22546
1765.98/1771.14 c #Conflicts: 759000 | #Constraints: 23546
1765.98/1771.14 c #Conflicts: 760000 | #Constraints: 24546
1765.98/1771.14 c #Conflicts: 761000 | #Constraints: 25546
1765.98/1771.14 c #Conflicts: 762000 | #Constraints: 26546
1765.98/1771.14 c #Conflicts: 763000 | #Constraints: 27546
1765.98/1771.14 c #Conflicts: 764000 | #Constraints: 28546
1765.98/1771.14 c #Conflicts: 765000 | #Constraints: 29546
1765.98/1771.14 c #Conflicts: 766000 | #Constraints: 30546
1765.98/1771.14 c #Conflicts: 767000 | #Constraints: 31546
1765.98/1771.14 c #Conflicts: 768000 | #Constraints: 32546
1765.98/1771.14 c #Conflicts: 769000 | #Constraints: 33546
1765.98/1771.14 c #Conflicts: 770000 | #Constraints: 34546
1765.98/1771.14 c #Conflicts: 771000 | #Constraints: 35546
1765.98/1771.14 c #Conflicts: 772000 | #Constraints: 36546
1765.98/1771.14 c #Conflicts: 773000 | #Constraints: 37546
1765.98/1771.14 c #Conflicts: 774000 | #Constraints: 38546
1765.98/1771.14 c INPROCESSING
1765.98/1771.14 c GARBAGE COLLECT
1765.98/1771.14 c #Conflicts: 775000 | #Constraints: 22134
1765.98/1771.14 c #Conflicts: 776000 | #Constraints: 23134
1765.98/1771.14 c #Conflicts: 777000 | #Constraints: 24134
1765.98/1771.14 c #Conflicts: 778000 | #Constraints: 25134
1765.98/1771.14 c #Conflicts: 779000 | #Constraints: 26134
1765.98/1771.14 c #Conflicts: 780000 | #Constraints: 27134
1765.98/1771.14 c #Conflicts: 781000 | #Constraints: 28134
1765.98/1771.14 c #Conflicts: 782000 | #Constraints: 29134
1765.98/1771.14 c #Conflicts: 783000 | #Constraints: 30134
1765.98/1771.14 c #Conflicts: 784000 | #Constraints: 31134
1765.98/1771.14 c #Conflicts: 785000 | #Constraints: 32134
1765.98/1771.14 c #Conflicts: 786000 | #Constraints: 33134
1765.98/1771.14 c #Conflicts: 787000 | #Constraints: 34134
1765.98/1771.14 c #Conflicts: 788000 | #Constraints: 35134
1765.98/1771.14 c #Conflicts: 789000 | #Constraints: 36134
1765.98/1771.14 c #Conflicts: 790000 | #Constraints: 37134
1765.98/1771.14 c #Conflicts: 791000 | #Constraints: 38134
1765.98/1771.14 c #Conflicts: 792000 | #Constraints: 39134
1765.98/1771.14 c INPROCESSING
1765.98/1771.14 c GARBAGE COLLECT
1765.98/1771.14 c #Conflicts: 793000 | #Constraints: 22536
1765.98/1771.14 c #Conflicts: 794000 | #Constraints: 23536
1765.98/1771.14 c #Conflicts: 795000 | #Constraints: 24536
1765.98/1771.14 c #Conflicts: 796000 | #Constraints: 25536
1765.98/1771.14 c #Conflicts: 797000 | #Constraints: 26536
1765.98/1771.14 c #Conflicts: 798000 | #Constraints: 27536
1765.98/1771.14 c #Conflicts: 799000 | #Constraints: 28536
1765.98/1771.14 c #Conflicts: 800000 | #Constraints: 29536
1765.98/1771.14 c #Conflicts: 801000 | #Constraints: 30536
1765.98/1771.14 c #Conflicts: 802000 | #Constraints: 31536
1765.98/1771.14 c #Conflicts: 803000 | #Constraints: 32536
1765.98/1771.14 c #Conflicts: 804000 | #Constraints: 33536
1765.98/1771.14 c #Conflicts: 805000 | #Constraints: 34536
1765.98/1771.14 c #Conflicts: 806000 | #Constraints: 35536
1765.98/1771.14 c #Conflicts: 807000 | #Constraints: 36536
1765.98/1771.14 c #Conflicts: 808000 | #Constraints: 37536
1765.98/1771.14 c #Conflicts: 809000 | #Constraints: 38536
1765.98/1771.14 c #Conflicts: 810000 | #Constraints: 39536
1765.98/1771.14 c INPROCESSING
1765.98/1771.14 c GARBAGE COLLECT
1765.98/1771.14 c #Conflicts: 811000 | #Constraints: 22730
1765.98/1771.14 c #Conflicts: 812000 | #Constraints: 23730
1765.98/1771.14 c #Conflicts: 813000 | #Constraints: 24730
1765.98/1771.14 c #Conflicts: 814000 | #Constraints: 25730
2052.78/2058.73 c #Conflicts: 815000 | #Constraints: 26730
2052.78/2058.73 c #Conflicts: 816000 | #Constraints: 27730
2052.78/2058.73 c #Conflicts: 817000 | #Constraints: 28730
2052.78/2058.73 c #Conflicts: 818000 | #Constraints: 29730
2052.78/2058.73 c #Conflicts: 819000 | #Constraints: 30730
2052.78/2058.73 c #Conflicts: 820000 | #Constraints: 31730
2052.78/2058.73 c #Conflicts: 821000 | #Constraints: 32730
2052.78/2058.73 c #Conflicts: 822000 | #Constraints: 33730
2052.78/2058.73 c #Conflicts: 823000 | #Constraints: 34730
2052.78/2058.73 c #Conflicts: 824000 | #Constraints: 35730
2052.78/2058.73 c #Conflicts: 825000 | #Constraints: 36730
2052.78/2058.73 c #Conflicts: 826000 | #Constraints: 37730
2052.78/2058.73 c #Conflicts: 827000 | #Constraints: 38730
2052.78/2058.73 c #Conflicts: 828000 | #Constraints: 39730
2052.78/2058.73 c INPROCESSING
2052.78/2058.73 c GARBAGE COLLECT
2052.78/2058.73 c #Conflicts: 829000 | #Constraints: 22746
2052.78/2058.73 c #Conflicts: 830000 | #Constraints: 23746
2052.78/2058.73 c #Conflicts: 831000 | #Constraints: 24746
2052.78/2058.73 c #Conflicts: 832000 | #Constraints: 25746
2052.78/2058.73 c #Conflicts: 833000 | #Constraints: 26746
2052.78/2058.73 c #Conflicts: 834000 | #Constraints: 27746
2052.78/2058.73 c #Conflicts: 835000 | #Constraints: 28746
2052.78/2058.73 c #Conflicts: 836000 | #Constraints: 29746
2052.78/2058.73 c #Conflicts: 837000 | #Constraints: 30746
2052.78/2058.73 c #Conflicts: 838000 | #Constraints: 31746
2052.78/2058.73 c #Conflicts: 839000 | #Constraints: 32746
2052.78/2058.73 c #Conflicts: 840000 | #Constraints: 33746
2052.78/2058.73 c #Conflicts: 841000 | #Constraints: 34746
2052.78/2058.73 c #Conflicts: 842000 | #Constraints: 35746
2052.78/2058.73 c #Conflicts: 843000 | #Constraints: 36746
2052.78/2058.73 c #Conflicts: 844000 | #Constraints: 37746
2052.78/2058.73 c #Conflicts: 845000 | #Constraints: 38746
2052.78/2058.73 c #Conflicts: 846000 | #Constraints: 39746
2052.78/2058.73 c INPROCESSING
2052.78/2058.73 c GARBAGE COLLECT
2052.78/2058.73 c #Conflicts: 847000 | #Constraints: 22551
2052.78/2058.73 c #Conflicts: 848000 | #Constraints: 23551
2052.78/2058.73 c #Conflicts: 849000 | #Constraints: 24551
2052.78/2058.73 c #Conflicts: 850000 | #Constraints: 25551
2052.78/2058.73 c #Conflicts: 851000 | #Constraints: 26551
2052.78/2058.73 c #Conflicts: 852000 | #Constraints: 27551
2052.78/2058.73 c #Conflicts: 853000 | #Constraints: 28551
2052.78/2058.73 c #Conflicts: 854000 | #Constraints: 29551
2052.78/2058.73 c #Conflicts: 855000 | #Constraints: 30551
2052.78/2058.73 c #Conflicts: 856000 | #Constraints: 31551
2052.78/2058.73 c #Conflicts: 857000 | #Constraints: 32551
2052.78/2058.73 c #Conflicts: 858000 | #Constraints: 33551
2052.78/2058.73 c #Conflicts: 859000 | #Constraints: 34551
2052.78/2058.73 c #Conflicts: 860000 | #Constraints: 35551
2052.78/2058.73 c #Conflicts: 861000 | #Constraints: 36551
2052.78/2058.73 c #Conflicts: 862000 | #Constraints: 37551
2052.78/2058.73 c #Conflicts: 863000 | #Constraints: 38551
2052.78/2058.73 c #Conflicts: 864000 | #Constraints: 39551
2052.78/2058.73 c #Conflicts: 865000 | #Constraints: 40551
2052.78/2058.73 c INPROCESSING
2052.78/2058.73 c GARBAGE COLLECT
2052.78/2058.73 c #Conflicts: 866000 | #Constraints: 23157
2052.78/2058.73 c #Conflicts: 867000 | #Constraints: 24157
2052.78/2058.73 c #Conflicts: 868000 | #Constraints: 25157
2052.78/2058.73 c #Conflicts: 869000 | #Constraints: 26157
2052.78/2058.73 c #Conflicts: 870000 | #Constraints: 27157
2052.78/2058.73 c #Conflicts: 871000 | #Constraints: 28157
2052.78/2058.73 c #Conflicts: 872000 | #Constraints: 29157
2052.78/2058.73 c #Conflicts: 873000 | #Constraints: 30157
2052.78/2058.73 c #Conflicts: 874000 | #Constraints: 31157
2052.78/2058.73 c #Conflicts: 875000 | #Constraints: 32157
2052.78/2058.73 c #Conflicts: 876000 | #Constraints: 33157
2052.78/2058.73 c #Conflicts: 877000 | #Constraints: 34157
2052.78/2058.73 c #Conflicts: 878000 | #Constraints: 35157
2052.78/2058.73 c #Conflicts: 879000 | #Constraints: 36157
2052.78/2058.73 c #Conflicts: 880000 | #Constraints: 37157
2052.78/2058.73 c #Conflicts: 881000 | #Constraints: 38157
2052.78/2058.73 c #Conflicts: 882000 | #Constraints: 39157
2052.78/2058.73 c #Conflicts: 883000 | #Constraints: 40157
2052.78/2058.73 c #Conflicts: 884000 | #Constraints: 41157
2052.78/2058.73 c INPROCESSING
2052.78/2058.73 c GARBAGE COLLECT
2052.78/2058.73 c #Conflicts: 885000 | #Constraints: 23552
2052.78/2058.73 c #Conflicts: 886000 | #Constraints: 24552
2052.78/2058.73 c #Conflicts: 887000 | #Constraints: 25552
2052.78/2058.73 c #Conflicts: 888000 | #Constraints: 26552
2052.78/2058.73 c #Conflicts: 889000 | #Constraints: 27552
2052.78/2058.73 c #Conflicts: 890000 | #Constraints: 28552
2416.73/2423.72 c #Conflicts: 891000 | #Constraints: 29552
2416.73/2423.72 c #Conflicts: 892000 | #Constraints: 30552
2416.73/2423.72 c #Conflicts: 893000 | #Constraints: 31552
2416.73/2423.72 c #Conflicts: 894000 | #Constraints: 32552
2416.73/2423.72 c #Conflicts: 895000 | #Constraints: 33552
2416.73/2423.72 c #Conflicts: 896000 | #Constraints: 34552
2416.73/2423.72 c #Conflicts: 897000 | #Constraints: 35552
2416.73/2423.72 c #Conflicts: 898000 | #Constraints: 36552
2416.73/2423.72 c #Conflicts: 899000 | #Constraints: 37552
2416.73/2423.72 c #Conflicts: 900000 | #Constraints: 38552
2416.73/2423.72 c #Conflicts: 901000 | #Constraints: 39552
2416.73/2423.72 c #Conflicts: 902000 | #Constraints: 40552
2416.73/2423.72 c #Conflicts: 903000 | #Constraints: 41552
2416.73/2423.72 c INPROCESSING
2416.73/2423.72 c GARBAGE COLLECT
2416.73/2423.72 c #Conflicts: 904000 | #Constraints: 23746
2416.73/2423.72 c #Conflicts: 905000 | #Constraints: 24746
2416.73/2423.72 c #Conflicts: 906000 | #Constraints: 25746
2416.73/2423.72 c #Conflicts: 907000 | #Constraints: 26746
2416.73/2423.72 c #Conflicts: 908000 | #Constraints: 27746
2416.73/2423.72 c #Conflicts: 909000 | #Constraints: 28746
2416.73/2423.72 c #Conflicts: 910000 | #Constraints: 29746
2416.73/2423.72 c #Conflicts: 911000 | #Constraints: 30746
2416.73/2423.72 c #Conflicts: 912000 | #Constraints: 31746
2416.73/2423.72 c #Conflicts: 913000 | #Constraints: 32746
2416.73/2423.72 c #Conflicts: 914000 | #Constraints: 33746
2416.73/2423.72 c #Conflicts: 915000 | #Constraints: 34746
2416.73/2423.72 c #Conflicts: 916000 | #Constraints: 35746
2416.73/2423.72 c #Conflicts: 917000 | #Constraints: 36746
2416.73/2423.72 c #Conflicts: 918000 | #Constraints: 37746
2416.73/2423.72 c #Conflicts: 919000 | #Constraints: 38746
2416.73/2423.72 c #Conflicts: 920000 | #Constraints: 39746
2416.73/2423.72 c #Conflicts: 921000 | #Constraints: 40746
2416.73/2423.72 c #Conflicts: 922000 | #Constraints: 41746
2416.73/2423.72 c INPROCESSING
2416.73/2423.72 c GARBAGE COLLECT
2416.73/2423.72 c #Conflicts: 923000 | #Constraints: 23737
2416.73/2423.72 c #Conflicts: 924000 | #Constraints: 24737
2416.73/2423.72 c #Conflicts: 925000 | #Constraints: 25737
2416.73/2423.72 c #Conflicts: 926000 | #Constraints: 26737
2416.73/2423.72 c #Conflicts: 927000 | #Constraints: 27737
2416.73/2423.72 c #Conflicts: 928000 | #Constraints: 28737
2416.73/2423.72 c #Conflicts: 929000 | #Constraints: 29737
2416.73/2423.72 c #Conflicts: 930000 | #Constraints: 30737
2416.73/2423.72 c #Conflicts: 931000 | #Constraints: 31737
2416.73/2423.72 c #Conflicts: 932000 | #Constraints: 32737
2416.73/2423.72 c #Conflicts: 933000 | #Constraints: 33737
2416.73/2423.72 c #Conflicts: 934000 | #Constraints: 34737
2416.73/2423.72 c #Conflicts: 935000 | #Constraints: 35737
2416.73/2423.72 c #Conflicts: 936000 | #Constraints: 36737
2416.73/2423.72 c #Conflicts: 937000 | #Constraints: 37737
2416.73/2423.72 c #Conflicts: 938000 | #Constraints: 38737
2416.73/2423.72 c #Conflicts: 939000 | #Constraints: 39737
2416.73/2423.72 c #Conflicts: 940000 | #Constraints: 40737
2416.73/2423.72 c #Conflicts: 941000 | #Constraints: 41737
2416.73/2423.72 c INPROCESSING
2416.73/2423.72 c GARBAGE COLLECT
2416.73/2423.72 c #Conflicts: 942000 | #Constraints: 23539
2416.73/2423.72 c #Conflicts: 943000 | #Constraints: 24539
2416.73/2423.72 c #Conflicts: 944000 | #Constraints: 25539
2416.73/2423.72 c #Conflicts: 945000 | #Constraints: 26539
2416.73/2423.72 c #Conflicts: 946000 | #Constraints: 27539
2416.73/2423.72 c #Conflicts: 947000 | #Constraints: 28539
2416.73/2423.72 c #Conflicts: 948000 | #Constraints: 29539
2416.73/2423.72 c #Conflicts: 949000 | #Constraints: 30539
2416.73/2423.72 c #Conflicts: 950000 | #Constraints: 31539
2416.73/2423.72 c #Conflicts: 951000 | #Constraints: 32539
2416.73/2423.72 c #Conflicts: 952000 | #Constraints: 33539
2416.73/2423.72 c #Conflicts: 953000 | #Constraints: 34539
2416.73/2423.72 c #Conflicts: 954000 | #Constraints: 35539
2416.73/2423.72 c #Conflicts: 955000 | #Constraints: 36539
2416.73/2423.72 c #Conflicts: 956000 | #Constraints: 37539
2416.73/2423.72 c #Conflicts: 957000 | #Constraints: 38539
2416.73/2423.72 c #Conflicts: 958000 | #Constraints: 39539
2416.73/2423.72 c #Conflicts: 959000 | #Constraints: 40539
2416.73/2423.72 c #Conflicts: 960000 | #Constraints: 41539
2416.73/2423.72 c #Conflicts: 961000 | #Constraints: 42539
2416.73/2423.72 c INPROCESSING
2416.73/2423.72 c GARBAGE COLLECT
2416.73/2423.72 c #Conflicts: 962000 | #Constraints: 24135
2416.73/2423.72 c #Conflicts: 963000 | #Constraints: 25135
2416.73/2423.72 c #Conflicts: 964000 | #Constraints: 26135
2416.73/2423.72 c #Conflicts: 965000 | #Constraints: 27135
2416.73/2423.72 c #Conflicts: 966000 | #Constraints: 28135
2895.08/2903.50 c #Conflicts: 967000 | #Constraints: 29135
2895.08/2903.50 c #Conflicts: 968000 | #Constraints: 30135
2895.08/2903.50 c #Conflicts: 969000 | #Constraints: 31135
2895.08/2903.50 c #Conflicts: 970000 | #Constraints: 32135
2895.08/2903.50 c #Conflicts: 971000 | #Constraints: 33135
2895.08/2903.50 c #Conflicts: 972000 | #Constraints: 34135
2895.08/2903.50 c #Conflicts: 973000 | #Constraints: 35135
2895.08/2903.50 c #Conflicts: 974000 | #Constraints: 36135
2895.08/2903.50 c #Conflicts: 975000 | #Constraints: 37135
2895.08/2903.50 c #Conflicts: 976000 | #Constraints: 38135
2895.08/2903.50 c #Conflicts: 977000 | #Constraints: 39135
2895.08/2903.50 c #Conflicts: 978000 | #Constraints: 40135
2895.08/2903.50 c #Conflicts: 979000 | #Constraints: 41135
2895.08/2903.50 c #Conflicts: 980000 | #Constraints: 42135
2895.08/2903.50 c #Conflicts: 981000 | #Constraints: 43135
2895.08/2903.50 c INPROCESSING
2895.08/2903.50 c GARBAGE COLLECT
2895.08/2903.50 c #Conflicts: 982000 | #Constraints: 24544
2895.08/2903.50 c #Conflicts: 983000 | #Constraints: 25544
2895.08/2903.50 c #Conflicts: 984000 | #Constraints: 26544
2895.08/2903.50 c #Conflicts: 985000 | #Constraints: 27544
2895.08/2903.50 c #Conflicts: 986000 | #Constraints: 28544
2895.08/2903.50 c #Conflicts: 987000 | #Constraints: 29544
2895.08/2903.50 c #Conflicts: 988000 | #Constraints: 30544
2895.08/2903.50 c #Conflicts: 989000 | #Constraints: 31544
2895.08/2903.50 c #Conflicts: 990000 | #Constraints: 32544
2895.08/2903.50 c #Conflicts: 991000 | #Constraints: 33544
2895.08/2903.50 c #Conflicts: 992000 | #Constraints: 34544
2895.08/2903.50 c #Conflicts: 993000 | #Constraints: 35544
2895.08/2903.50 c #Conflicts: 994000 | #Constraints: 36544
2895.08/2903.50 c #Conflicts: 995000 | #Constraints: 37544
2895.08/2903.50 c #Conflicts: 996000 | #Constraints: 38544
2895.08/2903.50 c #Conflicts: 997000 | #Constraints: 39544
2895.08/2903.50 c #Conflicts: 998000 | #Constraints: 40544
2895.08/2903.50 c #Conflicts: 999000 | #Constraints: 41544
2895.08/2903.50 c #Conflicts: 1000000 | #Constraints: 42544
2895.08/2903.50 c #Conflicts: 1001000 | #Constraints: 43544
2895.08/2903.50 c INPROCESSING
2895.08/2903.50 c GARBAGE COLLECT
2895.08/2903.50 c #Conflicts: 1002000 | #Constraints: 24741
2895.08/2903.50 c #Conflicts: 1003000 | #Constraints: 25741
2895.08/2903.50 c #Conflicts: 1004000 | #Constraints: 26741
2895.08/2903.50 c #Conflicts: 1005000 | #Constraints: 27741
2895.08/2903.50 c #Conflicts: 1006000 | #Constraints: 28741
2895.08/2903.50 c #Conflicts: 1007000 | #Constraints: 29741
2895.08/2903.50 c #Conflicts: 1008000 | #Constraints: 30741
2895.08/2903.50 c #Conflicts: 1009000 | #Constraints: 31741
2895.08/2903.50 c #Conflicts: 1010000 | #Constraints: 32741
2895.08/2903.50 c #Conflicts: 1011000 | #Constraints: 33741
2895.08/2903.50 c #Conflicts: 1012000 | #Constraints: 34741
2895.08/2903.50 c #Conflicts: 1013000 | #Constraints: 35741
2895.08/2903.50 c #Conflicts: 1014000 | #Constraints: 36741
2895.08/2903.50 c #Conflicts: 1015000 | #Constraints: 37741
2895.08/2903.50 c #Conflicts: 1016000 | #Constraints: 38741
2895.08/2903.50 c #Conflicts: 1017000 | #Constraints: 39741
2895.08/2903.50 c #Conflicts: 1018000 | #Constraints: 40741
2895.08/2903.50 c #Conflicts: 1019000 | #Constraints: 41741
2895.08/2903.50 c #Conflicts: 1020000 | #Constraints: 42741
2895.08/2903.50 c #Conflicts: 1021000 | #Constraints: 43741
2895.08/2903.50 c INPROCESSING
2895.08/2903.50 c GARBAGE COLLECT
2895.08/2903.50 c #Conflicts: 1022000 | #Constraints: 24736
2895.08/2903.50 c #Conflicts: 1023000 | #Constraints: 25736
2895.08/2903.50 c #Conflicts: 1024000 | #Constraints: 26736
2895.08/2903.50 c #Conflicts: 1025000 | #Constraints: 27736
2895.08/2903.50 c #Conflicts: 1026000 | #Constraints: 28736
2895.08/2903.50 c #Conflicts: 1027000 | #Constraints: 29736
2895.08/2903.50 c #Conflicts: 1028000 | #Constraints: 30736
2895.08/2903.50 c #Conflicts: 1029000 | #Constraints: 31736
2895.08/2903.50 c #Conflicts: 1030000 | #Constraints: 32736
2895.08/2903.50 c #Conflicts: 1031000 | #Constraints: 33736
2895.08/2903.50 c #Conflicts: 1032000 | #Constraints: 34736
2895.08/2903.50 c #Conflicts: 1033000 | #Constraints: 35736
2895.08/2903.50 c #Conflicts: 1034000 | #Constraints: 36736
2895.08/2903.50 c #Conflicts: 1035000 | #Constraints: 37736
2895.08/2903.50 c #Conflicts: 1036000 | #Constraints: 38736
2895.08/2903.50 c #Conflicts: 1037000 | #Constraints: 39736
2895.08/2903.50 c #Conflicts: 1038000 | #Constraints: 40736
2895.08/2903.50 c #Conflicts: 1039000 | #Constraints: 41736
2895.08/2903.50 c #Conflicts: 1040000 | #Constraints: 42736
2895.08/2903.50 c #Conflicts: 1041000 | #Constraints: 43736
2895.08/2903.50 c INPROCESSING
2895.08/2903.50 c GARBAGE COLLECT
2895.08/2903.50 c #Conflicts: 1042000 | #Constraints: 24540
2895.08/2903.50 c #Conflicts: 1043000 | #Constraints: 25540
3325.62/3335.35 c #Conflicts: 1044000 | #Constraints: 26540
3325.62/3335.35 c #Conflicts: 1045000 | #Constraints: 27540
3325.62/3335.35 c #Conflicts: 1046000 | #Constraints: 28540
3325.62/3335.35 c #Conflicts: 1047000 | #Constraints: 29540
3325.62/3335.35 c #Conflicts: 1048000 | #Constraints: 30540
3325.62/3335.35 c #Conflicts: 1049000 | #Constraints: 31540
3325.62/3335.35 c #Conflicts: 1050000 | #Constraints: 32540
3325.62/3335.35 c #Conflicts: 1051000 | #Constraints: 33540
3325.62/3335.35 c #Conflicts: 1052000 | #Constraints: 34540
3325.62/3335.35 c #Conflicts: 1053000 | #Constraints: 35540
3325.62/3335.35 c #Conflicts: 1054000 | #Constraints: 36540
3325.62/3335.35 c #Conflicts: 1055000 | #Constraints: 37540
3325.62/3335.35 c #Conflicts: 1056000 | #Constraints: 38540
3325.62/3335.35 c #Conflicts: 1057000 | #Constraints: 39540
3325.62/3335.35 c #Conflicts: 1058000 | #Constraints: 40540
3325.62/3335.35 c #Conflicts: 1059000 | #Constraints: 41540
3325.62/3335.35 c #Conflicts: 1060000 | #Constraints: 42540
3325.62/3335.35 c #Conflicts: 1061000 | #Constraints: 43540
3325.62/3335.35 c #Conflicts: 1062000 | #Constraints: 44540
3325.62/3335.35 c INPROCESSING
3325.62/3335.35 c GARBAGE COLLECT
3325.62/3335.35 c #Conflicts: 1063000 | #Constraints: 25153
3325.62/3335.35 c #Conflicts: 1064000 | #Constraints: 26153
3325.62/3335.35 c #Conflicts: 1065000 | #Constraints: 27153
3325.62/3335.35 c #Conflicts: 1066000 | #Constraints: 28153
3325.62/3335.35 c #Conflicts: 1067000 | #Constraints: 29153
3325.62/3335.35 c #Conflicts: 1068000 | #Constraints: 30153
3325.62/3335.35 c #Conflicts: 1069000 | #Constraints: 31153
3325.62/3335.35 c #Conflicts: 1070000 | #Constraints: 32153
3325.62/3335.35 c #Conflicts: 1071000 | #Constraints: 33153
3325.62/3335.35 c #Conflicts: 1072000 | #Constraints: 34153
3325.62/3335.35 c #Conflicts: 1073000 | #Constraints: 35153
3325.62/3335.35 c #Conflicts: 1074000 | #Constraints: 36153
3325.62/3335.35 c #Conflicts: 1075000 | #Constraints: 37153
3325.62/3335.35 c #Conflicts: 1076000 | #Constraints: 38153
3325.62/3335.35 c #Conflicts: 1077000 | #Constraints: 39153
3325.62/3335.35 c #Conflicts: 1078000 | #Constraints: 40153
3325.62/3335.35 c #Conflicts: 1079000 | #Constraints: 41153
3325.62/3335.35 c #Conflicts: 1080000 | #Constraints: 42153
3325.62/3335.35 c #Conflicts: 1081000 | #Constraints: 43153
3325.62/3335.35 c #Conflicts: 1082000 | #Constraints: 44153
3325.62/3335.35 c #Conflicts: 1083000 | #Constraints: 45153
3325.62/3335.35 c INPROCESSING
3325.62/3335.35 c GARBAGE COLLECT
3325.62/3335.35 c #Conflicts: 1084000 | #Constraints: 25554
3325.62/3335.35 c #Conflicts: 1085000 | #Constraints: 26554
3325.62/3335.35 c #Conflicts: 1086000 | #Constraints: 27554
3325.62/3335.35 c #Conflicts: 1087000 | #Constraints: 28554
3325.62/3335.35 c #Conflicts: 1088000 | #Constraints: 29554
3325.62/3335.35 c #Conflicts: 1089000 | #Constraints: 30554
3325.62/3335.35 c #Conflicts: 1090000 | #Constraints: 31554
3325.62/3335.35 c #Conflicts: 1091000 | #Constraints: 32554
3325.62/3335.35 c #Conflicts: 1092000 | #Constraints: 33554
3325.62/3335.35 c #Conflicts: 1093000 | #Constraints: 34554
3325.62/3335.35 c #Conflicts: 1094000 | #Constraints: 35554
3325.62/3335.35 c #Conflicts: 1095000 | #Constraints: 36554
3325.62/3335.35 c #Conflicts: 1096000 | #Constraints: 37554
3325.62/3335.35 c #Conflicts: 1097000 | #Constraints: 38554
3325.62/3335.35 c #Conflicts: 1098000 | #Constraints: 39554
3325.62/3335.35 c #Conflicts: 1099000 | #Constraints: 40554
3325.62/3335.35 c #Conflicts: 1100000 | #Constraints: 41554
3325.62/3335.35 c #Conflicts: 1101000 | #Constraints: 42554
3325.62/3335.35 c #Conflicts: 1102000 | #Constraints: 43554
3325.62/3335.35 c #Conflicts: 1103000 | #Constraints: 44554
3325.62/3335.35 c #Conflicts: 1104000 | #Constraints: 45554
3325.62/3335.35 c INPROCESSING
3325.62/3335.35 c GARBAGE COLLECT
3325.62/3335.35 c #Conflicts: 1105000 | #Constraints: 25741
3325.62/3335.35 c #Conflicts: 1106000 | #Constraints: 26741
3325.62/3335.35 c #Conflicts: 1107000 | #Constraints: 27741
3325.62/3335.35 c #Conflicts: 1108000 | #Constraints: 28741
3325.62/3335.35 c #Conflicts: 1109000 | #Constraints: 29741
3325.62/3335.35 c #Conflicts: 1110000 | #Constraints: 30741
3325.62/3335.35 c #Conflicts: 1111000 | #Constraints: 31741
3325.62/3335.35 c #Conflicts: 1112000 | #Constraints: 32741
3325.62/3335.35 c #Conflicts: 1113000 | #Constraints: 33741
3325.62/3335.35 c #Conflicts: 1114000 | #Constraints: 34741
3325.62/3335.35 c #Conflicts: 1115000 | #Constraints: 35741
3325.62/3335.35 c #Conflicts: 1116000 | #Constraints: 36741
3325.62/3335.35 c #Conflicts: 1117000 | #Constraints: 37741
3325.62/3335.35 c #Conflicts: 1118000 | #Constraints: 38741
3325.62/3335.35 c #Conflicts: 1119000 | #Constraints: 39741
3600.07/3610.60 c #Conflicts: 1120000 | #Constraints: 40741
3600.07/3610.60 c #Conflicts: 1121000 | #Constraints: 41741
3600.07/3610.60 c #Conflicts: 1122000 | #Constraints: 42741
3600.07/3610.60 c #Conflicts: 1123000 | #Constraints: 43741
3600.07/3610.60 c #Conflicts: 1124000 | #Constraints: 44741
3600.07/3610.60 c #Conflicts: 1125000 | #Constraints: 45741
3600.07/3610.60 c INPROCESSING
3600.07/3610.60 c GARBAGE COLLECT
3600.07/3610.60 c #Conflicts: 1126000 | #Constraints: 25737
3600.07/3610.60 c #Conflicts: 1127000 | #Constraints: 26737
3600.07/3610.60 c #Conflicts: 1128000 | #Constraints: 27737
3600.07/3610.60 c #Conflicts: 1129000 | #Constraints: 28737
3600.07/3610.60 c #Conflicts: 1130000 | #Constraints: 29737
3600.07/3610.60 c #Conflicts: 1131000 | #Constraints: 30737
3600.07/3610.60 c #Conflicts: 1132000 | #Constraints: 31737
3600.07/3610.60 c #Conflicts: 1133000 | #Constraints: 32737
3600.07/3610.60 c #Conflicts: 1134000 | #Constraints: 33737
3600.07/3610.60 c #Conflicts: 1135000 | #Constraints: 34737
3600.07/3610.60 c #Conflicts: 1136000 | #Constraints: 35737
3600.07/3610.60 c #Conflicts: 1137000 | #Constraints: 36737
3600.07/3610.60 c #Conflicts: 1138000 | #Constraints: 37737
3600.07/3610.60 c #Conflicts: 1139000 | #Constraints: 38737
3600.07/3610.60 c #Conflicts: 1140000 | #Constraints: 39737
3600.07/3610.60 c #Conflicts: 1141000 | #Constraints: 40737
3600.07/3610.60 c #Conflicts: 1142000 | #Constraints: 41737
3600.07/3610.60 c #Conflicts: 1143000 | #Constraints: 42737
3600.07/3610.60 c #Conflicts: 1144000 | #Constraints: 43737
3600.07/3610.60 c #Conflicts: 1145000 | #Constraints: 44737
3600.07/3610.60 c #Conflicts: 1146000 | #Constraints: 45737
3600.07/3610.60 c INPROCESSING
3600.07/3610.60 c GARBAGE COLLECT
3600.07/3610.60 c #Conflicts: 1147000 | #Constraints: 25524
3600.07/3610.60 c #Conflicts: 1148000 | #Constraints: 26524
3600.07/3610.60 c #Conflicts: 1149000 | #Constraints: 27524
3600.07/3610.60 c #Conflicts: 1150000 | #Constraints: 28524
3600.07/3610.60 c #Conflicts: 1151000 | #Constraints: 29524
3600.07/3610.60 c #Conflicts: 1152000 | #Constraints: 30524
3600.07/3610.60 c #Conflicts: 1153000 | #Constraints: 31524
3600.07/3610.60 c #Conflicts: 1154000 | #Constraints: 32524
3600.07/3610.60 c #Conflicts: 1155000 | #Constraints: 33524
3600.07/3610.60 c #Conflicts: 1156000 | #Constraints: 34524
3600.07/3610.60 c #Conflicts: 1157000 | #Constraints: 35524
3600.07/3610.60 c #Conflicts: 1158000 | #Constraints: 36524
3600.07/3610.60 c #Conflicts: 1159000 | #Constraints: 37524
3600.07/3610.60 c #Conflicts: 1160000 | #Constraints: 38524
3600.07/3610.60 c #Conflicts: 1161000 | #Constraints: 39524
3600.07/3610.60 c #Conflicts: 1162000 | #Constraints: 40524
3600.07/3610.60 c #Conflicts: 1163000 | #Constraints: 41524
3600.07/3610.60 c #Conflicts: 1164000 | #Constraints: 42524
3600.07/3610.60 c #Conflicts: 1165000 | #Constraints: 43524
3600.07/3610.60 c #Conflicts: 1166000 | #Constraints: 44524
3600.07/3610.60 c #Conflicts: 1167000 | #Constraints: 45524
3600.07/3610.60 c #Conflicts: 1168000 | #Constraints: 46524
3600.07/3610.60 c INPROCESSING
3600.07/3610.60 c GARBAGE COLLECT
3600.07/3610.60 c #Conflicts: 1169000 | #Constraints: 26124
3600.07/3610.60 c #Conflicts: 1170000 | #Constraints: 27124
3600.07/3610.60 c #Conflicts: 1171000 | #Constraints: 28124
3600.07/3610.60 c #Conflicts: 1172000 | #Constraints: 29124
3600.07/3610.60 c #Conflicts: 1173000 | #Constraints: 30124
3600.07/3610.60 c #Conflicts: 1174000 | #Constraints: 31124
3600.07/3610.60 c #Conflicts: 1175000 | #Constraints: 32124
3600.07/3610.60 c #Conflicts: 1176000 | #Constraints: 33124
3600.07/3610.60 c #Conflicts: 1177000 | #Constraints: 34124
3600.07/3610.60 c #Conflicts: 1178000 | #Constraints: 35124
3600.07/3610.60 c #Conflicts: 1179000 | #Constraints: 36124
3600.07/3610.60 c #Conflicts: 1180000 | #Constraints: 37124
3600.07/3610.60 c #Conflicts: 1181000 | #Constraints: 38124
3600.07/3610.60 c #Conflicts: 1182000 | #Constraints: 39124
3600.07/3610.60 c #Conflicts: 1183000 | #Constraints: 40124
3600.07/3610.60 c #Conflicts: 1184000 | #Constraints: 41124
3600.07/3610.60 c #Conflicts: 1185000 | #Constraints: 42124
3600.07/3610.60 c #Conflicts: 1186000 | #Constraints: 43124
3600.07/3610.60 c #Conflicts: 1187000 | #Constraints: 44124
3600.07/3610.60 c #Conflicts: 1188000 | #Constraints: 45124
3600.07/3610.60 c #Conflicts: 1189000 | #Constraints: 46124
3600.07/3610.60 c #Conflicts: 1190000 | #Constraints: 47124
3600.07/3610.60 c INPROCESSING
3600.07/3610.60 c GARBAGE COLLECT
3600.07/3610.60 c #Conflicts: 1191000 | #Constraints: 26510
3600.07/3610.60 c #Conflicts: 1192000 | #Constraints: 27510
3600.07/3610.60 c #Conflicts: 1193000 | #Constraints: 28510
3600.07/3610.60 c Program interrupted by user.
3600.07/3610.60 c cpu time 3591.35 s
3600.07/3610.60 c deterministic time 753898760537 7.54e+11
3600.07/3610.60 c optimization time 8.52022 s
3600.07/3610.60 c total solve time 3283.65 s
3600.07/3610.60 c core-guided solve time 3283.65 s
3600.07/3610.60 c propagation time 2758.41 s
3600.07/3610.60 c conflict analysis time 402.342 s
3600.07/3610.60 c propagations 92758351
3600.07/3610.60 c resolve steps 7518749
3600.07/3610.60 c decisions 4688557
3600.07/3610.60 c conflicts 1193324
3600.07/3610.60 c restarts 2236
3600.07/3610.60 c inprocessing phases 100
3600.07/3610.60 c input clauses 3861
3600.07/3610.60 c input cardinalities 151
3600.07/3610.60 c input general constraints 0
3600.07/3610.60 c input average constraint length 63.70
3600.07/3610.60 c input average constraint degree 28.54
3600.07/3610.60 c learned clauses 351781
3600.07/3610.60 c learned cardinalities 242880
3600.07/3610.60 c learned general constraints 598809
3600.07/3610.60 c learned average constraint length 951.71
3600.07/3610.60 c learned average constraint degree 381516.83
3600.07/3610.60 c watched constraints 384527
3600.07/3610.60 c counting constraints 214282
3600.07/3610.60 c gcd simplifications 35614
3600.07/3610.60 c detected cardinalities 8401
3600.07/3610.60 c weakened non-implied lits 163689696
3600.07/3610.60 c weakened non-implying lits 25401
3600.07/3610.60 c original variables 1968
3600.07/3610.60 c clausal propagations 31816765
3600.07/3610.60 c cardinality propagations 11970757
3600.07/3610.60 c watched propagations 13356244
3600.07/3610.60 c counting propagations 24104516
3600.07/3610.60 c watch lookups 33382753133
3600.07/3610.60 c watch backjump lookups 27850473507
3600.07/3610.60 c watch checks 618079087743
3600.07/3610.60 c propagation checks 71379083009
3600.07/3610.60 c constraint additions 3011277428
3600.07/3610.60 c trail pops 98638808
3600.07/3610.60 c formula constraints 3207
3600.07/3610.60 c learned constraints 1193470
3600.07/3610.60 c bound constraints 151
3600.07/3610.60 c core-guided constraints 654
3600.07/3610.60 c encountered formula constraints 5658158
3600.07/3610.60 c encountered learned constraints 2916177
3600.07/3610.60 c encountered bound constraints 2
3600.07/3610.60 c encountered core-guided constraints 137736
3600.07/3610.60 c LP total time 0 s
3600.07/3610.60 c LP solve time 0 s
3600.07/3610.60 c LP constraints added 0
3600.07/3610.60 c LP constraints removed 0
3600.07/3610.60 c LP pivots internal 0
3600.07/3610.60 c LP pivots root 0
3600.07/3610.60 c LP calls 0
3600.07/3610.60 c LP optimalities 0
3600.07/3610.60 c LP no pivot count 0
3600.07/3610.60 c LP infeasibilities 0
3600.07/3610.60 c LP valid Farkas constraints 0
3600.07/3610.60 c LP learned Farkas constraints 0
3600.07/3610.60 c LP basis resets 0
3600.07/3610.60 c LP cycling count 0
3600.07/3610.60 c LP singular count 0
3600.07/3610.60 c LP no primal count 0
3600.07/3610.60 c LP no farkas count 0
3600.07/3610.60 c LP other issue count 0
3600.07/3610.60 c LP Gomory cuts 0
3600.07/3610.60 c LP learned cuts 0
3600.07/3610.60 c LP deleted cuts 0
3600.07/3610.60 c LP encountered Gomory constraints 0
3600.07/3610.60 c LP encountered Farkas constraints 0
3600.07/3610.60 c LP encountered learned Farkas constraints 0
3600.07/3610.60 c CG auxiliary variables introduced 654
3600.07/3610.60 c CG solutions found 0
3600.07/3610.60 c CG cores constructed 150
3600.07/3610.60 c CG core cardinality constraints returned 0
3600.07/3610.60 c CG unit cores 0
3600.07/3610.60 c CG single cores 150
3600.07/3610.60 c CG blocks removed during cardinality reduction 0
3600.07/3610.60 c CG first core best 0
3600.07/3610.60 c CG decision core best 0
3600.07/3610.60 c CG core reduction tie 0
3600.07/3610.60 c CG core degree average 1.00
3600.07/3610.60 c CG core slack average 4.90
3600.07/3610.60 c CG exhausted 0
3600.07/3610.60 c CG exhaust time 0 s
3600.07/3610.60 c CG trimmed 0
3600.07/3610.60 c CG trim time 0.038697 s
3600.07/3610.60 c CG minimized 0
3600.07/3610.60 c CG minimize time 0 s
3600.07/3610.60 c CG am1 prop time 0.002226 s
3600.07/3610.60 c CG # am1s reformulated 654
3600.07/3610.60 c CG lower bound derived from am1s 657
3600.07/3610.60 c CG # clausal cores 150
3600.07/3610.60 c CG # cardinality cores 0
3600.07/3610.60 c CG # pb cores 0
3600.07/3610.60 c CG # pb reforms 0
3600.07/3610.60 c CG # cores discarded because of pb reform 0
3600.07/3610.60 d LOWERBOUND 807
3600.07/3610.60 d NCORES 150
3600.07/3610.60 d NPBCORES 0
3600.07/3610.60 d NPBREFORM 0
3600.07/3610.60 d NTRIMMED 0
3600.07/3610.60 d NEXHAUSTED 0
3600.07/3610.60 d NAM1S 654
3600.07/3610.60 d AM1LB 657
3600.07/3610.60 c [Papilo Statistics]
3600.07/3610.60 c prepro time 0.0139649s
3600.07/3610.60 c # tsx applied 163
3600.07/3610.60 c # tsx conflicts 9
3600.07/3610.60 c # bound changes 161
3600.07/3610.60 c # side changes 0
3600.07/3610.60 c # coef changes 0
3600.07/3610.60 c # rounds 2
3600.07/3610.60 c # deted vars 331
3600.07/3610.60 c # deted constrs 793
3600.07/3610.60 c # consecutive rounds of only bound changes 0
3600.07/3610.60 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62503 MiB free)
memory of node 1: 64465 MiB (63540 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528921-1752256389/watcher-4528921-1752256389 -o /tmp/evaluation-result-4528921-1752256389/solver-4528921-1752256389 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752256388-119672 --watchdog 3760 mixed-bag HOME/instance-4528921-1752256389.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=119723, runsolver pid=119712
Current StackSize limit: 8192 KiB
[startup+0.100105 s]*
/proc/loadavg: 3.57 3.99 4.05 5/252 119728
/proc/meminfo: memFree=129007636/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=103048 memory=30352 CPUtime=0.09 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 4316 0 0 0 8 1 0 0 20 0 1 0 141318269 105521152 7588 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 25762 7588 3936 2834 0 7967 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 103048 KiB
Current children cumulated memory: 30352 KiB
[startup+0.214205 s]*
/proc/loadavg: 3.57 3.99 4.05 6/252 119728
/proc/meminfo: memFree=128997464/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=112256 memory=38076 CPUtime=0.2 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 6439 0 0 0 18 2 0 0 20 0 1 0 141318269 114950144 9519 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 28064 9519 4096 2834 0 10269 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112256 KiB
Current children cumulated memory: 38076 KiB
[startup+0.314006 s]*
/proc/loadavg: 3.57 3.99 4.05 5/252 119728
/proc/meminfo: memFree=128982344/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=115636 memory=41660 CPUtime=0.3 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 7251 0 0 0 28 2 0 0 20 0 1 0 141318269 118411264 10415 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 28909 10415 4224 2834 0 11114 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 115636 KiB
Current children cumulated memory: 41660 KiB
[startup+0.700265 s]
/proc/loadavg: 3.57 3.99 4.05 5/252 119728
/proc/meminfo: memFree=128980328/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=119980 memory=45756 CPUtime=0.68 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 8278 0 0 0 65 3 0 0 20 0 1 0 141318269 122859520 11439 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 29995 11439 4224 2834 0 12200 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 119980 KiB
Current children cumulated memory: 45756 KiB
[startup+1.50028 s]
/proc/loadavg: 3.57 3.99 4.05 5/252 119728
/proc/meminfo: memFree=128964200/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=121572 memory=46908 CPUtime=1.47 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 8571 0 0 0 144 3 0 0 20 0 1 0 141318269 124489728 11727 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 30393 11727 4224 2834 0 12598 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 121572 KiB
Current children cumulated memory: 46908 KiB
[startup+3.11297 s]
/proc/loadavg: 3.57 3.99 4.05 5/252 119728
/proc/meminfo: memFree=128900540/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=130340 memory=54844 CPUtime=3.08 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 10542 0 0 0 305 3 0 0 20 0 1 0 141318269 133468160 13711 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 32585 13711 4224 2834 0 14790 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 130340 KiB
Current children cumulated memory: 54844 KiB
[startup+6.30024 s]
/proc/loadavg: 3.61 3.99 4.05 5/252 119728
/proc/meminfo: memFree=128707068/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=176376 memory=100028 CPUtime=6.25 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 21848 0 0 0 620 5 0 0 20 0 1 0 141318269 180609024 25007 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 44094 25007 4224 2834 0 26299 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 176376 KiB
Current children cumulated memory: 100028 KiB
[startup+12.7002 s]
/proc/loadavg: 3.64 3.99 4.05 5/252 119728
/proc/meminfo: memFree=128561940/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=209312 memory=128924 CPUtime=12.63 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 30176 0 0 0 1257 6 0 0 20 0 1 0 141318269 214335488 32231 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 52328 32231 4224 2834 0 34533 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 209312 KiB
Current children cumulated memory: 128924 KiB
[startup+25.5003 s]
/proc/loadavg: 3.72 3.99 4.05 5/252 119728
/proc/meminfo: memFree=128562092/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=214004 memory=133788 CPUtime=25.39 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 31385 0 0 0 2533 6 0 0 20 0 1 0 141318269 219140096 33447 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 53501 33447 4224 2834 0 35706 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 214004 KiB
Current children cumulated memory: 133788 KiB
[startup+51.1128 s]
/proc/loadavg: 3.88 4.01 4.05 5/252 119729
/proc/meminfo: memFree=128345956/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=284748 memory=198720 CPUtime=50.92 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 48326 0 0 0 5083 9 0 0 20 0 1 0 141318269 291581952 49680 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 71187 49680 4224 2834 0 53392 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 284748 KiB
Current children cumulated memory: 198720 KiB
[startup+102.3 s]
/proc/loadavg: 4.31 4.08 4.07 5/253 119732
/proc/meminfo: memFree=128248684/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=293376 memory=208908 CPUtime=101.95 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 52168 0 0 0 10185 10 0 0 20 0 1 0 141318269 300417024 52227 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 73344 52227 4224 2834 0 55549 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 293376 KiB
Current children cumulated memory: 208908 KiB
[startup+162.3 s]
/proc/loadavg: 5.27 4.42 4.19 5/253 119734
/proc/meminfo: memFree=128121840/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=305440 memory=220804 CPUtime=161.76 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 55709 0 0 0 16165 11 0 0 20 0 1 0 141318269 312770560 55201 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 76360 55201 4224 2834 0 58565 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 305440 KiB
Current children cumulated memory: 220804 KiB
[startup+222.3 s]
/proc/loadavg: 4.94 4.45 4.21 5/252 119736
/proc/meminfo: memFree=128071284/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=354624 memory=263940 CPUtime=221.57 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 66498 0 0 0 22144 13 0 0 20 0 1 0 141318269 363134976 65985 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 88656 65985 4224 2834 0 70861 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 354624 KiB
Current children cumulated memory: 263940 KiB
[startup+282.3 s]
/proc/loadavg: 5.28 4.67 4.31 5/251 119740
/proc/meminfo: memFree=128041344/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=356320 memory=264964 CPUtime=281.37 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 66786 0 0 0 28124 13 0 0 20 0 1 0 141318269 364871680 66241 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 89080 66241 4224 2834 0 71285 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 356320 KiB
Current children cumulated memory: 264964 KiB
[startup+342.3 s]
/proc/loadavg: 4.63 4.59 4.30 5/250 119742
/proc/meminfo: memFree=128394300/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=227976 memory=152304 CPUtime=341.17 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 70728 0 0 0 34060 57 0 0 20 0 1 0 141318269 233447424 38076 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 56994 38076 4384 2834 0 39199 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 227976 KiB
Current children cumulated memory: 152304 KiB
[startup+402.3 s]
/proc/loadavg: 4.29 4.50 4.28 5/250 119749
/proc/meminfo: memFree=128311076/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=266912 memory=187448 CPUtime=400.96 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 73401 0 0 0 39997 99 0 0 20 0 1 0 141318269 273317888 46862 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 66728 46862 4384 2834 0 48933 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 266912 KiB
Current children cumulated memory: 187448 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.42 4.27 5/251 119751
/proc/meminfo: memFree=128216328/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=331324 memory=220884 CPUtime=460.75 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 76780 0 0 0 45937 138 0 0 20 0 1 0 141318269 339275776 55221 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 82831 55221 4384 2834 0 65036 0
################
# More data... #
################
Current children cumulated memory: 603040 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 119877
/proc/meminfo: memFree=127171300/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=763136 memory=603040 CPUtime=2854 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 115500 0 0 0 284636 764 0 0 20 0 1 0 141318269 781451264 150760 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 190784 150760 4384 2834 0 172989 0
Current children cumulated CPU time: 2854 s
Current children cumulated vsize: 763136 KiB
Current children cumulated memory: 603040 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 119879
/proc/meminfo: memFree=127173228/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=763648 memory=603424 CPUtime=2913.83 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 115603 0 0 0 290612 771 0 0 20 0 1 0 141318269 781975552 150856 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 190912 150856 4384 2834 0 173117 0
Current children cumulated CPU time: 2913.83 s
Current children cumulated vsize: 763648 KiB
Current children cumulated memory: 603424 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 119881
/proc/meminfo: memFree=127168740/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=763648 memory=603424 CPUtime=2973.68 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 115603 0 0 0 296589 779 0 0 20 0 1 0 141318269 781975552 150856 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 190912 150856 4384 2834 0 173117 0
Current children cumulated CPU time: 2973.68 s
Current children cumulated vsize: 763648 KiB
Current children cumulated memory: 603424 KiB
[startup+3042.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/250 119882
/proc/meminfo: memFree=127160852/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=764416 memory=603936 CPUtime=3033.52 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 115750 0 0 0 302565 787 0 0 20 0 1 0 141318269 782761984 150984 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 191104 150984 4384 2834 0 173309 0
Current children cumulated CPU time: 3033.52 s
Current children cumulated vsize: 764416 KiB
Current children cumulated memory: 603936 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/250 119884
/proc/meminfo: memFree=127144852/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=764416 memory=603936 CPUtime=3093.36 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 115750 0 0 0 308540 796 0 0 20 0 1 0 141318269 782761984 150984 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 191104 150984 4384 2834 0 173309 0
Current children cumulated CPU time: 3093.36 s
Current children cumulated vsize: 764416 KiB
Current children cumulated memory: 603936 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 119886
/proc/meminfo: memFree=127092264/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=764416 memory=603936 CPUtime=3153.17 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 115750 0 0 0 314512 805 0 0 20 0 1 0 141318269 782761984 150984 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 191104 150984 4384 2834 0 173309 0
Current children cumulated CPU time: 3153.17 s
Current children cumulated vsize: 764416 KiB
Current children cumulated memory: 603936 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/250 119888
/proc/meminfo: memFree=127101988/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=764416 memory=603936 CPUtime=3212.97 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 115750 0 0 0 320487 810 0 0 20 0 1 0 141318269 782761984 150984 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 191104 150984 4384 2834 0 173309 0
Current children cumulated CPU time: 3212.97 s
Current children cumulated vsize: 764416 KiB
Current children cumulated memory: 603936 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 119892
/proc/meminfo: memFree=127090404/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=766980 memory=617828 CPUtime=3272.79 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 116155 0 0 0 326461 818 0 0 20 0 1 0 141318269 785387520 154457 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 191745 154457 4384 2834 0 173950 0
Current children cumulated CPU time: 3272.79 s
Current children cumulated vsize: 766980 KiB
Current children cumulated memory: 617828 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/249 119894
/proc/meminfo: memFree=127090592/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=766980 memory=617828 CPUtime=3332.6 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 116155 0 0 0 332437 823 0 0 20 0 1 0 141318269 785387520 154457 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 191745 154457 4384 2834 0 173950 0
Current children cumulated CPU time: 3332.6 s
Current children cumulated vsize: 766980 KiB
Current children cumulated memory: 617828 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/250 119901
/proc/meminfo: memFree=127091428/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=766980 memory=617828 CPUtime=3392.42 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 116155 0 0 0 338408 834 0 0 20 0 1 0 141318269 785387520 154457 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 191745 154457 4384 2834 0 173950 0
Current children cumulated CPU time: 3392.42 s
Current children cumulated vsize: 766980 KiB
Current children cumulated memory: 617828 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 119903
/proc/meminfo: memFree=127074616/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=769976 memory=619620 CPUtime=3452.22 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 116710 0 0 0 344381 841 0 0 20 0 1 0 141318269 788455424 154905 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 192494 154905 4384 2834 0 174699 0
Current children cumulated CPU time: 3452.22 s
Current children cumulated vsize: 769976 KiB
Current children cumulated memory: 619620 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/250 119905
/proc/meminfo: memFree=127062572/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=772280 memory=621284 CPUtime=3512.04 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 117109 0 0 0 350350 854 0 0 20 0 1 0 141318269 790814720 155321 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 193070 155321 4384 2834 0 175275 0
Current children cumulated CPU time: 3512.04 s
Current children cumulated vsize: 772280 KiB
Current children cumulated memory: 621284 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/251 119908
/proc/meminfo: memFree=127042280/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=774076 memory=622436 CPUtime=3571.85 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 117393 0 0 0 356320 865 0 0 20 0 1 0 141318269 792653824 155609 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 193519 155609 4384 2834 0 175724 0
Current children cumulated CPU time: 3571.85 s
Current children cumulated vsize: 774076 KiB
Current children cumulated memory: 622436 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.14 4.11 4.09 5/251 119910
/proc/meminfo: memFree=127034700/131382112 swapFree=33002444/33010684
[pid=119723] ppid=119712 vsize=777732 memory=624996 CPUtime=3600.07 cores=5,7
/proc/119723/stat : 119723 (mixed-bag) R 119712 119723 119659 0 -1 4194304 118035 0 0 0 359135 872 0 0 20 0 1 0 141318269 796397568 156249 18446744073709551615 4235264 15840557 140737160193456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 52236288 140737160202650 140737160202727 140737160202727 140737160208331 0
/proc/119723/statm: 194433 156249 4384 2834 0 176638 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 777732 KiB
Current children cumulated memory: 624996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 119723 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.35 s, system=8.72541 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.61
CPU time (s): 3600.08
CPU user time (s): 3591.35
CPU system time (s): 8.72541
CPU usage (%): 99.7084
Max. virtual memory (cumulated for all children) (KiB): 777732
Max. memory (cumulated for all children) (KiB): 624996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.35
system time used= 8.72541
maximum resident set size= 625636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118065
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= 320
involuntary context switches= 2861
# summary of solver processes directly reported to runsolver:
# pid: 119723
# total CPU time (s): 3600.08
# total CPU user time (s): 3591.35
# total CPU system time (s): 8.72541
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7071 second user time and 35.458 second system time
The end
Begin job on nodeC005 at 2025-07-11 19:53:09
IDJOB=4528921
IDBENCH=147524
IDSOLVER=3386
FILE ID=nodeC005/4528921-1752256389
RUNJOBID= nodeC005-1752256388-119672
SLURM_JOB_ID= 9682598
Free space on /tmp= 428616 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528921-1752256389/watcher-4528921-1752256389 -o /tmp/evaluation-result-4528921-1752256389/solver-4528921-1752256389 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752256388-119672 --watchdog 3760 mixed-bag HOME/instance-4528921-1752256389.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3986604c534c992b7a4e3e5a4bb881f1
RANDOM SEED=1616531476
nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.265
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.095
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.240
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.242
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1171.444
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.107
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.210
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.295
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129076868 kB
MemAvailable: 129949428 kB
Buffers: 12 kB
Cached: 1656964 kB
SwapCached: 244 kB
Active: 338752 kB
Inactive: 1383296 kB
Active(anon): 38256 kB
Inactive(anon): 39708 kB
Active(file): 300496 kB
Inactive(file): 1343588 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33002444 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 61236 kB
Writeback: 0 kB
AnonPages: 68188 kB
Mapped: 100840 kB
Shmem: 12892 kB
KReclaimable: 136208 kB
Slab: 225196 kB
SReclaimable: 136208 kB
SUnreclaim: 88988 kB
KernelStack: 3832 kB
PageTables: 2724 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 343848 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149272 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 428552 MiB
End job on nodeC005 at 2025-07-11 20:53:20