0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 907 #constraints 663
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= -175 @ 0.005006
0.00/0.01 c stratification level: 1
0.00/0.04 c bounds - >= 92 @ 0.011444
0.00/0.04 c bounds - >= 107 @ 0.014474
0.00/0.04 c bounds - >= 207 @ 0.015175
0.00/0.04 c bounds - >= 208 @ 0.016564
0.00/0.04 c bounds - >= 209 @ 0.017496
0.00/0.04 c bounds - >= 210 @ 0.018396
0.00/0.04 c bounds - >= 211 @ 0.019142
0.00/0.04 c bounds - >= 212 @ 0.019142
0.00/0.04 c bounds - >= 213 @ 0.019256
0.00/0.04 c bounds - >= 214 @ 0.020587
0.00/0.04 c bounds - >= 215 @ 0.021982
0.00/0.04 c bounds - >= 216 @ 0.023365
0.00/0.04 c finalizing WCE round: reformulating cores
1.67/1.76 c #Conflicts: 1000 | #Constraints: 1851
1.67/1.76 c #Conflicts: 2000 | #Constraints: 2853
1.67/1.76 c INPROCESSING
1.67/1.76 c GARBAGE COLLECT
1.67/1.76 c #Conflicts: 3000 | #Constraints: 2847
1.67/1.76 c bounds 2648 >= 216 @ 1.48871
1.67/1.76 c bounds 2648 >= 316 @ 1.49254
1.67/1.76 c bounds 2648 >= 317 @ 1.49254
1.67/1.76 c bounds 2648 >= 318 @ 1.49478
1.67/1.76 c bounds 2648 >= 319 @ 1.49729
1.67/1.76 c bounds 2648 >= 320 @ 1.5003
1.67/1.76 c bounds 2648 >= 321 @ 1.50303
1.67/1.76 c bounds 2648 >= 322 @ 1.5058
1.67/1.76 c bounds 2648 >= 323 @ 1.50769
1.67/1.76 c bounds 2648 >= 324 @ 1.51194
1.67/1.76 c bounds 2648 >= 325 @ 1.51907
1.67/1.76 c bounds 2648 >= 424 @ 1.53348
1.67/1.76 c bounds 2648 >= 425 @ 1.53492
1.67/1.76 c bounds 2648 >= 426 @ 1.54041
1.67/1.76 c bounds 2648 >= 427 @ 1.54243
1.67/1.76 c bounds 2648 >= 428 @ 1.54444
1.67/1.76 c bounds 2648 >= 429 @ 1.54645
1.67/1.76 c bounds 2648 >= 430 @ 1.54847
1.67/1.76 c bounds 2648 >= 431 @ 1.55048
1.67/1.76 c bounds 2648 >= 432 @ 1.5525
1.67/1.76 c bounds 2648 >= 525 @ 1.55476
1.67/1.76 c bounds 2648 >= 526 @ 1.56256
1.67/1.76 c bounds 2648 >= 531 @ 1.56629
1.67/1.76 c bounds 2648 >= 532 @ 1.56846
1.67/1.76 c finalizing WCE round: reformulating cores
9.64/9.77 c #Conflicts: 4000 | #Constraints: 3973
9.64/9.77 c INPROCESSING
9.64/9.77 c GARBAGE COLLECT
9.64/9.77 c #Conflicts: 5000 | #Constraints: 3334
9.64/9.77 c #Conflicts: 6000 | #Constraints: 4338
9.64/9.77 c INPROCESSING
9.64/9.77 c GARBAGE COLLECT
9.64/9.77 c #Conflicts: 7000 | #Constraints: 3332
9.64/9.77 c #Conflicts: 8000 | #Constraints: 4334
9.64/9.77 c #Conflicts: 9000 | #Constraints: 5338
9.64/9.77 c INPROCESSING
9.64/9.77 c GARBAGE COLLECT
9.64/9.77 c #Conflicts: 10000 | #Constraints: 4031
9.64/9.77 c #Conflicts: 11000 | #Constraints: 5033
9.64/9.77 c #Conflicts: 12000 | #Constraints: 6038
9.64/9.77 c INPROCESSING
9.64/9.77 c GARBAGE COLLECT
9.64/9.77 c #Conflicts: 13000 | #Constraints: 4470
9.64/9.77 c #Conflicts: 14000 | #Constraints: 5472
9.64/9.77 c #Conflicts: 15000 | #Constraints: 6474
9.64/9.77 c INPROCESSING
9.64/9.77 c GARBAGE COLLECT
9.64/9.77 c #Conflicts: 16000 | #Constraints: 4706
9.64/9.77 c #Conflicts: 17000 | #Constraints: 5708
9.64/9.77 c #Conflicts: 18000 | #Constraints: 6710
9.64/9.77 c INPROCESSING
9.64/9.77 c GARBAGE COLLECT
9.64/9.77 c #Conflicts: 19000 | #Constraints: 4736
9.64/9.77 c #Conflicts: 20000 | #Constraints: 5738
9.64/9.77 c bounds 2643 >= 533 @ 7.65933
9.64/9.77 c bounds 2643 >= 626 @ 7.66763
9.64/9.77 c bounds 2643 >= 627 @ 7.67462
9.64/9.77 c bounds 2643 >= 634 @ 7.68501
9.64/9.77 c bounds 2643 >= 720 @ 7.6872
9.64/9.77 c bounds 2643 >= 726 @ 7.69204
9.64/9.77 c bounds 2643 >= 727 @ 7.69335
9.64/9.77 c bounds 2643 >= 728 @ 7.7252
9.64/9.77 c bounds 2643 >= 729 @ 7.73529
9.64/9.77 c bounds 2643 >= 730 @ 7.73739
9.64/9.77 c bounds 2643 >= 731 @ 7.74156
9.64/9.77 c bounds 2643 >= 732 @ 7.99629
9.64/9.77 c bounds 2643 >= 733 @ 8.02682
9.64/9.77 c bounds 2643 >= 734 @ 8.03026
9.64/9.77 c bounds 2643 >= 735 @ 8.0348
9.64/9.77 c bounds 2643 >= 736 @ 8.03658
9.64/9.77 c bounds 2643 >= 737 @ 8.03827
9.64/9.77 c bounds 2643 >= 738 @ 8.03901
9.64/9.77 c bounds 2643 >= 739 @ 8.0397
9.64/9.77 c bounds 2643 >= 740 @ 8.04027
9.64/9.77 c bounds 2643 >= 741 @ 8.04178
9.64/9.77 c bounds 2643 >= 742 @ 8.0433
9.64/9.77 c bounds 2643 >= 743 @ 8.04482
9.64/9.77 c bounds 2643 >= 744 @ 8.04688
9.64/9.77 c bounds 2643 >= 818 @ 8.04763
9.64/9.77 c bounds 2643 >= 824 @ 8.08871
9.64/9.77 c bounds 2643 >= 827 @ 8.09585
9.64/9.77 c bounds 2643 >= 828 @ 8.18002
9.64/9.77 c bounds 2643 >= 829 @ 8.21096
9.64/9.77 c bounds 2643 >= 830 @ 8.23859
9.64/9.77 c #Conflicts: 21000 | #Constraints: 6923
9.64/9.77 c bounds 2643 >= 831 @ 8.38155
9.64/9.77 c bounds 2643 >= 832 @ 8.42778
9.64/9.77 c bounds 2643 >= 833 @ 8.42867
9.64/9.77 c bounds 2643 >= 834 @ 8.43421
9.64/9.77 c bounds 2643 >= 835 @ 8.43946
9.64/9.77 c bounds 2643 >= 840 @ 8.45195
9.64/9.77 c bounds 2643 >= 841 @ 8.45861
9.64/9.77 c bounds 2643 >= 842 @ 8.46838
9.64/9.77 c bounds 2643 >= 843 @ 8.47277
9.64/9.77 c bounds 2643 >= 844 @ 8.47695
9.64/9.77 c bounds 2643 >= 845 @ 8.48119
9.64/9.77 c bounds 2643 >= 846 @ 8.48527
9.64/9.77 c bounds 2643 >= 847 @ 8.48964
9.64/9.77 c bounds 2643 >= 848 @ 8.49434
9.64/9.77 c bounds 2643 >= 849 @ 8.49814
9.64/9.77 c bounds 2643 >= 850 @ 8.50284
9.64/9.77 c bounds 2643 >= 851 @ 8.50671
9.64/9.77 c bounds 2643 >= 852 @ 8.51154
9.64/9.77 c bounds 2643 >= 853 @ 8.51629
9.64/9.77 c bounds 2643 >= 854 @ 8.51971
9.64/9.77 c bounds 2643 >= 855 @ 8.52298
9.64/9.77 c bounds 2643 >= 856 @ 8.52715
9.64/9.77 c bounds 2643 >= 857 @ 8.53132
9.64/9.77 c bounds 2643 >= 858 @ 8.53446
9.64/9.77 c bounds 2643 >= 859 @ 8.53856
9.64/9.77 c bounds 2643 >= 860 @ 8.54161
9.64/9.77 c bounds 2643 >= 919 @ 8.5461
9.64/9.77 c bounds 2643 >= 927 @ 8.54706
9.64/9.77 c bounds 2643 >= 934 @ 8.60479
9.64/9.77 c bounds 2643 >= 935 @ 8.6296
9.64/9.77 c bounds 2643 >= 936 @ 8.64256
9.64/9.77 c bounds 2643 >= 937 @ 8.65507
9.64/9.77 c bounds 2643 >= 938 @ 8.66851
9.64/9.77 c bounds 2643 >= 939 @ 8.68253
9.64/9.77 c bounds 2643 >= 940 @ 8.69458
9.64/9.77 c bounds 2643 >= 941 @ 8.70638
9.64/9.77 c bounds 2643 >= 942 @ 8.71643
9.64/9.77 c bounds 2643 >= 943 @ 8.72726
9.64/9.77 c bounds 2643 >= 944 @ 8.73892
9.64/9.77 c bounds 2643 >= 945 @ 8.75054
9.64/9.77 c bounds 2643 >= 946 @ 8.76251
9.64/9.77 c bounds 2643 >= 947 @ 8.77474
9.64/9.77 c bounds 2643 >= 948 @ 8.78747
9.64/9.77 c bounds 2643 >= 949 @ 8.79966
9.64/9.77 c bounds 2643 >= 950 @ 8.81223
9.64/9.77 c bounds 2643 >= 951 @ 8.82707
9.64/9.77 c bounds 2643 >= 952 @ 8.83879
9.64/9.77 c bounds 2643 >= 953 @ 8.85116
9.64/9.77 c bounds 2643 >= 954 @ 8.86411
9.64/9.77 c bounds 2643 >= 955 @ 8.87529
9.64/9.77 c bounds 2643 >= 956 @ 8.88869
9.64/9.77 c bounds 2643 >= 957 @ 8.90101
9.64/9.77 c bounds 2643 >= 958 @ 8.91396
9.64/9.77 c bounds 2643 >= 959 @ 8.92622
9.64/9.77 c bounds 2643 >= 960 @ 8.93734
9.64/9.77 c bounds 2643 >= 1027 @ 8.9539
9.64/9.77 c bounds 2643 >= 1028 @ 9.04734
9.64/9.77 c bounds 2643 >= 1034 @ 9.06109
9.64/9.77 c bounds 2643 >= 1035 @ 9.08458
9.64/9.77 c bounds 2643 >= 1036 @ 9.11477
9.64/9.77 c bounds 2643 >= 1037 @ 9.13997
9.64/9.77 c bounds 2643 >= 1038 @ 9.20134
9.64/9.77 c bounds 2643 >= 1039 @ 9.21166
9.64/9.77 c bounds 2643 >= 1040 @ 9.23037
9.64/9.77 c bounds 2643 >= 1041 @ 9.2634
9.64/9.77 c bounds 2643 >= 1042 @ 9.26597
10.24/10.38 c bounds 2643 >= 1043 @ 9.26961
10.24/10.38 c bounds 2643 >= 1044 @ 9.27235
10.24/10.38 c bounds 2643 >= 1045 @ 9.27668
10.24/10.38 c bounds 2643 >= 1046 @ 9.29428
10.24/10.38 c bounds 2643 >= 1047 @ 9.3167
10.24/10.38 c bounds 2643 >= 1048 @ 9.32956
10.24/10.38 c bounds 2643 >= 1049 @ 9.34073
10.24/10.38 c bounds 2643 >= 1050 @ 9.35346
10.24/10.38 c bounds 2643 >= 1051 @ 9.36787
10.24/10.38 c bounds 2643 >= 1052 @ 9.38192
10.24/10.38 c bounds 2643 >= 1053 @ 9.39494
10.24/10.38 c bounds 2643 >= 1054 @ 9.40934
10.24/10.38 c bounds 2643 >= 1055 @ 9.42176
10.24/10.38 c bounds 2643 >= 1056 @ 9.43618
10.24/10.38 c bounds 2643 >= 1057 @ 9.44858
10.24/10.38 c bounds 2643 >= 1058 @ 9.46288
10.24/10.38 c INPROCESSING
10.24/10.38 c GARBAGE COLLECT
10.24/10.38 c bounds 2643 >= 1059 @ 9.51315
10.24/10.38 c bounds 2643 >= 1060 @ 9.51875
10.24/10.38 c bounds 2643 >= 1061 @ 9.52397
10.24/10.38 c bounds 2643 >= 1062 @ 9.52788
10.24/10.38 c bounds 2643 >= 1124 @ 9.53381
10.24/10.38 c bounds 2643 >= 1127 @ 9.53566
10.24/10.38 c bounds 2643 >= 1136 @ 9.5737
10.24/10.38 c bounds 2643 >= 1137 @ 9.60204
10.24/10.38 c bounds 2643 >= 1138 @ 9.61707
10.24/10.38 c bounds 2643 >= 1139 @ 9.63015
10.24/10.38 c bounds 2643 >= 1140 @ 9.63752
10.24/10.38 c bounds 2643 >= 1141 @ 9.71368
10.24/10.38 c bounds 2643 >= 1142 @ 9.75164
10.24/10.38 c bounds 2643 >= 1143 @ 9.76304
10.24/10.38 c bounds 2643 >= 1144 @ 9.77243
10.24/10.38 c #Conflicts: 22000 | #Constraints: 4935
10.24/10.38 c bounds 2643 >= 1145 @ 9.84011
10.24/10.38 c finalizing WCE round: reformulating cores
45.31/45.57 c #Conflicts: 23000 | #Constraints: 5953
45.31/45.57 c #Conflicts: 24000 | #Constraints: 6955
45.31/45.57 c #Conflicts: 25000 | #Constraints: 7957
45.31/45.57 c INPROCESSING
45.31/45.57 c GARBAGE COLLECT
45.31/45.57 c bounds 2642 >= 727 @ 11.3333
45.31/45.57 c #Conflicts: 26000 | #Constraints: 5453
45.31/45.57 c #Conflicts: 27000 | #Constraints: 6455
45.31/45.57 c #Conflicts: 28000 | #Constraints: 7457
45.31/45.57 c #Conflicts: 29000 | #Constraints: 8461
45.31/45.57 c INPROCESSING
45.31/45.57 c GARBAGE COLLECT
45.31/45.57 c #Conflicts: 30000 | #Constraints: 5800
45.31/45.57 c #Conflicts: 31000 | #Constraints: 6802
45.31/45.57 c #Conflicts: 32000 | #Constraints: 7804
45.31/45.57 c #Conflicts: 33000 | #Constraints: 8808
45.31/45.57 c INPROCESSING
45.31/45.57 c GARBAGE COLLECT
45.31/45.57 c #Conflicts: 34000 | #Constraints: 5993
45.31/45.57 c #Conflicts: 35000 | #Constraints: 6995
45.31/45.57 c #Conflicts: 36000 | #Constraints: 7997
45.31/45.57 c #Conflicts: 37000 | #Constraints: 9001
45.31/45.57 c INPROCESSING
45.31/45.57 c GARBAGE COLLECT
45.31/45.57 c #Conflicts: 38000 | #Constraints: 6001
45.31/45.57 c #Conflicts: 39000 | #Constraints: 7003
45.31/45.57 c #Conflicts: 40000 | #Constraints: 8005
45.31/45.57 c #Conflicts: 41000 | #Constraints: 9009
45.31/45.57 c INPROCESSING
45.31/45.57 c GARBAGE COLLECT
45.31/45.57 c #Conflicts: 42000 | #Constraints: 5826
45.31/45.57 c #Conflicts: 43000 | #Constraints: 6828
45.31/45.57 c #Conflicts: 44000 | #Constraints: 7832
45.31/45.57 c #Conflicts: 45000 | #Constraints: 8834
45.31/45.57 c #Conflicts: 46000 | #Constraints: 9836
45.31/45.57 c INPROCESSING
45.31/45.57 c GARBAGE COLLECT
45.31/45.57 c #Conflicts: 47000 | #Constraints: 6431
45.31/45.57 c #Conflicts: 48000 | #Constraints: 7433
45.31/45.57 c #Conflicts: 49000 | #Constraints: 8435
45.31/45.57 c #Conflicts: 50000 | #Constraints: 9439
45.31/45.57 c #Conflicts: 51000 | #Constraints: 10441
45.31/45.57 c INPROCESSING
45.31/45.57 c GARBAGE COLLECT
45.31/45.57 c #Conflicts: 52000 | #Constraints: 6847
45.31/45.57 c #Conflicts: 53000 | #Constraints: 7849
45.31/45.57 c #Conflicts: 54000 | #Constraints: 8851
45.31/45.57 c #Conflicts: 55000 | #Constraints: 9855
45.31/45.57 c #Conflicts: 56000 | #Constraints: 10857
45.31/45.57 c INPROCESSING
45.31/45.57 c GARBAGE COLLECT
45.31/45.57 c #Conflicts: 57000 | #Constraints: 7066
45.31/45.57 c #Conflicts: 58000 | #Constraints: 8068
45.31/45.57 c #Conflicts: 59000 | #Constraints: 9070
45.31/45.57 c #Conflicts: 60000 | #Constraints: 10074
45.31/45.57 c #Conflicts: 61000 | #Constraints: 11076
45.31/45.57 c INPROCESSING
45.31/45.57 c GARBAGE COLLECT
45.31/45.57 c #Conflicts: 62000 | #Constraints: 7086
45.31/45.57 c #Conflicts: 63000 | #Constraints: 8088
45.31/45.57 c #Conflicts: 64000 | #Constraints: 9090
45.31/45.57 c #Conflicts: 65000 | #Constraints: 10094
45.31/45.57 c #Conflicts: 66000 | #Constraints: 11096
45.31/45.57 c INPROCESSING
45.31/45.57 c GARBAGE COLLECT
45.31/45.57 c #Conflicts: 67000 | #Constraints: 6899
45.31/45.57 c #Conflicts: 68000 | #Constraints: 7901
45.31/45.57 c #Conflicts: 69000 | #Constraints: 8905
45.31/45.57 c #Conflicts: 70000 | #Constraints: 9907
45.31/45.57 c #Conflicts: 71000 | #Constraints: 10909
45.31/45.57 c #Conflicts: 72000 | #Constraints: 11913
45.31/45.57 c INPROCESSING
45.31/45.57 c GARBAGE COLLECT
45.31/45.57 c #Conflicts: 73000 | #Constraints: 7509
45.31/45.57 c #Conflicts: 74000 | #Constraints: 8511
45.31/45.57 c #Conflicts: 75000 | #Constraints: 9513
45.31/45.57 c #Conflicts: 76000 | #Constraints: 10517
45.31/45.57 c #Conflicts: 77000 | #Constraints: 11519
45.31/45.57 c #Conflicts: 78000 | #Constraints: 12521
45.31/45.57 c INPROCESSING
45.31/45.57 c GARBAGE COLLECT
45.31/45.57 c #Conflicts: 79000 | #Constraints: 7932
45.31/45.57 c #Conflicts: 80000 | #Constraints: 8934
45.31/45.57 c #Conflicts: 81000 | #Constraints: 9936
45.31/45.57 c #Conflicts: 82000 | #Constraints: 10940
45.31/45.57 c #Conflicts: 83000 | #Constraints: 11942
45.31/45.57 c #Conflicts: 84000 | #Constraints: 12944
45.31/45.57 c INPROCESSING
45.31/45.57 c GARBAGE COLLECT
45.31/45.57 c #Conflicts: 85000 | #Constraints: 8149
45.31/45.57 c #Conflicts: 86000 | #Constraints: 9151
45.31/45.57 c #Conflicts: 87000 | #Constraints: 10153
45.31/45.57 c #Conflicts: 88000 | #Constraints: 11157
45.31/45.57 c #Conflicts: 89000 | #Constraints: 12159
45.31/45.57 c #Conflicts: 90000 | #Constraints: 13161
45.31/45.57 c INPROCESSING
45.31/45.57 c GARBAGE COLLECT
45.31/45.57 c #Conflicts: 91000 | #Constraints: 8169
45.31/45.57 c #Conflicts: 92000 | #Constraints: 9171
68.31/68.68 c #Conflicts: 93000 | #Constraints: 10173
68.31/68.68 c #Conflicts: 94000 | #Constraints: 11177
68.31/68.68 c #Conflicts: 95000 | #Constraints: 12179
68.31/68.68 c #Conflicts: 96000 | #Constraints: 13181
68.31/68.68 c INPROCESSING
68.31/68.68 c GARBAGE COLLECT
68.31/68.68 c #Conflicts: 97000 | #Constraints: 7975
68.31/68.68 c #Conflicts: 98000 | #Constraints: 8977
68.31/68.68 c #Conflicts: 99000 | #Constraints: 9981
68.31/68.68 c #Conflicts: 100000 | #Constraints: 10983
68.31/68.68 c #Conflicts: 101000 | #Constraints: 11985
68.31/68.68 c #Conflicts: 102000 | #Constraints: 12989
68.31/68.68 c #Conflicts: 103000 | #Constraints: 13991
68.31/68.68 c INPROCESSING
68.31/68.68 c GARBAGE COLLECT
68.31/68.68 c #Conflicts: 104000 | #Constraints: 8606
68.31/68.68 c #Conflicts: 105000 | #Constraints: 9608
68.31/68.68 c #Conflicts: 106000 | #Constraints: 10610
68.31/68.68 c #Conflicts: 107000 | #Constraints: 11614
68.31/68.68 c #Conflicts: 108000 | #Constraints: 12616
68.31/68.68 c #Conflicts: 109000 | #Constraints: 13618
68.31/68.68 c #Conflicts: 110000 | #Constraints: 14622
68.31/68.68 c INPROCESSING
68.31/68.68 c GARBAGE COLLECT
68.31/68.68 c #Conflicts: 111000 | #Constraints: 9023
68.31/68.68 c #Conflicts: 112000 | #Constraints: 10025
68.31/68.68 c #Conflicts: 113000 | #Constraints: 11027
68.31/68.68 c #Conflicts: 114000 | #Constraints: 12031
68.31/68.68 c #Conflicts: 115000 | #Constraints: 13033
68.31/68.68 c #Conflicts: 116000 | #Constraints: 14035
68.31/68.68 c #Conflicts: 117000 | #Constraints: 15039
68.31/68.68 c INPROCESSING
68.31/68.68 c GARBAGE COLLECT
68.31/68.68 c #Conflicts: 118000 | #Constraints: 9239
68.31/68.68 c #Conflicts: 119000 | #Constraints: 10241
68.31/68.68 c #Conflicts: 120000 | #Constraints: 11243
68.31/68.68 c #Conflicts: 121000 | #Constraints: 12247
68.31/68.68 c #Conflicts: 122000 | #Constraints: 13249
68.31/68.68 c #Conflicts: 123000 | #Constraints: 14251
68.31/68.68 c bounds 2642 >= 1146 @ 62.6809
68.31/68.68 c bounds 2642 >= 1148 @ 62.6966
68.31/68.68 c bounds 2642 >= 1149 @ 62.7001
68.31/68.68 c bounds 2642 >= 1150 @ 62.7024
68.31/68.68 c bounds 2642 >= 1151 @ 62.7045
68.31/68.68 c bounds 2642 >= 1225 @ 62.7056
68.31/68.68 c bounds 2642 >= 1228 @ 62.7071
68.31/68.68 c bounds 2642 >= 1229 @ 62.7291
68.31/68.68 c bounds 2642 >= 1230 @ 62.7451
68.31/68.68 c bounds 2642 >= 1231 @ 62.8173
68.31/68.68 c bounds 2642 >= 1234 @ 63.0434
68.31/68.68 c bounds 2642 >= 1235 @ 63.0499
68.31/68.68 c bounds 2642 >= 1236 @ 63.0508
68.31/68.68 c bounds 2642 >= 1237 @ 63.0696
68.31/68.68 c bounds 2642 >= 1238 @ 63.1157
68.31/68.68 c bounds 2642 >= 1240 @ 63.2236
68.31/68.68 c bounds 2642 >= 1241 @ 63.2361
68.31/68.68 c bounds 2642 >= 1242 @ 63.2408
68.31/68.68 c bounds 2642 >= 1243 @ 63.2486
68.31/68.68 c bounds 2642 >= 1287 @ 63.2641
68.31/68.68 c bounds 2642 >= 1290 @ 63.2651
68.31/68.68 c bounds 2642 >= 1291 @ 63.2661
68.31/68.68 c bounds 2642 >= 1292 @ 63.2668
68.31/68.68 c bounds 2642 >= 1293 @ 63.2689
68.31/68.68 c bounds 2642 >= 1294 @ 63.2703
68.31/68.68 c bounds 2642 >= 1295 @ 63.2713
68.31/68.68 c bounds 2642 >= 1296 @ 63.2725
68.31/68.68 c bounds 2642 >= 1297 @ 63.274
68.31/68.68 c bounds 2642 >= 1298 @ 63.2751
68.31/68.68 c bounds 2642 >= 1299 @ 63.2751
68.31/68.68 c bounds 2642 >= 1300 @ 63.2751
68.31/68.68 c bounds 2642 >= 1301 @ 63.2763
68.31/68.68 c bounds 2642 >= 1302 @ 63.2783
68.31/68.68 c bounds 2642 >= 1303 @ 63.2797
68.31/68.68 c bounds 2642 >= 1304 @ 63.2817
68.31/68.68 c bounds 2642 >= 1305 @ 63.2837
68.31/68.68 c bounds 2642 >= 1306 @ 63.2851
68.31/68.68 c bounds 2642 >= 1307 @ 63.2865
68.31/68.68 c bounds 2642 >= 1308 @ 63.2871
68.31/68.68 c bounds 2642 >= 1309 @ 63.289
68.31/68.68 c bounds 2642 >= 1310 @ 63.2895
68.31/68.68 c bounds 2642 >= 1311 @ 63.2908
68.31/68.68 c bounds 2642 >= 1312 @ 63.2972
68.31/68.68 c bounds 2642 >= 1313 @ 63.3042
68.31/68.68 c bounds 2642 >= 1314 @ 63.3091
68.31/68.68 c bounds 2642 >= 1315 @ 63.3123
68.31/68.68 c bounds 2642 >= 1316 @ 63.3145
68.31/68.68 c bounds 2642 >= 1317 @ 63.3186
68.31/68.68 c bounds 2642 >= 1318 @ 63.3226
68.31/68.68 c bounds 2642 >= 1319 @ 63.3302
68.31/68.68 c bounds 2642 >= 1320 @ 63.333
68.31/68.68 c bounds 2642 >= 1321 @ 63.3387
68.31/68.68 c bounds 2642 >= 1322 @ 63.348
68.31/68.68 c bounds 2642 >= 1323 @ 63.354
68.31/68.68 c bounds 2642 >= 1324 @ 63.3579
68.31/68.68 c bounds 2642 >= 1325 @ 63.3649
68.31/68.68 c bounds 2642 >= 1326 @ 63.3668
68.31/68.68 c bounds 2642 >= 1327 @ 63.396
68.31/68.68 c bounds 2642 >= 1328 @ 63.3998
68.31/68.68 c bounds 2642 >= 1329 @ 63.4155
68.31/68.68 c bounds 2642 >= 1330 @ 63.4309
68.31/68.68 c bounds 2642 >= 1331 @ 63.4329
68.31/68.68 c bounds 2642 >= 1332 @ 65.3102
68.31/68.68 c #Conflicts: 124000 | #Constraints: 15806
68.31/68.68 c INPROCESSING
68.31/68.68 c GARBAGE COLLECT
68.31/68.68 c bounds 2642 >= 1333 @ 66.2944
68.31/68.68 c bounds 2642 >= 1334 @ 66.3036
68.31/68.68 c bounds 2642 >= 1338 @ 66.3071
68.31/68.68 c bounds 2642 >= 1367 @ 66.3078
68.31/68.68 c bounds 2642 >= 1368 @ 66.3084
68.31/68.68 c bounds 2642 >= 1369 @ 66.483
68.31/68.68 c bounds 2642 >= 1370 @ 66.5494
105.68/106.17 c bounds 2642 >= 1371 @ 66.9387
105.68/106.17 c #Conflicts: 125000 | #Constraints: 9732
105.68/106.17 c bounds 2642 >= 1372 @ 67.0322
105.68/106.17 c bounds 2642 >= 1373 @ 67.073
105.68/106.17 c bounds 2642 >= 1374 @ 67.0865
105.68/106.17 c bounds 2642 >= 1375 @ 67.0921
105.68/106.17 c bounds 2642 >= 1376 @ 67.1017
105.68/106.17 c bounds 2642 >= 1377 @ 67.1086
105.68/106.17 c bounds 2642 >= 1378 @ 67.1116
105.68/106.17 c bounds 2642 >= 1379 @ 67.1167
105.68/106.17 c bounds 2642 >= 1380 @ 67.124
105.68/106.17 c bounds 2642 >= 1381 @ 67.1317
105.68/106.17 c bounds 2642 >= 1382 @ 67.1346
105.68/106.17 c bounds 2642 >= 1383 @ 67.1426
105.68/106.17 c bounds 2642 >= 1384 @ 67.1461
105.68/106.17 c bounds 2642 >= 1390 @ 67.1525
105.68/106.17 c bounds 2642 >= 1391 @ 67.1582
105.68/106.17 c bounds 2642 >= 1392 @ 67.1592
105.68/106.17 c bounds 2642 >= 1415 @ 67.1628
105.68/106.17 c bounds 2642 >= 1420 @ 67.1902
105.68/106.17 c bounds 2642 >= 1431 @ 67.1941
105.68/106.17 c bounds 2642 >= 1432 @ 67.8144
105.68/106.17 c bounds 2642 >= 1433 @ 67.8597
105.68/106.17 c #Conflicts: 126000 | #Constraints: 10856
105.68/106.17 c #Conflicts: 127000 | #Constraints: 11856
105.68/106.17 c #Conflicts: 128000 | #Constraints: 12856
105.68/106.17 c #Conflicts: 129000 | #Constraints: 13856
105.68/106.17 c #Conflicts: 130000 | #Constraints: 14856
105.68/106.17 c #Conflicts: 131000 | #Constraints: 15856
105.68/106.17 c INPROCESSING
105.68/106.17 c GARBAGE COLLECT
105.68/106.17 c #Conflicts: 132000 | #Constraints: 9525
105.68/106.17 c #Conflicts: 133000 | #Constraints: 10525
105.68/106.17 c #Conflicts: 134000 | #Constraints: 11525
105.68/106.17 c #Conflicts: 135000 | #Constraints: 12525
105.68/106.17 c #Conflicts: 136000 | #Constraints: 13525
105.68/106.17 c #Conflicts: 137000 | #Constraints: 14525
105.68/106.17 c #Conflicts: 138000 | #Constraints: 15525
105.68/106.17 c #Conflicts: 139000 | #Constraints: 16525
105.68/106.17 c INPROCESSING
105.68/106.17 c GARBAGE COLLECT
105.68/106.17 c #Conflicts: 140000 | #Constraints: 10064
105.68/106.17 c #Conflicts: 141000 | #Constraints: 11064
105.68/106.17 c #Conflicts: 142000 | #Constraints: 12064
105.68/106.17 c #Conflicts: 143000 | #Constraints: 13064
105.68/106.17 c #Conflicts: 144000 | #Constraints: 14064
105.68/106.17 c #Conflicts: 145000 | #Constraints: 15064
105.68/106.17 c #Conflicts: 146000 | #Constraints: 16064
105.68/106.17 c #Conflicts: 147000 | #Constraints: 17064
105.68/106.17 c INPROCESSING
105.68/106.17 c GARBAGE COLLECT
105.68/106.17 c #Conflicts: 148000 | #Constraints: 10432
105.68/106.17 c #Conflicts: 149000 | #Constraints: 11432
105.68/106.17 c #Conflicts: 150000 | #Constraints: 12432
105.68/106.17 c #Conflicts: 151000 | #Constraints: 13432
105.68/106.17 c #Conflicts: 152000 | #Constraints: 14432
105.68/106.17 c #Conflicts: 153000 | #Constraints: 15432
105.68/106.17 c #Conflicts: 154000 | #Constraints: 16432
105.68/106.17 c #Conflicts: 155000 | #Constraints: 17432
105.68/106.17 c INPROCESSING
105.68/106.17 c GARBAGE COLLECT
105.68/106.17 c #Conflicts: 156000 | #Constraints: 10625
105.68/106.17 c #Conflicts: 157000 | #Constraints: 11625
105.68/106.17 c #Conflicts: 158000 | #Constraints: 12625
105.68/106.17 c #Conflicts: 159000 | #Constraints: 13625
105.68/106.17 c #Conflicts: 160000 | #Constraints: 14625
105.68/106.17 c #Conflicts: 161000 | #Constraints: 15625
105.68/106.17 c #Conflicts: 162000 | #Constraints: 16625
105.68/106.17 c #Conflicts: 163000 | #Constraints: 17625
105.68/106.17 c INPROCESSING
105.68/106.17 c GARBAGE COLLECT
105.68/106.17 c #Conflicts: 164000 | #Constraints: 10619
105.68/106.17 c #Conflicts: 165000 | #Constraints: 11619
105.68/106.17 c #Conflicts: 166000 | #Constraints: 12619
105.68/106.17 c #Conflicts: 167000 | #Constraints: 13619
105.68/106.17 c #Conflicts: 168000 | #Constraints: 14619
105.68/106.17 c #Conflicts: 169000 | #Constraints: 15619
105.68/106.17 c #Conflicts: 170000 | #Constraints: 16619
105.68/106.17 c #Conflicts: 171000 | #Constraints: 17619
105.68/106.17 c INPROCESSING
105.68/106.17 c GARBAGE COLLECT
105.68/106.17 c #Conflicts: 172000 | #Constraints: 10407
105.68/106.17 c #Conflicts: 173000 | #Constraints: 11407
105.68/106.17 c #Conflicts: 174000 | #Constraints: 12407
105.68/106.17 c #Conflicts: 175000 | #Constraints: 13407
105.68/106.17 c #Conflicts: 176000 | #Constraints: 14407
105.68/106.17 c #Conflicts: 177000 | #Constraints: 15407
105.68/106.17 c #Conflicts: 178000 | #Constraints: 16407
105.68/106.17 c #Conflicts: 179000 | #Constraints: 17407
105.68/106.17 c #Conflicts: 180000 | #Constraints: 18407
105.68/106.17 c INPROCESSING
105.68/106.17 c GARBAGE COLLECT
105.68/106.17 c #Conflicts: 181000 | #Constraints: 11007
105.68/106.17 c #Conflicts: 182000 | #Constraints: 12007
105.68/106.17 c #Conflicts: 183000 | #Constraints: 13007
105.68/106.17 c #Conflicts: 184000 | #Constraints: 14007
105.68/106.17 c #Conflicts: 185000 | #Constraints: 15007
204.09/204.90 c #Conflicts: 186000 | #Constraints: 16007
204.09/204.90 c #Conflicts: 187000 | #Constraints: 17007
204.09/204.90 c #Conflicts: 188000 | #Constraints: 18007
204.09/204.90 c #Conflicts: 189000 | #Constraints: 19007
204.09/204.90 c INPROCESSING
204.09/204.90 c GARBAGE COLLECT
204.09/204.90 c #Conflicts: 190000 | #Constraints: 11406
204.09/204.90 c #Conflicts: 191000 | #Constraints: 12406
204.09/204.90 c #Conflicts: 192000 | #Constraints: 13406
204.09/204.90 c #Conflicts: 193000 | #Constraints: 14406
204.09/204.90 c #Conflicts: 194000 | #Constraints: 15406
204.09/204.90 c #Conflicts: 195000 | #Constraints: 16406
204.09/204.90 c #Conflicts: 196000 | #Constraints: 17406
204.09/204.90 c #Conflicts: 197000 | #Constraints: 18406
204.09/204.90 c #Conflicts: 198000 | #Constraints: 19406
204.09/204.90 c INPROCESSING
204.09/204.90 c GARBAGE COLLECT
204.09/204.90 c #Conflicts: 199000 | #Constraints: 11636
204.09/204.90 c #Conflicts: 200000 | #Constraints: 12636
204.09/204.90 c #Conflicts: 201000 | #Constraints: 13636
204.09/204.90 c #Conflicts: 202000 | #Constraints: 14636
204.09/204.90 c #Conflicts: 203000 | #Constraints: 15636
204.09/204.90 c #Conflicts: 204000 | #Constraints: 16636
204.09/204.90 c #Conflicts: 205000 | #Constraints: 17636
204.09/204.90 c #Conflicts: 206000 | #Constraints: 18636
204.09/204.90 c #Conflicts: 207000 | #Constraints: 19636
204.09/204.90 c INPROCESSING
204.09/204.90 c GARBAGE COLLECT
204.09/204.90 c #Conflicts: 208000 | #Constraints: 11622
204.09/204.90 c #Conflicts: 209000 | #Constraints: 12622
204.09/204.90 c #Conflicts: 210000 | #Constraints: 13622
204.09/204.90 c #Conflicts: 211000 | #Constraints: 14622
204.09/204.90 c #Conflicts: 212000 | #Constraints: 15622
204.09/204.90 c #Conflicts: 213000 | #Constraints: 16622
204.09/204.90 c #Conflicts: 214000 | #Constraints: 17622
204.09/204.90 c #Conflicts: 215000 | #Constraints: 18622
204.09/204.90 c #Conflicts: 216000 | #Constraints: 19622
204.09/204.90 c INPROCESSING
204.09/204.90 c GARBAGE COLLECT
204.09/204.90 c #Conflicts: 217000 | #Constraints: 11417
204.09/204.90 c #Conflicts: 218000 | #Constraints: 12417
204.09/204.90 c #Conflicts: 219000 | #Constraints: 13417
204.09/204.90 c #Conflicts: 220000 | #Constraints: 14417
204.09/204.90 c #Conflicts: 221000 | #Constraints: 15417
204.09/204.90 c #Conflicts: 222000 | #Constraints: 16417
204.09/204.90 c #Conflicts: 223000 | #Constraints: 17417
204.09/204.90 c #Conflicts: 224000 | #Constraints: 18417
204.09/204.90 c #Conflicts: 225000 | #Constraints: 19417
204.09/204.90 c #Conflicts: 226000 | #Constraints: 20417
204.09/204.90 c INPROCESSING
204.09/204.90 c GARBAGE COLLECT
204.09/204.90 c #Conflicts: 227000 | #Constraints: 12008
204.09/204.90 c #Conflicts: 228000 | #Constraints: 13008
204.09/204.90 c #Conflicts: 229000 | #Constraints: 14008
204.09/204.90 c #Conflicts: 230000 | #Constraints: 15008
204.09/204.90 c #Conflicts: 231000 | #Constraints: 16008
204.09/204.90 c #Conflicts: 232000 | #Constraints: 17008
204.09/204.90 c #Conflicts: 233000 | #Constraints: 18008
204.09/204.90 c #Conflicts: 234000 | #Constraints: 19008
204.09/204.90 c #Conflicts: 235000 | #Constraints: 20008
204.09/204.90 c #Conflicts: 236000 | #Constraints: 21008
204.09/204.90 c INPROCESSING
204.09/204.90 c GARBAGE COLLECT
204.09/204.90 c #Conflicts: 237000 | #Constraints: 12395
204.09/204.90 c #Conflicts: 238000 | #Constraints: 13395
204.09/204.90 c #Conflicts: 239000 | #Constraints: 14395
204.09/204.90 c #Conflicts: 240000 | #Constraints: 15395
204.09/204.90 c #Conflicts: 241000 | #Constraints: 16395
204.09/204.90 c #Conflicts: 242000 | #Constraints: 17395
204.09/204.90 c #Conflicts: 243000 | #Constraints: 18395
204.09/204.90 c #Conflicts: 244000 | #Constraints: 19395
204.09/204.90 c #Conflicts: 245000 | #Constraints: 20395
204.09/204.90 c #Conflicts: 246000 | #Constraints: 21395
204.09/204.90 c INPROCESSING
204.09/204.90 c GARBAGE COLLECT
204.09/204.90 c #Conflicts: 247000 | #Constraints: 12588
204.09/204.90 c #Conflicts: 248000 | #Constraints: 13588
204.09/204.90 c #Conflicts: 249000 | #Constraints: 14588
204.09/204.90 c #Conflicts: 250000 | #Constraints: 15588
204.09/204.90 c #Conflicts: 251000 | #Constraints: 16588
204.09/204.90 c #Conflicts: 252000 | #Constraints: 17588
204.09/204.90 c #Conflicts: 253000 | #Constraints: 18588
204.09/204.90 c #Conflicts: 254000 | #Constraints: 19588
204.09/204.90 c #Conflicts: 255000 | #Constraints: 20588
204.09/204.90 c #Conflicts: 256000 | #Constraints: 21588
204.09/204.90 c INPROCESSING
204.09/204.90 c GARBAGE COLLECT
204.09/204.90 c #Conflicts: 257000 | #Constraints: 12608
204.09/204.90 c #Conflicts: 258000 | #Constraints: 13608
204.09/204.90 c #Conflicts: 259000 | #Constraints: 14608
326.42/327.73 c #Conflicts: 260000 | #Constraints: 15608
326.42/327.73 c #Conflicts: 261000 | #Constraints: 16608
326.42/327.73 c #Conflicts: 262000 | #Constraints: 17608
326.42/327.73 c #Conflicts: 263000 | #Constraints: 18608
326.42/327.73 c #Conflicts: 264000 | #Constraints: 19608
326.42/327.73 c #Conflicts: 265000 | #Constraints: 20608
326.42/327.73 c #Conflicts: 266000 | #Constraints: 21608
326.42/327.73 c INPROCESSING
326.42/327.73 c GARBAGE COLLECT
326.42/327.73 c #Conflicts: 267000 | #Constraints: 12404
326.42/327.73 c #Conflicts: 268000 | #Constraints: 13404
326.42/327.73 c #Conflicts: 269000 | #Constraints: 14404
326.42/327.73 c #Conflicts: 270000 | #Constraints: 15404
326.42/327.73 c #Conflicts: 271000 | #Constraints: 16404
326.42/327.73 c #Conflicts: 272000 | #Constraints: 17404
326.42/327.73 c #Conflicts: 273000 | #Constraints: 18404
326.42/327.73 c #Conflicts: 274000 | #Constraints: 19404
326.42/327.73 c #Conflicts: 275000 | #Constraints: 20404
326.42/327.73 c #Conflicts: 276000 | #Constraints: 21404
326.42/327.73 c #Conflicts: 277000 | #Constraints: 22404
326.42/327.73 c INPROCESSING
326.42/327.73 c GARBAGE COLLECT
326.42/327.73 c #Conflicts: 278000 | #Constraints: 13006
326.42/327.73 c #Conflicts: 279000 | #Constraints: 14006
326.42/327.73 c #Conflicts: 280000 | #Constraints: 15006
326.42/327.73 c #Conflicts: 281000 | #Constraints: 16006
326.42/327.73 c #Conflicts: 282000 | #Constraints: 17006
326.42/327.73 c #Conflicts: 283000 | #Constraints: 18006
326.42/327.73 c #Conflicts: 284000 | #Constraints: 19006
326.42/327.73 c #Conflicts: 285000 | #Constraints: 20006
326.42/327.73 c #Conflicts: 286000 | #Constraints: 21006
326.42/327.73 c #Conflicts: 287000 | #Constraints: 22006
326.42/327.73 c #Conflicts: 288000 | #Constraints: 23006
326.42/327.73 c INPROCESSING
326.42/327.73 c GARBAGE COLLECT
326.42/327.73 c #Conflicts: 289000 | #Constraints: 13399
326.42/327.73 c #Conflicts: 290000 | #Constraints: 14399
326.42/327.73 c #Conflicts: 291000 | #Constraints: 15399
326.42/327.73 c #Conflicts: 292000 | #Constraints: 16399
326.42/327.73 c #Conflicts: 293000 | #Constraints: 17399
326.42/327.73 c #Conflicts: 294000 | #Constraints: 18399
326.42/327.73 c #Conflicts: 295000 | #Constraints: 19399
326.42/327.73 c #Conflicts: 296000 | #Constraints: 20399
326.42/327.73 c #Conflicts: 297000 | #Constraints: 21399
326.42/327.73 c #Conflicts: 298000 | #Constraints: 22399
326.42/327.73 c #Conflicts: 299000 | #Constraints: 23399
326.42/327.73 c INPROCESSING
326.42/327.73 c GARBAGE COLLECT
326.42/327.73 c #Conflicts: 300000 | #Constraints: 13600
326.42/327.73 c #Conflicts: 301000 | #Constraints: 14600
326.42/327.73 c #Conflicts: 302000 | #Constraints: 15600
326.42/327.73 c #Conflicts: 303000 | #Constraints: 16600
326.42/327.73 c #Conflicts: 304000 | #Constraints: 17600
326.42/327.73 c #Conflicts: 305000 | #Constraints: 18600
326.42/327.73 c #Conflicts: 306000 | #Constraints: 19600
326.42/327.73 c #Conflicts: 307000 | #Constraints: 20600
326.42/327.73 c #Conflicts: 308000 | #Constraints: 21600
326.42/327.73 c #Conflicts: 309000 | #Constraints: 22600
326.42/327.73 c #Conflicts: 310000 | #Constraints: 23600
326.42/327.73 c INPROCESSING
326.42/327.73 c GARBAGE COLLECT
326.42/327.73 c #Conflicts: 311000 | #Constraints: 13625
326.42/327.73 c #Conflicts: 312000 | #Constraints: 14625
326.42/327.73 c #Conflicts: 313000 | #Constraints: 15625
326.42/327.73 c #Conflicts: 314000 | #Constraints: 16625
326.42/327.73 c #Conflicts: 315000 | #Constraints: 17625
326.42/327.73 c #Conflicts: 316000 | #Constraints: 18625
326.42/327.73 c #Conflicts: 317000 | #Constraints: 19625
326.42/327.73 c #Conflicts: 318000 | #Constraints: 20625
326.42/327.73 c #Conflicts: 319000 | #Constraints: 21625
326.42/327.73 c #Conflicts: 320000 | #Constraints: 22625
326.42/327.73 c #Conflicts: 321000 | #Constraints: 23625
326.42/327.73 c INPROCESSING
326.42/327.73 c GARBAGE COLLECT
326.42/327.73 c #Conflicts: 322000 | #Constraints: 13413
326.42/327.73 c #Conflicts: 323000 | #Constraints: 14413
326.42/327.73 c #Conflicts: 324000 | #Constraints: 15413
326.42/327.73 c #Conflicts: 325000 | #Constraints: 16413
326.42/327.73 c #Conflicts: 326000 | #Constraints: 17413
326.42/327.73 c #Conflicts: 327000 | #Constraints: 18413
326.42/327.73 c #Conflicts: 328000 | #Constraints: 19413
326.42/327.73 c #Conflicts: 329000 | #Constraints: 20413
326.42/327.73 c #Conflicts: 330000 | #Constraints: 21413
326.42/327.73 c #Conflicts: 331000 | #Constraints: 22413
326.42/327.73 c #Conflicts: 332000 | #Constraints: 23413
326.42/327.73 c #Conflicts: 333000 | #Constraints: 24413
326.42/327.73 c INPROCESSING
326.42/327.73 c GARBAGE COLLECT
487.59/489.52 c #Conflicts: 334000 | #Constraints: 14003
487.59/489.52 c #Conflicts: 335000 | #Constraints: 15003
487.59/489.52 c #Conflicts: 336000 | #Constraints: 16003
487.59/489.52 c #Conflicts: 337000 | #Constraints: 17003
487.59/489.52 c #Conflicts: 338000 | #Constraints: 18003
487.59/489.52 c #Conflicts: 339000 | #Constraints: 19003
487.59/489.52 c #Conflicts: 340000 | #Constraints: 20003
487.59/489.52 c #Conflicts: 341000 | #Constraints: 21003
487.59/489.52 c #Conflicts: 342000 | #Constraints: 22003
487.59/489.52 c #Conflicts: 343000 | #Constraints: 23003
487.59/489.52 c #Conflicts: 344000 | #Constraints: 24003
487.59/489.52 c #Conflicts: 345000 | #Constraints: 25003
487.59/489.52 c INPROCESSING
487.59/489.52 c GARBAGE COLLECT
487.59/489.52 c #Conflicts: 346000 | #Constraints: 14400
487.59/489.52 c #Conflicts: 347000 | #Constraints: 15400
487.59/489.52 c #Conflicts: 348000 | #Constraints: 16400
487.59/489.52 c #Conflicts: 349000 | #Constraints: 17400
487.59/489.52 c #Conflicts: 350000 | #Constraints: 18400
487.59/489.52 c #Conflicts: 351000 | #Constraints: 19400
487.59/489.52 c #Conflicts: 352000 | #Constraints: 20400
487.59/489.52 c #Conflicts: 353000 | #Constraints: 21400
487.59/489.52 c #Conflicts: 354000 | #Constraints: 22400
487.59/489.52 c #Conflicts: 355000 | #Constraints: 23400
487.59/489.52 c #Conflicts: 356000 | #Constraints: 24400
487.59/489.52 c #Conflicts: 357000 | #Constraints: 25400
487.59/489.52 c INPROCESSING
487.59/489.52 c GARBAGE COLLECT
487.59/489.52 c #Conflicts: 358000 | #Constraints: 14636
487.59/489.52 c #Conflicts: 359000 | #Constraints: 15636
487.59/489.52 c #Conflicts: 360000 | #Constraints: 16636
487.59/489.52 c #Conflicts: 361000 | #Constraints: 17636
487.59/489.52 c #Conflicts: 362000 | #Constraints: 18636
487.59/489.52 c #Conflicts: 363000 | #Constraints: 19636
487.59/489.52 c #Conflicts: 364000 | #Constraints: 20636
487.59/489.52 c #Conflicts: 365000 | #Constraints: 21636
487.59/489.52 c #Conflicts: 366000 | #Constraints: 22636
487.59/489.52 c #Conflicts: 367000 | #Constraints: 23636
487.59/489.52 c #Conflicts: 368000 | #Constraints: 24636
487.59/489.52 c #Conflicts: 369000 | #Constraints: 25636
487.59/489.52 c INPROCESSING
487.59/489.52 c GARBAGE COLLECT
487.59/489.52 c #Conflicts: 370000 | #Constraints: 14620
487.59/489.52 c #Conflicts: 371000 | #Constraints: 15620
487.59/489.52 c #Conflicts: 372000 | #Constraints: 16620
487.59/489.52 c #Conflicts: 373000 | #Constraints: 17620
487.59/489.52 c #Conflicts: 374000 | #Constraints: 18620
487.59/489.52 c #Conflicts: 375000 | #Constraints: 19620
487.59/489.52 c #Conflicts: 376000 | #Constraints: 20620
487.59/489.52 c #Conflicts: 377000 | #Constraints: 21620
487.59/489.52 c #Conflicts: 378000 | #Constraints: 22620
487.59/489.52 c #Conflicts: 379000 | #Constraints: 23620
487.59/489.52 c #Conflicts: 380000 | #Constraints: 24620
487.59/489.52 c #Conflicts: 381000 | #Constraints: 25620
487.59/489.52 c INPROCESSING
487.59/489.52 c GARBAGE COLLECT
487.59/489.52 c #Conflicts: 382000 | #Constraints: 14442
487.59/489.52 c #Conflicts: 383000 | #Constraints: 15442
487.59/489.52 c #Conflicts: 384000 | #Constraints: 16442
487.59/489.52 c #Conflicts: 385000 | #Constraints: 17442
487.59/489.52 c #Conflicts: 386000 | #Constraints: 18442
487.59/489.52 c #Conflicts: 387000 | #Constraints: 19442
487.59/489.52 c #Conflicts: 388000 | #Constraints: 20442
487.59/489.52 c #Conflicts: 389000 | #Constraints: 21442
487.59/489.52 c #Conflicts: 390000 | #Constraints: 22442
487.59/489.52 c #Conflicts: 391000 | #Constraints: 23442
487.59/489.52 c #Conflicts: 392000 | #Constraints: 24442
487.59/489.52 c #Conflicts: 393000 | #Constraints: 25442
487.59/489.52 c #Conflicts: 394000 | #Constraints: 26442
487.59/489.52 c INPROCESSING
487.59/489.52 c GARBAGE COLLECT
487.59/489.52 c #Conflicts: 395000 | #Constraints: 15026
487.59/489.52 c #Conflicts: 396000 | #Constraints: 16026
487.59/489.52 c #Conflicts: 397000 | #Constraints: 17026
487.59/489.52 c #Conflicts: 398000 | #Constraints: 18026
487.59/489.52 c #Conflicts: 399000 | #Constraints: 19026
487.59/489.52 c #Conflicts: 400000 | #Constraints: 20026
487.59/489.52 c #Conflicts: 401000 | #Constraints: 21026
487.59/489.52 c #Conflicts: 402000 | #Constraints: 22026
487.59/489.52 c #Conflicts: 403000 | #Constraints: 23026
487.59/489.52 c #Conflicts: 404000 | #Constraints: 24026
487.59/489.52 c #Conflicts: 405000 | #Constraints: 25026
487.59/489.52 c #Conflicts: 406000 | #Constraints: 26026
487.59/489.52 c #Conflicts: 407000 | #Constraints: 27026
487.59/489.52 c INPROCESSING
487.59/489.52 c GARBAGE COLLECT
487.59/489.52 c #Conflicts: 408000 | #Constraints: 15422
597.81/600.14 c #Conflicts: 409000 | #Constraints: 16422
597.81/600.14 c #Conflicts: 410000 | #Constraints: 17422
597.81/600.14 c #Conflicts: 411000 | #Constraints: 18422
597.81/600.14 c #Conflicts: 412000 | #Constraints: 19422
597.81/600.14 c #Conflicts: 413000 | #Constraints: 20422
597.81/600.14 c #Conflicts: 414000 | #Constraints: 21422
597.81/600.14 c #Conflicts: 415000 | #Constraints: 22422
597.81/600.14 c #Conflicts: 416000 | #Constraints: 23422
597.81/600.14 c #Conflicts: 417000 | #Constraints: 24422
597.81/600.14 c #Conflicts: 418000 | #Constraints: 25422
597.81/600.14 c #Conflicts: 419000 | #Constraints: 26422
597.81/600.14 c #Conflicts: 420000 | #Constraints: 27422
597.81/600.14 c INPROCESSING
597.81/600.14 c GARBAGE COLLECT
597.81/600.14 c #Conflicts: 421000 | #Constraints: 15615
597.81/600.14 c #Conflicts: 422000 | #Constraints: 16615
597.81/600.14 c #Conflicts: 423000 | #Constraints: 17615
597.81/600.14 c #Conflicts: 424000 | #Constraints: 18615
597.81/600.14 c #Conflicts: 425000 | #Constraints: 19615
597.81/600.14 c #Conflicts: 426000 | #Constraints: 20615
597.81/600.14 c #Conflicts: 427000 | #Constraints: 21615
597.81/600.14 c #Conflicts: 428000 | #Constraints: 22615
597.81/600.14 c #Conflicts: 429000 | #Constraints: 23615
597.81/600.14 c #Conflicts: 430000 | #Constraints: 24615
597.81/600.14 c #Conflicts: 431000 | #Constraints: 25615
597.81/600.14 c #Conflicts: 432000 | #Constraints: 26615
597.81/600.14 c #Conflicts: 433000 | #Constraints: 27615
597.81/600.14 c INPROCESSING
597.81/600.14 c GARBAGE COLLECT
597.81/600.14 c #Conflicts: 434000 | #Constraints: 15611
597.81/600.14 c #Conflicts: 435000 | #Constraints: 16611
597.81/600.14 c #Conflicts: 436000 | #Constraints: 17611
597.81/600.14 c #Conflicts: 437000 | #Constraints: 18611
597.81/600.14 c #Conflicts: 438000 | #Constraints: 19611
597.81/600.14 c #Conflicts: 439000 | #Constraints: 20611
597.81/600.14 c #Conflicts: 440000 | #Constraints: 21611
597.81/600.14 c #Conflicts: 441000 | #Constraints: 22611
597.81/600.14 c #Conflicts: 442000 | #Constraints: 23611
597.81/600.14 c #Conflicts: 443000 | #Constraints: 24611
597.81/600.14 c #Conflicts: 444000 | #Constraints: 25611
597.81/600.14 c #Conflicts: 445000 | #Constraints: 26611
597.81/600.14 c #Conflicts: 446000 | #Constraints: 27611
597.81/600.14 c INPROCESSING
597.81/600.14 c GARBAGE COLLECT
597.81/600.14 c #Conflicts: 447000 | #Constraints: 15408
597.81/600.14 c #Conflicts: 448000 | #Constraints: 16408
597.81/600.14 c #Conflicts: 449000 | #Constraints: 17408
597.81/600.14 c #Conflicts: 450000 | #Constraints: 18408
597.81/600.14 c #Conflicts: 451000 | #Constraints: 19408
597.81/600.14 c bounds 2642 >= 1434 @ 565.007
597.81/600.14 c bounds 2642 >= 1435 @ 565.345
597.81/600.14 c bounds 2642 >= 1436 @ 565.37
597.81/600.14 c bounds 2642 >= 1437 @ 565.38
597.81/600.14 c bounds 2642 >= 1438 @ 565.77
597.81/600.14 c bounds 2642 >= 1441 @ 566.44
597.81/600.14 c bounds 2642 >= 1458 @ 566.458
597.81/600.14 c bounds 2642 >= 1459 @ 566.605
597.81/600.14 c bounds 2642 >= 1460 @ 566.702
597.81/600.14 c bounds 2642 >= 1461 @ 566.871
597.81/600.14 c bounds 2642 >= 1462 @ 567.107
597.81/600.14 c bounds 2642 >= 1463 @ 567.2
597.81/600.14 c bounds 2642 >= 1464 @ 567.291
597.81/600.14 c bounds 2642 >= 1465 @ 567.348
597.81/600.14 c bounds 2642 >= 1466 @ 567.405
597.81/600.14 c bounds 2642 >= 1467 @ 567.46
597.81/600.14 c bounds 2642 >= 1468 @ 567.518
597.81/600.14 c bounds 2642 >= 1469 @ 567.573
597.81/600.14 c bounds 2642 >= 1470 @ 567.629
597.81/600.14 c bounds 2642 >= 1471 @ 567.682
597.81/600.14 c #Conflicts: 452000 | #Constraints: 20512
597.81/600.14 c bounds 2642 >= 1472 @ 568.361
597.81/600.14 c bounds 2642 >= 1473 @ 568.477
597.81/600.14 c bounds 2642 >= 1474 @ 568.594
597.81/600.14 c bounds 2642 >= 1475 @ 568.715
597.81/600.14 c bounds 2642 >= 1476 @ 568.774
597.81/600.14 c bounds 2642 >= 1477 @ 568.883
597.81/600.14 c bounds 2642 >= 1478 @ 568.997
597.81/600.14 c bounds 2642 >= 1479 @ 569.058
597.81/600.14 c bounds 2642 >= 1480 @ 569.147
597.81/600.14 c bounds 2642 >= 1481 @ 569.242
597.81/600.14 c bounds 2642 >= 1482 @ 569.288
597.81/600.14 c bounds 2642 >= 1483 @ 569.329
597.81/600.14 c bounds 2642 >= 1484 @ 569.375
597.81/600.14 c bounds 2642 >= 1501 @ 569.401
597.81/600.14 c #Conflicts: 453000 | #Constraints: 21568
597.81/600.14 c #Conflicts: 454000 | #Constraints: 22568
597.81/600.14 c bounds 2642 >= 1502 @ 577.131
597.81/600.14 c bounds 2642 >= 1509 @ 578.594
597.81/600.14 c bounds 2642 >= 1531 @ 578.606
597.81/600.14 c #Conflicts: 455000 | #Constraints: 23581
597.81/600.14 c #Conflicts: 456000 | #Constraints: 24581
597.81/600.14 c #Conflicts: 457000 | #Constraints: 25581
597.81/600.14 c #Conflicts: 458000 | #Constraints: 26581
597.81/600.14 c #Conflicts: 459000 | #Constraints: 27581
597.81/600.14 c #Conflicts: 460000 | #Constraints: 28581
597.81/600.14 c INPROCESSING
597.81/600.14 c GARBAGE COLLECT
597.81/600.14 c #Conflicts: 461000 | #Constraints: 16099
597.81/600.14 c #Conflicts: 462000 | #Constraints: 17099
720.42/723.13 c #Conflicts: 463000 | #Constraints: 18099
720.42/723.13 c #Conflicts: 464000 | #Constraints: 19099
720.42/723.13 c #Conflicts: 465000 | #Constraints: 20099
720.42/723.13 c #Conflicts: 466000 | #Constraints: 21099
720.42/723.13 c #Conflicts: 467000 | #Constraints: 22099
720.42/723.13 c #Conflicts: 468000 | #Constraints: 23099
720.42/723.13 c #Conflicts: 469000 | #Constraints: 24099
720.42/723.13 c #Conflicts: 470000 | #Constraints: 25099
720.42/723.13 c #Conflicts: 471000 | #Constraints: 26099
720.42/723.13 c #Conflicts: 472000 | #Constraints: 27099
720.42/723.13 c #Conflicts: 473000 | #Constraints: 28099
720.42/723.13 c #Conflicts: 474000 | #Constraints: 29099
720.42/723.13 c INPROCESSING
720.42/723.13 c GARBAGE COLLECT
720.42/723.13 c #Conflicts: 475000 | #Constraints: 16468
720.42/723.13 c #Conflicts: 476000 | #Constraints: 17468
720.42/723.13 c #Conflicts: 477000 | #Constraints: 18468
720.42/723.13 c #Conflicts: 478000 | #Constraints: 19468
720.42/723.13 c #Conflicts: 479000 | #Constraints: 20468
720.42/723.13 c #Conflicts: 480000 | #Constraints: 21468
720.42/723.13 c #Conflicts: 481000 | #Constraints: 22468
720.42/723.13 c #Conflicts: 482000 | #Constraints: 23468
720.42/723.13 c #Conflicts: 483000 | #Constraints: 24468
720.42/723.13 c #Conflicts: 484000 | #Constraints: 25468
720.42/723.13 c #Conflicts: 485000 | #Constraints: 26468
720.42/723.13 c #Conflicts: 486000 | #Constraints: 27468
720.42/723.13 c #Conflicts: 487000 | #Constraints: 28468
720.42/723.13 c #Conflicts: 488000 | #Constraints: 29468
720.42/723.13 c INPROCESSING
720.42/723.13 c GARBAGE COLLECT
720.42/723.13 c #Conflicts: 489000 | #Constraints: 16654
720.42/723.13 c #Conflicts: 490000 | #Constraints: 17654
720.42/723.13 c #Conflicts: 491000 | #Constraints: 18654
720.42/723.13 c #Conflicts: 492000 | #Constraints: 19654
720.42/723.13 c #Conflicts: 493000 | #Constraints: 20654
720.42/723.13 c #Conflicts: 494000 | #Constraints: 21654
720.42/723.13 c #Conflicts: 495000 | #Constraints: 22654
720.42/723.13 c #Conflicts: 496000 | #Constraints: 23654
720.42/723.13 c #Conflicts: 497000 | #Constraints: 24654
720.42/723.13 c #Conflicts: 498000 | #Constraints: 25654
720.42/723.13 c #Conflicts: 499000 | #Constraints: 26654
720.42/723.13 c #Conflicts: 500000 | #Constraints: 27654
720.42/723.13 c #Conflicts: 501000 | #Constraints: 28654
720.42/723.13 c #Conflicts: 502000 | #Constraints: 29654
720.42/723.13 c INPROCESSING
720.42/723.13 c GARBAGE COLLECT
720.42/723.13 c #Conflicts: 503000 | #Constraints: 16647
720.42/723.13 c #Conflicts: 504000 | #Constraints: 17647
720.42/723.13 c #Conflicts: 505000 | #Constraints: 18647
720.42/723.13 c #Conflicts: 506000 | #Constraints: 19647
720.42/723.13 c #Conflicts: 507000 | #Constraints: 20647
720.42/723.13 c #Conflicts: 508000 | #Constraints: 21647
720.42/723.13 c #Conflicts: 509000 | #Constraints: 22647
720.42/723.13 c #Conflicts: 510000 | #Constraints: 23647
720.42/723.13 c #Conflicts: 511000 | #Constraints: 24647
720.42/723.13 c #Conflicts: 512000 | #Constraints: 25647
720.42/723.13 c #Conflicts: 513000 | #Constraints: 26647
720.42/723.13 c #Conflicts: 514000 | #Constraints: 27647
720.42/723.13 c #Conflicts: 515000 | #Constraints: 28647
720.42/723.13 c #Conflicts: 516000 | #Constraints: 29647
720.42/723.13 c INPROCESSING
720.42/723.13 c GARBAGE COLLECT
720.42/723.13 c #Conflicts: 517000 | #Constraints: 16448
720.42/723.13 c #Conflicts: 518000 | #Constraints: 17448
720.42/723.13 c #Conflicts: 519000 | #Constraints: 18448
720.42/723.13 c #Conflicts: 520000 | #Constraints: 19448
720.42/723.13 c #Conflicts: 521000 | #Constraints: 20448
720.42/723.13 c #Conflicts: 522000 | #Constraints: 21448
720.42/723.13 c #Conflicts: 523000 | #Constraints: 22448
720.42/723.13 c #Conflicts: 524000 | #Constraints: 23448
720.42/723.13 c #Conflicts: 525000 | #Constraints: 24448
720.42/723.13 c #Conflicts: 526000 | #Constraints: 25448
720.42/723.13 c #Conflicts: 527000 | #Constraints: 26448
720.42/723.13 c #Conflicts: 528000 | #Constraints: 27448
720.42/723.13 c #Conflicts: 529000 | #Constraints: 28448
720.42/723.13 c #Conflicts: 530000 | #Constraints: 29448
720.42/723.13 c #Conflicts: 531000 | #Constraints: 30448
720.42/723.13 c INPROCESSING
720.42/723.13 c GARBAGE COLLECT
720.42/723.13 c #Conflicts: 532000 | #Constraints: 17045
720.42/723.13 c #Conflicts: 533000 | #Constraints: 18045
720.42/723.13 c #Conflicts: 534000 | #Constraints: 19045
720.42/723.13 c #Conflicts: 535000 | #Constraints: 20045
720.42/723.13 c #Conflicts: 536000 | #Constraints: 21045
720.42/723.13 c #Conflicts: 537000 | #Constraints: 22045
853.57/856.79 c #Conflicts: 538000 | #Constraints: 23045
853.57/856.79 c #Conflicts: 539000 | #Constraints: 24045
853.57/856.79 c #Conflicts: 540000 | #Constraints: 25045
853.57/856.79 c #Conflicts: 541000 | #Constraints: 26045
853.57/856.79 c #Conflicts: 542000 | #Constraints: 27045
853.57/856.79 c #Conflicts: 543000 | #Constraints: 28045
853.57/856.79 c #Conflicts: 544000 | #Constraints: 29045
853.57/856.79 c #Conflicts: 545000 | #Constraints: 30045
853.57/856.79 c #Conflicts: 546000 | #Constraints: 31045
853.57/856.79 c INPROCESSING
853.57/856.79 c GARBAGE COLLECT
853.57/856.79 c #Conflicts: 547000 | #Constraints: 17439
853.57/856.79 c #Conflicts: 548000 | #Constraints: 18439
853.57/856.79 c #Conflicts: 549000 | #Constraints: 19439
853.57/856.79 c #Conflicts: 550000 | #Constraints: 20439
853.57/856.79 c #Conflicts: 551000 | #Constraints: 21439
853.57/856.79 c #Conflicts: 552000 | #Constraints: 22439
853.57/856.79 c #Conflicts: 553000 | #Constraints: 23439
853.57/856.79 c #Conflicts: 554000 | #Constraints: 24439
853.57/856.79 c #Conflicts: 555000 | #Constraints: 25439
853.57/856.79 c #Conflicts: 556000 | #Constraints: 26439
853.57/856.79 c #Conflicts: 557000 | #Constraints: 27439
853.57/856.79 c #Conflicts: 558000 | #Constraints: 28439
853.57/856.79 c #Conflicts: 559000 | #Constraints: 29439
853.57/856.79 c #Conflicts: 560000 | #Constraints: 30439
853.57/856.79 c #Conflicts: 561000 | #Constraints: 31439
853.57/856.79 c INPROCESSING
853.57/856.79 c GARBAGE COLLECT
853.57/856.79 c #Conflicts: 562000 | #Constraints: 17640
853.57/856.79 c #Conflicts: 563000 | #Constraints: 18640
853.57/856.79 c #Conflicts: 564000 | #Constraints: 19640
853.57/856.79 c #Conflicts: 565000 | #Constraints: 20640
853.57/856.79 c #Conflicts: 566000 | #Constraints: 21640
853.57/856.79 c #Conflicts: 567000 | #Constraints: 22640
853.57/856.79 c #Conflicts: 568000 | #Constraints: 23640
853.57/856.79 c #Conflicts: 569000 | #Constraints: 24640
853.57/856.79 c #Conflicts: 570000 | #Constraints: 25640
853.57/856.79 c #Conflicts: 571000 | #Constraints: 26640
853.57/856.79 c #Conflicts: 572000 | #Constraints: 27640
853.57/856.79 c #Conflicts: 573000 | #Constraints: 28640
853.57/856.79 c #Conflicts: 574000 | #Constraints: 29640
853.57/856.79 c #Conflicts: 575000 | #Constraints: 30640
853.57/856.79 c #Conflicts: 576000 | #Constraints: 31640
853.57/856.79 c INPROCESSING
853.57/856.79 c GARBAGE COLLECT
853.57/856.79 c #Conflicts: 577000 | #Constraints: 17634
853.57/856.79 c #Conflicts: 578000 | #Constraints: 18634
853.57/856.79 c #Conflicts: 579000 | #Constraints: 19634
853.57/856.79 c #Conflicts: 580000 | #Constraints: 20634
853.57/856.79 c #Conflicts: 581000 | #Constraints: 21634
853.57/856.79 c #Conflicts: 582000 | #Constraints: 22634
853.57/856.79 c #Conflicts: 583000 | #Constraints: 23634
853.57/856.79 c #Conflicts: 584000 | #Constraints: 24634
853.57/856.79 c #Conflicts: 585000 | #Constraints: 25634
853.57/856.79 c #Conflicts: 586000 | #Constraints: 26634
853.57/856.79 c #Conflicts: 587000 | #Constraints: 27634
853.57/856.79 c #Conflicts: 588000 | #Constraints: 28634
853.57/856.79 c #Conflicts: 589000 | #Constraints: 29634
853.57/856.79 c #Conflicts: 590000 | #Constraints: 30634
853.57/856.79 c #Conflicts: 591000 | #Constraints: 31634
853.57/856.79 c INPROCESSING
853.57/856.79 c GARBAGE COLLECT
853.57/856.79 c #Conflicts: 592000 | #Constraints: 17434
853.57/856.79 c #Conflicts: 593000 | #Constraints: 18434
853.57/856.79 c #Conflicts: 594000 | #Constraints: 19434
853.57/856.79 c #Conflicts: 595000 | #Constraints: 20434
853.57/856.79 c #Conflicts: 596000 | #Constraints: 21434
853.57/856.79 c #Conflicts: 597000 | #Constraints: 22434
853.57/856.79 c #Conflicts: 598000 | #Constraints: 23434
853.57/856.79 c #Conflicts: 599000 | #Constraints: 24434
853.57/856.79 c #Conflicts: 600000 | #Constraints: 25434
853.57/856.79 c #Conflicts: 601000 | #Constraints: 26434
853.57/856.79 c #Conflicts: 602000 | #Constraints: 27434
853.57/856.79 c #Conflicts: 603000 | #Constraints: 28434
853.57/856.79 c #Conflicts: 604000 | #Constraints: 29434
853.57/856.79 c #Conflicts: 605000 | #Constraints: 30434
853.57/856.79 c #Conflicts: 606000 | #Constraints: 31434
853.57/856.79 c #Conflicts: 607000 | #Constraints: 32434
853.57/856.79 c INPROCESSING
853.57/856.79 c GARBAGE COLLECT
853.57/856.79 c #Conflicts: 608000 | #Constraints: 18038
853.57/856.79 c #Conflicts: 609000 | #Constraints: 19038
853.57/856.79 c #Conflicts: 610000 | #Constraints: 20038
853.57/856.79 c #Conflicts: 611000 | #Constraints: 21038
853.57/856.79 c #Conflicts: 612000 | #Constraints: 22038
853.57/856.79 c #Conflicts: 613000 | #Constraints: 23038
991.53/995.17 c #Conflicts: 614000 | #Constraints: 24038
991.53/995.17 c #Conflicts: 615000 | #Constraints: 25038
991.53/995.17 c #Conflicts: 616000 | #Constraints: 26038
991.53/995.17 c #Conflicts: 617000 | #Constraints: 27038
991.53/995.17 c #Conflicts: 618000 | #Constraints: 28038
991.53/995.17 c #Conflicts: 619000 | #Constraints: 29038
991.53/995.17 c #Conflicts: 620000 | #Constraints: 30038
991.53/995.17 c #Conflicts: 621000 | #Constraints: 31038
991.53/995.17 c #Conflicts: 622000 | #Constraints: 32038
991.53/995.17 c #Conflicts: 623000 | #Constraints: 33038
991.53/995.17 c INPROCESSING
991.53/995.17 c GARBAGE COLLECT
991.53/995.17 c #Conflicts: 624000 | #Constraints: 18432
991.53/995.17 c #Conflicts: 625000 | #Constraints: 19432
991.53/995.17 c #Conflicts: 626000 | #Constraints: 20432
991.53/995.17 c #Conflicts: 627000 | #Constraints: 21432
991.53/995.17 c #Conflicts: 628000 | #Constraints: 22432
991.53/995.17 c #Conflicts: 629000 | #Constraints: 23432
991.53/995.17 c #Conflicts: 630000 | #Constraints: 24432
991.53/995.17 c #Conflicts: 631000 | #Constraints: 25432
991.53/995.17 c #Conflicts: 632000 | #Constraints: 26432
991.53/995.17 c #Conflicts: 633000 | #Constraints: 27432
991.53/995.17 c #Conflicts: 634000 | #Constraints: 28432
991.53/995.17 c #Conflicts: 635000 | #Constraints: 29432
991.53/995.17 c #Conflicts: 636000 | #Constraints: 30432
991.53/995.17 c #Conflicts: 637000 | #Constraints: 31432
991.53/995.17 c #Conflicts: 638000 | #Constraints: 32432
991.53/995.17 c #Conflicts: 639000 | #Constraints: 33432
991.53/995.17 c INPROCESSING
991.53/995.17 c GARBAGE COLLECT
991.53/995.17 c #Conflicts: 640000 | #Constraints: 18634
991.53/995.17 c #Conflicts: 641000 | #Constraints: 19634
991.53/995.17 c #Conflicts: 642000 | #Constraints: 20634
991.53/995.17 c #Conflicts: 643000 | #Constraints: 21634
991.53/995.17 c #Conflicts: 644000 | #Constraints: 22634
991.53/995.17 c #Conflicts: 645000 | #Constraints: 23634
991.53/995.17 c #Conflicts: 646000 | #Constraints: 24634
991.53/995.17 c #Conflicts: 647000 | #Constraints: 25634
991.53/995.17 c #Conflicts: 648000 | #Constraints: 26634
991.53/995.17 c #Conflicts: 649000 | #Constraints: 27634
991.53/995.17 c #Conflicts: 650000 | #Constraints: 28634
991.53/995.17 c #Conflicts: 651000 | #Constraints: 29634
991.53/995.17 c #Conflicts: 652000 | #Constraints: 30634
991.53/995.17 c #Conflicts: 653000 | #Constraints: 31634
991.53/995.17 c #Conflicts: 654000 | #Constraints: 32634
991.53/995.17 c #Conflicts: 655000 | #Constraints: 33634
991.53/995.17 c INPROCESSING
991.53/995.17 c GARBAGE COLLECT
991.53/995.17 c #Conflicts: 656000 | #Constraints: 18639
991.53/995.17 c #Conflicts: 657000 | #Constraints: 19639
991.53/995.17 c #Conflicts: 658000 | #Constraints: 20639
991.53/995.17 c #Conflicts: 659000 | #Constraints: 21639
991.53/995.17 c #Conflicts: 660000 | #Constraints: 22639
991.53/995.17 c #Conflicts: 661000 | #Constraints: 23639
991.53/995.17 c #Conflicts: 662000 | #Constraints: 24639
991.53/995.17 c #Conflicts: 663000 | #Constraints: 25639
991.53/995.17 c #Conflicts: 664000 | #Constraints: 26639
991.53/995.17 c #Conflicts: 665000 | #Constraints: 27639
991.53/995.17 c #Conflicts: 666000 | #Constraints: 28639
991.53/995.17 c #Conflicts: 667000 | #Constraints: 29639
991.53/995.17 c #Conflicts: 668000 | #Constraints: 30639
991.53/995.17 c #Conflicts: 669000 | #Constraints: 31639
991.53/995.17 c #Conflicts: 670000 | #Constraints: 32639
991.53/995.17 c #Conflicts: 671000 | #Constraints: 33639
991.53/995.17 c INPROCESSING
991.53/995.17 c GARBAGE COLLECT
991.53/995.17 c #Conflicts: 672000 | #Constraints: 18436
991.53/995.17 c #Conflicts: 673000 | #Constraints: 19436
991.53/995.17 c #Conflicts: 674000 | #Constraints: 20436
991.53/995.17 c #Conflicts: 675000 | #Constraints: 21436
991.53/995.17 c #Conflicts: 676000 | #Constraints: 22436
991.53/995.17 c #Conflicts: 677000 | #Constraints: 23436
991.53/995.17 c #Conflicts: 678000 | #Constraints: 24436
991.53/995.17 c #Conflicts: 679000 | #Constraints: 25436
991.53/995.17 c #Conflicts: 680000 | #Constraints: 26436
991.53/995.17 c #Conflicts: 681000 | #Constraints: 27436
991.53/995.17 c #Conflicts: 682000 | #Constraints: 28436
991.53/995.17 c #Conflicts: 683000 | #Constraints: 29436
991.53/995.17 c #Conflicts: 684000 | #Constraints: 30436
991.53/995.17 c #Conflicts: 685000 | #Constraints: 31436
991.53/995.17 c #Conflicts: 686000 | #Constraints: 32436
991.53/995.17 c #Conflicts: 687000 | #Constraints: 33436
991.53/995.17 c #Conflicts: 688000 | #Constraints: 34436
991.53/995.17 c INPROCESSING
991.53/995.17 c GARBAGE COLLECT
991.53/995.17 c #Conflicts: 689000 | #Constraints: 19033
1142.62/1146.77 c #Conflicts: 690000 | #Constraints: 20033
1142.62/1146.77 c #Conflicts: 691000 | #Constraints: 21033
1142.62/1146.77 c #Conflicts: 692000 | #Constraints: 22033
1142.62/1146.77 c #Conflicts: 693000 | #Constraints: 23033
1142.62/1146.77 c #Conflicts: 694000 | #Constraints: 24033
1142.62/1146.77 c #Conflicts: 695000 | #Constraints: 25033
1142.62/1146.77 c #Conflicts: 696000 | #Constraints: 26033
1142.62/1146.77 c #Conflicts: 697000 | #Constraints: 27033
1142.62/1146.77 c #Conflicts: 698000 | #Constraints: 28033
1142.62/1146.77 c #Conflicts: 699000 | #Constraints: 29033
1142.62/1146.77 c #Conflicts: 700000 | #Constraints: 30033
1142.62/1146.77 c #Conflicts: 701000 | #Constraints: 31033
1142.62/1146.77 c #Conflicts: 702000 | #Constraints: 32033
1142.62/1146.77 c #Conflicts: 703000 | #Constraints: 33033
1142.62/1146.77 c #Conflicts: 704000 | #Constraints: 34033
1142.62/1146.77 c #Conflicts: 705000 | #Constraints: 35033
1142.62/1146.77 c INPROCESSING
1142.62/1146.77 c GARBAGE COLLECT
1142.62/1146.77 c #Conflicts: 706000 | #Constraints: 19435
1142.62/1146.77 c #Conflicts: 707000 | #Constraints: 20435
1142.62/1146.77 c #Conflicts: 708000 | #Constraints: 21435
1142.62/1146.77 c #Conflicts: 709000 | #Constraints: 22435
1142.62/1146.77 c #Conflicts: 710000 | #Constraints: 23435
1142.62/1146.77 c #Conflicts: 711000 | #Constraints: 24435
1142.62/1146.77 c #Conflicts: 712000 | #Constraints: 25435
1142.62/1146.77 c #Conflicts: 713000 | #Constraints: 26435
1142.62/1146.77 c #Conflicts: 714000 | #Constraints: 27435
1142.62/1146.77 c #Conflicts: 715000 | #Constraints: 28435
1142.62/1146.77 c #Conflicts: 716000 | #Constraints: 29435
1142.62/1146.77 c #Conflicts: 717000 | #Constraints: 30435
1142.62/1146.77 c #Conflicts: 718000 | #Constraints: 31435
1142.62/1146.77 c #Conflicts: 719000 | #Constraints: 32435
1142.62/1146.77 c #Conflicts: 720000 | #Constraints: 33435
1142.62/1146.77 c #Conflicts: 721000 | #Constraints: 34435
1142.62/1146.77 c #Conflicts: 722000 | #Constraints: 35435
1142.62/1146.77 c INPROCESSING
1142.62/1146.77 c GARBAGE COLLECT
1142.62/1146.77 c #Conflicts: 723000 | #Constraints: 19643
1142.62/1146.77 c #Conflicts: 724000 | #Constraints: 20643
1142.62/1146.77 c #Conflicts: 725000 | #Constraints: 21643
1142.62/1146.77 c #Conflicts: 726000 | #Constraints: 22643
1142.62/1146.77 c #Conflicts: 727000 | #Constraints: 23643
1142.62/1146.77 c #Conflicts: 728000 | #Constraints: 24643
1142.62/1146.77 c #Conflicts: 729000 | #Constraints: 25643
1142.62/1146.77 c #Conflicts: 730000 | #Constraints: 26643
1142.62/1146.77 c #Conflicts: 731000 | #Constraints: 27643
1142.62/1146.77 c #Conflicts: 732000 | #Constraints: 28643
1142.62/1146.77 c #Conflicts: 733000 | #Constraints: 29643
1142.62/1146.77 c #Conflicts: 734000 | #Constraints: 30643
1142.62/1146.77 c #Conflicts: 735000 | #Constraints: 31643
1142.62/1146.77 c #Conflicts: 736000 | #Constraints: 32643
1142.62/1146.77 c #Conflicts: 737000 | #Constraints: 33643
1142.62/1146.77 c #Conflicts: 738000 | #Constraints: 34643
1142.62/1146.77 c #Conflicts: 739000 | #Constraints: 35643
1142.62/1146.77 c INPROCESSING
1142.62/1146.77 c GARBAGE COLLECT
1142.62/1146.77 c #Conflicts: 740000 | #Constraints: 19641
1142.62/1146.77 c #Conflicts: 741000 | #Constraints: 20641
1142.62/1146.77 c #Conflicts: 742000 | #Constraints: 21641
1142.62/1146.77 c #Conflicts: 743000 | #Constraints: 22641
1142.62/1146.77 c #Conflicts: 744000 | #Constraints: 23641
1142.62/1146.77 c #Conflicts: 745000 | #Constraints: 24641
1142.62/1146.77 c #Conflicts: 746000 | #Constraints: 25641
1142.62/1146.77 c #Conflicts: 747000 | #Constraints: 26641
1142.62/1146.77 c #Conflicts: 748000 | #Constraints: 27641
1142.62/1146.77 c #Conflicts: 749000 | #Constraints: 28641
1142.62/1146.77 c #Conflicts: 750000 | #Constraints: 29641
1142.62/1146.77 c #Conflicts: 751000 | #Constraints: 30641
1142.62/1146.77 c #Conflicts: 752000 | #Constraints: 31641
1142.62/1146.77 c #Conflicts: 753000 | #Constraints: 32641
1142.62/1146.77 c #Conflicts: 754000 | #Constraints: 33641
1142.62/1146.77 c #Conflicts: 755000 | #Constraints: 34641
1142.62/1146.77 c #Conflicts: 756000 | #Constraints: 35641
1142.62/1146.77 c INPROCESSING
1142.62/1146.77 c GARBAGE COLLECT
1142.62/1146.77 c #Conflicts: 757000 | #Constraints: 19455
1142.62/1146.77 c #Conflicts: 758000 | #Constraints: 20455
1142.62/1146.77 c #Conflicts: 759000 | #Constraints: 21455
1142.62/1146.77 c #Conflicts: 760000 | #Constraints: 22455
1142.62/1146.77 c #Conflicts: 761000 | #Constraints: 23455
1142.62/1146.77 c #Conflicts: 762000 | #Constraints: 24455
1142.62/1146.77 c #Conflicts: 763000 | #Constraints: 25455
1142.62/1146.77 c #Conflicts: 764000 | #Constraints: 26455
1142.62/1146.77 c #Conflicts: 765000 | #Constraints: 27455
1300.21/1304.84 c #Conflicts: 766000 | #Constraints: 28455
1300.21/1304.84 c #Conflicts: 767000 | #Constraints: 29455
1300.21/1304.84 c #Conflicts: 768000 | #Constraints: 30455
1300.21/1304.84 c #Conflicts: 769000 | #Constraints: 31455
1300.21/1304.84 c #Conflicts: 770000 | #Constraints: 32455
1300.21/1304.84 c #Conflicts: 771000 | #Constraints: 33455
1300.21/1304.84 c #Conflicts: 772000 | #Constraints: 34455
1300.21/1304.84 c #Conflicts: 773000 | #Constraints: 35455
1300.21/1304.84 c #Conflicts: 774000 | #Constraints: 36455
1300.21/1304.84 c INPROCESSING
1300.21/1304.84 c GARBAGE COLLECT
1300.21/1304.84 c #Conflicts: 775000 | #Constraints: 20046
1300.21/1304.84 c #Conflicts: 776000 | #Constraints: 21046
1300.21/1304.84 c #Conflicts: 777000 | #Constraints: 22046
1300.21/1304.84 c #Conflicts: 778000 | #Constraints: 23046
1300.21/1304.84 c #Conflicts: 779000 | #Constraints: 24046
1300.21/1304.84 c #Conflicts: 780000 | #Constraints: 25046
1300.21/1304.84 c #Conflicts: 781000 | #Constraints: 26046
1300.21/1304.84 c #Conflicts: 782000 | #Constraints: 27046
1300.21/1304.84 c #Conflicts: 783000 | #Constraints: 28046
1300.21/1304.84 c #Conflicts: 784000 | #Constraints: 29046
1300.21/1304.84 c #Conflicts: 785000 | #Constraints: 30046
1300.21/1304.84 c #Conflicts: 786000 | #Constraints: 31046
1300.21/1304.84 c #Conflicts: 787000 | #Constraints: 32046
1300.21/1304.84 c #Conflicts: 788000 | #Constraints: 33046
1300.21/1304.84 c #Conflicts: 789000 | #Constraints: 34046
1300.21/1304.84 c #Conflicts: 790000 | #Constraints: 35046
1300.21/1304.84 c #Conflicts: 791000 | #Constraints: 36046
1300.21/1304.84 c #Conflicts: 792000 | #Constraints: 37046
1300.21/1304.84 c INPROCESSING
1300.21/1304.84 c GARBAGE COLLECT
1300.21/1304.84 c #Conflicts: 793000 | #Constraints: 20452
1300.21/1304.84 c #Conflicts: 794000 | #Constraints: 21452
1300.21/1304.84 c #Conflicts: 795000 | #Constraints: 22452
1300.21/1304.84 c #Conflicts: 796000 | #Constraints: 23452
1300.21/1304.84 c #Conflicts: 797000 | #Constraints: 24452
1300.21/1304.84 c #Conflicts: 798000 | #Constraints: 25452
1300.21/1304.84 c #Conflicts: 799000 | #Constraints: 26452
1300.21/1304.84 c #Conflicts: 800000 | #Constraints: 27452
1300.21/1304.84 c #Conflicts: 801000 | #Constraints: 28452
1300.21/1304.84 c #Conflicts: 802000 | #Constraints: 29452
1300.21/1304.84 c #Conflicts: 803000 | #Constraints: 30452
1300.21/1304.84 c #Conflicts: 804000 | #Constraints: 31452
1300.21/1304.84 c #Conflicts: 805000 | #Constraints: 32452
1300.21/1304.84 c #Conflicts: 806000 | #Constraints: 33452
1300.21/1304.84 c #Conflicts: 807000 | #Constraints: 34452
1300.21/1304.84 c #Conflicts: 808000 | #Constraints: 35452
1300.21/1304.84 c #Conflicts: 809000 | #Constraints: 36452
1300.21/1304.84 c #Conflicts: 810000 | #Constraints: 37452
1300.21/1304.84 c INPROCESSING
1300.21/1304.84 c GARBAGE COLLECT
1300.21/1304.84 c #Conflicts: 811000 | #Constraints: 20652
1300.21/1304.84 c #Conflicts: 812000 | #Constraints: 21652
1300.21/1304.84 c #Conflicts: 813000 | #Constraints: 22652
1300.21/1304.84 c #Conflicts: 814000 | #Constraints: 23652
1300.21/1304.84 c #Conflicts: 815000 | #Constraints: 24652
1300.21/1304.84 c #Conflicts: 816000 | #Constraints: 25652
1300.21/1304.84 c #Conflicts: 817000 | #Constraints: 26652
1300.21/1304.84 c #Conflicts: 818000 | #Constraints: 27652
1300.21/1304.84 c #Conflicts: 819000 | #Constraints: 28652
1300.21/1304.84 c #Conflicts: 820000 | #Constraints: 29652
1300.21/1304.84 c #Conflicts: 821000 | #Constraints: 30652
1300.21/1304.84 c #Conflicts: 822000 | #Constraints: 31652
1300.21/1304.84 c #Conflicts: 823000 | #Constraints: 32652
1300.21/1304.84 c #Conflicts: 824000 | #Constraints: 33652
1300.21/1304.84 c #Conflicts: 825000 | #Constraints: 34652
1300.21/1304.84 c #Conflicts: 826000 | #Constraints: 35652
1300.21/1304.84 c #Conflicts: 827000 | #Constraints: 36652
1300.21/1304.84 c #Conflicts: 828000 | #Constraints: 37652
1300.21/1304.84 c INPROCESSING
1300.21/1304.84 c GARBAGE COLLECT
1300.21/1304.84 c #Conflicts: 829000 | #Constraints: 20645
1300.21/1304.84 c #Conflicts: 830000 | #Constraints: 21645
1300.21/1304.84 c #Conflicts: 831000 | #Constraints: 22645
1300.21/1304.84 c #Conflicts: 832000 | #Constraints: 23645
1300.21/1304.84 c #Conflicts: 833000 | #Constraints: 24645
1300.21/1304.84 c #Conflicts: 834000 | #Constraints: 25645
1300.21/1304.84 c #Conflicts: 835000 | #Constraints: 26645
1300.21/1304.84 c #Conflicts: 836000 | #Constraints: 27645
1300.21/1304.84 c #Conflicts: 837000 | #Constraints: 28645
1300.21/1304.84 c #Conflicts: 838000 | #Constraints: 29645
1300.21/1304.84 c #Conflicts: 839000 | #Constraints: 30645
1300.21/1304.84 c #Conflicts: 840000 | #Constraints: 31645
1300.21/1304.84 c #Conflicts: 841000 | #Constraints: 32645
1481.44/1486.64 c #Conflicts: 842000 | #Constraints: 33645
1481.44/1486.64 c #Conflicts: 843000 | #Constraints: 34645
1481.44/1486.64 c #Conflicts: 844000 | #Constraints: 35645
1481.44/1486.64 c #Conflicts: 845000 | #Constraints: 36645
1481.44/1486.64 c #Conflicts: 846000 | #Constraints: 37645
1481.44/1486.64 c INPROCESSING
1481.44/1486.64 c GARBAGE COLLECT
1481.44/1486.64 c #Conflicts: 847000 | #Constraints: 20443
1481.44/1486.64 c #Conflicts: 848000 | #Constraints: 21443
1481.44/1486.64 c #Conflicts: 849000 | #Constraints: 22443
1481.44/1486.64 c #Conflicts: 850000 | #Constraints: 23443
1481.44/1486.64 c #Conflicts: 851000 | #Constraints: 24443
1481.44/1486.64 c #Conflicts: 852000 | #Constraints: 25443
1481.44/1486.64 c #Conflicts: 853000 | #Constraints: 26443
1481.44/1486.64 c #Conflicts: 854000 | #Constraints: 27443
1481.44/1486.64 c #Conflicts: 855000 | #Constraints: 28443
1481.44/1486.64 c #Conflicts: 856000 | #Constraints: 29443
1481.44/1486.64 c #Conflicts: 857000 | #Constraints: 30443
1481.44/1486.64 c #Conflicts: 858000 | #Constraints: 31443
1481.44/1486.64 c #Conflicts: 859000 | #Constraints: 32443
1481.44/1486.64 c #Conflicts: 860000 | #Constraints: 33443
1481.44/1486.64 c #Conflicts: 861000 | #Constraints: 34443
1481.44/1486.64 c #Conflicts: 862000 | #Constraints: 35443
1481.44/1486.64 c #Conflicts: 863000 | #Constraints: 36443
1481.44/1486.64 c #Conflicts: 864000 | #Constraints: 37443
1481.44/1486.64 c #Conflicts: 865000 | #Constraints: 38443
1481.44/1486.64 c INPROCESSING
1481.44/1486.64 c GARBAGE COLLECT
1481.44/1486.64 c #Conflicts: 866000 | #Constraints: 21040
1481.44/1486.64 c #Conflicts: 867000 | #Constraints: 22040
1481.44/1486.64 c #Conflicts: 868000 | #Constraints: 23040
1481.44/1486.64 c #Conflicts: 869000 | #Constraints: 24040
1481.44/1486.64 c #Conflicts: 870000 | #Constraints: 25040
1481.44/1486.64 c #Conflicts: 871000 | #Constraints: 26040
1481.44/1486.64 c #Conflicts: 872000 | #Constraints: 27040
1481.44/1486.64 c #Conflicts: 873000 | #Constraints: 28040
1481.44/1486.64 c #Conflicts: 874000 | #Constraints: 29040
1481.44/1486.64 c #Conflicts: 875000 | #Constraints: 30040
1481.44/1486.64 c #Conflicts: 876000 | #Constraints: 31040
1481.44/1486.64 c #Conflicts: 877000 | #Constraints: 32040
1481.44/1486.64 c #Conflicts: 878000 | #Constraints: 33040
1481.44/1486.64 c #Conflicts: 879000 | #Constraints: 34040
1481.44/1486.64 c #Conflicts: 880000 | #Constraints: 35040
1481.44/1486.64 c #Conflicts: 881000 | #Constraints: 36040
1481.44/1486.64 c #Conflicts: 882000 | #Constraints: 37040
1481.44/1486.64 c #Conflicts: 883000 | #Constraints: 38040
1481.44/1486.64 c #Conflicts: 884000 | #Constraints: 39040
1481.44/1486.64 c INPROCESSING
1481.44/1486.64 c GARBAGE COLLECT
1481.44/1486.64 c #Conflicts: 885000 | #Constraints: 21444
1481.44/1486.64 c #Conflicts: 886000 | #Constraints: 22444
1481.44/1486.64 c #Conflicts: 887000 | #Constraints: 23444
1481.44/1486.64 c #Conflicts: 888000 | #Constraints: 24444
1481.44/1486.64 c #Conflicts: 889000 | #Constraints: 25444
1481.44/1486.64 c #Conflicts: 890000 | #Constraints: 26444
1481.44/1486.64 c #Conflicts: 891000 | #Constraints: 27444
1481.44/1486.64 c #Conflicts: 892000 | #Constraints: 28444
1481.44/1486.64 c #Conflicts: 893000 | #Constraints: 29444
1481.44/1486.64 c #Conflicts: 894000 | #Constraints: 30444
1481.44/1486.64 c #Conflicts: 895000 | #Constraints: 31444
1481.44/1486.64 c #Conflicts: 896000 | #Constraints: 32444
1481.44/1486.64 c #Conflicts: 897000 | #Constraints: 33444
1481.44/1486.64 c #Conflicts: 898000 | #Constraints: 34444
1481.44/1486.64 c #Conflicts: 899000 | #Constraints: 35444
1481.44/1486.64 c #Conflicts: 900000 | #Constraints: 36444
1481.44/1486.64 c #Conflicts: 901000 | #Constraints: 37444
1481.44/1486.64 c #Conflicts: 902000 | #Constraints: 38444
1481.44/1486.64 c #Conflicts: 903000 | #Constraints: 39444
1481.44/1486.64 c INPROCESSING
1481.44/1486.64 c GARBAGE COLLECT
1481.44/1486.64 c #Conflicts: 904000 | #Constraints: 21665
1481.44/1486.64 c #Conflicts: 905000 | #Constraints: 22665
1481.44/1486.64 c #Conflicts: 906000 | #Constraints: 23665
1481.44/1486.64 c #Conflicts: 907000 | #Constraints: 24665
1481.44/1486.64 c #Conflicts: 908000 | #Constraints: 25665
1481.44/1486.64 c #Conflicts: 909000 | #Constraints: 26665
1481.44/1486.64 c #Conflicts: 910000 | #Constraints: 27665
1481.44/1486.64 c #Conflicts: 911000 | #Constraints: 28665
1481.44/1486.64 c #Conflicts: 912000 | #Constraints: 29665
1481.44/1486.64 c #Conflicts: 913000 | #Constraints: 30665
1481.44/1486.64 c #Conflicts: 914000 | #Constraints: 31665
1481.44/1486.64 c #Conflicts: 915000 | #Constraints: 32665
1481.44/1486.64 c #Conflicts: 916000 | #Constraints: 33665
1481.44/1486.64 c #Conflicts: 917000 | #Constraints: 34665
1673.12/1678.93 c #Conflicts: 918000 | #Constraints: 35665
1673.12/1678.93 c #Conflicts: 919000 | #Constraints: 36665
1673.12/1678.93 c #Conflicts: 920000 | #Constraints: 37665
1673.12/1678.93 c #Conflicts: 921000 | #Constraints: 38665
1673.12/1678.93 c #Conflicts: 922000 | #Constraints: 39665
1673.12/1678.93 c INPROCESSING
1673.12/1678.93 c GARBAGE COLLECT
1673.12/1678.93 c #Conflicts: 923000 | #Constraints: 21648
1673.12/1678.93 c #Conflicts: 924000 | #Constraints: 22648
1673.12/1678.93 c #Conflicts: 925000 | #Constraints: 23648
1673.12/1678.93 c #Conflicts: 926000 | #Constraints: 24648
1673.12/1678.93 c #Conflicts: 927000 | #Constraints: 25648
1673.12/1678.93 c #Conflicts: 928000 | #Constraints: 26648
1673.12/1678.93 c #Conflicts: 929000 | #Constraints: 27648
1673.12/1678.93 c #Conflicts: 930000 | #Constraints: 28648
1673.12/1678.93 c #Conflicts: 931000 | #Constraints: 29648
1673.12/1678.93 c #Conflicts: 932000 | #Constraints: 30648
1673.12/1678.93 c #Conflicts: 933000 | #Constraints: 31648
1673.12/1678.93 c #Conflicts: 934000 | #Constraints: 32648
1673.12/1678.93 c #Conflicts: 935000 | #Constraints: 33648
1673.12/1678.93 c #Conflicts: 936000 | #Constraints: 34648
1673.12/1678.93 c #Conflicts: 937000 | #Constraints: 35648
1673.12/1678.93 c #Conflicts: 938000 | #Constraints: 36648
1673.12/1678.93 c #Conflicts: 939000 | #Constraints: 37648
1673.12/1678.93 c #Conflicts: 940000 | #Constraints: 38648
1673.12/1678.93 c #Conflicts: 941000 | #Constraints: 39648
1673.12/1678.93 c INPROCESSING
1673.12/1678.93 c GARBAGE COLLECT
1673.12/1678.93 c #Conflicts: 942000 | #Constraints: 21450
1673.12/1678.93 c #Conflicts: 943000 | #Constraints: 22450
1673.12/1678.93 c #Conflicts: 944000 | #Constraints: 23450
1673.12/1678.93 c #Conflicts: 945000 | #Constraints: 24450
1673.12/1678.93 c #Conflicts: 946000 | #Constraints: 25450
1673.12/1678.93 c #Conflicts: 947000 | #Constraints: 26450
1673.12/1678.93 c #Conflicts: 948000 | #Constraints: 27450
1673.12/1678.93 c #Conflicts: 949000 | #Constraints: 28450
1673.12/1678.93 c #Conflicts: 950000 | #Constraints: 29450
1673.12/1678.93 c #Conflicts: 951000 | #Constraints: 30450
1673.12/1678.93 c #Conflicts: 952000 | #Constraints: 31450
1673.12/1678.93 c #Conflicts: 953000 | #Constraints: 32450
1673.12/1678.93 c #Conflicts: 954000 | #Constraints: 33450
1673.12/1678.93 c #Conflicts: 955000 | #Constraints: 34450
1673.12/1678.93 c #Conflicts: 956000 | #Constraints: 35450
1673.12/1678.93 c #Conflicts: 957000 | #Constraints: 36450
1673.12/1678.93 c #Conflicts: 958000 | #Constraints: 37450
1673.12/1678.93 c #Conflicts: 959000 | #Constraints: 38450
1673.12/1678.93 c #Conflicts: 960000 | #Constraints: 39450
1673.12/1678.93 c #Conflicts: 961000 | #Constraints: 40450
1673.12/1678.93 c INPROCESSING
1673.12/1678.93 c GARBAGE COLLECT
1673.12/1678.93 c #Conflicts: 962000 | #Constraints: 22050
1673.12/1678.93 c #Conflicts: 963000 | #Constraints: 23050
1673.12/1678.93 c #Conflicts: 964000 | #Constraints: 24050
1673.12/1678.93 c #Conflicts: 965000 | #Constraints: 25050
1673.12/1678.93 c #Conflicts: 966000 | #Constraints: 26050
1673.12/1678.93 c #Conflicts: 967000 | #Constraints: 27050
1673.12/1678.93 c #Conflicts: 968000 | #Constraints: 28050
1673.12/1678.93 c #Conflicts: 969000 | #Constraints: 29050
1673.12/1678.93 c #Conflicts: 970000 | #Constraints: 30050
1673.12/1678.93 c #Conflicts: 971000 | #Constraints: 31050
1673.12/1678.93 c #Conflicts: 972000 | #Constraints: 32050
1673.12/1678.93 c #Conflicts: 973000 | #Constraints: 33050
1673.12/1678.93 c #Conflicts: 974000 | #Constraints: 34050
1673.12/1678.93 c #Conflicts: 975000 | #Constraints: 35050
1673.12/1678.93 c #Conflicts: 976000 | #Constraints: 36050
1673.12/1678.93 c #Conflicts: 977000 | #Constraints: 37050
1673.12/1678.93 c #Conflicts: 978000 | #Constraints: 38050
1673.12/1678.93 c #Conflicts: 979000 | #Constraints: 39050
1673.12/1678.93 c #Conflicts: 980000 | #Constraints: 40050
1673.12/1678.93 c #Conflicts: 981000 | #Constraints: 41050
1673.12/1678.93 c INPROCESSING
1673.12/1678.93 c GARBAGE COLLECT
1673.12/1678.93 c #Conflicts: 982000 | #Constraints: 22441
1673.12/1678.93 c #Conflicts: 983000 | #Constraints: 23441
1673.12/1678.93 c #Conflicts: 984000 | #Constraints: 24441
1673.12/1678.93 c #Conflicts: 985000 | #Constraints: 25441
1673.12/1678.93 c #Conflicts: 986000 | #Constraints: 26441
1673.12/1678.93 c #Conflicts: 987000 | #Constraints: 27441
1673.12/1678.93 c #Conflicts: 988000 | #Constraints: 28441
1673.12/1678.93 c #Conflicts: 989000 | #Constraints: 29441
1673.12/1678.93 c #Conflicts: 990000 | #Constraints: 30441
1673.12/1678.93 c #Conflicts: 991000 | #Constraints: 31441
1673.12/1678.93 c #Conflicts: 992000 | #Constraints: 32441
1673.12/1678.93 c #Conflicts: 993000 | #Constraints: 33441
1673.12/1678.93 c #Conflicts: 994000 | #Constraints: 34441
1879.92/1886.48 c #Conflicts: 995000 | #Constraints: 35441
1879.92/1886.48 c #Conflicts: 996000 | #Constraints: 36441
1879.92/1886.48 c #Conflicts: 997000 | #Constraints: 37441
1879.92/1886.48 c #Conflicts: 998000 | #Constraints: 38441
1879.92/1886.48 c #Conflicts: 999000 | #Constraints: 39441
1879.92/1886.48 c #Conflicts: 1000000 | #Constraints: 40441
1879.92/1886.48 c #Conflicts: 1001000 | #Constraints: 41441
1879.92/1886.48 c INPROCESSING
1879.92/1886.48 c GARBAGE COLLECT
1879.92/1886.48 c #Conflicts: 1002000 | #Constraints: 22647
1879.92/1886.48 c #Conflicts: 1003000 | #Constraints: 23647
1879.92/1886.48 c #Conflicts: 1004000 | #Constraints: 24647
1879.92/1886.48 c #Conflicts: 1005000 | #Constraints: 25647
1879.92/1886.48 c #Conflicts: 1006000 | #Constraints: 26647
1879.92/1886.48 c #Conflicts: 1007000 | #Constraints: 27647
1879.92/1886.48 c #Conflicts: 1008000 | #Constraints: 28647
1879.92/1886.48 c #Conflicts: 1009000 | #Constraints: 29647
1879.92/1886.48 c #Conflicts: 1010000 | #Constraints: 30647
1879.92/1886.48 c #Conflicts: 1011000 | #Constraints: 31647
1879.92/1886.48 c #Conflicts: 1012000 | #Constraints: 32647
1879.92/1886.48 c #Conflicts: 1013000 | #Constraints: 33647
1879.92/1886.48 c #Conflicts: 1014000 | #Constraints: 34647
1879.92/1886.48 c #Conflicts: 1015000 | #Constraints: 35647
1879.92/1886.48 c #Conflicts: 1016000 | #Constraints: 36647
1879.92/1886.48 c #Conflicts: 1017000 | #Constraints: 37647
1879.92/1886.48 c #Conflicts: 1018000 | #Constraints: 38647
1879.92/1886.48 c #Conflicts: 1019000 | #Constraints: 39647
1879.92/1886.48 c #Conflicts: 1020000 | #Constraints: 40647
1879.92/1886.48 c #Conflicts: 1021000 | #Constraints: 41647
1879.92/1886.48 c INPROCESSING
1879.92/1886.48 c GARBAGE COLLECT
1879.92/1886.48 c #Conflicts: 1022000 | #Constraints: 22653
1879.92/1886.48 c #Conflicts: 1023000 | #Constraints: 23653
1879.92/1886.48 c #Conflicts: 1024000 | #Constraints: 24653
1879.92/1886.48 c #Conflicts: 1025000 | #Constraints: 25653
1879.92/1886.48 c #Conflicts: 1026000 | #Constraints: 26653
1879.92/1886.48 c #Conflicts: 1027000 | #Constraints: 27653
1879.92/1886.48 c #Conflicts: 1028000 | #Constraints: 28653
1879.92/1886.48 c #Conflicts: 1029000 | #Constraints: 29653
1879.92/1886.48 c #Conflicts: 1030000 | #Constraints: 30653
1879.92/1886.48 c #Conflicts: 1031000 | #Constraints: 31653
1879.92/1886.48 c #Conflicts: 1032000 | #Constraints: 32653
1879.92/1886.48 c #Conflicts: 1033000 | #Constraints: 33653
1879.92/1886.48 c #Conflicts: 1034000 | #Constraints: 34653
1879.92/1886.48 c #Conflicts: 1035000 | #Constraints: 35653
1879.92/1886.48 c #Conflicts: 1036000 | #Constraints: 36653
1879.92/1886.48 c #Conflicts: 1037000 | #Constraints: 37653
1879.92/1886.48 c #Conflicts: 1038000 | #Constraints: 38653
1879.92/1886.48 c #Conflicts: 1039000 | #Constraints: 39653
1879.92/1886.48 c #Conflicts: 1040000 | #Constraints: 40653
1879.92/1886.48 c #Conflicts: 1041000 | #Constraints: 41653
1879.92/1886.48 c INPROCESSING
1879.92/1886.48 c GARBAGE COLLECT
1879.92/1886.48 c #Conflicts: 1042000 | #Constraints: 22457
1879.92/1886.48 c #Conflicts: 1043000 | #Constraints: 23457
1879.92/1886.48 c #Conflicts: 1044000 | #Constraints: 24457
1879.92/1886.48 c #Conflicts: 1045000 | #Constraints: 25457
1879.92/1886.48 c #Conflicts: 1046000 | #Constraints: 26457
1879.92/1886.48 c #Conflicts: 1047000 | #Constraints: 27457
1879.92/1886.48 c #Conflicts: 1048000 | #Constraints: 28457
1879.92/1886.48 c #Conflicts: 1049000 | #Constraints: 29457
1879.92/1886.48 c #Conflicts: 1050000 | #Constraints: 30457
1879.92/1886.48 c #Conflicts: 1051000 | #Constraints: 31457
1879.92/1886.48 c #Conflicts: 1052000 | #Constraints: 32457
1879.92/1886.48 c #Conflicts: 1053000 | #Constraints: 33457
1879.92/1886.48 c #Conflicts: 1054000 | #Constraints: 34457
1879.92/1886.48 c #Conflicts: 1055000 | #Constraints: 35457
1879.92/1886.48 c #Conflicts: 1056000 | #Constraints: 36457
1879.92/1886.48 c #Conflicts: 1057000 | #Constraints: 37457
1879.92/1886.48 c #Conflicts: 1058000 | #Constraints: 38457
1879.92/1886.48 c #Conflicts: 1059000 | #Constraints: 39457
1879.92/1886.48 c #Conflicts: 1060000 | #Constraints: 40457
1879.92/1886.48 c #Conflicts: 1061000 | #Constraints: 41457
1879.92/1886.48 c #Conflicts: 1062000 | #Constraints: 42457
1879.92/1886.48 c INPROCESSING
1879.92/1886.48 c GARBAGE COLLECT
1879.92/1886.48 c #Conflicts: 1063000 | #Constraints: 23057
1879.92/1886.48 c #Conflicts: 1064000 | #Constraints: 24057
1879.92/1886.48 c #Conflicts: 1065000 | #Constraints: 25057
1879.92/1886.48 c #Conflicts: 1066000 | #Constraints: 26057
1879.92/1886.48 c #Conflicts: 1067000 | #Constraints: 27057
1879.92/1886.48 c #Conflicts: 1068000 | #Constraints: 28057
1879.92/1886.48 c #Conflicts: 1069000 | #Constraints: 29057
1879.92/1886.48 c #Conflicts: 1070000 | #Constraints: 30057
2131.42/2138.94 c #Conflicts: 1071000 | #Constraints: 31057
2131.42/2138.94 c #Conflicts: 1072000 | #Constraints: 32057
2131.42/2138.94 c #Conflicts: 1073000 | #Constraints: 33057
2131.42/2138.94 c #Conflicts: 1074000 | #Constraints: 34057
2131.42/2138.94 c #Conflicts: 1075000 | #Constraints: 35057
2131.42/2138.94 c #Conflicts: 1076000 | #Constraints: 36057
2131.42/2138.94 c #Conflicts: 1077000 | #Constraints: 37057
2131.42/2138.94 c #Conflicts: 1078000 | #Constraints: 38057
2131.42/2138.94 c #Conflicts: 1079000 | #Constraints: 39057
2131.42/2138.94 c #Conflicts: 1080000 | #Constraints: 40057
2131.42/2138.94 c #Conflicts: 1081000 | #Constraints: 41057
2131.42/2138.94 c #Conflicts: 1082000 | #Constraints: 42057
2131.42/2138.94 c #Conflicts: 1083000 | #Constraints: 43057
2131.42/2138.94 c INPROCESSING
2131.42/2138.94 c GARBAGE COLLECT
2131.42/2138.94 c #Conflicts: 1084000 | #Constraints: 23458
2131.42/2138.94 c #Conflicts: 1085000 | #Constraints: 24458
2131.42/2138.94 c #Conflicts: 1086000 | #Constraints: 25458
2131.42/2138.94 c #Conflicts: 1087000 | #Constraints: 26458
2131.42/2138.94 c #Conflicts: 1088000 | #Constraints: 27458
2131.42/2138.94 c #Conflicts: 1089000 | #Constraints: 28458
2131.42/2138.94 c #Conflicts: 1090000 | #Constraints: 29458
2131.42/2138.94 c #Conflicts: 1091000 | #Constraints: 30458
2131.42/2138.94 c #Conflicts: 1092000 | #Constraints: 31458
2131.42/2138.94 c #Conflicts: 1093000 | #Constraints: 32458
2131.42/2138.94 c #Conflicts: 1094000 | #Constraints: 33458
2131.42/2138.94 c #Conflicts: 1095000 | #Constraints: 34458
2131.42/2138.94 c #Conflicts: 1096000 | #Constraints: 35458
2131.42/2138.94 c #Conflicts: 1097000 | #Constraints: 36458
2131.42/2138.94 c #Conflicts: 1098000 | #Constraints: 37458
2131.42/2138.94 c #Conflicts: 1099000 | #Constraints: 38458
2131.42/2138.94 c #Conflicts: 1100000 | #Constraints: 39458
2131.42/2138.94 c #Conflicts: 1101000 | #Constraints: 40458
2131.42/2138.94 c #Conflicts: 1102000 | #Constraints: 41458
2131.42/2138.94 c #Conflicts: 1103000 | #Constraints: 42458
2131.42/2138.94 c #Conflicts: 1104000 | #Constraints: 43458
2131.42/2138.94 c INPROCESSING
2131.42/2138.94 c GARBAGE COLLECT
2131.42/2138.94 c #Conflicts: 1105000 | #Constraints: 23658
2131.42/2138.94 c #Conflicts: 1106000 | #Constraints: 24658
2131.42/2138.94 c #Conflicts: 1107000 | #Constraints: 25658
2131.42/2138.94 c #Conflicts: 1108000 | #Constraints: 26658
2131.42/2138.94 c #Conflicts: 1109000 | #Constraints: 27658
2131.42/2138.94 c #Conflicts: 1110000 | #Constraints: 28658
2131.42/2138.94 c #Conflicts: 1111000 | #Constraints: 29658
2131.42/2138.94 c #Conflicts: 1112000 | #Constraints: 30658
2131.42/2138.94 c #Conflicts: 1113000 | #Constraints: 31658
2131.42/2138.94 c #Conflicts: 1114000 | #Constraints: 32658
2131.42/2138.94 c #Conflicts: 1115000 | #Constraints: 33658
2131.42/2138.94 c #Conflicts: 1116000 | #Constraints: 34658
2131.42/2138.94 c #Conflicts: 1117000 | #Constraints: 35658
2131.42/2138.94 c #Conflicts: 1118000 | #Constraints: 36658
2131.42/2138.94 c #Conflicts: 1119000 | #Constraints: 37658
2131.42/2138.94 c #Conflicts: 1120000 | #Constraints: 38658
2131.42/2138.94 c #Conflicts: 1121000 | #Constraints: 39658
2131.42/2138.94 c #Conflicts: 1122000 | #Constraints: 40658
2131.42/2138.94 c #Conflicts: 1123000 | #Constraints: 41658
2131.42/2138.94 c #Conflicts: 1124000 | #Constraints: 42658
2131.42/2138.94 c #Conflicts: 1125000 | #Constraints: 43658
2131.42/2138.94 c INPROCESSING
2131.42/2138.94 c GARBAGE COLLECT
2131.42/2138.94 c #Conflicts: 1126000 | #Constraints: 23659
2131.42/2138.94 c #Conflicts: 1127000 | #Constraints: 24659
2131.42/2138.94 c #Conflicts: 1128000 | #Constraints: 25659
2131.42/2138.94 c #Conflicts: 1129000 | #Constraints: 26659
2131.42/2138.94 c #Conflicts: 1130000 | #Constraints: 27659
2131.42/2138.94 c #Conflicts: 1131000 | #Constraints: 28659
2131.42/2138.94 c #Conflicts: 1132000 | #Constraints: 29659
2131.42/2138.94 c #Conflicts: 1133000 | #Constraints: 30659
2131.42/2138.94 c #Conflicts: 1134000 | #Constraints: 31659
2131.42/2138.94 c #Conflicts: 1135000 | #Constraints: 32659
2131.42/2138.94 c #Conflicts: 1136000 | #Constraints: 33659
2131.42/2138.94 c #Conflicts: 1137000 | #Constraints: 34659
2131.42/2138.94 c #Conflicts: 1138000 | #Constraints: 35659
2131.42/2138.94 c #Conflicts: 1139000 | #Constraints: 36659
2131.42/2138.94 c #Conflicts: 1140000 | #Constraints: 37659
2131.42/2138.94 c #Conflicts: 1141000 | #Constraints: 38659
2131.42/2138.94 c #Conflicts: 1142000 | #Constraints: 39659
2131.42/2138.94 c #Conflicts: 1143000 | #Constraints: 40659
2131.42/2138.94 c #Conflicts: 1144000 | #Constraints: 41659
2131.42/2138.94 c #Conflicts: 1145000 | #Constraints: 42659
2131.42/2138.94 c #Conflicts: 1146000 | #Constraints: 43659
2131.42/2138.94 c INPROCESSING
2376.81/2385.25 c GARBAGE COLLECT
2376.81/2385.25 c #Conflicts: 1147000 | #Constraints: 23453
2376.81/2385.25 c #Conflicts: 1148000 | #Constraints: 24453
2376.81/2385.25 c #Conflicts: 1149000 | #Constraints: 25453
2376.81/2385.25 c #Conflicts: 1150000 | #Constraints: 26453
2376.81/2385.25 c #Conflicts: 1151000 | #Constraints: 27453
2376.81/2385.25 c #Conflicts: 1152000 | #Constraints: 28453
2376.81/2385.25 c #Conflicts: 1153000 | #Constraints: 29453
2376.81/2385.25 c #Conflicts: 1154000 | #Constraints: 30453
2376.81/2385.25 c #Conflicts: 1155000 | #Constraints: 31453
2376.81/2385.25 c #Conflicts: 1156000 | #Constraints: 32453
2376.81/2385.25 c #Conflicts: 1157000 | #Constraints: 33453
2376.81/2385.25 c #Conflicts: 1158000 | #Constraints: 34453
2376.81/2385.25 c #Conflicts: 1159000 | #Constraints: 35453
2376.81/2385.25 c #Conflicts: 1160000 | #Constraints: 36453
2376.81/2385.25 c #Conflicts: 1161000 | #Constraints: 37453
2376.81/2385.25 c #Conflicts: 1162000 | #Constraints: 38453
2376.81/2385.25 c #Conflicts: 1163000 | #Constraints: 39453
2376.81/2385.25 c #Conflicts: 1164000 | #Constraints: 40453
2376.81/2385.25 c #Conflicts: 1165000 | #Constraints: 41453
2376.81/2385.25 c #Conflicts: 1166000 | #Constraints: 42453
2376.81/2385.25 c #Conflicts: 1167000 | #Constraints: 43453
2376.81/2385.25 c #Conflicts: 1168000 | #Constraints: 44453
2376.81/2385.25 c INPROCESSING
2376.81/2385.25 c GARBAGE COLLECT
2376.81/2385.25 c #Conflicts: 1169000 | #Constraints: 24055
2376.81/2385.25 c #Conflicts: 1170000 | #Constraints: 25055
2376.81/2385.25 c #Conflicts: 1171000 | #Constraints: 26055
2376.81/2385.25 c #Conflicts: 1172000 | #Constraints: 27055
2376.81/2385.25 c #Conflicts: 1173000 | #Constraints: 28055
2376.81/2385.25 c #Conflicts: 1174000 | #Constraints: 29055
2376.81/2385.25 c #Conflicts: 1175000 | #Constraints: 30055
2376.81/2385.25 c #Conflicts: 1176000 | #Constraints: 31055
2376.81/2385.25 c #Conflicts: 1177000 | #Constraints: 32055
2376.81/2385.25 c #Conflicts: 1178000 | #Constraints: 33055
2376.81/2385.25 c #Conflicts: 1179000 | #Constraints: 34055
2376.81/2385.25 c #Conflicts: 1180000 | #Constraints: 35055
2376.81/2385.25 c #Conflicts: 1181000 | #Constraints: 36055
2376.81/2385.25 c #Conflicts: 1182000 | #Constraints: 37055
2376.81/2385.25 c #Conflicts: 1183000 | #Constraints: 38055
2376.81/2385.25 c #Conflicts: 1184000 | #Constraints: 39055
2376.81/2385.25 c #Conflicts: 1185000 | #Constraints: 40055
2376.81/2385.25 c #Conflicts: 1186000 | #Constraints: 41055
2376.81/2385.25 c #Conflicts: 1187000 | #Constraints: 42055
2376.81/2385.25 c #Conflicts: 1188000 | #Constraints: 43055
2376.81/2385.25 c #Conflicts: 1189000 | #Constraints: 44055
2376.81/2385.25 c #Conflicts: 1190000 | #Constraints: 45055
2376.81/2385.25 c INPROCESSING
2376.81/2385.25 c GARBAGE COLLECT
2376.81/2385.25 c #Conflicts: 1191000 | #Constraints: 24457
2376.81/2385.25 c #Conflicts: 1192000 | #Constraints: 25457
2376.81/2385.25 c #Conflicts: 1193000 | #Constraints: 26457
2376.81/2385.25 c #Conflicts: 1194000 | #Constraints: 27457
2376.81/2385.25 c #Conflicts: 1195000 | #Constraints: 28457
2376.81/2385.25 c #Conflicts: 1196000 | #Constraints: 29457
2376.81/2385.25 c #Conflicts: 1197000 | #Constraints: 30457
2376.81/2385.25 c #Conflicts: 1198000 | #Constraints: 31457
2376.81/2385.25 c #Conflicts: 1199000 | #Constraints: 32457
2376.81/2385.25 c #Conflicts: 1200000 | #Constraints: 33457
2376.81/2385.25 c #Conflicts: 1201000 | #Constraints: 34457
2376.81/2385.25 c #Conflicts: 1202000 | #Constraints: 35457
2376.81/2385.25 c #Conflicts: 1203000 | #Constraints: 36457
2376.81/2385.25 c #Conflicts: 1204000 | #Constraints: 37457
2376.81/2385.25 c #Conflicts: 1205000 | #Constraints: 38457
2376.81/2385.25 c #Conflicts: 1206000 | #Constraints: 39457
2376.81/2385.25 c #Conflicts: 1207000 | #Constraints: 40457
2376.81/2385.25 c #Conflicts: 1208000 | #Constraints: 41457
2376.81/2385.25 c #Conflicts: 1209000 | #Constraints: 42457
2376.81/2385.25 c #Conflicts: 1210000 | #Constraints: 43457
2376.81/2385.25 c #Conflicts: 1211000 | #Constraints: 44457
2376.81/2385.25 c #Conflicts: 1212000 | #Constraints: 45457
2376.81/2385.25 c INPROCESSING
2376.81/2385.25 c GARBAGE COLLECT
2376.81/2385.25 c #Conflicts: 1213000 | #Constraints: 24658
2376.81/2385.25 c #Conflicts: 1214000 | #Constraints: 25658
2376.81/2385.25 c #Conflicts: 1215000 | #Constraints: 26658
2376.81/2385.25 c #Conflicts: 1216000 | #Constraints: 27658
2376.81/2385.25 c #Conflicts: 1217000 | #Constraints: 28658
2376.81/2385.25 c #Conflicts: 1218000 | #Constraints: 29658
2376.81/2385.25 c #Conflicts: 1219000 | #Constraints: 30658
2376.81/2385.25 c #Conflicts: 1220000 | #Constraints: 31658
2376.81/2385.25 c #Conflicts: 1221000 | #Constraints: 32658
2376.81/2385.25 c #Conflicts: 1222000 | #Constraints: 33658
2376.81/2385.25 c #Conflicts: 1223000 | #Constraints: 34658
2622.04/2631.37 c #Conflicts: 1224000 | #Constraints: 35658
2622.04/2631.37 c #Conflicts: 1225000 | #Constraints: 36658
2622.04/2631.37 c #Conflicts: 1226000 | #Constraints: 37658
2622.04/2631.37 c #Conflicts: 1227000 | #Constraints: 38658
2622.04/2631.37 c #Conflicts: 1228000 | #Constraints: 39658
2622.04/2631.37 c #Conflicts: 1229000 | #Constraints: 40658
2622.04/2631.37 c #Conflicts: 1230000 | #Constraints: 41658
2622.04/2631.37 c #Conflicts: 1231000 | #Constraints: 42658
2622.04/2631.37 c #Conflicts: 1232000 | #Constraints: 43658
2622.04/2631.37 c #Conflicts: 1233000 | #Constraints: 44658
2622.04/2631.37 c #Conflicts: 1234000 | #Constraints: 45658
2622.04/2631.37 c INPROCESSING
2622.04/2631.37 c GARBAGE COLLECT
2622.04/2631.37 c #Conflicts: 1235000 | #Constraints: 24658
2622.04/2631.37 c #Conflicts: 1236000 | #Constraints: 25658
2622.04/2631.37 c #Conflicts: 1237000 | #Constraints: 26658
2622.04/2631.37 c #Conflicts: 1238000 | #Constraints: 27658
2622.04/2631.37 c #Conflicts: 1239000 | #Constraints: 28658
2622.04/2631.37 c #Conflicts: 1240000 | #Constraints: 29658
2622.04/2631.37 c #Conflicts: 1241000 | #Constraints: 30658
2622.04/2631.37 c #Conflicts: 1242000 | #Constraints: 31658
2622.04/2631.37 c #Conflicts: 1243000 | #Constraints: 32658
2622.04/2631.37 c #Conflicts: 1244000 | #Constraints: 33658
2622.04/2631.37 c #Conflicts: 1245000 | #Constraints: 34658
2622.04/2631.37 c #Conflicts: 1246000 | #Constraints: 35658
2622.04/2631.37 c #Conflicts: 1247000 | #Constraints: 36658
2622.04/2631.37 c #Conflicts: 1248000 | #Constraints: 37658
2622.04/2631.37 c #Conflicts: 1249000 | #Constraints: 38658
2622.04/2631.37 c #Conflicts: 1250000 | #Constraints: 39658
2622.04/2631.37 c #Conflicts: 1251000 | #Constraints: 40658
2622.04/2631.37 c #Conflicts: 1252000 | #Constraints: 41658
2622.04/2631.37 c #Conflicts: 1253000 | #Constraints: 42658
2622.04/2631.37 c #Conflicts: 1254000 | #Constraints: 43658
2622.04/2631.37 c #Conflicts: 1255000 | #Constraints: 44658
2622.04/2631.37 c #Conflicts: 1256000 | #Constraints: 45658
2622.04/2631.37 c INPROCESSING
2622.04/2631.37 c GARBAGE COLLECT
2622.04/2631.37 c #Conflicts: 1257000 | #Constraints: 24451
2622.04/2631.37 c #Conflicts: 1258000 | #Constraints: 25451
2622.04/2631.37 c #Conflicts: 1259000 | #Constraints: 26451
2622.04/2631.37 c #Conflicts: 1260000 | #Constraints: 27451
2622.04/2631.37 c #Conflicts: 1261000 | #Constraints: 28451
2622.04/2631.37 c #Conflicts: 1262000 | #Constraints: 29451
2622.04/2631.37 c #Conflicts: 1263000 | #Constraints: 30451
2622.04/2631.37 c #Conflicts: 1264000 | #Constraints: 31451
2622.04/2631.37 c #Conflicts: 1265000 | #Constraints: 32451
2622.04/2631.37 c #Conflicts: 1266000 | #Constraints: 33451
2622.04/2631.37 c #Conflicts: 1267000 | #Constraints: 34451
2622.04/2631.37 c #Conflicts: 1268000 | #Constraints: 35451
2622.04/2631.37 c #Conflicts: 1269000 | #Constraints: 36451
2622.04/2631.37 c #Conflicts: 1270000 | #Constraints: 37451
2622.04/2631.37 c #Conflicts: 1271000 | #Constraints: 38451
2622.04/2631.37 c #Conflicts: 1272000 | #Constraints: 39451
2622.04/2631.37 c #Conflicts: 1273000 | #Constraints: 40451
2622.04/2631.37 c #Conflicts: 1274000 | #Constraints: 41451
2622.04/2631.37 c #Conflicts: 1275000 | #Constraints: 42451
2622.04/2631.37 c #Conflicts: 1276000 | #Constraints: 43451
2622.04/2631.37 c #Conflicts: 1277000 | #Constraints: 44451
2622.04/2631.37 c #Conflicts: 1278000 | #Constraints: 45451
2622.04/2631.37 c #Conflicts: 1279000 | #Constraints: 46451
2622.04/2631.37 c INPROCESSING
2622.04/2631.37 c GARBAGE COLLECT
2622.04/2631.37 c #Conflicts: 1280000 | #Constraints: 25052
2622.04/2631.37 c #Conflicts: 1281000 | #Constraints: 26052
2622.04/2631.37 c #Conflicts: 1282000 | #Constraints: 27052
2622.04/2631.37 c #Conflicts: 1283000 | #Constraints: 28052
2622.04/2631.37 c #Conflicts: 1284000 | #Constraints: 29052
2622.04/2631.37 c #Conflicts: 1285000 | #Constraints: 30052
2622.04/2631.37 c #Conflicts: 1286000 | #Constraints: 31052
2622.04/2631.37 c #Conflicts: 1287000 | #Constraints: 32052
2622.04/2631.37 c #Conflicts: 1288000 | #Constraints: 33052
2622.04/2631.37 c #Conflicts: 1289000 | #Constraints: 34052
2622.04/2631.37 c #Conflicts: 1290000 | #Constraints: 35052
2622.04/2631.37 c #Conflicts: 1291000 | #Constraints: 36052
2622.04/2631.37 c #Conflicts: 1292000 | #Constraints: 37052
2622.04/2631.37 c #Conflicts: 1293000 | #Constraints: 38052
2622.04/2631.37 c #Conflicts: 1294000 | #Constraints: 39052
2622.04/2631.37 c #Conflicts: 1295000 | #Constraints: 40052
2622.04/2631.37 c #Conflicts: 1296000 | #Constraints: 41052
2622.04/2631.37 c #Conflicts: 1297000 | #Constraints: 42052
2622.04/2631.37 c #Conflicts: 1298000 | #Constraints: 43052
2622.04/2631.37 c #Conflicts: 1299000 | #Constraints: 44052
2622.04/2631.37 c #Conflicts: 1300000 | #Constraints: 45052
2849.95/2860.01 c #Conflicts: 1301000 | #Constraints: 46052
2849.95/2860.01 c #Conflicts: 1302000 | #Constraints: 47052
2849.95/2860.01 c INPROCESSING
2849.95/2860.01 c GARBAGE COLLECT
2849.95/2860.01 c #Conflicts: 1303000 | #Constraints: 25456
2849.95/2860.01 c #Conflicts: 1304000 | #Constraints: 26456
2849.95/2860.01 c #Conflicts: 1305000 | #Constraints: 27456
2849.95/2860.01 c #Conflicts: 1306000 | #Constraints: 28456
2849.95/2860.01 c #Conflicts: 1307000 | #Constraints: 29456
2849.95/2860.01 c #Conflicts: 1308000 | #Constraints: 30456
2849.95/2860.01 c #Conflicts: 1309000 | #Constraints: 31456
2849.95/2860.01 c #Conflicts: 1310000 | #Constraints: 32456
2849.95/2860.01 c #Conflicts: 1311000 | #Constraints: 33456
2849.95/2860.01 c #Conflicts: 1312000 | #Constraints: 34456
2849.95/2860.01 c #Conflicts: 1313000 | #Constraints: 35456
2849.95/2860.01 c #Conflicts: 1314000 | #Constraints: 36456
2849.95/2860.01 c #Conflicts: 1315000 | #Constraints: 37456
2849.95/2860.01 c #Conflicts: 1316000 | #Constraints: 38456
2849.95/2860.01 c #Conflicts: 1317000 | #Constraints: 39456
2849.95/2860.01 c #Conflicts: 1318000 | #Constraints: 40456
2849.95/2860.01 c #Conflicts: 1319000 | #Constraints: 41456
2849.95/2860.01 c #Conflicts: 1320000 | #Constraints: 42456
2849.95/2860.01 c #Conflicts: 1321000 | #Constraints: 43456
2849.95/2860.01 c #Conflicts: 1322000 | #Constraints: 44456
2849.95/2860.01 c #Conflicts: 1323000 | #Constraints: 45456
2849.95/2860.01 c #Conflicts: 1324000 | #Constraints: 46456
2849.95/2860.01 c #Conflicts: 1325000 | #Constraints: 47456
2849.95/2860.01 c INPROCESSING
2849.95/2860.01 c GARBAGE COLLECT
2849.95/2860.01 c #Conflicts: 1326000 | #Constraints: 25680
2849.95/2860.01 c #Conflicts: 1327000 | #Constraints: 26680
2849.95/2860.01 c #Conflicts: 1328000 | #Constraints: 27680
2849.95/2860.01 c #Conflicts: 1329000 | #Constraints: 28680
2849.95/2860.01 c #Conflicts: 1330000 | #Constraints: 29680
2849.95/2860.01 c #Conflicts: 1331000 | #Constraints: 30680
2849.95/2860.01 c #Conflicts: 1332000 | #Constraints: 31680
2849.95/2860.01 c #Conflicts: 1333000 | #Constraints: 32680
2849.95/2860.01 c #Conflicts: 1334000 | #Constraints: 33680
2849.95/2860.01 c #Conflicts: 1335000 | #Constraints: 34680
2849.95/2860.01 c #Conflicts: 1336000 | #Constraints: 35680
2849.95/2860.01 c #Conflicts: 1337000 | #Constraints: 36680
2849.95/2860.01 c #Conflicts: 1338000 | #Constraints: 37680
2849.95/2860.01 c #Conflicts: 1339000 | #Constraints: 38680
2849.95/2860.01 c #Conflicts: 1340000 | #Constraints: 39680
2849.95/2860.01 c #Conflicts: 1341000 | #Constraints: 40680
2849.95/2860.01 c #Conflicts: 1342000 | #Constraints: 41680
2849.95/2860.01 c #Conflicts: 1343000 | #Constraints: 42680
2849.95/2860.01 c #Conflicts: 1344000 | #Constraints: 43680
2849.95/2860.01 c #Conflicts: 1345000 | #Constraints: 44680
2849.95/2860.01 c #Conflicts: 1346000 | #Constraints: 45680
2849.95/2860.01 c #Conflicts: 1347000 | #Constraints: 46680
2849.95/2860.01 c #Conflicts: 1348000 | #Constraints: 47680
2849.95/2860.01 c INPROCESSING
2849.95/2860.01 c GARBAGE COLLECT
2849.95/2860.01 c #Conflicts: 1349000 | #Constraints: 25669
2849.95/2860.01 c #Conflicts: 1350000 | #Constraints: 26669
2849.95/2860.01 c #Conflicts: 1351000 | #Constraints: 27669
2849.95/2860.01 c #Conflicts: 1352000 | #Constraints: 28669
2849.95/2860.01 c #Conflicts: 1353000 | #Constraints: 29669
2849.95/2860.01 c #Conflicts: 1354000 | #Constraints: 30669
2849.95/2860.01 c #Conflicts: 1355000 | #Constraints: 31669
2849.95/2860.01 c #Conflicts: 1356000 | #Constraints: 32669
2849.95/2860.01 c #Conflicts: 1357000 | #Constraints: 33669
2849.95/2860.01 c #Conflicts: 1358000 | #Constraints: 34669
2849.95/2860.01 c #Conflicts: 1359000 | #Constraints: 35669
2849.95/2860.01 c #Conflicts: 1360000 | #Constraints: 36669
2849.95/2860.01 c #Conflicts: 1361000 | #Constraints: 37669
2849.95/2860.01 c #Conflicts: 1362000 | #Constraints: 38669
2849.95/2860.01 c #Conflicts: 1363000 | #Constraints: 39669
2849.95/2860.01 c #Conflicts: 1364000 | #Constraints: 40669
2849.95/2860.01 c #Conflicts: 1365000 | #Constraints: 41669
2849.95/2860.01 c #Conflicts: 1366000 | #Constraints: 42669
2849.95/2860.01 c #Conflicts: 1367000 | #Constraints: 43669
2849.95/2860.01 c #Conflicts: 1368000 | #Constraints: 44669
2849.95/2860.01 c #Conflicts: 1369000 | #Constraints: 45669
2849.95/2860.01 c #Conflicts: 1370000 | #Constraints: 46669
2849.95/2860.01 c #Conflicts: 1371000 | #Constraints: 47669
2849.95/2860.01 c INPROCESSING
2849.95/2860.01 c GARBAGE COLLECT
2849.95/2860.01 c #Conflicts: 1372000 | #Constraints: 25461
2849.95/2860.01 c #Conflicts: 1373000 | #Constraints: 26461
2849.95/2860.01 c #Conflicts: 1374000 | #Constraints: 27461
2849.95/2860.01 c #Conflicts: 1375000 | #Constraints: 28461
2849.95/2860.01 c #Conflicts: 1376000 | #Constraints: 29461
3093.75/3104.73 c #Conflicts: 1377000 | #Constraints: 30461
3093.75/3104.73 c #Conflicts: 1378000 | #Constraints: 31461
3093.75/3104.73 c #Conflicts: 1379000 | #Constraints: 32461
3093.75/3104.73 c #Conflicts: 1380000 | #Constraints: 33461
3093.75/3104.73 c #Conflicts: 1381000 | #Constraints: 34461
3093.75/3104.73 c #Conflicts: 1382000 | #Constraints: 35461
3093.75/3104.73 c #Conflicts: 1383000 | #Constraints: 36461
3093.75/3104.73 c #Conflicts: 1384000 | #Constraints: 37461
3093.75/3104.73 c #Conflicts: 1385000 | #Constraints: 38461
3093.75/3104.73 c #Conflicts: 1386000 | #Constraints: 39461
3093.75/3104.73 c #Conflicts: 1387000 | #Constraints: 40461
3093.75/3104.73 c #Conflicts: 1388000 | #Constraints: 41461
3093.75/3104.73 c #Conflicts: 1389000 | #Constraints: 42461
3093.75/3104.73 c #Conflicts: 1390000 | #Constraints: 43461
3093.75/3104.73 c #Conflicts: 1391000 | #Constraints: 44461
3093.75/3104.73 c #Conflicts: 1392000 | #Constraints: 45461
3093.75/3104.73 c #Conflicts: 1393000 | #Constraints: 46461
3093.75/3104.73 c #Conflicts: 1394000 | #Constraints: 47461
3093.75/3104.73 c #Conflicts: 1395000 | #Constraints: 48461
3093.75/3104.73 c INPROCESSING
3093.75/3104.73 c GARBAGE COLLECT
3093.75/3104.73 c #Conflicts: 1396000 | #Constraints: 26064
3093.75/3104.73 c #Conflicts: 1397000 | #Constraints: 27064
3093.75/3104.73 c #Conflicts: 1398000 | #Constraints: 28064
3093.75/3104.73 c #Conflicts: 1399000 | #Constraints: 29064
3093.75/3104.73 c #Conflicts: 1400000 | #Constraints: 30064
3093.75/3104.73 c #Conflicts: 1401000 | #Constraints: 31064
3093.75/3104.73 c #Conflicts: 1402000 | #Constraints: 32064
3093.75/3104.73 c #Conflicts: 1403000 | #Constraints: 33064
3093.75/3104.73 c #Conflicts: 1404000 | #Constraints: 34064
3093.75/3104.73 c #Conflicts: 1405000 | #Constraints: 35064
3093.75/3104.73 c #Conflicts: 1406000 | #Constraints: 36064
3093.75/3104.73 c #Conflicts: 1407000 | #Constraints: 37064
3093.75/3104.73 c #Conflicts: 1408000 | #Constraints: 38064
3093.75/3104.73 c #Conflicts: 1409000 | #Constraints: 39064
3093.75/3104.73 c #Conflicts: 1410000 | #Constraints: 40064
3093.75/3104.73 c #Conflicts: 1411000 | #Constraints: 41064
3093.75/3104.73 c #Conflicts: 1412000 | #Constraints: 42064
3093.75/3104.73 c #Conflicts: 1413000 | #Constraints: 43064
3093.75/3104.73 c #Conflicts: 1414000 | #Constraints: 44064
3093.75/3104.73 c #Conflicts: 1415000 | #Constraints: 45064
3093.75/3104.73 c #Conflicts: 1416000 | #Constraints: 46064
3093.75/3104.73 c #Conflicts: 1417000 | #Constraints: 47064
3093.75/3104.73 c #Conflicts: 1418000 | #Constraints: 48064
3093.75/3104.73 c #Conflicts: 1419000 | #Constraints: 49064
3093.75/3104.73 c INPROCESSING
3093.75/3104.73 c GARBAGE COLLECT
3093.75/3104.73 c #Conflicts: 1420000 | #Constraints: 26456
3093.75/3104.73 c #Conflicts: 1421000 | #Constraints: 27456
3093.75/3104.73 c #Conflicts: 1422000 | #Constraints: 28456
3093.75/3104.73 c #Conflicts: 1423000 | #Constraints: 29456
3093.75/3104.73 c #Conflicts: 1424000 | #Constraints: 30456
3093.75/3104.73 c #Conflicts: 1425000 | #Constraints: 31456
3093.75/3104.73 c #Conflicts: 1426000 | #Constraints: 32456
3093.75/3104.73 c #Conflicts: 1427000 | #Constraints: 33456
3093.75/3104.73 c #Conflicts: 1428000 | #Constraints: 34456
3093.75/3104.73 c #Conflicts: 1429000 | #Constraints: 35456
3093.75/3104.73 c #Conflicts: 1430000 | #Constraints: 36456
3093.75/3104.73 c #Conflicts: 1431000 | #Constraints: 37456
3093.75/3104.73 c #Conflicts: 1432000 | #Constraints: 38456
3093.75/3104.73 c #Conflicts: 1433000 | #Constraints: 39456
3093.75/3104.73 c #Conflicts: 1434000 | #Constraints: 40456
3093.75/3104.73 c #Conflicts: 1435000 | #Constraints: 41456
3093.75/3104.73 c #Conflicts: 1436000 | #Constraints: 42456
3093.75/3104.73 c #Conflicts: 1437000 | #Constraints: 43456
3093.75/3104.73 c #Conflicts: 1438000 | #Constraints: 44456
3093.75/3104.73 c #Conflicts: 1439000 | #Constraints: 45456
3093.75/3104.73 c #Conflicts: 1440000 | #Constraints: 46456
3093.75/3104.73 c #Conflicts: 1441000 | #Constraints: 47456
3093.75/3104.73 c #Conflicts: 1442000 | #Constraints: 48456
3093.75/3104.73 c #Conflicts: 1443000 | #Constraints: 49456
3093.75/3104.73 c INPROCESSING
3093.75/3104.73 c GARBAGE COLLECT
3093.75/3104.73 c #Conflicts: 1444000 | #Constraints: 26656
3093.75/3104.73 c #Conflicts: 1445000 | #Constraints: 27656
3093.75/3104.73 c #Conflicts: 1446000 | #Constraints: 28656
3093.75/3104.73 c #Conflicts: 1447000 | #Constraints: 29656
3093.75/3104.73 c #Conflicts: 1448000 | #Constraints: 30656
3093.75/3104.73 c #Conflicts: 1449000 | #Constraints: 31656
3093.75/3104.73 c #Conflicts: 1450000 | #Constraints: 32656
3093.75/3104.73 c #Conflicts: 1451000 | #Constraints: 33656
3093.75/3104.73 c #Conflicts: 1452000 | #Constraints: 34656
3093.75/3104.73 c #Conflicts: 1453000 | #Constraints: 35656
3364.78/3376.77 c #Conflicts: 1454000 | #Constraints: 36656
3364.78/3376.77 c #Conflicts: 1455000 | #Constraints: 37656
3364.78/3376.77 c #Conflicts: 1456000 | #Constraints: 38656
3364.78/3376.77 c #Conflicts: 1457000 | #Constraints: 39656
3364.78/3376.77 c #Conflicts: 1458000 | #Constraints: 40656
3364.78/3376.77 c #Conflicts: 1459000 | #Constraints: 41656
3364.78/3376.77 c #Conflicts: 1460000 | #Constraints: 42656
3364.78/3376.77 c #Conflicts: 1461000 | #Constraints: 43656
3364.78/3376.77 c #Conflicts: 1462000 | #Constraints: 44656
3364.78/3376.77 c #Conflicts: 1463000 | #Constraints: 45656
3364.78/3376.77 c #Conflicts: 1464000 | #Constraints: 46656
3364.78/3376.77 c #Conflicts: 1465000 | #Constraints: 47656
3364.78/3376.77 c #Conflicts: 1466000 | #Constraints: 48656
3364.78/3376.77 c #Conflicts: 1467000 | #Constraints: 49656
3364.78/3376.77 c INPROCESSING
3364.78/3376.77 c GARBAGE COLLECT
3364.78/3376.77 c #Conflicts: 1468000 | #Constraints: 26656
3364.78/3376.77 c #Conflicts: 1469000 | #Constraints: 27656
3364.78/3376.77 c #Conflicts: 1470000 | #Constraints: 28656
3364.78/3376.77 c #Conflicts: 1471000 | #Constraints: 29656
3364.78/3376.77 c #Conflicts: 1472000 | #Constraints: 30656
3364.78/3376.77 c #Conflicts: 1473000 | #Constraints: 31656
3364.78/3376.77 c #Conflicts: 1474000 | #Constraints: 32656
3364.78/3376.77 c #Conflicts: 1475000 | #Constraints: 33656
3364.78/3376.77 c #Conflicts: 1476000 | #Constraints: 34656
3364.78/3376.77 c #Conflicts: 1477000 | #Constraints: 35656
3364.78/3376.77 c #Conflicts: 1478000 | #Constraints: 36656
3364.78/3376.77 c #Conflicts: 1479000 | #Constraints: 37656
3364.78/3376.77 c #Conflicts: 1480000 | #Constraints: 38656
3364.78/3376.77 c #Conflicts: 1481000 | #Constraints: 39656
3364.78/3376.77 c #Conflicts: 1482000 | #Constraints: 40656
3364.78/3376.77 c #Conflicts: 1483000 | #Constraints: 41656
3364.78/3376.77 c #Conflicts: 1484000 | #Constraints: 42656
3364.78/3376.77 c #Conflicts: 1485000 | #Constraints: 43656
3364.78/3376.77 c #Conflicts: 1486000 | #Constraints: 44656
3364.78/3376.77 c #Conflicts: 1487000 | #Constraints: 45656
3364.78/3376.77 c #Conflicts: 1488000 | #Constraints: 46656
3364.78/3376.77 c #Conflicts: 1489000 | #Constraints: 47656
3364.78/3376.77 c #Conflicts: 1490000 | #Constraints: 48656
3364.78/3376.77 c #Conflicts: 1491000 | #Constraints: 49656
3364.78/3376.77 c INPROCESSING
3364.78/3376.77 c GARBAGE COLLECT
3364.78/3376.77 c #Conflicts: 1492000 | #Constraints: 26460
3364.78/3376.77 c #Conflicts: 1493000 | #Constraints: 27460
3364.78/3376.77 c #Conflicts: 1494000 | #Constraints: 28460
3364.78/3376.77 c #Conflicts: 1495000 | #Constraints: 29460
3364.78/3376.77 c #Conflicts: 1496000 | #Constraints: 30460
3364.78/3376.77 c #Conflicts: 1497000 | #Constraints: 31460
3364.78/3376.77 c #Conflicts: 1498000 | #Constraints: 32460
3364.78/3376.77 c #Conflicts: 1499000 | #Constraints: 33460
3364.78/3376.77 c #Conflicts: 1500000 | #Constraints: 34460
3364.78/3376.77 c #Conflicts: 1501000 | #Constraints: 35460
3364.78/3376.77 c #Conflicts: 1502000 | #Constraints: 36460
3364.78/3376.77 c #Conflicts: 1503000 | #Constraints: 37460
3364.78/3376.77 c #Conflicts: 1504000 | #Constraints: 38460
3364.78/3376.77 c #Conflicts: 1505000 | #Constraints: 39460
3364.78/3376.77 c #Conflicts: 1506000 | #Constraints: 40460
3364.78/3376.77 c #Conflicts: 1507000 | #Constraints: 41460
3364.78/3376.77 c #Conflicts: 1508000 | #Constraints: 42460
3364.78/3376.77 c #Conflicts: 1509000 | #Constraints: 43460
3364.78/3376.77 c #Conflicts: 1510000 | #Constraints: 44460
3364.78/3376.77 c #Conflicts: 1511000 | #Constraints: 45460
3364.78/3376.77 c #Conflicts: 1512000 | #Constraints: 46460
3364.78/3376.77 c #Conflicts: 1513000 | #Constraints: 47460
3364.78/3376.77 c #Conflicts: 1514000 | #Constraints: 48460
3364.78/3376.77 c #Conflicts: 1515000 | #Constraints: 49460
3364.78/3376.77 c #Conflicts: 1516000 | #Constraints: 50460
3364.78/3376.77 c INPROCESSING
3364.78/3376.77 c GARBAGE COLLECT
3364.78/3376.77 c #Conflicts: 1517000 | #Constraints: 27056
3364.78/3376.77 c #Conflicts: 1518000 | #Constraints: 28056
3364.78/3376.77 c #Conflicts: 1519000 | #Constraints: 29056
3364.78/3376.77 c #Conflicts: 1520000 | #Constraints: 30056
3364.78/3376.77 c #Conflicts: 1521000 | #Constraints: 31056
3364.78/3376.77 c #Conflicts: 1522000 | #Constraints: 32056
3364.78/3376.77 c #Conflicts: 1523000 | #Constraints: 33056
3364.78/3376.77 c #Conflicts: 1524000 | #Constraints: 34056
3364.78/3376.77 c #Conflicts: 1525000 | #Constraints: 35056
3364.78/3376.77 c #Conflicts: 1526000 | #Constraints: 36056
3364.78/3376.77 c #Conflicts: 1527000 | #Constraints: 37056
3364.78/3376.77 c #Conflicts: 1528000 | #Constraints: 38056
3364.78/3376.77 c #Conflicts: 1529000 | #Constraints: 39056
3364.78/3376.77 c #Conflicts: 1530000 | #Constraints: 40056
3600.03/3612.80 c #Conflicts: 1531000 | #Constraints: 41056
3600.03/3612.80 c #Conflicts: 1532000 | #Constraints: 42056
3600.03/3612.80 c #Conflicts: 1533000 | #Constraints: 43056
3600.03/3612.80 c #Conflicts: 1534000 | #Constraints: 44056
3600.03/3612.80 c #Conflicts: 1535000 | #Constraints: 45056
3600.03/3612.80 c #Conflicts: 1536000 | #Constraints: 46056
3600.03/3612.80 c #Conflicts: 1537000 | #Constraints: 47056
3600.03/3612.80 c #Conflicts: 1538000 | #Constraints: 48056
3600.03/3612.80 c #Conflicts: 1539000 | #Constraints: 49056
3600.03/3612.80 c #Conflicts: 1540000 | #Constraints: 50056
3600.03/3612.80 c #Conflicts: 1541000 | #Constraints: 51056
3600.03/3612.80 c INPROCESSING
3600.03/3612.80 c GARBAGE COLLECT
3600.03/3612.80 c #Conflicts: 1542000 | #Constraints: 27461
3600.03/3612.80 c #Conflicts: 1543000 | #Constraints: 28461
3600.03/3612.80 c #Conflicts: 1544000 | #Constraints: 29461
3600.03/3612.80 c #Conflicts: 1545000 | #Constraints: 30461
3600.03/3612.80 c #Conflicts: 1546000 | #Constraints: 31461
3600.03/3612.80 c #Conflicts: 1547000 | #Constraints: 32461
3600.03/3612.80 c #Conflicts: 1548000 | #Constraints: 33461
3600.03/3612.80 c #Conflicts: 1549000 | #Constraints: 34461
3600.03/3612.80 c #Conflicts: 1550000 | #Constraints: 35461
3600.03/3612.80 c #Conflicts: 1551000 | #Constraints: 36461
3600.03/3612.80 c #Conflicts: 1552000 | #Constraints: 37461
3600.03/3612.80 c #Conflicts: 1553000 | #Constraints: 38461
3600.03/3612.80 c #Conflicts: 1554000 | #Constraints: 39461
3600.03/3612.80 c #Conflicts: 1555000 | #Constraints: 40461
3600.03/3612.80 c #Conflicts: 1556000 | #Constraints: 41461
3600.03/3612.80 c #Conflicts: 1557000 | #Constraints: 42461
3600.03/3612.80 c #Conflicts: 1558000 | #Constraints: 43461
3600.03/3612.80 c #Conflicts: 1559000 | #Constraints: 44461
3600.03/3612.80 c #Conflicts: 1560000 | #Constraints: 45461
3600.03/3612.80 c #Conflicts: 1561000 | #Constraints: 46461
3600.03/3612.80 c #Conflicts: 1562000 | #Constraints: 47461
3600.03/3612.80 c #Conflicts: 1563000 | #Constraints: 48461
3600.03/3612.80 c #Conflicts: 1564000 | #Constraints: 49461
3600.03/3612.80 c #Conflicts: 1565000 | #Constraints: 50461
3600.03/3612.80 c #Conflicts: 1566000 | #Constraints: 51461
3600.03/3612.80 c INPROCESSING
3600.03/3612.80 c GARBAGE COLLECT
3600.03/3612.80 c #Conflicts: 1567000 | #Constraints: 27658
3600.03/3612.80 c #Conflicts: 1568000 | #Constraints: 28658
3600.03/3612.80 c #Conflicts: 1569000 | #Constraints: 29658
3600.03/3612.80 c #Conflicts: 1570000 | #Constraints: 30658
3600.03/3612.80 c #Conflicts: 1571000 | #Constraints: 31658
3600.03/3612.80 c #Conflicts: 1572000 | #Constraints: 32658
3600.03/3612.80 c #Conflicts: 1573000 | #Constraints: 33658
3600.03/3612.80 c #Conflicts: 1574000 | #Constraints: 34658
3600.03/3612.80 c #Conflicts: 1575000 | #Constraints: 35658
3600.03/3612.80 c #Conflicts: 1576000 | #Constraints: 36658
3600.03/3612.80 c #Conflicts: 1577000 | #Constraints: 37658
3600.03/3612.80 c #Conflicts: 1578000 | #Constraints: 38658
3600.03/3612.80 c #Conflicts: 1579000 | #Constraints: 39658
3600.03/3612.80 c #Conflicts: 1580000 | #Constraints: 40658
3600.03/3612.80 c #Conflicts: 1581000 | #Constraints: 41658
3600.03/3612.80 c #Conflicts: 1582000 | #Constraints: 42658
3600.03/3612.80 c #Conflicts: 1583000 | #Constraints: 43658
3600.03/3612.80 c #Conflicts: 1584000 | #Constraints: 44658
3600.03/3612.80 c #Conflicts: 1585000 | #Constraints: 45658
3600.03/3612.80 c #Conflicts: 1586000 | #Constraints: 46658
3600.03/3612.80 c #Conflicts: 1587000 | #Constraints: 47658
3600.03/3612.80 c #Conflicts: 1588000 | #Constraints: 48658
3600.03/3612.80 c #Conflicts: 1589000 | #Constraints: 49658
3600.03/3612.80 c #Conflicts: 1590000 | #Constraints: 50658
3600.03/3612.80 c #Conflicts: 1591000 | #Constraints: 51658
3600.03/3612.80 c INPROCESSING
3600.03/3612.80 c GARBAGE COLLECT
3600.03/3612.80 c #Conflicts: 1592000 | #Constraints: 27682
3600.03/3612.80 c #Conflicts: 1593000 | #Constraints: 28682
3600.03/3612.80 c #Conflicts: 1594000 | #Constraints: 29682
3600.03/3612.80 c #Conflicts: 1595000 | #Constraints: 30682
3600.03/3612.80 c #Conflicts: 1596000 | #Constraints: 31682
3600.03/3612.80 c Program interrupted by user.
3600.03/3612.80 c cpu time 3582.23 s
3600.03/3612.80 c deterministic time 261272454822 2.61e+11
3600.03/3612.80 c optimization time 74.3268 s
3600.03/3612.80 c total solve time 3507.9 s
3600.03/3612.80 c core-guided solve time 3507.9 s
3600.03/3612.80 c propagation time 3312.66 s
3600.03/3612.80 c conflict analysis time 203.089 s
3600.03/3612.80 c propagations 95342994
3600.03/3612.80 c resolve steps 3415012
3600.03/3612.80 c decisions 13090062
3600.03/3612.80 c conflicts 1596618
3600.03/3612.80 c restarts 3069
3600.03/3612.80 c inprocessing phases 117
3600.03/3612.80 c input clauses 1013
3600.03/3612.80 c input cardinalities 847
3600.03/3612.80 c input general constraints 958
3600.03/3612.80 c input average constraint length 104.42
3600.03/3612.80 c input average constraint degree 536.50
3600.03/3612.80 c learned clauses 199935
3600.03/3612.80 c learned cardinalities 7347
3600.03/3612.80 c learned general constraints 1389401
3600.03/3612.80 c learned average constraint length 279.32
3600.03/3612.80 c learned average constraint degree 8066.95
3600.03/3612.80 c watched constraints 122196
3600.03/3612.80 c counting constraints 1268163
3600.03/3612.80 c gcd simplifications 1184
3600.03/3612.80 c detected cardinalities 96
3600.03/3612.80 c weakened non-implied lits 51017891
3600.03/3612.80 c weakened non-implying lits 8869
3600.03/3612.80 c original variables 907
3600.03/3612.80 c clausal propagations 34134832
3600.03/3612.80 c cardinality propagations 23743263
3600.03/3612.80 c watched propagations 939030
3600.03/3612.80 c counting propagations 35309482
3600.03/3612.80 c watch lookups 89465947818
3600.03/3612.80 c watch backjump lookups 88812530056
3600.03/3612.80 c watch checks 45995861156
3600.03/3612.80 c propagation checks 36058508002
3600.03/3612.80 c constraint additions 721145938
3600.03/3612.80 c trail pops 110028795
3600.03/3612.80 c formula constraints 663
3600.03/3612.80 c learned constraints 1596683
3600.03/3612.80 c bound constraints 306
3600.03/3612.80 c core-guided constraints 1849
3600.03/3612.80 c encountered formula constraints 1862488
3600.03/3612.80 c encountered learned constraints 2838110
3600.03/3612.80 c encountered bound constraints 148
3600.03/3612.80 c encountered core-guided constraints 310884
3600.03/3612.80 c LP total time 0 s
3600.03/3612.80 c LP solve time 0 s
3600.03/3612.80 c LP constraints added 0
3600.03/3612.80 c LP constraints removed 0
3600.03/3612.80 c LP pivots internal 0
3600.03/3612.80 c LP pivots root 0
3600.03/3612.80 c LP calls 0
3600.03/3612.80 c LP optimalities 0
3600.03/3612.80 c LP no pivot count 0
3600.03/3612.80 c LP infeasibilities 0
3600.03/3612.80 c LP valid Farkas constraints 0
3600.03/3612.80 c LP learned Farkas constraints 0
3600.03/3612.80 c LP basis resets 0
3600.03/3612.80 c LP cycling count 0
3600.03/3612.80 c LP singular count 0
3600.03/3612.80 c LP no primal count 0
3600.03/3612.80 c LP no farkas count 0
3600.03/3612.80 c LP other issue count 0
3600.03/3612.80 c LP Gomory cuts 0
3600.03/3612.80 c LP learned cuts 0
3600.03/3612.80 c LP deleted cuts 0
3600.03/3612.80 c LP encountered Gomory constraints 0
3600.03/3612.80 c LP encountered Farkas constraints 0
3600.03/3612.80 c LP encountered learned Farkas constraints 0
3600.03/3612.80 c CG auxiliary variables introduced 765
3600.03/3612.80 c CG solutions found 3
3600.03/3612.80 c CG cores constructed 290
3600.03/3612.80 c CG core cardinality constraints returned 1
3600.03/3612.80 c CG unit cores 0
3600.03/3612.80 c CG single cores 284
3600.03/3612.80 c CG blocks removed during cardinality reduction 0
3600.03/3612.80 c CG first core best 0
3600.03/3612.80 c CG decision core best 0
3600.03/3612.80 c CG core reduction tie 6
3600.03/3612.80 c CG core degree average 1.05
3600.03/3612.80 c CG core slack average 5.60
3600.03/3612.80 c CG exhausted 1
3600.03/3612.80 c CG exhaust time 59.782 s
3600.03/3612.80 c CG trimmed 103
3600.03/3612.80 c CG trim time 0.188066 s
3600.03/3612.80 c CG minimized 0
3600.03/3612.80 c CG minimize time 0 s
3600.03/3612.80 c CG am1 prop time 0.028445 s
3600.03/3612.80 c CG # am1s reformulated 142
3600.03/3612.80 c CG lower bound derived from am1s 263
3600.03/3612.80 c CG # clausal cores 283
3600.03/3612.80 c CG # cardinality cores 2
3600.03/3612.80 c CG # pb cores 11
3600.03/3612.80 c CG # pb reforms 1
3600.03/3612.80 c CG # cores discarded because of pb reform 0
3600.03/3612.80 d LOWERBOUND 1531
3600.03/3612.80 d NCORES 290
3600.03/3612.80 d NPBCORES 11
3600.03/3612.80 d NPBREFORM 1
3600.03/3612.80 d NTRIMMED 103
3600.03/3612.80 d NEXHAUSTED 1
3600.03/3612.80 d NAM1S 142
3600.03/3612.80 d AM1LB 263
3600.03/3612.80 o 2642
3600.03/3612.80 s SATISFIABLE
3600.03/3612.80 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 x33 -x34 -x35 -x36 x37 -x38 -x39 x40 -x41 x42 -x43 -x44 -x45 x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 x72 -x73 x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 x88 x89 -x90 -x91 -x92 x93 x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 x147 -x148 -x149 x150 x151 -x152 x153 x154 -x155 -x156 -x157 x158 -x159 -x160 x161 -x162 -x163 x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 -x173 -x174 -x175 x176 -x177 x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 x188 -x189 x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 x199 -x200 x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 x225 -x226 x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 x256 x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 x317 x318 x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 x334 x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 x365 x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 x393 -x394 x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 x426 x427 -x428 x429 -x430 -x431 x432 x433 x434 -x435 x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 x457 x458 -x459 -x460 -x461 x462 -x463 -x464 x465 -x466 -x467 x468 x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 x494 -x495 x496 -x497 -x498 -x499 -x500 x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 x514 -x515 -x516 -x517 -x518 x519 -x520 x521 x522 x523 x524 x525 -x526 x527 x528 -x529 x530 x531 x532 x533 x534 x535 x536 -x537 x538 -x539 -x540 x541 -x542 -x543 x544 x545 -x546 x547 -x548 x549 x550 x551 x552 -x553 -x554 x555 x556 x557 -x558 x559 x560 -x561 x562 x563 -x564 x565 -x566 x567 x568 -x569 -x570 x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 x584 x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 x713 -x714 x715 -x716 x717 -x718 -x719 x720 -x721 -x722 x723 -x724 -x725 -x726 x727 x728 x729 -x730 -x731 -x732 x733 -x734 -x735 x736 -x737 x738 x739 -x740 -x741 x742 -x743 x744 -x745 -x746 x747 -x748 x749 x750 -x751 -x752 -x753 x754 x755 -x756 x757 -x758 x759 x760 -x761 -x762 x763 x764 -x765 -x766 x767 -x768 -x769 -x770 x771 -x772 x773 x774 -x775 x776 x777 x778 x779 x780 -x781 -x782 x783 x784 x785 x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 x834 -x835 -x836 x837 x838 -x839 x840 -x841 x842 x843 x844 -x845 x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 x858 x859 x860 -x861 -x862 -x863 -x864 x865 x866 -x867 x868 x869 -x870 x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 x879 x880 -x881 x882 -x883 -x884 x885 x886 -x887 -x888 -x889 x890 -x891 x892 -x893 -x894 -x895 x896 -x897 -x898 x899 x900 -x901 -x902 x903 x904 -x905 x906 -x907
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61906 MiB free)
memory of node 1: 64510 MiB (63601 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435933-1721061224/watcher-4435933-1721061224 -o /tmp/evaluation-result-4435933-1721061224/solver-4435933-1721061224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721061236-800991 --watchdog 3760 pb-oll-rs HOME/instance-4435933-1721061224.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=801047, runsolver pid=801040
[startup+0.100476 s]*
/proc/loadavg: 1.15 1.19 1.87 6/243 801054
/proc/meminfo: memFree=128512632/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=40440 memory=7920 CPUtime=0.1 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 814 0 0 0 8 2 0 0 20 0 1 0 158281988 41410560 1980 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 10110 1980 1356 291 0 1644 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40440 KiB
Current children cumulated memory: 7920 KiB
[startup+0.214272 s]*
/proc/loadavg: 1.15 1.19 1.87 5/242 801068
/proc/meminfo: memFree=128501568/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=41224 memory=10956 CPUtime=0.21 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 1033 0 0 0 16 5 0 0 20 0 1 0 158281988 42213376 2739 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 10306 2739 1356 291 0 1840 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41224 KiB
Current children cumulated memory: 10956 KiB
[startup+0.313391 s]*
/proc/loadavg: 1.15 1.19 1.87 5/242 801068
/proc/meminfo: memFree=128498840/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=41884 memory=11480 CPUtime=0.3 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 1215 0 0 0 24 6 0 0 20 0 1 0 158281988 42889216 2870 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 10471 2870 1356 291 0 2005 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 11480 KiB
[startup+0.700288 s]
/proc/loadavg: 1.15 1.19 1.87 7/242 801094
/proc/meminfo: memFree=128492896/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=44696 memory=14900 CPUtime=0.68 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 2068 0 0 0 60 8 0 0 20 0 1 0 158281988 45768704 3725 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 11174 3725 1356 291 0 2708 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44696 KiB
Current children cumulated memory: 14900 KiB
[startup+1.5003 s]
/proc/loadavg: 1.15 1.19 1.87 6/245 801100
/proc/meminfo: memFree=128473380/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=57400 memory=24704 CPUtime=1.48 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 4414 0 0 0 133 15 0 0 20 0 1 0 158281988 58777600 6176 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 14350 6176 1414 291 0 5884 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57400 KiB
Current children cumulated memory: 24704 KiB
[startup+3.11339 s]
/proc/loadavg: 1.38 1.24 1.88 6/245 801102
/proc/meminfo: memFree=128324828/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=72968 memory=35724 CPUtime=3.08 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 6688 0 0 0 287 21 0 0 20 0 1 0 158281988 74719232 8931 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 18242 8931 1414 291 0 9776 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 72968 KiB
Current children cumulated memory: 35724 KiB
[startup+6.30031 s]
/proc/loadavg: 1.38 1.24 1.88 6/245 801102
/proc/meminfo: memFree=128198812/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=85660 memory=51152 CPUtime=6.25 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 9498 0 0 0 591 34 0 0 20 0 1 0 158281988 87715840 12788 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 21415 12788 1414 291 0 12949 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 85660 KiB
Current children cumulated memory: 51152 KiB
[startup+12.7003 s]
/proc/loadavg: 1.78 1.33 1.90 6/244 801103
/proc/meminfo: memFree=128046736/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=87772 memory=53240 CPUtime=12.63 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 10058 0 0 0 1205 58 0 0 20 0 1 0 158281988 89878528 13310 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 21943 13310 1414 291 0 13477 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 87772 KiB
Current children cumulated memory: 53240 KiB
[startup+25.5003 s]
/proc/loadavg: 2.12 1.42 1.93 6/244 801106
/proc/meminfo: memFree=127899704/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=103656 memory=64416 CPUtime=25.39 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 11796 0 0 0 2450 89 0 0 20 0 1 0 158281988 106143744 16104 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 25914 16104 1414 291 0 17448 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 103656 KiB
Current children cumulated memory: 64416 KiB
[startup+51.113 s]
/proc/loadavg: 2.77 1.63 1.98 6/244 801109
/proc/meminfo: memFree=127695564/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=123144 memory=84632 CPUtime=50.89 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 15334 0 0 0 4936 153 0 0 20 0 1 0 158281988 126099456 21158 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 30786 21158 1414 291 0 22320 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 123144 KiB
Current children cumulated memory: 84632 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 2.04 2.11 6/244 801119
/proc/meminfo: memFree=127525696/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=153092 memory=100740 CPUtime=101.89 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 17877 0 0 0 9947 242 0 0 20 0 1 0 158281988 156766208 25185 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 38273 25185 1414 291 0 29807 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 153092 KiB
Current children cumulated memory: 100740 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.42 2.23 6/241 801132
/proc/meminfo: memFree=127395216/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=161268 memory=117904 CPUtime=161.65 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 20192 0 0 0 15854 311 0 0 20 0 1 0 158281988 165138432 29476 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 40317 29476 1414 291 0 31851 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 161268 KiB
Current children cumulated memory: 117904 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.74 2.36 6/241 801142
/proc/meminfo: memFree=127039572/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=195956 memory=126796 CPUtime=221.42 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 22227 0 0 0 21765 377 0 0 20 0 1 0 158281988 200658944 31699 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 48989 31699 1414 291 0 40523 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 195956 KiB
Current children cumulated memory: 126796 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 2.98 2.47 6/241 801152
/proc/meminfo: memFree=126905364/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=197620 memory=134536 CPUtime=281.19 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 23182 0 0 0 27688 431 0 0 20 0 1 0 158281988 202362880 33634 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 49405 33634 1414 291 0 40939 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 197620 KiB
Current children cumulated memory: 134536 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.20 2.58 6/241 801163
/proc/meminfo: memFree=126846996/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=225196 memory=147184 CPUtime=340.96 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 29270 0 0 0 33608 488 0 0 20 0 1 0 158281988 230600704 36796 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 56299 36796 1414 291 0 47833 0
Current children cumulated CPU time: 340.96 s
Current children cumulated vsize: 225196 KiB
Current children cumulated memory: 147184 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.36 2.67 6/245 801179
/proc/meminfo: memFree=126814668/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=229816 memory=151832 CPUtime=400.73 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 30909 0 0 0 39539 534 0 0 20 0 1 0 158281988 235331584 37958 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 57454 37958 1414 291 0 48988 0
Current children cumulated CPU time: 400.73 s
Current children cumulated vsize: 229816 KiB
Current children cumulated memory: 151832 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 3.53 2.77 6/245 801189
/proc/meminfo: memFree=126805360/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=235040 memory=159636 CPUtime=460.5 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 32654 0 0 0 45472 578 0 0 20 0 1 0 158281988 240680960 39909 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 58760 39909 1414 291 0 50294 0
################
# More data... #
################
Current children cumulated memory: 272096 KiB
[startup+2862.3 s]
/proc/loadavg: 4.18 4.17 4.13 6/244 802189
/proc/meminfo: memFree=125699060/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=356736 memory=272532 CPUtime=2852.22 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 55224 0 0 0 283645 1577 0 0 20 0 1 0 158281988 365297664 68133 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 89184 68133 1414 291 0 80718 0
Current children cumulated CPU time: 2852.22 s
Current children cumulated vsize: 356736 KiB
Current children cumulated memory: 272532 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.17 4.13 6/244 802200
/proc/meminfo: memFree=125626308/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=356736 memory=272780 CPUtime=2912.01 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 55342 0 0 0 289607 1594 0 0 20 0 1 0 158281988 365297664 68195 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 89184 68195 1414 291 0 80718 0
Current children cumulated CPU time: 2912.01 s
Current children cumulated vsize: 356736 KiB
Current children cumulated memory: 272780 KiB
[startup+2982.3 s]
/proc/loadavg: 4.41 4.23 4.15 6/243 802210
/proc/meminfo: memFree=125580832/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=356736 memory=274920 CPUtime=2971.79 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 55468 0 0 0 295569 1610 0 0 20 0 1 0 158281988 365297664 68730 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 89184 68730 1414 291 0 80718 0
Current children cumulated CPU time: 2971.79 s
Current children cumulated vsize: 356736 KiB
Current children cumulated memory: 274920 KiB
[startup+3042.3 s]
/proc/loadavg: 4.23 4.22 4.15 6/243 802221
/proc/meminfo: memFree=125537388/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=360576 memory=277596 CPUtime=3031.57 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 56243 0 0 0 301528 1629 0 0 20 0 1 0 158281988 369229824 69399 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 90144 69399 1414 291 0 81678 0
Current children cumulated CPU time: 3031.57 s
Current children cumulated vsize: 360576 KiB
Current children cumulated memory: 277596 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.21 4.15 6/244 802614
/proc/meminfo: memFree=125493360/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=360576 memory=277636 CPUtime=3091.36 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 56361 0 0 0 307494 1642 0 0 20 0 1 0 158281988 369229824 69409 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 90144 69409 1414 291 0 81678 0
Current children cumulated CPU time: 3091.36 s
Current children cumulated vsize: 360576 KiB
Current children cumulated memory: 277636 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.20 4.15 6/243 802625
/proc/meminfo: memFree=125455304/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=360576 memory=279928 CPUtime=3151.15 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 56572 0 0 0 313459 1656 0 0 20 0 1 0 158281988 369229824 69982 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 90144 69982 1414 291 0 81678 0
Current children cumulated CPU time: 3151.15 s
Current children cumulated vsize: 360576 KiB
Current children cumulated memory: 279928 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.17 4.15 6/243 802635
/proc/meminfo: memFree=125427348/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=360576 memory=280020 CPUtime=3210.93 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 56681 0 0 0 319421 1672 0 0 20 0 1 0 158281988 369229824 70005 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 90144 70005 1414 291 0 81678 0
Current children cumulated CPU time: 3210.93 s
Current children cumulated vsize: 360576 KiB
Current children cumulated memory: 280020 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.17 4.15 6/246 802816
/proc/meminfo: memFree=125425320/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=360576 memory=280280 CPUtime=3270.72 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 56854 0 0 0 325381 1691 0 0 20 0 1 0 158281988 369229824 70070 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 90144 70070 1414 291 0 81678 0
Current children cumulated CPU time: 3270.72 s
Current children cumulated vsize: 360576 KiB
Current children cumulated memory: 280280 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.14 4.13 6/246 802827
/proc/meminfo: memFree=125419788/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=360576 memory=282432 CPUtime=3330.5 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 56986 0 0 0 331341 1709 0 0 20 0 1 0 158281988 369229824 70608 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 90144 70608 1414 291 0 81678 0
Current children cumulated CPU time: 3330.5 s
Current children cumulated vsize: 360576 KiB
Current children cumulated memory: 282432 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.13 6/247 802894
/proc/meminfo: memFree=125411696/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=360576 memory=282432 CPUtime=3390.29 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 57109 0 0 0 337303 1726 0 0 20 0 1 0 158281988 369229824 70608 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 90144 70608 1414 291 0 81678 0
Current children cumulated CPU time: 3390.29 s
Current children cumulated vsize: 360576 KiB
Current children cumulated memory: 282432 KiB
[startup+3462.3 s]
/proc/loadavg: 4.24 4.17 4.15 6/245 802904
/proc/meminfo: memFree=125403368/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=361032 memory=283200 CPUtime=3450.07 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 57409 0 0 0 343265 1742 0 0 20 0 1 0 158281988 369696768 70800 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 90258 70800 1414 291 0 81792 0
Current children cumulated CPU time: 3450.07 s
Current children cumulated vsize: 361032 KiB
Current children cumulated memory: 283200 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.16 4.14 6/245 802915
/proc/meminfo: memFree=125363696/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=361228 memory=283496 CPUtime=3509.86 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 57590 0 0 0 349229 1757 0 0 20 0 1 0 158281988 369897472 70874 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 90307 70874 1414 291 0 81841 0
Current children cumulated CPU time: 3509.86 s
Current children cumulated vsize: 361228 KiB
Current children cumulated memory: 283496 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.13 6/246 802926
/proc/meminfo: memFree=125330460/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=361228 memory=283496 CPUtime=3569.64 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 57716 0 0 0 355192 1772 0 0 20 0 1 0 158281988 369897472 70874 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 90307 70874 1414 291 0 81841 0
Current children cumulated CPU time: 3569.64 s
Current children cumulated vsize: 361228 KiB
Current children cumulated memory: 283496 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.8 s]
/proc/loadavg: 4.15 4.14 4.13 5/245 803069
/proc/meminfo: memFree=128084244/131655788 swapFree=131071996/131071996
[pid=801047] ppid=801040 vsize=361684 memory=285868 CPUtime=3600.03 cores=0,2
/proc/801047/stat : 801047 (pb-oll-rs) R 801040 801047 800981 0 -1 4194304 57951 0 0 0 358223 1780 0 0 20 0 1 0 158281988 370364416 71467 134679101440 4194304 5384005 140729748799440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 26382336 140729748808727 140729748808804 140729748808804 140729748815819 0
/proc/801047/statm: 90421 71467 1414 291 0 81955 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 361684 KiB
Current children cumulated memory: 285868 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.81 s]
# the end of solver process 801047 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.23 s, system=17.81 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.81
CPU time (s): 3600.04
CPU user time (s): 3582.23
CPU system time (s): 17.81
CPU usage (%): 99.6467
Max. virtual memory (cumulated for all children) (KiB): 361684
Max. memory (cumulated for all children) (KiB): 285868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.23
system time used= 17.81
maximum resident set size= 286052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57967
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= 81
involuntary context switches= 24654
# summary of solver processes directly reported to runsolver:
# pid: 801047
# total CPU time (s): 3600.04
# total CPU user time (s): 3582.23
# total CPU system time (s): 17.81
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.8319 second user time and 27.9945 second system time
The end
Begin job on nodeC009 at 2024-07-15 18:33:56
IDJOB=4435933
IDBENCH=146650
IDSOLVER=3067
FILE ID=nodeC009/4435933-1721061224
RUNJOBID= nodeC009-1721061236-800991
SLURM_JOB_ID= 7505510
Free space on /tmp= 723768 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435933-1721061224/watcher-4435933-1721061224 -o /tmp/evaluation-result-4435933-1721061224/solver-4435933-1721061224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721061236-800991 --watchdog 3760 pb-oll-rs HOME/instance-4435933-1721061224.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1
RANDOM SEED=1108231342
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.327
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3339.266
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.321
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.319
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.335
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.318
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.324
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.334
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128524008 kB
MemAvailable: 129924536 kB
Buffers: 371104 kB
Cached: 1857992 kB
SwapCached: 0 kB
Active: 596380 kB
Inactive: 1984424 kB
Active(anon): 1356 kB
Inactive(anon): 388048 kB
Active(file): 595024 kB
Inactive(file): 1596376 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5984 kB
Writeback: 4 kB
AnonPages: 351572 kB
Mapped: 103032 kB
Shmem: 37700 kB
KReclaimable: 98320 kB
Slab: 195208 kB
SReclaimable: 98320 kB
SUnreclaim: 96888 kB
KernelStack: 3696 kB
PageTables: 9636 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 726236 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51456 kB
HardwareCorrupted: 0 kB
AnonHugePages: 229376 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC009 at 2024-07-15 19:34:09