0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.02 c [STEP] solving
0.00/0.02 c #variables 907 #constraints 663
0.00/0.02 c SMALL=int, LARGE=long long
0.00/0.02 c bounds - >= -175 @ 0.006654
0.00/0.02 c stratification level: 1
0.00/0.05 c bounds - >= 92 @ 0.012309
0.00/0.05 c bounds - >= 107 @ 0.015276
0.00/0.05 c bounds - >= 207 @ 0.016932
0.00/0.05 c bounds - >= 208 @ 0.018323
0.00/0.05 c bounds - >= 209 @ 0.01924
0.00/0.05 c bounds - >= 210 @ 0.020121
0.00/0.05 c bounds - >= 211 @ 0.02116
0.00/0.05 c bounds - >= 212 @ 0.022311
0.00/0.05 c bounds - >= 213 @ 0.023155
0.00/0.05 c bounds - >= 214 @ 0.023575
0.00/0.05 c bounds - >= 215 @ 0.024831
0.00/0.05 c bounds - >= 216 @ 0.026175
0.00/0.05 c finalizing WCE round: reformulating cores
1.58/1.67 c #Conflicts: 1000 | #Constraints: 1851
1.58/1.67 c #Conflicts: 2000 | #Constraints: 2853
1.58/1.67 c INPROCESSING
1.58/1.67 c GARBAGE COLLECT
1.58/1.67 c #Conflicts: 3000 | #Constraints: 2847
1.58/1.67 c bounds 2648 >= 216 @ 1.45637
1.58/1.67 c bounds 2648 >= 316 @ 1.46002
1.58/1.67 c bounds 2648 >= 317 @ 1.46091
1.58/1.67 c bounds 2648 >= 318 @ 1.46237
1.58/1.67 c bounds 2648 >= 319 @ 1.46364
1.58/1.67 c bounds 2648 >= 320 @ 1.46527
1.58/1.67 c bounds 2648 >= 321 @ 1.46769
1.58/1.67 c bounds 2648 >= 322 @ 1.47014
1.58/1.67 c bounds 2648 >= 323 @ 1.47268
1.58/1.67 c bounds 2648 >= 324 @ 1.47645
1.58/1.67 c bounds 2648 >= 325 @ 1.48357
1.58/1.67 c bounds 2648 >= 424 @ 1.49606
1.58/1.67 c bounds 2648 >= 425 @ 1.4974
1.58/1.67 c bounds 2648 >= 426 @ 1.5021
1.58/1.67 c bounds 2648 >= 427 @ 1.50388
1.58/1.67 c bounds 2648 >= 428 @ 1.50566
1.58/1.67 c bounds 2648 >= 429 @ 1.50743
1.58/1.67 c bounds 2648 >= 430 @ 1.50922
1.58/1.67 c bounds 2648 >= 431 @ 1.511
1.58/1.67 c bounds 2648 >= 432 @ 1.51279
1.58/1.67 c bounds 2648 >= 525 @ 1.51477
1.58/1.67 c bounds 2648 >= 526 @ 1.52238
1.58/1.67 c bounds 2648 >= 531 @ 1.52561
1.58/1.67 c bounds 2648 >= 532 @ 1.52753
1.58/1.67 c finalizing WCE round: reformulating cores
9.55/9.69 c #Conflicts: 4000 | #Constraints: 3973
9.55/9.69 c INPROCESSING
9.55/9.69 c GARBAGE COLLECT
9.55/9.69 c #Conflicts: 5000 | #Constraints: 3334
9.55/9.69 c #Conflicts: 6000 | #Constraints: 4338
9.55/9.69 c INPROCESSING
9.55/9.69 c GARBAGE COLLECT
9.55/9.69 c #Conflicts: 7000 | #Constraints: 3332
9.55/9.69 c #Conflicts: 8000 | #Constraints: 4334
9.55/9.69 c #Conflicts: 9000 | #Constraints: 5338
9.55/9.69 c INPROCESSING
9.55/9.69 c GARBAGE COLLECT
9.55/9.69 c #Conflicts: 10000 | #Constraints: 4031
9.55/9.69 c #Conflicts: 11000 | #Constraints: 5033
9.55/9.69 c #Conflicts: 12000 | #Constraints: 6038
9.55/9.69 c INPROCESSING
9.55/9.69 c GARBAGE COLLECT
9.55/9.69 c #Conflicts: 13000 | #Constraints: 4470
9.55/9.69 c #Conflicts: 14000 | #Constraints: 5472
9.55/9.69 c #Conflicts: 15000 | #Constraints: 6474
9.55/9.69 c INPROCESSING
9.55/9.69 c GARBAGE COLLECT
9.55/9.69 c #Conflicts: 16000 | #Constraints: 4706
9.55/9.69 c #Conflicts: 17000 | #Constraints: 5708
9.55/9.69 c #Conflicts: 18000 | #Constraints: 6710
9.55/9.69 c INPROCESSING
9.55/9.69 c GARBAGE COLLECT
9.55/9.69 c #Conflicts: 19000 | #Constraints: 4736
9.55/9.69 c #Conflicts: 20000 | #Constraints: 5738
9.55/9.69 c bounds 2643 >= 533 @ 7.70565
9.55/9.69 c bounds 2643 >= 626 @ 7.71115
9.55/9.69 c bounds 2643 >= 627 @ 7.71715
9.55/9.69 c bounds 2643 >= 634 @ 7.72562
9.55/9.69 c bounds 2643 >= 720 @ 7.72768
9.55/9.69 c bounds 2643 >= 726 @ 7.73292
9.55/9.69 c bounds 2643 >= 727 @ 7.73471
9.55/9.69 c bounds 2643 >= 728 @ 7.76264
9.55/9.69 c bounds 2643 >= 729 @ 7.77361
9.55/9.69 c bounds 2643 >= 730 @ 7.77564
9.55/9.69 c bounds 2643 >= 731 @ 7.77958
9.55/9.69 c bounds 2643 >= 732 @ 8.026
9.55/9.69 c bounds 2643 >= 733 @ 8.0562
9.55/9.69 c bounds 2643 >= 734 @ 8.05941
9.55/9.69 c bounds 2643 >= 735 @ 8.06462
9.55/9.69 c bounds 2643 >= 736 @ 8.06637
9.55/9.69 c bounds 2643 >= 737 @ 8.06809
9.55/9.69 c bounds 2643 >= 738 @ 8.06981
9.55/9.69 c bounds 2643 >= 739 @ 8.07153
9.55/9.69 c bounds 2643 >= 740 @ 8.07227
9.55/9.69 c bounds 2643 >= 741 @ 8.07353
9.55/9.69 c bounds 2643 >= 742 @ 8.07426
9.55/9.69 c bounds 2643 >= 743 @ 8.07554
9.55/9.69 c bounds 2643 >= 744 @ 8.07658
9.55/9.69 c bounds 2643 >= 818 @ 8.07733
9.55/9.69 c bounds 2643 >= 824 @ 8.11606
9.55/9.69 c bounds 2643 >= 827 @ 8.1229
9.55/9.69 c bounds 2643 >= 828 @ 8.20464
9.55/9.69 c bounds 2643 >= 829 @ 8.23637
9.55/9.69 c bounds 2643 >= 830 @ 8.26518
9.55/9.69 c #Conflicts: 21000 | #Constraints: 6923
9.55/9.69 c bounds 2643 >= 831 @ 8.413
9.55/9.69 c bounds 2643 >= 832 @ 8.46085
9.55/9.69 c bounds 2643 >= 833 @ 8.46261
9.55/9.69 c bounds 2643 >= 834 @ 8.46783
9.55/9.69 c bounds 2643 >= 835 @ 8.47257
9.55/9.69 c bounds 2643 >= 840 @ 8.48426
9.55/9.69 c bounds 2643 >= 841 @ 8.49169
9.55/9.69 c bounds 2643 >= 842 @ 8.50083
9.55/9.69 c bounds 2643 >= 843 @ 8.50489
9.55/9.69 c bounds 2643 >= 844 @ 8.50896
9.55/9.69 c bounds 2643 >= 845 @ 8.51189
9.55/9.69 c bounds 2643 >= 846 @ 8.51499
9.55/9.69 c bounds 2643 >= 847 @ 8.51922
9.55/9.69 c bounds 2643 >= 848 @ 8.52337
9.55/9.69 c bounds 2643 >= 849 @ 8.52733
9.55/9.69 c bounds 2643 >= 850 @ 8.53124
9.55/9.69 c bounds 2643 >= 851 @ 8.53507
9.55/9.69 c bounds 2643 >= 852 @ 8.5387
9.55/9.69 c bounds 2643 >= 853 @ 8.54228
9.55/9.69 c bounds 2643 >= 854 @ 8.54579
9.55/9.69 c bounds 2643 >= 855 @ 8.54836
9.55/9.69 c bounds 2643 >= 856 @ 8.55182
9.55/9.69 c bounds 2643 >= 857 @ 8.55433
9.55/9.69 c bounds 2643 >= 858 @ 8.55783
9.55/9.69 c bounds 2643 >= 859 @ 8.56033
9.55/9.69 c bounds 2643 >= 860 @ 8.56378
9.55/9.69 c bounds 2643 >= 919 @ 8.56667
9.55/9.69 c bounds 2643 >= 927 @ 8.56766
9.55/9.69 c bounds 2643 >= 934 @ 8.62595
9.55/9.69 c bounds 2643 >= 935 @ 8.64986
9.55/9.69 c bounds 2643 >= 936 @ 8.66156
9.55/9.69 c bounds 2643 >= 937 @ 8.67181
9.55/9.69 c bounds 2643 >= 938 @ 8.68396
9.55/9.69 c bounds 2643 >= 939 @ 8.69554
9.55/9.69 c bounds 2643 >= 940 @ 8.70607
9.55/9.69 c bounds 2643 >= 941 @ 8.7163
9.55/9.69 c bounds 2643 >= 942 @ 8.72677
9.55/9.69 c bounds 2643 >= 943 @ 8.73801
9.55/9.69 c bounds 2643 >= 944 @ 8.74929
9.55/9.69 c bounds 2643 >= 945 @ 8.76016
9.55/9.69 c bounds 2643 >= 946 @ 8.77154
9.55/9.69 c bounds 2643 >= 947 @ 8.78266
9.55/9.69 c bounds 2643 >= 948 @ 8.7941
9.55/9.69 c bounds 2643 >= 949 @ 8.80559
9.55/9.69 c bounds 2643 >= 950 @ 8.81775
9.55/9.69 c bounds 2643 >= 951 @ 8.8331
9.55/9.69 c bounds 2643 >= 952 @ 8.84472
9.55/9.69 c bounds 2643 >= 953 @ 8.85654
9.55/9.69 c bounds 2643 >= 954 @ 8.8689
9.55/9.69 c bounds 2643 >= 955 @ 8.87847
9.55/9.69 c bounds 2643 >= 956 @ 8.89024
9.55/9.69 c bounds 2643 >= 957 @ 8.90113
9.55/9.69 c bounds 2643 >= 958 @ 8.91259
9.55/9.69 c bounds 2643 >= 959 @ 8.92428
9.55/9.69 c bounds 2643 >= 960 @ 8.93505
9.55/9.69 c bounds 2643 >= 1027 @ 8.94972
9.55/9.69 c bounds 2643 >= 1028 @ 9.03613
9.55/9.69 c bounds 2643 >= 1034 @ 9.04834
9.55/9.69 c bounds 2643 >= 1035 @ 9.06731
9.55/9.69 c bounds 2643 >= 1036 @ 9.09337
9.55/9.69 c bounds 2643 >= 1037 @ 9.11721
9.55/9.69 c bounds 2643 >= 1038 @ 9.18615
9.55/9.69 c bounds 2643 >= 1039 @ 9.1966
9.55/9.69 c bounds 2643 >= 1040 @ 9.21331
9.55/9.69 c bounds 2643 >= 1041 @ 9.24553
9.55/9.69 c bounds 2643 >= 1042 @ 9.24702
10.25/10.30 c bounds 2643 >= 1043 @ 9.24967
10.25/10.30 c bounds 2643 >= 1044 @ 9.25131
10.25/10.30 c bounds 2643 >= 1045 @ 9.25553
10.25/10.30 c bounds 2643 >= 1046 @ 9.27121
10.25/10.30 c bounds 2643 >= 1047 @ 9.29245
10.25/10.30 c bounds 2643 >= 1048 @ 9.30584
10.25/10.30 c bounds 2643 >= 1049 @ 9.31828
10.25/10.30 c bounds 2643 >= 1050 @ 9.33106
10.25/10.30 c bounds 2643 >= 1051 @ 9.3447
10.25/10.30 c bounds 2643 >= 1052 @ 9.35807
10.25/10.30 c bounds 2643 >= 1053 @ 9.37214
10.25/10.30 c bounds 2643 >= 1054 @ 9.38658
10.25/10.30 c bounds 2643 >= 1055 @ 9.3981
10.25/10.30 c bounds 2643 >= 1056 @ 9.4115
10.25/10.30 c bounds 2643 >= 1057 @ 9.42496
10.25/10.30 c bounds 2643 >= 1058 @ 9.43942
10.25/10.30 c INPROCESSING
10.25/10.30 c GARBAGE COLLECT
10.25/10.30 c bounds 2643 >= 1059 @ 9.48886
10.25/10.30 c bounds 2643 >= 1060 @ 9.49455
10.25/10.30 c bounds 2643 >= 1061 @ 9.50078
10.25/10.30 c bounds 2643 >= 1062 @ 9.50571
10.25/10.30 c bounds 2643 >= 1124 @ 9.51369
10.25/10.30 c bounds 2643 >= 1127 @ 9.51555
10.25/10.30 c bounds 2643 >= 1136 @ 9.55508
10.25/10.30 c bounds 2643 >= 1137 @ 9.58636
10.25/10.30 c bounds 2643 >= 1138 @ 9.60084
10.25/10.30 c bounds 2643 >= 1139 @ 9.61313
10.25/10.30 c bounds 2643 >= 1140 @ 9.6207
10.25/10.30 c bounds 2643 >= 1141 @ 9.69736
10.25/10.30 c bounds 2643 >= 1142 @ 9.73393
10.25/10.30 c bounds 2643 >= 1143 @ 9.74455
10.25/10.30 c bounds 2643 >= 1144 @ 9.7555
10.25/10.30 c #Conflicts: 22000 | #Constraints: 4935
10.25/10.30 c bounds 2643 >= 1145 @ 9.8234
10.25/10.30 c finalizing WCE round: reformulating cores
45.56/45.77 c #Conflicts: 23000 | #Constraints: 5953
45.56/45.77 c #Conflicts: 24000 | #Constraints: 6955
45.56/45.77 c #Conflicts: 25000 | #Constraints: 7957
45.56/45.77 c INPROCESSING
45.56/45.77 c GARBAGE COLLECT
45.56/45.77 c bounds 2642 >= 727 @ 11.3174
45.56/45.77 c #Conflicts: 26000 | #Constraints: 5453
45.56/45.77 c #Conflicts: 27000 | #Constraints: 6455
45.56/45.77 c #Conflicts: 28000 | #Constraints: 7457
45.56/45.77 c #Conflicts: 29000 | #Constraints: 8461
45.56/45.77 c INPROCESSING
45.56/45.77 c GARBAGE COLLECT
45.56/45.77 c #Conflicts: 30000 | #Constraints: 5800
45.56/45.77 c #Conflicts: 31000 | #Constraints: 6802
45.56/45.77 c #Conflicts: 32000 | #Constraints: 7804
45.56/45.77 c #Conflicts: 33000 | #Constraints: 8808
45.56/45.77 c INPROCESSING
45.56/45.77 c GARBAGE COLLECT
45.56/45.77 c #Conflicts: 34000 | #Constraints: 5993
45.56/45.77 c #Conflicts: 35000 | #Constraints: 6995
45.56/45.77 c #Conflicts: 36000 | #Constraints: 7997
45.56/45.77 c #Conflicts: 37000 | #Constraints: 9001
45.56/45.77 c INPROCESSING
45.56/45.77 c GARBAGE COLLECT
45.56/45.77 c #Conflicts: 38000 | #Constraints: 6001
45.56/45.77 c #Conflicts: 39000 | #Constraints: 7003
45.56/45.77 c #Conflicts: 40000 | #Constraints: 8005
45.56/45.77 c #Conflicts: 41000 | #Constraints: 9009
45.56/45.77 c INPROCESSING
45.56/45.77 c GARBAGE COLLECT
45.56/45.77 c #Conflicts: 42000 | #Constraints: 5826
45.56/45.77 c #Conflicts: 43000 | #Constraints: 6828
45.56/45.77 c #Conflicts: 44000 | #Constraints: 7832
45.56/45.77 c #Conflicts: 45000 | #Constraints: 8834
45.56/45.77 c #Conflicts: 46000 | #Constraints: 9836
45.56/45.77 c INPROCESSING
45.56/45.77 c GARBAGE COLLECT
45.56/45.77 c #Conflicts: 47000 | #Constraints: 6431
45.56/45.77 c #Conflicts: 48000 | #Constraints: 7433
45.56/45.77 c #Conflicts: 49000 | #Constraints: 8435
45.56/45.77 c #Conflicts: 50000 | #Constraints: 9439
45.56/45.77 c #Conflicts: 51000 | #Constraints: 10441
45.56/45.77 c INPROCESSING
45.56/45.77 c GARBAGE COLLECT
45.56/45.77 c #Conflicts: 52000 | #Constraints: 6847
45.56/45.77 c #Conflicts: 53000 | #Constraints: 7849
45.56/45.77 c #Conflicts: 54000 | #Constraints: 8851
45.56/45.77 c #Conflicts: 55000 | #Constraints: 9855
45.56/45.77 c #Conflicts: 56000 | #Constraints: 10857
45.56/45.77 c INPROCESSING
45.56/45.77 c GARBAGE COLLECT
45.56/45.77 c #Conflicts: 57000 | #Constraints: 7066
45.56/45.77 c #Conflicts: 58000 | #Constraints: 8068
45.56/45.77 c #Conflicts: 59000 | #Constraints: 9070
45.56/45.77 c #Conflicts: 60000 | #Constraints: 10074
45.56/45.77 c #Conflicts: 61000 | #Constraints: 11076
45.56/45.77 c INPROCESSING
45.56/45.77 c GARBAGE COLLECT
45.56/45.77 c #Conflicts: 62000 | #Constraints: 7086
45.56/45.77 c #Conflicts: 63000 | #Constraints: 8088
45.56/45.77 c #Conflicts: 64000 | #Constraints: 9090
45.56/45.77 c #Conflicts: 65000 | #Constraints: 10094
45.56/45.77 c #Conflicts: 66000 | #Constraints: 11096
45.56/45.77 c INPROCESSING
45.56/45.77 c GARBAGE COLLECT
45.56/45.77 c #Conflicts: 67000 | #Constraints: 6899
45.56/45.77 c #Conflicts: 68000 | #Constraints: 7901
45.56/45.77 c #Conflicts: 69000 | #Constraints: 8905
45.56/45.77 c #Conflicts: 70000 | #Constraints: 9907
45.56/45.77 c #Conflicts: 71000 | #Constraints: 10909
45.56/45.77 c #Conflicts: 72000 | #Constraints: 11913
45.56/45.77 c INPROCESSING
45.56/45.77 c GARBAGE COLLECT
45.56/45.77 c #Conflicts: 73000 | #Constraints: 7509
45.56/45.77 c #Conflicts: 74000 | #Constraints: 8511
45.56/45.77 c #Conflicts: 75000 | #Constraints: 9513
45.56/45.77 c #Conflicts: 76000 | #Constraints: 10517
45.56/45.77 c #Conflicts: 77000 | #Constraints: 11519
45.56/45.77 c #Conflicts: 78000 | #Constraints: 12521
45.56/45.77 c INPROCESSING
45.56/45.77 c GARBAGE COLLECT
45.56/45.77 c #Conflicts: 79000 | #Constraints: 7932
45.56/45.77 c #Conflicts: 80000 | #Constraints: 8934
45.56/45.77 c #Conflicts: 81000 | #Constraints: 9936
45.56/45.77 c #Conflicts: 82000 | #Constraints: 10940
45.56/45.77 c #Conflicts: 83000 | #Constraints: 11942
45.56/45.77 c #Conflicts: 84000 | #Constraints: 12944
45.56/45.77 c INPROCESSING
45.56/45.77 c GARBAGE COLLECT
45.56/45.77 c #Conflicts: 85000 | #Constraints: 8149
45.56/45.77 c #Conflicts: 86000 | #Constraints: 9151
45.56/45.77 c #Conflicts: 87000 | #Constraints: 10153
45.56/45.77 c #Conflicts: 88000 | #Constraints: 11157
45.56/45.77 c #Conflicts: 89000 | #Constraints: 12159
45.56/45.77 c #Conflicts: 90000 | #Constraints: 13161
45.56/45.77 c INPROCESSING
45.56/45.77 c GARBAGE COLLECT
45.56/45.77 c #Conflicts: 91000 | #Constraints: 8169
45.56/45.77 c #Conflicts: 92000 | #Constraints: 9171
68.09/68.31 c #Conflicts: 93000 | #Constraints: 10173
68.09/68.31 c #Conflicts: 94000 | #Constraints: 11177
68.09/68.31 c #Conflicts: 95000 | #Constraints: 12179
68.09/68.31 c #Conflicts: 96000 | #Constraints: 13181
68.09/68.31 c INPROCESSING
68.09/68.31 c GARBAGE COLLECT
68.09/68.31 c #Conflicts: 97000 | #Constraints: 7975
68.09/68.31 c #Conflicts: 98000 | #Constraints: 8977
68.09/68.31 c #Conflicts: 99000 | #Constraints: 9981
68.09/68.31 c #Conflicts: 100000 | #Constraints: 10983
68.09/68.31 c #Conflicts: 101000 | #Constraints: 11985
68.09/68.31 c #Conflicts: 102000 | #Constraints: 12989
68.09/68.31 c #Conflicts: 103000 | #Constraints: 13991
68.09/68.31 c INPROCESSING
68.09/68.31 c GARBAGE COLLECT
68.09/68.31 c #Conflicts: 104000 | #Constraints: 8606
68.09/68.31 c #Conflicts: 105000 | #Constraints: 9608
68.09/68.31 c #Conflicts: 106000 | #Constraints: 10610
68.09/68.31 c #Conflicts: 107000 | #Constraints: 11614
68.09/68.31 c #Conflicts: 108000 | #Constraints: 12616
68.09/68.31 c #Conflicts: 109000 | #Constraints: 13618
68.09/68.31 c #Conflicts: 110000 | #Constraints: 14622
68.09/68.31 c INPROCESSING
68.09/68.31 c GARBAGE COLLECT
68.09/68.31 c #Conflicts: 111000 | #Constraints: 9023
68.09/68.31 c #Conflicts: 112000 | #Constraints: 10025
68.09/68.31 c #Conflicts: 113000 | #Constraints: 11027
68.09/68.31 c #Conflicts: 114000 | #Constraints: 12031
68.09/68.31 c #Conflicts: 115000 | #Constraints: 13033
68.09/68.31 c #Conflicts: 116000 | #Constraints: 14035
68.09/68.31 c #Conflicts: 117000 | #Constraints: 15039
68.09/68.31 c INPROCESSING
68.09/68.31 c GARBAGE COLLECT
68.09/68.31 c #Conflicts: 118000 | #Constraints: 9239
68.09/68.31 c #Conflicts: 119000 | #Constraints: 10241
68.09/68.31 c #Conflicts: 120000 | #Constraints: 11243
68.09/68.31 c #Conflicts: 121000 | #Constraints: 12247
68.09/68.31 c #Conflicts: 122000 | #Constraints: 13249
68.09/68.31 c #Conflicts: 123000 | #Constraints: 14251
68.09/68.31 c bounds 2642 >= 1146 @ 62.5009
68.09/68.31 c bounds 2642 >= 1148 @ 62.5165
68.09/68.31 c bounds 2642 >= 1149 @ 62.5201
68.09/68.31 c bounds 2642 >= 1150 @ 62.5213
68.09/68.31 c bounds 2642 >= 1151 @ 62.5225
68.09/68.31 c bounds 2642 >= 1225 @ 62.5237
68.09/68.31 c bounds 2642 >= 1228 @ 62.5263
68.09/68.31 c bounds 2642 >= 1229 @ 62.5505
68.09/68.31 c bounds 2642 >= 1230 @ 62.5661
68.09/68.31 c bounds 2642 >= 1231 @ 62.6388
68.09/68.31 c bounds 2642 >= 1234 @ 62.8557
68.09/68.31 c bounds 2642 >= 1235 @ 62.8625
68.09/68.31 c bounds 2642 >= 1236 @ 62.8645
68.09/68.31 c bounds 2642 >= 1237 @ 62.8821
68.09/68.31 c bounds 2642 >= 1238 @ 62.9273
68.09/68.31 c bounds 2642 >= 1240 @ 63.0282
68.09/68.31 c bounds 2642 >= 1241 @ 63.0414
68.09/68.31 c bounds 2642 >= 1242 @ 63.0443
68.09/68.31 c bounds 2642 >= 1243 @ 63.0506
68.09/68.31 c bounds 2642 >= 1287 @ 63.0654
68.09/68.31 c bounds 2642 >= 1290 @ 63.0662
68.09/68.31 c bounds 2642 >= 1291 @ 63.0681
68.09/68.31 c bounds 2642 >= 1292 @ 63.0698
68.09/68.31 c bounds 2642 >= 1293 @ 63.0709
68.09/68.31 c bounds 2642 >= 1294 @ 63.0732
68.09/68.31 c bounds 2642 >= 1295 @ 63.0741
68.09/68.31 c bounds 2642 >= 1296 @ 63.0754
68.09/68.31 c bounds 2642 >= 1297 @ 63.0769
68.09/68.31 c bounds 2642 >= 1298 @ 63.078
68.09/68.31 c bounds 2642 >= 1299 @ 63.079
68.09/68.31 c bounds 2642 >= 1300 @ 63.0799
68.09/68.31 c bounds 2642 >= 1301 @ 63.082
68.09/68.31 c bounds 2642 >= 1302 @ 63.084
68.09/68.31 c bounds 2642 >= 1303 @ 63.0854
68.09/68.31 c bounds 2642 >= 1304 @ 63.0874
68.09/68.31 c bounds 2642 >= 1305 @ 63.0884
68.09/68.31 c bounds 2642 >= 1306 @ 63.0888
68.09/68.31 c bounds 2642 >= 1307 @ 63.0892
68.09/68.31 c bounds 2642 >= 1308 @ 63.0906
68.09/68.31 c bounds 2642 >= 1309 @ 63.0917
68.09/68.31 c bounds 2642 >= 1310 @ 63.0932
68.09/68.31 c bounds 2642 >= 1311 @ 63.0948
68.09/68.31 c bounds 2642 >= 1312 @ 63.1026
68.09/68.31 c bounds 2642 >= 1313 @ 63.1096
68.09/68.31 c bounds 2642 >= 1314 @ 63.1125
68.09/68.31 c bounds 2642 >= 1315 @ 63.116
68.09/68.31 c bounds 2642 >= 1316 @ 63.1181
68.09/68.31 c bounds 2642 >= 1317 @ 63.1219
68.09/68.31 c bounds 2642 >= 1318 @ 63.1249
68.09/68.31 c bounds 2642 >= 1319 @ 63.1321
68.09/68.31 c bounds 2642 >= 1320 @ 63.1337
68.09/68.31 c bounds 2642 >= 1321 @ 63.1393
68.09/68.31 c bounds 2642 >= 1322 @ 63.1495
68.09/68.31 c bounds 2642 >= 1323 @ 63.1541
68.09/68.31 c bounds 2642 >= 1324 @ 63.1581
68.09/68.31 c bounds 2642 >= 1325 @ 63.166
68.09/68.31 c bounds 2642 >= 1326 @ 63.168
68.09/68.31 c bounds 2642 >= 1327 @ 63.1954
68.09/68.31 c bounds 2642 >= 1328 @ 63.1999
68.09/68.31 c bounds 2642 >= 1329 @ 63.2134
68.09/68.31 c bounds 2642 >= 1330 @ 63.2283
68.09/68.31 c bounds 2642 >= 1331 @ 63.2303
68.09/68.31 c bounds 2642 >= 1332 @ 65.0397
68.09/68.31 c #Conflicts: 124000 | #Constraints: 15806
68.09/68.31 c INPROCESSING
68.09/68.31 c GARBAGE COLLECT
68.09/68.31 c bounds 2642 >= 1333 @ 66.0289
68.09/68.31 c bounds 2642 >= 1334 @ 66.0382
68.09/68.31 c bounds 2642 >= 1338 @ 66.0415
68.09/68.31 c bounds 2642 >= 1367 @ 66.0422
68.09/68.31 c bounds 2642 >= 1368 @ 66.0428
68.09/68.31 c bounds 2642 >= 1369 @ 66.2166
68.09/68.31 c bounds 2642 >= 1370 @ 66.2804
105.09/105.41 c bounds 2642 >= 1371 @ 66.6552
105.09/105.41 c #Conflicts: 125000 | #Constraints: 9732
105.09/105.41 c bounds 2642 >= 1372 @ 66.7396
105.09/105.41 c bounds 2642 >= 1373 @ 66.7779
105.09/105.41 c bounds 2642 >= 1374 @ 66.7905
105.09/105.41 c bounds 2642 >= 1375 @ 66.7951
105.09/105.41 c bounds 2642 >= 1376 @ 66.8047
105.09/105.41 c bounds 2642 >= 1377 @ 66.8127
105.09/105.41 c bounds 2642 >= 1378 @ 66.8167
105.09/105.41 c bounds 2642 >= 1379 @ 66.8218
105.09/105.41 c bounds 2642 >= 1380 @ 66.8301
105.09/105.41 c bounds 2642 >= 1381 @ 66.8377
105.09/105.41 c bounds 2642 >= 1382 @ 66.8404
105.09/105.41 c bounds 2642 >= 1383 @ 66.8485
105.09/105.41 c bounds 2642 >= 1384 @ 66.8523
105.09/105.41 c bounds 2642 >= 1390 @ 66.8576
105.09/105.41 c bounds 2642 >= 1391 @ 66.8632
105.09/105.41 c bounds 2642 >= 1392 @ 66.8633
105.09/105.41 c bounds 2642 >= 1415 @ 66.8655
105.09/105.41 c bounds 2642 >= 1420 @ 66.8947
105.09/105.41 c bounds 2642 >= 1431 @ 66.8987
105.09/105.41 c bounds 2642 >= 1432 @ 67.4915
105.09/105.41 c bounds 2642 >= 1433 @ 67.5357
105.09/105.41 c #Conflicts: 126000 | #Constraints: 10856
105.09/105.41 c #Conflicts: 127000 | #Constraints: 11856
105.09/105.41 c #Conflicts: 128000 | #Constraints: 12856
105.09/105.41 c #Conflicts: 129000 | #Constraints: 13856
105.09/105.41 c #Conflicts: 130000 | #Constraints: 14856
105.09/105.41 c #Conflicts: 131000 | #Constraints: 15856
105.09/105.41 c INPROCESSING
105.09/105.41 c GARBAGE COLLECT
105.09/105.41 c #Conflicts: 132000 | #Constraints: 9525
105.09/105.41 c #Conflicts: 133000 | #Constraints: 10525
105.09/105.41 c #Conflicts: 134000 | #Constraints: 11525
105.09/105.41 c #Conflicts: 135000 | #Constraints: 12525
105.09/105.41 c #Conflicts: 136000 | #Constraints: 13525
105.09/105.41 c #Conflicts: 137000 | #Constraints: 14525
105.09/105.41 c #Conflicts: 138000 | #Constraints: 15525
105.09/105.41 c #Conflicts: 139000 | #Constraints: 16525
105.09/105.41 c INPROCESSING
105.09/105.41 c GARBAGE COLLECT
105.09/105.41 c #Conflicts: 140000 | #Constraints: 10064
105.09/105.41 c #Conflicts: 141000 | #Constraints: 11064
105.09/105.41 c #Conflicts: 142000 | #Constraints: 12064
105.09/105.41 c #Conflicts: 143000 | #Constraints: 13064
105.09/105.41 c #Conflicts: 144000 | #Constraints: 14064
105.09/105.41 c #Conflicts: 145000 | #Constraints: 15064
105.09/105.41 c #Conflicts: 146000 | #Constraints: 16064
105.09/105.41 c #Conflicts: 147000 | #Constraints: 17064
105.09/105.41 c INPROCESSING
105.09/105.41 c GARBAGE COLLECT
105.09/105.41 c #Conflicts: 148000 | #Constraints: 10432
105.09/105.41 c #Conflicts: 149000 | #Constraints: 11432
105.09/105.41 c #Conflicts: 150000 | #Constraints: 12432
105.09/105.41 c #Conflicts: 151000 | #Constraints: 13432
105.09/105.41 c #Conflicts: 152000 | #Constraints: 14432
105.09/105.41 c #Conflicts: 153000 | #Constraints: 15432
105.09/105.41 c #Conflicts: 154000 | #Constraints: 16432
105.09/105.41 c #Conflicts: 155000 | #Constraints: 17432
105.09/105.41 c INPROCESSING
105.09/105.41 c GARBAGE COLLECT
105.09/105.41 c #Conflicts: 156000 | #Constraints: 10625
105.09/105.41 c #Conflicts: 157000 | #Constraints: 11625
105.09/105.41 c #Conflicts: 158000 | #Constraints: 12625
105.09/105.41 c #Conflicts: 159000 | #Constraints: 13625
105.09/105.41 c #Conflicts: 160000 | #Constraints: 14625
105.09/105.41 c #Conflicts: 161000 | #Constraints: 15625
105.09/105.41 c #Conflicts: 162000 | #Constraints: 16625
105.09/105.41 c #Conflicts: 163000 | #Constraints: 17625
105.09/105.41 c INPROCESSING
105.09/105.41 c GARBAGE COLLECT
105.09/105.41 c #Conflicts: 164000 | #Constraints: 10619
105.09/105.41 c #Conflicts: 165000 | #Constraints: 11619
105.09/105.41 c #Conflicts: 166000 | #Constraints: 12619
105.09/105.41 c #Conflicts: 167000 | #Constraints: 13619
105.09/105.41 c #Conflicts: 168000 | #Constraints: 14619
105.09/105.41 c #Conflicts: 169000 | #Constraints: 15619
105.09/105.41 c #Conflicts: 170000 | #Constraints: 16619
105.09/105.41 c #Conflicts: 171000 | #Constraints: 17619
105.09/105.41 c INPROCESSING
105.09/105.41 c GARBAGE COLLECT
105.09/105.41 c #Conflicts: 172000 | #Constraints: 10407
105.09/105.41 c #Conflicts: 173000 | #Constraints: 11407
105.09/105.41 c #Conflicts: 174000 | #Constraints: 12407
105.09/105.41 c #Conflicts: 175000 | #Constraints: 13407
105.09/105.41 c #Conflicts: 176000 | #Constraints: 14407
105.09/105.41 c #Conflicts: 177000 | #Constraints: 15407
105.09/105.41 c #Conflicts: 178000 | #Constraints: 16407
105.09/105.41 c #Conflicts: 179000 | #Constraints: 17407
105.09/105.41 c #Conflicts: 180000 | #Constraints: 18407
105.09/105.41 c INPROCESSING
105.09/105.41 c GARBAGE COLLECT
105.09/105.41 c #Conflicts: 181000 | #Constraints: 11007
105.09/105.41 c #Conflicts: 182000 | #Constraints: 12007
105.09/105.41 c #Conflicts: 183000 | #Constraints: 13007
105.09/105.41 c #Conflicts: 184000 | #Constraints: 14007
105.09/105.41 c #Conflicts: 185000 | #Constraints: 15007
201.33/201.96 c #Conflicts: 186000 | #Constraints: 16007
201.33/201.96 c #Conflicts: 187000 | #Constraints: 17007
201.33/201.96 c #Conflicts: 188000 | #Constraints: 18007
201.33/201.96 c #Conflicts: 189000 | #Constraints: 19007
201.33/201.96 c INPROCESSING
201.33/201.96 c GARBAGE COLLECT
201.33/201.96 c #Conflicts: 190000 | #Constraints: 11406
201.33/201.96 c #Conflicts: 191000 | #Constraints: 12406
201.33/201.96 c #Conflicts: 192000 | #Constraints: 13406
201.33/201.96 c #Conflicts: 193000 | #Constraints: 14406
201.33/201.96 c #Conflicts: 194000 | #Constraints: 15406
201.33/201.96 c #Conflicts: 195000 | #Constraints: 16406
201.33/201.96 c #Conflicts: 196000 | #Constraints: 17406
201.33/201.96 c #Conflicts: 197000 | #Constraints: 18406
201.33/201.96 c #Conflicts: 198000 | #Constraints: 19406
201.33/201.96 c INPROCESSING
201.33/201.96 c GARBAGE COLLECT
201.33/201.96 c #Conflicts: 199000 | #Constraints: 11636
201.33/201.96 c #Conflicts: 200000 | #Constraints: 12636
201.33/201.96 c #Conflicts: 201000 | #Constraints: 13636
201.33/201.96 c #Conflicts: 202000 | #Constraints: 14636
201.33/201.96 c #Conflicts: 203000 | #Constraints: 15636
201.33/201.96 c #Conflicts: 204000 | #Constraints: 16636
201.33/201.96 c #Conflicts: 205000 | #Constraints: 17636
201.33/201.96 c #Conflicts: 206000 | #Constraints: 18636
201.33/201.96 c #Conflicts: 207000 | #Constraints: 19636
201.33/201.96 c INPROCESSING
201.33/201.96 c GARBAGE COLLECT
201.33/201.96 c #Conflicts: 208000 | #Constraints: 11622
201.33/201.96 c #Conflicts: 209000 | #Constraints: 12622
201.33/201.96 c #Conflicts: 210000 | #Constraints: 13622
201.33/201.96 c #Conflicts: 211000 | #Constraints: 14622
201.33/201.96 c #Conflicts: 212000 | #Constraints: 15622
201.33/201.96 c #Conflicts: 213000 | #Constraints: 16622
201.33/201.96 c #Conflicts: 214000 | #Constraints: 17622
201.33/201.96 c #Conflicts: 215000 | #Constraints: 18622
201.33/201.96 c #Conflicts: 216000 | #Constraints: 19622
201.33/201.96 c INPROCESSING
201.33/201.96 c GARBAGE COLLECT
201.33/201.96 c #Conflicts: 217000 | #Constraints: 11417
201.33/201.96 c #Conflicts: 218000 | #Constraints: 12417
201.33/201.96 c #Conflicts: 219000 | #Constraints: 13417
201.33/201.96 c #Conflicts: 220000 | #Constraints: 14417
201.33/201.96 c #Conflicts: 221000 | #Constraints: 15417
201.33/201.96 c #Conflicts: 222000 | #Constraints: 16417
201.33/201.96 c #Conflicts: 223000 | #Constraints: 17417
201.33/201.96 c #Conflicts: 224000 | #Constraints: 18417
201.33/201.96 c #Conflicts: 225000 | #Constraints: 19417
201.33/201.96 c #Conflicts: 226000 | #Constraints: 20417
201.33/201.96 c INPROCESSING
201.33/201.96 c GARBAGE COLLECT
201.33/201.96 c #Conflicts: 227000 | #Constraints: 12008
201.33/201.96 c #Conflicts: 228000 | #Constraints: 13008
201.33/201.96 c #Conflicts: 229000 | #Constraints: 14008
201.33/201.96 c #Conflicts: 230000 | #Constraints: 15008
201.33/201.96 c #Conflicts: 231000 | #Constraints: 16008
201.33/201.96 c #Conflicts: 232000 | #Constraints: 17008
201.33/201.96 c #Conflicts: 233000 | #Constraints: 18008
201.33/201.96 c #Conflicts: 234000 | #Constraints: 19008
201.33/201.96 c #Conflicts: 235000 | #Constraints: 20008
201.33/201.96 c #Conflicts: 236000 | #Constraints: 21008
201.33/201.96 c INPROCESSING
201.33/201.96 c GARBAGE COLLECT
201.33/201.96 c #Conflicts: 237000 | #Constraints: 12395
201.33/201.96 c #Conflicts: 238000 | #Constraints: 13395
201.33/201.96 c #Conflicts: 239000 | #Constraints: 14395
201.33/201.96 c #Conflicts: 240000 | #Constraints: 15395
201.33/201.96 c #Conflicts: 241000 | #Constraints: 16395
201.33/201.96 c #Conflicts: 242000 | #Constraints: 17395
201.33/201.96 c #Conflicts: 243000 | #Constraints: 18395
201.33/201.96 c #Conflicts: 244000 | #Constraints: 19395
201.33/201.96 c #Conflicts: 245000 | #Constraints: 20395
201.33/201.96 c #Conflicts: 246000 | #Constraints: 21395
201.33/201.96 c INPROCESSING
201.33/201.96 c GARBAGE COLLECT
201.33/201.96 c #Conflicts: 247000 | #Constraints: 12588
201.33/201.96 c #Conflicts: 248000 | #Constraints: 13588
201.33/201.96 c #Conflicts: 249000 | #Constraints: 14588
201.33/201.96 c #Conflicts: 250000 | #Constraints: 15588
201.33/201.96 c #Conflicts: 251000 | #Constraints: 16588
201.33/201.96 c #Conflicts: 252000 | #Constraints: 17588
201.33/201.96 c #Conflicts: 253000 | #Constraints: 18588
201.33/201.96 c #Conflicts: 254000 | #Constraints: 19588
201.33/201.96 c #Conflicts: 255000 | #Constraints: 20588
201.33/201.96 c #Conflicts: 256000 | #Constraints: 21588
201.33/201.96 c INPROCESSING
201.33/201.96 c GARBAGE COLLECT
201.33/201.96 c #Conflicts: 257000 | #Constraints: 12608
201.33/201.96 c #Conflicts: 258000 | #Constraints: 13608
201.33/201.96 c #Conflicts: 259000 | #Constraints: 14608
321.00/321.90 c #Conflicts: 260000 | #Constraints: 15608
321.00/321.90 c #Conflicts: 261000 | #Constraints: 16608
321.00/321.90 c #Conflicts: 262000 | #Constraints: 17608
321.00/321.90 c #Conflicts: 263000 | #Constraints: 18608
321.00/321.90 c #Conflicts: 264000 | #Constraints: 19608
321.00/321.90 c #Conflicts: 265000 | #Constraints: 20608
321.00/321.90 c #Conflicts: 266000 | #Constraints: 21608
321.00/321.90 c INPROCESSING
321.00/321.90 c GARBAGE COLLECT
321.00/321.90 c #Conflicts: 267000 | #Constraints: 12404
321.00/321.90 c #Conflicts: 268000 | #Constraints: 13404
321.00/321.90 c #Conflicts: 269000 | #Constraints: 14404
321.00/321.90 c #Conflicts: 270000 | #Constraints: 15404
321.00/321.90 c #Conflicts: 271000 | #Constraints: 16404
321.00/321.90 c #Conflicts: 272000 | #Constraints: 17404
321.00/321.90 c #Conflicts: 273000 | #Constraints: 18404
321.00/321.90 c #Conflicts: 274000 | #Constraints: 19404
321.00/321.90 c #Conflicts: 275000 | #Constraints: 20404
321.00/321.90 c #Conflicts: 276000 | #Constraints: 21404
321.00/321.90 c #Conflicts: 277000 | #Constraints: 22404
321.00/321.90 c INPROCESSING
321.00/321.90 c GARBAGE COLLECT
321.00/321.90 c #Conflicts: 278000 | #Constraints: 13006
321.00/321.90 c #Conflicts: 279000 | #Constraints: 14006
321.00/321.90 c #Conflicts: 280000 | #Constraints: 15006
321.00/321.90 c #Conflicts: 281000 | #Constraints: 16006
321.00/321.90 c #Conflicts: 282000 | #Constraints: 17006
321.00/321.90 c #Conflicts: 283000 | #Constraints: 18006
321.00/321.90 c #Conflicts: 284000 | #Constraints: 19006
321.00/321.90 c #Conflicts: 285000 | #Constraints: 20006
321.00/321.90 c #Conflicts: 286000 | #Constraints: 21006
321.00/321.90 c #Conflicts: 287000 | #Constraints: 22006
321.00/321.90 c #Conflicts: 288000 | #Constraints: 23006
321.00/321.90 c INPROCESSING
321.00/321.90 c GARBAGE COLLECT
321.00/321.90 c #Conflicts: 289000 | #Constraints: 13399
321.00/321.90 c #Conflicts: 290000 | #Constraints: 14399
321.00/321.90 c #Conflicts: 291000 | #Constraints: 15399
321.00/321.90 c #Conflicts: 292000 | #Constraints: 16399
321.00/321.90 c #Conflicts: 293000 | #Constraints: 17399
321.00/321.90 c #Conflicts: 294000 | #Constraints: 18399
321.00/321.90 c #Conflicts: 295000 | #Constraints: 19399
321.00/321.90 c #Conflicts: 296000 | #Constraints: 20399
321.00/321.90 c #Conflicts: 297000 | #Constraints: 21399
321.00/321.90 c #Conflicts: 298000 | #Constraints: 22399
321.00/321.90 c #Conflicts: 299000 | #Constraints: 23399
321.00/321.90 c INPROCESSING
321.00/321.90 c GARBAGE COLLECT
321.00/321.90 c #Conflicts: 300000 | #Constraints: 13600
321.00/321.90 c #Conflicts: 301000 | #Constraints: 14600
321.00/321.90 c #Conflicts: 302000 | #Constraints: 15600
321.00/321.90 c #Conflicts: 303000 | #Constraints: 16600
321.00/321.90 c #Conflicts: 304000 | #Constraints: 17600
321.00/321.90 c #Conflicts: 305000 | #Constraints: 18600
321.00/321.90 c #Conflicts: 306000 | #Constraints: 19600
321.00/321.90 c #Conflicts: 307000 | #Constraints: 20600
321.00/321.90 c #Conflicts: 308000 | #Constraints: 21600
321.00/321.90 c #Conflicts: 309000 | #Constraints: 22600
321.00/321.90 c #Conflicts: 310000 | #Constraints: 23600
321.00/321.90 c INPROCESSING
321.00/321.90 c GARBAGE COLLECT
321.00/321.90 c #Conflicts: 311000 | #Constraints: 13625
321.00/321.90 c #Conflicts: 312000 | #Constraints: 14625
321.00/321.90 c #Conflicts: 313000 | #Constraints: 15625
321.00/321.90 c #Conflicts: 314000 | #Constraints: 16625
321.00/321.90 c #Conflicts: 315000 | #Constraints: 17625
321.00/321.90 c #Conflicts: 316000 | #Constraints: 18625
321.00/321.90 c #Conflicts: 317000 | #Constraints: 19625
321.00/321.90 c #Conflicts: 318000 | #Constraints: 20625
321.00/321.90 c #Conflicts: 319000 | #Constraints: 21625
321.00/321.90 c #Conflicts: 320000 | #Constraints: 22625
321.00/321.90 c #Conflicts: 321000 | #Constraints: 23625
321.00/321.90 c INPROCESSING
321.00/321.90 c GARBAGE COLLECT
321.00/321.90 c #Conflicts: 322000 | #Constraints: 13413
321.00/321.90 c #Conflicts: 323000 | #Constraints: 14413
321.00/321.90 c #Conflicts: 324000 | #Constraints: 15413
321.00/321.90 c #Conflicts: 325000 | #Constraints: 16413
321.00/321.90 c #Conflicts: 326000 | #Constraints: 17413
321.00/321.90 c #Conflicts: 327000 | #Constraints: 18413
321.00/321.90 c #Conflicts: 328000 | #Constraints: 19413
321.00/321.90 c #Conflicts: 329000 | #Constraints: 20413
321.00/321.90 c #Conflicts: 330000 | #Constraints: 21413
321.00/321.90 c #Conflicts: 331000 | #Constraints: 22413
321.00/321.90 c #Conflicts: 332000 | #Constraints: 23413
321.00/321.90 c #Conflicts: 333000 | #Constraints: 24413
321.00/321.90 c INPROCESSING
321.00/321.90 c GARBAGE COLLECT
477.88/479.29 c #Conflicts: 334000 | #Constraints: 14003
477.88/479.29 c #Conflicts: 335000 | #Constraints: 15003
477.88/479.29 c #Conflicts: 336000 | #Constraints: 16003
477.88/479.29 c #Conflicts: 337000 | #Constraints: 17003
477.88/479.29 c #Conflicts: 338000 | #Constraints: 18003
477.88/479.29 c #Conflicts: 339000 | #Constraints: 19003
477.88/479.29 c #Conflicts: 340000 | #Constraints: 20003
477.88/479.29 c #Conflicts: 341000 | #Constraints: 21003
477.88/479.29 c #Conflicts: 342000 | #Constraints: 22003
477.88/479.29 c #Conflicts: 343000 | #Constraints: 23003
477.88/479.29 c #Conflicts: 344000 | #Constraints: 24003
477.88/479.29 c #Conflicts: 345000 | #Constraints: 25003
477.88/479.29 c INPROCESSING
477.88/479.29 c GARBAGE COLLECT
477.88/479.29 c #Conflicts: 346000 | #Constraints: 14400
477.88/479.29 c #Conflicts: 347000 | #Constraints: 15400
477.88/479.29 c #Conflicts: 348000 | #Constraints: 16400
477.88/479.29 c #Conflicts: 349000 | #Constraints: 17400
477.88/479.29 c #Conflicts: 350000 | #Constraints: 18400
477.88/479.29 c #Conflicts: 351000 | #Constraints: 19400
477.88/479.29 c #Conflicts: 352000 | #Constraints: 20400
477.88/479.29 c #Conflicts: 353000 | #Constraints: 21400
477.88/479.29 c #Conflicts: 354000 | #Constraints: 22400
477.88/479.29 c #Conflicts: 355000 | #Constraints: 23400
477.88/479.29 c #Conflicts: 356000 | #Constraints: 24400
477.88/479.29 c #Conflicts: 357000 | #Constraints: 25400
477.88/479.29 c INPROCESSING
477.88/479.29 c GARBAGE COLLECT
477.88/479.29 c #Conflicts: 358000 | #Constraints: 14636
477.88/479.29 c #Conflicts: 359000 | #Constraints: 15636
477.88/479.29 c #Conflicts: 360000 | #Constraints: 16636
477.88/479.29 c #Conflicts: 361000 | #Constraints: 17636
477.88/479.29 c #Conflicts: 362000 | #Constraints: 18636
477.88/479.29 c #Conflicts: 363000 | #Constraints: 19636
477.88/479.29 c #Conflicts: 364000 | #Constraints: 20636
477.88/479.29 c #Conflicts: 365000 | #Constraints: 21636
477.88/479.29 c #Conflicts: 366000 | #Constraints: 22636
477.88/479.29 c #Conflicts: 367000 | #Constraints: 23636
477.88/479.29 c #Conflicts: 368000 | #Constraints: 24636
477.88/479.29 c #Conflicts: 369000 | #Constraints: 25636
477.88/479.29 c INPROCESSING
477.88/479.29 c GARBAGE COLLECT
477.88/479.29 c #Conflicts: 370000 | #Constraints: 14620
477.88/479.29 c #Conflicts: 371000 | #Constraints: 15620
477.88/479.29 c #Conflicts: 372000 | #Constraints: 16620
477.88/479.29 c #Conflicts: 373000 | #Constraints: 17620
477.88/479.29 c #Conflicts: 374000 | #Constraints: 18620
477.88/479.29 c #Conflicts: 375000 | #Constraints: 19620
477.88/479.29 c #Conflicts: 376000 | #Constraints: 20620
477.88/479.29 c #Conflicts: 377000 | #Constraints: 21620
477.88/479.29 c #Conflicts: 378000 | #Constraints: 22620
477.88/479.29 c #Conflicts: 379000 | #Constraints: 23620
477.88/479.29 c #Conflicts: 380000 | #Constraints: 24620
477.88/479.29 c #Conflicts: 381000 | #Constraints: 25620
477.88/479.29 c INPROCESSING
477.88/479.29 c GARBAGE COLLECT
477.88/479.29 c #Conflicts: 382000 | #Constraints: 14442
477.88/479.29 c #Conflicts: 383000 | #Constraints: 15442
477.88/479.29 c #Conflicts: 384000 | #Constraints: 16442
477.88/479.29 c #Conflicts: 385000 | #Constraints: 17442
477.88/479.29 c #Conflicts: 386000 | #Constraints: 18442
477.88/479.29 c #Conflicts: 387000 | #Constraints: 19442
477.88/479.29 c #Conflicts: 388000 | #Constraints: 20442
477.88/479.29 c #Conflicts: 389000 | #Constraints: 21442
477.88/479.29 c #Conflicts: 390000 | #Constraints: 22442
477.88/479.29 c #Conflicts: 391000 | #Constraints: 23442
477.88/479.29 c #Conflicts: 392000 | #Constraints: 24442
477.88/479.29 c #Conflicts: 393000 | #Constraints: 25442
477.88/479.29 c #Conflicts: 394000 | #Constraints: 26442
477.88/479.29 c INPROCESSING
477.88/479.29 c GARBAGE COLLECT
477.88/479.29 c #Conflicts: 395000 | #Constraints: 15026
477.88/479.29 c #Conflicts: 396000 | #Constraints: 16026
477.88/479.29 c #Conflicts: 397000 | #Constraints: 17026
477.88/479.29 c #Conflicts: 398000 | #Constraints: 18026
477.88/479.29 c #Conflicts: 399000 | #Constraints: 19026
477.88/479.29 c #Conflicts: 400000 | #Constraints: 20026
477.88/479.29 c #Conflicts: 401000 | #Constraints: 21026
477.88/479.29 c #Conflicts: 402000 | #Constraints: 22026
477.88/479.29 c #Conflicts: 403000 | #Constraints: 23026
477.88/479.29 c #Conflicts: 404000 | #Constraints: 24026
477.88/479.29 c #Conflicts: 405000 | #Constraints: 25026
477.88/479.29 c #Conflicts: 406000 | #Constraints: 26026
477.88/479.29 c #Conflicts: 407000 | #Constraints: 27026
477.88/479.29 c INPROCESSING
477.88/479.29 c GARBAGE COLLECT
477.88/479.29 c #Conflicts: 408000 | #Constraints: 15422
598.60/600.31 c #Conflicts: 409000 | #Constraints: 16422
598.60/600.31 c #Conflicts: 410000 | #Constraints: 17422
598.60/600.31 c #Conflicts: 411000 | #Constraints: 18422
598.60/600.31 c #Conflicts: 412000 | #Constraints: 19422
598.60/600.31 c #Conflicts: 413000 | #Constraints: 20422
598.60/600.31 c #Conflicts: 414000 | #Constraints: 21422
598.60/600.31 c #Conflicts: 415000 | #Constraints: 22422
598.60/600.31 c #Conflicts: 416000 | #Constraints: 23422
598.60/600.31 c #Conflicts: 417000 | #Constraints: 24422
598.60/600.31 c #Conflicts: 418000 | #Constraints: 25422
598.60/600.31 c #Conflicts: 419000 | #Constraints: 26422
598.60/600.31 c #Conflicts: 420000 | #Constraints: 27422
598.60/600.31 c INPROCESSING
598.60/600.31 c GARBAGE COLLECT
598.60/600.31 c #Conflicts: 421000 | #Constraints: 15615
598.60/600.31 c #Conflicts: 422000 | #Constraints: 16615
598.60/600.31 c #Conflicts: 423000 | #Constraints: 17615
598.60/600.31 c #Conflicts: 424000 | #Constraints: 18615
598.60/600.31 c #Conflicts: 425000 | #Constraints: 19615
598.60/600.31 c #Conflicts: 426000 | #Constraints: 20615
598.60/600.31 c #Conflicts: 427000 | #Constraints: 21615
598.60/600.31 c #Conflicts: 428000 | #Constraints: 22615
598.60/600.31 c #Conflicts: 429000 | #Constraints: 23615
598.60/600.31 c #Conflicts: 430000 | #Constraints: 24615
598.60/600.31 c #Conflicts: 431000 | #Constraints: 25615
598.60/600.31 c #Conflicts: 432000 | #Constraints: 26615
598.60/600.31 c #Conflicts: 433000 | #Constraints: 27615
598.60/600.31 c INPROCESSING
598.60/600.31 c GARBAGE COLLECT
598.60/600.31 c #Conflicts: 434000 | #Constraints: 15611
598.60/600.31 c #Conflicts: 435000 | #Constraints: 16611
598.60/600.31 c #Conflicts: 436000 | #Constraints: 17611
598.60/600.31 c #Conflicts: 437000 | #Constraints: 18611
598.60/600.31 c #Conflicts: 438000 | #Constraints: 19611
598.60/600.31 c #Conflicts: 439000 | #Constraints: 20611
598.60/600.31 c #Conflicts: 440000 | #Constraints: 21611
598.60/600.31 c #Conflicts: 441000 | #Constraints: 22611
598.60/600.31 c #Conflicts: 442000 | #Constraints: 23611
598.60/600.31 c #Conflicts: 443000 | #Constraints: 24611
598.60/600.31 c #Conflicts: 444000 | #Constraints: 25611
598.60/600.31 c #Conflicts: 445000 | #Constraints: 26611
598.60/600.31 c #Conflicts: 446000 | #Constraints: 27611
598.60/600.31 c INPROCESSING
598.60/600.31 c GARBAGE COLLECT
598.60/600.31 c #Conflicts: 447000 | #Constraints: 15408
598.60/600.31 c #Conflicts: 448000 | #Constraints: 16408
598.60/600.31 c #Conflicts: 449000 | #Constraints: 17408
598.60/600.31 c #Conflicts: 450000 | #Constraints: 18408
598.60/600.31 c #Conflicts: 451000 | #Constraints: 19408
598.60/600.31 c bounds 2642 >= 1434 @ 560.319
598.60/600.31 c bounds 2642 >= 1435 @ 560.709
598.60/600.31 c bounds 2642 >= 1436 @ 560.738
598.60/600.31 c bounds 2642 >= 1437 @ 560.749
598.60/600.31 c bounds 2642 >= 1438 @ 561.208
598.60/600.31 c bounds 2642 >= 1441 @ 561.984
598.60/600.31 c bounds 2642 >= 1458 @ 562.006
598.60/600.31 c bounds 2642 >= 1459 @ 562.178
598.60/600.31 c bounds 2642 >= 1460 @ 562.298
598.60/600.31 c bounds 2642 >= 1461 @ 562.509
598.60/600.31 c bounds 2642 >= 1462 @ 562.795
598.60/600.31 c bounds 2642 >= 1463 @ 562.906
598.60/600.31 c bounds 2642 >= 1464 @ 563.018
598.60/600.31 c bounds 2642 >= 1465 @ 563.085
598.60/600.31 c bounds 2642 >= 1466 @ 563.155
598.60/600.31 c bounds 2642 >= 1467 @ 563.219
598.60/600.31 c bounds 2642 >= 1468 @ 563.293
598.60/600.31 c bounds 2642 >= 1469 @ 563.358
598.60/600.31 c bounds 2642 >= 1470 @ 563.43
598.60/600.31 c bounds 2642 >= 1471 @ 563.496
598.60/600.31 c #Conflicts: 452000 | #Constraints: 20512
598.60/600.31 c bounds 2642 >= 1472 @ 564.321
598.60/600.31 c bounds 2642 >= 1473 @ 564.46
598.60/600.31 c bounds 2642 >= 1474 @ 564.6
598.60/600.31 c bounds 2642 >= 1475 @ 564.746
598.60/600.31 c bounds 2642 >= 1476 @ 564.818
598.60/600.31 c bounds 2642 >= 1477 @ 564.953
598.60/600.31 c bounds 2642 >= 1478 @ 565.091
598.60/600.31 c bounds 2642 >= 1479 @ 565.165
598.60/600.31 c bounds 2642 >= 1480 @ 565.278
598.60/600.31 c bounds 2642 >= 1481 @ 565.391
598.60/600.31 c bounds 2642 >= 1482 @ 565.444
598.60/600.31 c bounds 2642 >= 1483 @ 565.494
598.60/600.31 c bounds 2642 >= 1484 @ 565.551
598.60/600.31 c bounds 2642 >= 1501 @ 565.58
598.60/600.31 c #Conflicts: 453000 | #Constraints: 21568
598.60/600.31 c #Conflicts: 454000 | #Constraints: 22568
598.60/600.31 c bounds 2642 >= 1502 @ 574.941
598.60/600.31 c bounds 2642 >= 1509 @ 576.681
598.60/600.31 c bounds 2642 >= 1531 @ 576.693
598.60/600.31 c #Conflicts: 455000 | #Constraints: 23581
598.60/600.31 c #Conflicts: 456000 | #Constraints: 24581
598.60/600.31 c #Conflicts: 457000 | #Constraints: 25581
598.60/600.31 c #Conflicts: 458000 | #Constraints: 26581
598.60/600.31 c #Conflicts: 459000 | #Constraints: 27581
598.60/600.31 c #Conflicts: 460000 | #Constraints: 28581
598.60/600.31 c INPROCESSING
598.60/600.31 c GARBAGE COLLECT
598.60/600.31 c #Conflicts: 461000 | #Constraints: 16099
598.60/600.31 c #Conflicts: 462000 | #Constraints: 17099
742.63/744.87 c #Conflicts: 463000 | #Constraints: 18099
742.63/744.87 c #Conflicts: 464000 | #Constraints: 19099
742.63/744.87 c #Conflicts: 465000 | #Constraints: 20099
742.63/744.87 c #Conflicts: 466000 | #Constraints: 21099
742.63/744.87 c #Conflicts: 467000 | #Constraints: 22099
742.63/744.87 c #Conflicts: 468000 | #Constraints: 23099
742.63/744.87 c #Conflicts: 469000 | #Constraints: 24099
742.63/744.87 c #Conflicts: 470000 | #Constraints: 25099
742.63/744.87 c #Conflicts: 471000 | #Constraints: 26099
742.63/744.87 c #Conflicts: 472000 | #Constraints: 27099
742.63/744.87 c #Conflicts: 473000 | #Constraints: 28099
742.63/744.87 c #Conflicts: 474000 | #Constraints: 29099
742.63/744.87 c INPROCESSING
742.63/744.87 c GARBAGE COLLECT
742.63/744.87 c #Conflicts: 475000 | #Constraints: 16468
742.63/744.87 c #Conflicts: 476000 | #Constraints: 17468
742.63/744.87 c #Conflicts: 477000 | #Constraints: 18468
742.63/744.87 c #Conflicts: 478000 | #Constraints: 19468
742.63/744.87 c #Conflicts: 479000 | #Constraints: 20468
742.63/744.87 c #Conflicts: 480000 | #Constraints: 21468
742.63/744.87 c #Conflicts: 481000 | #Constraints: 22468
742.63/744.87 c #Conflicts: 482000 | #Constraints: 23468
742.63/744.87 c #Conflicts: 483000 | #Constraints: 24468
742.63/744.87 c #Conflicts: 484000 | #Constraints: 25468
742.63/744.87 c #Conflicts: 485000 | #Constraints: 26468
742.63/744.87 c #Conflicts: 486000 | #Constraints: 27468
742.63/744.87 c #Conflicts: 487000 | #Constraints: 28468
742.63/744.87 c #Conflicts: 488000 | #Constraints: 29468
742.63/744.87 c INPROCESSING
742.63/744.87 c GARBAGE COLLECT
742.63/744.87 c #Conflicts: 489000 | #Constraints: 16654
742.63/744.87 c #Conflicts: 490000 | #Constraints: 17654
742.63/744.87 c #Conflicts: 491000 | #Constraints: 18654
742.63/744.87 c #Conflicts: 492000 | #Constraints: 19654
742.63/744.87 c #Conflicts: 493000 | #Constraints: 20654
742.63/744.87 c #Conflicts: 494000 | #Constraints: 21654
742.63/744.87 c #Conflicts: 495000 | #Constraints: 22654
742.63/744.87 c #Conflicts: 496000 | #Constraints: 23654
742.63/744.87 c #Conflicts: 497000 | #Constraints: 24654
742.63/744.87 c #Conflicts: 498000 | #Constraints: 25654
742.63/744.87 c #Conflicts: 499000 | #Constraints: 26654
742.63/744.87 c #Conflicts: 500000 | #Constraints: 27654
742.63/744.87 c #Conflicts: 501000 | #Constraints: 28654
742.63/744.87 c #Conflicts: 502000 | #Constraints: 29654
742.63/744.87 c INPROCESSING
742.63/744.87 c GARBAGE COLLECT
742.63/744.87 c #Conflicts: 503000 | #Constraints: 16647
742.63/744.87 c #Conflicts: 504000 | #Constraints: 17647
742.63/744.87 c #Conflicts: 505000 | #Constraints: 18647
742.63/744.87 c #Conflicts: 506000 | #Constraints: 19647
742.63/744.87 c #Conflicts: 507000 | #Constraints: 20647
742.63/744.87 c #Conflicts: 508000 | #Constraints: 21647
742.63/744.87 c #Conflicts: 509000 | #Constraints: 22647
742.63/744.87 c #Conflicts: 510000 | #Constraints: 23647
742.63/744.87 c #Conflicts: 511000 | #Constraints: 24647
742.63/744.87 c #Conflicts: 512000 | #Constraints: 25647
742.63/744.87 c #Conflicts: 513000 | #Constraints: 26647
742.63/744.87 c #Conflicts: 514000 | #Constraints: 27647
742.63/744.87 c #Conflicts: 515000 | #Constraints: 28647
742.63/744.87 c #Conflicts: 516000 | #Constraints: 29647
742.63/744.87 c INPROCESSING
742.63/744.87 c GARBAGE COLLECT
742.63/744.87 c #Conflicts: 517000 | #Constraints: 16448
742.63/744.87 c #Conflicts: 518000 | #Constraints: 17448
742.63/744.87 c #Conflicts: 519000 | #Constraints: 18448
742.63/744.87 c #Conflicts: 520000 | #Constraints: 19448
742.63/744.87 c #Conflicts: 521000 | #Constraints: 20448
742.63/744.87 c #Conflicts: 522000 | #Constraints: 21448
742.63/744.87 c #Conflicts: 523000 | #Constraints: 22448
742.63/744.87 c #Conflicts: 524000 | #Constraints: 23448
742.63/744.87 c #Conflicts: 525000 | #Constraints: 24448
742.63/744.87 c #Conflicts: 526000 | #Constraints: 25448
742.63/744.87 c #Conflicts: 527000 | #Constraints: 26448
742.63/744.87 c #Conflicts: 528000 | #Constraints: 27448
742.63/744.87 c #Conflicts: 529000 | #Constraints: 28448
742.63/744.87 c #Conflicts: 530000 | #Constraints: 29448
742.63/744.87 c #Conflicts: 531000 | #Constraints: 30448
742.63/744.87 c INPROCESSING
742.63/744.87 c GARBAGE COLLECT
742.63/744.87 c #Conflicts: 532000 | #Constraints: 17045
742.63/744.87 c #Conflicts: 533000 | #Constraints: 18045
742.63/744.87 c #Conflicts: 534000 | #Constraints: 19045
742.63/744.87 c #Conflicts: 535000 | #Constraints: 20045
742.63/744.87 c #Conflicts: 536000 | #Constraints: 21045
742.63/744.87 c #Conflicts: 537000 | #Constraints: 22045
898.42/901.11 c #Conflicts: 538000 | #Constraints: 23045
898.42/901.11 c #Conflicts: 539000 | #Constraints: 24045
898.42/901.11 c #Conflicts: 540000 | #Constraints: 25045
898.42/901.11 c #Conflicts: 541000 | #Constraints: 26045
898.42/901.11 c #Conflicts: 542000 | #Constraints: 27045
898.42/901.11 c #Conflicts: 543000 | #Constraints: 28045
898.42/901.11 c #Conflicts: 544000 | #Constraints: 29045
898.42/901.11 c #Conflicts: 545000 | #Constraints: 30045
898.42/901.11 c #Conflicts: 546000 | #Constraints: 31045
898.42/901.11 c INPROCESSING
898.42/901.11 c GARBAGE COLLECT
898.42/901.11 c #Conflicts: 547000 | #Constraints: 17439
898.42/901.11 c #Conflicts: 548000 | #Constraints: 18439
898.42/901.11 c #Conflicts: 549000 | #Constraints: 19439
898.42/901.11 c #Conflicts: 550000 | #Constraints: 20439
898.42/901.11 c #Conflicts: 551000 | #Constraints: 21439
898.42/901.11 c #Conflicts: 552000 | #Constraints: 22439
898.42/901.11 c #Conflicts: 553000 | #Constraints: 23439
898.42/901.11 c #Conflicts: 554000 | #Constraints: 24439
898.42/901.11 c #Conflicts: 555000 | #Constraints: 25439
898.42/901.11 c #Conflicts: 556000 | #Constraints: 26439
898.42/901.11 c #Conflicts: 557000 | #Constraints: 27439
898.42/901.11 c #Conflicts: 558000 | #Constraints: 28439
898.42/901.11 c #Conflicts: 559000 | #Constraints: 29439
898.42/901.11 c #Conflicts: 560000 | #Constraints: 30439
898.42/901.11 c #Conflicts: 561000 | #Constraints: 31439
898.42/901.11 c INPROCESSING
898.42/901.11 c GARBAGE COLLECT
898.42/901.11 c #Conflicts: 562000 | #Constraints: 17640
898.42/901.11 c #Conflicts: 563000 | #Constraints: 18640
898.42/901.11 c #Conflicts: 564000 | #Constraints: 19640
898.42/901.11 c #Conflicts: 565000 | #Constraints: 20640
898.42/901.11 c #Conflicts: 566000 | #Constraints: 21640
898.42/901.11 c #Conflicts: 567000 | #Constraints: 22640
898.42/901.11 c #Conflicts: 568000 | #Constraints: 23640
898.42/901.11 c #Conflicts: 569000 | #Constraints: 24640
898.42/901.11 c #Conflicts: 570000 | #Constraints: 25640
898.42/901.11 c #Conflicts: 571000 | #Constraints: 26640
898.42/901.11 c #Conflicts: 572000 | #Constraints: 27640
898.42/901.11 c #Conflicts: 573000 | #Constraints: 28640
898.42/901.11 c #Conflicts: 574000 | #Constraints: 29640
898.42/901.11 c #Conflicts: 575000 | #Constraints: 30640
898.42/901.11 c #Conflicts: 576000 | #Constraints: 31640
898.42/901.11 c INPROCESSING
898.42/901.11 c GARBAGE COLLECT
898.42/901.11 c #Conflicts: 577000 | #Constraints: 17634
898.42/901.11 c #Conflicts: 578000 | #Constraints: 18634
898.42/901.11 c #Conflicts: 579000 | #Constraints: 19634
898.42/901.11 c #Conflicts: 580000 | #Constraints: 20634
898.42/901.11 c #Conflicts: 581000 | #Constraints: 21634
898.42/901.11 c #Conflicts: 582000 | #Constraints: 22634
898.42/901.11 c #Conflicts: 583000 | #Constraints: 23634
898.42/901.11 c #Conflicts: 584000 | #Constraints: 24634
898.42/901.11 c #Conflicts: 585000 | #Constraints: 25634
898.42/901.11 c #Conflicts: 586000 | #Constraints: 26634
898.42/901.11 c #Conflicts: 587000 | #Constraints: 27634
898.42/901.11 c #Conflicts: 588000 | #Constraints: 28634
898.42/901.11 c #Conflicts: 589000 | #Constraints: 29634
898.42/901.11 c #Conflicts: 590000 | #Constraints: 30634
898.42/901.11 c #Conflicts: 591000 | #Constraints: 31634
898.42/901.11 c INPROCESSING
898.42/901.11 c GARBAGE COLLECT
898.42/901.11 c #Conflicts: 592000 | #Constraints: 17434
898.42/901.11 c #Conflicts: 593000 | #Constraints: 18434
898.42/901.11 c #Conflicts: 594000 | #Constraints: 19434
898.42/901.11 c #Conflicts: 595000 | #Constraints: 20434
898.42/901.11 c #Conflicts: 596000 | #Constraints: 21434
898.42/901.11 c #Conflicts: 597000 | #Constraints: 22434
898.42/901.11 c #Conflicts: 598000 | #Constraints: 23434
898.42/901.11 c #Conflicts: 599000 | #Constraints: 24434
898.42/901.11 c #Conflicts: 600000 | #Constraints: 25434
898.42/901.11 c #Conflicts: 601000 | #Constraints: 26434
898.42/901.11 c #Conflicts: 602000 | #Constraints: 27434
898.42/901.11 c #Conflicts: 603000 | #Constraints: 28434
898.42/901.11 c #Conflicts: 604000 | #Constraints: 29434
898.42/901.11 c #Conflicts: 605000 | #Constraints: 30434
898.42/901.11 c #Conflicts: 606000 | #Constraints: 31434
898.42/901.11 c #Conflicts: 607000 | #Constraints: 32434
898.42/901.11 c INPROCESSING
898.42/901.11 c GARBAGE COLLECT
898.42/901.11 c #Conflicts: 608000 | #Constraints: 18038
898.42/901.11 c #Conflicts: 609000 | #Constraints: 19038
898.42/901.11 c #Conflicts: 610000 | #Constraints: 20038
898.42/901.11 c #Conflicts: 611000 | #Constraints: 21038
898.42/901.11 c #Conflicts: 612000 | #Constraints: 22038
898.42/901.11 c #Conflicts: 613000 | #Constraints: 23038
1065.26/1068.51 c #Conflicts: 614000 | #Constraints: 24038
1065.26/1068.51 c #Conflicts: 615000 | #Constraints: 25038
1065.26/1068.51 c #Conflicts: 616000 | #Constraints: 26038
1065.26/1068.51 c #Conflicts: 617000 | #Constraints: 27038
1065.26/1068.51 c #Conflicts: 618000 | #Constraints: 28038
1065.26/1068.51 c #Conflicts: 619000 | #Constraints: 29038
1065.26/1068.51 c #Conflicts: 620000 | #Constraints: 30038
1065.26/1068.51 c #Conflicts: 621000 | #Constraints: 31038
1065.26/1068.51 c #Conflicts: 622000 | #Constraints: 32038
1065.26/1068.51 c #Conflicts: 623000 | #Constraints: 33038
1065.26/1068.51 c INPROCESSING
1065.26/1068.51 c GARBAGE COLLECT
1065.26/1068.51 c #Conflicts: 624000 | #Constraints: 18432
1065.26/1068.51 c #Conflicts: 625000 | #Constraints: 19432
1065.26/1068.51 c #Conflicts: 626000 | #Constraints: 20432
1065.26/1068.51 c #Conflicts: 627000 | #Constraints: 21432
1065.26/1068.51 c #Conflicts: 628000 | #Constraints: 22432
1065.26/1068.51 c #Conflicts: 629000 | #Constraints: 23432
1065.26/1068.51 c #Conflicts: 630000 | #Constraints: 24432
1065.26/1068.51 c #Conflicts: 631000 | #Constraints: 25432
1065.26/1068.51 c #Conflicts: 632000 | #Constraints: 26432
1065.26/1068.51 c #Conflicts: 633000 | #Constraints: 27432
1065.26/1068.51 c #Conflicts: 634000 | #Constraints: 28432
1065.26/1068.51 c #Conflicts: 635000 | #Constraints: 29432
1065.26/1068.51 c #Conflicts: 636000 | #Constraints: 30432
1065.26/1068.51 c #Conflicts: 637000 | #Constraints: 31432
1065.26/1068.51 c #Conflicts: 638000 | #Constraints: 32432
1065.26/1068.51 c #Conflicts: 639000 | #Constraints: 33432
1065.26/1068.51 c INPROCESSING
1065.26/1068.51 c GARBAGE COLLECT
1065.26/1068.51 c #Conflicts: 640000 | #Constraints: 18634
1065.26/1068.51 c #Conflicts: 641000 | #Constraints: 19634
1065.26/1068.51 c #Conflicts: 642000 | #Constraints: 20634
1065.26/1068.51 c #Conflicts: 643000 | #Constraints: 21634
1065.26/1068.51 c #Conflicts: 644000 | #Constraints: 22634
1065.26/1068.51 c #Conflicts: 645000 | #Constraints: 23634
1065.26/1068.51 c #Conflicts: 646000 | #Constraints: 24634
1065.26/1068.51 c #Conflicts: 647000 | #Constraints: 25634
1065.26/1068.51 c #Conflicts: 648000 | #Constraints: 26634
1065.26/1068.51 c #Conflicts: 649000 | #Constraints: 27634
1065.26/1068.51 c #Conflicts: 650000 | #Constraints: 28634
1065.26/1068.51 c #Conflicts: 651000 | #Constraints: 29634
1065.26/1068.51 c #Conflicts: 652000 | #Constraints: 30634
1065.26/1068.51 c #Conflicts: 653000 | #Constraints: 31634
1065.26/1068.51 c #Conflicts: 654000 | #Constraints: 32634
1065.26/1068.51 c #Conflicts: 655000 | #Constraints: 33634
1065.26/1068.51 c INPROCESSING
1065.26/1068.51 c GARBAGE COLLECT
1065.26/1068.51 c #Conflicts: 656000 | #Constraints: 18639
1065.26/1068.51 c #Conflicts: 657000 | #Constraints: 19639
1065.26/1068.51 c #Conflicts: 658000 | #Constraints: 20639
1065.26/1068.51 c #Conflicts: 659000 | #Constraints: 21639
1065.26/1068.51 c #Conflicts: 660000 | #Constraints: 22639
1065.26/1068.51 c #Conflicts: 661000 | #Constraints: 23639
1065.26/1068.51 c #Conflicts: 662000 | #Constraints: 24639
1065.26/1068.51 c #Conflicts: 663000 | #Constraints: 25639
1065.26/1068.51 c #Conflicts: 664000 | #Constraints: 26639
1065.26/1068.51 c #Conflicts: 665000 | #Constraints: 27639
1065.26/1068.51 c #Conflicts: 666000 | #Constraints: 28639
1065.26/1068.51 c #Conflicts: 667000 | #Constraints: 29639
1065.26/1068.51 c #Conflicts: 668000 | #Constraints: 30639
1065.26/1068.51 c #Conflicts: 669000 | #Constraints: 31639
1065.26/1068.51 c #Conflicts: 670000 | #Constraints: 32639
1065.26/1068.51 c #Conflicts: 671000 | #Constraints: 33639
1065.26/1068.51 c INPROCESSING
1065.26/1068.51 c GARBAGE COLLECT
1065.26/1068.51 c #Conflicts: 672000 | #Constraints: 18436
1065.26/1068.51 c #Conflicts: 673000 | #Constraints: 19436
1065.26/1068.51 c #Conflicts: 674000 | #Constraints: 20436
1065.26/1068.51 c #Conflicts: 675000 | #Constraints: 21436
1065.26/1068.51 c #Conflicts: 676000 | #Constraints: 22436
1065.26/1068.51 c #Conflicts: 677000 | #Constraints: 23436
1065.26/1068.51 c #Conflicts: 678000 | #Constraints: 24436
1065.26/1068.51 c #Conflicts: 679000 | #Constraints: 25436
1065.26/1068.51 c #Conflicts: 680000 | #Constraints: 26436
1065.26/1068.51 c #Conflicts: 681000 | #Constraints: 27436
1065.26/1068.51 c #Conflicts: 682000 | #Constraints: 28436
1065.26/1068.51 c #Conflicts: 683000 | #Constraints: 29436
1065.26/1068.51 c #Conflicts: 684000 | #Constraints: 30436
1065.26/1068.51 c #Conflicts: 685000 | #Constraints: 31436
1065.26/1068.51 c #Conflicts: 686000 | #Constraints: 32436
1065.26/1068.51 c #Conflicts: 687000 | #Constraints: 33436
1065.26/1068.51 c #Conflicts: 688000 | #Constraints: 34436
1065.26/1068.51 c INPROCESSING
1065.26/1068.51 c GARBAGE COLLECT
1065.26/1068.51 c #Conflicts: 689000 | #Constraints: 19033
1226.73/1230.57 c #Conflicts: 690000 | #Constraints: 20033
1226.73/1230.57 c #Conflicts: 691000 | #Constraints: 21033
1226.73/1230.57 c #Conflicts: 692000 | #Constraints: 22033
1226.73/1230.57 c #Conflicts: 693000 | #Constraints: 23033
1226.73/1230.57 c #Conflicts: 694000 | #Constraints: 24033
1226.73/1230.57 c #Conflicts: 695000 | #Constraints: 25033
1226.73/1230.57 c #Conflicts: 696000 | #Constraints: 26033
1226.73/1230.57 c #Conflicts: 697000 | #Constraints: 27033
1226.73/1230.57 c #Conflicts: 698000 | #Constraints: 28033
1226.73/1230.57 c #Conflicts: 699000 | #Constraints: 29033
1226.73/1230.57 c #Conflicts: 700000 | #Constraints: 30033
1226.73/1230.57 c #Conflicts: 701000 | #Constraints: 31033
1226.73/1230.57 c #Conflicts: 702000 | #Constraints: 32033
1226.73/1230.57 c #Conflicts: 703000 | #Constraints: 33033
1226.73/1230.57 c #Conflicts: 704000 | #Constraints: 34033
1226.73/1230.57 c #Conflicts: 705000 | #Constraints: 35033
1226.73/1230.57 c INPROCESSING
1226.73/1230.57 c GARBAGE COLLECT
1226.73/1230.57 c #Conflicts: 706000 | #Constraints: 19435
1226.73/1230.57 c #Conflicts: 707000 | #Constraints: 20435
1226.73/1230.57 c #Conflicts: 708000 | #Constraints: 21435
1226.73/1230.57 c #Conflicts: 709000 | #Constraints: 22435
1226.73/1230.57 c #Conflicts: 710000 | #Constraints: 23435
1226.73/1230.57 c #Conflicts: 711000 | #Constraints: 24435
1226.73/1230.57 c #Conflicts: 712000 | #Constraints: 25435
1226.73/1230.57 c #Conflicts: 713000 | #Constraints: 26435
1226.73/1230.57 c #Conflicts: 714000 | #Constraints: 27435
1226.73/1230.57 c #Conflicts: 715000 | #Constraints: 28435
1226.73/1230.57 c #Conflicts: 716000 | #Constraints: 29435
1226.73/1230.57 c #Conflicts: 717000 | #Constraints: 30435
1226.73/1230.57 c #Conflicts: 718000 | #Constraints: 31435
1226.73/1230.57 c #Conflicts: 719000 | #Constraints: 32435
1226.73/1230.57 c #Conflicts: 720000 | #Constraints: 33435
1226.73/1230.57 c #Conflicts: 721000 | #Constraints: 34435
1226.73/1230.57 c #Conflicts: 722000 | #Constraints: 35435
1226.73/1230.57 c INPROCESSING
1226.73/1230.57 c GARBAGE COLLECT
1226.73/1230.57 c #Conflicts: 723000 | #Constraints: 19643
1226.73/1230.57 c #Conflicts: 724000 | #Constraints: 20643
1226.73/1230.57 c #Conflicts: 725000 | #Constraints: 21643
1226.73/1230.57 c #Conflicts: 726000 | #Constraints: 22643
1226.73/1230.57 c #Conflicts: 727000 | #Constraints: 23643
1226.73/1230.57 c #Conflicts: 728000 | #Constraints: 24643
1226.73/1230.57 c #Conflicts: 729000 | #Constraints: 25643
1226.73/1230.57 c #Conflicts: 730000 | #Constraints: 26643
1226.73/1230.57 c #Conflicts: 731000 | #Constraints: 27643
1226.73/1230.57 c #Conflicts: 732000 | #Constraints: 28643
1226.73/1230.57 c #Conflicts: 733000 | #Constraints: 29643
1226.73/1230.57 c #Conflicts: 734000 | #Constraints: 30643
1226.73/1230.57 c #Conflicts: 735000 | #Constraints: 31643
1226.73/1230.57 c #Conflicts: 736000 | #Constraints: 32643
1226.73/1230.57 c #Conflicts: 737000 | #Constraints: 33643
1226.73/1230.57 c #Conflicts: 738000 | #Constraints: 34643
1226.73/1230.57 c #Conflicts: 739000 | #Constraints: 35643
1226.73/1230.57 c INPROCESSING
1226.73/1230.57 c GARBAGE COLLECT
1226.73/1230.57 c #Conflicts: 740000 | #Constraints: 19641
1226.73/1230.57 c #Conflicts: 741000 | #Constraints: 20641
1226.73/1230.57 c #Conflicts: 742000 | #Constraints: 21641
1226.73/1230.57 c #Conflicts: 743000 | #Constraints: 22641
1226.73/1230.57 c #Conflicts: 744000 | #Constraints: 23641
1226.73/1230.57 c #Conflicts: 745000 | #Constraints: 24641
1226.73/1230.57 c #Conflicts: 746000 | #Constraints: 25641
1226.73/1230.57 c #Conflicts: 747000 | #Constraints: 26641
1226.73/1230.57 c #Conflicts: 748000 | #Constraints: 27641
1226.73/1230.57 c #Conflicts: 749000 | #Constraints: 28641
1226.73/1230.57 c #Conflicts: 750000 | #Constraints: 29641
1226.73/1230.57 c #Conflicts: 751000 | #Constraints: 30641
1226.73/1230.57 c #Conflicts: 752000 | #Constraints: 31641
1226.73/1230.57 c #Conflicts: 753000 | #Constraints: 32641
1226.73/1230.57 c #Conflicts: 754000 | #Constraints: 33641
1226.73/1230.57 c #Conflicts: 755000 | #Constraints: 34641
1226.73/1230.57 c #Conflicts: 756000 | #Constraints: 35641
1226.73/1230.57 c INPROCESSING
1226.73/1230.57 c GARBAGE COLLECT
1226.73/1230.57 c #Conflicts: 757000 | #Constraints: 19455
1226.73/1230.57 c #Conflicts: 758000 | #Constraints: 20455
1226.73/1230.57 c #Conflicts: 759000 | #Constraints: 21455
1226.73/1230.57 c #Conflicts: 760000 | #Constraints: 22455
1226.73/1230.57 c #Conflicts: 761000 | #Constraints: 23455
1226.73/1230.57 c #Conflicts: 762000 | #Constraints: 24455
1226.73/1230.57 c #Conflicts: 763000 | #Constraints: 25455
1226.73/1230.57 c #Conflicts: 764000 | #Constraints: 26455
1226.73/1230.57 c #Conflicts: 765000 | #Constraints: 27455
1382.43/1386.67 c #Conflicts: 766000 | #Constraints: 28455
1382.43/1386.67 c #Conflicts: 767000 | #Constraints: 29455
1382.43/1386.67 c #Conflicts: 768000 | #Constraints: 30455
1382.43/1386.67 c #Conflicts: 769000 | #Constraints: 31455
1382.43/1386.67 c #Conflicts: 770000 | #Constraints: 32455
1382.43/1386.67 c #Conflicts: 771000 | #Constraints: 33455
1382.43/1386.67 c #Conflicts: 772000 | #Constraints: 34455
1382.43/1386.67 c #Conflicts: 773000 | #Constraints: 35455
1382.43/1386.67 c #Conflicts: 774000 | #Constraints: 36455
1382.43/1386.67 c INPROCESSING
1382.43/1386.67 c GARBAGE COLLECT
1382.43/1386.67 c #Conflicts: 775000 | #Constraints: 20046
1382.43/1386.67 c #Conflicts: 776000 | #Constraints: 21046
1382.43/1386.67 c #Conflicts: 777000 | #Constraints: 22046
1382.43/1386.67 c #Conflicts: 778000 | #Constraints: 23046
1382.43/1386.67 c #Conflicts: 779000 | #Constraints: 24046
1382.43/1386.67 c #Conflicts: 780000 | #Constraints: 25046
1382.43/1386.67 c #Conflicts: 781000 | #Constraints: 26046
1382.43/1386.67 c #Conflicts: 782000 | #Constraints: 27046
1382.43/1386.67 c #Conflicts: 783000 | #Constraints: 28046
1382.43/1386.67 c #Conflicts: 784000 | #Constraints: 29046
1382.43/1386.67 c #Conflicts: 785000 | #Constraints: 30046
1382.43/1386.67 c #Conflicts: 786000 | #Constraints: 31046
1382.43/1386.67 c #Conflicts: 787000 | #Constraints: 32046
1382.43/1386.67 c #Conflicts: 788000 | #Constraints: 33046
1382.43/1386.67 c #Conflicts: 789000 | #Constraints: 34046
1382.43/1386.67 c #Conflicts: 790000 | #Constraints: 35046
1382.43/1386.67 c #Conflicts: 791000 | #Constraints: 36046
1382.43/1386.67 c #Conflicts: 792000 | #Constraints: 37046
1382.43/1386.67 c INPROCESSING
1382.43/1386.67 c GARBAGE COLLECT
1382.43/1386.67 c #Conflicts: 793000 | #Constraints: 20452
1382.43/1386.67 c #Conflicts: 794000 | #Constraints: 21452
1382.43/1386.67 c #Conflicts: 795000 | #Constraints: 22452
1382.43/1386.67 c #Conflicts: 796000 | #Constraints: 23452
1382.43/1386.67 c #Conflicts: 797000 | #Constraints: 24452
1382.43/1386.67 c #Conflicts: 798000 | #Constraints: 25452
1382.43/1386.67 c #Conflicts: 799000 | #Constraints: 26452
1382.43/1386.67 c #Conflicts: 800000 | #Constraints: 27452
1382.43/1386.67 c #Conflicts: 801000 | #Constraints: 28452
1382.43/1386.67 c #Conflicts: 802000 | #Constraints: 29452
1382.43/1386.67 c #Conflicts: 803000 | #Constraints: 30452
1382.43/1386.67 c #Conflicts: 804000 | #Constraints: 31452
1382.43/1386.67 c #Conflicts: 805000 | #Constraints: 32452
1382.43/1386.67 c #Conflicts: 806000 | #Constraints: 33452
1382.43/1386.67 c #Conflicts: 807000 | #Constraints: 34452
1382.43/1386.67 c #Conflicts: 808000 | #Constraints: 35452
1382.43/1386.67 c #Conflicts: 809000 | #Constraints: 36452
1382.43/1386.67 c #Conflicts: 810000 | #Constraints: 37452
1382.43/1386.67 c INPROCESSING
1382.43/1386.67 c GARBAGE COLLECT
1382.43/1386.67 c #Conflicts: 811000 | #Constraints: 20652
1382.43/1386.67 c #Conflicts: 812000 | #Constraints: 21652
1382.43/1386.67 c #Conflicts: 813000 | #Constraints: 22652
1382.43/1386.67 c #Conflicts: 814000 | #Constraints: 23652
1382.43/1386.67 c #Conflicts: 815000 | #Constraints: 24652
1382.43/1386.67 c #Conflicts: 816000 | #Constraints: 25652
1382.43/1386.67 c #Conflicts: 817000 | #Constraints: 26652
1382.43/1386.67 c #Conflicts: 818000 | #Constraints: 27652
1382.43/1386.67 c #Conflicts: 819000 | #Constraints: 28652
1382.43/1386.67 c #Conflicts: 820000 | #Constraints: 29652
1382.43/1386.67 c #Conflicts: 821000 | #Constraints: 30652
1382.43/1386.67 c #Conflicts: 822000 | #Constraints: 31652
1382.43/1386.67 c #Conflicts: 823000 | #Constraints: 32652
1382.43/1386.67 c #Conflicts: 824000 | #Constraints: 33652
1382.43/1386.67 c #Conflicts: 825000 | #Constraints: 34652
1382.43/1386.67 c #Conflicts: 826000 | #Constraints: 35652
1382.43/1386.67 c #Conflicts: 827000 | #Constraints: 36652
1382.43/1386.67 c #Conflicts: 828000 | #Constraints: 37652
1382.43/1386.67 c INPROCESSING
1382.43/1386.67 c GARBAGE COLLECT
1382.43/1386.67 c #Conflicts: 829000 | #Constraints: 20645
1382.43/1386.67 c #Conflicts: 830000 | #Constraints: 21645
1382.43/1386.67 c #Conflicts: 831000 | #Constraints: 22645
1382.43/1386.67 c #Conflicts: 832000 | #Constraints: 23645
1382.43/1386.67 c #Conflicts: 833000 | #Constraints: 24645
1382.43/1386.67 c #Conflicts: 834000 | #Constraints: 25645
1382.43/1386.67 c #Conflicts: 835000 | #Constraints: 26645
1382.43/1386.67 c #Conflicts: 836000 | #Constraints: 27645
1382.43/1386.67 c #Conflicts: 837000 | #Constraints: 28645
1382.43/1386.67 c #Conflicts: 838000 | #Constraints: 29645
1382.43/1386.67 c #Conflicts: 839000 | #Constraints: 30645
1382.43/1386.67 c #Conflicts: 840000 | #Constraints: 31645
1382.43/1386.67 c #Conflicts: 841000 | #Constraints: 32645
1554.92/1559.57 c #Conflicts: 842000 | #Constraints: 33645
1554.92/1559.57 c #Conflicts: 843000 | #Constraints: 34645
1554.92/1559.57 c #Conflicts: 844000 | #Constraints: 35645
1554.92/1559.57 c #Conflicts: 845000 | #Constraints: 36645
1554.92/1559.57 c #Conflicts: 846000 | #Constraints: 37645
1554.92/1559.57 c INPROCESSING
1554.92/1559.57 c GARBAGE COLLECT
1554.92/1559.57 c #Conflicts: 847000 | #Constraints: 20443
1554.92/1559.57 c #Conflicts: 848000 | #Constraints: 21443
1554.92/1559.57 c #Conflicts: 849000 | #Constraints: 22443
1554.92/1559.57 c #Conflicts: 850000 | #Constraints: 23443
1554.92/1559.57 c #Conflicts: 851000 | #Constraints: 24443
1554.92/1559.57 c #Conflicts: 852000 | #Constraints: 25443
1554.92/1559.57 c #Conflicts: 853000 | #Constraints: 26443
1554.92/1559.57 c #Conflicts: 854000 | #Constraints: 27443
1554.92/1559.57 c #Conflicts: 855000 | #Constraints: 28443
1554.92/1559.57 c #Conflicts: 856000 | #Constraints: 29443
1554.92/1559.57 c #Conflicts: 857000 | #Constraints: 30443
1554.92/1559.57 c #Conflicts: 858000 | #Constraints: 31443
1554.92/1559.57 c #Conflicts: 859000 | #Constraints: 32443
1554.92/1559.57 c #Conflicts: 860000 | #Constraints: 33443
1554.92/1559.57 c #Conflicts: 861000 | #Constraints: 34443
1554.92/1559.57 c #Conflicts: 862000 | #Constraints: 35443
1554.92/1559.57 c #Conflicts: 863000 | #Constraints: 36443
1554.92/1559.57 c #Conflicts: 864000 | #Constraints: 37443
1554.92/1559.57 c #Conflicts: 865000 | #Constraints: 38443
1554.92/1559.57 c INPROCESSING
1554.92/1559.57 c GARBAGE COLLECT
1554.92/1559.57 c #Conflicts: 866000 | #Constraints: 21040
1554.92/1559.57 c #Conflicts: 867000 | #Constraints: 22040
1554.92/1559.57 c #Conflicts: 868000 | #Constraints: 23040
1554.92/1559.57 c #Conflicts: 869000 | #Constraints: 24040
1554.92/1559.57 c #Conflicts: 870000 | #Constraints: 25040
1554.92/1559.57 c #Conflicts: 871000 | #Constraints: 26040
1554.92/1559.57 c #Conflicts: 872000 | #Constraints: 27040
1554.92/1559.57 c #Conflicts: 873000 | #Constraints: 28040
1554.92/1559.57 c #Conflicts: 874000 | #Constraints: 29040
1554.92/1559.57 c #Conflicts: 875000 | #Constraints: 30040
1554.92/1559.57 c #Conflicts: 876000 | #Constraints: 31040
1554.92/1559.57 c #Conflicts: 877000 | #Constraints: 32040
1554.92/1559.57 c #Conflicts: 878000 | #Constraints: 33040
1554.92/1559.57 c #Conflicts: 879000 | #Constraints: 34040
1554.92/1559.57 c #Conflicts: 880000 | #Constraints: 35040
1554.92/1559.57 c #Conflicts: 881000 | #Constraints: 36040
1554.92/1559.57 c #Conflicts: 882000 | #Constraints: 37040
1554.92/1559.57 c #Conflicts: 883000 | #Constraints: 38040
1554.92/1559.57 c #Conflicts: 884000 | #Constraints: 39040
1554.92/1559.57 c INPROCESSING
1554.92/1559.57 c GARBAGE COLLECT
1554.92/1559.57 c #Conflicts: 885000 | #Constraints: 21444
1554.92/1559.57 c #Conflicts: 886000 | #Constraints: 22444
1554.92/1559.57 c #Conflicts: 887000 | #Constraints: 23444
1554.92/1559.57 c #Conflicts: 888000 | #Constraints: 24444
1554.92/1559.57 c #Conflicts: 889000 | #Constraints: 25444
1554.92/1559.57 c #Conflicts: 890000 | #Constraints: 26444
1554.92/1559.57 c #Conflicts: 891000 | #Constraints: 27444
1554.92/1559.57 c #Conflicts: 892000 | #Constraints: 28444
1554.92/1559.57 c #Conflicts: 893000 | #Constraints: 29444
1554.92/1559.57 c #Conflicts: 894000 | #Constraints: 30444
1554.92/1559.57 c #Conflicts: 895000 | #Constraints: 31444
1554.92/1559.57 c #Conflicts: 896000 | #Constraints: 32444
1554.92/1559.57 c #Conflicts: 897000 | #Constraints: 33444
1554.92/1559.57 c #Conflicts: 898000 | #Constraints: 34444
1554.92/1559.57 c #Conflicts: 899000 | #Constraints: 35444
1554.92/1559.57 c #Conflicts: 900000 | #Constraints: 36444
1554.92/1559.57 c #Conflicts: 901000 | #Constraints: 37444
1554.92/1559.57 c #Conflicts: 902000 | #Constraints: 38444
1554.92/1559.57 c #Conflicts: 903000 | #Constraints: 39444
1554.92/1559.57 c INPROCESSING
1554.92/1559.57 c GARBAGE COLLECT
1554.92/1559.57 c #Conflicts: 904000 | #Constraints: 21665
1554.92/1559.57 c #Conflicts: 905000 | #Constraints: 22665
1554.92/1559.57 c #Conflicts: 906000 | #Constraints: 23665
1554.92/1559.57 c #Conflicts: 907000 | #Constraints: 24665
1554.92/1559.57 c #Conflicts: 908000 | #Constraints: 25665
1554.92/1559.57 c #Conflicts: 909000 | #Constraints: 26665
1554.92/1559.57 c #Conflicts: 910000 | #Constraints: 27665
1554.92/1559.57 c #Conflicts: 911000 | #Constraints: 28665
1554.92/1559.57 c #Conflicts: 912000 | #Constraints: 29665
1554.92/1559.57 c #Conflicts: 913000 | #Constraints: 30665
1554.92/1559.57 c #Conflicts: 914000 | #Constraints: 31665
1554.92/1559.57 c #Conflicts: 915000 | #Constraints: 32665
1554.92/1559.57 c #Conflicts: 916000 | #Constraints: 33665
1554.92/1559.57 c #Conflicts: 917000 | #Constraints: 34665
1747.74/1752.80 c #Conflicts: 918000 | #Constraints: 35665
1747.74/1752.80 c #Conflicts: 919000 | #Constraints: 36665
1747.74/1752.80 c #Conflicts: 920000 | #Constraints: 37665
1747.74/1752.80 c #Conflicts: 921000 | #Constraints: 38665
1747.74/1752.80 c #Conflicts: 922000 | #Constraints: 39665
1747.74/1752.80 c INPROCESSING
1747.74/1752.80 c GARBAGE COLLECT
1747.74/1752.80 c #Conflicts: 923000 | #Constraints: 21648
1747.74/1752.80 c #Conflicts: 924000 | #Constraints: 22648
1747.74/1752.80 c #Conflicts: 925000 | #Constraints: 23648
1747.74/1752.80 c #Conflicts: 926000 | #Constraints: 24648
1747.74/1752.80 c #Conflicts: 927000 | #Constraints: 25648
1747.74/1752.80 c #Conflicts: 928000 | #Constraints: 26648
1747.74/1752.80 c #Conflicts: 929000 | #Constraints: 27648
1747.74/1752.80 c #Conflicts: 930000 | #Constraints: 28648
1747.74/1752.80 c #Conflicts: 931000 | #Constraints: 29648
1747.74/1752.80 c #Conflicts: 932000 | #Constraints: 30648
1747.74/1752.80 c #Conflicts: 933000 | #Constraints: 31648
1747.74/1752.80 c #Conflicts: 934000 | #Constraints: 32648
1747.74/1752.80 c #Conflicts: 935000 | #Constraints: 33648
1747.74/1752.80 c #Conflicts: 936000 | #Constraints: 34648
1747.74/1752.80 c #Conflicts: 937000 | #Constraints: 35648
1747.74/1752.80 c #Conflicts: 938000 | #Constraints: 36648
1747.74/1752.80 c #Conflicts: 939000 | #Constraints: 37648
1747.74/1752.80 c #Conflicts: 940000 | #Constraints: 38648
1747.74/1752.80 c #Conflicts: 941000 | #Constraints: 39648
1747.74/1752.80 c INPROCESSING
1747.74/1752.80 c GARBAGE COLLECT
1747.74/1752.80 c #Conflicts: 942000 | #Constraints: 21450
1747.74/1752.80 c #Conflicts: 943000 | #Constraints: 22450
1747.74/1752.80 c #Conflicts: 944000 | #Constraints: 23450
1747.74/1752.80 c #Conflicts: 945000 | #Constraints: 24450
1747.74/1752.80 c #Conflicts: 946000 | #Constraints: 25450
1747.74/1752.80 c #Conflicts: 947000 | #Constraints: 26450
1747.74/1752.80 c #Conflicts: 948000 | #Constraints: 27450
1747.74/1752.80 c #Conflicts: 949000 | #Constraints: 28450
1747.74/1752.80 c #Conflicts: 950000 | #Constraints: 29450
1747.74/1752.80 c #Conflicts: 951000 | #Constraints: 30450
1747.74/1752.80 c #Conflicts: 952000 | #Constraints: 31450
1747.74/1752.80 c #Conflicts: 953000 | #Constraints: 32450
1747.74/1752.80 c #Conflicts: 954000 | #Constraints: 33450
1747.74/1752.80 c #Conflicts: 955000 | #Constraints: 34450
1747.74/1752.80 c #Conflicts: 956000 | #Constraints: 35450
1747.74/1752.80 c #Conflicts: 957000 | #Constraints: 36450
1747.74/1752.80 c #Conflicts: 958000 | #Constraints: 37450
1747.74/1752.80 c #Conflicts: 959000 | #Constraints: 38450
1747.74/1752.80 c #Conflicts: 960000 | #Constraints: 39450
1747.74/1752.80 c #Conflicts: 961000 | #Constraints: 40450
1747.74/1752.80 c INPROCESSING
1747.74/1752.80 c GARBAGE COLLECT
1747.74/1752.80 c #Conflicts: 962000 | #Constraints: 22050
1747.74/1752.80 c #Conflicts: 963000 | #Constraints: 23050
1747.74/1752.80 c #Conflicts: 964000 | #Constraints: 24050
1747.74/1752.80 c #Conflicts: 965000 | #Constraints: 25050
1747.74/1752.80 c #Conflicts: 966000 | #Constraints: 26050
1747.74/1752.80 c #Conflicts: 967000 | #Constraints: 27050
1747.74/1752.80 c #Conflicts: 968000 | #Constraints: 28050
1747.74/1752.80 c #Conflicts: 969000 | #Constraints: 29050
1747.74/1752.80 c #Conflicts: 970000 | #Constraints: 30050
1747.74/1752.80 c #Conflicts: 971000 | #Constraints: 31050
1747.74/1752.80 c #Conflicts: 972000 | #Constraints: 32050
1747.74/1752.80 c #Conflicts: 973000 | #Constraints: 33050
1747.74/1752.80 c #Conflicts: 974000 | #Constraints: 34050
1747.74/1752.80 c #Conflicts: 975000 | #Constraints: 35050
1747.74/1752.80 c #Conflicts: 976000 | #Constraints: 36050
1747.74/1752.80 c #Conflicts: 977000 | #Constraints: 37050
1747.74/1752.80 c #Conflicts: 978000 | #Constraints: 38050
1747.74/1752.80 c #Conflicts: 979000 | #Constraints: 39050
1747.74/1752.80 c #Conflicts: 980000 | #Constraints: 40050
1747.74/1752.80 c #Conflicts: 981000 | #Constraints: 41050
1747.74/1752.80 c INPROCESSING
1747.74/1752.80 c GARBAGE COLLECT
1747.74/1752.80 c #Conflicts: 982000 | #Constraints: 22441
1747.74/1752.80 c #Conflicts: 983000 | #Constraints: 23441
1747.74/1752.80 c #Conflicts: 984000 | #Constraints: 24441
1747.74/1752.80 c #Conflicts: 985000 | #Constraints: 25441
1747.74/1752.80 c #Conflicts: 986000 | #Constraints: 26441
1747.74/1752.80 c #Conflicts: 987000 | #Constraints: 27441
1747.74/1752.80 c #Conflicts: 988000 | #Constraints: 28441
1747.74/1752.80 c #Conflicts: 989000 | #Constraints: 29441
1747.74/1752.80 c #Conflicts: 990000 | #Constraints: 30441
1747.74/1752.80 c #Conflicts: 991000 | #Constraints: 31441
1747.74/1752.80 c #Conflicts: 992000 | #Constraints: 32441
1747.74/1752.80 c #Conflicts: 993000 | #Constraints: 33441
1956.19/1961.86 c #Conflicts: 994000 | #Constraints: 34441
1956.19/1961.86 c #Conflicts: 995000 | #Constraints: 35441
1956.19/1961.86 c #Conflicts: 996000 | #Constraints: 36441
1956.19/1961.86 c #Conflicts: 997000 | #Constraints: 37441
1956.19/1961.86 c #Conflicts: 998000 | #Constraints: 38441
1956.19/1961.86 c #Conflicts: 999000 | #Constraints: 39441
1956.19/1961.86 c #Conflicts: 1000000 | #Constraints: 40441
1956.19/1961.86 c #Conflicts: 1001000 | #Constraints: 41441
1956.19/1961.86 c INPROCESSING
1956.19/1961.86 c GARBAGE COLLECT
1956.19/1961.86 c #Conflicts: 1002000 | #Constraints: 22647
1956.19/1961.86 c #Conflicts: 1003000 | #Constraints: 23647
1956.19/1961.86 c #Conflicts: 1004000 | #Constraints: 24647
1956.19/1961.86 c #Conflicts: 1005000 | #Constraints: 25647
1956.19/1961.86 c #Conflicts: 1006000 | #Constraints: 26647
1956.19/1961.86 c #Conflicts: 1007000 | #Constraints: 27647
1956.19/1961.86 c #Conflicts: 1008000 | #Constraints: 28647
1956.19/1961.86 c #Conflicts: 1009000 | #Constraints: 29647
1956.19/1961.86 c #Conflicts: 1010000 | #Constraints: 30647
1956.19/1961.86 c #Conflicts: 1011000 | #Constraints: 31647
1956.19/1961.86 c #Conflicts: 1012000 | #Constraints: 32647
1956.19/1961.86 c #Conflicts: 1013000 | #Constraints: 33647
1956.19/1961.86 c #Conflicts: 1014000 | #Constraints: 34647
1956.19/1961.86 c #Conflicts: 1015000 | #Constraints: 35647
1956.19/1961.86 c #Conflicts: 1016000 | #Constraints: 36647
1956.19/1961.86 c #Conflicts: 1017000 | #Constraints: 37647
1956.19/1961.86 c #Conflicts: 1018000 | #Constraints: 38647
1956.19/1961.86 c #Conflicts: 1019000 | #Constraints: 39647
1956.19/1961.86 c #Conflicts: 1020000 | #Constraints: 40647
1956.19/1961.86 c #Conflicts: 1021000 | #Constraints: 41647
1956.19/1961.86 c INPROCESSING
1956.19/1961.86 c GARBAGE COLLECT
1956.19/1961.86 c #Conflicts: 1022000 | #Constraints: 22653
1956.19/1961.86 c #Conflicts: 1023000 | #Constraints: 23653
1956.19/1961.86 c #Conflicts: 1024000 | #Constraints: 24653
1956.19/1961.86 c #Conflicts: 1025000 | #Constraints: 25653
1956.19/1961.86 c #Conflicts: 1026000 | #Constraints: 26653
1956.19/1961.86 c #Conflicts: 1027000 | #Constraints: 27653
1956.19/1961.86 c #Conflicts: 1028000 | #Constraints: 28653
1956.19/1961.86 c #Conflicts: 1029000 | #Constraints: 29653
1956.19/1961.86 c #Conflicts: 1030000 | #Constraints: 30653
1956.19/1961.86 c #Conflicts: 1031000 | #Constraints: 31653
1956.19/1961.86 c #Conflicts: 1032000 | #Constraints: 32653
1956.19/1961.86 c #Conflicts: 1033000 | #Constraints: 33653
1956.19/1961.86 c #Conflicts: 1034000 | #Constraints: 34653
1956.19/1961.86 c #Conflicts: 1035000 | #Constraints: 35653
1956.19/1961.86 c #Conflicts: 1036000 | #Constraints: 36653
1956.19/1961.86 c #Conflicts: 1037000 | #Constraints: 37653
1956.19/1961.86 c #Conflicts: 1038000 | #Constraints: 38653
1956.19/1961.86 c #Conflicts: 1039000 | #Constraints: 39653
1956.19/1961.86 c #Conflicts: 1040000 | #Constraints: 40653
1956.19/1961.86 c #Conflicts: 1041000 | #Constraints: 41653
1956.19/1961.86 c INPROCESSING
1956.19/1961.86 c GARBAGE COLLECT
1956.19/1961.86 c #Conflicts: 1042000 | #Constraints: 22457
1956.19/1961.86 c #Conflicts: 1043000 | #Constraints: 23457
1956.19/1961.86 c #Conflicts: 1044000 | #Constraints: 24457
1956.19/1961.86 c #Conflicts: 1045000 | #Constraints: 25457
1956.19/1961.86 c #Conflicts: 1046000 | #Constraints: 26457
1956.19/1961.86 c #Conflicts: 1047000 | #Constraints: 27457
1956.19/1961.86 c #Conflicts: 1048000 | #Constraints: 28457
1956.19/1961.86 c #Conflicts: 1049000 | #Constraints: 29457
1956.19/1961.86 c #Conflicts: 1050000 | #Constraints: 30457
1956.19/1961.86 c #Conflicts: 1051000 | #Constraints: 31457
1956.19/1961.86 c #Conflicts: 1052000 | #Constraints: 32457
1956.19/1961.86 c #Conflicts: 1053000 | #Constraints: 33457
1956.19/1961.86 c #Conflicts: 1054000 | #Constraints: 34457
1956.19/1961.86 c #Conflicts: 1055000 | #Constraints: 35457
1956.19/1961.86 c #Conflicts: 1056000 | #Constraints: 36457
1956.19/1961.86 c #Conflicts: 1057000 | #Constraints: 37457
1956.19/1961.86 c #Conflicts: 1058000 | #Constraints: 38457
1956.19/1961.86 c #Conflicts: 1059000 | #Constraints: 39457
1956.19/1961.86 c #Conflicts: 1060000 | #Constraints: 40457
1956.19/1961.86 c #Conflicts: 1061000 | #Constraints: 41457
1956.19/1961.86 c #Conflicts: 1062000 | #Constraints: 42457
1956.19/1961.86 c INPROCESSING
1956.19/1961.86 c GARBAGE COLLECT
1956.19/1961.86 c #Conflicts: 1063000 | #Constraints: 23057
1956.19/1961.86 c #Conflicts: 1064000 | #Constraints: 24057
1956.19/1961.86 c #Conflicts: 1065000 | #Constraints: 25057
1956.19/1961.86 c #Conflicts: 1066000 | #Constraints: 26057
1956.19/1961.86 c #Conflicts: 1067000 | #Constraints: 27057
1956.19/1961.86 c #Conflicts: 1068000 | #Constraints: 28057
1956.19/1961.86 c #Conflicts: 1069000 | #Constraints: 29057
1956.19/1961.86 c #Conflicts: 1070000 | #Constraints: 30057
2199.54/2205.96 c #Conflicts: 1071000 | #Constraints: 31057
2199.54/2205.96 c #Conflicts: 1072000 | #Constraints: 32057
2199.54/2205.96 c #Conflicts: 1073000 | #Constraints: 33057
2199.54/2205.96 c #Conflicts: 1074000 | #Constraints: 34057
2199.54/2205.96 c #Conflicts: 1075000 | #Constraints: 35057
2199.54/2205.96 c #Conflicts: 1076000 | #Constraints: 36057
2199.54/2205.96 c #Conflicts: 1077000 | #Constraints: 37057
2199.54/2205.96 c #Conflicts: 1078000 | #Constraints: 38057
2199.54/2205.96 c #Conflicts: 1079000 | #Constraints: 39057
2199.54/2205.96 c #Conflicts: 1080000 | #Constraints: 40057
2199.54/2205.96 c #Conflicts: 1081000 | #Constraints: 41057
2199.54/2205.96 c #Conflicts: 1082000 | #Constraints: 42057
2199.54/2205.96 c #Conflicts: 1083000 | #Constraints: 43057
2199.54/2205.96 c INPROCESSING
2199.54/2205.96 c GARBAGE COLLECT
2199.54/2205.96 c #Conflicts: 1084000 | #Constraints: 23458
2199.54/2205.96 c #Conflicts: 1085000 | #Constraints: 24458
2199.54/2205.96 c #Conflicts: 1086000 | #Constraints: 25458
2199.54/2205.96 c #Conflicts: 1087000 | #Constraints: 26458
2199.54/2205.96 c #Conflicts: 1088000 | #Constraints: 27458
2199.54/2205.96 c #Conflicts: 1089000 | #Constraints: 28458
2199.54/2205.96 c #Conflicts: 1090000 | #Constraints: 29458
2199.54/2205.96 c #Conflicts: 1091000 | #Constraints: 30458
2199.54/2205.96 c #Conflicts: 1092000 | #Constraints: 31458
2199.54/2205.96 c #Conflicts: 1093000 | #Constraints: 32458
2199.54/2205.96 c #Conflicts: 1094000 | #Constraints: 33458
2199.54/2205.96 c #Conflicts: 1095000 | #Constraints: 34458
2199.54/2205.96 c #Conflicts: 1096000 | #Constraints: 35458
2199.54/2205.96 c #Conflicts: 1097000 | #Constraints: 36458
2199.54/2205.96 c #Conflicts: 1098000 | #Constraints: 37458
2199.54/2205.96 c #Conflicts: 1099000 | #Constraints: 38458
2199.54/2205.96 c #Conflicts: 1100000 | #Constraints: 39458
2199.54/2205.96 c #Conflicts: 1101000 | #Constraints: 40458
2199.54/2205.96 c #Conflicts: 1102000 | #Constraints: 41458
2199.54/2205.96 c #Conflicts: 1103000 | #Constraints: 42458
2199.54/2205.96 c #Conflicts: 1104000 | #Constraints: 43458
2199.54/2205.96 c INPROCESSING
2199.54/2205.96 c GARBAGE COLLECT
2199.54/2205.96 c #Conflicts: 1105000 | #Constraints: 23658
2199.54/2205.96 c #Conflicts: 1106000 | #Constraints: 24658
2199.54/2205.96 c #Conflicts: 1107000 | #Constraints: 25658
2199.54/2205.96 c #Conflicts: 1108000 | #Constraints: 26658
2199.54/2205.96 c #Conflicts: 1109000 | #Constraints: 27658
2199.54/2205.96 c #Conflicts: 1110000 | #Constraints: 28658
2199.54/2205.96 c #Conflicts: 1111000 | #Constraints: 29658
2199.54/2205.96 c #Conflicts: 1112000 | #Constraints: 30658
2199.54/2205.96 c #Conflicts: 1113000 | #Constraints: 31658
2199.54/2205.96 c #Conflicts: 1114000 | #Constraints: 32658
2199.54/2205.96 c #Conflicts: 1115000 | #Constraints: 33658
2199.54/2205.96 c #Conflicts: 1116000 | #Constraints: 34658
2199.54/2205.96 c #Conflicts: 1117000 | #Constraints: 35658
2199.54/2205.96 c #Conflicts: 1118000 | #Constraints: 36658
2199.54/2205.96 c #Conflicts: 1119000 | #Constraints: 37658
2199.54/2205.96 c #Conflicts: 1120000 | #Constraints: 38658
2199.54/2205.96 c #Conflicts: 1121000 | #Constraints: 39658
2199.54/2205.96 c #Conflicts: 1122000 | #Constraints: 40658
2199.54/2205.96 c #Conflicts: 1123000 | #Constraints: 41658
2199.54/2205.96 c #Conflicts: 1124000 | #Constraints: 42658
2199.54/2205.96 c #Conflicts: 1125000 | #Constraints: 43658
2199.54/2205.96 c INPROCESSING
2199.54/2205.96 c GARBAGE COLLECT
2199.54/2205.96 c #Conflicts: 1126000 | #Constraints: 23659
2199.54/2205.96 c #Conflicts: 1127000 | #Constraints: 24659
2199.54/2205.96 c #Conflicts: 1128000 | #Constraints: 25659
2199.54/2205.96 c #Conflicts: 1129000 | #Constraints: 26659
2199.54/2205.96 c #Conflicts: 1130000 | #Constraints: 27659
2199.54/2205.96 c #Conflicts: 1131000 | #Constraints: 28659
2199.54/2205.96 c #Conflicts: 1132000 | #Constraints: 29659
2199.54/2205.96 c #Conflicts: 1133000 | #Constraints: 30659
2199.54/2205.96 c #Conflicts: 1134000 | #Constraints: 31659
2199.54/2205.96 c #Conflicts: 1135000 | #Constraints: 32659
2199.54/2205.96 c #Conflicts: 1136000 | #Constraints: 33659
2199.54/2205.96 c #Conflicts: 1137000 | #Constraints: 34659
2199.54/2205.96 c #Conflicts: 1138000 | #Constraints: 35659
2199.54/2205.96 c #Conflicts: 1139000 | #Constraints: 36659
2199.54/2205.96 c #Conflicts: 1140000 | #Constraints: 37659
2199.54/2205.96 c #Conflicts: 1141000 | #Constraints: 38659
2199.54/2205.96 c #Conflicts: 1142000 | #Constraints: 39659
2199.54/2205.96 c #Conflicts: 1143000 | #Constraints: 40659
2199.54/2205.96 c #Conflicts: 1144000 | #Constraints: 41659
2199.54/2205.96 c #Conflicts: 1145000 | #Constraints: 42659
2199.54/2205.96 c #Conflicts: 1146000 | #Constraints: 43659
2199.54/2205.96 c INPROCESSING
2418.54/2425.56 c GARBAGE COLLECT
2418.54/2425.56 c #Conflicts: 1147000 | #Constraints: 23453
2418.54/2425.56 c #Conflicts: 1148000 | #Constraints: 24453
2418.54/2425.56 c #Conflicts: 1149000 | #Constraints: 25453
2418.54/2425.56 c #Conflicts: 1150000 | #Constraints: 26453
2418.54/2425.56 c #Conflicts: 1151000 | #Constraints: 27453
2418.54/2425.56 c #Conflicts: 1152000 | #Constraints: 28453
2418.54/2425.56 c #Conflicts: 1153000 | #Constraints: 29453
2418.54/2425.56 c #Conflicts: 1154000 | #Constraints: 30453
2418.54/2425.56 c #Conflicts: 1155000 | #Constraints: 31453
2418.54/2425.56 c #Conflicts: 1156000 | #Constraints: 32453
2418.54/2425.56 c #Conflicts: 1157000 | #Constraints: 33453
2418.54/2425.56 c #Conflicts: 1158000 | #Constraints: 34453
2418.54/2425.56 c #Conflicts: 1159000 | #Constraints: 35453
2418.54/2425.56 c #Conflicts: 1160000 | #Constraints: 36453
2418.54/2425.56 c #Conflicts: 1161000 | #Constraints: 37453
2418.54/2425.56 c #Conflicts: 1162000 | #Constraints: 38453
2418.54/2425.56 c #Conflicts: 1163000 | #Constraints: 39453
2418.54/2425.56 c #Conflicts: 1164000 | #Constraints: 40453
2418.54/2425.56 c #Conflicts: 1165000 | #Constraints: 41453
2418.54/2425.56 c #Conflicts: 1166000 | #Constraints: 42453
2418.54/2425.56 c #Conflicts: 1167000 | #Constraints: 43453
2418.54/2425.56 c #Conflicts: 1168000 | #Constraints: 44453
2418.54/2425.56 c INPROCESSING
2418.54/2425.56 c GARBAGE COLLECT
2418.54/2425.56 c #Conflicts: 1169000 | #Constraints: 24055
2418.54/2425.56 c #Conflicts: 1170000 | #Constraints: 25055
2418.54/2425.56 c #Conflicts: 1171000 | #Constraints: 26055
2418.54/2425.56 c #Conflicts: 1172000 | #Constraints: 27055
2418.54/2425.56 c #Conflicts: 1173000 | #Constraints: 28055
2418.54/2425.56 c #Conflicts: 1174000 | #Constraints: 29055
2418.54/2425.56 c #Conflicts: 1175000 | #Constraints: 30055
2418.54/2425.56 c #Conflicts: 1176000 | #Constraints: 31055
2418.54/2425.56 c #Conflicts: 1177000 | #Constraints: 32055
2418.54/2425.56 c #Conflicts: 1178000 | #Constraints: 33055
2418.54/2425.56 c #Conflicts: 1179000 | #Constraints: 34055
2418.54/2425.56 c #Conflicts: 1180000 | #Constraints: 35055
2418.54/2425.56 c #Conflicts: 1181000 | #Constraints: 36055
2418.54/2425.56 c #Conflicts: 1182000 | #Constraints: 37055
2418.54/2425.56 c #Conflicts: 1183000 | #Constraints: 38055
2418.54/2425.56 c #Conflicts: 1184000 | #Constraints: 39055
2418.54/2425.56 c #Conflicts: 1185000 | #Constraints: 40055
2418.54/2425.56 c #Conflicts: 1186000 | #Constraints: 41055
2418.54/2425.56 c #Conflicts: 1187000 | #Constraints: 42055
2418.54/2425.56 c #Conflicts: 1188000 | #Constraints: 43055
2418.54/2425.56 c #Conflicts: 1189000 | #Constraints: 44055
2418.54/2425.56 c #Conflicts: 1190000 | #Constraints: 45055
2418.54/2425.56 c INPROCESSING
2418.54/2425.56 c GARBAGE COLLECT
2418.54/2425.56 c #Conflicts: 1191000 | #Constraints: 24457
2418.54/2425.56 c #Conflicts: 1192000 | #Constraints: 25457
2418.54/2425.56 c #Conflicts: 1193000 | #Constraints: 26457
2418.54/2425.56 c #Conflicts: 1194000 | #Constraints: 27457
2418.54/2425.56 c #Conflicts: 1195000 | #Constraints: 28457
2418.54/2425.56 c #Conflicts: 1196000 | #Constraints: 29457
2418.54/2425.56 c #Conflicts: 1197000 | #Constraints: 30457
2418.54/2425.56 c #Conflicts: 1198000 | #Constraints: 31457
2418.54/2425.56 c #Conflicts: 1199000 | #Constraints: 32457
2418.54/2425.56 c #Conflicts: 1200000 | #Constraints: 33457
2418.54/2425.56 c #Conflicts: 1201000 | #Constraints: 34457
2418.54/2425.56 c #Conflicts: 1202000 | #Constraints: 35457
2418.54/2425.56 c #Conflicts: 1203000 | #Constraints: 36457
2418.54/2425.56 c #Conflicts: 1204000 | #Constraints: 37457
2418.54/2425.56 c #Conflicts: 1205000 | #Constraints: 38457
2418.54/2425.56 c #Conflicts: 1206000 | #Constraints: 39457
2418.54/2425.56 c #Conflicts: 1207000 | #Constraints: 40457
2418.54/2425.56 c #Conflicts: 1208000 | #Constraints: 41457
2418.54/2425.56 c #Conflicts: 1209000 | #Constraints: 42457
2418.54/2425.56 c #Conflicts: 1210000 | #Constraints: 43457
2418.54/2425.56 c #Conflicts: 1211000 | #Constraints: 44457
2418.54/2425.56 c #Conflicts: 1212000 | #Constraints: 45457
2418.54/2425.56 c INPROCESSING
2418.54/2425.56 c GARBAGE COLLECT
2418.54/2425.56 c #Conflicts: 1213000 | #Constraints: 24658
2418.54/2425.56 c #Conflicts: 1214000 | #Constraints: 25658
2418.54/2425.56 c #Conflicts: 1215000 | #Constraints: 26658
2418.54/2425.56 c #Conflicts: 1216000 | #Constraints: 27658
2418.54/2425.56 c #Conflicts: 1217000 | #Constraints: 28658
2418.54/2425.56 c #Conflicts: 1218000 | #Constraints: 29658
2418.54/2425.56 c #Conflicts: 1219000 | #Constraints: 30658
2418.54/2425.56 c #Conflicts: 1220000 | #Constraints: 31658
2418.54/2425.56 c #Conflicts: 1221000 | #Constraints: 32658
2418.54/2425.56 c #Conflicts: 1222000 | #Constraints: 33658
2418.54/2425.56 c #Conflicts: 1223000 | #Constraints: 34658
2663.41/2671.01 c #Conflicts: 1224000 | #Constraints: 35658
2663.41/2671.01 c #Conflicts: 1225000 | #Constraints: 36658
2663.41/2671.01 c #Conflicts: 1226000 | #Constraints: 37658
2663.41/2671.01 c #Conflicts: 1227000 | #Constraints: 38658
2663.41/2671.01 c #Conflicts: 1228000 | #Constraints: 39658
2663.41/2671.01 c #Conflicts: 1229000 | #Constraints: 40658
2663.41/2671.01 c #Conflicts: 1230000 | #Constraints: 41658
2663.41/2671.01 c #Conflicts: 1231000 | #Constraints: 42658
2663.41/2671.01 c #Conflicts: 1232000 | #Constraints: 43658
2663.41/2671.01 c #Conflicts: 1233000 | #Constraints: 44658
2663.41/2671.01 c #Conflicts: 1234000 | #Constraints: 45658
2663.41/2671.01 c INPROCESSING
2663.41/2671.01 c GARBAGE COLLECT
2663.41/2671.01 c #Conflicts: 1235000 | #Constraints: 24658
2663.41/2671.01 c #Conflicts: 1236000 | #Constraints: 25658
2663.41/2671.01 c #Conflicts: 1237000 | #Constraints: 26658
2663.41/2671.01 c #Conflicts: 1238000 | #Constraints: 27658
2663.41/2671.01 c #Conflicts: 1239000 | #Constraints: 28658
2663.41/2671.01 c #Conflicts: 1240000 | #Constraints: 29658
2663.41/2671.01 c #Conflicts: 1241000 | #Constraints: 30658
2663.41/2671.01 c #Conflicts: 1242000 | #Constraints: 31658
2663.41/2671.01 c #Conflicts: 1243000 | #Constraints: 32658
2663.41/2671.01 c #Conflicts: 1244000 | #Constraints: 33658
2663.41/2671.01 c #Conflicts: 1245000 | #Constraints: 34658
2663.41/2671.01 c #Conflicts: 1246000 | #Constraints: 35658
2663.41/2671.01 c #Conflicts: 1247000 | #Constraints: 36658
2663.41/2671.01 c #Conflicts: 1248000 | #Constraints: 37658
2663.41/2671.01 c #Conflicts: 1249000 | #Constraints: 38658
2663.41/2671.01 c #Conflicts: 1250000 | #Constraints: 39658
2663.41/2671.01 c #Conflicts: 1251000 | #Constraints: 40658
2663.41/2671.01 c #Conflicts: 1252000 | #Constraints: 41658
2663.41/2671.01 c #Conflicts: 1253000 | #Constraints: 42658
2663.41/2671.01 c #Conflicts: 1254000 | #Constraints: 43658
2663.41/2671.01 c #Conflicts: 1255000 | #Constraints: 44658
2663.41/2671.01 c #Conflicts: 1256000 | #Constraints: 45658
2663.41/2671.01 c INPROCESSING
2663.41/2671.01 c GARBAGE COLLECT
2663.41/2671.01 c #Conflicts: 1257000 | #Constraints: 24451
2663.41/2671.01 c #Conflicts: 1258000 | #Constraints: 25451
2663.41/2671.01 c #Conflicts: 1259000 | #Constraints: 26451
2663.41/2671.01 c #Conflicts: 1260000 | #Constraints: 27451
2663.41/2671.01 c #Conflicts: 1261000 | #Constraints: 28451
2663.41/2671.01 c #Conflicts: 1262000 | #Constraints: 29451
2663.41/2671.01 c #Conflicts: 1263000 | #Constraints: 30451
2663.41/2671.01 c #Conflicts: 1264000 | #Constraints: 31451
2663.41/2671.01 c #Conflicts: 1265000 | #Constraints: 32451
2663.41/2671.01 c #Conflicts: 1266000 | #Constraints: 33451
2663.41/2671.01 c #Conflicts: 1267000 | #Constraints: 34451
2663.41/2671.01 c #Conflicts: 1268000 | #Constraints: 35451
2663.41/2671.01 c #Conflicts: 1269000 | #Constraints: 36451
2663.41/2671.01 c #Conflicts: 1270000 | #Constraints: 37451
2663.41/2671.01 c #Conflicts: 1271000 | #Constraints: 38451
2663.41/2671.01 c #Conflicts: 1272000 | #Constraints: 39451
2663.41/2671.01 c #Conflicts: 1273000 | #Constraints: 40451
2663.41/2671.01 c #Conflicts: 1274000 | #Constraints: 41451
2663.41/2671.01 c #Conflicts: 1275000 | #Constraints: 42451
2663.41/2671.01 c #Conflicts: 1276000 | #Constraints: 43451
2663.41/2671.01 c #Conflicts: 1277000 | #Constraints: 44451
2663.41/2671.01 c #Conflicts: 1278000 | #Constraints: 45451
2663.41/2671.01 c #Conflicts: 1279000 | #Constraints: 46451
2663.41/2671.01 c INPROCESSING
2663.41/2671.01 c GARBAGE COLLECT
2663.41/2671.01 c #Conflicts: 1280000 | #Constraints: 25052
2663.41/2671.01 c #Conflicts: 1281000 | #Constraints: 26052
2663.41/2671.01 c #Conflicts: 1282000 | #Constraints: 27052
2663.41/2671.01 c #Conflicts: 1283000 | #Constraints: 28052
2663.41/2671.01 c #Conflicts: 1284000 | #Constraints: 29052
2663.41/2671.01 c #Conflicts: 1285000 | #Constraints: 30052
2663.41/2671.01 c #Conflicts: 1286000 | #Constraints: 31052
2663.41/2671.01 c #Conflicts: 1287000 | #Constraints: 32052
2663.41/2671.01 c #Conflicts: 1288000 | #Constraints: 33052
2663.41/2671.01 c #Conflicts: 1289000 | #Constraints: 34052
2663.41/2671.01 c #Conflicts: 1290000 | #Constraints: 35052
2663.41/2671.01 c #Conflicts: 1291000 | #Constraints: 36052
2663.41/2671.01 c #Conflicts: 1292000 | #Constraints: 37052
2663.41/2671.01 c #Conflicts: 1293000 | #Constraints: 38052
2663.41/2671.01 c #Conflicts: 1294000 | #Constraints: 39052
2663.41/2671.01 c #Conflicts: 1295000 | #Constraints: 40052
2663.41/2671.01 c #Conflicts: 1296000 | #Constraints: 41052
2663.41/2671.01 c #Conflicts: 1297000 | #Constraints: 42052
2663.41/2671.01 c #Conflicts: 1298000 | #Constraints: 43052
2663.41/2671.01 c #Conflicts: 1299000 | #Constraints: 44052
2663.41/2671.01 c #Conflicts: 1300000 | #Constraints: 45052
2901.54/2909.86 c #Conflicts: 1301000 | #Constraints: 46052
2901.54/2909.86 c #Conflicts: 1302000 | #Constraints: 47052
2901.54/2909.86 c INPROCESSING
2901.54/2909.86 c GARBAGE COLLECT
2901.54/2909.86 c #Conflicts: 1303000 | #Constraints: 25456
2901.54/2909.86 c #Conflicts: 1304000 | #Constraints: 26456
2901.54/2909.86 c #Conflicts: 1305000 | #Constraints: 27456
2901.54/2909.86 c #Conflicts: 1306000 | #Constraints: 28456
2901.54/2909.86 c #Conflicts: 1307000 | #Constraints: 29456
2901.54/2909.86 c #Conflicts: 1308000 | #Constraints: 30456
2901.54/2909.86 c #Conflicts: 1309000 | #Constraints: 31456
2901.54/2909.86 c #Conflicts: 1310000 | #Constraints: 32456
2901.54/2909.86 c #Conflicts: 1311000 | #Constraints: 33456
2901.54/2909.86 c #Conflicts: 1312000 | #Constraints: 34456
2901.54/2909.86 c #Conflicts: 1313000 | #Constraints: 35456
2901.54/2909.86 c #Conflicts: 1314000 | #Constraints: 36456
2901.54/2909.86 c #Conflicts: 1315000 | #Constraints: 37456
2901.54/2909.86 c #Conflicts: 1316000 | #Constraints: 38456
2901.54/2909.86 c #Conflicts: 1317000 | #Constraints: 39456
2901.54/2909.86 c #Conflicts: 1318000 | #Constraints: 40456
2901.54/2909.86 c #Conflicts: 1319000 | #Constraints: 41456
2901.54/2909.86 c #Conflicts: 1320000 | #Constraints: 42456
2901.54/2909.86 c #Conflicts: 1321000 | #Constraints: 43456
2901.54/2909.86 c #Conflicts: 1322000 | #Constraints: 44456
2901.54/2909.86 c #Conflicts: 1323000 | #Constraints: 45456
2901.54/2909.86 c #Conflicts: 1324000 | #Constraints: 46456
2901.54/2909.86 c #Conflicts: 1325000 | #Constraints: 47456
2901.54/2909.86 c INPROCESSING
2901.54/2909.86 c GARBAGE COLLECT
2901.54/2909.86 c #Conflicts: 1326000 | #Constraints: 25680
2901.54/2909.86 c #Conflicts: 1327000 | #Constraints: 26680
2901.54/2909.86 c #Conflicts: 1328000 | #Constraints: 27680
2901.54/2909.86 c #Conflicts: 1329000 | #Constraints: 28680
2901.54/2909.86 c #Conflicts: 1330000 | #Constraints: 29680
2901.54/2909.86 c #Conflicts: 1331000 | #Constraints: 30680
2901.54/2909.86 c #Conflicts: 1332000 | #Constraints: 31680
2901.54/2909.86 c #Conflicts: 1333000 | #Constraints: 32680
2901.54/2909.86 c #Conflicts: 1334000 | #Constraints: 33680
2901.54/2909.86 c #Conflicts: 1335000 | #Constraints: 34680
2901.54/2909.86 c #Conflicts: 1336000 | #Constraints: 35680
2901.54/2909.86 c #Conflicts: 1337000 | #Constraints: 36680
2901.54/2909.86 c #Conflicts: 1338000 | #Constraints: 37680
2901.54/2909.86 c #Conflicts: 1339000 | #Constraints: 38680
2901.54/2909.86 c #Conflicts: 1340000 | #Constraints: 39680
2901.54/2909.86 c #Conflicts: 1341000 | #Constraints: 40680
2901.54/2909.86 c #Conflicts: 1342000 | #Constraints: 41680
2901.54/2909.86 c #Conflicts: 1343000 | #Constraints: 42680
2901.54/2909.86 c #Conflicts: 1344000 | #Constraints: 43680
2901.54/2909.86 c #Conflicts: 1345000 | #Constraints: 44680
2901.54/2909.86 c #Conflicts: 1346000 | #Constraints: 45680
2901.54/2909.86 c #Conflicts: 1347000 | #Constraints: 46680
2901.54/2909.86 c #Conflicts: 1348000 | #Constraints: 47680
2901.54/2909.86 c INPROCESSING
2901.54/2909.86 c GARBAGE COLLECT
2901.54/2909.86 c #Conflicts: 1349000 | #Constraints: 25669
2901.54/2909.86 c #Conflicts: 1350000 | #Constraints: 26669
2901.54/2909.86 c #Conflicts: 1351000 | #Constraints: 27669
2901.54/2909.86 c #Conflicts: 1352000 | #Constraints: 28669
2901.54/2909.86 c #Conflicts: 1353000 | #Constraints: 29669
2901.54/2909.86 c #Conflicts: 1354000 | #Constraints: 30669
2901.54/2909.86 c #Conflicts: 1355000 | #Constraints: 31669
2901.54/2909.86 c #Conflicts: 1356000 | #Constraints: 32669
2901.54/2909.86 c #Conflicts: 1357000 | #Constraints: 33669
2901.54/2909.86 c #Conflicts: 1358000 | #Constraints: 34669
2901.54/2909.86 c #Conflicts: 1359000 | #Constraints: 35669
2901.54/2909.86 c #Conflicts: 1360000 | #Constraints: 36669
2901.54/2909.86 c #Conflicts: 1361000 | #Constraints: 37669
2901.54/2909.86 c #Conflicts: 1362000 | #Constraints: 38669
2901.54/2909.86 c #Conflicts: 1363000 | #Constraints: 39669
2901.54/2909.86 c #Conflicts: 1364000 | #Constraints: 40669
2901.54/2909.86 c #Conflicts: 1365000 | #Constraints: 41669
2901.54/2909.86 c #Conflicts: 1366000 | #Constraints: 42669
2901.54/2909.86 c #Conflicts: 1367000 | #Constraints: 43669
2901.54/2909.86 c #Conflicts: 1368000 | #Constraints: 44669
2901.54/2909.86 c #Conflicts: 1369000 | #Constraints: 45669
2901.54/2909.86 c #Conflicts: 1370000 | #Constraints: 46669
2901.54/2909.86 c #Conflicts: 1371000 | #Constraints: 47669
2901.54/2909.86 c INPROCESSING
2901.54/2909.86 c GARBAGE COLLECT
2901.54/2909.86 c #Conflicts: 1372000 | #Constraints: 25461
2901.54/2909.86 c #Conflicts: 1373000 | #Constraints: 26461
2901.54/2909.86 c #Conflicts: 1374000 | #Constraints: 27461
2901.54/2909.86 c #Conflicts: 1375000 | #Constraints: 28461
2901.54/2909.86 c #Conflicts: 1376000 | #Constraints: 29461
3150.48/3159.47 c #Conflicts: 1377000 | #Constraints: 30461
3150.48/3159.47 c #Conflicts: 1378000 | #Constraints: 31461
3150.48/3159.47 c #Conflicts: 1379000 | #Constraints: 32461
3150.48/3159.47 c #Conflicts: 1380000 | #Constraints: 33461
3150.48/3159.47 c #Conflicts: 1381000 | #Constraints: 34461
3150.48/3159.47 c #Conflicts: 1382000 | #Constraints: 35461
3150.48/3159.47 c #Conflicts: 1383000 | #Constraints: 36461
3150.48/3159.47 c #Conflicts: 1384000 | #Constraints: 37461
3150.48/3159.47 c #Conflicts: 1385000 | #Constraints: 38461
3150.48/3159.47 c #Conflicts: 1386000 | #Constraints: 39461
3150.48/3159.47 c #Conflicts: 1387000 | #Constraints: 40461
3150.48/3159.47 c #Conflicts: 1388000 | #Constraints: 41461
3150.48/3159.47 c #Conflicts: 1389000 | #Constraints: 42461
3150.48/3159.47 c #Conflicts: 1390000 | #Constraints: 43461
3150.48/3159.47 c #Conflicts: 1391000 | #Constraints: 44461
3150.48/3159.47 c #Conflicts: 1392000 | #Constraints: 45461
3150.48/3159.47 c #Conflicts: 1393000 | #Constraints: 46461
3150.48/3159.47 c #Conflicts: 1394000 | #Constraints: 47461
3150.48/3159.47 c #Conflicts: 1395000 | #Constraints: 48461
3150.48/3159.47 c INPROCESSING
3150.48/3159.47 c GARBAGE COLLECT
3150.48/3159.47 c #Conflicts: 1396000 | #Constraints: 26064
3150.48/3159.47 c #Conflicts: 1397000 | #Constraints: 27064
3150.48/3159.47 c #Conflicts: 1398000 | #Constraints: 28064
3150.48/3159.47 c #Conflicts: 1399000 | #Constraints: 29064
3150.48/3159.47 c #Conflicts: 1400000 | #Constraints: 30064
3150.48/3159.47 c #Conflicts: 1401000 | #Constraints: 31064
3150.48/3159.47 c #Conflicts: 1402000 | #Constraints: 32064
3150.48/3159.47 c #Conflicts: 1403000 | #Constraints: 33064
3150.48/3159.47 c #Conflicts: 1404000 | #Constraints: 34064
3150.48/3159.47 c #Conflicts: 1405000 | #Constraints: 35064
3150.48/3159.47 c #Conflicts: 1406000 | #Constraints: 36064
3150.48/3159.47 c #Conflicts: 1407000 | #Constraints: 37064
3150.48/3159.47 c #Conflicts: 1408000 | #Constraints: 38064
3150.48/3159.47 c #Conflicts: 1409000 | #Constraints: 39064
3150.48/3159.47 c #Conflicts: 1410000 | #Constraints: 40064
3150.48/3159.47 c #Conflicts: 1411000 | #Constraints: 41064
3150.48/3159.47 c #Conflicts: 1412000 | #Constraints: 42064
3150.48/3159.47 c #Conflicts: 1413000 | #Constraints: 43064
3150.48/3159.47 c #Conflicts: 1414000 | #Constraints: 44064
3150.48/3159.47 c #Conflicts: 1415000 | #Constraints: 45064
3150.48/3159.47 c #Conflicts: 1416000 | #Constraints: 46064
3150.48/3159.47 c #Conflicts: 1417000 | #Constraints: 47064
3150.48/3159.47 c #Conflicts: 1418000 | #Constraints: 48064
3150.48/3159.47 c #Conflicts: 1419000 | #Constraints: 49064
3150.48/3159.47 c INPROCESSING
3150.48/3159.47 c GARBAGE COLLECT
3150.48/3159.47 c #Conflicts: 1420000 | #Constraints: 26456
3150.48/3159.47 c #Conflicts: 1421000 | #Constraints: 27456
3150.48/3159.47 c #Conflicts: 1422000 | #Constraints: 28456
3150.48/3159.47 c #Conflicts: 1423000 | #Constraints: 29456
3150.48/3159.47 c #Conflicts: 1424000 | #Constraints: 30456
3150.48/3159.47 c #Conflicts: 1425000 | #Constraints: 31456
3150.48/3159.47 c #Conflicts: 1426000 | #Constraints: 32456
3150.48/3159.47 c #Conflicts: 1427000 | #Constraints: 33456
3150.48/3159.47 c #Conflicts: 1428000 | #Constraints: 34456
3150.48/3159.47 c #Conflicts: 1429000 | #Constraints: 35456
3150.48/3159.47 c #Conflicts: 1430000 | #Constraints: 36456
3150.48/3159.47 c #Conflicts: 1431000 | #Constraints: 37456
3150.48/3159.47 c #Conflicts: 1432000 | #Constraints: 38456
3150.48/3159.47 c #Conflicts: 1433000 | #Constraints: 39456
3150.48/3159.47 c #Conflicts: 1434000 | #Constraints: 40456
3150.48/3159.47 c #Conflicts: 1435000 | #Constraints: 41456
3150.48/3159.47 c #Conflicts: 1436000 | #Constraints: 42456
3150.48/3159.47 c #Conflicts: 1437000 | #Constraints: 43456
3150.48/3159.47 c #Conflicts: 1438000 | #Constraints: 44456
3150.48/3159.47 c #Conflicts: 1439000 | #Constraints: 45456
3150.48/3159.47 c #Conflicts: 1440000 | #Constraints: 46456
3150.48/3159.47 c #Conflicts: 1441000 | #Constraints: 47456
3150.48/3159.47 c #Conflicts: 1442000 | #Constraints: 48456
3150.48/3159.47 c #Conflicts: 1443000 | #Constraints: 49456
3150.48/3159.47 c INPROCESSING
3150.48/3159.47 c GARBAGE COLLECT
3150.48/3159.47 c #Conflicts: 1444000 | #Constraints: 26656
3150.48/3159.47 c #Conflicts: 1445000 | #Constraints: 27656
3150.48/3159.47 c #Conflicts: 1446000 | #Constraints: 28656
3150.48/3159.47 c #Conflicts: 1447000 | #Constraints: 29656
3150.48/3159.47 c #Conflicts: 1448000 | #Constraints: 30656
3150.48/3159.47 c #Conflicts: 1449000 | #Constraints: 31656
3150.48/3159.47 c #Conflicts: 1450000 | #Constraints: 32656
3150.48/3159.47 c #Conflicts: 1451000 | #Constraints: 33656
3150.48/3159.47 c #Conflicts: 1452000 | #Constraints: 34656
3150.48/3159.47 c #Conflicts: 1453000 | #Constraints: 35656
3418.08/3427.71 c #Conflicts: 1454000 | #Constraints: 36656
3418.08/3427.71 c #Conflicts: 1455000 | #Constraints: 37656
3418.08/3427.71 c #Conflicts: 1456000 | #Constraints: 38656
3418.08/3427.71 c #Conflicts: 1457000 | #Constraints: 39656
3418.08/3427.71 c #Conflicts: 1458000 | #Constraints: 40656
3418.08/3427.71 c #Conflicts: 1459000 | #Constraints: 41656
3418.08/3427.71 c #Conflicts: 1460000 | #Constraints: 42656
3418.08/3427.71 c #Conflicts: 1461000 | #Constraints: 43656
3418.08/3427.71 c #Conflicts: 1462000 | #Constraints: 44656
3418.08/3427.71 c #Conflicts: 1463000 | #Constraints: 45656
3418.08/3427.71 c #Conflicts: 1464000 | #Constraints: 46656
3418.08/3427.71 c #Conflicts: 1465000 | #Constraints: 47656
3418.08/3427.71 c #Conflicts: 1466000 | #Constraints: 48656
3418.08/3427.71 c #Conflicts: 1467000 | #Constraints: 49656
3418.08/3427.71 c INPROCESSING
3418.08/3427.71 c GARBAGE COLLECT
3418.08/3427.71 c #Conflicts: 1468000 | #Constraints: 26656
3418.08/3427.71 c #Conflicts: 1469000 | #Constraints: 27656
3418.08/3427.71 c #Conflicts: 1470000 | #Constraints: 28656
3418.08/3427.71 c #Conflicts: 1471000 | #Constraints: 29656
3418.08/3427.71 c #Conflicts: 1472000 | #Constraints: 30656
3418.08/3427.71 c #Conflicts: 1473000 | #Constraints: 31656
3418.08/3427.71 c #Conflicts: 1474000 | #Constraints: 32656
3418.08/3427.71 c #Conflicts: 1475000 | #Constraints: 33656
3418.08/3427.71 c #Conflicts: 1476000 | #Constraints: 34656
3418.08/3427.71 c #Conflicts: 1477000 | #Constraints: 35656
3418.08/3427.71 c #Conflicts: 1478000 | #Constraints: 36656
3418.08/3427.71 c #Conflicts: 1479000 | #Constraints: 37656
3418.08/3427.71 c #Conflicts: 1480000 | #Constraints: 38656
3418.08/3427.71 c #Conflicts: 1481000 | #Constraints: 39656
3418.08/3427.71 c #Conflicts: 1482000 | #Constraints: 40656
3418.08/3427.71 c #Conflicts: 1483000 | #Constraints: 41656
3418.08/3427.71 c #Conflicts: 1484000 | #Constraints: 42656
3418.08/3427.71 c #Conflicts: 1485000 | #Constraints: 43656
3418.08/3427.71 c #Conflicts: 1486000 | #Constraints: 44656
3418.08/3427.71 c #Conflicts: 1487000 | #Constraints: 45656
3418.08/3427.71 c #Conflicts: 1488000 | #Constraints: 46656
3418.08/3427.71 c #Conflicts: 1489000 | #Constraints: 47656
3418.08/3427.71 c #Conflicts: 1490000 | #Constraints: 48656
3418.08/3427.71 c #Conflicts: 1491000 | #Constraints: 49656
3418.08/3427.71 c INPROCESSING
3418.08/3427.71 c GARBAGE COLLECT
3418.08/3427.71 c #Conflicts: 1492000 | #Constraints: 26460
3418.08/3427.71 c #Conflicts: 1493000 | #Constraints: 27460
3418.08/3427.71 c #Conflicts: 1494000 | #Constraints: 28460
3418.08/3427.71 c #Conflicts: 1495000 | #Constraints: 29460
3418.08/3427.71 c #Conflicts: 1496000 | #Constraints: 30460
3418.08/3427.71 c #Conflicts: 1497000 | #Constraints: 31460
3418.08/3427.71 c #Conflicts: 1498000 | #Constraints: 32460
3418.08/3427.71 c #Conflicts: 1499000 | #Constraints: 33460
3418.08/3427.71 c #Conflicts: 1500000 | #Constraints: 34460
3418.08/3427.71 c #Conflicts: 1501000 | #Constraints: 35460
3418.08/3427.71 c #Conflicts: 1502000 | #Constraints: 36460
3418.08/3427.71 c #Conflicts: 1503000 | #Constraints: 37460
3418.08/3427.71 c #Conflicts: 1504000 | #Constraints: 38460
3418.08/3427.71 c #Conflicts: 1505000 | #Constraints: 39460
3418.08/3427.71 c #Conflicts: 1506000 | #Constraints: 40460
3418.08/3427.71 c #Conflicts: 1507000 | #Constraints: 41460
3418.08/3427.71 c #Conflicts: 1508000 | #Constraints: 42460
3418.08/3427.71 c #Conflicts: 1509000 | #Constraints: 43460
3418.08/3427.71 c #Conflicts: 1510000 | #Constraints: 44460
3418.08/3427.71 c #Conflicts: 1511000 | #Constraints: 45460
3418.08/3427.71 c #Conflicts: 1512000 | #Constraints: 46460
3418.08/3427.71 c #Conflicts: 1513000 | #Constraints: 47460
3418.08/3427.71 c #Conflicts: 1514000 | #Constraints: 48460
3418.08/3427.71 c #Conflicts: 1515000 | #Constraints: 49460
3418.08/3427.71 c #Conflicts: 1516000 | #Constraints: 50460
3418.08/3427.71 c INPROCESSING
3418.08/3427.71 c GARBAGE COLLECT
3418.08/3427.71 c #Conflicts: 1517000 | #Constraints: 27056
3418.08/3427.71 c #Conflicts: 1518000 | #Constraints: 28056
3418.08/3427.71 c #Conflicts: 1519000 | #Constraints: 29056
3418.08/3427.71 c #Conflicts: 1520000 | #Constraints: 30056
3418.08/3427.71 c #Conflicts: 1521000 | #Constraints: 31056
3418.08/3427.71 c #Conflicts: 1522000 | #Constraints: 32056
3418.08/3427.71 c #Conflicts: 1523000 | #Constraints: 33056
3418.08/3427.71 c #Conflicts: 1524000 | #Constraints: 34056
3418.08/3427.71 c #Conflicts: 1525000 | #Constraints: 35056
3418.08/3427.71 c #Conflicts: 1526000 | #Constraints: 36056
3418.08/3427.71 c #Conflicts: 1527000 | #Constraints: 37056
3418.08/3427.71 c #Conflicts: 1528000 | #Constraints: 38056
3418.08/3427.71 c #Conflicts: 1529000 | #Constraints: 39056
3418.08/3427.71 c #Conflicts: 1530000 | #Constraints: 40056
3600.01/3610.11 c #Conflicts: 1531000 | #Constraints: 41056
3600.01/3610.11 c #Conflicts: 1532000 | #Constraints: 42056
3600.01/3610.11 c #Conflicts: 1533000 | #Constraints: 43056
3600.01/3610.11 c #Conflicts: 1534000 | #Constraints: 44056
3600.01/3610.11 c #Conflicts: 1535000 | #Constraints: 45056
3600.01/3610.11 c #Conflicts: 1536000 | #Constraints: 46056
3600.01/3610.11 c #Conflicts: 1537000 | #Constraints: 47056
3600.01/3610.11 c #Conflicts: 1538000 | #Constraints: 48056
3600.01/3610.11 c #Conflicts: 1539000 | #Constraints: 49056
3600.01/3610.11 c #Conflicts: 1540000 | #Constraints: 50056
3600.01/3610.11 c #Conflicts: 1541000 | #Constraints: 51056
3600.01/3610.11 c INPROCESSING
3600.01/3610.11 c GARBAGE COLLECT
3600.01/3610.11 c #Conflicts: 1542000 | #Constraints: 27461
3600.01/3610.11 c #Conflicts: 1543000 | #Constraints: 28461
3600.01/3610.11 c #Conflicts: 1544000 | #Constraints: 29461
3600.01/3610.11 c #Conflicts: 1545000 | #Constraints: 30461
3600.01/3610.11 c #Conflicts: 1546000 | #Constraints: 31461
3600.01/3610.11 c #Conflicts: 1547000 | #Constraints: 32461
3600.01/3610.11 c #Conflicts: 1548000 | #Constraints: 33461
3600.01/3610.11 c #Conflicts: 1549000 | #Constraints: 34461
3600.01/3610.11 c #Conflicts: 1550000 | #Constraints: 35461
3600.01/3610.11 c #Conflicts: 1551000 | #Constraints: 36461
3600.01/3610.11 c #Conflicts: 1552000 | #Constraints: 37461
3600.01/3610.11 c #Conflicts: 1553000 | #Constraints: 38461
3600.01/3610.11 c #Conflicts: 1554000 | #Constraints: 39461
3600.01/3610.11 c #Conflicts: 1555000 | #Constraints: 40461
3600.01/3610.11 c #Conflicts: 1556000 | #Constraints: 41461
3600.01/3610.11 c #Conflicts: 1557000 | #Constraints: 42461
3600.01/3610.11 c #Conflicts: 1558000 | #Constraints: 43461
3600.01/3610.11 c #Conflicts: 1559000 | #Constraints: 44461
3600.01/3610.11 c #Conflicts: 1560000 | #Constraints: 45461
3600.01/3610.11 c #Conflicts: 1561000 | #Constraints: 46461
3600.01/3610.11 c #Conflicts: 1562000 | #Constraints: 47461
3600.01/3610.11 c #Conflicts: 1563000 | #Constraints: 48461
3600.01/3610.11 c #Conflicts: 1564000 | #Constraints: 49461
3600.01/3610.11 c #Conflicts: 1565000 | #Constraints: 50461
3600.01/3610.11 c #Conflicts: 1566000 | #Constraints: 51461
3600.01/3610.11 c INPROCESSING
3600.01/3610.11 c GARBAGE COLLECT
3600.01/3610.11 c #Conflicts: 1567000 | #Constraints: 27658
3600.01/3610.11 c #Conflicts: 1568000 | #Constraints: 28658
3600.01/3610.11 c #Conflicts: 1569000 | #Constraints: 29658
3600.01/3610.11 c #Conflicts: 1570000 | #Constraints: 30658
3600.01/3610.11 c #Conflicts: 1571000 | #Constraints: 31658
3600.01/3610.11 c #Conflicts: 1572000 | #Constraints: 32658
3600.01/3610.11 c #Conflicts: 1573000 | #Constraints: 33658
3600.01/3610.11 c #Conflicts: 1574000 | #Constraints: 34658
3600.01/3610.11 c #Conflicts: 1575000 | #Constraints: 35658
3600.01/3610.11 c #Conflicts: 1576000 | #Constraints: 36658
3600.01/3610.11 c #Conflicts: 1577000 | #Constraints: 37658
3600.01/3610.11 c #Conflicts: 1578000 | #Constraints: 38658
3600.01/3610.11 c #Conflicts: 1579000 | #Constraints: 39658
3600.01/3610.11 c #Conflicts: 1580000 | #Constraints: 40658
3600.01/3610.11 c #Conflicts: 1581000 | #Constraints: 41658
3600.01/3610.11 c #Conflicts: 1582000 | #Constraints: 42658
3600.01/3610.11 c #Conflicts: 1583000 | #Constraints: 43658
3600.01/3610.11 c Program interrupted by user.
3600.01/3610.11 c cpu time 3581.58 s
3600.01/3610.11 c deterministic time 258274884686 2.58e+11
3600.01/3610.11 c optimization time 120.505 s
3600.01/3610.11 c total solve time 3461.07 s
3600.01/3610.11 c core-guided solve time 3461.07 s
3600.01/3610.11 c propagation time 3297.74 s
3600.01/3610.11 c conflict analysis time 215.275 s
3600.01/3610.11 c propagations 94531685
3600.01/3610.11 c resolve steps 3385943
3600.01/3610.11 c decisions 13011796
3600.01/3610.11 c conflicts 1583821
3600.01/3610.11 c restarts 3068
3600.01/3610.11 c inprocessing phases 116
3600.01/3610.11 c input clauses 1013
3600.01/3610.11 c input cardinalities 847
3600.01/3610.11 c input general constraints 958
3600.01/3610.11 c input average constraint length 104.42
3600.01/3610.11 c input average constraint degree 536.50
3600.01/3610.11 c learned clauses 198025
3600.01/3610.11 c learned cardinalities 7346
3600.01/3610.11 c learned general constraints 1378516
3600.01/3610.11 c learned average constraint length 279.55
3600.01/3610.11 c learned average constraint degree 8129.07
3600.01/3610.11 c watched constraints 121099
3600.01/3610.11 c counting constraints 1258375
3600.01/3610.11 c gcd simplifications 1182
3600.01/3610.11 c detected cardinalities 96
3600.01/3610.11 c weakened non-implied lits 50595602
3600.01/3610.11 c weakened non-implying lits 8844
3600.01/3610.11 c original variables 907
3600.01/3610.11 c clausal propagations 33836043
3600.01/3610.11 c cardinality propagations 23537071
3600.01/3610.11 c watched propagations 932784
3600.01/3610.11 c counting propagations 35014896
3600.01/3610.11 c watch lookups 88419230353
3600.01/3610.11 c watch backjump lookups 87772611774
3600.01/3610.11 c watch checks 45531604111
3600.01/3610.11 c propagation checks 35619108961
3600.01/3610.11 c constraint additions 715659469
3600.01/3610.11 c trail pops 109126536
3600.01/3610.11 c formula constraints 663
3600.01/3610.11 c learned constraints 1583887
3600.01/3610.11 c bound constraints 306
3600.01/3610.11 c core-guided constraints 1849
3600.01/3610.11 c encountered formula constraints 1849322
3600.01/3610.11 c encountered learned constraints 2813369
3600.01/3610.11 c encountered bound constraints 148
3600.01/3610.11 c encountered core-guided constraints 306925
3600.01/3610.11 c LP total time 0 s
3600.01/3610.11 c LP solve time 0 s
3600.01/3610.11 c LP constraints added 0
3600.01/3610.11 c LP constraints removed 0
3600.01/3610.11 c LP pivots internal 0
3600.01/3610.11 c LP pivots root 0
3600.01/3610.11 c LP calls 0
3600.01/3610.11 c LP optimalities 0
3600.01/3610.11 c LP no pivot count 0
3600.01/3610.11 c LP infeasibilities 0
3600.01/3610.11 c LP valid Farkas constraints 0
3600.01/3610.11 c LP learned Farkas constraints 0
3600.01/3610.11 c LP basis resets 0
3600.01/3610.11 c LP cycling count 0
3600.01/3610.11 c LP singular count 0
3600.01/3610.11 c LP no primal count 0
3600.01/3610.11 c LP no farkas count 0
3600.01/3610.11 c LP other issue count 0
3600.01/3610.11 c LP Gomory cuts 0
3600.01/3610.11 c LP learned cuts 0
3600.01/3610.11 c LP deleted cuts 0
3600.01/3610.11 c LP encountered Gomory constraints 0
3600.01/3610.11 c LP encountered Farkas constraints 0
3600.01/3610.11 c LP encountered learned Farkas constraints 0
3600.01/3610.11 c CG auxiliary variables introduced 765
3600.01/3610.11 c CG solutions found 3
3600.01/3610.11 c CG cores constructed 290
3600.01/3610.11 c CG core cardinality constraints returned 1
3600.01/3610.11 c CG unit cores 0
3600.01/3610.11 c CG single cores 284
3600.01/3610.11 c CG blocks removed during cardinality reduction 0
3600.01/3610.11 c CG first core best 0
3600.01/3610.11 c CG decision core best 0
3600.01/3610.11 c CG core reduction tie 6
3600.01/3610.11 c CG core degree average 1.05
3600.01/3610.11 c CG core slack average 5.60
3600.01/3610.11 c CG exhausted 1
3600.01/3610.11 c CG exhaust time 59.6803 s
3600.01/3610.11 c CG trimmed 103
3600.01/3610.11 c CG trim time 0.196321 s
3600.01/3610.11 c CG minimized 0
3600.01/3610.11 c CG minimize time 0 s
3600.01/3610.11 c CG am1 prop time 0.025846 s
3600.01/3610.11 c CG # am1s reformulated 142
3600.01/3610.11 c CG lower bound derived from am1s 263
3600.01/3610.11 c CG # clausal cores 283
3600.01/3610.11 c CG # cardinality cores 2
3600.01/3610.11 c CG # pb cores 11
3600.01/3610.11 c CG # pb reforms 1
3600.01/3610.11 c CG # cores discarded because of pb reform 0
3600.01/3610.11 d LOWERBOUND 1531
3600.01/3610.11 d NCORES 290
3600.01/3610.11 d NPBCORES 11
3600.01/3610.11 d NPBREFORM 1
3600.01/3610.11 d NTRIMMED 103
3600.01/3610.11 d NEXHAUSTED 1
3600.01/3610.11 d NAM1S 142
3600.01/3610.11 d AM1LB 263
3600.01/3610.11 o 2642
3600.01/3610.11 s SATISFIABLE
3600.01/3610.11 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: 63837 MiB (61134 MiB free)
memory of node 1: 64465 MiB (62703 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484120-1751283646/watcher-4484120-1751283646 -o /tmp/evaluation-result-4484120-1751283646/solver-4484120-1751283646 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751279994-35759 --watchdog 3760 pb-oll-rs HOME/instance-4484120-1751283646.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=36223, runsolver pid=36220
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.50 4.31 4.13 5/250 36224
/proc/meminfo: memFree=126805564/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=21604 memory=9424 CPUtime=0.1 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 739 0 0 0 8 2 0 0 20 0 1 0 44043370 22122496 2356 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 5401 2356 1312 243 0 1650 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21604 KiB
Current children cumulated memory: 9424 KiB
[startup+0.213237 s]*
/proc/loadavg: 4.50 4.31 4.13 5/250 36224
/proc/meminfo: memFree=126805660/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=22388 memory=10192 CPUtime=0.21 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 933 0 0 0 18 3 0 0 20 0 1 0 44043370 22925312 2548 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 5597 2548 1312 243 0 1846 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 22388 KiB
Current children cumulated memory: 10192 KiB
[startup+0.313202 s]*
/proc/loadavg: 4.50 4.31 4.13 5/250 36224
/proc/meminfo: memFree=126805660/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=23048 memory=10960 CPUtime=0.31 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 1117 0 0 0 27 4 0 0 20 0 1 0 44043370 23601152 2740 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 5762 2740 1312 243 0 2011 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 23048 KiB
Current children cumulated memory: 10960 KiB
[startup+0.700346 s]
/proc/loadavg: 4.50 4.31 4.13 5/250 36224
/proc/meminfo: memFree=126805660/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=25860 memory=15824 CPUtime=0.68 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 1800 0 0 0 62 6 0 0 20 0 1 0 44043370 26480640 3956 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 6465 3956 1312 243 0 2714 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 25860 KiB
Current children cumulated memory: 15824 KiB
[startup+1.50032 s]
/proc/loadavg: 4.50 4.31 4.13 5/250 36224
/proc/meminfo: memFree=126801564/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=38548 memory=24400 CPUtime=1.48 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 3949 0 0 0 137 11 0 0 20 0 1 0 44043370 39473152 6100 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 9637 6100 1312 243 0 5886 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38548 KiB
Current children cumulated memory: 24400 KiB
[startup+3.11298 s]
/proc/loadavg: 4.50 4.31 4.13 5/250 36224
/proc/meminfo: memFree=126788196/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=54948 memory=39832 CPUtime=3.08 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 6799 0 0 0 291 17 0 0 20 0 1 0 44043370 56266752 9958 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 13737 9958 1312 243 0 9986 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 54948 KiB
Current children cumulated memory: 39832 KiB
[startup+6.30032 s]
/proc/loadavg: 4.46 4.30 4.13 5/250 36224
/proc/meminfo: memFree=126776288/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=67144 memory=51028 CPUtime=6.27 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 9103 0 0 0 598 29 0 0 20 0 1 0 44043370 68755456 12757 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 16786 12757 1312 243 0 13035 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 67144 KiB
Current children cumulated memory: 51028 KiB
[startup+12.7003 s]
/proc/loadavg: 4.42 4.30 4.13 5/250 36224
/proc/meminfo: memFree=126772808/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=69064 memory=52948 CPUtime=12.64 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 9580 0 0 0 1212 52 0 0 20 0 1 0 44043370 70721536 13237 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 17266 13237 1312 243 0 13515 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 69064 KiB
Current children cumulated memory: 52948 KiB
[startup+25.5003 s]
/proc/loadavg: 4.33 4.28 4.13 5/250 36224
/proc/meminfo: memFree=126763704/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=84964 memory=63588 CPUtime=25.41 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 11707 0 0 0 2456 85 0 0 20 0 1 0 44043370 87003136 15897 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 21241 15897 1312 243 0 17490 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 84964 KiB
Current children cumulated memory: 63588 KiB
[startup+51.1133 s]
/proc/loadavg: 4.28 4.27 4.13 5/250 36224
/proc/meminfo: memFree=126750664/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=103700 memory=83916 CPUtime=50.95 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 15272 0 0 0 4944 151 0 0 20 0 1 0 44043370 106188800 20979 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 25925 20979 1312 243 0 22174 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 103700 KiB
Current children cumulated memory: 83916 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.25 4.12 5/250 36226
/proc/meminfo: memFree=126722012/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=135924 memory=103776 CPUtime=102.01 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 18183 0 0 0 9958 243 0 0 20 0 1 0 44043370 139186176 25944 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 33981 25944 1312 243 0 30230 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 135924 KiB
Current children cumulated memory: 103776 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.20 4.11 5/250 36228
/proc/meminfo: memFree=126694564/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=142304 memory=117264 CPUtime=161.84 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 20063 0 0 0 15863 321 0 0 20 0 1 0 44043370 145719296 29316 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 35576 29316 1312 243 0 31825 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 142304 KiB
Current children cumulated memory: 117264 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.19 4.11 5/251 36231
/proc/meminfo: memFree=126666412/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=177500 memory=128396 CPUtime=221.68 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 22211 0 0 0 21779 389 0 0 20 0 1 0 44043370 181760000 32099 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 44375 32099 1312 243 0 40624 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 177500 KiB
Current children cumulated memory: 128396 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.17 4.11 5/251 36233
/proc/meminfo: memFree=126651028/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=179424 memory=136632 CPUtime=281.51 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 23260 0 0 0 27707 444 0 0 20 0 1 0 44043370 183730176 34158 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 44856 34158 1312 243 0 41105 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 179424 KiB
Current children cumulated memory: 136632 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.15 4.10 5/251 36235
/proc/meminfo: memFree=126628404/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=207000 memory=146876 CPUtime=341.35 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 29324 0 0 0 33632 503 0 0 20 0 1 0 44043370 211968000 36719 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 51750 36719 1312 243 0 47999 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 207000 KiB
Current children cumulated memory: 146876 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.14 4.10 5/250 36243
/proc/meminfo: memFree=126601380/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=211752 memory=151636 CPUtime=401.17 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 30979 0 0 0 39564 553 0 0 20 0 1 0 44043370 216834048 37909 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 52938 37909 1312 243 0 49187 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 211752 KiB
Current children cumulated memory: 151636 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/250 36245
/proc/meminfo: memFree=126570628/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=217036 memory=159412 CPUtime=461.02 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 32687 0 0 0 45499 603 0 0 20 0 1 0 44043370 222244864 39853 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 54259 39853 1312 243 0 50508 0
Current children cumulated CPU time: 461.02 s
################
# More data... #
################
Current children cumulated memory: 269620 KiB
[startup+2922.3 s]
/proc/loadavg: 4.36 4.30 4.19 5/249 36502
/proc/meminfo: memFree=128514600/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=337008 memory=270260 CPUtime=2914 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 54609 0 0 0 289732 1668 0 0 20 0 1 0 44043370 345096192 67565 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 84252 67565 1312 243 0 80501 0
Current children cumulated CPU time: 2914 s
Current children cumulated vsize: 337008 KiB
Current children cumulated memory: 270260 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.25 4.18 5/249 36504
/proc/meminfo: memFree=128499244/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=337008 memory=272428 CPUtime=2973.84 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 54629 0 0 0 295701 1683 0 0 20 0 1 0 44043370 345096192 68107 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 84252 68107 1312 243 0 80501 0
Current children cumulated CPU time: 2973.84 s
Current children cumulated vsize: 337008 KiB
Current children cumulated memory: 272428 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.22 4.17 5/249 36506
/proc/meminfo: memFree=128515764/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=337008 memory=272428 CPUtime=3033.69 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 54629 0 0 0 301670 1699 0 0 20 0 1 0 44043370 345096192 68107 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 84252 68107 1312 243 0 80501 0
Current children cumulated CPU time: 3033.69 s
Current children cumulated vsize: 337008 KiB
Current children cumulated memory: 272428 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.21 4.17 5/249 36508
/proc/meminfo: memFree=128503548/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=340776 memory=277016 CPUtime=3093.53 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 55252 0 0 0 307638 1715 0 0 20 0 1 0 44043370 348954624 69254 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 85194 69254 1312 243 0 81443 0
Current children cumulated CPU time: 3093.53 s
Current children cumulated vsize: 340776 KiB
Current children cumulated memory: 277016 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.18 4.17 6/250 36511
/proc/meminfo: memFree=128502556/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=340776 memory=277016 CPUtime=3153.37 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 55260 0 0 0 313607 1730 0 0 20 0 1 0 44043370 348954624 69254 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 85194 69254 1312 243 0 81443 0
Current children cumulated CPU time: 3153.37 s
Current children cumulated vsize: 340776 KiB
Current children cumulated memory: 277016 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.16 4.16 5/250 36513
/proc/meminfo: memFree=128497028/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=340776 memory=277272 CPUtime=3213.22 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 55337 0 0 0 319578 1744 0 0 20 0 1 0 44043370 348954624 69318 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 85194 69318 1312 243 0 81443 0
Current children cumulated CPU time: 3213.22 s
Current children cumulated vsize: 340776 KiB
Current children cumulated memory: 277272 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/250 36515
/proc/meminfo: memFree=128475372/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=340776 memory=277272 CPUtime=3273.05 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 55385 0 0 0 325544 1761 0 0 20 0 1 0 44043370 348954624 69318 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 85194 69318 1312 243 0 81443 0
Current children cumulated CPU time: 3273.05 s
Current children cumulated vsize: 340776 KiB
Current children cumulated memory: 277272 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/250 36517
/proc/meminfo: memFree=128473044/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=341104 memory=279888 CPUtime=3332.9 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 55540 0 0 0 331512 1778 0 0 20 0 1 0 44043370 349290496 69972 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 85276 69972 1312 243 0 81525 0
Current children cumulated CPU time: 3332.9 s
Current children cumulated vsize: 341104 KiB
Current children cumulated memory: 279888 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/250 36519
/proc/meminfo: memFree=128470876/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=341360 memory=282320 CPUtime=3392.75 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 55634 0 0 0 337482 1793 0 0 20 0 1 0 44043370 349552640 70580 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 85340 70580 1312 243 0 81589 0
Current children cumulated CPU time: 3392.75 s
Current children cumulated vsize: 341360 KiB
Current children cumulated memory: 282320 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/250 36528
/proc/meminfo: memFree=128460316/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=341360 memory=283088 CPUtime=3452.59 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 55636 0 0 0 343451 1808 0 0 20 0 1 0 44043370 349552640 70772 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 85340 70772 1312 243 0 81589 0
Current children cumulated CPU time: 3452.59 s
Current children cumulated vsize: 341360 KiB
Current children cumulated memory: 283088 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/250 36530
/proc/meminfo: memFree=128451756/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=341484 memory=283600 CPUtime=3512.43 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 55779 0 0 0 349420 1823 0 0 20 0 1 0 44043370 349679616 70900 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 85371 70900 1312 243 0 81620 0
Current children cumulated CPU time: 3512.43 s
Current children cumulated vsize: 341484 KiB
Current children cumulated memory: 283600 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/250 36577
/proc/meminfo: memFree=128612264/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=341484 memory=285736 CPUtime=3572.27 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 55793 0 0 0 355389 1838 0 0 20 0 1 0 44043370 349679616 71434 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 85371 71434 1312 243 0 81620 0
Current children cumulated CPU time: 3572.27 s
Current children cumulated vsize: 341484 KiB
Current children cumulated memory: 285736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.08 4.11 4.13 5/250 36577
/proc/meminfo: memFree=128449680/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=341484 memory=285736 CPUtime=3600.01 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 55793 0 0 0 358157 1844 0 0 20 0 1 0 44043370 349679616 71434 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 85371 71434 1312 243 0 81620 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 341484 KiB
Current children cumulated memory: 285736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 36223 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.58 s, system=18.4557 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.08 4.11 4.13 5/250 36577
/proc/meminfo: memFree=128449680/131382120 swapFree=33010684/33010684
[pid=36223] ppid=36220 vsize=341484 memory=285736 CPUtime=3600.01 cores=4,6
/proc/36223/stat : 36223 (pb-oll-rs) R 36220 36223 35748 0 -1 4194304 55793 0 0 0 358157 1844 0 0 20 0 1 0 44043370 349679616 71434 18446744073709551615 4218880 5211445 140732640853936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23461888 140732640856476 140732640856553 140732640856553 140732640862155 0
/proc/36223/statm: 85371 71434 1312 243 0 81620 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 341484 KiB
Current children cumulated memory: 285736 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.04
CPU user time (s): 3581.58
CPU system time (s): 18.4557
CPU usage (%): 99.7206
Max. virtual memory (cumulated for all children) (KiB): 341484
Max. memory (cumulated for all children) (KiB): 285736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.58
system time used= 18.4557
maximum resident set size= 286120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55809
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= 176
involuntary context switches= 1988
# summary of solver processes directly reported to runsolver:
# pid: 36223
# total CPU time (s): 3600.04
# total CPU user time (s): 3581.58
# total CPU system time (s): 18.4557
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.559 second user time and 33.9037 second system time
The end
Begin job on nodeC002 at 2025-06-30 13:40:46
IDJOB=4484120
IDBENCH=146650
IDSOLVER=3345
FILE ID=nodeC002/4484120-1751283646
RUNJOBID= nodeC002-1751279994-35759
SLURM_JOB_ID= 9594221
Free space on /tmp= 433048 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
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 -w /tmp/evaluation-result-4484120-1751283646/watcher-4484120-1751283646 -o /tmp/evaluation-result-4484120-1751283646/solver-4484120-1751283646 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751279994-35759 --watchdog 3760 pb-oll-rs HOME/instance-4484120-1751283646.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1
RANDOM SEED=973604247
nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.905
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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 : 3571.565
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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 : 1198.091
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.410
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.219
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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 : 3492.021
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.677
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.219
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 126809996 kB
MemAvailable: 126605352 kB
Buffers: 3280 kB
Cached: 604692 kB
SwapCached: 0 kB
Active: 3682280 kB
Inactive: 355940 kB
Active(anon): 3448212 kB
Inactive(anon): 0 kB
Active(file): 234068 kB
Inactive(file): 355940 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1672 kB
Writeback: 4 kB
AnonPages: 3431980 kB
Mapped: 106712 kB
Shmem: 17960 kB
KReclaimable: 89948 kB
Slab: 172232 kB
SReclaimable: 89948 kB
SUnreclaim: 82284 kB
KernelStack: 4048 kB
PageTables: 9908 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 4416864 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1583104 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433052 MiB
End job on nodeC002 at 2025-06-30 14:40:56